geometry-topology / Convex geometry

The Equality Case of Ehrhart's Volume Conjecture

Ehrhart conjectured that a full-dimensional compact convex body in $\mathbb{R}^n$ whose barycenter is its unique interior lattice point has volume at most $(n+1)^n/n!$. With the inequality itself settled, the remaining question was which bodies attain it. Every such body is a unimodular image of the simplex $(n+1)\Delta_n - (1,\dots,1)$.

22Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

Research memory

Claims and attempts

Scoped claims

Source authenticated

Ehrhart conjectured that a full-dimensional compact convex body in $\mathbb{R}^n$ whose barycenter is its unique interior lattice point has volume at most $(n+1)^n/n!$. With the inequality itself settled, the remaining question was which bodies attain it. Every such body is a unimodular image of the simplex $(n+1)\Delta_n - (1,\dots,1)$.

the equality case; the inequality was settled separately and is tracked on its own entry

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

The Equality Case of Ehrhart's Volume Conjecture — Mathematical Frontier Network