Equivariant cohomology¶
Cohomology of a group's homotopy quotient, recording topology together with an action on a space.
Core Idea¶
Borel equivariant cohomology measures a space together with a group action. For a G-space X, choose a contractible free G-space EG, form the diagonal quotient EG×_G X, and compute its ordinary cohomology. This homotopy quotient retains information about stabilizers that a plain orbit set can discard. For a free action, it recovers ordinary cohomology of X/G under the usual hypotheses; for a point with S¹ action it instead yields cohomology of BS¹=CP∞, not merely cohomology of a point.
The construction can support concrete research calculations. Fukukawa computes the torus-equivariant cohomology ring of a type-G2 flag manifold using its labeled GKM graph. That combinatorial method relies on hypotheses about the action and fixed-point structure; the Borel definition does not imply every example admits a simple graph presentation. This node names the Borel theory, while other generalized equivariant cohomologies require separate identity checks.
Scope of Application¶
This entry concerns Borel equivariant cohomology specifically, not every equivariant generalized theory.
- Algebraic topology. Study spaces with group actions.
- Geometry. Compute invariants of torus actions on varieties.
- Fixed-point theory. Use localization under its hypotheses.
- Schubert calculus. Analyze equivariant classes of flag manifolds.
Clarity¶
The Borel theory combines a group action on X with a free contractible EG, then computes H(EG×_G X). For X a point and G=S¹ this becomes H(CP∞), not ordinary H*(point). A published G2 flag-manifold calculation uses a GKM graph under special hypotheses.
Manages Complexity¶
One must fix group, action, topology and coefficients. Free actions permit an orbit-space comparison, but stabilizers can defeat that shortcut. Localization and GKM graphs are powerful only when their hypotheses are met. Equivariant cohomology also names broader theories in other literature, so the Borel qualifier protects this node's identity.
Abstract Reasoning¶
Fix group, action and coefficients; form the homotopy quotient; compute its cohomology. Use orbit-space or fixed-point shortcuts only after checking their assumptions.
Knowledge Transfer¶
The homotopy-quotient method applies across topology and geometry with suitable group actions. A mere symmetry analogy without an action or a graph calculation without the Borel invariant is not this construction.
Relationships to Other Abstractions¶
Current abstraction Equivariant cohomology Domain-specific
Parents (1) — more general patterns this builds on
-
Equivariant cohomology is a kind of Theory Prime
Equivariant cohomology is a domain-specific kind of theory under its frozen identity and differentia.
Hierarchy paths (2) — routes to 2 parentless roots
- Equivariant cohomology → Theory → Formalization → Representation → Abstraction
- Equivariant cohomology → Theory → Formalization → Transformation → Function (Mapping)
Neighborhood in Abstraction Space¶
Equivariant cohomology sits in a moderately populated region (48th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Varieties & Topological Invariants (27 abstractions)
Nearest neighbors
- Pseudomonad (category theory) — 0.86
- Topological Dynamical System — 0.86
- Complement (group theory) — 0.86
- Semidirect Product — 0.86
- Urysohn's lemma — 0.86
Computed from structural-signature embeddings · 2026-10-08