Skip to content

Alexander Duality

Convert reduced homology of the complement of a qualifying compact subspace of a sphere into reduced cohomology of the subspace with the exact degree reversal q ↦ n−q−1.

Version
v2 · 2026-09-06 · History
Domain-specific #
1257
Origin domain
mathematics
Subdomain
algebraic topology
Aliases
Alexander duality theorem

Core Idea

Alexander Duality is the algebraic-topological theorem that reads the holes in the complement of a compact subset of a sphere from the cohomology of the subset itself, with a precise reversal of degree. In the Hatcher-controlled base theorem, let X be a nonempty proper compact locally contractible subspace of S^n and use integer coefficients. Then, for every q >= 0,

\[ \widetilde H_q(S^n\setminus X;\mathbb Z) \cong \widetilde H^{\,n-q-1}(X;\mathbb Z). \]

Both sides are reduced. The complement is taken in the declared ambient sphere. The index is exactly n-q-1, not n-q, q-1, or an informal “reversal.” Compactness, properness, local contractibility, the ambient dimension, and integer coefficients are part of the base claim rather than background decoration. Arbitrary-coefficient extensions must be stated separately and retain the same coefficient group on both sides.

Scope of Application

The literal scope is algebraic and geometric topology.

  • Separation theorems. Codimension-one spheres and more general compacta can force complement components detected by reduced H_0.
  • Knot and link complements. The cohomology of a link controls the additive homology ranks of its complement in S^3.
  • Embedded complexes and polyhedra. Finite complexes satisfy the regularity hypotheses and make the theorem calculationally direct.
  • Wild compacta. Čech cohomology extends the correspondence when singular cohomology is not locally faithful enough.
  • Combinatorial topology. The Alexander dual K* of a simplicial complex K converts nonfaces to complementary faces and satisfies a related reduced homology/cohomology reversal.
  • Manifold and sheaf generalizations. Relative, local-cohomology, Verdier-duality, and Spanier–Whitehead formulations preserve parts of the mechanism under additional orientation, support, or categorical machinery.

Clarity

Alexander Duality clarifies which object owns which invariant. The complement carries homology in degree q; the removed compactum carries cohomology in degree n-q-1. Swapping the sides, forgetting the tilde, or copying the ambient dimension from another problem produces plausible-looking but wrong answers.

The theorem also clarifies component counts. If a space has c path components, then under ordinary coefficient assumptions \widetilde H_0 has rank c-1, not c.

Manages Complexity

Complements are often geometrically complicated: removing a small embedded set can create tunnels, separated regions, and nontrivial linking. Alexander Duality bypasses a direct decomposition of the complement by reducing additive homology to the usually simpler cohomology of the removed set. A union of m circles has elementary cohomology even when those circles are intricately linked, so the complement's additive homology ranks follow immediately.

Abstract Reasoning

Let the nonzero reduced cohomology groups of X occur in degrees j∈J. Alexander Duality maps each j to complement degree

\[ q=n-j-1. \]

The map reverses order: higher-dimensional cohomology on X appears in lower-dimensional homology of the complement. Applying the transformation twice returns the original degree: j=n-q-1. This algebraic involution is only an index check; the geometric duality map still depends on the theorem's construction and hypotheses.

Knowledge Transfer

Within topology, the role package transfers literally across polyhedra, links, embedded manifolds, compacta handled by Čech cohomology, and combinatorial dual complexes. The recurring move is to exchange a difficult object for a complement-related partner, reverse degrees relative to an ambient dimension, and use a dual theory whose computation is easier.

Beyond topology, only the skeleton transfers: a hard “outside” can sometimes be inferred from a simpler “inside,” and the transformation carries an index or codimension correction.

Relationships to Other Abstractions

Local relationship map for Alexander DualityParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Alexander DualityDOMAINPrime abstraction: Complement — is part ofComplementPRIMEPrime abstraction: Topology — presupposesTopologyPRIMEPrime abstraction: Duality — is a kind ofDualityPRIME

Current abstraction Alexander Duality Domain-specific

Parents (3) — more general patterns this builds on

  • Alexander Duality is a kind of Duality Prime

    Duality is the strict genus: one calculational description is exchanged for a complementary one through an isomorphism.

  • Alexander Duality is part of Complement Prime

    Duality is the strict genus: one calculational description is exchanged for a complementary one through an isomorphism.

  • Alexander Duality presupposes Topology Prime

    Topology is a strict prerequisite: subspaces, embeddings, compactness, local contractibility, and homology/cohomology are all interpreted in a topological setting.

Hierarchy paths (3) — routes to 3 parentless roots

Neighborhood in Abstraction Space

Alexander Duality sits in a sparse region of the domain-specific corpus (73rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

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