Formal spaces with finite-dimensional rational homotopy
HTML articles powered by AMS MathViewer
- by Yves Félix and Stephen Halperin PDF
- Trans. Amer. Math. Soc. 270 (1982), 575-588 Request permission
Abstract:
Let $S$ be a simply connected space. There is a certain principal fibration ${K_1} \to E \stackrel {\pi }{\to } K_0$ in which ${K_1}$ and ${K_0}$ are products of rational Eilenberg-Mac Lane spaces and a continuous map $\phi :S \to E$ such that in particular ${\phi _0} = \pi \circ \phi$ maps the primitive rational homology of $S$ isomorphically to that of ${K_0}$. A main result of this paper is the Theorem. If $\dim \pi _{\ast }(S) \otimes {\mathbf {Q}} < \infty$ then $\phi$ is a rational homotopy equivalence if and only if all the primitive homology in $H_{\ast }(S;\,{\mathbf {Q}})$ and $H_{\ast }({K_0},\,S;\,{\mathbf {Q}})$ can (up to integral multiples) be represented by spheres and disk-sphere pairs. Corollary. If $S$ is formal, $\phi$ is a rational homotopy equivalence.References
- A. K. Bousfield and V. K. A. M. Gugenheim, On $\textrm {PL}$ de Rham theory and rational homotopy type, Mem. Amer. Math. Soc. 8 (1976), no. 179, ix+94. MR 425956, DOI 10.1090/memo/0179 Y. Felix, Thèse, Université de Louvain la Neuve, Belgique. W. Greub et al., Connections, curvature, and cohomology. Vol. III, Academic Press, New York, 1975.
- Stephen Halperin, Finiteness in the minimal models of Sullivan, Trans. Amer. Math. Soc. 230 (1977), 173–199. MR 461508, DOI 10.1090/S0002-9947-1977-0461508-8 —, Lectures on minimal models, Publ. Internes de l’U.E.R. de Math. de Université de Lille I, 1977.
- Stephen Halperin, Rational fibrations, minimal models, and fibrings of homogeneous spaces, Trans. Amer. Math. Soc. 244 (1978), 199–224. MR 515558, DOI 10.1090/S0002-9947-1978-0515558-4
- Stephen Halperin and James Stasheff, Obstructions to homotopy equivalences, Adv. in Math. 32 (1979), no. 3, 233–279. MR 539532, DOI 10.1016/0001-8708(79)90043-4
- J. L. Koszul, Sur un type d’algèbres différentielles en rapport avec la transgression, Colloque de topologie (espaces fibrés), Bruxelles, 1950, Georges Thone, Liège; Masson & Cie, Paris, 1951, pp. 73–81 (French). MR 0042428
- Larry Smith, Homological algebra and the Eilenberg-Moore spectral sequence, Trans. Amer. Math. Soc. 129 (1967), 58–93. MR 216504, DOI 10.1090/S0002-9947-1967-0216504-6
- Dennis Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 269–331 (1978). MR 646078, DOI 10.1007/BF02684341
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249, DOI 10.1007/978-3-662-29244-0
Additional Information
- © Copyright 1982 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 270 (1982), 575-588
- MSC: Primary 55P62; Secondary 18G99
- DOI: https://doi.org/10.1090/S0002-9947-1982-0645331-9
- MathSciNet review: 645331