Sullivan minimal model

2020 Mathematics Subject Classification: Primary: 57D99 Secondary: 55D9958A10 [MSN][ZBL]

The theory of minimal models began with the work of D. Quillen [Qu]. A simply-connected topological space (cf. also Simply-connected domain) is called rational if its homotopy groups are rational vector spaces (cf. also Homotopy group; Vector space). The rationalization functor associates to each simply-connected space a mapping , such that is rational and is an isomorphism. The interest of this construction is that the homotopy category of rational spaces has an algebraic nature. More precisely, in [Qu], D. Quillen established an equivalence of homotopy categories between the homotopy category of simply-connected rational spaces and the homotopy category of connected differential graded Lie algebras (cf. also Lie algebra, graded).

In [Su], D. Sullivan associated to each space a commutative differential graded algebra (CDGA), , which is linked to the cochain algebra by a chain of differential graded algebra quasi-isomorphisms (i.e. morphisms inducing isomorphisms in cohomology). This, in particular, gave a solution to Thom's problem of constructing commutative cochains over the rationals. The -functor together with its adjoint, the realization functor of a commutative differential graded algebra, induce an equivalence of homotopy categories between the homotopy category of simply-connected rational spaces with finite Betti numbers and the homotopy category of rational commutative differential graded algebras, , such that , , and for each .

The correspondence

behaves well with respect to fibrations and cofibrations (cf. also Fibration). Rational homotopy invariants of a space are most easily obtained by means of constructions in the category of commutative differential graded algebras. This procedure has been made very powerful with the Sullivan minimal models.

Let be a commutative differential graded algebra such that , , and for each . There exists then a quasi-isomorphism of commutative differential graded algebras , where denotes the free commutative algebra on the graded vector space of finite type , and . The cochain algebra is called the Sullivan minimal model of ; it is unique up to isomorphism.

The Sullivan minimal model of is called the Sullivan minimal model of . It satisfies and . More generally, for each continuous mapping , there is a commutative diagram

where and are quasi-isomorphisms, , , and where and are the canonical injection and projection. In this case, the Grivel–Halperin–Thomas theorem asserts that is a Sullivan minimal model for the homotopy fibre of [Ha2].

A key result in the theory is the so-called mapping theorem [FéHa]. Recall that the Lyusternik–Shnirel'man category of is the least integer such that can be covered by open sets each contractible in (cf. also Category (in the sense of Lyusternik–Shnirel'man)). If is a mapping between simply-connected spaces and if is injective, then . The Lyusternik–Shnirel'man category of can be computed directly from its Sullivan minimal model . Indeed, consider the following commutative diagram:

where and denote the canonical projection and injection and is a quasi-isomorphism. The category of is then the least integer such that admits a retraction [FéHa].

To obtain properties of simply-connected spaces with finite category, it is therefore sufficient to consider Sullivan minimal models with finite category. Using this procedure, Y. Félix, S. Halperin and J.-C. Thomas have obtained the following dichotomy theorem: Either is finite-dimensional (the space is called elliptic), or else the sequence has exponential growth (the space is thus called hyperbolic) [FéHaTh].

When is elliptic, the dimension of is finite, the Euler characteristic is non-negative and the rational cohomology algebra satisfies Poincaré duality [Ha].

The minimal model of contains all the rational homotopy invariants of . For instance, the cochain algebra is a model for the th Postnikov tower of (cf. also Postnikov system), and the mapping induced by is the dual of the st -invariant

The quadratic part of the differential is dual to the Whitehead product in . More precisely, , , , .

References

[FéHa]	Y. Félix, S. Halperin, "Rational LS category and its applications" Trans. Amer. Math. Soc., 273 (1982) pp. 1–37 MR0664027
[FéHaTh]	Y. Félix, S. Halperin, J.C. Thomas, "Rational homotopy theory" (in preparation) MR1802847 Zbl 0961.55002 Zbl 0691.55001
[Ha]	S. Halperin, "Finiteness in the minimal models of Sullivan" Trans. Amer. Math. Soc., 230 (1977) pp. 173–199 MR0461508 Zbl 0364.55014
[Ha2]	S. Halperin, "Lectures on minimal models" Mémoire de la SMF, 9/10 (1983) MR0736299 MR0637558 Zbl 0536.55003 Zbl 0505.55014
[Qu]	D. Quillen, "Rational homotopy theory" Ann. of Math., 90 (1969) pp. 205–295 MR0258031 Zbl 0191.53702
[Su]	D. Sullivan, "Infinitesimal computations in topology" Publ. IHES, 47 (1977) pp. 269–331 MR0646078 Zbl 0374.57002