A TORSION-FREE MILNOR–MOORE THEOREM

DOI10.1112/S002461070300423XzbMATH Open1049.55005arXivmath/0103223OpenAlexW2001550036MaRDI QIDQ4467883FDOQ4467883

Authors: Jonathan A. Scott 

Publication date: 10 June 2004

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

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.

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

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

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)

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)