Duistermaat–Heckman formula

Duistermaat–Heckman formula
Name	Duistermaat–Heckman formula
Field	Symplectic geometry
Introduced	1982
Contributors	Johannes J. Duistermaat; Hans Heckman

Duistermaat–Heckman formula The Duistermaat–Heckman formula is a result in symplectic geometry and representation theory describing the behavior of measures under Hamiltonian group actions. It connects localization phenomena in equivariant cohomology with asymptotic properties of oscillatory integrals arising in geometric quantization, tying together methods associated with André Weil, Hermann Weyl, Atiyah–Bott, Bott periodicity, and ideas later developed by Edward Witten and Maxim Kontsevich. The formula has driven advances linking cyclic homology, index theory, and asymptotic distribution problems encountered in the work of Michael Atiyah, Isadore Singer, and Bertram Kostant.

Introduction

The Duistermaat–Heckman formula gives an explicit description of the pushforward (or marginal) of the Liouville measure on a symplectic manifold under a moment map for a torus action. It plays a central role in the interaction between geometric analysis and algebraic techniques found in the studies of Jean-Michel Bismut, David Ginzburg, Berndtsson, and Victor Guillemin. The statement and consequences are foundational for applications considered by researchers influenced by Eugene Wigner, David Mumford, Pierre Deligne, and Nicholas Bourbaki-style treatments of geometry.

Statement of the Formula

Let a compact torus T act in a Hamiltonian fashion on a compact connected symplectic manifold (M, ω) with moment map μ: M → 𝔱*, where 𝔱 is the Lie algebra of T. The Duistermaat–Heckman formula asserts that the pushforward measure μ_* (ω^n/n!) on 𝔱* is piecewise polynomial on the set of regular values of μ; the density is given on each connected component of regular values by a polynomial determined by the equivariant cohomology class [ω + ⟨μ,·⟩]. This description is closely related to formulae appearing in the works of Heinz Hopf, Hermann Weyl, Élie Cartan, Raoul Bott, and later expositions by Michèle Vergne and Andrzej Szenes on localization. The localization aspect can be phrased using fixed-point contributions indexed by the components of M^T, reflecting techniques seen in the proofs by Atiyah–Bott and in stationary phase approximations used by Lars Hörmander.

Examples and Applications

Classic examples include coadjoint orbits of compact Lie groups such as SU(2), SO(3), and U(n), where the formula reproduces Weyl's character formula and weight multiplicity polytopes studied by Hermann Weyl and Bertram Kostant. Applications appear in the analysis of equivariant indices associated to the Atiyah–Singer index theorem, to asymptotics in geometric quantization addressed by Daniel Sternheimer and Jean-Paul Serre, and to counting lattice points in moment polytopes studied by Eugène Ehrhart and Miroslav Fekete. Further uses occur in gauge theory contexts related to Michael Freedman, in mirror symmetry perspectives connected to Maxim Kontsevich and Cumrun Vafa, and in semiclassical approximations exploited by Vladimir Arnold and Victor Guillemin.

Proofs and Methods

Proofs of the Duistermaat–Heckman formula combine equivariant cohomology, stationary phase methods, and index-theoretic localization. The original arguments by Duistermaat and Heckman used Fourier transform and stationary phase in the spirit of Lars Hörmander and James V. Littlewood while later treatments employed the equivariant localization formulas of Atiyah–Bott and the equivariant index techniques of Berline–Getzler–Vergne influenced by Isadore Singer. Alternative proofs leverage heat kernel methods in the tradition of Henri Cartan and algebraic techniques tracing to Pierre Deligne and Jean-Pierre Serre. The interplay with cohomological field theory and supersymmetric localization has been popularized through expositions by Edward Witten, connecting to path integral heuristics used in Paul Dirac's and Richard Feynman's frameworks.

Relation to Symplectic Geometry and Moment Maps

The formula encodes structural information about moment map images and symplectic reduction as developed in the work of Marle, Meyer, and Marsden–Weinstein. It explains why moment polytopes for toric varieties associated to Delzant constructions yield piecewise polynomial densities, linking to combinatorial results studied by Richard Stanley and convexity theorems of Atiyah and Guillemin–Sternberg. In geometric representation theory, the Duistermaat–Heckman measure describes multiplicity functions appearing in the orbit method advocated by Kirillov and informs the study of Hamiltonian dynamics considered by Vladimir Arnold and Jürgen Moser.

Historical Context and Development

Introduced in 1982 by Johannes J. Duistermaat and Hans Heckman, the formula synthesized analytic stationary phase techniques with emerging localization principles in equivariant cohomology. It immediately influenced subsequent developments by Michael Atiyah, Isadore Singer, Victor Guillemin, and Michèle Vergne, and helped catalyze research connecting symplectic geometry, representation theory, and mathematical physics, shaping later work by Maxim Kontsevich, Edward Witten, and researchers in mirror symmetry and geometric quantization. The result sits historically alongside breakthroughs such as the Atiyah–Bott fixed-point theorem, the Atiyah–Singer index theorem, and the rise of equivariant topology in the late twentieth century.

Category:Symplectic geometry