Cellular \(E_k\)-algebras (Q6903787)

This book explains the notion of an \(E_{k}\)-algebra in a sufficiently nice category \textsf{S}\ (e.g., the category of simplicial sets, spectra, or simplicial \(\boldsymbol{k}\)-modules). A (unital) \(E_{k}\)-algebra \(\boldsymbol{R}\)\ in \textsf{S}\ is an object \(R\)\ in \textsf{S}\ rigged with maps\N\[\N\mathcal{C}_{k}\left( n\right) \times R^{\otimes n}\rightarrow R\N\]\Nabiding by unit, associativity, and equivariance axioms, where \(\times \)\ denotes the copowering over simplicial sets and \(\otimes\)\ denotes the monoidal product on \textsf{S}. Cell attachments for \(E_{k}\)-algebras are modelled after cell attachments for topological spaces. There are homology groups \(H_{\ast}^{E_{k}-}\left( \boldsymbol{R}\right) \)\ which always give a lower bound on the number of cells in a cellular approximation, and under certain asuumptions on both \textsf{S}\ and \(\boldsymbol{R}\)\ this bound may be realized. These \(E_{k}\)-homology groups are defined as the homology groups of an object \(Q_{\mathbb{L}}^{E_{k}}\left( \boldsymbol{R}\right) \)\ of derived \(E_{k}\)-indecomposables of \(\boldsymbol{R}\), constructed to satisfy \(Q_{\mathbb{L}}^{E_{k}}\left( F^{E_{k}}\left( X\right) \right) \simeq X_{+}\)\ and preserve homotopy colimits. The \(E_{k}\)-indecomposables may be thought of as measuring generators, relations, syzygies, etc. for \(\boldsymbol{R}\)\ as an \(E_{k}\)-algebra and are obtained by deriving the construction which takes the quotient of \(\boldsymbol{R}\)\ by the sub-object obtained by applying all possible operations of \(E_{k}\)\ to \(\boldsymbol{R}\)\ of arity at least 2.\N\NThe main text of the book divides into four parts, namely, Part I (Chapter 2-Chapter 6), Part II (Chapter 7-Chapter 11), Part III (Chapter 12-Chapter 16) and Part IV (Chapter 17-Chapter 20). Part I addresses the category of algebras over a sifted monad on a category \textsf{S}, most of which arise from operads. This part aims at the definitions of indecomposables, cell attachments and CW-algebras. Part II adds homotopy-theoretic considerations to the theory developed in Part I, where the main construction of interest is the functor of derived \(T\)-indecomposables \(Q_{\mathbb{L}}^{T}\) and the main technical tools are simplicial formulae for computing various derived functors, spectral sequences for computing with filtered objects, a Hurewicz theorem for \(\mathcal{O}\)-homology and a cellular approximation theorem for \(\mathcal{O}\)-algebras. Part III applies the results of Part I and Part II to \(E_{k}\)-algebras, developing a slew of tools suitable to this setting, most importantly a result relating \(Q_{\mathbb{L}}^{E_{k}}\)\ to \(k\)-fold bar construction. Part IV use the techniques developed in the previous three parts to establish results related to homological stability in the setting of \(E_{k}\)-algebras arising from monoidal groupoids, where it is shown that the derived \(E_{1}\)-indecomposables can be computed in terms of a semi-simplicial set of splittings, describing the relationship to Koszul duality and giving a generic homological stability results for both constant and local coefficients.\N\NThe synopsis of the book goes as follows:\N\N\begin{itemize}\N\item[Chapter 2] discusses axioms on a category \textsf{S}\ necessary for a good theory of algebras over a sifted monad.\N\N\item[Chapter 3] explains the theory of algebras over a monad on \(\mathsf{C} \)\ preserving sifted colimits.\N\N\item[Chapter 4] shows that the monad associated to an operad always preserves sifted colimits.\N\N\item[Chapter 5] is concerned with filtered objects in \(\mathsf{C}\)\ as well as filtered \(\mathcal{O}\)-algebras, presenting various constructions related to them.\N\N\item[Chapter 6] explains how to attach a \(T\)-algebra cell to a \(T\)-algebra. When the monad comes from an operad \(\mathcal{O}\), the authors describe a canonical filtration on a cell attachment. They define cellular and CW \(\mathcal{O}\)-algebras.\N\N\item[Chapter 7] requiring the category \textsf{S}\ to be a model category, discussing model categorical axioms necessary for a good homotopy theory of algebras over a sifted monad.\N\N\item[Chapter 8] is concerned with the interaction of homotopy theory with the theory of monads of Chapter 3, explaining how to obtain a model structure on the category of algebras over a monad. Simplicial formulae are given to make the derived functors computable.\N\N\item[Chapter 9] verifies the axioms of \S 8.1 in the case of monads \(T:\mathsf{C}\rightarrow\mathsf{C}\)\ arising from an operad \(\mathcal{O}\)\ in \(\mathsf{C}\)\ as discussed in Chapter 4.\N\N\item[Chapter 10] is concerned with the filtrations of Chapter 5 from a homotopical point of view, giving the construction of their attendant spectral sequences.\N\N\item[Chapter 11] establishes Hurewicz theorems for \(\mathcal{O}\)-homology (\S 11.2 and \S 11.3), culminating in Corollary 11.14 which identifies, under certain conditions, the first non-trivial \(\mathcal{O}\)-homology group in terms of the corresponding ordinary homology group. \S 11.4 establishes conditions under which \(\mathcal{O}\)-homology can be used to detect weak homotopy equivalences. \S 11.5 develops a theory of (minimal) CW-approximations, which makes use of the ordinary Hurewicz theorem comparing homology and homotopy groups.\N\N\item[Chapter 12] specializes the theory of Parts I and II to the monad associated to the little \(k\)-cubes operad (\S 12.1). \S 12.2 addresses some technical points of the theory of \(E_{1}\)-modules over \(E_{k}\)-algebras.\N\N\item[Chapter 13] describes another way of computing the derived indecomposables to the particular case that \(T=E_{k}\)\ is the non-unital little \(k\)-cubes\ monad, besides the two ways already discussed in \S 8.2. It results in the \(k\)-fold iterated bar construction.\N\N\item[Chapter 14] explains under which circumstances vanishing lines for \(E_{k-1}\)-homology imply vanishing lines for \(E_{k+1}\)-homology (transferring down) or \(E_{k}\)-homology (transferring up). Transferring up uses the bar construction of the previous chapter, while transferring down is the first application of the theory of \(E_{k}\)-cells.\N\N\item[Chapter 15] compares \(H_{\ast,\ast}^{E_{k}-}\left( \boldsymbol{S} ,\boldsymbol{R}\right) \)\ (which measures the \(E_{k}\)-algebra cells necessary to construct \(\boldsymbol{S}\)\ from \(\boldsymbol{R}\)) with \(H_{\ast,\ast }^{\boldsymbol{R}}\left( \overline{\boldsymbol{S}}\right) \)\ (which measures \(\overline{\boldsymbol{R}}\)-module cells necessary to construct \(\overline {\boldsymbol{S}}\)).\N\N\item[Chapter 16] makes use of computations of Cohen, Lada and May [\textit{F. R. Cohen} et al., The homology of iterated loop spaces. Springer, Cham (1976; Zbl 0334.55009), Part III] to describe the homology of free unital \(E_{k}\)-algebras in the case that \(\mathsf{G}\)\ is a discrete symmetric monoidal groupoid, obtaining a description of the homology of an \(E_{k}\)-cell attachment (\S 16.4). Spectral sequences and operations on them are investigated in \S 16.5 and \S 16.6.\N\N\item[Chapter 17] explains the basic application of the theory developed in this book to \(E_{k}\)-algebras arising as the classifying space of a monoidal groupoid.\N\N\item[Chapter 18] deduces a generic homological stability result based on the theory developed in this book.\N\N\item[Chapter 19] explains how to obtain results for local coefficients analogous to the generic homological stability results obtained in the previous chapter.\N\N\item[Chapter 20] specializes to \textsf{S}\(=\mathsf{sMod}_{\boldsymbol{k}} \)\ for a commutative ring \(\boldsymbol{k}\)\ and \(\mathsf{C}=\mathsf{sMod} _{\boldsymbol{k}}^{\mathsf{G}}\)\ for an Artinian monoidal category \(\mathsf{G}\). The goal is to explain how, for a quadratic algebra, the standard connectivity estimate is equivalent to this algebra having the Koszul property.\N\end{itemize}