|
|
1 | (48) |
|
1.1 The Kervaire Invariant Theorem and the Ingredients of Its Proof |
|
|
1 | (5) |
|
1.2 Background and History |
|
|
6 | (11) |
|
1.3 The Foundational Material in This Book |
|
|
17 | (7) |
|
1.4 Highlights of Later Chapters |
|
|
24 | (24) |
|
|
48 | (1) |
|
PART ONE THE CATEGORICAL TOOL BOX |
|
|
49 | (360) |
|
|
51 | (139) |
|
2.1 Basic Definitions and Notational Conventions |
|
|
53 | (19) |
|
2.2 Natural Transformations, Adjoint Functors and Monads |
|
|
72 | (19) |
|
2.3 Limits and Colimits as Adjoint Functors |
|
|
91 | (28) |
|
|
119 | (10) |
|
|
129 | (5) |
|
2.6 Monoidal and Symmetric Monoidal Categories |
|
|
134 | (22) |
|
2.7 2-Categories and Beyond |
|
|
156 | (5) |
|
2.8 Grothendieck Fibrations and Opfibrations |
|
|
161 | (3) |
|
2.9 Indexed Monoidal Products |
|
|
164 | (26) |
|
3 Enriched Category Theory |
|
|
190 | (54) |
|
|
191 | (18) |
|
3.2 Limits, Colimits, Ends and Coends in Enriched Categories |
|
|
209 | (12) |
|
|
221 | (7) |
|
3.4 Simplicial Sets and Simplicial Spaces |
|
|
228 | (6) |
|
3.5 The Homotopy Extension Property, h-Cofibrations and Nondegenerate Base Points |
|
|
234 | (10) |
|
4 Quillen's Theory of Model Categories |
|
|
244 | (50) |
|
|
246 | (10) |
|
4.2 Three Classical Examples of Model Categories |
|
|
256 | (7) |
|
4.3 Homotopy in a Model Category |
|
|
263 | (6) |
|
4.4 Nonhomotopical and Derived Functors |
|
|
269 | (3) |
|
4.5 Quillen Functors and Quillen Equivalences |
|
|
272 | (6) |
|
4.6 The Suspension and Loop Functors |
|
|
278 | (6) |
|
4.7 Fiber and Conner Sequences |
|
|
284 | (4) |
|
4.8 The Small Object Argument |
|
|
288 | (6) |
|
5 Model Category Theory since Quillen |
|
|
294 | (97) |
|
5.1 Homotopical Categories |
|
|
299 | (9) |
|
5.2 Cofibrantly and Compactly Generated Model Categories |
|
|
308 | (12) |
|
5.3 Proper Model Categories |
|
|
320 | (1) |
|
5.4 The Category of Functors from a Small Category to a Cofibrantly Generated Model Category |
|
|
321 | (14) |
|
5.5 Monoidal Model Categories |
|
|
335 | (15) |
|
5.6 Enriched Model Categories |
|
|
350 | (16) |
|
5.7 Stable and Exactly Stable Model Categories |
|
|
366 | (5) |
|
5.8 Homotopy Limits and Colimits |
|
|
371 | (20) |
|
|
391 | (18) |
|
6.1 It's All about Fibrant Replacement |
|
|
393 | (2) |
|
6.2 Bousfield Localization in More General Model Categories |
|
|
395 | (8) |
|
6.3 When is Left Bousfield Localization Possible? |
|
|
403 | (6) |
|
PART TWO SETTING UP EQUIVARIANT STABLE HOMOTOPY THEORY |
|
|
409 | (302) |
|
7 Spectra and Stable Homotopy Theory |
|
|
411 | (84) |
|
7.1 Hovey's Generalization of Spectra |
|
|
422 | (10) |
|
7.2 The Functorial Approach to Spectra |
|
|
432 | (21) |
|
7.3 Stabilization and Model Structures for Hovey Spectra |
|
|
453 | (21) |
|
7.4 Stabilization and Model Structures for Smashable Spectra |
|
|
474 | (21) |
|
8 Equivariant Homotopy Theory |
|
|
495 | (71) |
|
8.1 Finite G-Sets and the Burnside Ring of a Finite Group |
|
|
504 | (6) |
|
|
510 | (9) |
|
8.3 Some Formal Properties of G-Spaces |
|
|
519 | (9) |
|
|
528 | (3) |
|
8.5 The Homology of a G-CW Complex |
|
|
531 | (7) |
|
|
538 | (9) |
|
8.7 Some Universal Spaces |
|
|
547 | (2) |
|
|
549 | (2) |
|
8.9 Orthogonal Representations of G and Related Structures |
|
|
551 | (15) |
|
|
566 | (97) |
|
9.1 Categorical Properties of Orthogonal G-Spectra |
|
|
568 | (16) |
|
9.2 Model Structures for Orthogonal G-Spectra |
|
|
584 | (6) |
|
9.3 Naive and Genuine G-Spectra |
|
|
590 | (9) |
|
9.4 Homotopical Properties of G-Spectra |
|
|
599 | (9) |
|
9.5 A Homotopical Approximation to the Category of G-Spectra |
|
|
608 | (7) |
|
9.6 Homotopical Properties of Indexed Wedges and Indexed Smash Products |
|
|
615 | (2) |
|
|
617 | (5) |
|
9.8 Change of Group and Smash Product |
|
|
622 | (2) |
|
9.9 The /?0(G)-Graded Homotopy of HZ |
|
|
624 | (15) |
|
|
639 | (4) |
|
9.11 Geometric Fixed Points |
|
|
643 | (20) |
|
10 Multiplicative Properties of G-Spectra |
|
|
663 | (48) |
|
10.1 Equivariant 7-Diagrams |
|
|
665 | (1) |
|
10.2 Indexed Smash Products and Cofibrations |
|
|
666 | (4) |
|
10.3 The Arrow Category and Indexed Corner Maps |
|
|
670 | (1) |
|
10.4 Indexed Smash Products and Trivial Cofibrations |
|
|
671 | (3) |
|
10.5 Indexed Symmetric Powers |
|
|
674 | (10) |
|
10.6 Iterated Indexed Symmetric Powers |
|
|
684 | (3) |
|
10.7 Commutative Algebras in the Category of G-Spectra |
|
|
687 | (3) |
|
10.8 fl-Modules in the Category of Spectra |
|
|
690 | (4) |
|
10.9 Indexed Smash Products of Commutative Rings |
|
|
694 | (9) |
|
10.10 Twisted Monoid Rings |
|
|
703 | (8) |
|
PART THREE PROVING THE KERVAIRE INVARIANT THEOREM |
|
|
711 | (131) |
|
11 The Slice Filtration and Slice Spectral Sequence |
|
|
713 | (37) |
|
11.1 The Filtration behind the Spectral Sequence |
|
|
714 | (17) |
|
11.2 The Slice Spectral Sequence |
|
|
731 | (8) |
|
|
739 | (5) |
|
11.4 The Slice Tower, Symmetric Powers and the Norm |
|
|
744 | (6) |
|
12 The Construction and Properties of M Ur |
|
|
750 | (43) |
|
12.1 Real and Complex Spectra |
|
|
752 | (9) |
|
12.2 The Real Bordism Spectrum |
|
|
761 | (11) |
|
12.3 Algebra Generators for πuMU((G)) |
|
|
772 | (5) |
|
12.4 The Slice Structure of MU((G)) |
|
|
777 | (16) |
|
13 The Proofs of the Gap, Periodicity and Detection Theorems |
|
|
793 | (1) |
|
13.1 A Warm-Up: the Slice Spectral Sequence for MUr |
|
|
794 | (5) |
|
|
799 | (2) |
|
13.3 The Periodicity Theorem |
|
|
801 | (16) |
|
13.4 The Detection Theorem |
|
|
817 | (13) |
|
|
830 | (12) |
Table of Notations |
|
842 | (14) |
Index |
|
856 | |