related by the Dold-Kan correspondence
symmetric monoidal (∞,1)-category of spectra
A Boardman-Vogt resolution or W-construction is a particular choice of cofibrant resolution of topological operads (or simplicial operads or similar). It is closely related to the operation of forming the dendroidal homotopy coherent nerve. Its restriction to Top-enriched categories / simplicial categories is accordingly closely related to the ordinary homotopy coherent nerve.
The construction is an variant of the free operad construction, where the free composites of operations are further labeled by “distances” such that for vanishing distance the free composite is replaced with the actual composite.
The original Boardman-Vogt resolution over Top generalizes naturally to a cofibrant resolution in the model structure on operads for operads enriched over any suitable monoidal model category that is equipped with a suitable comonoidal interval object. In this general form the construction subsumes
the W-construction on topological operads (BoardmanVogt);
the Godement simplicial resolution (Godement)
Over Top the BV-resolution works as follows:
The operad is obtained from this by in addition
labeling the inner edges of any tree by real numbers ;
identifying trees one of whose edges has length 0 with the tree with that edge removed and with the correspnding operad-operation labels composed.
equipping the set of labeled trees with the corresponding quotient of the product topology, to make it into a topological space.
There is an evident operad morphism obtained by regarding each edge of a tree as being of length 1, and there is an evident morphism obtained by forgetting all trees and sending their operad-operation-labels to their composite.
is the counit of the free/forgetful adjunction between operads and their underlying collections and if is degreewise sufficiently nice, this factors that counit as a cofibration followed by a weak equivalence and exhibits as a cofibrant resolution of .
For a tree, write
where the tensor product runs over all internal edges of . For a subset of internal edges, let
The acyclic cofibration induces an acyclic cofibration
and, by the pushout-product axiom, an acyclic cofibration
In a similar fashion, for an operad, write for the tensor product of one copy of its objects of -ary operation for each -ary vertex in , and for the coproduct over all such tensor products where at least one, maybe more, unary vertices are omitted. Also the canonical
is a cofibration. Consider for each the pushout
This induces a univesal morphism
Define by induction. Start with setting
Assume that in each induction step we are given morphisms
for all trees with less than internal edges. Using the composition operation in the operad to compose two operation when the edge connecting them carries no -label, we obtain from this a morphism
Then in the induction step we define for each the object by the pushout
where is the subcategory of trees with precisely inputs and internal edges.
The bottom morphism we feed back into the induction procedure.
This gives a sequence of collections, and the W-resolution is its colimit
One shows that this collection naturally carries the structure of an operad, etc. pp.
The object is to be thought of as the space whose points are tuples conisting of one operation in per vertex in , of that arity, and of labels in assigned to the inner edges in .
The object is a similar space, but where some of the labels on the inner edges are omitted.
The above pushout identifies points that contain lables of inner edges that are 0 with points in one -stratum below where that edge (or rather its label) is simply omitted and the corresponding operations composed.
The W-construction on topological operads is in
The cobar-bar resolution of chain complex operads is in
The Godement simplicial resolution is in
The generalization to operads enriched in any monoidal category with a suitable interval object is in