Skip to main content
Log in

A finite loop space not rationally equivalent to a compact Lie group

  • Published:
Inventiones mathematicae Aims and scope

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. 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)

  2. Aguadé, J.: A note on realizing polynomial algebras. Isr. J. Math. 38, 95–99 (1981)

    Article  Google Scholar 

  3. 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

  4. 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

  5. Benson, D.J.: Polynomial invariants of finite groups. Cambridge: Cambridge University Press 1993

  6. Bousfield, A.K., Kan, D.M.: Homotopy limits, completions and localizations. Lect. Notes Math. 304. Berlin: Springer 1972

  7. Browder, W.: On differential Hopf algebras. Trans. Am. Math. Soc. 107, 153–176 (1963)

    Article  MathSciNet  Google Scholar 

  8. Clark, A.: On π3 of finite dimensional H-spaces. Ann. Math. (2) 78, 193–196 (1963)

  9. Clark, A., Ewing, J.: The realization of polynomial algebras as cohomology rings. Pac. J. Math. 50, 425–434 (1974)

    Article  Google Scholar 

  10. 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

  11. Dwyer, W.G., Miller, H.R., Wilkerson, C.W.: Homotopical uniqueness of classifying spaces. Topology 31, 29–45 (1992)

    Article  MathSciNet  Google Scholar 

  12. Dwyer, W.G., Wilkerson, C.W.: A new finite loop space at the prime two. J. Am. Math. Soc. 6, 37–64 (1993)

    Article  MathSciNet  Google Scholar 

  13. Dwyer, W.G., Wilkerson, C.W.: Homotopy fixed-point methods for Lie groups and finite loop spaces. Ann. Math. (2) 139, 395–442 (1994)

  14. 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

  15. Ewing, J.: On the type of associative H-spaces. Bull. Am. Math. Soc. 78, 35–37 (1972)

    Article  MathSciNet  Google Scholar 

  16. Fukuda, K.: cdd and cddplus Homepage. McGill University, Montreal, Canada, April 2003, http://www.cs.mcgill.ca/∼fukuda/soft/cdd_home/cdd.html

  17. Geck, M., Malle, G.: Reflection groups. To appear in Handbook of Algebra

  18. 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

  19. Hilton, P., Roitberg, J.: Note on principal S 3-bundles. Bull. Am. Math. Soc. 74, 957–959 (1968)

    Article  Google Scholar 

  20. Hilton, P., Roitberg, J.: On principal S 3-bundles over spheres. Ann. Math. (2) 90, 91–107 (1969)

  21. Hopf, H.: Über die Topologie der Gruppen-Mannigfaltigkeiten und ihre Verallgemeinerungen. Ann. Math. (2) 42, 22–52 (1941)

  22. Hubbuck, J.R.: Associative H-spaces with small ranks. Proc. Am. Math. Soc. 30, 375–382 (1971)

    MathSciNet  Google Scholar 

  23. Humphreys, J.E.: Reflection groups and Coxeter groups. Cambridge: Cambridge University Press 1990

  24. Kane, R.M.: The homology of Hopf spaces. Amsterdam: North-Holland Publishing Co. 1988

  25. Kumpel, P.G., Jr.: Lie groups and products of spheres. Proc. Am. Math. Soc. 16, 1350–1356 (1965)

    Article  MathSciNet  Google Scholar 

  26. Kumpel, P.G., Jr.: On p-equivalences of modp H-spaces. Q. J. Math., Oxf., II. Ser. 23, 173–178 (1972)

    Article  MathSciNet  Google Scholar 

  27. Lin, J.P.: The rational cohomology of finite loop spaces. J. Pure Appl. Algebra 53, 71–73 (1988)

    Article  MathSciNet  Google Scholar 

  28. Lin, J.P.: Cup products and finite loop spaces. Topology Appl. 45, 73–84 (1992)

    Article  MathSciNet  Google Scholar 

  29. Lin, J.P., Williams, F.: The type of a torsion free finite loop space. Topology Appl. 42, 175–186 (1991)

    Article  MathSciNet  Google Scholar 

  30. Møller, J.M., Notbohm, D.: Centers and finite coverings of finite loop spaces. J. Reine Angew. Math. 456, 99–133 (1994)

    MathSciNet  Google Scholar 

  31. Notbohm, D.: Topological realization of a family of pseudoreflection groups. Fundam. Math. 155, 1–31 (1998)

    MathSciNet  Google Scholar 

  32. Notbohm, D.: The finiteness obstruction for loop spaces. Comment. Math. Helv. 74, 657–670 (1999)

    Article  MathSciNet  Google Scholar 

  33. Ochiai, S.: On the type of an associative H-space of rank three. Proc. Japan Acad. 44, 811–815 (1968)

    Article  MathSciNet  Google Scholar 

  34. Serre, J.-P.: Groupes d’homotopie et classes de groupes abéliens. Ann. Math. (2) 58, 258–294 (1953)

  35. Shephard, G.C., Todd, J.A.: Finite unitary reflection groups. Can. J. Math. 6, 274–304 (1954)

    Article  MathSciNet  Google Scholar 

  36. Smith, L.: On the type of an associative H-space of rank two. Tôhoku Math. J., II. Ser. 20, 511–515 (1968)

    Article  Google Scholar 

  37. Stasheff, J.D.: Manifolds of the homotopy type of (non-Lie) groups. Bull. Am. Math. Soc. 75, 998–1000 (1969)

    Article  MathSciNet  Google Scholar 

  38. 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

  39. Sugawara, T.: On the type of an associative H-spaces of rank four. Mem. Fac. Sci., Kyushu Univ., Ser. A 25, 191–196 (1971)

    MathSciNet  Google Scholar 

  40. Sullivan, D.: Geometric topology, Part I, Localization, periodicity and Galois symmetry. Mimeographed notes. MIT 1970

  41. Sullivan, D.: Genetics of homotopy theory and the Adams conjecture. Ann. Math. (2) 100, 1–79 (1974)

  42. Wall, C.T.C.: Finiteness conditions for CW-complexes. Ann. Math. (2) 81, 56–69 (1965)

  43. Whitehead, G.W.: Elements of homotopy theory. Graduate Texts in Mathematics, Vol. 61. New York: Springer 1978

  44. Wilkerson, C.: K-theory operations in mod p loop spaces. Math. Z. 132, 29–44 (1973)

    Article  MathSciNet  Google Scholar 

  45. Wilkerson, C.: Rational maximal tori. J. Pure Appl. Algebra 4, 261–272 (1974)

    Article  MathSciNet  Google Scholar 

  46. Zabrodsky, A.: On the realization of invariant subgroups of π*(X). Trans. Am. Math. Soc. 285, 467–496 (1984)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to Kasper K. S. Andersen, Tilman Bauer, Jesper Grodal or Erik Kjaer Pedersen.

Additional information

Mathematics Subject Classification (2000)

Primary: 55P35; Secondary: 55P15, 55R35

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00222-003-0341-4

Keywords

Navigation