equivariant localization

equivariant localization
Name	Equivariant localization
Field	Mathematics

equivariant localization

Equivariant localization is a collection of techniques in modern mathematics that reduce global computations on spaces with symmetries to local data around fixed points of group actions. The subject connects representation theory, algebraic geometry, topology, and mathematical physics by exploiting actions of Lie groups and torus symmetries to compute integrals, indices, and invariants. Key tools include the Atiyah–Bott formula, the Berline–Vergne formula, and the fixed-point theorem approaches which simplify problems in areas ranging from moduli spaces to enumerative geometry.

Overview and motivation

Equivariant localization arises when a Lie group such as S^1, Torus or SO(n) acts on a manifold or variety and one wishes to compute integrals or characteristic numbers invariant under that action. Motivations include computations in Atiyah–Singer index theory, evaluations in Gromov–Witten theory, simplifications of integrals in Symplectic geometry, and exact results in Quantum field theory via the Duistermaat–Heckman theorem and the localization in supersymmetric gauge theory. Practitioners often exploit fixed-point sets studied with techniques from Morse theory, Equivariant cohomology and equivariant K-theory to pass from global to finite-dimensional data.

Mathematical formulation

The formal setting uses actions of a compact Lie group G (often a torus T) on a smooth manifold M or an algebraic variety X with well-behaved fixed-point locus M^G. One works in equivariant cohomology H_G^*(M) or equivariant K-theory K_G(M) and pairs equivariant classes with pushforward maps such as integration along M. The localization statements express integrals ∫_M α in terms of contributions from components of M^G via Euler classes of normal bundles, equivariant characteristic classes, and residues computed using representations of G on tangent spaces. Foundational algebraic tools include the Cartan model for equivariant de Rham cohomology, the Borel construction relating classifying spaces BG to homotopy quotients, and the use of Chern characters tied to the Grothendieck–Riemann–Roch theorem.

Localization theorems

Core theorems include the Atiyah–Bott fixed point theorem for elliptic complexes, the Berline–Vergne localization formula for equivariant forms, and the ABBV formula connecting integration in equivariant cohomology to fixed-point data. The Duistermaat–Heckman theorem describes pushforwards of symplectic volume forms under moment maps for Hamiltonian torus actions and leads to piecewise polynomial measures on Lie algebra duals. Equivariant index theorems relate to the work of Michael Atiyah, Raoul Bott, Jean-Michel Bismut, and Daniel Quillen through formulas for indices of transversally elliptic operators and the incorporation of heat kernel methods developed in the study of the Atiyah–Patodi–Singer index theorem.

Examples and applications

Prominent examples include calculations on flag varieties such as Grassmannian, Schubert calculus on flag varieties, and fixed-point computations on Hilbert schemes like the Hilbert scheme of points on a surface. In mathematical physics, equivariant localization yields exact partition functions in Seiberg–Witten theory, path integral evaluations in Yang–Mills theory, and computations in TQFT contexts exemplified by work on Chern–Simons theory. Enumerative predictions such as mirror symmetry results for Calabi–Yau manifolds and computations in Donaldson–Thomas theory often use equivariant localization on moduli spaces of sheaves and maps. Applications also appear in representation theory for characters of Lie group representations and in combinatorics through connections to Schur polynomials and Young tableaus.

Computational techniques

Practical computations use fixed-point data: determine components of M^G, compute equivariant Euler classes of normal bundles via weights of the G-action, and apply residue or localization formulas to sum local contributions. Tools include equivariant characteristic classes such as equivariant Chern and Todd classes, the use of localization in equivariant K-theory and equivariant Chow rings, and computational algebra systems for manipulating characters of torus actions. Recursion relations derived from localization underpin algorithms in Gromov–Witten invariants computations and software implementations leveraging symbolic algebra in packages developed in the context of SageMath, Macaulay2, and specialized enumerative geometry libraries.

Extensions and generalizations

Generalizations extend localization beyond compact group actions to noncompact groups, infinite-dimensional path integral settings, and derived algebraic geometry contexts. Developments include abelianization techniques reducing nonabelian localization to torus localization, equivariant localization for stacks and derived stacks in the language of Algebraic stack, and categorified versions in equivariant derived categories and equivariant elliptic cohomology. Other directions connect to mirror symmetry for toric varieties, wall-crossing phenomena in Donaldson theory and Pandharipande–Thomas theory, and the extension to equivariant elliptic genera and [string-theoretic] modularity results.

Historical development and key contributors

Foundational contributions trace to the index theory work of Michael Atiyah and Raoul Bott culminating in the Atiyah–Bott fixed point theorem and related lectures at institutions such as IAS and ICM talks that influenced later developments. The Berline–Vergne localization arose from Nicole Berline and Michèle Vergne’s analysis of equivariant forms, while the Duistermaat–Heckman theorem was introduced by Johannes J. Duistermaat and Gert Heckman in symplectic geometry contexts. Later extensions and applications involved Nigel Hitchin, Edward Witten, Maxim Kontsevich, Simon Donaldson, Sergei Gukov, Anton Kapustin, Andrei Okounkov, Rahul Pandharipande, and Davesh Maulik among others, who linked localization techniques to quantum field theory, enumerative geometry, and representation theory. Contemporary research continues across centers such as MSRI, Courant Institute, and IHES where advances in equivariant methods interact with developments in derived geometry and quantum topology.

Category:Mathematical techniques