This book develops rigorous foundations for parametrized homotopy theory, which is the algebraic topology of spaces and spectra that are continuously parametrized by the points of a base space. It also begins the systematic study of parametrized homology and cohomology theories. The parametrized world provides the natural home for many classical notions and results, such as orientation theory, the Thom isomorphism, Atiyah and Poincare duality, transfer maps, the Adams and Wirthmuller isomorphisms, and the Serre and Eilenberg-Moore spectral sequences. But in addition to providing a clearer conceptual outlook on these classical notions, it also provides powerful methods to study new phenomena, such as twisted $K$-theory, and to make new constructions, such as iterated Thom spectra. Duality theory in the parametrized setting is particularly illuminating and comes in two flavors. One allows the construction and analysis of transfer maps, and a quite different one relates parametrized homology to parametrized cohomology. The latter is based formally on a new theory of duality in symmetric bicategories that is of considerable independent interest. The text brings together many recent developments in homotopy theory. It provides a highly structured theory of parametrized spectra, and it extends parametrized homotopy theory to the equivariant setting. The theory of topological model categories is given a more thorough treatment than is available in the literature. This is used, together with an interesting blend of classical methods, to resolve basic foundational problems that have no nonparametrized counterparts.
Prologue Point-set topology, change functors, and proper actions: Introduction to Part I The point-set topology of parametrized spaces Change functors and compatibility relations Proper actions, equivariant bundles and fibrations Model categories and parametrized spaces: Introduction to Part II Topologically bicomplete model categories Well-grounded topological model categories The $qf$-model structure on $\mathcal{K}_B$ Equivariant $qf$-type model structures Ex-fibrations and ex-quasifibrations The equivalence between Ho$G\mathcal{K}_B$ and $hG\mathcal{W}_B$ Parametrized equivariant stable homotopy theory: Introduction to Part III Enriched categories and $G$-categories The category of orthogonal $G$-spectra over $B$ Model structures for parametrized $G$-spectra Adjunctions and compatibility relations Module categories, change of universe, and change of groups Parametrized duality theory: Introduction to Part IV Fiberwise duality and transfer maps Closed symmetric bicategories The closed symmetric bicategory of parametrized spectra Costenoble-Waner duality Fiberwise Costenoble-Waner duality Homology and cohomology, Thom spectra, and addenda: Introduction to Part V Parametrized homology and cohomology theories Equivariant parametrized homology and cohomology Twisted theories and spectral sequences Parametrized FSP's and generalized Thom spectra Epilogue: Cellular philosophy and alternative approaches Bibliography Index Index of notation.
