Duality and Pro-Spectra
arXiv:math/0403451 · doi:10.2140/agt.2004.4.781
Abstract
Cofiltered diagrams of spectra, also called pro-spectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of pro-spectra and to study its relation to the usual homotopy theory of spectra, as a foundation for future applications. The surprising result we find is that our homotopy theory of pro-spectra is Quillen equivalent to the opposite of the homotopy theory of spectra. This provides a convenient duality theory for all spectra, extending the classical notion of Spanier-Whitehead duality which works well only for finite spectra. Roughly speaking, the new duality functor takes a spectrum to the cofiltered diagram of the Spanier-Whitehead duals of its finite subcomplexes. In the other direction, the duality functor takes a cofiltered diagram of spectra to the filtered colimit of the Spanier-Whitehead duals of the spectra in the diagram. We prove the equivalence of homotopy theories by showing that both are equivalent to the category of ind-spectra (filtered diagrams of spectra). To construct our new homotopy theories, we prove a general existence theorem for colocalization model structures generalizing known results for cofibrantly generated model categories.
Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-34.abs.html
References in corpus (1)
Cited by in corpus (17)
- Calculus of functors and model categories II
- Locally class-presentable and class-accessible categories
- Right Bousfield Localization and Operadic Algebras
- Generalized cohomology of pro-spectra
- On the formality of the little disks operad in positive characteristic
- Duality and small functors
- Right Bousfield Localization and Eilenberg-Moore Categories
- The derived deformation theory of a point
- On the Dreaded Right Bousfield Localization
- Comparing localizations across adjunctions
- Continuous group actions on profinite spaces
- Capturing Goodwillie's Derivative
- A construction of some objects in many base cases of an Ausoni-Rognes conjecture
- Combinatorial models for Taylor polynomials of functors
- Profinite Etale Cobordism
- String topology prospectra and Hochschild cohomology
- A duality between string topology and the fusion product in equivariant K-theory