Higher homotopy operations and André-Quillen cohomology

DOI10.1016/J.AIM.2012.02.009zbMATH Open1246.55013arXiv1107.4117OpenAlexW1982899924MaRDI QIDQ424573FDOQ424573

David Blanc, Mark W. Johnson, James M. Turner

Publication date: 1 June 2012

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

Abstract: There are two main approaches to the problem of realizing a $Pi$-algebra (a graded group $Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an algebraic free simplicial resolution $$ of $Lambda$ by a simplicial space $$ and proceed by induction on the simplicial dimension. The first provides a sequence of Andr'{e}-Quillen cohomology classes in $H_{AQ}^{n+2}(Lambda;Omeg{a}^{n}Lambda)$ for $ngeq1$ as obstructions to the existence of successive Postnikov sections for $$ by work of Dwyer, Kan and Stover. The second gives a sequence of geometrically defined higher homotopy operations as the obstructions by earlier work of Blanc; these were identified with the obstruction theory of Dwyer, Kan and Smith in earlier work of the current authors. There are also (algebraic and geometric) obstructions for distinguishing between different realizations of $Lambda$. In this paper we 1) provide an explicit construction of the cocycles representing the cohomology obstructions; 2) provide a similar explicit construction of certain minimal values of the higher homotopy operations (which reduce to "long Toda brackets"), and 3) show that these two constructions correspond under an evident map.

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

zbMATH Keywords

obstruction theory\(k\)-invariantshigher homotopy operationshomotopy-commutative diagramAndré-Quillen cohomology

Mathematics Subject Classification ID

Homology and cohomology theories in algebraic topology (55N99) Operations in homotopy groups (55Q35)

Cites Work

• Homotopical algebra
• Rational homotopy theory
• Title not available (Why is that?)
• On the non-existence of elements of Hopf invariant one
• Convex Polytopes
• Homotopie rationelle: modèles de Chen, Quillen, Sullivan
• Homotopy invariant algebraic structures on topological spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• The realization space of a \(\Pi\)-algebra: a moduli problem in algebraic topology
• Simplicial localizations of categories
• Homology of symmetric products and other functors of complexes
• Cosimplicial resolutions and homotopy spectral sequences in model categories
• Title not available (Why is that?)
• Higher homotopy operations and cohomology
• Compositional Methods in Homotopy Groups of Spheres. (AM-49)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopy commutative diagrams and their realizations
• An \(E^ 2\) model category structure for pointed simplicial spaces
• Comparing cohomology obstructions
• Title not available (Why is that?)
• Stems and spectral sequences
• A van Kampen spectral sequence for higher homotopy groups
• The cohomology algebra of a space
• Generalized André-Quillen cohomology
• Title not available (Why is that?)
• The algebra of secondary cohomology operations
• Higher homotopy operations
• On topologically realizing modules over the Steenrod algebra
• The bigraded homotopy groups \(\pi_{i,j} X\) of a pointed simplicial space \(X\)
• CW simplicial resolutions of spaces with an application to loop spaces
• Méthode simpliciale en algèbre homologique et algèbre commutative
• Stable secondary cohomology operations
• Comparing homotopy categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher Homotopy Operations and The Realizability of Homotopy Groups
• Algebraic invariants for homotopy types
• On the Homotopy Groups of the Union of Spheres
• Secondary operations on mappings and cohomology
• On realizing diagrams of \(\Pi\)-algebras

Cited In (18)

• Note on Toda brackets
• Higher Homotopy Operations and The Realizability of Homotopy Groups
• Algebraic invariants for homotopy types
• Title not available (Why is that?)
• \(\Gamma\)-homology, topological André-Quillen homology and stabilization
• Higher homotopy operations
• Homology operations on homology of quandles
• Higher homotopy invariants for spaces and maps
• The realizability of operations on homotopy groups concentrated in two degrees
• Pyramids of higher order cohomology operations in the $p$-torsion-free category.
• The realization space of a \(\Pi\)-algebra: a moduli problem in algebraic topology
• Higher order Toda brackets
• Higher Toda brackets and Massey products
• Spectral sequences in \((\infty,1)\)-categories
• Homotopy pro-nilpotent structured ring spectra and topological Quillen localization
• A constructive approach to higher homotopy operations
• Higher cohomology operations and \(R\)-completion
• Moduli of spaces with prescribed homotopy groups

This page was built for publication: Higher homotopy operations and André-Quillen cohomology

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