Ehrhart's volume conjecture

A standard simplex in ${\displaystyle n=2}$ dimensions, scaled by ${\displaystyle n+1=3}$, with (1, 1) at its barycenter. Equality is achieved, with the area being ${\displaystyle (n+1)^{n}/n!=9/2}$

In the geometry of numbers, Ehrhart's volume conjecture gives an upper bound on the volume of a convex body containing only one lattice point in its interior. It is a kind of converse to Minkowski's theorem, which guarantees that a centrally symmetric convex body ${\displaystyle K}$ must contain a lattice point as soon as its volume exceeds ${\displaystyle 2^{n}}$. The conjecture states that a convex body ${\displaystyle K}$ containing only one lattice point in its interior as its barycenter cannot have volume greater than ${\displaystyle (n+1)^{n}/n!}$:

${\displaystyle \operatorname {Vol} (K)\leq {\frac {(n+1)^{n}}{n!}}.}$

Equality is achieved in this inequality when ${\displaystyle K=(n+1)\Delta _{n}}$ is a copy of the standard simplex in Euclidean ${\displaystyle n}$-dimensional space, whose sides are scaled up by a factor of ${\displaystyle n+1}$. Equivalently, ${\displaystyle K=(n+1)\Delta _{n}}$ is congruent to the convex hull of the vectors ${\displaystyle -\sum _{i=1}^{n}\mathbf {e} _{i}}$, and ${\displaystyle (n+1)\mathbf {e} _{j}-\sum _{i=1}^{n}\mathbf {e} _{i}}$ for all ${\displaystyle j=1,\ldots ,n}$. Presented in this manner, the origin is the only lattice point interior to the convex body ${\displaystyle K}$.

The conjecture, furthermore, asserts that equality is achieved in the above inequality if and only if ${\displaystyle K}$ is unimodularly equivalent to ${\displaystyle (n+1)\Delta _{n}}$.

History and Partial Results

Eugene Ehrhart proved the conjecture in dimension 2 and in the special case of simplices in arbitrary dimensions. For several decades, the general conjecture remained open despite efforts by numerous mathematicians.

The best known general upper bound prior is

${\displaystyle \operatorname {Vol} (K)\leq {\frac {(n+1)^{n}}{n^{n}}}}$

which represents a refinement of Ehrhart's original bound.

In 2014, Benjamin Nill and Andreas Paffenholz confirmed the conjecture for several important classes of rational polytopes, establishing that equality holds if and only if ${\displaystyle K}$ is unimodularly equivalent to the standard simplex.

References

• Benjamin Nill; Andreas Paffenholz (2014), "On the equality case in Erhart's volume conjecture", Advances in Geometry, 14 (4): 579–586, arXiv: 1205.1270 , doi:10.1515/advgeom-2014-0001, ISSN   1615-7168, S2CID   119125713 .

• Robert J. Berman; Bo Berndtsson (2012), "The volume of Kähler-Einstein Fano varieties and convex bodies", Journal für die Reine und Angewandte Mathematik, 2014 (691): 1–24, arXiv: 1204.1308 , doi:10.1515/crelle-2014-0069 .

• Eugene Ehrhart (1967), "Sur un problème de géométrie diophantienne", Journal für die Reine und Angewandte Mathematik, 226: 1–29.