Duality is a recurring phenomenon in algebraic topology. We start in Section 11.1 with its categorical formulation in a symmetric monoidal \(\infty \)-category. We then compare dualizability and compactness in Section 11.2, showing in particular that the dualizable modules over a commutative ring spectrum are precisely the perfect modules. In Section 11.3, we specialize to spectra: SpanierâWhitehead duality relates the cohomology of a dualizable spectrum to the homology of its dual, while Atiyah duality identifies the dual of the suspension spectrum of a closed smooth manifold \(M\) with the Thom spectrum \(\th (-T_M)\) of its negative virtual tangent bundle. The latter result was first proved by Atiyah (1961), with a precursor in [Milnor and Spanier (1960)]. Combining it with the Thom isomorphism, we recover generalized PoincarĂ© duality in Section 11.4.
We refer to Becker and Gottlieb (1999) for a historical overview of duality phenomena in algebraic topology.
Sections
Symmetric monoidal duality
Duality in symmetric monoidal â-categories.
Dualizability and compactness
Compact, perfect, and dualizable modules.
SpanierâWhitehead and Atiyah duality
Spanier--Whitehead duality and Atiyah duality.
Poincaré duality
Poincaré duality as a consequence of Atiyah duality.
Generated from the authoritative LaTeX source.