Moduli of spaces with prescribed homotopy groups

DOI10.1016/J.JPAA.2023.107409MaRDI QIDQ6103323zbMATH OpenOpenAlexFDO

Authors Piotr Pstrągowski

Publication date 26 June 2023

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

\(\Pi\)-algebraobstruction theoryPostnikov tower

Mathematics Subject Classification ID

Classification of homotopy type (55P15) Whitehead products and generalizations (55Q15) Obstruction theory in algebraic topology (55S35)

Abstract: We describe a homotopy-theoretic approach to the theory of moduli of realizations of Blanc-Dwyer-Goerss, reproducing their obstructions to realizing a given $Pi$-algebra as homotopy groups of a pointed space. Our techniques are based on the $infty$-category $mathcal{P}_{Sigma}(mathcalSph)$ of product-preserving presheaves on finite wedges of positive-dimensional spheres, leading to more conceptual and streamlined arguments.

Review text

A \(\Pi\)-algebra is a graded group equipped with all the primary algebraic structure present in the homotopy groups of a pointed connected topological space. \textit{D. Blanc} et al. [Topology 43, No. 4, 857--892 (2004; Zbl 1054.55007)] studied the moduli space of topological spaces realizing a given \(\Pi\)-algebra and described it as the limit of a tower, thereby exhibiting cohomological obstructions to realizing a \(\Pi\)-algebra. In the paper under review, the author gives a new construction of this obstruction theory using \(\infty\)-categorical techniques. This avoids the \(E_2\)-model structures used in [loc. cit.] and allows to only work with homotopy invariant constructions. The starting point for this approach is the observation (which the author attributes to Mazel-Gee) that the underlying \(\infty\)-category of the \(E_2\)-model structure on simplicial spaces is equivalent to the \(\infty\)-category \(\mathcal P_{\Sigma}(Sph)\) of product-preserving presheaves on finite wedges of positive dimensional spheres. This \(\infty\)-category contains both \(\Pi\)-algebras and pointed connected spaces as full subcategories, and the author constructs a Postnikov tower in \(\mathcal P_{\Sigma}(Sph)\) interpolating between the two. This Postnikov tower is more generally constructed for \(\infty\)-categories satisfying some mild conditions and is interesting in its own right. As the author points out, these results give a more conceptual and significantly simplified approach to the moduli problem for \(\Pi\)-algebras. Moreover, as it is also indicated, the ideas from the present article have in the meanwhile been used in subsequent work on Goerss-Hopkins obstruction theory and may serve as an introduction to this circle of ideas (see e.g. \textit{W. Balderrama} [``Deformations of homotopy theories via algebraic theories, Preprint, \url{arXiv:2108.06801}], \textit{P. Pstrągowski} and \textit{P. VanKoughnett} [Adv. Math. 395, Article ID 108098, 51 p. (2022; Zbl 1484.55022)], and \textit{P. Pstrągowski} [Invent. Math. 232, No. 2, 553--681 (2023; Zbl 07676257)]).

Recommendations

• The realization space of a \(\Pi\)-algebra: a moduli problem in algebraic topology
• On realizing diagrams of \(\Pi\)-algebras
• Moduli spaces of 2-stage Postnikov systems
• Higher Homotopy Operations and The Realizability of Homotopy Groups
• Higher homotopy operations and André-Quillen cohomology
• Abstract Goerss-Hopkins theory
• Local-to-global spectral sequences for the cohomology of diagrams
• Algebraic invariants for homotopy types
• A van Kampen spectral sequence for higher homotopy groups
• scientific article; zbMATH DE number 1083230

Cites work

• A van Kampen spectral sequence for higher homotopy groups
• Abstract Goerss-Hopkins theory
• An E^ 2 model category structure for pointed simplicial spaces
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Higher Homotopy Operations and The Realizability of Homotopy Groups
• Higher Topos Theory (AM-170)
• Homotopical algebra
• scientific article; zbMATH DE number 2152592 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 3370554 (Why is no real title available?)
• Lax colimits and free fibrations in -categories
• Moduli spaces of 2-stage Postnikov systems
• On the Homotopy Groups of the Union of Spheres
• Quasi-categories and Kan complexes
• Rigidification of algebras over multi-sorted theories
• Synthetic spectra and the cellular motivic category
• The bigraded homotopy groups \(\pi_{i,j} X\) of a pointed simplicial space \(X\)
• The realization space of a \(\Pi\)-algebra: a moduli problem in algebraic topology
• Towers of fibrations and homotopical wreath products

Cited in

(5)

• The realization space of a \(\Pi\)-algebra: a moduli problem in algebraic topology
• The homotopy type of spacesxwith fundamental groupoid 𝔤 and an unique non-trivial homotopy 𝔤-module ∏_n(X)
• A DIRECT SUMMAND IN A HOMOTOPY GROUP OF THE MOD 2 MOORE SPACE
• Deformations of homotopy theories via algebraic theories
• Singular dynamics on manifolds: a Cartesian product approach to homotopy group

This page was built for publication: Moduli of spaces with prescribed homotopy groups

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