Sum-integral interpolators and the Euler-Maclaurin formula for polytopes

Authors:
Stavros Garoufalidis and James Pommersheim

Journal:
Trans. Amer. Math. Soc. **364** (2012), 2933-2958

MSC (2010):
Primary 57N10; Secondary 57M25

DOI:
https://doi.org/10.1090/S0002-9947-2012-05381-5

Published electronically:
February 14, 2012

MathSciNet review:
2888234

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space , namely the family of exponential sums and the family of exponential integrals parametrized by the set of rational polytopes in . The paper introduces the notion of an interpolator between these two families of meromorphic functions. We prove that every rigid complement map in gives rise to an effectively computable -interpolator (and a local Euler-Maclaurin formula), an -interpolator (and a reverse local Euler-Maclaurin formula) and an -interpolator (which interpolates between integrals and sums over interior lattice points). Rigid complement maps can be constructed by choosing an inner product on or by choosing a complete flag in . The corresponding interpolators generalize and unify the work of Berline-Vergne, Pommersheim-Thomas, and Morelli.

**[Bv]**A. Barvinok,*A polynomial time algorithm for counting integral points in polyhedra when the dimension is fixed*, Math. Oper. Res.**19**(1994) 769-779. MR**1304623 (96c:52026)****[BP]**A. Barvinok and J.E. Pommersheim,*An algorithmic theory of lattice points in polyhedra*, Math. Sci. Res. Inst. Publ.,**38**(1999) 91-147. MR**1731815 (2000k:52014)****[BV]**N. Berline and M. Vergne,*Local Euler-Maclaurin formula for polytopes*, Mosc. Math. J.**7**(2007) 355-386. MR**2343137 (2008k:52026)****[Br]**M. Brion,*Points entiers dans les polyèdres convexes*, Ann. Sci. École Norm. Sup. (4)**21**(1988) 653-663. MR**982338 (90d:52020)****[Fu]**W. Fulton,*Introduction to toric varieties*. Annals of Mathematics Studies**131**, Princeton University Press, 1993. MR**1234037 (94g:14028)****[La]**J. Lawrence,*Rational-function-valued valuations on polyhedra*, DIMACS Ser. Discrete Math. Theoret. Comput. Sci.,**6**(1991) 199-208. MR**1143297 (92m:52025)****[McM]**P. McMullen,*Lattice invariant valuations on rational polytopes*, Archiv Math.**31**(1978) 509-516. MR**526617 (80d:52011)****[Mo]**R. Morelli,*Pick's theorem and the Todd class of a toric variety*, Adv. Math.**100**(1993) 183-231. MR**1234309 (94j:14048)****[Pi]**G.A. Pick,*Geometrisches zur Zahlenlehre*, Sitzenber. Lotos (Prague)**19**(1899) 311-319.**[PT]**J. Pommersheim and H. Thomas,*Cycles representing the Todd class of a toric variety*, J. Amer. Math. Soc.**17**(2004) 983-994. MR**2083474 (2005h:14124)****[Th]**H. Thomas,*Cycle-level intersection theory for toric varieties*, Canad. J. Math.**56**(2004) 1094-1120. MR**2085635 (2005e:14083)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2010):
57N10,
57M25

Retrieve articles in all journals with MSC (2010): 57N10, 57M25

Additional Information

**Stavros Garoufalidis**

Affiliation:
School of Mathematics, Georgia Institute of Technology, Atlanta, Georgia 30332-0160

Email:
stavros@math.gatech.edu

**James Pommersheim**

Affiliation:
Department of Mathematics, Reed College, 3203 SE Woodstock Boulevard, Portland, Oregon 97202-8199

Email:
jamie@reed.edu

DOI:
https://doi.org/10.1090/S0002-9947-2012-05381-5

Keywords:
Polytopes,
Euler-Maclaurin formula,
reverse Euler-Maclaurin formula,
lattice points,
flag varieties,
exponential sums,
exponential integrals,
interpolators.

Received by editor(s):
February 18, 2010

Received by editor(s) in revised form:
May 20, 2010

Published electronically:
February 14, 2012

Additional Notes:
The first author was supported in part by NSF

Article copyright:
© Copyright 2012
American Mathematical Society