Equivariant cohomology¶

Cohomology of a group's homotopy quotient, recording topology together with an action on a space.

Version: v1 · 2026-09-28 · History
Domain-specific #: 9298
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Equivariant Topology, Algebraic Topology → Mathematics
Aliases: Borel equivariant cohomology, Borel cohomology

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.

Structural Signature¶

Sig role-phrases:

Acting group G — A specified topological or discrete group acts on the space. It is constitutive. Counterfactual: A resemblance between shapes without an action is not equivariant input.
G-space X — The topological space carries the stated action. It is constitutive. Counterfactual: The construction needs both the space and its action, even when X is a point.
Free contractible EG — A universal free G-space replaces the action by a homotopically controlled free one. It is constitutive. Counterfactual: Using arbitrary E need not give the invariant.
Homotopy quotient — EG×_G X takes the diagonal quotient and retains isotropy information. It is constitutive. Counterfactual: The plain orbit space can disagree when stabilizers are present.
Cohomology invariant — Ordinary cohomology of the homotopy quotient yields graded groups or a ring over stated coefficients. It is constitutive. Counterfactual: A graph or orbit set alone is not the cohomology invariant.
Computational structure — Free actions, classifying spaces or fixed-point graphs simplify specified cases. It is central. Counterfactual: A GKM graph formula requires restrictive hypotheses.

What It Is Not¶

Not ordinary H*(X) alone. The action contributes information.
Not always H*(X/G). Orbit-space reduction needs a free action or further justification.
Not every equivariant theory. This entry uses Borel's construction.
Not the GKM method itself. GKM is a conditional computational tool.
Closest near-miss. When G acts freely, H_G^(X) can agree with H(X/G); the agreement is a special case, not a definition that licenses replacing the homotopy quotient in every action.

Scope of Application¶

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¶

Borel equivariant cohomology takes ordinary cohomology after replacing X with the homotopy quotient EG×_G X. The point with S¹ action gives CP∞ and a polynomial cohomology ring, showing why the group matters. Fukukawa's G2 flag-manifold computation is a more specialized applied calculation.

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¶

Specify G, X, action and coefficient ring.
Choose a free contractible EG model.
Form the diagonal homotopy quotient EG×_G X.
Compute ordinary cohomology of that quotient.
Use a free-action or localization shortcut only after checking assumptions.
Interpret the resulting graded groups or ring in relation to the original action.

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.

Examples¶

Canonical¶

Take X to be one point with its trivial S¹ action. The Borel construction ES¹×_{S¹}pt reduces to BS¹=CP∞, so its integer cohomology is Z[u], deg(u)=2. Ordinary H*(pt)=Z would miss that group-action/classifying-space information. This is a defining source-backed worked construction, not a claim that every G-space has a polynomial ring.

Mapped back: Acting group G → circle group S¹; G-space X → one-point space with trivial action; Free contractible EG → ES¹ modeled by S∞; Homotopy quotient → BS¹=CP∞; Cohomology invariant → H*(CP∞;Z)=Z[u], deg u=2; Computational structure → known classifying-space cohomology.

Applied / In Practice¶

Fukukawa's published research computes the T-equivariant cohomology ring for a type-G2 flag manifold by translating its torus action into a labeled GKM graph and proving a ring presentation. This is a real mathematical application of equivariant cohomology, with GKM hypotheses and graph combinatorics particular to that variety; it is not a laboratory measurement or a formula for every action.

Mapped back: Acting group G → maximal torus T; G-space X → type-G2 flag manifold with T action; Free contractible EG → universal ET implicit in H_T^*(X); Homotopy quotient → ET×_T X whose cohomology is studied; Cohomology invariant → computed T-equivariant ring presentation; Computational structure → fixed points and labeled GKM graph.

Structural Tensions¶

T1 — Plain Orbit Simplicity versus Isotropy Retention. X/G is simpler to inspect but can lose stabilizer information that EG×_G X retains.

Diagnostic: Is the action free enough to justify an orbit-space shortcut?

T2 — General Definition versus Computable Special Case. The Borel construction is broad while GKM graph methods require special torus-action hypotheses.

Diagnostic: Which structural hypotheses actually hold?

T3 — Coefficient Choice versus Comparison Of Answers. Changing coefficient rings can alter torsion and ring structure.

Diagnostic: Which coefficients are used in this computation?

Structural–Framed Character¶

A provisional portable skeleton is preserving action information while computing an invariant. Borel equivariant cohomology assigns ordinary cohomology to EG×_G X for a specified G-space; it is not every generalized equivariant theory. A cohomology ring is a possible output, not an exact parent for the construction.

Evaluative weight: Low formally; utility depends on the mathematical problem. Human-practice-bound: Low: group action, coefficients, and topology are specified, but results follow mathematical rules. Institutional origin: Algebraic topology supplies terminology and conventions, not the validity of a computation. Vocabulary travels: The homotopy-quotient method applies to appropriate spaces; generic talk of symmetry does not. Import versus recognize: A calculation is recognizable when the action, EG, quotient, and cohomology are defined; calling an orbit-space count “equivariant cohomology” imports missing structure.

Its character: A formal topology construction with a portable action-preservation motif and precise homotopy data.

Structural Core vs. Domain Accent¶

Skeletal core. Preserve structured action information while computing an invariant. Domain-bound accent. EG, classifying spaces, homotopy quotients and graded cohomology provide the topological construction. Transfer boundary. A quotient or graph alone does not instantiate Borel equivariant cohomology without a specified G-action and cohomology computation.

This entry is a kind of Theory.

Neighbor: cohomology ring. The output may be a graded ring; the theory is the action-sensitive construction producing it. A GKM graph is a conditional calculation method, not the Borel invariant itself.

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

Show alternative path (1)

Neighborhood in Abstraction Space¶

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

Family — Algebraic Varieties & Topological Invariants (27 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Ordinary cohomology. Tell: Does not record the acting group by itself.
Orbit-space cohomology. Tell: Agrees for free actions but not generally for nonfree ones.
Genuine equivariant cohomology. Tell: A broader family not exhausted by Borel's model.
GKM graph. Tell: A computational representation under specific hypotheses, not the defining invariant.

References¶

Victor Guillemin and Shlomo Sternberg, Lecture Notes on Equivariant Cohomology — Borel construction, free-action and classifying-space examples, and conditional GKM graph method.
Ana Cannas da Silva, “A Brief Introduction to Equivariant Cohomology” — explicit homotopy-quotient definition and circle-group classifying-space construction.
Allen Hatcher, Algebraic Topology — integer cohomology of CP∞ used in the one-point circle-action calculation.
Yukiko Fukukawa, “The graph cohomology ring of the GKM graph of a flag manifold of type G₂” — published type-G₂ torus-equivariant ring computation by labeled GKM graph.

The graph method is a specialized computation, not an alternative general definition of the Borel invariant.