Classification of empty lattice 4-simplices of width larger than 2

DOI10.1016/J.ENDM.2017.07.019MaRDI QIDQ1689988zbMATH OpenOpenAlexFDO

Authors Óscar Iglesias Valiño, Francisco Santos

Publication date 18 January 2018

Full work available at URL https://arxiv.org/abs/1704.07299

zbMATH Keywords

lattice polytopesclassification of empty polytopesempty simplices

Mathematics Subject Classification ID

Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)

Abstract: A lattice $d$-simplex is the convex hull of $d+1$ affinely independent integer points in ${mathbbR}^d$. It is called empty if it contains no lattice point apart of its $d+1$ vertices. The classification of empty $3$-simplices is 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 determinant greater than 5058, by combining the recent classification of hollow 3-polytopes (Averkov, Kr"umpelmann 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.

Recommendations

• Classification of empty lattice 4-simplices of width larger than two
• scientific article; zbMATH DE number 1342145
• On empty lattice simplices in dimension 4

Cites work

• scientific article; zbMATH DE number 480246 (Why is no real title available?)
• Lattice Tetrahedra
• Maximal lattice-free polyhedra: finiteness and an explicit description in dimension three
• On Four-Dimensional Terminal Quotient Singularities
• On empty lattice simplices in dimension 4
• On primitive subdivisions of an elementary tetrahedron.
• On the maximal width of empty lattice simplices
• The finiteness threshold width of lattice polytopes
• Unimodular triangulations of dilated 3-polytopes

Cited in

(7)

• Enumeration and unimodular equivalence of empty delta-modular simplices
• Hollow lattice polytopes: latest advances in classification and relations with the width
• White's theorem. An exposition of White's characterization of empty lattice tetrahedra
• scientific article; zbMATH DE number 1342145 (Why is no real title available?)
• On empty lattice simplices in dimension 4
• On the maximal width of empty lattice simplices
• Classification of empty lattice 4-simplices of width larger than two

This page was built for publication: Classification of empty lattice 4-simplices of width larger than 2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689988)