Maximal Gaps between PL and Linear Embedding Dimensions
Manuscript 25 October 2026 · Online 25 October 2026
Abstract
For a finite simplicial complex K, let e_PL(K) and e_L(K) denote its minimum piecewise-linear and simplex-wise linear embedding dimensions. We prove that, for every d>=3, a finite d-complex satisfies e_PL(K)=d and e_L(K)=2d+1; this is the largest possible gap in that dimension. In dimension two we obtain the pair (3,5). These examples answer the minimum-dimension question recorded by Brehm and Sarkaria in the 2006 Oberwolfach report. The proof adapts Newman's Radon-pair, order-type and Janson method to make a random nonembedding obstruction survive every small set of facet deletions. Removing overlaps then produces a linear hypergraph, to which the PL realization lemma of Lee and Nevo applies. The construction is probabilistic and existential; no manifold hypothesis or explicit small facet list is asserted. This is an unrefereed, AI-assisted preprint.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete proof
- Categories
- math.GT · math.CO
- Manuscript
- 25 October 2026
- Online release
- 25 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Maximal Gaps between PL and Linear Embedding Dimensions,” EulerSolve Research Papers, OWR-1194-009, 2026. https://doi.org/10.5281/zenodo.23631404.
BibTeX
@misc{ferudun2026maximalembeddinggaps,
author = {Ferudun, Alper},
title = {Maximal Gaps between PL and Linear Embedding Dimensions},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-1194-009/},
doi = {10.5281/zenodo.23631404},
note = {OWR-1194-009; unrefereed preprint}
}