Spanier–Whitehead duality

In mathematics, Spanier–Whitehead duality is a duality theory in homotopy theory, based on a geometrical idea that a topological space X may be considered as dual to its complement in the n-sphere, where n is large enough. Its origins lie in the Alexander duality theory, in homology theory, concerning complements in manifolds. The theory is also referred to as S-duality, but this can now cause possible confusion with the S-duality of string theory. It is named for Edwin Spanier and J. H. C. Whitehead, who developed it in papers from 1955.

The basic point is that sphere complements determine the homology, but not the homotopy type, in general. What is determined, however, is the stable homotopy type, which was conceived as a first approximation to homotopy type. Thus Spanier–Whitehead duality fits into stable homotopy theory.

Statement

Let X be a compact neighborhood retract in $\Bbb R^n$ . Then X⁺ and $\Sigma ^{-n}\Sigma '({\mathbb {R}}^{n}\setminus X)$ are dual objects in the category of pointed spectra with the smash product as a monoidal structure. Here X⁺ is the union of X and a point, $\Sigma$ and $\Sigma '$ are reduced and unreduced suspensions respectively.

Taking homology and cohomology with respect to an Eilenberg-MacLane spectrum recovers Alexander duality formally.

References

Spanier, E. H.; Whitehead, J. H. C. (1953), "A first approximation to homotopy theory", Proc. Natl. Acad. Sci. U.S.A., 39: 655–660, MR 0056290

Spanier, E. H.; Whitehead, J. H. C. (1955), "Duality in homotopy theory.", Mathematika, 2: 56–80, doi:10.1112/s002557930000070x, MR 0074823

Tammo von Dieck (2008), "Algebraic topology", European Mathematical Society Publishing House, ISBN 978-3-03719-048-7

This article is issued from Wikipedia - version of the 6/15/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.