Abstract
We construct a connected finite loop space of rank 66 and dimension 1254 whose rational cohomology is not isomorphic as a graded vector space to the rational cohomology of any compact Lie group, hence providing a counterexample to a classical conjecture. Aided by machine calculation we verify that our counterexample is minimal, i.e., that any finite loop space of rank less than 66 is in fact rationally equivalent to a compact Lie group, extending the classical known bound of 5.
Similar content being viewed by others
References
Adams, J.F., Wilkerson, C.W.: Finite H-spaces and algebras over the Steenrod algebra. Ann. Math (2) 111, 95–143 (1980) (Erratum: Ann. Math. (2) 113, 621–622 (1981)
Aguadé, J.: A note on realizing polynomial algebras. Isr. J. Math. 38, 95–99 (1981)
Andersen, K.K.S., Grodal, J., Møller, J.M., Viruel, A.: The classification of p-compact groups for p odd. arXiv:math.AT/0302346
Bauer, T., Kitchloo, N., Notbohm, D., Pedersen, E.K.: Finite loop spaces are manifolds. Preprint (2003); available from http://www.math.uni-muenster.de/inst/sfb/about/publ/heft263.ps
Benson, D.J.: Polynomial invariants of finite groups. Cambridge: Cambridge University Press 1993
Bousfield, A.K., Kan, D.M.: Homotopy limits, completions and localizations. Lect. Notes Math. 304. Berlin: Springer 1972
Browder, W.: On differential Hopf algebras. Trans. Am. Math. Soc. 107, 153–176 (1963)
Clark, A.: On π3 of finite dimensional H-spaces. Ann. Math. (2) 78, 193–196 (1963)
Clark, A., Ewing, J.: The realization of polynomial algebras as cohomology rings. Pac. J. Math. 50, 425–434 (1974)
Dwyer, W.G.: Lie groups and p-compact groups. In: Proceedings of the International Congress of Mathematicians. Extra Vol. II (Berlin, 1998), pp. 433–442 (electronic), 1998
Dwyer, W.G., Miller, H.R., Wilkerson, C.W.: Homotopical uniqueness of classifying spaces. Topology 31, 29–45 (1992)
Dwyer, W.G., Wilkerson, C.W.: A new finite loop space at the prime two. J. Am. Math. Soc. 6, 37–64 (1993)
Dwyer, W.G., Wilkerson, C.W.: Homotopy fixed-point methods for Lie groups and finite loop spaces. Ann. Math. (2) 139, 395–442 (1994)
Dwyer, W.G., Wilkerson, C.W.: The center of a p-compact group. In: The Čech centennial (Boston, MA, 1993), pp. 119–157. Am. Math. Soc. Centen. Publ. 1995
Ewing, J.: On the type of associative H-spaces. Bull. Am. Math. Soc. 78, 35–37 (1972)
Fukuda, K.: cdd and cddplus Homepage. McGill University, Montreal, Canada, April 2003, http://www.cs.mcgill.ca/∼fukuda/soft/cdd_home/cdd.html
Geck, M., Malle, G.: Reflection groups. To appear in Handbook of Algebra
Hilton, P., Mislin, G., Roitberg, J.: Localization of nilpotent groups and spaces. North-Holland Mathematics Studies, No. 15, Notas de Matemática, No. 55 [Notes on Mathematics, No. 55]. Amsterdam: North-Holland Publishing Co. 1975
Hilton, P., Roitberg, J.: Note on principal S 3-bundles. Bull. Am. Math. Soc. 74, 957–959 (1968)
Hilton, P., Roitberg, J.: On principal S 3-bundles over spheres. Ann. Math. (2) 90, 91–107 (1969)
Hopf, H.: Über die Topologie der Gruppen-Mannigfaltigkeiten und ihre Verallgemeinerungen. Ann. Math. (2) 42, 22–52 (1941)
Hubbuck, J.R.: Associative H-spaces with small ranks. Proc. Am. Math. Soc. 30, 375–382 (1971)
Humphreys, J.E.: Reflection groups and Coxeter groups. Cambridge: Cambridge University Press 1990
Kane, R.M.: The homology of Hopf spaces. Amsterdam: North-Holland Publishing Co. 1988
Kumpel, P.G., Jr.: Lie groups and products of spheres. Proc. Am. Math. Soc. 16, 1350–1356 (1965)
Kumpel, P.G., Jr.: On p-equivalences of modp H-spaces. Q. J. Math., Oxf., II. Ser. 23, 173–178 (1972)
Lin, J.P.: The rational cohomology of finite loop spaces. J. Pure Appl. Algebra 53, 71–73 (1988)
Lin, J.P.: Cup products and finite loop spaces. Topology Appl. 45, 73–84 (1992)
Lin, J.P., Williams, F.: The type of a torsion free finite loop space. Topology Appl. 42, 175–186 (1991)
Møller, J.M., Notbohm, D.: Centers and finite coverings of finite loop spaces. J. Reine Angew. Math. 456, 99–133 (1994)
Notbohm, D.: Topological realization of a family of pseudoreflection groups. Fundam. Math. 155, 1–31 (1998)
Notbohm, D.: The finiteness obstruction for loop spaces. Comment. Math. Helv. 74, 657–670 (1999)
Ochiai, S.: On the type of an associative H-space of rank three. Proc. Japan Acad. 44, 811–815 (1968)
Serre, J.-P.: Groupes d’homotopie et classes de groupes abéliens. Ann. Math. (2) 58, 258–294 (1953)
Shephard, G.C., Todd, J.A.: Finite unitary reflection groups. Can. J. Math. 6, 274–304 (1954)
Smith, L.: On the type of an associative H-space of rank two. Tôhoku Math. J., II. Ser. 20, 511–515 (1968)
Stasheff, J.D.: Manifolds of the homotopy type of (non-Lie) groups. Bull. Am. Math. Soc. 75, 998–1000 (1969)
Stasheff, J.D.: H-space problems. In: H-spaces (Actes Réunion, Neuchâtel. 1970), pp. 122–136. Lect. Notes Math. 196. Berlin: Springer 1971
Sugawara, T.: On the type of an associative H-spaces of rank four. Mem. Fac. Sci., Kyushu Univ., Ser. A 25, 191–196 (1971)
Sullivan, D.: Geometric topology, Part I, Localization, periodicity and Galois symmetry. Mimeographed notes. MIT 1970
Sullivan, D.: Genetics of homotopy theory and the Adams conjecture. Ann. Math. (2) 100, 1–79 (1974)
Wall, C.T.C.: Finiteness conditions for CW-complexes. Ann. Math. (2) 81, 56–69 (1965)
Whitehead, G.W.: Elements of homotopy theory. Graduate Texts in Mathematics, Vol. 61. New York: Springer 1978
Wilkerson, C.: K-theory operations in mod p loop spaces. Math. Z. 132, 29–44 (1973)
Wilkerson, C.: Rational maximal tori. J. Pure Appl. Algebra 4, 261–272 (1974)
Zabrodsky, A.: On the realization of invariant subgroups of π*(X). Trans. Am. Math. Soc. 285, 467–496 (1984)
Author information
Authors and Affiliations
Corresponding authors
Additional information
Mathematics Subject Classification (2000)
Primary: 55P35; Secondary: 55P15, 55R35
Rights and permissions
About this article
Cite this article
Andersen, K., Bauer, T., Grodal, J. et al. A finite loop space not rationally equivalent to a compact Lie group. Invent. math. 157, 1–10 (2004). https://doi.org/10.1007/s00222-003-0341-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-003-0341-4