Lattice points in lattice polytopes (Q1058733)

If K is the underlying point-set of a simplicial complex of dimension at most d whose vertices are lattice points, and if G(K) is the number of lattice points in K, then the lattice point enumerator \(G(K,t)=1+\sum_{n\geq 1}G(nK)t^ n\) takes the form \(C(K,t)/(1- t)^{d+1}\), for some polynomial C(K,t). Here, C(K,t) is expressed as a sum of local terms, one for each face of K. When K is a polytope or its boundary, there result inequalities between the numbers \(G_ r(K)\), where \(G(nK)=\sum^{d}_{r=0}n^ rG_ r(K).\)