The homotopy automorphisms of a marked n-stage (Q2673843)

The realization problem was posed by \textit{N. E. Steenrod} [Enseign. Math. (2) 7, 153--178 (1962; Zbl 0104.39604)]. For a prime \(p\) and an unstable (co)algebra \(C\) over the Steenrod algebra \(A_p\), it asks whether \(C\) is isomorphic to the singular \(\mathbb{F}_p\)-(co)homology of a topological space. If this is true, one can also ask how many such spaces there are up to \(\mathbb{F}_p\)-homology equivalence. \textit{G. Biedermann} et al. [The realization space of an unstable coalgebra. Paris: Société Mathématique de France (SMF) (2017; Zbl 1394.55001)] approached this problem using moduli space methods. In particular, they considered a moduli space of topological realizations associated to an unstable coalgebra. They showed that this moduli space decomposes in terms of the classifying space of the simplicial monoid of self homotopy equivalences for each topological realization. Furthermore, they showed that for certain unstable coalgebras, the moduli space can be described in terms of a tower of moduli spaces attached to cosimplicial truncations of the topological realization. This allows one to do obstruction theory. The number of extensions can be counted using André-Quillen cohomology of unstable coalgebras and the simplicial monoids of self homotopy equivalences. In the paper under review, Stelzer proves nilpotency and completeness results for these simplicial monoids of self homotopy equivalences, analogous to those for finite complexes and Postnikov sections given in [\textit{E. Dror} and \textit{A. Zabrodsky}, Topology 18, 187--197 (1979; Zbl 0417.55008); \textit{K.-I. Maruyama}, Pac. J. Math. 136, No. 2, 293--301 (1989; Zbl 0673.55006); \textit{J. M. Møller}, Kodai Math. J. 12, No. 2, 270--281 (1989; Zbl 0685.55005)]. The paper is structured as follows. Section 1 is an introduction which introduces the results of the paper, discusses the existing literature and introduces some notational conventions. Section 2 collects background material on resolution model categories and André-Quillen cohomology of unstable coalgebras. Section 3 collects results on the moduli space from the paper of Biedermann, Raptis and Stelzer. In Section 4, a spectral sequence which converges to André-Quillen cohomology is constructed. In Section 5, the nilpotency and completeness results are proved. There is an appendix containing some technical results needed for the spectral sequence in Section 4. These make use of infinity-categorical methods.