Kirwan map¶

Restrict equivariant cohomology classes of a Hamiltonian group space to a regular moment-map level set and identify them with ordinary cohomology classes on the resulting symplectic quotient.

Version: v2 · 2026-08-30 · History
Domain-specific #: 2132
Origin domain: symplectic geometry
Subdomain: hamiltonian reduction and equivariant cohomology

Core Idea¶

For a Hamiltonian \(G\)-space with moment map \(\mu\) and regular value \(0\), the Kirwan map is the graded-ring homomorphism \(\kappa:H_G^*(M)\to H^*(\mu^{-1}(0)/G)\) obtained by restriction to \(\mu^{-1}(0)\) followed by the equivariant-to-quotient identification under the relevant freeness or orbifold hypotheses.^[1] An equivariant class on the ambient Hamiltonian space restricts to the invariant level set, and when the group action there has the required regularity its equivariant cohomology represents the cohomology of the reduced space; Morse-theoretic analysis of the moment-map norm supplies the classical surjectivity theorem.

Its autonomous residual is the canonical ambient-to-reduced cohomology homomorphism attached to Hamiltonian reduction, not an arbitrary restriction map, moment map, quotient projection, or blanket claim that every reduction has the same cohomology. The identity fails when the target is not a justified reduced space, the level is singular without a revised framework, equivariant and ordinary cohomology are conflated, coefficients are suppressed where they matter, or Kirwan surjectivity is quoted outside its hypotheses.

Recognition requires an analyst to declare the group action, moment map and level, verify regularity and action hypotheses, specify coefficients, write the restriction and identification maps, and separate definition of the homomorphism from any surjectivity, kernel, or presentation theorem. Once established, it supports transporting characteristic and equivariant classes to symplectic quotients, computing quotient cohomology, describing kernels, and connecting Hamiltonian reduction with Morse and localization methods without turning those uses into the definition.

Structural Signature¶

Carrier: a Hamiltonian action of a compact Lie group on a symplectic manifold, a moment map, a suitably regular level set, and the associated symplectic quotient
Inputs or antecedent state: group action, moment map, chosen level, regularity and compactness hypotheses, equivariant coefficient ring, restriction to the level set, quotient identification, and cohomological grading
Constitutive operation: An equivariant class on the ambient Hamiltonian space restricts to the invariant level set, and when the group action there has the required regularity its equivariant cohomology represents the cohomology of the reduced space; Morse-theoretic analysis of the moment-map norm supplies the classical surjectivity theorem
Invariant: the map has the ambient equivariant cohomology as source, the reduced-space cohomology as target, and is induced by level-set restriction plus the justified quotient identification
Recognition test: declare the group action, moment map and level, verify regularity and action hypotheses, specify coefficients, write the restriction and identification maps, and separate definition of the homomorphism from any surjectivity, kernel, or presentation theorem
Output or consequence: transporting characteristic and equivariant classes to symplectic quotients, computing quotient cohomology, describing kernels, and connecting Hamiltonian reduction with Morse and localization methods
Failure boundary: the target is not a justified reduced space, the level is singular without a revised framework, equivariant and ordinary cohomology are conflated, coefficients are suppressed where they matter, or Kirwan surjectivity is quoted outside its hypotheses

What It Is Not¶

It is not the whole field of symplectic geometry; many objects in that field do not satisfy its constitutive rule.
It is not its canonical example. For a compact Hamiltonian \(G\)-manifold with \(0\) a regular value and a free action on \(\mu^{-1}(0)\), restriction followed by \(H_G^*(\mu^{-1}(0))\cong H^*(M/\!/G)\) gives the Kirwan map to the smooth quotient. That is an instance, not a definition.
It is not Symplectic Reduction. Symplectic reduction constructs the quotient space from a moment-map level set. The Kirwan map is the induced cohomological map from the unreduced equivariant theory to the quotient's ordinary cohomology.
It is not an unrestricted metaphor. If the group action on the regular level set is only locally free, the quotient can be an orbifold and coefficient choices affect the clean identification; singular values require intersection-cohomology or other modified constructions rather than automatic reuse

Scope of Application¶

Kirwan map applies when the analyst can specify a Hamiltonian action of a compact Lie group on a symplectic manifold, a moment map, a suitably regular level set, and the associated symplectic quotient and establish that the map has the ambient equivariant cohomology as source, the reduced-space cohomology as target, and is induced by level-set restriction plus the justified quotient identification. The entry centers the classical cohomological construction; singular, noncompact, K-theoretic, stacky, and derived variants require separately stated hypotheses and targets.^[2]

