Intrinsic formality and certain types of algebras
HTML articles powered by AMS MathViewer
- by Gregory Lupton PDF
- Trans. Amer. Math. Soc. 319 (1990), 257-283 Request permission
Abstract:
In this paper, a type of algebra is introduced and studied from a rational homotopy point of view, using differential graded Lie algebras. The main aim of the paper is to establish whether or not such an algebra is the rational cohomology algebra of a unique rational homotopy type of spaces. That is, in the language of rational homotopy, whether or not such an algebra is intrinsically formal. Examples are given which show that, in general, this is not so—7.8 and 7.9. However, whilst it is true that not all such algebras are intrinsically formal, some of them are. The main results of this paper show a certain class of these algebras to be intrinsically formal—Theorem $2$ (6.1); and a second, different type of algebra also to be intrinsically formal—Theorem $1$ (5.2), which type of algebra overlaps with the first type in many examples of interest. Examples are given in $\S 7$.References
- I. K. Babenko, Real homotopy properties of complete intersections, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 5, 1004–1024, 1197 (Russian). MR 552549
- H. J. Baues and J.-M. Lemaire, Minimal models in homotopy theory, Math. Ann. 225 (1977), no. 3, 219–242. MR 431172, DOI 10.1007/BF01425239
- Armand Borel, Seminar on transformation groups, Annals of Mathematics Studies, No. 46, Princeton University Press, Princeton, N.J., 1960. With contributions by G. Bredon, E. E. Floyd, D. Montgomery, R. Palais. MR 0116341
- Raoul Bott and Loring W. Tu, Differential forms in algebraic topology, Graduate Texts in Mathematics, vol. 82, Springer-Verlag, New York-Berlin, 1982. MR 658304 A. K. Bousfield and V. K. A. M. Guggenheim, On PL de Rham theory and rational homotopy theory, Mem. Amer. Math. Soc. No. 179 (1976).
- Pierre Deligne, Phillip Griffiths, John Morgan, and Dennis Sullivan, Real homotopy theory of Kähler manifolds, Invent. Math. 29 (1975), no. 3, 245–274. MR 382702, DOI 10.1007/BF01389853
- Yves Félix and Stephen Halperin, Formal spaces with finite-dimensional rational homotopy, Trans. Amer. Math. Soc. 270 (1982), no. 2, 575–588. MR 645331, DOI 10.1090/S0002-9947-1982-0645331-9
- Yves Félix, Stephen Halperin, and Jean-Claude Thomas, The homotopy Lie algebra for finite complexes, Inst. Hautes Études Sci. Publ. Math. 56 (1982), 179–202 (1983). MR 686046
- John Friedlander and Stephen Halperin, Distinct representatives, varieties and rational homotopy, J. Number Theory 11 (1979), no. 3, S. Chowla Anniversary Issue, 321–323. MR 544260, DOI 10.1016/0022-314X(79)90005-2
- Phillip A. Griffiths and John W. Morgan, Rational homotopy theory and differential forms, Progress in Mathematics, vol. 16, Birkhäuser, Boston, Mass., 1981. MR 641551
- S. Halperin, Lectures on minimal models, Mém. Soc. Math. France (N.S.) 9-10 (1983), 261. MR 736299
- 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
- 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
- F. Hirzebruch, Topological methods in algebraic geometry, Third enlarged edition, Die Grundlehren der mathematischen Wissenschaften, Band 131, Springer-Verlag New York, Inc., New York, 1966. New appendix and translation from the second German edition by R. L. E. Schwarzenberger, with an additional section by A. Borel. MR 0202713
- Tadeusz Józefiak, A homological characterization of graded complete intersections. I, J. Pure Appl. Algebra 8 (1976), no. 2, 143–148. MR 406999, DOI 10.1016/0022-4049(76)90012-8
- Jean-Michel Lemaire and François Sigrist, Sur les invariants d’homotopie rationnelle liés à la L. S. catégorie, Comment. Math. Helv. 56 (1981), no. 1, 103–122 (French). MR 615618, DOI 10.1007/BF02566201 G. M. Lupton, The intrinsic formality of certain types of algebras, Ph. D. Thesis, University of Edinburgh, 1986.
- Robert MacPherson, Global questions in the topology of singular spaces, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983) PWN, Warsaw, 1984, pp. 213–235. MR 804683
- Willi Meier, Some topological properties of Kähler manifolds and homogeneous spaces, Math. Z. 183 (1983), no. 4, 473–481. MR 710764, DOI 10.1007/BF01173924 T. J. Miller, Rational homotopy and minimal Lie algebras, Ph. D. Thesis, Univ. of Notre Dame, 1976.
- Timothy James Miller, On the formality of $(k-1)$-connected compact manifolds of dimension less than or equal to $4k-2$, Illinois J. Math. 23 (1979), no. 2, 253–258. MR 528561
- Joseph Neisendorfer, The rational homotopy groups of complete intersections, Illinois J. Math. 23 (1979), no. 2, 175–182. MR 528555
- Joseph Neisendorfer, Lie algebras, coalgebras and rational homotopy theory for nilpotent spaces, Pacific J. Math. 74 (1978), no. 2, 429–460. MR 494641
- Joseph Neisendorfer and Timothy Miller, Formal and coformal spaces, Illinois J. Math. 22 (1978), no. 4, 565–580. MR 500938
- Daniel Quillen, Rational homotopy theory, Ann. of Math. (2) 90 (1969), 205–295. MR 258031, DOI 10.2307/1970725
- James Stasheff, Rational Poincaré duality spaces, Illinois J. Math. 27 (1983), no. 1, 104–109. MR 684544 D. Sullivan, Differential forms and the topology of manifolds, Proc. Conf. on Manifolds, (Tokyo, 1973).
- Dennis Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 269–331 (1978). MR 646078
- Daniel Tanré, Cohomologie de Harrison et espaces projectifs tronqués, J. Pure Appl. Algebra 38 (1985), no. 2-3, 353–366 (French). MR 814191, DOI 10.1016/0022-4049(85)90022-2
- R. O. Wells Jr., Differential analysis on complex manifolds, 2nd ed., Graduate Texts in Mathematics, vol. 65, Springer-Verlag, New York-Berlin, 1980. MR 608414
Additional Information
- © Copyright 1990 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 319 (1990), 257-283
- MSC: Primary 55P62; Secondary 32C10
- DOI: https://doi.org/10.1090/S0002-9947-1990-1005081-0
- MathSciNet review: 1005081