A TORSION-FREE MILNOR–MOORE THEOREM

DOI10.1112/S002461070300423XMaRDI QIDQ4467883zbMATH OpenOpenAlexFDO

Authors Jonathan A. Scott

Publication date 10 June 2004

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

enveloping algebrarational homotopyloop space homology

Mathematics Subject Classification ID

Loop spaces (55P35) Universal enveloping (super)algebras (17B35) Homotopy groups, general; sets of homotopy classes (55Q05)

Abstract: Let Omega X be the space of Moore loops on a finite, q-connected, n-dimensional CW complex X, and let R be a subring of Q containing 1/2. Let p(R) be the least non-invertible prime in R. For a graded R-module M of finite type, let FM = M / Torsion M. We show that the inclusion of the sub-Lie algebra P of primitive elements of FH_*(Omega X;R) induces an isomorphism of Hopf algebras UP = FH_*(Omega X;R), provided p(R) > n/q - 1. Furthermore, the Hurewicz homomorphism induces an embedding of F(pi_*(Omega X)otimes R) in P, with torsion cokernel. As a corollary, if X is elliptic, then FH_*(Omega X;R) is a finitely-generated R-algebra.

Recommendations

• Universal enveloping algebras and loop space homology
• Torsion primes in loop space homology.
• The Milnor-Moore theorem in tame homotopy theory
• An R-local Milnor-Moore theorem
• The Milnor-Moore theorem for \(L_\infty\) algebras in rational homotopy theory

Cited in

(4)

• Algebraic structure in the loop space homology Bockstein spectral sequence
• Free and semi-inert cell attachments
• Universal enveloping algebras and loop space homology
• Milnor-Moore theorems for bialgebras in characteristic zero

This page was built for publication: A TORSION-FREE MILNOR–MOORE THEOREM

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