Recognition. declare the group action, moment map and level, verify regularity and action hypotheses, specify coefficients, write the restriction and identification maps, and separate definition of the homomorphism from any surjectivity, kernel, or presentation theorem
Comparison. Compare legitimate instances through compactness, group, coefficient ring, moment-map level, regularity, free versus locally free action, source grading, target singularity, surjectivity, kernel, and localization data.
Boundary. If the group action on the regular level set is only locally free, the quotient can be an orbifold and coefficient choices affect the clean identification; singular values require intersection-cohomology or other modified constructions rather than automatic reuse
Use. Preserve every assumption when using the identity for transporting characteristic and equivariant classes to symplectic quotients, computing quotient cohomology, describing kernels, and connecting Hamiltonian reduction with Morse and localization methods.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because Kirwan map can be used for related K-theory or generalized-cohomology maps, and prose often merges the map's definition with Kirwan's surjectivity theorem. The disciplined statement is that the object counts as Kirwan map exactly when the map has the ambient equivariant cohomology as source, the reduced-space cohomology as target, and is induced by level-set restriction plus the justified quotient identification

Identity and measurement remain separate. The map and its properties are established algebraically and topologically from the action and level-set hypotheses; a dimension count or computational presentation alone does not prove the required identification. Approximation or noisy evidence may weaken a classification without changing its definition.

Manages Complexity¶

The abstraction compresses abelian and nonabelian actions, smooth and orbifold quotients, different regular levels, generalized cohomology theories, K-theoretic analogues, and singular-reduction extensions into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares compactness, group, coefficient ring, moment-map level, regularity, free versus locally free action, source grading, target singularity, surjectivity, kernel, and localization data and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning¶

Type the carrier. Establish a Hamiltonian action of a compact Lie group on a symplectic manifold, a moment map, a suitably regular level set, and the associated symplectic quotient and reject examples from a different problem.
Lock the rule. Express that the map has the ambient equivariant cohomology as source, the reduced-space cohomology as target, and is induced by level-set restriction plus the justified quotient identification independently of one notation or implementation.
Derive carefully. Infer transporting characteristic and equivariant classes to symplectic quotients, computing quotient cohomology, describing kernels, and connecting Hamiltonian reduction with Morse and localization methods only under the stated assumptions.
Stress-test. Contrast the legitimate boundary case—If the group action on the regular level set is only locally free, the quotient can be an orbifold and coefficient choices affect the clean identification; singular values require intersection-cohomology or other modified constructions rather than automatic reuse—with this counterexample: the moment map itself is a geometric map from the manifold to the dual Lie algebra, not the Kirwan map between cohomology rings.

Knowledge Transfer¶

Transfer within symplectic geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from For a compact Hamiltonian \(G\)-manifold with \(0\) a regular value and a free action on \(\mu^{-1}(0)\), restriction followed by \(H_G^*(\mu^{-1}(0))\cong H^*(M/\!/G)\) gives the Kirwan map to the smooth quotient. to In a torus reduction, one can use fixed-point and moment-polytope data to identify classes that vanish after reduction and thereby present the quotient's cohomology ring. demonstrates that continuity.^[3]

Outside the domain, only the skeleton—restrict invariant information from an ambient structured space to a constraint locus and then descend it through a quotient—travels automatically. The terms Hamiltonian action, moment map, equivariant cohomology, regular value, level set, symplectic quotient, restriction, surjectivity, kernel, and localization retain domain-specific meanings, so every role and inference must be revalidated.

Examples¶

Canonical¶

For a compact Hamiltonian \(G\)-manifold with \(0\) a regular value and a free action on \(\mu^{-1}(0)\), restriction followed by \(H_G^*(\mu^{-1}(0))\cong H^*(M/\!/G)\) gives the Kirwan map to the smooth quotient. The map is defined before one asks whether it is onto; compactness and the Morse theory of the squared moment map are among the hypotheses behind the classical surjectivity result. It is canonical because the carrier, rule, invariant, and consequence are all inspectable.^[1]

Mapped back: a Hamiltonian action of a compact Lie group on a symplectic manifold, a moment map, a suitably regular level set, and the associated symplectic quotient → An equivariant class on the ambient Hamiltonian space restricts to the invariant level set, and when the group action there has the required regularity its equivariant cohomology represents the cohomology of the reduced space; Morse-theoretic analysis of the moment-map norm supplies the classical surjectivity theorem → the map has the ambient equivariant cohomology as source, the reduced-space cohomology as target, and is induced by level-set restriction plus the justified quotient identification → transporting characteristic and equivariant classes to symplectic quotients, computing quotient cohomology, describing kernels, and connecting Hamiltonian reduction with Morse and localization methods

