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
v3 · 2026-09-19 · History
Domain-specific #
1257
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Algebraic Topology → Mathematics
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.

How would you explain it like I'm…

The Leftover-Space Rule

Draw a closed loop, like a rubber band, on the skin of a ball. The loop cuts the ball's skin into two separate parts, an inside and an outside. Alexander duality is a big math rule that lets you figure out things about the space left over, like how many pieces it breaks into, just by studying the shape you drew.

Reading the Outside From the Inside

Mathematicians who study shapes (topologists) care about things like how many separate pieces a shape has and what kinds of holes it has. Alexander Duality is a rule about a shape sitting inside a sphere, a ball's surface or its higher-dimensional versions. It says you can figure out the pieces and holes of everything outside the shape by looking only at the shape itself. For example, a loop drawn on a ball's surface splits the rest of the surface into two pieces, and the rule predicts that from the loop alone. The trick is that holes of one kind in the shape match holes of a different, shifted kind in the leftover space.

Complement–Subspace Hole Duality

Alexander duality is a theorem in algebraic topology that lets you compute features of the complement of a shape X inside a sphere S^n from the shape itself. It uses homology and cohomology, algebraic tools that count holes of different dimensions. The theorem says that the reduced homology of the complement in degree q equals the reduced cohomology of X in degree n − q − 1, so the degree flips and shifts by one. The extra −1 comes from the fact that a feature of X is surrounded in the complement by a linking sphere one dimension lower. For example, a circle drawn on the 2-sphere has one top-degree feature, so its complement has one extra connected component: it splits the sphere into two pieces. The theorem needs hypotheses, including that X is compact, nonempty, not the whole sphere, and nice enough (locally contractible); for wilder sets you have to switch to a different cohomology theory called Čech cohomology.

 

Alexander Duality computes the homology of the complement of a compact subset of a sphere from the cohomology of the subset, with an exact degree shift. In the base form, for X a nonempty, proper, compact, locally contractible subspace of Sⁿ and integer coefficients, H̃_q(Sⁿ \ X; ℤ) ≅ H̃^{n−q−1}(X; ℤ) for all q ≥ 0, with both sides reduced. The shift is exactly n − q − 1, not n − q; the extra −1 reflects the codimension-one linking sphere that can surround a feature of X. Reduced theories make degree-zero separation statements correct: an embedded (n−1)-sphere has one reduced top cohomology generator, so the complement has one reduced H₀ generator, i.e. two components. Local contractibility lets singular cohomology capture the needed local behavior; for arbitrary compact X one replaces the right side by reduced Čech cohomology, which is a change of theory, not a dropping of hypotheses. Versions with a general abelian coefficient group G are separately qualified and keep the same G on both sides. The payoff is converting hard complement calculations into subspace calculations and bounding what additive invariants can distinguish.

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 — includesComplementPRIMEPrime abstraction: Topology — presupposesTopologyPRIMEPrime abstraction: Duality — is a kind ofDualityPRIME

Current abstraction Alexander Duality Domain-specific

Parents (3) — outgoing typed relations

  • 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 includes 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

  • Alexander Duality → is a kind of Duality

Neighborhood in Abstraction Space

Alexander Duality sits in a moderately populated region (56th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Manifold Topology & Classification (12 abstractions)

Nearest neighbors

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