Classification of empty lattice $4$-simplices of width larger than two
HTML articles powered by AMS MathViewer
- by Óscar Iglesias-Valiño and Francisco Santos PDF
- Trans. Amer. Math. Soc. 371 (2019), 6605-6625 Request permission
Abstract:
A lattice $d$-simplex is the convex hull of $d+1$ affinely independent integer points in ${\mathbb R}^d$. It is called empty if it contains no lattice point apart from its $d+1$ vertices. The classification of empty $3$-simplices has been known since 1964 (White), based on the fact that they all have width one. But for dimension $4$ no complete classification is known.
Haase and Ziegler (2000) enumerated all empty $4$-simplices up to determinant 1000 and based on their results conjectured that after determinant $179$ all empty $4$-simplices have width one or two. We prove this conjecture as follows:
- We show that no empty $4$-simplex of width three or more can have a determinant greater than 5058, by combining the recent classification of hollow 3-polytopes (Averkov, Krümpelmann and Weltge, 2017) with general methods from the geometry of numbers.
- We continue the computations of Haase and Ziegler up to determinant 7600, and find that no new $4$-simplices of width larger than two arise.
In particular, we give the whole list of empty $4$-simplices of width larger than two, which is as computed by Haase and Ziegler: There is a single empty $4$-simplex of width four (of determinant 101), and 178 empty $4$-simplices of width three, with determinants ranging from 41 to 179.
References
- Gennadiy Averkov, Jan Krümpelmann, and Benjamin Nill, Largest integral simplices with one interior integral point: solution of Hensley’s conjecture and related results, Adv. Math. 274 (2015), 118–166. MR 3318147, DOI 10.1016/j.aim.2014.12.035
- Gennadiy Averkov, Jan Krümpelmann, and Stefan Weltge, Notions of maximality for integral lattice-free polyhedra: the case of dimension three, Math. Oper. Res. 42 (2017), no. 4, 1035–1062. MR 3722425, DOI 10.1287/moor.2016.0836
- Gennadiy Averkov, Christian Wagner, and Robert Weismantel, Maximal lattice-free polyhedra: finiteness and an explicit description in dimension three, Math. Oper. Res. 36 (2011), no. 4, 721–742. MR 2855866, DOI 10.1287/moor.1110.0510
- Margherita Barile, Dominique Bernardi, Alexander Borisov, and Jean-Michel Kantor, On empty lattice simplices in dimension 4, Proc. Amer. Math. Soc. 139 (2011), no. 12, 4247–4253. MR 2823070, DOI 10.1090/S0002-9939-2011-10859-1
- M. Blanco, C. Haase, J. Hoffman, and F. Santos, The finiteness threshold width of lattice polytopes, preprint 2016. arXiv:1607.00798v2
- Matthias Beck and Sinai Robins, Computing the continuous discretely, Undergraduate Texts in Mathematics, Springer, New York, 2007. Integer-point enumeration in polyhedra. MR 2271992
- Jonathan W. Bober, Factorial ratios, hypergeometric series, and a family of step functions, J. Lond. Math. Soc. (2) 79 (2009), no. 2, 422–444. MR 2496522, DOI 10.1112/jlms/jdn078
- A. Borisov, On classification of toric singularities, J. Math. Sci. (New York) 94 (1999), no. 1, 1111–1113. Algebraic geometry, 9. MR 1703910, DOI 10.1007/BF02367251
- P. M. Gruber and C. G. Lekkerkerker, Geometry of numbers, 2nd ed., North-Holland Mathematical Library, vol. 37, North-Holland Publishing Co., Amsterdam, 1987. MR 893813
- Christian Haase and Günter M. Ziegler, On the maximal width of empty lattice simplices, European J. Combin. 21 (2000), no. 1, 111–119. Combinatorics of polytopes. MR 1737331, DOI 10.1006/eujc.1999.0325
- Martin Henk, Matthias Henze, and María A. Hernández Cifre, Variations of Minkowski’s theorem on successive minima, Forum Math. 28 (2016), no. 2, 311–325. MR 3466571, DOI 10.1515/forum-2014-0093
- C. A. J. Hurkens, Blowing up convex sets in the plane, Linear Algebra Appl. 134 (1990), 121–128. MR 1060014, DOI 10.1016/0024-3795(90)90010-A
- Ravi Kannan and László Lovász, Covering minima and lattice-point-free convex bodies, Ann. of Math. (2) 128 (1988), no. 3, 577–602. MR 970611, DOI 10.2307/1971436
- J.-M. Kantor and K. S. Sarkaria, On primitive subdivisions of an elementary tetrahedron, Pacific J. Math. 211 (2003), no. 1, 123–155. MR 2016594, DOI 10.2140/pjm.2003.211.123
- F. F. Knudsen, Construction of nice polyhedral subdivisions, Chapter 3 of Toroidal Embeddings I (G. R. Kempf, F. F. Knudsen, D. Mumford, and B. Saint-Donat), Lecture Notes in Math. 339, Springer-Verlag, 1973, pp. 109–164.
- Shigefumi Mori, David R. Morrison, and Ian Morrison, On four-dimensional terminal quotient singularities, Math. Comp. 51 (1988), no. 184, 769–786. MR 958643, DOI 10.1090/S0025-5718-1988-0958643-5
- A. Perriello, Lattice-free simplexes in dimension 4, M. Sc. Thesis, University of Pittsburgh, 2010. Available at http://d-scholarship.pitt.edu/10216/.
- G. K. Sankaran, Stable quintuples and terminal quotient singularities, Math. Proc. Cambridge Philos. Soc. 107 (1990), no. 1, 91–101. MR 1021875, DOI 10.1017/S0305004100068389
- F. Santos and G. M. Ziegler, Unimodular triangulations of dilated 3-polytopes, Trans. Moscow Math. Soc. , posted on (2013), 293–311. MR 3235802, DOI 10.1090/s0077-1554-2014-00220-x
- U. Wessels, Die Sätze von White und Mordell über kritische Gitter von Polytopen in den Dimensionen 4 und 5, Diplomarbeit, Ruhr-Universität Bochum, 1989.
- G. K. White, Lattice tetrahedra, Canadian J. Math. 16 (1964), 389–396. MR 161837, DOI 10.4153/CJM-1964-040-2
- Günter M. Ziegler, Lectures on polytopes, Graduate Texts in Mathematics, vol. 152, Springer-Verlag, New York, 1995. MR 1311028, DOI 10.1007/978-1-4613-8431-1
Additional Information
- Óscar Iglesias-Valiño
- Affiliation: Department of Mathematics, Statistics and Computer Science. University of Cantabria, Cantabria, Spain
- Email: oscar.iglesias@unican.es
- Francisco Santos
- Affiliation: Department of Mathematics, Statistics and Computer Science. University of Cantabria, Cantabria, Spain
- MR Author ID: 360182
- ORCID: 0000-0003-2120-9068
- Email: francisco.santos@unican.es
- Received by editor(s): May 5, 2017
- Received by editor(s) in revised form: July 14, 2017, and February 2, 2018
- Published electronically: January 24, 2019
- Additional Notes: This work was supported by grants MTM2014-54207-P (both authors) and BES-2015-073128 (first author) of the Spanish Ministry of Economy and Competitiveness.
The second author was also supported by an Einstein Visiting Professorship of the Einstein Foundation Berlin - © Copyright 2019 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 371 (2019), 6605-6625
- MSC (2010): Primary 52B20; Secondary 11H06
- DOI: https://doi.org/10.1090/tran/7531
- MathSciNet review: 3937339