1 Introduction |
|
1 | (4) |
2 Basic Concepts |
|
5 | (16) |
|
|
5 | (3) |
|
2.2 First Notions from Homotopy Theory |
|
|
8 | (5) |
|
|
13 | (6) |
|
2.4 Categories and Functors |
|
|
19 | (2) |
3 CW Homology Theorem |
|
21 | (6) |
|
|
21 | (1) |
|
|
22 | (2) |
|
|
24 | (3) |
4 The Whitehead Theorem and the Hurewicz Theorem |
|
27 | (14) |
|
4.1 Definitions and Elementary Properties of Homotopy Groups |
|
|
27 | (2) |
|
4.2 The Whitehead Theorem |
|
|
29 | (2) |
|
4.3 Completion of the Computation of πn(Sn) |
|
|
31 | (2) |
|
|
33 | (1) |
|
4.5 Corollaries of the Hurewicz Theorem |
|
|
34 | (4) |
|
4.6 Homotopy Theory of a Fibration |
|
|
38 | (1) |
|
4.7 Applications of the Exact Homotopy Sequence |
|
|
39 | (2) |
5 Spectral Sequence of a Fibration |
|
41 | (12) |
|
|
41 | (1) |
|
5.2 Fibrations- over a Cell |
|
|
42 | (1) |
|
5.3 Generalities on Spectral Sequences |
|
|
43 | (2) |
|
5.4 The Leray-Serre Spectral Sequence of a Fibration |
|
|
45 | (3) |
|
|
48 | (5) |
6 Obstruction Theory |
|
53 | (10) |
|
|
53 | (1) |
|
6.2 Definition and Properties of the Obstruction Cocycle |
|
|
54 | (3) |
|
|
57 | (1) |
|
6.4 Obstruction to the Existence of a Section of a Fibration |
|
|
58 | (1) |
|
|
58 | (5) |
7 Eilenberg-MacLane Spaces, Cohomology, and Principal Fibrations |
|
63 | (6) |
|
7.1 Relation of Cohomology and Eilenberg-MacLane Spaces |
|
|
63 | (1) |
|
7.2 Principal K(π, n)-Fibrations |
|
|
64 | (5) |
8 Postnikov Towers and Rational Homotopy Theory |
|
69 | (14) |
|
8.1 Rational Homotopy Theory for Simply Connected Spaces |
|
|
73 | (6) |
|
8.2 Construction of the Localization of a Space |
|
|
79 | (4) |
9 deRham's Theorem for Simplicial Complexes |
|
83 | (12) |
|
9.1 Piecewise Linear Forms |
|
|
83 | (2) |
|
9.2 Lemmas About Piecewise Linear Forms |
|
|
85 | (3) |
|
9.3 Naturality Under Subdivision |
|
|
88 | (1) |
|
9.4 Multiplicativity of the deRham Isomorphism |
|
|
89 | (1) |
|
9.5 Connection with the Cinfinity deRham Theorem |
|
|
90 | (2) |
|
9.6 Generalizations of the Construction |
|
|
92 | (3) |
10 Differential Graded Algebras |
|
95 | (8) |
|
|
95 | (2) |
|
|
97 | (2) |
|
|
99 | (1) |
|
10.4 Construction of the Minimal Model |
|
|
100 | (3) |
11 Homotopy Theory of DGAs |
|
103 | (10) |
|
|
103 | (1) |
|
|
104 | (3) |
|
11.3 Applications of Obstruction Theory |
|
|
107 | (2) |
|
11.4 Uniqueness of the Minimal Model |
|
|
109 | (4) |
12 DGAs and Rational Homotopy Theory |
|
113 | (6) |
|
12.1 Transgression in the Serre Spectral Sequence and the Duality |
|
|
113 | (1) |
|
12.2 Hirsch Extensions and Principal Fibrations |
|
|
114 | (1) |
|
12.3 Minimal Models and Postnikov Towers |
|
|
115 | (2) |
|
12.4 The Minimal Model of the deRham Complex |
|
|
117 | (2) |
13 The Fundamental Group |
|
119 | (8) |
|
|
119 | (1) |
|
|
120 | (3) |
|
|
123 | (2) |
|
|
125 | (2) |
14 Examples and Computations |
|
127 | (14) |
|
14.1 Spheres and Projective Spaces |
|
|
127 | (1) |
|
|
128 | (1) |
|
|
129 | (2) |
|
14.4 Symmetric Spaces and Formality |
|
|
131 | (1) |
|
14.5 The Third Homotopy Group of a Simply Connected Space |
|
|
132 | (2) |
|
14.6 Homotopy Theory of Certain 4-Dimensional Complexes |
|
|
134 | (1) |
|
14.7 Q-Homotopy Type of BUn and Un |
|
|
135 | (2) |
|
|
137 | (1) |
|
|
138 | (3) |
15 Functorality |
|
141 | (10) |
|
15.1 The Functorial Correspondence |
|
|
141 | (3) |
|
15.2 Bijectivity of Homotopy Classes of Maps |
|
|
144 | (4) |
|
15.3 Equivalence of Categories |
|
|
148 | (3) |
16 The Hirsch Lemma |
|
151 | (14) |
|
16.1 The Cubical Complex and Cubical Forms |
|
|
151 | (3) |
|
16.2 Hirsch Extensions and Spectral Sequences |
|
|
154 | (2) |
|
16.3 Polynomial Forms for a Serre Fibration |
|
|
156 | (3) |
|
16.4 Serre Spectral Sequence for Polynomial Forms |
|
|
159 | (4) |
|
16.5 Proof of Theorem 12.1 |
|
|
163 | (2) |
17 Quillen's Work on Rational Homotopy Theory |
|
165 | (12) |
|
17.1 Differential Graded Lie Algebras |
|
|
165 | (1) |
|
17.2 Differential Graded Co-algebras |
|
|
166 | (1) |
|
17.3 The Bar Construction |
|
|
167 | (2) |
|
17.4 Relationship Between Quillen's Construction and Sullivan's |
|
|
169 | (1) |
|
17.5 Quillen's Construction |
|
|
169 | (8) |
18 Ainfinity-Structures and Cinfinity-Structures |
|
177 | (10) |
|
18.1 Operads, Rooted Trees, and Stasheff's Associahedron |
|
|
177 | (4) |
|
18.2 Ainfinity-Algebras and Ainfinity-Categories |
|
|
181 | (2) |
|
18.3 Cinfinity-Algebras and DGAs |
|
|
183 | (4) |
19 Exercises |
|
187 | (36) |
References |
|
223 | |