Alexander duality

Alexander duality
Name	Alexander duality
Field	Algebraic topology
Introduced	1920
Introduced by	J. W. Alexander
Related concepts	Cohomology, Homology, Poincaré duality, Alexander polynomial

Alexander duality

Alexander duality is a theorem in algebraic topology that relates the homology of a subspace of a sphere to the cohomology of its complement. Originating in the work of J. W. Alexander in 1920, the theorem provides a bridge between embedding problems studied by Henri Poincaré and later developments in Lefschetz fixed-point theorem contexts. It plays a central role in the interactions among topology, knot theory, and combinatorial geometry.

Statement and historical context

Alexander published his result while working on problems connected to the Jordan curve theorem and the study of complements of polyhedral subsets of the sphere S^n. The original formulation applied to compact polyhedra in S^n studied by Alexander and contemporaries in Cambridge University circles. Subsequent refinements connected Alexander's ideas to the cohomology theories formalized by Élie Cartan, Hermann Weyl, and later the axiomatic approaches developed by Samuel Eilenberg and Norman Steenrod. The duality complements earlier themes from Poincaré duality in manifolds and prefigures notions exploited in the development of the Alexander polynomial for knots by combining ideas from James Waddell Alexander II with later work by John Milnor and Ralph Fox.

Algebraic topology formulation

In modern language, for a compact subspace K of the n-sphere S^n, Alexander duality asserts an isomorphism between reduced homology and reduced cohomology: for each integer i, \tilde H_i(S^n \setminus K) \cong \tilde H^{n-i-1}(K). This statement is often proved using Mayer–Vietoris sequences associated to pairs considered by Henri Cartan-style spectral sequence techniques or via excision arguments familiar from Hurewicz theorem-based expositions. In singular homology and Čech cohomology formulations one obtains variants that are useful for compact, locally contractible, or locally closed subsets studied in works influenced by Leray and Alexander Grothendieck. The theorem is naturally compatible with cap product operations exploited in the context of Poincaré duality for closed manifolds and with long exact sequences in homology and cohomology arising from inclusions considered by Emmy Noether-inspired algebraic topologists.

Alexander duality in simplicial complexes and combinatorics

For a simplicial complex K embedded in the boundary of an (n+1)-simplex or in S^n, combinatorial versions of Alexander duality relate reduced simplicial homology of K to reduced cohomology of its combinatorial complement K^* (the Alexander dual complex). This combinatorial duality was developed further in the context of Stanley–Reisner theory by Richard Stanley and appears in connections with face enumeration and the Cohen–Macaulay property studied by Melvin Hochster and Gunnar Reisner. Results in combinatorial commutative algebra interpret Alexander duality via squarefree monomial ideals in polynomial rings as explored by David Eisenbud, Maurice Auslander, and Mark Hochster collaborators, and via homological invariants such as Betti numbers used by David Bayer and Irena Peeva.

Applications and examples

Alexander duality yields quick computations of homology for complements of knots and links in S^3, central to early developments in knot theory pursued by Tait and formalized by J. Alexander leading to the Alexander polynomial. It informs classification problems for embeddings studied by Whitney and obstruction theories developed by Serre and Steenrod. In combinatorics, Alexander duality provides tools for analyzing independence complexes of graphs investigated by László Lovász and homotopy types of matching complexes considered by Paul Erdős-influenced combinatorialists. In applied topology, Alexander-type computations appear in persistent homology algorithms used in topological data analysis frameworks pioneered by Herbert Edelsbrunner and Robert Ghrist.

Generalizations and related dualities

Generalizations include Alexander duality for non-spherical ambient spaces, duality theorems for locally compact pairs due to Leray-type arguments, and dualities in cohomology with compact supports linked to work of Hermann Weyl and Alexander Grothendieck. Alexander duality is closely related to Poincaré duality for oriented closed manifolds, to Lefschetz duality for manifolds with boundary, and to Verdier duality in the derived-category context developed by Jean-Louis Verdier and expanded in the sheaf-theoretic program of Alexandre Grothendieck. Connections to dualities in combinatorial commutative algebra reflect bridges to the theory of monomial ideals and local cohomology as studied by Miroslav Hochster and collaborators.

Proofs and techniques

Standard proofs employ excision, Mayer–Vietoris sequences, and Alexander–Spanier or Čech cohomology, with historical proofs constructed from simplicial approximation and polyhedral trickery used by Alexander and contemporaries in Princeton University and Cambridge University seminars. Modern proofs streamline these methods using sheaf-theoretic language and derived functors following the paradigms set by Jean-Pierre Serre and Alexander Grothendieck. Alternate proofs exploit spectral sequences and duality pairings via cap products, relating to constructions formalized in works by Hatcher and in textbooks influenced by Bott and Tu.

Category:Algebraic topology