E_ obstruction theory

DOI10.4310/HHA.2018.V20.N1.A10MaRDI QIDQ1707284zbMATH OpenOpenAlexFDO

Authors Peng Zhang

Publication date 29 March 2018

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

\(E_{\infty}\) structureBousfield-Kan spectral sequenceoperadring spectra

Mathematics Subject Classification ID

Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Loop space machines and operads in algebraic topology (55P48) Obstruction theory in algebraic topology (55S35)

Abstract: The space of E-infinity structures on an simplicial operad C is the limit of a tower of fibrations, so its homotopy is the abutment of a Bousfield-Kan fringed spectral sequence. The spectral sequence begins (under mild restrictions) with the stable cohomotopy of the graded right Gamma-module formed by the homotopy groups of C ; the fringe contains an obstruction theory for the existence of E-infinity structures on C. This formulation is very flexible: applications extend beyond structures on classical ring spectra to examples (in references) in motivic homotopy theory.

Review text

Let \(\mathcal{C}\) be an operad in Kan spaces, and let \(\mu \in \mathcal{C}(2)\) be a binary operation which is associative, commutative, and unital -- up to homotopy. The author studies the moduli space of morphisms from an \(E_\infty\)-operad to \(\mathcal{C}\) which sends the binary generator to \(\mu\). For example, if \(\mathcal{C} = \mathsf{End}_V\) is the endomorphism operad of \(V\) and \(\mu : V^{\otimes 2} \to V\) is a multiplication which is homotopy associative/commutative/unital, then the focus is on the space of \(E_\infty\)-structures on \(V\) with the fixed binary product \(\mu\). The author develops an obstruction theory similar to Bousfield's obstruction theory for the totalization of a cosimplicial space [\textit{A. K. Bousfield}, Isr. J. Math. 66, No. 1--3, 54--104 (1989; Zbl 0677.55020)]. There is a homotopy spectral sequence converging to the homotopy groups of the space of \(E_\infty\)-structures on \(\mathcal{C}\). Obstructions to existence live in \(\pi^n \pi_{n-2} \mathcal{C}\), and obstructions to unicity live in \(\pi^n \pi_{n-1} \mathcal{C}\). Here, the cohomotopy is defined using the natural \(\Gamma\)-module structure on \(\pi_* \mathcal{C}\) coming from \(\mu\). The author applies this theorem to the endomorphism operad of a ring spectrum \(\mathcal{S}\), with an explicit computation of \(\pi_* \mathsf{End}_{\mathcal{S}}\).

Recommendations

• Spectral sequence operations converge to Araki-Kudo operations
• Operations in the homology spectral sequence of a cosimplicial infinite loop space
• Cofibrant operads and universal \(E_{\infty}\) operads.
• Operadic multiplications in equivariant spectra, norms, and transfers
• A lower bound for coherences on the Brown-Peterson spectrum
• Lie algebras over operads and their applications in homotopy theory
• \(E_{\infty}\)-model for a mapping space
• Operads and Γ-homology of commutative rings
• On mapping spaces of differential graded operads with the commutative operad as target
• scientific article; zbMATH DE number 2152587

Cited in

(12)

• Gamma homology, Lie representations and \(E_\infty\) multiplications
• Cofibrant operads and universal \(E_{\infty}\) operads.
• Infinite loop spaces from operads with homological stability
• On the \(\Gamma\)-cohomology of rings of numerical polynomials and \(E_\infty\) structures on \(K\)-theory
• Lifting homotopy \(T\)-algebra maps to strict maps
• Operads and Γ-homology of commutative rings
• Existence and uniqueness of \(E_\infty\) structures on motivic \(K\)-theory spectra
• Obstruction theory for operadic algebras
• A note on \(H_{\infty}\) structures
• Goerss-Hopkins obstruction theory for -categories
• Hochschild and cotangent complexes of operadic algebras
• Quillen cohomology of enriched operads

This page was built for publication: \(E_{\infty}\) obstruction theory

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