Function spaces and classifying spaces of algebras over a PROP (Q341763)

PROPs are generalizations of Lawvere theories to arbitrary symmetric monoidal categories \(\mathsf{V}\). If \(\mathsf{V}\) carries a suitably compatible model structure one can study homotopy properties of PROPs and their algebras in \(\mathsf{V}\). This is done, for example, in [\textit{B. Fresse}, Georgian Math. J. 17, No. 1, 79--160 (2010; Zbl 1227.18007)] and [\textit{M. W. Johnson} and \textit{D. Yau}, J. Homotopy Relat. Struct. 4, No. 1, 275--315 (2009; Zbl 1188.18007)]. The paper under review is a continuation of work done by the author [\textit{S. Yalin}, Algebr. Geom. Topol. 14, No. 5, 2561--2593 (2014; Zbl 1315.18025)] where it was shown that, under suitable assumptions, homotopy equivalent PROPs have homotopy equivalent categories of algebras; meaning these categories of algebras have homotopy equivalent classifying spaces. For a given PROP \(P\) in \(\mathsf{V}\) there is a forgetful functor from the category of \(P\)-algebras to \(\mathsf{V}\), giving rise to a map of the respective classifying spaces. The main theorem of this paper gives a description of the homotopy fiber over a given object \(X\) of \(\mathsf{V}\) of this map, i.e., the moduli space of \(P\)-algebra structures on \(X\). The description is given in terms of a simplicial mapping space called \(P\{X\}\). The focus is on the category of chain complexes as the symmetric monoidal setting, although many results hold more generally. The case of colored PROPs is also considered.