Weighted lattice point sums in lattice polytopes, unifying Dehn-Sommerville and Ehrhart-Macdonald

DOI10.1007/S00454-020-00175-2MaRDI QIDQ2227237zbMATH OpenOpenAlexFDO

Authors Matthias Beck, E. N. Materov, Paul E. Gunnells

Publication date 10 February 2021

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.01504

Dehn-Sommerville relations Ehrhart polynomial Euler-Maclaurin summation lattice polytopes

Exact enumeration problems, generating functions (05A15) Lattices and convex bodies (number-theoretic aspects) (11H06) Lattice points in specified regions (11P21) Intersection theory, characteristic classes, intersection multiplicities in algebraic geometry (14C17) Riemann-Roch theorems (14C40) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)

Abstract: Let

V

be a real vector space of dimension

n

and let

M s u b s e t V

be a lattice. Let

P s u b s e t V

be an

n

-dimensional polytope with vertices in

M

, and let

v a r p h i c o l o n V i g h t a r r o w C C

be a homogeneous polynomial function of degree

d

(i.e., an element of

S y m^{d} (V^{*})

). For

and any face

F

of

P

, let

D_{v a r p h i, F} (q)

be the sum of

v a r p h i

over the lattice points in the dilate

q F

. We define a generating function

G_{v a r p h i} (q, y) i n Q Q [q] [y]

packaging together the various

D_{v a r p h i, 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_{v a r p h i}

can be computed using an analogue of Brion--Vergne's Euler--Maclaurin summation formula.

Review text

Let \(V\) be a real, \(n\)-dimensional vector space with \(M \subset V\) a lattice. Let \(P \subset V\) be an \(n\)-dimensional polytope, namely the closed convex hull of finitely many points in the lattice \(V\). Let \(\phi\) map the lattice to the complex numbers, and let \(\phi\) be a homogeneous polynomial function of degree \(d\). Given a positive integer \(q\) and any face \(F\) of the polytope, let \(D_{\phi,F}(q)\) be the sum of \(\phi\) over the lattice points in \(qF.\) The authors describe a generating function \(G_\phi(q,y)\) that packages the various \(D_{\phi,F}(q)\) and they show that it satisfies a functional equation that genearlizes both the Ehrhart-Macdonal reciprocity and the Dehn-Sommerville relations. When the polytope has each vertex meeting \(n\) edges, they show how this function \(G_\phi\) can be computed using an analogue of the Brion-Vergne's Euler-Maclaurin summation formula. Additionally, they show that one of their theorems agrees with the representation of the normalized Hirzebruch class of a toric variety studied by \textit{L. G. Maxim} and \textit{J. Schürmann} [Commun. Pure Appl. Math. 68, No. 12, 2177--2236 (2015; Zbl 1327.14032)]. The paper concludes with several examples of the function \(G_\phi(q,y).\)

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Weighted lattice point sums in lattice polytopes, unifying Dehn-Sommerville and Ehrhart-Macdonald

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2227237)