Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

DOI10.1016/J.AIM.2005.02.005MaRDI QIDQ2369018zbMATH OpenOpenAlexFDO

Authors Nicholas J. Kuhn

Publication date 28 April 2006

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Bousfield localizationGoodwillie towerinfinite loop spaceperiodic homologytopological André-Quillen homology

Mathematics Subject Classification ID

Generalized (extraordinary) homology and cohomology theories in algebraic topology (55N20) Stable homotopy theory, spectra (55P42) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Infinite loop spaces (55P47)

Abstract: Let K(n) be the nth Morava K--theory at a prime p. This paper is a thorough study of questions like the following: to what extent does the K(n)--localization, or the K(n)--homology, of a spectrum X determine the K(n)--homology of its 0th space X_0? Our methods combine techniques from modern homotopical algebra with chromatic homotopy. In particular, we use the telescopic functors of Bousfield and the author (dependent on the Nilpotence Theorem of Devanitz, Hopkins, and Smith), as wel as Topological Andre--Quillen Homology and Goodwillie calculus in nonconnective settings.

Review text

Given a spectrum \(X\), let \(PX\) denote the free commutative algebra generated by \(X\). Given a natural number \(n\), let \(T(n)\) be the telescope of a \(v_n\)-self map of a finite spectrum of type \(n\). The author constructs a natural map \[ s_n(X): L_{T(n)}P(X) \to L_{T(n)}\Sigma^\infty(\Omega^\infty X)_+ \] of commutative algebras over the localized sphere spectum \(L_{T(n)}(S)\), where \(L_{T(n)}(-)\) denotes the Bousfield \(T(n)\)-localization and the subscript + denotes the disjoint union with the added point. This natural transformation \(s_n\) has the following universal property: any natural transformation from a functor invariant under \(T(n)\)-equivalences to \(L_{T(n)}\Sigma^\infty(\Omega^\infty-)_+\) factors canonically through \(s_n\). Also, the map \(s_n\) induces an isomorphism of \(L_{T(n)}\)-completions. Furthermore, for all spectra \(E\) with \(\langle T(n)\rangle\geq \langle E\rangle\), the induced map \(s_n(X): E_*(P(X))\to E_*(\Omega^\infty X)\) is monic for all \(X\). Some consequences for \(E=K(n)\) are considered. For the proofs, the author uses and develops Goodwillie calculus and a topological version of André-Quillen theory.

Recommendations

• Localization with Respect to Certain Periodic Homology Theories
• scientific article; zbMATH DE number 4080412
• Localization theorems in topological Hochschild homology and topological cyclic homology
• scientific article; zbMATH DE number 65592
• On Towers Approximating Homological Localizations
• Localization and Periodicity in Unstable Homotopy Theory
• Equivariant localization and completion in cyclic homology and derived loop spaces
• LOCALIZATIONS, FINITENESS OBSTRUCTIONS AND REIDEMEISTER TORSIONS
• LOCALIZATION BY -PERIODIC COMPLEXES AND VIRTUAL STRUCTURE SHEAVES
• Topological André--Quillen cohomology and \(E_{\infty}\) André--Quillen cohomology

Cites work

• K -Localizations and K -Equivalences of Infinite Loop Spaces
• \(\Gamma\)-homology, topological André-Quillen homology and stabilization
• \(E_\infty\) ring spaces and \(E_\infty\) ring spectra. With contributions by Frank Quinn, Nigel Ray, and Jorgen Tornehave
• \(H_{\infty}\) ring spectra and their applications
• A uniqueness theorem for stable homotopy theory
• André-Quillen cohomology of commutative \(S\)-algebras
• Calculus. I: The first derivative of pseudoisotopy theory
• Calculus. II: Analytic functors
• Calculus. III: Taylor series
• Cohomological Bousfield classes
• Dual calculus for functors to spectra
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• Generalized group characters and complex oriented cohomology theories
• Goodwillie towers and chromatic homotopy: an overview
• Homotopical localizations of spaces
• scientific article; zbMATH DE number 3626265 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 949383 (Why is no real title available?)
• scientific article; zbMATH DE number 2096985 (Why is no real title available?)
• scientific article; zbMATH DE number 796971 (Why is no real title available?)
• scientific article; zbMATH DE number 1390037 (Why is no real title available?)
• James Maps and E n Ring Spaces
• Mapping spaces and homology isomorphisms
• Morava \(E\)-theory of symmetric groups
• Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
• Nilpotence and stable homotopy theory. I
• Nilpotence and stable homotopy theory. II
• On -rings and the K-theory of infinite loop spaces
• On Brown-Peterson cohomology of \(QX\)
• On Homology Equivalences and Homological Localizations of Spaces
• On the telescopic homotopy theory of spaces
• Product and other fine structure in polynomial resolutions of mapping spaces
• Spectra in model categories and applications to the algebraic cotangent complex
• Stable proofs of stable splittings
• Stable splittings and the diagonal
• Suspension Spectra and Homology Equivalences
• Tate cohomology and periodic localization of polynomial functors
• The Brown-Peterson Homology of Elementary p-Groups
• The geometry of iterated loop spaces
• The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres
• The Morava K-theories of wreath products
• The Morava K-Theories of Eilenberg-MacLane Spaces and the Conner-Floyd Conjecture
• The periodic Hopf ring of connective Morava K-theory
• The transfer and James-Hopf invariants
• Uniqueness of infinite deloopings for K-theoretic spaces

Cited in

(25)

• Topological André-Quillen homology for cellular commutative \(S\)-algebras
• Derived Koszul duality and \(\mathsf{TQ}\)-homology completion of structured ring spectra
• Poincaré/Koszul duality
• Homotopy completion and topological Quillen homology of structured ring spectra
• Adams filtration and generalized Hurewicz maps for infinite loopspaces
• The Bousfield-Kuhn functor and topological André-Quillen cohomology
• Lie algebras and v_n-periodic spaces
• On the relationship between logarithmic TAQ and logarithmic THH
• A nilpotent Whitehead theorem for \(\mathsf{TQ} \)-homology of structured ring spectra
• Topological Quillen localization of structured ring spectra
• Homotopy pro-nilpotent structured ring spectra and topological Quillen localization
• Brown–Peterson cohomology from Morava -theory
• Mapping spaces and homology isomorphisms
• Lifting homotopy \(T\)-algebra maps to strict maps
• Commutative \(\mathbb S\)-algebras of prime characteristics and applications to unoriented bordism
• Spectral algebra models of unstable v_n-periodic homotopy theory
• The Whitehead conjecture, the tower of \(S^{1}\) conjecture, and Hecke algebras of type A
• The units of a ring spectrum and a logarithmic cohomology operation
• Algebraic theories of power operations
• The localization of orthogonal calculus with respect to homology
• On the high-dimensional geography problem
• Inertia groups of (n-1)-connected 2n-manifolds
• Tate cohomology and periodic localization of polynomial functors
• Inertia groups in the metastable range
• Stable and unstable operations in mod \(p\) cohomology theories

This page was built for publication: Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

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