Pointed integral coalgebras and R-local homotopy theory
We show that, for a principal ideal domain R, the homotopy category of Bousfield R-local spaces injects fully faithful into a homotopy category of simplicial pointed flat coalgebras.
arXiv subjects
Publications and source records attributed to Manfred Stelzer.
We show that, for a principal ideal domain R, the homotopy category of Bousfield R-local spaces injects fully faithful into a homotopy category of simplicial pointed flat coalgebras.
We show that a version of the cube axiom holds in cosimplicial unstable coalgebras and cosimplicial spaces equipped with a resolution model structure. As an application, classical theorems in unstable homotopy theory are extended to this context.
We show nilpotency and completeness results for the homotopy automorphisms of a marked n-stage for an unstable coalgebra. These objects figure in the moduli problem of unstable coalgebras. Our theorems extend classical work of Dror, Zabrodsky, Maruyama and M\o ller.
Unstable coalgebras over the Steenrod algebra form a natural target category for singular homology with prime field coefficients. The realization problem asks whether an unstable coalgebra is isomorphic to the homology of a topological space. We study the moduli space of such realizations and give a description of this in terms of cohomological invariants of the unstable coalgebra. This is accomplished by a thorough comparative study of the homotopy theories of cosimplicial unstable coalgebras and of cosimplicial spaces.
We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas their construction gives rise to simplicial categories. As an application we show that a simplicial algebra over a $\Sigma$-free $Cat$ operad $\mathcal{O}$ is functorially weakly equivalent to a $Cat$ algebra over $\mathcal{O}$. When combined with the results of a previous paper, this allows us to conclude that up to weak equivalences the category of $\mathcal{O}$-categories is equivalent to the category of $B\mathcal{O}$-spaces, where $B:Cat\to Top$ is the classifying space functor. In particular, $n$-fold loop spaces (and more generally $E_n$ spaces) are functorially weakly equivalent to classifying spaces of $n$-fold monoidal categories. Another application is a change of operads construction within $Cat$.
We extend Thomason's homotopy colimit construction in the category of permutative categories to categories of algebras over an arbitrary $\Cat$ operad and analyze its properties. We then use this homotopy colimit to prove that the classifying space functor induces an equivalence between the category of $n$-fold monoidal categories and the category of $\mathcal{C}_n$-spaces after formally inverting certain classes of weak equivalences, where $\mathcal{C}_n$ is the little $n$-cubes operad. As a consequence we obtain an equivalence of the categories of $n$-fold monoidal categories and the category of $n$-fold loop spaces and loop maps after localization with respect to some other class of weak equivalences. We recover Thomason's corresponding result about infinite loop spaces and obtain related results about braided monoidal categories and 2-fold loop spaces.
A group completion functor Q is constructed in the category of algebras in simplicial sets over a cofibrant E_n-operad M. It is shown that Q defines a Bousfield-Friedander simplicial model category on M-algebras.
We employ the Goodwillie spectral sequence for the iterated loop space functor in order to provide realizability conditions on certain unstable modules over the Steenrod algebra at an odd prime.