Lattice points in lattice polytopes

IfK is the underlying point-set of a simplicial complex of dimension at mostd whose vertices are lattice points, and ifG(K) is the number of lattice points inK, then the lattice point enumeratorG(K,t)=1+ _n1 G(nK)t ⁿ takes the formC(K, t)/(1–t) ^d+1, for some polynomialC(K, t). Here,C(K, t) is expressed as a sum of local terms, one for each face ofK. WhenK is a polytope or its boundary, there result inequalities between the numbersG _r (K), whereG(n K)= _r=0 ^d n ^r G _r (K).