Classification of empty lattice $4$-simplices of width larger than two
| Autor: | Valiño, Óscar Iglesias, Santos, Francisco |
|---|---|
| Rok vydání: | 2017 |
| Předmět: | |
| Zdroj: | Transactions Amer. Math. Soc., 371:9 (May 2019), 6605-6625 |
| Druh dokumentu: | Working Paper |
| DOI: | 10.1090/tran/7531 |
| Popis: | 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 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. Comment: 21 pages, 5 figures; The appendix from v3 has been incorporated into the main text. This version has been accepted for publication in Trans. Ame. Math. Soc |
| Databáze: | arXiv |
| Externí odkaz: |
|