Applied / In Practice¶

In a torus reduction, one can use fixed-point and moment-polytope data to identify classes that vanish after reduction and thereby present the quotient's cohomology ring. Localization data assist the computation, but the destination remains the chosen reduced space and the kernel statement must retain regular-value, coefficient, and compactness assumptions. It qualifies only after the same diagnostic and failure boundary are checked.^[2]

Mapped back: declared instance → recognition test → boundary check → qualified use

Structural Tensions¶

T1: Exact identity vs. practical recognition. The constitutive condition may be exact while evidence is indirect. Diagnostic: Can the reviewer state both the condition and the warrant?
T2: Canonical form vs. variants. abelian and nonabelian actions, smooth and orbifold quotients, different regular levels, generalized cohomology theories, K-theoretic analogues, and singular-reduction extensions can preserve or change the identity. Diagnostic: Which named role is invariant across the variants?
T3: Compression vs. hidden assumptions. The label is useful only while prerequisites remain visible. Diagnostic: Can each downstream inference be traced to a declared assumption?
T4: Autonomy vs. reduction. The candidate uses broader structures but claims the canonical ambient-to-reduced cohomology homomorphism attached to Hamiltonian reduction, not an arbitrary restriction map, moment map, quotient projection, or blanket claim that every reduction has the same cohomology. Diagnostic: Does that residual still support independent recognition after the parent and neighbors are subtracted?

Structural–Framed Character¶

The entry is structurally mixed but domain-framed. Its portable skeleton is restrict invariant information from an ambient structured space to a constraint locus and then descend it through a quotient; its identity-bearing terms are Hamiltonian action, moment map, equivariant cohomology, regular value, level set, symplectic quotient, restriction, surjectivity, kernel, and localization. Those terms determine admissible objects, evidence, and consequences inside symplectic geometry.

Structural Core vs. Domain Accent¶

The structural core is a carrier governed by An equivariant class on the ambient Hamiltonian space restricts to the invariant level set, and when the group action there has the required regularity its equivariant cohomology represents the cohomology of the reduced space; Morse-theoretic analysis of the moment-map norm supplies the classical surjectivity theorem and tested by declare the group action, moment map and level, verify regularity and action hypotheses, specify coefficients, write the restriction and identification maps, and separate definition of the homomorphism from any surjectivity, kernel, or presentation theorem. The domain accent is constitutive rather than decorative, so an analogy that preserves only the skeleton is not another instance of Kirwan map.

The proposed strict upward parent is prime:function_mapping. The Kirwan map literally assigns each ambient equivariant cohomology class a class on the reduced space through a specified composite homomorphism; Hamiltonian reduction and its hypotheses supply the specialization. The edge is proposal-only and points to a frozen prior-baseline Prime.

The entry does not collapse into the parent because the canonical ambient-to-reduced cohomology homomorphism attached to Hamiltonian reduction, not an arbitrary restriction map, moment map, quotient projection, or blanket claim that every reduction has the same cohomology A thematic neighbor is declined whenever it does not literally subsume that rule.

The prospective workspace queue contains one strict upward edge to prime:function_mapping. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Kirwan map Domain-specific

Parents (1) — more general patterns this builds on

Kirwan map is a kind of Function (Mapping) Prime

The proposed strict upward parent is prime:function_mapping.

Hierarchy path (1) — routes to 1 parentless root

Kirwan map → Function (Mapping)

Neighborhood in Abstraction Space¶

Kirwan map sits in a moderately populated region (50^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Differential Topology & Geometric Structure (11 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Moment map. Encodes infinitesimal Hamiltonians and selects the reduction level; it is not a cohomology homomorphism.
Restriction in ordinary cohomology. Lacks the equivariant source and quotient identification constitutive here.
Quotient map. Maps points of a level set to orbits, whereas the Kirwan map maps cohomology classes.
Kirwan surjectivity. A theorem about the map under hypotheses, not part of the bare definition in every generalized setting.

References¶

[1] Frances Kirwan, Cohomology of Quotients in Symplectic and Algebraic Geometry, Princeton University Press, 1984, ISBN 978-0-691-21456-6. registry ↩a ↩b

[2] M. F. Atiyah and R. Bott, 'The Moment Map and Equivariant Cohomology,' Topology 23(1), 1–28 (1984), DOI 10.1016/0040-9383(84)90021-1. registry ↩a ↩b

[3] Lisa C. Jeffrey and Frances C. Kirwan, 'Localization for Nonabelian Group Actions,' Topology 34(2), 291–327 (1995), DOI 10.1016/0040-9383(94)00028-J. registry ↩