Equivariant toric geometry and Euler–Maclaurin formulae

Abstract

We first investigate torus‐equivariant motivic characteristic classes of toric varieties, and then apply them via the equivariant Riemann–Roch formalism to prove very general Euler–Maclaurin‐type formulae for full‐dimensional simple lattice polytopes.We consider ‐equivariant versions and of the motivic Chern and, resp., Hirzebruch characteristic classes of a toric variety (with corresponding torus ), and extend many known results from the non‐equivariant context to the equivariant setting. For example, the equivariant motivic Chern class is computed as the sum of the equivariant Grothendieck classes of the ‐equivariant sheaves of Zariski ‐forms weighted by . Using the motivic, as well as the characteristic class nature of , the corresponding generalized equivariant Hirzebruch ‐genus of a ‐invariant Cartier divisor on is also calculated.Further global formulae for are obtained in the simplicial context based on the Cox construction and the equivariant Lefschetz–Riemann–Roch theorem of Edidin–Graham. Alternative proofs of all these results are given via localization techniques at the torus fixed points in ‐equivariant ‐ and, resp., homology theories of toric varieties, due to Brion–Vergne and, resp., Brylinski–Zhang. These localization results apply to any toric variety with a torus fixed point. In localized ‐equivariant ‐theory, we extend a classical formula of Brion for a full‐dimensional lattice polytope to a weighted version. We also generalize the Molien formula of Brion–Vergne for the localized class of the structure sheaf of a simplicial toric variety to the context of . Similarly, we calculate the localized Hirzebruch class in localized ‐equivariant homology, extending the corresponding results of Brylinski–Zhang for the localized Todd class (fitting with the equivariant Hirzebruch class for ).As main applications of our equivariant characteristic class formulae, we provide a geometric perspective on several weighted Euler–Maclaurin‐type formulae for full‐dimensional simple lattice polytopes (corresponding to simplicial toric varieties), coming from the equivariant toric geometry via the equivariant Hirzebruch–Riemann–Roch (for an ample torus invariant Cartier divisor). Our main results even provide generalizations to arbitrary equivariant coherent sheaf coefficients, including algebraic geometric proofs of (weighted versions of) the Euler–Maclaurin formulae of Cappell–Shaneson, Brion–Vergne, Guillemin, and so forth (all of which correspond to the choice of the structure sheaf), via the equivariant Hirzebruch–Riemann–Roch formalism. In particular, we give a first complete proof of the Euler–Maclaurin formula of Cappell–Shaneson. Our approach, based on motivic characteristic classes, allows us to obtain such Euler–Maclaurin formulae also for (the interior of) a face, as well as for the polytope with several facets (i.e., codimension one faces) removed, for example, for the interior of the polytope (as well as for equivariant characteristic class formulae for locally closed ‐invariant subsets of a toric variety). Moreover, we prove such results also in the weighted context, as well as for ‐Minkowski summands of the given full‐dimensional lattice polytope (corresponding to globally generated torus invariant Cartier divisors in the toric context). Some of these results are extended to local Euler–Maclaurin formulae for the tangent cones at the vertices of the given full‐dimensional lattice polytope (fitting with the localization at the torus fixed points in equivariant ‐theory and equivariant (co)homology). Finally, we also give an application of our abstract Euler–Maclaurin formula to generalized reciprocity for Dedekind sums.