Rational homotopy theory
In mathematics, rational homotopy theory is the study of the rational homotopy type of a space, which means roughly that one ignores all torsion in the homotopy groups. It was started by Dennis Sullivan (1977) and Daniel Quillen (1969).
Rational homotopy types of simply connected spaces can be identified with (isomorphism classes of) certain algebraic objects called minimal Sullivan algebras, which are commutative differential graded algebras over the rational numbers satisfying certain conditions.
The standard textbook on rational homotopy theory is (Félix, Halperin & Thomas 2015).
A rational space is a simply connected space all of whose homotopy groups are vector spaces over the rational numbers. If X is any simply connected CW complex, then there is a rational space Y, unique up to homotopy equivalence, and a map from X to Y inducing an isomorphism on homotopy groups tensored with the rational numbers. The space Y is called the rationalization of X, and is the localization of X at the rationals, and is the rational homotopy type of X. Informally, it is obtained from X by killing all torsion in the homotopy groups of X.
A Sullivan algebra is a commutative differential graded algebra over the rationals Q, whose underlying algebra is the free commutative graded algebra Λ(V) on a graded vector space
satisfying the following "nilpotence condition on d ": V is the union of an increasing series of graded subspaces V(0)⊆V(1)⊆ where d = 0 on V(0) and d(V(k)) is contained in Λ(V(k − 1)). Here "commutative" means commutative in the graded sense, sometimes called supercommutative. Thus ab = (−1)deg(a)deg(b)ba.)
The Sullivan algebra is called minimal if the image of d is contained in Λ+(V)2, where Λ+(V) is the direct sum of the positive degree subspaces of Λ(V).
A Sullivan model for a commutative differential graded algebra A is an algebra homomorphism from a Sullivan algebra Λ(V) that is an isomorphism on cohomology. If A0 = Q then A has a minimal Sullivan model which is unique up to isomorphism. (Warning: a minimal Sullivan algebra with the same cohomology as A need not be a minimal Sullivan model for A: it is also necessary that the isomorphism of cohomology be induced by an algebra homomorphism. There are examples of non-isomorphic minimal Sullivan models with the same cohomology algebra.)
The Sullivan minimal model of a topological space
For any topological space X Sullivan defined a commutative differential graded algebra APL(X), called the algebra of polynomial differential forms on X with rational coefficients. An element of this algebra consists of (roughly) a polynomial form on each singular simplex of X, compatible with face and degeneracy maps. This algebra is usually very large (uncountable dimension) but can be replaced by a much smaller algebra. More precisely, any differential graded algebra with the same Sullivan minimal model as APL(X) is called a model for the space X, and determines the rational homotopy type of X when X is simply connected.
To any simply connected CW complex X with all rational homology groups of finite dimension one can assign a minimal Sullivan algebra ΛV of APL(X), which has the property that V1 = 0 and all the Vk of finite dimension. This is called the Sullivan minimal model of X, and is unique up to isomorphism. This gives an equivalence between rational homotopy types of such spaces and such algebras, such that:
- The rational cohomology of the space is the cohomology of its Sullivan minimal model.
- The spaces of indecomposables in V are the duals of the rational homotopy groups of the space X.
- The Whitehead product on rational homotopy is the dual of the "quadratic part" of the differential d.
- Two spaces have the same rational homotopy type if and only if their minimal Sullivan algebras are isomorphic.
- There is a simply connected space X corresponding to each possible Sullivan algebra with V1 = 0 and all the Vk of finite dimension.
When X is a smooth manifold, the differential algebra of smooth differential forms on X (the de Rham complex) is almost a model for X; more precisely it is the tensor product of a model for X with the reals and therefore determines the real homotopy type. One can go further and define the p-adic homotopy type and the adelic homotopy type and compare them to the rational homotopy type.
The results above for simply connected spaces can easily be extended to nilpotent spaces (whose fundamental group is nilpotent and acts nilpotently on the higher homotopy groups). For more general fundamental groups things get more complicated; for example, the homotopy groups need not be finitely generated even if there are only a finite number of cells of the CW complex in each dimension.
A commutative differential graded algebra A, again with A0 = Q, is called formal if A has a model with vanishing differential. This is equivalent to requiring that the cohomology algebra of A (viewed as a differential algebra with trivial differential) is a model for A (though it does not have to be the minimal model). This means that the rational homotopy of a formal space is particularly easy to work out.
Examples of formal spaces include spheres, H-spaces, symmetric spaces, and compact Kähler manifolds (Deligne et al. 1989). Formality is preserved under wedge sums and direct products; it is also preserved under connected sums for manifolds.
On the other hand, nilmanifolds are almost never formal: if Mn is a compact formal nilmanifold, then Mn=Tn, the n-dimensional torus (Hasegawa 1975). The simplest example of a non-formal compact nilmanifold is the Heisenberg manifold, the quotient of the Heisenberg group of 3×3 upper triangular matrices with 1's on the diagonal by its subgroup of matrices with integral coefficients. Symplectic manifolds need not be formal: the simplest example is the Kodaira-Thurston manifold (the product of the Heisenberg manifold with a circle). Examples of non-formal, simply connected symplectic manifolds were given in Babenko & Taimanov (2000).
Non-formality may often be detected by Massey products. Indeed, if a differential graded algebra A is formal, then all (higher order) Massey products must vanish. The converse is not true: formality means, roughly speaking, the "uniform" vanishing of all Massey products. The complement of the Borromean rings is a non-formal space: it supports a non-trivial triple Massey product.
Halperin & Stasheff (1979) gave an algorithm for deciding whether or not a commutative differential graded algebra is formal.
- If X is a sphere of odd dimension 2n + 1 > 1, its minimal Sullivan model has 1 generator a of degree 2n + 1 with da = 0, and a basis of elements 1, a.
- If X is a sphere of even dimension 2n > 0, its minimal Sullivan model has 2 generators a and b of degrees 2n and 4n − 1, with db = a2, da = 0, and a basis of elements 1, a, b→ a2, ab→a3, a2b→a4, ... where the arrow indicated the action of d.
- If X is the complex projective space of (complex) dimension n > 0, its minimal Sullivan model has 2 generators u and x of degrees 2 and 2n+1, with du = 0 and dx = un+1. It has a basis of elements 1, u,u2, ... un, x→ un+1, xu→ un+2, ... where the arrow indicated the action of d.
- Suppose that V has 4 elements a, b, x, y of degrees 2, 3, 3 and 4 with differentials da = 0, db = 0, dx = a2, dy = ab. Then this algebra is a minimal Sullivan algebra that is not formal. The cohomology algebra has nontrivial components only in dimension 2,3,6, generated respectively by a, b and xb-ay. Any homomorphism from V to its cohomology algebra would map y to 0, x to a multiple of b, so it would surely map xb-ay to 0. So V cannot be a model for its cohomology algebra. The corresponding topological spaces are two spaces with the same rational cohomology ring but different rational homotopy types. Notice that xb-ay is in the Massey product .
- Rational Homotopy Theory: A Brief Introduction by Kathryn Hess
- Babenko, Ivan K.; Taimanov, Iskander A. (2000), "On nonformal simply connected symplectic manifolds", Siberian Mathematical Journal, 41 (2): 204–217, doi:10.1007/BF02674589, MR 1762178
- Deligne, Pierre; Griffiths, Phillip A.; Morgan, John W.; Sullivan, Dennis (1975), "Real homotopy theory of Kähler manifolds", Inventiones Mathematicae, 29 (3): 245–274, doi:10.1007/BF01389853, MR 0382702
- Félix, Yves; Halperin, Stephen; Thomas, Jean-Claude (2015), Rational homotopy theory II, Singapore: World-Scientific, p. 448, ISBN 978-981-4651-42-4
- Griffiths, Phillip A.; Morgan, John W. (1981), Rational homotopy theory and differential forms, Progress in Mathematics, 16, Boston, Mass.: Birkhäuser, pp. xi+242 pp., ISBN 3-7643-3041-4, MR 0641551
- Halperin, Stephen; Stasheff, James (1979), "Obstructions to homotopy equivalences", Advances in Mathematics, 32 (3): 233–279, doi:10.1016/0001-8708(79)90043-4, MR 0539532
- Hasegawa, Keizo (1989), "Minimal models of nilmanifolds", Proceedings of the American Mathematical Society, Proceedings of the American Mathematical Society, Vol. 106, No. 1, 106 (1): 65–71, doi:10.2307/2047375, JSTOR 2047375, MR 946638
- Hess, Kathryn (1999), "A history of rational homotopy theory", in James, I. M., History of topology, Amsterdam: North-Holland, pp. 757–796, ISBN 0-444-82375-1, MR 1721122
- Quillen, D. (1969), "Rational homotopy theory", Annals of Mathematics, The Annals of Mathematics, Vol. 90, No. 2, 90 (2): 205–295, doi:10.2307/1970725, JSTOR 1970725, MR 0258031
- Sullivan, Dennis (1977), "Infinitesimal computations in topology", Publications Mathématiques de l'IHÉS, 47: 269–331, doi:10.1007/bf02684341, MR 0646078
- Sullivan, Dennis (2001), "Rational homotopy theory", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4