-
Spherical amoebae and a spherical logarithm map
Authors:
Victor Batyrev,
Megumi Harada,
Johannes Hofscheier,
Kiumars Kaveh
Abstract:
Let $G$ be a connected reductive algebraic group over $\mathbb{C}$ with a maximal compact subgroup $K$. Let $G/H$ be a (quasi-affine) spherical homogeneous space. In the first part of the paper, following Akhiezer's definition of spherical functions, we introduce a $K$-invariant map $sLog_{Γ, t}: G/H \to \mathbb{R}^s$ which depends on a choice of a finite set $Γ$ of dominant weights and $s = |Γ|$.…
▽ More
Let $G$ be a connected reductive algebraic group over $\mathbb{C}$ with a maximal compact subgroup $K$. Let $G/H$ be a (quasi-affine) spherical homogeneous space. In the first part of the paper, following Akhiezer's definition of spherical functions, we introduce a $K$-invariant map $sLog_{Γ, t}: G/H \to \mathbb{R}^s$ which depends on a choice of a finite set $Γ$ of dominant weights and $s = |Γ|$. We call $sLog_{Γ, t}$ a spherical logarithm map. We show that when $Γ$ generates the highest weight monoid of $G/H$, the image of the spherical logarithm map parametrizes $K$-orbits in $G/H$. This idea of using the spherical functions to understand the geometry of the space $K \backslash G/H$ of $K$-orbits in $G/H$ can be viewed as a generalization of the classical Cartan decomposition. In the second part of the paper, we define the spherical amoeba (depending on $Γ$ and $t$) of a subvariety $Y$ of $G/H$ as $sLog_{Γ, t}(Y)$, and we ask for conditions under which the image of a subvariety $Y \subset G/H$ under $sLog_{Γ, t}$ converges, as $t \to 0$, in the sense of Kuratowski to its spherical tropicalization as defined by Tevelev and Vogiannou. We prove a partial result toward answering this question, which shows in particular that the valuation cone is always contained in the Kuratowski limit of the spherical amoebae of $G/H$. We also show that the limit of the spherical amoebae of $G/H$ is equal to its valuation cone in a number of interesting examples, including when $G/H$ is horospherical, and in the case when $G/H$ is the space of hyperbolic triangles.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
Local $h^*$-polynomials for one-row Hermite normal form simplices
Authors:
Esme Bajo,
Benjamin Braun,
Giulia Codenotti,
Johannes Hofscheier,
Andrés R. Vindas-Meléndez
Abstract:
The local $h^*$-polynomial of a lattice polytope is an important invariant arising in Ehrhart theory. Our focus in this work is on lattice simplices presented in Hermite normal form with a single non-trivial row. We prove that when the off-diagonal entries are fixed, the distribution of coefficients for the local $h^*$-polynomial of these simplices has a limit as the normalized volume goes to infi…
▽ More
The local $h^*$-polynomial of a lattice polytope is an important invariant arising in Ehrhart theory. Our focus in this work is on lattice simplices presented in Hermite normal form with a single non-trivial row. We prove that when the off-diagonal entries are fixed, the distribution of coefficients for the local $h^*$-polynomial of these simplices has a limit as the normalized volume goes to infinity. Further, this limiting distribution is determined by the coefficients for a relatively small normalized volume. We also provide a thorough analysis of two specific families of such simplices, to illustrate and motivate our main result.
△ Less
Submitted 7 April, 2024; v1 submitted 3 September, 2023;
originally announced September 2023.
-
Machine Learning the Dimension of a Polytope
Authors:
Tom Coates,
Johannes Hofscheier,
Alexander Kasprzyk
Abstract:
We use machine learning to predict the dimension of a lattice polytope directly from its Ehrhart series. This is highly effective, achieving almost 100% accuracy. We also use machine learning to recover the volume of a lattice polytope from its Ehrhart series, and to recover the dimension, volume, and quasi-period of a rational polytope from its Ehrhart series. In each case we achieve very high ac…
▽ More
We use machine learning to predict the dimension of a lattice polytope directly from its Ehrhart series. This is highly effective, achieving almost 100% accuracy. We also use machine learning to recover the volume of a lattice polytope from its Ehrhart series, and to recover the dimension, volume, and quasi-period of a rational polytope from its Ehrhart series. In each case we achieve very high accuracy, and we propose mathematical explanations for why this should be so.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Generalised Flatness Constants: A Framework Applied in Dimension $2$
Authors:
Giulia Codenotti,
Thomas Hall,
Johannes Hofscheier
Abstract:
Let $A \in \{ \mathbb{Z}, \mathbb{R} \}$ and $X \subset \mathbb{R}^d$ be a bounded set. Affine transformations given by an automorphism of $\mathbb{Z}^d$ and a translation in $A^d$ are called (affine) $A$-unimodular transformations. The image of $X$ under such a transformation is called an $A$-unimodular copy of $X$. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose wi…
▽ More
Let $A \in \{ \mathbb{Z}, \mathbb{R} \}$ and $X \subset \mathbb{R}^d$ be a bounded set. Affine transformations given by an automorphism of $\mathbb{Z}^d$ and a translation in $A^d$ are called (affine) $A$-unimodular transformations. The image of $X$ under such a transformation is called an $A$-unimodular copy of $X$. It was shown in [Averkov, Hofscheier, Nill, 2019] that every convex body whose width is "big enough" contains an $A$-unimodular copy of $X$. The threshold when this happens is called the generalised flatness constant $\mathrm{Flt}_d^A(X)$. It resembles the classical flatness constant if $A=\mathbb{Z}$ and $X$ is a lattice point. In this work, we introduce a general framework for the explicit computation of these numerical constants. The approach relies on the study of $A$-$X$-free convex bodies generalising lattice-free (also known as hollow) convex bodies. We then focus on the case that $X=P$ is a full-dimensional polytope and show that inclusion-maximal $A$-$P$-free convex bodies are polytopes. The study of those inclusion-maximal polytopes provides us with the means to explicitly determine generalised flatness constants. We apply our approach to the case $X=Δ_2$ the standard simplex in $\mathbb{R}^2$ of normalised volume $1$ and compute $\mathrm{Flt}^{\mathbb{R}}_2(Δ_2)=2$ and $\mathrm{Flt}^{\mathbb{Z}}_2(Δ_2)=\frac{10}3$.
△ Less
Submitted 21 September, 2021;
originally announced October 2021.
-
Polytopes and Machine Learning
Authors:
Jiakang Bao,
Yang-Hui He,
Edward Hirst,
Johannes Hofscheier,
Alexander Kasprzyk,
Suvajit Majumder
Abstract:
We introduce machine learning methodology to the study of lattice polytopes. With supervised learning techniques, we predict standard properties such as volume, dual volume, reflexivity, etc, with accuracies up to 100%. We focus on 2d polygons and 3d polytopes with Plücker coordinates as input, which out-perform the usual vertex representation.
We introduce machine learning methodology to the study of lattice polytopes. With supervised learning techniques, we predict standard properties such as volume, dual volume, reflexivity, etc, with accuracies up to 100%. We focus on 2d polygons and 3d polytopes with Plücker coordinates as input, which out-perform the usual vertex representation.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
Hilbert Series, Machine Learning, and Applications to Physics
Authors:
Jiakang Bao,
Yang-Hui He,
Edward Hirst,
Johannes Hofscheier,
Alexander Kasprzyk,
Suvajit Majumder
Abstract:
We describe how simple machine learning methods successfully predict geometric properties from Hilbert series (HS). Regressors predict embedding weights in projective space to ${\sim}1$ mean absolute error, whilst classifiers predict dimension and Gorenstein index to $>90\%$ accuracy with ${\sim}0.5\%$ standard error. Binary random forest classifiers managed to distinguish whether the underlying H…
▽ More
We describe how simple machine learning methods successfully predict geometric properties from Hilbert series (HS). Regressors predict embedding weights in projective space to ${\sim}1$ mean absolute error, whilst classifiers predict dimension and Gorenstein index to $>90\%$ accuracy with ${\sim}0.5\%$ standard error. Binary random forest classifiers managed to distinguish whether the underlying HS describes a complete intersection with high accuracies exceeding $95\%$. Neural networks (NNs) exhibited success identifying HS from a Gorenstein ring to the same order of accuracy, whilst generation of 'fake' HS proved trivial for NNs to distinguish from those associated to the three-dimensional Fano varieties considered.
△ Less
Submitted 15 February, 2022; v1 submitted 24 March, 2021;
originally announced March 2021.
-
Cohomology rings of toric bundles and the ring of conditions
Authors:
Johannes Hofscheier,
Askold Khovanskii,
Leonid Monin
Abstract:
The celebrated BKK Theorem expresses the number of roots of a system of generic Laurent polynomials in terms of the mixed volume of the corresponding system of Newton polytopes.Pukhlikov and the second author noticed that the cohomology ring of smooth projective toric varieties over $\mathbb{C}$ can be computed via the BKK Theorem. This complemented the known descriptions of the cohomology ring of…
▽ More
The celebrated BKK Theorem expresses the number of roots of a system of generic Laurent polynomials in terms of the mixed volume of the corresponding system of Newton polytopes.Pukhlikov and the second author noticed that the cohomology ring of smooth projective toric varieties over $\mathbb{C}$ can be computed via the BKK Theorem. This complemented the known descriptions of the cohomology ring of toric varieties, like the one in terms of Stanley-Reisner algebras.
Sankaran and Uma generalized the "Stanley-Reisner description" to the case of toric bundles, i.e. equivariant compactifications of (not necessarily algebraic) torus principal bundles. We provide a description of the cohomology ring of toric bundles which is based on a generalization of the \BKK Theorem, and thus extends the approach by Pukhlikov and the second author. Indeed, for every cohomology class of the base of the toric bundle, we obtain a BKK-type theorem. Furthermore, our proof relies on a description of graded-commutative algebras which satisfy Poincaré duality.
From this computation of the cohomology ring of toric bundles, we obtain a description of the ring of conditions of horospherical homogeneous spaces as well as a version of Brion-Kazarnovskii theorem for them. We conclude the manuscript with a number of examples. In particular, we apply our results to toric bundles over a full flag variety $G/B$. The description that we get generalizes the corresponding description of the cohomology ring of toric varieties as well as the one of full flag varieties $G/B$ previously obtained by Kaveh.
△ Less
Submitted 20 April, 2021; v1 submitted 22 June, 2020;
originally announced June 2020.
-
Generalized flatness constants, spanning lattice polytopes, and the Gromov width
Authors:
Gennadiy Averkov,
Johannes Hofscheier,
Benjamin Nill
Abstract:
In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which…
▽ More
In this paper we motivate some new directions of research regarding the lattice width of convex bodies. We show that convex bodies of sufficiently large width contain a unimodular copy of a standard simplex. This implies that every lattice polytope contains a minimal generating set of the affine lattice spanned by its lattice points such that the number of generators is bounded by a constant which only depends on the dimension. We also discuss relations to recent results on spanning lattice polytopes and how our results could be viewed as the beginning of the study of generalized flatness constants. Regarding symplectic geometry, we point out how the lattice width of a Delzant polytope is related to upper and lower bounds on the Gromov width of its associated symplectic toric manifold. Throughout, we include several open questions.
△ Less
Submitted 8 November, 2019;
originally announced November 2019.
-
Splittings of Toric Ideals
Authors:
Giuseppe Favacchio,
Johannes Hofscheier,
Graham Keiper,
Adam Van Tuyl
Abstract:
Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional…
▽ More
Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient condition for this splitting in terms of the integer matrix that defines $I$. When $I = I_G$ is the toric ideal of a finite simple graph $G$, we give additional splittings of $I_G$ related to subgraphs of $G$. When there exists a splitting $I = I_1+I_2$ of the toric ideal, we show that in some cases we can describe the (multi-)graded Betti numbers of $I$ in terms of the (multi-)graded Betti numbers of $I_1$ and $I_2$.
△ Less
Submitted 5 February, 2021; v1 submitted 27 September, 2019;
originally announced September 2019.
-
Betti numbers of toric ideals of graphs: A case study
Authors:
Federico Galetto,
Johannes Hofscheier,
Graham Keiper,
Craig Kohne,
Miguel Eduardo Uribe Paczka,
Adam Van Tuyl
Abstract:
We compute the graded Betti numbers for the toric ideal of a family of graphs constructed by adjoining a cycle to a complete bipartite graph. The key observation is that this family admits an initial ideal which has linear quotients. As a corollary, we compute the Hilbert series and $h$-vector for all the toric ideals of graphs in this family.
We compute the graded Betti numbers for the toric ideal of a family of graphs constructed by adjoining a cycle to a complete bipartite graph. The key observation is that this family admits an initial ideal which has linear quotients. As a corollary, we compute the Hilbert series and $h$-vector for all the toric ideals of graphs in this family.
△ Less
Submitted 19 November, 2018; v1 submitted 5 July, 2018;
originally announced July 2018.
-
Containment Relations among Spherical Subgroups
Authors:
Johannes Hofscheier
Abstract:
A closed subgroup $H$ of a connected reductive group $G$ is called $\textit{spherical}$ if a Borel subgroup in $G$ has an open orbit on $G/H$. We give a combinatorial characterization for a spherical subgroup to be contained in another one which generalizes previous work by Knop. As an application, we compute the Luna datum of the identity component of a spherical subgroup which yields a character…
▽ More
A closed subgroup $H$ of a connected reductive group $G$ is called $\textit{spherical}$ if a Borel subgroup in $G$ has an open orbit on $G/H$. We give a combinatorial characterization for a spherical subgroup to be contained in another one which generalizes previous work by Knop. As an application, we compute the Luna datum of the identity component of a spherical subgroup which yields a characterization of connectedness for spherical subgroups.
△ Less
Submitted 1 April, 2018;
originally announced April 2018.
-
Smooth centrally symmetric polytopes in dimension 3 are IDP
Authors:
Matthias Beck,
Christian Haase,
Akihiro Higashitani,
Johannes Hofscheier,
Katharina Jochemko,
Lukas Katthän,
Mateusz Michałek
Abstract:
In 1997 Oda conjectured that every smooth lattice polytope has the integer decomposition property. We prove Oda's conjecture for centrally symmetric $3$-dimensional polytopes, by showing they are covered by lattice parallelepipeds and unimodular simplices.
In 1997 Oda conjectured that every smooth lattice polytope has the integer decomposition property. We prove Oda's conjecture for centrally symmetric $3$-dimensional polytopes, by showing they are covered by lattice parallelepipeds and unimodular simplices.
△ Less
Submitted 4 July, 2018; v1 submitted 3 February, 2018;
originally announced February 2018.
-
Spanning Lattice Polytopes and the Uniform Position Principle
Authors:
Johannes Hofscheier,
Lukas Katthän,
Benjamin Nill
Abstract:
A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds under much milder assumptions, namely if the lattice polytope $P$ is spanning, i.e., any lattice point of the ambient lattice is an integer affine combination of…
▽ More
A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds under much milder assumptions, namely if the lattice polytope $P$ is spanning, i.e., any lattice point of the ambient lattice is an integer affine combination of lattice points in $P$. As an application, we get a generalization of Hibi's Lower Bound Theorem. Our proof relies on generalizing Bertini's theorem to the semistandard situation and Harris' Uniform Position Principle to certain curves in weighted projective space.
△ Less
Submitted 4 May, 2018; v1 submitted 26 November, 2017;
originally announced November 2017.
-
On Ehrhart polynomials of lattice triangles
Authors:
Johannes Hofscheier,
Benjamin Nill,
Dennis Öberg
Abstract:
The Ehrhart polynomial of a lattice polygon P is completely determined by the pair (b(P),i(P)) where b(P) equals the number of lattice points on the boundary and i(P) equals the number of interior lattice points. All possible pairs (b(P),i(P)) are completely described by a theorem due to Scott. In this note, we describe the shape of the set of pairs (b(T),i(T)) for lattice triangles T by finding i…
▽ More
The Ehrhart polynomial of a lattice polygon P is completely determined by the pair (b(P),i(P)) where b(P) equals the number of lattice points on the boundary and i(P) equals the number of interior lattice points. All possible pairs (b(P),i(P)) are completely described by a theorem due to Scott. In this note, we describe the shape of the set of pairs (b(T),i(T)) for lattice triangles T by finding infinitely many new Scott-type inequalities.
△ Less
Submitted 29 September, 2016;
originally announced September 2016.
-
Ehrhart Theory of Spanning Lattice Polytopes
Authors:
Johannes Hofscheier,
Lukas Katthän,
Benjamin Nill
Abstract:
A lattice polytope is called spanning if its lattice points affinely span the ambient lattice. We show as a corollary to a general result in the Ehrhart theory of lattice polytopes that the $h^*$-vector of a spanning lattice polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral consequence of the…
▽ More
A lattice polytope is called spanning if its lattice points affinely span the ambient lattice. We show as a corollary to a general result in the Ehrhart theory of lattice polytopes that the $h^*$-vector of a spanning lattice polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral consequence of the Eisenbud-Goto conjecture. We also discuss how this relates to unimodality questions of lattice polytopes and previously achieved decomposition results on lattice polytopes of given degree.
△ Less
Submitted 4 December, 2017; v1 submitted 10 August, 2016;
originally announced August 2016.
-
The generalized Mukai conjecture for symmetric varieties
Authors:
Giuliano Gagliardi,
Johannes Hofscheier
Abstract:
We associate to any complete spherical variety $X$ a certain nonnegative rational number $\wp(X)$, which we conjecture to satisfy the inequality $\wp(X) \le \operatorname{dim} X - \operatorname{rank} X$ with equality holding if and only if $X$ is isomorphic to a toric variety. We show that, for spherical varieties, our conjecture implies the generalized Mukai conjecture on the pseudo-index of smoo…
▽ More
We associate to any complete spherical variety $X$ a certain nonnegative rational number $\wp(X)$, which we conjecture to satisfy the inequality $\wp(X) \le \operatorname{dim} X - \operatorname{rank} X$ with equality holding if and only if $X$ is isomorphic to a toric variety. We show that, for spherical varieties, our conjecture implies the generalized Mukai conjecture on the pseudo-index of smooth Fano varieties due to Bonavero, Casagrande, Debarre, and Druel. We also deduce from our conjecture a smoothness criterion for spherical varieties. It follows from the work of Pasquier that our conjecture holds for horospherical varieties. We are able to prove our conjecture for symmetric varieties.
△ Less
Submitted 9 May, 2016; v1 submitted 18 December, 2014;
originally announced December 2014.
-
Homogeneous spherical data of orbits in spherical embeddings
Authors:
Giuliano Gagliardi,
Johannes Hofscheier
Abstract:
Let $G$ be a connected reductive complex algebraic group. Luna assigned to any spherical homogeneous space $G/H$ a combinatorial object called a homogeneous spherical datum. By a theorem of Losev, this object uniquely determines $G/H$ up to $G$-equivariant isomorphism. In this paper, we determine the homogeneous spherical datum of a $G$-orbit $X_0$ in a spherical embedding $G/H \hookrightarrow X$.…
▽ More
Let $G$ be a connected reductive complex algebraic group. Luna assigned to any spherical homogeneous space $G/H$ a combinatorial object called a homogeneous spherical datum. By a theorem of Losev, this object uniquely determines $G/H$ up to $G$-equivariant isomorphism. In this paper, we determine the homogeneous spherical datum of a $G$-orbit $X_0$ in a spherical embedding $G/H \hookrightarrow X$. As an application, we obtain a description of the colored fan associated to the spherical embedding $X_0 \hookrightarrow \bar{X_0}$.
△ Less
Submitted 17 December, 2014; v1 submitted 10 December, 2013;
originally announced December 2013.
-
Lattice polytopes, finite abelian subgroups in $\SL(n,\C)$ and coding theory
Authors:
Victor Batyrev,
Johannes Hofscheier
Abstract:
We consider $d$-dimensional lattice polytopes $Δ$ with $h^*$-polynomial $h^*_Δ=1+h_k^*t^k$ for $1<k<(d+1)/2$ and relate them to some abelian subgroups of $\SL_{d+1}(\C)$ of order $1+h_k^*=p^r$ where $p$ is a prime number. These subgroups can be investigate by means of coding theory as special linear constant weight codes in $\F_p^{d+1}$. If $p =2$, then the classication of these codes and correspo…
▽ More
We consider $d$-dimensional lattice polytopes $Δ$ with $h^*$-polynomial $h^*_Δ=1+h_k^*t^k$ for $1<k<(d+1)/2$ and relate them to some abelian subgroups of $\SL_{d+1}(\C)$ of order $1+h_k^*=p^r$ where $p$ is a prime number. These subgroups can be investigate by means of coding theory as special linear constant weight codes in $\F_p^{d+1}$. If $p =2$, then the classication of these codes and corresponding lattice polytopes can be obtained using a theorem of Bonisoli. If $p > 2$, the main technical tool in the classification of these linear codes is the non-vanishing theorem for generalized Bernoulli numbers $B_{1,χ}^{(r)}$ associated with odd characters $χ:\F_q^*\to\C^*$ where $q=p^r$. Our result implies a complete classification of all lattice polytopes whose $h^*$-polynomial is a binomial.
△ Less
Submitted 20 September, 2013;
originally announced September 2013.
-
Gorenstein spherical Fano varieties
Authors:
Giuliano Gagliardi,
Johannes Hofscheier
Abstract:
We obtain a combinatorial description of Gorenstein spherical Fano varieties in terms of certain polytopes, generalizing the combinatorial description of Gorenstein toric Fano varieties by reflexive polytopes and its extension to Gorenstein horospherical Fano varieties due to Pasquier. Using this description, we show that the rank of the Picard group of an arbitrary $d$-dimensional $\mathbb{Q}$-fa…
▽ More
We obtain a combinatorial description of Gorenstein spherical Fano varieties in terms of certain polytopes, generalizing the combinatorial description of Gorenstein toric Fano varieties by reflexive polytopes and its extension to Gorenstein horospherical Fano varieties due to Pasquier. Using this description, we show that the rank of the Picard group of an arbitrary $d$-dimensional $\mathbb{Q}$-factorial Gorenstein spherical Fano variety is bounded by $2d$. This paper also contains an overview of the description of the natural representative of the anticanonical divisor class of a spherical variety due to Brion.
△ Less
Submitted 12 February, 2015; v1 submitted 12 March, 2013;
originally announced March 2013.
-
A generalization of a theorem of G. K. White
Authors:
Victor Batyrev,
Johannes Hofscheier
Abstract:
An n-dimensional simplex Δ in \R^n is called empty lattice simplex if Δ\cap\Z^n is exactly the set of vertices of Δ. A theorem of G. K. White shows that if n=3 then any empty lattice simplex Δ\subset\R^3 is isomorphic up to an unimodular affine linear transformation to a lattice tetrahedron whose all vertices have third coordinate 0 or 1. In this paper we prove a generalization of this theorem for…
▽ More
An n-dimensional simplex Δ in \R^n is called empty lattice simplex if Δ\cap\Z^n is exactly the set of vertices of Δ. A theorem of G. K. White shows that if n=3 then any empty lattice simplex Δ\subset\R^3 is isomorphic up to an unimodular affine linear transformation to a lattice tetrahedron whose all vertices have third coordinate 0 or 1. In this paper we prove a generalization of this theorem for an arbitrary odd dimension n=2d-1 which in some form was conjectured by Sebő and Borisov. This result implies a classification of all 2d-dimensional isolated Gorenstein cyclic quotient singularities with minimal log-discrepancy at least d.
△ Less
Submitted 20 April, 2010;
originally announced April 2010.
