Abstract
Let V be a real vector space of dimension n and let \(M\subset V\) be a lattice. Let \(P\subset V\) be an n-dimensional polytope with vertices in M, and let \(\varphi :V\rightarrow {\mathbb {C}}\) be a homogeneous polynomial function of degree d. For \(q\in {\mathbb {Z}}_{>0}\) and any face F of P, let \(D_{\varphi ,F} (q)\) be the sum of \(\varphi \) over the lattice points in the dilate qF. We define a generating function \(G_{\varphi }(q,y) \in {\mathbb {Q}}[q] [y]\) packaging together the various \(D_{\varphi ,F} (q)\), and show that it satisfies a functional equation that simultaneously generalizes Ehrhart–Macdonald reciprocity and the Dehn–Sommerville relations. When P is a simple lattice polytope (i.e., each vertex meets n edges), we show how \(G_{\varphi }\) can be computed using an analogue of Brion–Vergne’s Euler–Maclaurin summation formula.
Similar content being viewed by others
Notes
This (standard) definition of the f polynomial is dual to the definition of the h-polynomial (1). The f-polynomial favors simplicial polytopes, in that Dehn–Sommerville holds with no g-polynomial corrections. The h-polynomial, on the other hand, favors simple polytopes.
We remark that the factor \((y+1)^{\deg {\varphi }}\) is not really needed for \(G_{\varphi }\), at least as far as the results in this section are concerned. This factor appears naturally when one considers the Todd operator formula, so it is reasonable to include it here.
This condition is the same as the toric variety \(X_{P}\) determined by P being nonsingular [8].
With this convention the Bernoulli numbers are \(B_{0} = 1\), \(B_{1}=\frac{1}{2}\), \(B_{2}=\frac{1}{6}\), \(B_{4}=-\frac{1}{30}\), ..., and \(B_{2k-1}=0\) for \(k > 1\). Note that for many authors \(B_{1}=-\frac{1}{2}\).
We thank an anonymous referee for pointing this out to us.
References
Beck, M., Robins, S.: Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra. 2nd edn. Undergraduate Texts in Mathematics. Springer, New York (2015). http://math.sfsu.edu/beck/ccd.html
Brasselet, J.-P., Schürmann, J., Yokura, S.: Hirzebruch classes and motivic Chern classes for singular spaces. J. Topol. Anal. 2(1), 1–55 (2010)
Brion, M., Vergne, M.: An equivariant Riemann–Roch theorem for complete, simplicial toric varieties. J. Reine Angew. Math. 482, 67–92 (1997)
Brion, M., Vergne, M.: Lattice points in simple polytopes. J. Am. Math. Soc. 10(2), 371–392 (1997)
Brion, M., Vergne, M.: Residue formulae, vector partition functions and lattice points in rational polytopes. J. Am. Math. Soc. 10(4), 797–833 (1997)
Cox, D.A., Little, J.B., Schenck, H.K.: Toric Varieties. Graduate Studies in Mathematics. American Mathematical Society, Providence (2011)
Ehrhart, E.: Sur les polyèdres rationnels homothétiques à \(n\) dimensions. C. R. Acad. Sci. Paris 254, 616–618 (1962)
Fulton, W.: Introduction to Toric Varieties. Annals of Mathematics Studies, vol. 131. Princeton University Press, Princeton (1993)
Goda, K., Kamimura, S., Ohmoto, T.: \({T}_y\)-operator on integrals over lattice polytopes (2012). http://www.math.sci.hokudai.ac.jp/~ohmoto/Papers/t_y_polytope.pdf
Hirzebruch, F.: Eulerian polynomials. Münster J. Math. 1, 9–14 (2008)
Macdonald, I.G.: Polynomials associated with finite cell-complexes. J. Lond. Math. Soc. 4, 181–192 (1971)
Materov, E.N.: The Bott formula for toric varieties. Mosc. Math. J. 2(1), 161–182 (2002)
Maxim, L.G., Schürmann, J.: Characteristic classes of singular toric varieties. Commun. Pure Appl. Math. 68(12), 2177–2236 (2015)
Pukhlikov, A.V., Khovanskiĭ, A.G.: The Riemann–Roch theorem for integrals and sums of quasipolynomials on virtual polytopes. St. Petersburg Math. J. 4(4), 789–812 (1992)
Stanley, R.: Generalized \(H\)-vectors, intersection cohomology of toric varieties, and related results. In: Nagata, M., Matsumura, H. (eds.) Commutative Algebra and Combinatorics Advanced Studies in Pure Mathematics, vol. 11, pp. 187–213. North-Holland, Amsterdam (1987)
Stanley, R.P.: Enumerative Combinatorics. Volume 1. 2nd edn. Cambridge Studies in Advanced Mathematics, vol. 49. Cambridge University Press, Cambridge (2012)
Acknowledgements
We thank David Cox and Michèle Vergne for helpful comments. Two of us (MB and EM) thank the Max Planck Institute for Mathematics for its hospitality, where some of these results were initially worked out. We thank Toru Ohmoto, who informed us of [9] after this work was completed. Finally, we thank the anonymous referees for their comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
MB was partially supported by the NSF through Grant DMS-1162638. PG was partially supported by the NSF through Grants DMS-1101640 and DMS-1501832.
Rights and permissions
About this article
Cite this article
Beck, M., Gunnells, P.E. & Materov, E. Weighted Lattice Point Sums in Lattice Polytopes, Unifying Dehn–Sommerville and Ehrhart–Macdonald. Discrete Comput Geom 65, 365–384 (2021). https://doi.org/10.1007/s00454-020-00175-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-020-00175-2