Lattice points in polytope boundaries and formal geometric quantization of singular Calabi Yau hypersurfaces in toric varieties
Jonathan Weitsman
TL;DR
The paper establishes that the number of lattice points on the boundary of a positive integer dilation of a Delzant polytope, $R_{ abla}(k)$, is a polynomial in $k$ of degree $n-1$ with lacunarity, and provides an explicit formula via weighted Euler–Maclaurin operators using $ ext{A}$-hat functions. It connects these boundary counts to formal geometric quantization of singular Calabi–Yau hypersurfaces in toric varieties, yielding a KP-type operator expression for $ ext{dim }Q_k(Z)$ that mirrors the classical KP formula for interior lattice points. The work extends the theory to simple polytopes/orbifold toric varieties and discusses implications for mirror symmetry, providing concrete low-dimensional examples for unit simplices in dimensions 2–4. These results unify discrete boundary counting with toric CY geometry, offering a principled method to compute boundary lattice counts and highlighting lacunarity as a structural feature tied to quantization.
Abstract
We show that the number of lattice points in the boundary of a positive integer dilate of a Delzant integral polytope is a polynomial in the dilation parameter, analogous to the Ehrhart polynomial giving the number of lattice points in a lattice polytope. We give an explicit formula for this polynomial, analogous to the formula of Khovanskii-Pukhlikov for the Ehrhart polynomial. These counting polynomials satisfy a lacunarity principle, the vanishing of alternate coefficients, quite unlike the Ehrhart polynomial. We show that formal geometric quantization of singular Calabi Yau hypersurfaces in smooth toric varieties gives this polynomial, in analogy with the relation of the Khovanskii-Pukhlikov formula to the geometric quantization of toric varieties. The Atiyah-Singer theorem for the index of the Dirac operator gives a moral argument for the lacunarity of the counting polynomial. We conjecture that similar formulas should hold for arbitrary simple integral polytope boundaries.
