Equivariant Residue in Geometry & Analysis

• Equivariant residue is a technique that extracts local contributions from fixed-point loci under group actions, enabling precise algebraic and analytic computations.
• It employs frameworks like Jeffrey–Kirwan and iterated residues to convert complex localization problems into computable expressions in diverse geometric and analytic settings.
• Applications span equivariant cohomology, characteristic class calculations, noncommutative residue traces, and wall-crossing in enumerative geometry, enhancing practical residue formulas.

An equivariant residue is a key concept in modern geometry and representation theory, encoding the contribution of fixed points or invariant objects under group actions in a formally localized and computable manner. This notion appears across a wide spectrum of areas, including the geometry of holomorphic maps, equivariant localization in Hamiltonian systems, equivariant cohomology, residue-type trace functionals in operator theory, and the calculation of characteristic classes and intersection cycles in algebraic geometry. Its precise definition and structure depend critically on the underlying geometric or analytic context, but it always serves as the central object tying group symmetries to local data via explicit residue formulas.

1. Residues in Equivariant Localization and Cohomology

The equivariant residue arises naturally in the localization of equivariant integration problems, particularly within the context of Hamiltonian G-manifolds. Consider a compact symplectic manifold $(M,\omega)$ with a Hamiltonian action of a compact Lie group $G$ and moment map $\mu:M\to \mathfrak{g}^*$. The framework of equivariant cohomology passes to the study of push-forwards under the associated Kirwan map. The integral over the symplectic or Marsden–Weinstein reduced space can be recast as a sum of local contributions from $G$-fixed loci, each weighted by the characteristic classes and inverse Euler classes of the normal bundles—captured via multidimensional or iterated residue operations in the equivariant parameters.

These operations can be formulated as Jeffrey–Kirwan type residues, selecting, for a fixed chamber in the dual Cartan, exactly the poles corresponding to the positive cone spanned by their weights. The explicit construction involves representing equivariant forms or classes as rational functions of the equivariant parameters, and the equivariant residue selects, via a precise iterative prescription, the local terms that encode global invariants (Zielenkiewicz, 2015, Konstantis et al., 2016, Ramacher, 2013).

2. Equivariant Residue in Holomorphic Map Multipoint Loci

In the context of holomorphic maps $f: M \to N$ between compact complex manifolds ($\dim M = m \leq n = \dim N$), the equivariant residue provides a closed, computable formula for the class of the $k$-fold point locus—points $p \in M$ such that $|f^{-1}(f(p))| \geq k$. By reformulating the problem via embedding into the Hilbert scheme of points and leveraging the geometry of the curvilinear component, one obtains via equivariant localization a closed, iterated residue formula for these classes.

The central result expresses the integral over the geometric Hilbert scheme $\text{GHilb}^k(M)$ as a sum over partitions $G$0 of $G$1, of iterated residues evaluated against explicit universal polynomials $G$2 (Thom polynomials) and Segre series of the tangent bundle. Explicitly,

$G$3

where $G$4 incorporates the combinatorics of partitions, block bundles, and Segre series (Bérczi et al., 2021). The k-fold residual polynomial $G$5 is shown to be the universal Thom polynomial for the $G$6 Morin singularity, resolving conjectures of Kazarian and Rimányi.

Examples for $G$7 recover the classical double- and triple-point formulas, including the works of Kleiman and the expressions for Morin singularities via double and triple iterated residues.

3. Equivariant Residue in Operator Theory: Noncommutative and Localized Traces

The equivariant residue also manifests as a spectral invariant for pseudodifferential and Fourier integral operators on manifolds with group actions. In this analytic context, the equivariant (noncommutative) residue is defined as the coefficient of the $G$8 term in the heat trace expansion for the equivariant Bismut Laplacian $G$9 acting on sections of the spinor bundle, or equivalently as the residue at $\mu:M\to \mathfrak{g}^*$0 of the zeta-regularized trace $\mu:M\to \mathfrak{g}^*$1 for an appropriate auxiliary operator $\mu:M\to \mathfrak{g}^*$2.

For the algebra $\mu:M\to \mathfrak{g}^*$3 generated by shifts and metaplectic lifts on the Schwartz space $\mu:M\to \mathfrak{g}^*$4, the equivariant residue $\mu:M\to \mathfrak{g}^*$5 associated to a group element $\mu:M\to \mathfrak{g}^*$6 is computed via an explicit local integral over the fixed-point locus of $\mu:M\to \mathfrak{g}^*$7:

$\mu:M\to \mathfrak{g}^*$8

where $\mu:M\to \mathfrak{g}^*$9 and $G$0 is the homogeneous component of the symbol (Savin et al., 2023).

These residues are key objects in noncommutative geometry, vanishing on commutators, invariant under metaplectic conjugation, and localizing to group-fixed strata in the spectrum or symbol of the operator.

4. Equivariant Residue in Algebraic Geometry and K-Theory

The Bott residue formula and its generalizations to equivariant cohomology and K-theory are explicit residue formulas computing push-forwards of equivariant characteristic classes under morphisms with group action. For type-A flag manifolds or general smooth $G$1-varieties, the push-forward in K-theory (Grothendieck ring) admits a residue presentation:

$G$2

with $G$3 an explicit rational function encoding the universal bundle data, Chern roots, and Weyl denominator (Ohkawa, 2023).

In modern treatments, such as in Witt cohomology for $G$4-actions, the equivariant residue map is realized via the Gysin pullback along a regular embedding of a fixed-point component, divided by the equivariant Euler class of the normal bundle, which can detect subtle quadratic (Grothendieck–Witt) refinements (Levine, 2022).

5. Iterated Residue, Jeffrey–Kirwan Formalism, and Wall-Crossing

The generalization to multidimensional iterated residues is formalized by the Jeffrey–Kirwan residue, particularly in the context of symplectic quotients and toric complete intersections. In the abelian case for a torus $G$5, any equivariant rational function

$G$6

has JK-residue at the origin defined combinatorially by summing over subsets $G$7 with $G$8 such that a chosen polarization vector $G$9 lies within the cone spanned by their weights. The iterated residue selects exactly those contributions aligned with the polarization, with wall-crossing corresponding to shifts across weight hyperplanes (Szilágyi, 2013). This formalism is essential in modern calculations such as the DT/PT vertex computation for toric Calabi–Yau fourfolds, where the choice of reference vector $f: M \to N$0 determines whether the Donaldson–Thomas or Pandharipande–Thomas partition function is obtained, and the residue computation implements wall-crossing at the level of equivariant localization (Kimura et al., 16 Aug 2025).

6. Applications and Significance

The equivariant residue framework unifies residue calculations for characteristic classes, intersection cycles, push-forwards in cohomology and K-theory, regularized traces in operator theory, and localization in enumerative geometry. Its explicit structure provides computational access to previously intractable intersection problems, connects singularity theory with universal Thom polynomials, reveals structure in noncommutative geometry and index theory, and underlies advances in enumerative invariants via wall-crossing and localization. In particular, residue formulas solve longstanding problems such as identifying residual polynomials with universal classes for Morin singularities (Bérczi et al., 2021), invert localization maps in equivariant cohomology even in the presence of quadratic or twisted refinements (Levine, 2022), and implement concrete calculations for virtual enumerative invariants in high-dimensional gauge theory (Kimura et al., 16 Aug 2025).