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

DOI10.1007/S00222-003-0341-4MaRDI QIDQ1882745zbMATH OpenOpenAlexWikidataFDO

Authors Kasper K. S. Andersen, Tilman Bauer, Jesper Grodal, Erik K. Pedersen

Publication date 1 October 2004

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0306234

zbMATH Keywords

finite loop spaceLie groups

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Loop spaces (55P35) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

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.

Review text

Following the results of Allan Clark, published in 1963, about the \(\pi_3\) of finite H-spaces, it has been conjectured that any finite loop space is rationally equivalent to some compact Lie group. In 1973, J. R. Ewin verified this conjecture for finite loop spaces of rank \(\leq 5\). In 1980, Adams and Wilkerson have established strong restrictions on the type of a finite loop space but provide a specific example of type which cannot be eliminated. In this paper, the authors resolve this conjecture in the negative by exhibiting a concrete finite loop space of rank 66 whose rational cohomology does not agree with that of any Lie group. Moreover, using a computer they also prove that the conjecture is true for finite loop spaces of rank less than 66.

Recommendations

• The rational cohomology of finite loop spaces
• The Space of Loops on a Homogeneous Space and Rational Equivalence
• Homotopy fixed-point methods for Lie groups and finite loop spaces
• scientific article; zbMATH DE number 937416
• Connected finite loop spaces with maximal tori

Cites work

• A note on realizing polynomial algebras
• Associative H-Spaces with Small Ranks
• Cup products and finite loop spaces
• Finite H-spaces and algebras over the Steenrod algebra
• Finite loop spaces are manifolds.
• Finite Unitary Reflection Groups
• Finiteness conditions for CW-complexes. I, II.
• Genetics of homotopy theory and the Adams conjecture
• Groupes d'homotopie et classes de groupes abéliens
• Homotopical uniqueness of classifying spaces
• Homotopy fixed-point methods for Lie groups and finite loop spaces
• Homotopy limits, completions and localizations
• scientific article; zbMATH DE number 47598 (Why is no real title available?)
• scientific article; zbMATH DE number 193478 (Why is no real title available?)
• scientific article; zbMATH DE number 3505857 (Why is no real title available?)
• scientific article; zbMATH DE number 3571128 (Why is no real title available?)
• scientific article; zbMATH DE number 3631581 (Why is no real title available?)
• scientific article; zbMATH DE number 479558 (Why is no real title available?)
• scientific article; zbMATH DE number 737036 (Why is no real title available?)
• scientific article; zbMATH DE number 1139522 (Why is no real title available?)
• scientific article; zbMATH DE number 3342519 (Why is no real title available?)
• K-theory operations in mod p loop spaces
• Lie groups and \(p\)-compact groups
• Lie Groups and Products of Spheres
• Manifolds of the homotopy type of (non-Lie) groups
• Note on principal 𝑆³-bundles
• ON p - EQUIVALENCES OF mod p H - SPACES
• On \(\pi_ 3\) of finite dimensional \(H\)-spaces
• On Differential Hopf Algebras
• On principal \(S^ 3\)-bundles over spheres
• On the Realization of Invariant Subgroups of π ∗ (X)
• On the type of an associative H-space of rank three
• On the type of an associative H-space of rank two
• ON THE TYPE OF AN ASSOCIATIVE H-SPACES OF RANK FOUR
• On the type of associative 𝐻-spaces
• Rational maximal tori
• Reflection Groups
• The classification of \(p\)-compact groups for \(p\) odd
• The finiteness obstruction for loop spaces
• The rational cohomology of finite loop spaces
• The realization of polynomial algebras as cohomology rings
• The type of a torsion free finite loop space

Cited in

(9)

• The rational cohomology of finite loop spaces
• On the cohomology of homogeneous spaces of finite loop spaces and the Eilenberg-Moore spectral sequence
• Homotopy type and \(v_1\)-periodic homotopy groups of \(p\)-compact groups
• Generating rational loop groups with noncompact reality conditions
• The Space of Loops on a Homogeneous Space and Rational Equivalence
• RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
• The Steenrod problem of realizing polynomial cohomology rings
• Deconstructing Hopf spaces
• The realizability of local loop spaces as manifolds

Describes a project that uses

Uses Software

• cdd
• cddplus

This page was built for publication: A finite loop space not rationally equivalent to a compact Lie group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1882745)