Rational Homotopy TheorySpringer Science & Business Media, 2001 - 535 Seiten as well as by the list of open problems in the final section of this monograph. The computational power of rational homotopy theory is due to the discovery by Quillen [135] and by Sullivan [144] of an explicit algebraic formulation. In each case the rational homotopy type of a topological space is the same as the isomorphism class of its algebraic model and the rational homotopy type of a continuous map is the same as the algebraic homotopy class of the correspond ing morphism between models. These models make the rational homology and homotopy of a space transparent. They also (in principle, always, and in prac tice, sometimes) enable the calculation of other homotopy invariants such as the cup product in cohomology, the Whitehead product in homotopy and rational Lusternik-Schnirelmann category. In its initial phase research in rational homotopy theory focused on the identi of these models. These included fication of rational homotopy invariants in terms the homotopy Lie algebra (the translation of the Whitehead product to the homo topy groups of the loop space OX under the isomorphism 11'+1 (X) ~ 1I.(OX», LS category and cone length. Since then, however, work has concentrated on the properties of these in variants, and has uncovered some truly remarkable, and previously unsuspected phenomena. For example • If X is an n-dimensional simply connected finite CW complex, then either its rational homotopy groups vanish in degrees 2': 2n, or else they grow exponentially. |
Inhalt
Topological spaces | 1 |
Fibrations and topological monoids | 23 |
Graded differential algebra | 40 |
Singular chains homology and EilenbergMacLane spaces | 51 |
The cochain algebra CXk | 65 |
R d modules and semifree resolutions | 68 |
Semifree cochain models of a fibration | 77 |
Semifree chain models of a Gfibration | 88 |
Graded differential Lie algebras and Hopf algebras | 283 |
The Quillen functors C and | 299 |
The commutative cochain algebra CLdi | 313 |
Lie models for topological spaces and CW complexes | 322 |
Chain Lie algebras and topological groups | 337 |
The dg Hopf algebra CflX | 343 |
LusternikSchnirelmann category | 351 |
Rational LS category and rational conelength | 370 |
Plocal and rational spaces | 102 |
Commutative cochain algebras for spaces and simplicial sets | 115 |
Smooth Differential Forms | 131 |
Sullivan models | 138 |
Adjunction spaces homotopy groups and Whitehead products | 165 |
Relative Sullivan algebras | 181 |
Fibrations homotopy groups and Lie group actions | 195 |
The loop space homology algebra | 223 |
Spatial realization | 237 |
Spectral sequences | 260 |
The bar and cobar constructions | 268 |
LS category of Sullivan algebras | 381 |
Rational LS category of products and fibrations | 406 |
The homotopy Lie algebra and the holonomy representation | 415 |
Growth of Rational Homotopy Groups | 452 |
The HochschildSerre spectral sequence | 464 |
Grade and depth for fibres and loop spaces | 474 |
Lie algebras of finite depth | 492 |
Cell Attachments | 501 |
Poincare Duality | 511 |
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
action apply asserts AV,d basis bundle called cellular Choose cocycle cohomology commutative commutative cochain algebra consider construction continuous map contractible CW complex defined definition denote determines diagram dual elements exact Example extends fact fibration fibre Finally finite dimensional finite type follows given gives graded algebra groups hand Hence homology homomorphism homotopy type ideal identifies identity immediate inclusion induction isomorphism Lemma Lie model lifting linear map minimal Sullivan model module Moreover morphism natural Note observe obtain pair particular path projection proof Proposition Prove quasi-isomorphism quotient rational homotopy Recall relative Sullivan algebra Remark representative resolution restricts satisfying semifree simplicial set simply connected smooth spectral sequence Step Sullivan algebra Suppose surjective tensor Theorem theory topological space unique write zero