Duistermaat–Heckman theorem

Duistermaat–Heckman theorem
Name	Duistermaat–Heckman theorem
Field	Symplectic geometry
Introduced	1982
Authors	Johannes J. Duistermaat; Hans Heckman

Duistermaat–Heckman theorem The Duistermaat–Heckman theorem describes the behavior of the pushforward of the Liouville measure under a moment map for a Hamiltonian torus action on a compact symplectic manifold, asserting that the resulting measure is absolutely continuous with a piecewise polynomial density. The theorem links ideas from symplectic geometry, representation theory, index theory, and equivariant cohomology, providing bridges to topics such as localization, geometric quantization, and integrable systems.

Statement

Let M be a compact symplectic manifold equipped with a Hamiltonian action of a torus T and moment map μ: M → t*, where t* is the dual of the Lie algebra of T. The Duistermaat–Heckman theorem states that the pushforward μ_* (Liouville measure) is a measure on t* whose density with respect to Lebesgue measure is a piecewise polynomial function; moreover, the Fourier transform of this measure is given by an oscillatory integral that localizes to contributions from the fixed points of the T-action. This assertion ties together results in symplectic reduction from Marsden–Weinstein reduction and formulas akin to the Atiyah–Bott localization theorem and the Atiyah–Singer index theorem, and it implies that classical invariants behave in ways reminiscent of formulas in Weyl character formula and Kirillov character formula contexts.

Background and motivation

The theorem grew from efforts to understand Hamiltonian group actions on symplectic manifolds and the distribution of symplectic volume under moment maps, connecting researchers active in geometric analysis such as Vladimir Arnold, Mikhail Gromov, Raoul Bott, Michael Atiyah, Isadore Singer, and institutions like Institute for Advanced Study and Mathematical Sciences Research Institute. The motivation included questions in geometric quantization pursued by figures like Bertram Kostant and Jean-Marie Souriau, relationships to representation theory explored by George Mackey and Kirillov, and the study of equivariant cohomology methods developed by Berline–Vergne and Atiyah–Bott; the result illuminated links between classical mechanics on manifolds studied by Joseph-Louis Lagrange and quantum phenomena investigated in works tied to Paul Dirac.

Proof sketches and methods

Proof approaches exploit stationary phase approximation and equivariant localization techniques. Duistermaat and Heckman used oscillatory integral methods related to stationary phase asymptotics found in works of Lars Hörmander and Vladimir Maslov, while alternative proofs employ equivariant cohomology and localization principles derived from Atiyah–Bott localization theorem and the Berline–Vergne formula. Analytic proofs connect to heat kernel methods as in the development of the Atiyah–Singer index theorem by Michael Atiyah and Isadore Singer, and to Fourier transform techniques familiar from Harish-Chandra's harmonic analysis on Lie groups. Symplectic cutting and reduction methods draw on ideas from Marsden–Weinstein reduction and constructions used by Eugene Lerman.

Examples and applications

Classic examples include the case of a coadjoint orbit of a compact Lie group G, where the moment map image and the Duistermaat–Heckman measure relate to the Weyl integration formula and the distribution characters studied by Harish-Chandra and Bertram Kostant. Toric varieties studied by William Fulton and Vladimir Guillemin provide explicit piecewise polynomial densities corresponding to Delzant polytopes and moment map images tied to Delzant theorem. Applications appear in geometric quantization results influenced by Kirillov character formula and the Guillemin–Sternberg "quantization commutes with reduction" conjecture, as well as in enumerative problems connected to the theory developed by Maxim Kontsevich and Eduard Witten. Further uses arise in integrable systems research associated with Arnold–Liouville theorem and in asymptotic representation theory linked to Weyl character formula.

Generalizations and related results

Generalizations include nonabelian localization formulas extending the abelian Duistermaat–Heckman picture to actions of non-torus compact Lie groups, informed by works of Witten and formalized by contributors like Meinrenken and Vergne. Relations to equivariant indices and the Atiyah–Segal–Singer fixed point theorem yield extensions in index theory contexts studied by Berline–Vergne and Kumar. The piecewise polynomial phenomenon connects to moment polytope convexity results such as the Atiyah–Guillemin–Sternberg convexity theorem, while connections to asymptotic expansions and stationary phase have been pursued by analysts following Lars Hörmander and Victor Maslov.

Historical context and contributors

The theorem was introduced in 1982 by Johannes J. Duistermaat and Hans Heckman during a period of rapid development in symplectic geometry and representation theory, with widespread influence from contemporaries including Michael Atiyah, Raoul Bott, Victor Guillemin, Shlomo Sternberg, Bertram Kostant, and Jean–Luc Brylinski. Its reception intersected with institutional programs at Institute for Advanced Study, Mathematical Sciences Research Institute, and universities where symplectic and representation theorists such as Eugene Lerman, Lisa Jeffrey, Meinrenken, and Michèle Vergne were active. Subsequent work by Edward Witten, Maxim Kontsevich, and others integrated the theorem into broader frameworks spanning mathematical physics, mirror symmetry, and modern geometric analysis.

Category:Symplectic geometry