There are two main approaches to the problem of realizing a $Pi$-algebra (a graded group $Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an algebraic free simp
licial resolution $G_bullet$ of $Lambda$ by a simplicial space $W_bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of Andr{e}-Quillen cohomology classes in $H_{AQ}^{n+2}(Lambda;Omega^{n}Lambda)$ for $n geq 1$ as obstructions to the existence of successive Postnikov sections for $W_bullet$ by work of Dwyer, Kan and Stover. The second gives a sequence of geometrically defined higher homotopy operations as the obstructions by earlier work of Blanc; these were identified with the obstruction theory of Dwyer, Kan and Smith in earlier work of the current authors. There are also (algebraic and geometric) obstructions for distinguishing between different realizations of $Lambda$. In this paper we 1) provide an explicit construction of the cocycles representing the cohomology obstructions; 2) provide a similar explicit construction of certain minimal values of the higher homotopy operations (which reduce to long Toda brackets), and 3) show that these two constructions correspond under an evident map.
Variations on the notions of Reedy model structures and projective model structures on categories of diagrams in a model category are introduced. These allow one to choose only a subset of the entries when defining weak equivalences, or to use differ
ent model categories at different entries of the diagrams. As a result, a bisimplicial model category that can be used to recover the algebraic K-theory for any Waldhausen subcategory of a model category is produced.
Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over cofibrant colored
PROPs is proved. As an example, we define homotopy topological conformal field theories and observe that such structures are homotopy invariant.
We explain how higher homotopy operations, defined topologically, may be identified under mild assumptions with (the last of) the Dwyer-Kan-Smith cohomological obstructions to rectifying homotopy-commutative diagrams.
The aim of this paper is to construct and examine three candidates for local-to-global spectral sequences for the cohomology of diagrams of algebras with directed indexing. In each case, the $E^2$ -terms can be viewed as a type of local cohomology relative to a map or an object in the diagram.
In this article we build a Quillen model category structure on the category of sequentially complete l.m.c.-C*-algebras such that the corresponding homotopy classes of maps Ho(A,B) for separable C*-algebras A and B coincide with the Kasparov groups K
K(A,B). This answers an open question posed by Mark Hovey about the possibility of describing KK-theory for C*-algebras using the language of Quillen model categories.
