nLab
model structure for dendroidal complete Segal spaces

Idea

The model structure for dendroidal complete Segal spaces is an operadic generalization of the model structure for complete Segal spaces. It serves to present the (∞,1)-category of (∞,1)-operads.

A complete dendroidal Segal space $X$ is much like a dendroidal set, only that it has for each tree $T$ not just a set of dendrices, but a simplicial set $X_T\in \mathrm{sSet}$, subject to some conditions. The model structure discussed here is defined on the category of all simplicial presheaves over the tree category, such that the fibrant objects are precisely the dendroidal complete Segal spaces.

Definition

Write $\Omega$ for the tree category, the site for dendroidal sets

$$\mathrm{dSet}:=[{\Omega }^{\mathrm{op}},\mathrm{Set}].$$dSet := [\Omega^{op}, Set] \,.

Write $\otimes$ for the Boardman-Vogt tensor product on dendroidal sets (see there for details).

Definition

Let ${\mathrm{dsSet}}_{\mathrm{gReedy}}:=[{\Omega }^{\mathrm{op}},\mathrm{sSet}]$ be the category of dendroidal simplicial sets, equipped with the generalized Reedy model structure induced from the generalized Reedy category $\Omega$.

Write

$${\mathrm{dsSet}}_{\mathrm{Segal}}\overleftarrow{\to }{\mathrm{dsSet}}_{\mathrm{gReedy}}$$dsSet_{Segal} \stackrel{\leftarrow}{\to} dsSet_{gReedy}

for the left Bousfield localization at the set of dendroidal spine (“Segal core”) inclusions $\{\mathrm{Sp}[T]\to \Omega [T]{\}}_{T\in \Omega }$, to be called the model structure for dendroidal Segal spaces.

A fibrant object in this category is called a dendroidal Segal space.

Write

$${\mathrm{dsSet}}_{\mathrm{cSegal}}\overleftarrow{\to }{\mathrm{dsSet}}_{\mathrm{Segal}}$$dsSet_{cSegal} \stackrel{\leftarrow}{\to} dsSet_{Segal}

for the further left Bousfield localization at the set of morphisms $\{\Omega [T]\otimes (J_d\to \eta ){\}}_{T\in \Omega ,}$, where $J_d$ is the dendroidal groupoidal interval

$$J_d:=i_{!}(N(\{0\stackrel{\simeq }{\to }1\})).$$J_d := i_!(N(\{0 \stackrel{\simeq}{\to} 1\})) \,.

Call this the model structure for complete dendroidal Segal spaces.

A fibrant object in here is called a complete dendroidal Segal space.

This is (Cisinski-Moerdijk, def. 5.4, def. 6.2).

Proposition

The localization at the dendroidal spine inclusions is equivalently the left Bousfield localization at the set of dendroidal inner horn inclusions.

This is Cisinski-Moerdijk, prop. 5.5, def. 6.2.

Proof

By the nature of left Bousfield localization, it is sufficient to show that one localizing set of morphisms is contained in the weak equivalences of the other.

In one direction, it is clear that every inner anodyne morphism of dendroidal sets is a weak equivalence in the localization at the horn inclusions. By the discussion at spine, the spine inclusions are indeed inner anodyne.

Conversely, one checks that the weak equivalences generated by the spine inclusions contain all inner anodyne morphisms (Cisinski-Moerdijk, prop. 2.8)

Definition

Write $\eta \in \Omega$ for the tree with a single edge and no vertex. For $n\in \mathbb{N}$ write $C_n\in \Omega$ for the $n$-corolla, the tree with a single vertex and $n$ leaves (and the root).

Definition

For $X$ a dendroidal Segal space, and for $(x_1,\cdots ,x_n;x)\in (X(\eta {)}_0{)}^{n+1}$, write $X(x_1,\cdots ,x_n;x)\in \mathrm{sSet}$ for the pullback

$$\begin{array}{ccc}X(x_1,\cdots ,x_n;x)& \to & X(C_n)\\ \downarrow & & \downarrow \\ *& \stackrel{(x_1,\cdots ,x_n;x)}{\to }& (X(\eta ){)}^{n+1}\end{array}.$$\array{ X(x_1, \cdots, x_n; x) &\to& X(C_n) \\ \downarrow && \downarrow \\ * &\stackrel{(x_1, \cdots, x_n; x)}{\to}& (X(\eta))^{n+1} } \,.

Remark

These simplicial sets $X(x_1,\cdots ,x_n;x)$ are Kan complexes and in fact are the homotopy fibers of the right vertical morphism.

Proof

The inclusion ${\eta }^{n+1}\to \Omega (C_n)$ is a cofibration in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Segal}}$. So in this simplicial model category the right vertical morphism in def. 3 are Kan fibrations. These are stable under ordinary pullback, and their ordinary pullback is a homotopy pullback (as discussed there).

Definition

A morphism $f:X\to Y$ between dendroidal Segal spaces is fully faithful if for all $(x_1,\cdots ,x_n;x)\in X(\eta {)}^{n+1}$, for all $n\in \mathbb{N}$ the corresponding morphism

$$X(x_1,\cdots ,x_n;x)\to Y(f(x_1),\cdots ,f(x_n);f(x))$$X(x_1, \cdots, x_n; x) \to Y(f(x_1), \cdots, f(x_n); f(x))

is a homotopy equivalence.

Properties

Basic technical properties

As for any category of simplicial presheaves we have

Remark

The category $[{\Omega }^{\mathrm{op}},\mathrm{sSet}]$ is canonically tensored, cotensored and enriched over sSet.

The tensoring is given by the degreewise cartesian product in sSet:

$$\cdot :\mathrm{sSet}\times [{\Omega }^{\mathrm{op}},\mathrm{sSet}]\to [{\Omega }^{\mathrm{op}},\mathrm{sSet}]$$\cdot : sSet \times [\Omega^{op}, sSet] \to [\Omega^{op}, sSet]

$$(S,X)\mapsto (S\cdot X:T\mapsto S\times X(T)).$$(S, X) \mapsto (S \cdot X : T \mapsto S \times X(T)) \,.

For $X\in \mathrm{dSet}$ a dendroidal set, the hom object functor restricted along $\mathrm{dSet}\hookrightarrow [{\Omega }^{\mathrm{op}},\mathrm{sSet}]$

$$X^{(-)}:{\mathrm{dSet}}^{\mathrm{op}}\to \mathrm{sSet}$$X^{(-)} : dSet^{op} \to sSet

is the essentially unique limit-preserving functor such that for all $T\in \Omega$

$$X^{\Omega [T]}=X(T).$$X^{\Omega[T]} = X(T) \,.

We will often write ”$\times$” also for the tensoring ”$\cdot$”.

Proof

The essential uniqueness in the last clause follows, because by the co-Yoneda lemma every dendroidal set $S$ may be written as a colimit over its cells

$$S{=}_{\mathrm{iso}}\underset{\underset{(\Omega [T]\to S)}{\to }}{\lim }\Omega [T].$$S =_{iso} {\lim_{\underset{(\Omega[T] \to S)}{\to}}} \Omega[T] \,.

Therefore

$$X^S=\underset{\underset{(\Omega [T]\to S)}{\leftarrow }}{\lim }X(T).$$X^S = {\lim_{\underset{(\Omega[T] \to S)}{\leftarrow}}} X(T) \,.

Proposition

For $X\in [{\Omega }^{\mathrm{op}},\mathrm{sSet}]$, and $T\in \Omega$, the matching object of $X$ at $T$ (in the sense of generalized Reedy model structure) is

$${\mathrm{Match}}_{T}X=X^{\partial \Omega [T]}.$$Match_T X = X^{\partial \Omega[T]} \,.

For $f:X\to Y$ a morphism, the relative matching morphism

$$X(T)\to {\mathrm{Match}}_{T}X{\times }_{{\mathrm{Match}}_{T}Y}Y(T)$$X(T) \to Match_T X \times_{Match_T Y} Y(T)

is the universal morphism induced from the commutativity of the diagram

$$\begin{array}{ccc}{X}^{\Omega [T]}& \stackrel{f^{\Omega [T]}}{\to }& Y^{\Omega [T]}\\ \downarrow & & \downarrow \\ X^{\partial \Omega [T]}& \stackrel{f^{\partial \Omega [T]}}{\to }& Y^{\partial \Omega [T]}\end{array}.$$\array{ X^{\Omega[T]} &\stackrel{f^{\Omega[T]}}{\to}& Y^{\Omega[T]} \\ \downarrow && \downarrow \\ X^{\partial \Omega[T]} &\stackrel{f^{\partial \Omega[T]}}{\to}& Y^{\partial \Omega[T]} } \,.

Proof

By definition

$${\mathrm{Match}}_{T}X={\underleftarrow{\lim }}_{(T\prime \hookrightarrow T)}X(T\prime ),$$Match_T X = {\lim_{\leftarrow}}_{(T' \hookrightarrow T)} X(T') \,,

where the limit is over faces of $T$. By remark 2 this is

$$\cdots \simeq X^{({\underrightarrow{\lim }}_{(T\prime \hookrightarrow T)}\Omega [T\prime ])}.$$\cdots \simeq X^{({\lim_\to}_{(T' \hookrightarrow T)} \Omega[T'])} \,.

By the discussion at dendroidal set, the exponent is the boundary of the tree $T$.

Similarly one finds that the morphism $X(T)\to {\mathrm{Match}}_{T}X$ is

$$X^{\partial \Omega [T]\hookrightarrow \Omega [T]}:X^{\Omega [T]}\to X^{\partial \Omega [T]}.$$X^{\partial \Omega[T] \hookrightarrow \Omega[T]} : X^{\Omega[T]} \to X^{\partial \Omega[T]} \,.

Equivalent localization

We discuss a different set of morphisms, such that the model structure $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ localized at it still coincides with the localization $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$ from def. 1. This different localization makes more immediate the Quillen equivalence to the model structure on dendroidal sets that we discuss below in in Relation to dendroidal sets.

Notice that, by the discussion there, the model structure on dendroidal sets, ${\mathrm{dSet}}_{\mathrm{CM}}$, is a cofibrantly generated model category. Accordingly, there is a set of generating acyclic cofibrations, which we will write

$$S=\{A\to B\}\subset \mathrm{Mor}(\mathrm{dSet}).$$S = \{A \to B\} \subset Mor(dSet) \,.

While its existence is known, no explicit description is presently available, but we do know that we may assume that

1. domain and codomain of all elements of $S$ are normal dendroidal sets, hence cofibrant;

2. it contains a morphism $\eta \to J$, where $J$ is the codiscrete groupoid on two objects, regarded as a unary operad, regarded as a dendroidal set.

Proposition

The model structure $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$ coincides with the left Bousfield localization of $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ at the set of pushout-product morphisms

$${\{(A\to B)\overline{\cdot }(\partial \Delta [n]\to \Delta [n])\}}_{(A\to B)\in S,n\in \mathbb{N}}.$$\left\{ (A \to B) \bar \cdot ( \partial \Delta[n] \to \Delta[n] ) \right\}_{(A \to B) \in S, n \in \mathbb{N}} \,.

(Cis-Moer, cor. 6.5).

Lemma

For every normal dendroidal set $A$, the morphism $A{\otimes }_{\mathrm{BV}}(J\to \eta )$ is a weak equivalence in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$.

Moreover, every ”$J$-anodyne extension” is a weak cSegal-equivalence, meaning every morphism generated by pushout, transfinite composition and retracts from the pushout-products of $\{e\}\to J$ with tree boundary inclusions.

(Cis-Moer, prop. 6.3)

Proof

For the first statement, it is sufficient to show that the morphism is a weak equivalence regarded in the slice model structure

$$[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}/A\simeq [(\Delta \times \Omega /A{)}^{\mathrm{op}},\mathrm{Set}].$$[\Omega^{op}, sSet]_{cSegal} / A \simeq [(\Delta \times \Omega / A)^{op}, Set] \,.

The category of elements $\Delta \times \Omega /A$ is a “regular skeletal category” in the sense of Cisinski model structure theory. By a lemma there, natural transformations between functors preserving colimits and monomorphisms are componentwise weak equivalences is they are so on representables.

Now $J\otimes (-)$ does preserve colimits and monomorphisms, and on representables the transformation $J\otimes (-)\to \eta \otimes (-)$ is a cSegal-equivalence by definition.

The second statement now follows using that $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$ is a left proper model category, being the left Bousfield localization of a left proper model category. Using this we have that with $(\eta \to J_d)\otimes \partial \Omega [T]$ also its pushout $\Omega [T]\to \Omega [T]\cup J_d\otimes \partial \Omega [T]$ is a weak equivalence, and so by two-out-of-three with the composite

$$(\eta \to J_d)\otimes \Omega [T]=\Omega [T]\to \Omega [T]\cup J_d\otimes \partial \Omega [T]\stackrel{(\eta \to J_d)\overline{\otimes }(\partial \Omega [T]\to \Omega [T])}{\to }{J}_d\otimes \Omega [T]$$(\eta \to J_d)\otimes \Omega[T] = \Omega[T] \to \Omega[T] \cup J_d \otimes \partial \Omega[T] \stackrel{(\eta \to J_d)\bar \otimes (\partial \Omega[T] \to \Omega[T])}{\to} J_d \otimes \Omega[T]

also the pushout-product itself.

Proof

of prop. 3

By this proposition the acyclic cofibrations between normal dendroidal sets are generated from the $J$-anodyne extensions and closure under left cancellation property. Therefore by lemma 1 and two-out-of-three, they are all complete weak equivalences.

Therefore by the pushout-product axiom in the simplicial model category $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$, their powering into a fibration is an acyclic Kan fibration. By Joyal-Tierney calculus this means that all the pushout-products $(A\to B)\overline{\cdot }(\partial \Delta [n]\to \Delta [n])$ have the left lifting property against fibrations, hence that they are weak equivalences in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$.

Since therefore all the morphisms $(A\to B)\overline{\cdot }(\partial \Delta [n]\to \Delta [n])$ are weak equivalences in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$, it is now sufficient to show, conversely, that the morphisms that define the complete Segal localization are weak equivalence in the localization at these morphisms. For the tree horn inclusions this is clear, since they are among the localizing maps for $n=0$. For the morphisms $(J_d\to \eta )\otimes \Omega [T]$ observe that

$$(\eta \to J_d)\overline{\otimes }(\varnothing \to \Omega [T])=(\eta \to J_d)\otimes \Omega [T]$$(\eta \to J_d) \bar \otimes (\emptyset \to \Omega[T]) = (\eta \to J_d) \otimes \Omega[T]

is $J$-anodyne (see Cisinski model structure), hence by 2-out-of-3 its retraction $(J_d\to \eta )\otimes \Omega [T]$ is a weak equivalence.

Fibrations and Cofibrations

Proposition

A morphism $f:X\to Y$ in $[{\Delta }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ is a fibration or acyclic fibration, precisely if for all trees $T\in \Omega$, the morphism of hom objects

$$X^{\Omega [T]}\to X^{\partial \Omega [T]}{\times }_{Y^{\partial \Omega T}}{Y}^{\Omega [T]}$$X^{\Omega[T]} \to X^{\partial \Omega[T]} \times_{Y^{\partial \Omega{T}}} Y^{\Omega[T]}

is a Kan fibration or acyclic Kan fibration, respectively.

Proof

By definition of generalized Reedy model structure and using prop. 2.

Proposition

The generalized Reedy model structure $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReeedy}}$ is a cofibrantly generated model category with set of generating cofibrations

$$I:=\{\partial \Delta [n]\cdot \Omega [T]\cup \Delta [n]\cdot \partial \Omega [T]\to \Delta [n]\cdot \Omega [T]{\}}_{n\in \mathbb{N},T\in \Omega }$$I := \{\partial \Delta [n] \cdot \Omega[T] \cup \Delta[n] \cdot \partial \Omega[T] \to \Delta[n] \cdot \Omega[T]\}_{n \in \mathbb{N}, T \in \Omega}

and with set of acyclic generating cofibrations

$$J:=\{{\Lambda }^k[n]\cdot \Omega [T]\cup \Delta [n]\cdot \partial \Omega [T]\to \Delta [n]\cdot \Omega [T]{\}}_{n\in \mathbb{N},T\in \Omega }.$$J := \{\Lambda^k[n] \cdot \Omega[T] \cup \Delta[n] \cdot \partial \Omega[T] \to \Delta[n] \cdot \Omega[T]\}_{n \in \mathbb{N}, T \in \Omega} \,.

The statement is (Cisinski-Moerdijk, prop. 5.2). The following proof proceeds in view of remark 5.3 there.

Proof

By prop. 4 we have that a morphism $f:X\to Y$ in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ is a fibration or acyclic fibration precisely if for all trees $T$ the canonical morphism

$$X^{\Omega [T]}\to X^{\partial \Omega [T]}{\times }_{Y^{\partial \Omega [T]}}{Y}^{\Omega [T]}$$X^{\Omega[T]} \to X^{\partial \Omega[T]} \times_{Y^{\partial \Omega[T]}} Y^{\Omega[T]}

is a Kan fibration or acyclic Kan fibration, respectively.

This means equivalently that every diagram

$$\begin{array}{ccc}{\Lambda }^k\Delta [n]& \to & X^{\Omega [T]}\\ \downarrow & & \downarrow \\ \Delta [n]& \to & X^{\partial \Omega [T]}{\times }_{Y^{\partial \Omega [T]}}{Y}^{\Omega [T]}\end{array}$$\array{ \Lambda^k \Delta[n] &\to& X^{\Omega[T]} \\ \downarrow && \downarrow \\ \Delta[n] &\to& X^{\partial \Omega[T]} \times_{Y^{\partial \Omega[T]}} Y^{\Omega[T]} }

or, respectively,

$$\begin{array}{ccc}\partial \Delta [n]& \to & X^{\Omega [T]}\\ \downarrow & & \downarrow \\ \Delta [n]& \to & X^{\partial \Omega [T]}{\times }_{Y^{\partial \Omega [T]}}{Y}^{\Omega [T]}\end{array}$$\array{ \partial \Delta[n] &\to& X^{\Omega[T]} \\ \downarrow && \downarrow \\ \Delta[n] &\to& X^{\partial \Omega[T]} \times_{Y^{\partial \Omega[T]}} Y^{\Omega[T]} }

has a lift. A little reflection shows (see Joyal-Tierney calculus) that this, in turn, is equivalent to that every diagram

$$\begin{array}{ccc}{\Lambda }^k[n]\times \Omega [T]\cup \Delta [n]\times \partial \Omega [T]& \to & X\\ \downarrow & & \downarrow \\ \Delta [n]\times \Omega [T]& \to & Y\end{array}$$\array{ \Lambda^k[n] \times \Omega[T] \cup \Delta[n]\times \partial \Omega[T] &\to& X \\ \downarrow && \downarrow \\ \Delta[n] \times \Omega[T] &\to& Y }

or, respectively,

$$\begin{array}{ccc}\partial \Delta [n]\times \Omega [T]\cup \Delta [n]\times \partial \Omega [T]& \to & X\\ \downarrow & & \downarrow \\ \Delta [n]\times \Omega [T]& \to & Y\end{array}$$\array{ \partial \Delta[n] \times \Omega[T] \cup \Delta[n]\times \partial \Omega[T] &\to& X \\ \downarrow && \downarrow \\ \Delta[n] \times \Omega[T] &\to& Y }

has a lift.

The statement follows by using the small object argument.

Remark

Being a category of presheaves, $[{\Omega }^{\mathrm{op}},\mathrm{sSet}]$ is a locally presentable category. Together with the cofibrant generation of the model structure from prop. 5 this means that $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ is a combinatorial model category. This implies that it has a good theory of left Bousfield localization at sets of morphisms.

Proposition

The cofibrations in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ are precisely the simplicial-degree-wise normal monomorphisms of dendroidal sets (see here).

This is (Cisinski-Moerdijk, cor. 4.3).

Proof

The generating inclusions in prop. 5 are the boundary inclusions of representables in the product site $\Delta \times \Omega$, regarded as a Cisinski-generalized Reedy category. By the discussion there, these generate the normal monomorphisms on $\Delta \times \Omega$. But since $\Delta$ contains no non-trivial automorphisms, this are just the degreewise dendroidal normal monomorphisms.

Proposition

The generalized Reedy model structure $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ equipped with the sSet-enrichment from remark 2 is an enriched model category over the standard model structure on simplicial sets – a simplicial model category.

Proof

It is sufficient to check the pushout-product axiom for the tensoring operation. So for $a:S\to T$ a monomorphism of simplicial sets and $f:X\to Y$ a degreewise normal monomorphisms in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}]$, we need to check, by prop 6, that the canonical morphism

$$(S\cdot Y)\coprod _{(S\cdot X)}(T\cdot X)\to T\cdot Y$$(S \cdot Y) \coprod_{(S \cdot X)} (T \cdot X) \to T \cdot Y

is a simplicial-degreewise normal monomorphism, which is a weak equivalence if either of $a$ or $f$ is. Since this coproduct is computed objectwise, this morphism is over $[n]\in \Delta$ the pushout of simplicial sets

$$(S_n\cdot Y_n)\coprod _{(S_n\cdot X_n)}(T_n\cdot X_n)\to T_n\cdot Y_n,$$(S_n \cdot Y_n) \coprod_{(S_n \cdot X_n)} (T_n \cdot X_n) \to T_n \cdot Y_n \,,

where now the tensoring is that of dendroidal sets over sets, which is given by coproduct of dendroidal sets, $S_n\cdot Y_n={\coprod }_{s\in S_n}{Y}_n$. It is clear that this is a monomorphism.

Moreover, the image of this morphism contains the image of $T_n\cdot f_n$, which for each summand $t\in T_n$ is the image of $f$. Therefore the dendrices not in this image are also summand-wise not in the image of $f$, hence have trivial stabilizer groups, by the assumption that $f$ is a normal monomorphism.

Finally, to see that the above morphism out of the pushout is a weak equivalence if either of $a$ or $f$ is, use that in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{fReedy}}$ the weak equivalences are tree-wise those of simplicial sets. The statement then follows by ${\mathrm{sSet}}_{\mathrm{Quillen}}$ being a monoidal model category with respect to its cartesian monoidal category structure.

Some of these properties are inherited by the actual model structure for dendroidal complete Segal spaces

Corollary

The model structures $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Segal}}$ and $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$

• are combinatorial simplicial model categories;

• have as cofibrations precisely the simplicial-degreewise normal monomorphisms.

Proof

Since cofibrations and simplicial enrichment are preserved by left Bousfield localization, this follows from the analogous statements for $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$.

Fibrant objects

Remark

An object $X\in [{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ is fibrant, precisely if for every tree $T\in \Omega$, the morphism

$$X^{(\partial \Omega [T]\hookrightarrow \Omega [T])}:X(T)\to X^{\partial \Omega [T]}$$X^{(\partial \Omega[T] \hookrightarrow \Omega[T])} : X(T) \to X^{\partial \Omega[T]}

is a Kan fibration.

Proof

By prop. 4, using $Y=*$.

Proposition

Let $X\in [{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ be fibrant. Then the following conditions are equivalent

• $X\in \mathrm{dsSet}$ is a dendroidal Segal space, hence fibrant in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Segal}}$;

• for every spine inclusion $\mathrm{Sp}[T]\hookrightarrow \Omega [T]$, the induced morphism $X^{\Omega [T]}\to X^{\mathrm{Sp}[T]}$ is an acyclic Kan fibration;

• for every inner horn inclusion ${\Lambda }^e[T]\hookrightarrow \Omega [T]$, the induced morphism $X^{\Omega [T]}\to X^{{\Lambda }^e[T]}$ is an acyclic Kan fibration.

This appears as (Cisinski-Moerdijk, cor. 5.6).

Proof

By prop. 1 Segal objects are equivalently spine-local and horn-local. By prop. 6 both the spine and the horn inclusion are morphisms between cofibrant objects in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$. By the general properties of left Bousfield localization and using that $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ is a simplicial model category by prop. 7, it follows that a fibrant object $X\in [{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ is local with respect to the spine / horn inclusions precisely if powering these into this object, remark 2, is a weak equivalence of simplicial sets. Since moreover the horn and spine inclusions are cofibrations, by prop. 6, this will necessarily be an acyclic Kan fibration (by the dual of the pushout-product axiom in a simplicial model category).

Let $S=\{A\to B\}$ be a set of generating acyclic cofibrations for the model structure on dendroidal sets, ${\mathrm{dSet}}_{\mathrm{CM}}$, chosen such that all domains and codomains are normal, hence cofibrant.

Proposition

An object $X\in [{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$ is fibrant precisely if

1. it is fibrant in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Segal}}$;

2. it has the right lifting property against the set

   $$\{(A\to B)\overline{\cdot }(\partial \Delta [n]\to \Delta [n]){\}}_{(A\to B)\in S,n\in \mathbb{N}}.$$\{ (A \to B) \bar \cdot (\partial \Delta[n] \to \Delta[n]) \}_{(A \to B) \in S, n \in \mathbb{N}} \,.

(Cis-Moer, cor. 6.5)

Proof

By prop. 3 and the basic nature of left Bousfield localization.

Weak equivalences

Proposition

A morphism $f:X\to Y$ between dendroidal Segal spaces is a weak equivalence in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Segal}}$, and hence in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$ precisely if its components on the trees $\eta$ and $C_n$ for all $n$, def. 2, are weak homotopy equivalences of simplicial sets.

This appears as (Cisinski-Moerdijk, prop. 5.7).

Proof

By general properties of left Bousfield localization, a morphism between local objects is a weak equivalence precisely if it is so already in the unlocalized model structure $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{genReedy}}$. There the weak equivalences are the morphisms that are so over every tree. But by prop. 8 these are already implied by weak equivalences over the spines. These are, finally, colimits which happen to be homotopy colimits of $\eta$ and of corollas, and hence it suffices to have weak equivalences over these components in order to have them over all components.

Proposition

A morphism $f:X\to Y$ of dendroidal Segal spaces is a weak equivalence in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Segal}}$ precisely if it is

1. fully faithful, def. 4;

2. essentially surjective in that $f(\eta ):X(\eta )\to Y(\eta )$ is a weak equivalence of simplicial sets.

(See also equivalence of categories.)

This appears as (Cisinski-Moerdijk, cor. 5.10).

Proof

Being essentially surjective is equivalent to $f(\eta )$ being an equivalence. By prop. 10 it only remains to check that in this situation $f$ being fully faithful is equivalent to $f(C_n)$ being an equivalence, for all $n$.

By remark 1, of $f(C_n):X(C_n)\to Y(C_n)$ is a weak equivalence for all $n$ then $f$ is fully faithful, since weak equivalence are preserved by homotopy pullback.

For the converse, consider for each $n$ the inclusion of all input and output colors

$$\coprod _{(x_1,\cdots ,x_n;x)}*\to X(\eta {)}^{n+1}$$\coprod_{(x_1, \cdots, x_n; x)} * \to X(\eta)^{n+1}

and similarly for $Y$. Since this evidently hits all connected components of $X(\eta {)}^{n+1}$, it is an effective epimorphism in an (∞,1)-category in ∞Grpd. These are stable under homotopy pullback, and so also

$$\coprod _{(x_1,\cdots ,x_n;x)}X(x_1,\cdots ,x_n;x)\to X(C_n)$$\coprod_{(x_1, \cdots, x_n; x)} X(x_1, \cdots, x_n; x) \to X(C_n)

is an effective epimorphism, and similarly for $Y$. If now $f$ is fully faithful, then by the definition of effective epimorphism in an (∞,1)-category, this exhibits $f(C_n)$ as the homotopy colimit of a diagram of equivalences. Hence $f(C_n)$ is itself a weak equivalence.

Relation to other model structures

We discuss the relation to various other model structures for operads. For an overview see table - models for (infinity,1)-operads.

To complete Segal spaces

Write $\eta \in \Omega \hookrightarrow \mathrm{dSet}\hookrightarrow \mathrm{dsSet}$ for the tree with a single edge and no non-trivial vertex.

Then slice category of $\mathrm{dsSet}$ over $\eta$ is evidently equivalent to that of bisimplicial sets

$$\mathrm{ssSet}\simeq {\mathrm{dsSet}}_{/\eta }\hookrightarrow \mathrm{dsSet}.$$ssSet \simeq dsSet_{/\eta} \hookrightarrow dsSet \,.

By restriction along this inclusion, the above model structure reproduces the model structure for complete Segal spaces.

To dendroidal sets / quasi-operads

The model structure for dendroidal complete Segal spaces is Quillen equivalent to the model structure on dendroidal sets, whose fibrant objects are the “quasi-operads” (the operadic generalization of quasi-categories).

We discuss in fact two Quillen equivalences, with right adjoints going in both directions:

1. From quasi-operads to dendroidal complete Segal spaces

   $$(\mid -{\mid }_J⊣{\mathrm{Sing}}_J):{\mathrm{dSet}}_{\mathrm{CM}}\stackrel{\stackrel{\mid -{\mid }_J}{\leftarrow }}{\underset{{\mathrm{Sing}}_j}{\to }}[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}.$$({|-|_J} \dashv Sing_J) : dSet_{CM} \stackrel{\overset{{|-|_J}}{\leftarrow}}{\underset{{Sing_j}}{\to}} [\Omega^{op}, sSet]_{cSegal} \,.

2. From dendroidal complete Segal spaces to quasi-operads

   $$(i⊣)[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}\stackrel{\stackrel{i}{\leftarrow }}{\underset{}{\to }}\mathrm{dSet}$$(i \dashv ) [\Omega^{op}, sSet]_{cSegal} \stackrel{\overset{i}{\leftarrow}}{\underset{}{\to}} dSet

Quasi-operads to dendroidal complete Segal spaces

Recall from complete Segal space the basic example Categories as complete Segal spaces which shows how an ordinary small category $C$ is regarded as a complete Segal space ${\mathrm{Sing}}_J(C)$ by setting

$${\mathrm{Sing}}_J(C):n\mapsto N(\mathrm{Core}(C^{\Delta [n]})).$$Sing_J(C) : n \mapsto N(Core(C^{\Delta[n]})) \,.

Recall also that this and its generalization to Complete Segal spaces of quasi-categories, amounts to simply forming a double-nerve with respect to the invertible interval object. We consider here the operadic generalization of this construction.

Definition

Write

$${\Delta }_J:\Delta \to \mathrm{sSet}$$\Delta_J : \Delta \to sSet

for the cosimplicial simplicial set that in degree $n$ is the nerve of the free groupoid on $\Delta [n]$

$${\Delta }_J(n):=N(\{0\stackrel{\simeq }{\to }\cdots \stackrel{\simeq }{\to }n\}).$$\Delta_J(n) := N ( \{0 \stackrel{\simeq}{\to} \cdots \stackrel{\simeq}{\to} n \} ) \,.

We use the same symbol for the further prolongation to a cosimplicial dendroidal set

$${\Delta }_J:\Delta \to \mathrm{sSet}\stackrel{i_{!}}{\hookrightarrow }\mathrm{dSet}.$$\Delta_J : \Delta \to sSet \stackrel{i_!}{\hookrightarrow} dSet \,.

Moreover, we use the same symbol also for

$${\Delta }_J:\Delta \times \Omega \to \mathrm{dSet}$$\Delta_J : \Delta \times \Omega \to dSet

$${\Delta }_J:([n],T)\mapsto {\Delta }_J[n]{\otimes }_{\mathrm{BV}}\Omega [T]$$\Delta_J : ([n], T) \mapsto \Delta_J[n] \otimes_{BV} \Omega[T]

(where ${\otimes }_{\mathrm{BV}}$ is the Boardman-Vogt tensor product on dendroidal sets).

The induced nerve and realization adjunction we denote

$$(\mid -{\mid }_J⊣{\mathrm{Sing}}_J):{\mathrm{dSet}}_{}\stackrel{\stackrel{\mid -{\mid }_J}{\leftarrow }}{\underset{{\mathrm{Sing}}_j}{\to }}[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{}.$$({|-|_J} \dashv Sing_J) : dSet_{} \stackrel{\overset{{|-|_J}}{\leftarrow}}{\underset{{Sing_j}}{\to}} [\Omega^{op}, sSet]_{} \,.

So for $X\in \mathrm{dSet}$

$${\mathrm{Sing}}_J(X):(T,[n])\mapsto {\mathrm{Hom}}_{\mathrm{dSet}}({\Delta }_J[n]\otimes \Omega [T],X).$$Sing_J(X) : (T, [n]) \mapsto Hom_{dSet}(\Delta_J[n]\otimes \Omega[T], X) \,.

This appears as (Cis-Moer, 6.10).

Example

For

$$C\in \mathrm{Cat}\stackrel{}{\hookrightarrow }\mathrm{Operad}\stackrel{N_d}{\hookrightarrow }\mathrm{dSet}$$C \in Cat \stackrel{}{\hookrightarrow} Operad \stackrel{N_d}{\hookrightarrow} dSet

a small category, we have

$${\mathrm{Sing}}_J(C):i_{!}(n\mapsto N(\mathrm{Core}(C^{\Delta [n]}))).$$Sing_J(C) : i_!( n \mapsto N(Core(C^{\Delta[n]})) ) \,.

Proposition

The nerve and realization adjunction, def. 5 constitutes a Quillen equivalence to the model structure on dendroidal sets.

$$(\mid -{\mid }_J⊣{\mathrm{Sing}}_J):{\mathrm{dSet}}_{\mathrm{CM}}\stackrel{\stackrel{\mid -{\mid }_J}{\leftarrow }}{\underset{{\mathrm{Sing}}_j}{\to }}[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}.$$({|-|_J} \dashv Sing_J) : dSet_{CM} \stackrel{\overset{{|-|_J}}{\leftarrow}}{\underset{{Sing_j}}{\to}} [\Omega^{op}, sSet]_{cSegal} \,.

This appears as (Cis-Moer, prop. 6.11).

Proof

First we show that $\mid -{\mid }_J$ is a left Quillen functor. Since ${\mathrm{dSet}}_{\mathrm{CM}}$ is a monoidal model category, it follows from the pushout-product axiom in $({\mathrm{dSet}}_{\mathrm{CM}},{\otimes }_{\mathrm{BV}})$ that $\mid -{\mid }_J$ sends the generating (acyclic) cofibrations of $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Reedy}}$ from prop. 5 to (acyclic) cofibrations in ${\mathrm{dSet}}_{\mathrm{CM}}$. Since the cofibrations of $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$ are the same as those of $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{Reedy}}$, it is sufficient to see that $\mid -{\mid }_J$ sends the morphisms that define the localization, def. 1, to weak equivalences in ${\mathrm{dSet}}_{\mathrm{CM}}$. But since these moprhisms are in the image of the inclusion $\mathrm{dSet}\hookrightarrow [{\Omega }^{\mathrm{op}},\mathrm{sSet}]$, the functor indeed sends them to themselves, and they are indeed weak equibalences in ${\mathrm{dSet}}_{\mathrm{CM}}$ (since all inner anodyne morphisms are – this gives that ${\Lambda }^e[T]\to \Omega [T]$ is a weak equivalence – and all equivalences in the canonical model structure on operads are – this gives that $\Omega [T]{\otimes }_{\mathrm{BV}}J\to \Omega [T]$ is).

So far this shows that $\mid -{\mid }_J$ is left Quillen. To see that it is a Quillen equivalence, use that its composition with the left Quillen functor $i:{\mathrm{dSet}}_{\mathrm{CM}}\to [{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{gReedy}}$ discussed in the companion section is evidently a Quillen equivalence.

(…)

Observation

If we write (as here), for $A\in \mathrm{dSet}$ normal and $X\in \mathrm{dSet}$ fibrant

$$k(A,X):=\mathrm{Core}(i^{*}[A,X{]}_{\otimes })$$k(A,X) := Core(i^* [A,X]_{\otimes})

for the maximax Kan complex inside the internal hom of $(\mathrm{dSet},{\otimes }_{\mathrm{BV}})$, then, still for $X$ fibrant, we have

$${\mathrm{Sing}}_J(X):(T,n)\mapsto k(\Omega [T],X{)}_n.$$Sing_J(X) : (T, n) \mapsto k(\Omega[T], X)_n \,.

Complete dendroidal Segal spaces to quasi-operads

Write

$$i:\mathrm{dSet}=[{\Omega }^{\mathrm{op}},\mathrm{Set}]\hookrightarrow [{\Omega }^{\mathrm{op}},\mathrm{sSet}]$$i : dSet = [\Omega^{op}, Set] \hookrightarrow [\Omega^{op}, sSet]

for the evident full subcategory inclusion of dendroidal sets into dendroidal simplicial sets induced by regarding a set as a discrete object in simplicial sets.

Theorem

The inclusion

$$i:{\mathrm{dSet}}_{\mathrm{CM}}\hookrightarrow [{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$$i : dSet_{CM} \hookrightarrow [\Omega^{op}, sSet]_{cSegal}

is the left adjoint of a Quillen equivalence from the model structure on dendroidal sets to the model structure for dendroidal complete Segal spaces, def. 1.

This is (Cisinski-Moerdijk, prop. 4.8, theorem 6.6).

The following proof proceeds by passing through another Bousfield localization of a global model structure on dendroidal simplicial sets.

Definition

Let $[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{Reedy}}$ be the Reedy model structure on simplicial objects in the model structure on dendroidal sets.

Write

$$[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{LocConst}}\stackrel{\stackrel{\mathrm{id}}{\leftarrow }}{\underset{\mathrm{id}}{\to }}[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{Reedy}}$$[\Delta^{op}, dSet_{CM}]_{LocConst} \stackrel{\overset{id}{\leftarrow}}{\underset{id}{\to}} [\Delta^{op}, dSet_{CM}]_{Reedy}

for its left Bousfield localization at the set

$$S=\{\Delta [n]\cdot \Omega [T]\to \Omega [T]{\}}_{n\in \Delta ,T\in \Omega }.$$S = \{\Delta[n] \cdot \Omega[T] \to \Omega[T]\}_{n \in \Delta, T \in \Omega} \,.

We call this the locally constant model structure on simplicial dendroidal sets.

(Cis-Moer, def. 4.6)

Proposition

The functors

$$(\mathrm{const}⊣{\mathrm{ev}}_0):[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{LocConst}}\stackrel{\stackrel{\mathrm{const}}{\leftarrow }}{\underset{{\mathrm{ev}}_0}{\to }}{\mathrm{dSet}}_{\mathrm{CM}}$$(const \dashv ev_0) : [\Delta^{op}, dSet_{CM}]_{LocConst} \stackrel{\overset{const}{\leftarrow}}{\underset{ev_0}{\to}} dSet_{CM}

constitute a Quillen equivalence.

(Cis-Moer, prop. 4.8)

Proof

The set $\{\Omega [T]{\}}_{T\in \Omega }$ is a set of generators, in that a morphism $f:X\to Y$ in ${\mathrm{dSet}}_{\mathrm{CM}}$ is a weak equivalence precisely if under the derived hom space functor $ℝ\mathrm{Hom}(\Omega [T],f)$ is a weak equivalence, for all $T$. Therefore the localization in def. 6 is of the general kind discussed at simplicial model category in the section Simplicial Quillen equivalent models. The above statement is thus a special case of the general theorem discussed there.

Proposition

The fibrant objects in $[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{LocConst}}$ are precisely

• the Reedy fibrant simplicial dendroidal sets $X$,

• such that for every $n\in \mathbb{N}$ the morphism $X_n\to X_0$ is a weak equivalence in the model structure on dendroidal sets;

(Cis-Moer, 4.7 ii)+iii)).

Proof

The proof is again a special case of the general discussion at Simplicial Quillen equivalent models. Here is a self-contained proof, for completeness.

By standard facts of left Bousfield localization a simplicial dendroidal set is fibrant in the locally constant model structure, def. 6, precisely if it is fibrant in $[{\Delta }^{\mathrm{op}},[{\Omega }^{\mathrm{op}},\mathrm{Set}{]}_{\mathrm{CM}}{]}_{\mathrm{Reedy}}$ and moreover the derived hom-space functor $ℝ{\mathrm{Hom}}_{[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{Reedy}}}((\Delta [n]\cdot \Omega [T]\to \Omega [T]),X)$ is a weak equivalence for all $n\in \mathbb{N}$.

We compute this derived hom space now in a maybe slightly non-obvious way, in order to get the result in a form that we can compare to the derived hom in ${\mathrm{dSet}}_{\mathrm{CM}}$. First of all, since the derived hom space only depends on the weak equivalences, we may compute it working with the projective model structure on functors $[{\Delta }^{\mathrm{op}},[{\Omega }^{\mathrm{op}},\mathrm{Set}{]}_{\mathrm{CM}}{]}_{\mathrm{proj}}$. Here in turn we use as framing $\hat{X}$ of that:

$$(\mathrm{const}X\stackrel{\simeq }{\to }\hat{X})\in [{\Delta }^{\mathrm{op}},[{\Delta }^{\mathrm{op}},[{\Omega }^{\mathrm{op}},\mathrm{Set}{]}_{\mathrm{CM}}{]}_{\mathrm{proj}}{]}_{\mathrm{Reedy}}.$$(const X \stackrel{\simeq}{\to}\hat X ) \in [\Delta^{op}, [\Delta^{op}, [\Omega^{op}, Set]_{CM}]_{proj}]_{Reedy} \,.

Since $\Delta [n]\cdot \Omega [T]$ is cofibrant in $[{\Delta }^{\mathrm{op}},[{\Omega }^{\mathrm{op}},\mathrm{Set}{]}_{\mathrm{CM}}{]}_{\mathrm{proj}}$ (because $\Delta [n]$ is representable and $\Omega [T]\in \mathrm{dSet}$ is normal), also $\mathrm{const}\Delta [n]\cdot \Omega [T]$ is cofibrant in $[{\Delta }^{\mathrm{op}},[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{proj}}{]}_{\mathrm{Reedy}}$, and so we have that

$$ℝ\mathrm{Hom}(\Delta [n]\cdot \Omega [T],X)\simeq ([n]\mapsto {\mathrm{Hom}}_{[{\Delta }^{\mathrm{op}},\mathrm{dSet}]}(\mathrm{const}(\Delta [n]\cdot \Omega [T]),\hat{X})).$$\mathbb{R}Hom(\Delta[n] \cdot\Omega[T], X) \simeq \left( [n] \mapsto Hom_{[\Delta^{op}, dSet]}(const(\Delta[n]\cdot \Omega[T]), \hat X) \right) \,.

We claim now that such a resolution $\hat{X}$ is given by (using the notation for core simplicial enrichement of $\mathrm{dSet}$ here)

$$\hat{X}:[n]\mapsto X^{(\Delta [n])}.$$\hat X : [n] \mapsto X^{(\Delta[n])} \,.

To see that this is indeed Reedy fibrant, notice that this is so precisely if for all $k\in \mathbb{N}$ the morphism

$$X^{(\Delta [k])}\to X^{(\partial \Delta [k])}$$X^{(\Delta[k])} \to X^{(\partial \Delta[k])}

is fibrant in $[{\Delta }^{\mathrm{op}},[{\Omega }^{\mathrm{op}},\mathrm{Set}{]}_{\mathrm{CM}}{]}_{\mathrm{proj}}$, which is the case precisely if for all $n\in \Delta$ the morphism

$$X_k^{(\Delta [n])}\to X_k^{(\partial \Delta [n])}$$X^{(\Delta[n])}_k \to X^{(\partial \Delta[n])}_k

is a fibration in ${\mathrm{dSet}}_{\mathrm{CM}}$. But using that the Reedy fibrant $X$ is in particular projectively fibrant (see Reedy model structure), hence that $X_k\in {\mathrm{dSet}}_{\mathrm{CM}}$ is fibrant (is a quasi-operad) for all $k$, this is indeed the case, by discussion here at model structure on dendroidal sets.

So finally we find that we may compute the derived hom as

$$\begin{array}{rl}ℝ{\mathrm{Hom}}_{[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{proj}}}(\Delta [n]\times \Omega [T],X)& =([k]\mapsto {\mathrm{Hom}}_{[{\Delta }^{\mathrm{op}},\mathrm{dSet}]}(\Delta [n]\times \Omega [T],X^{(\Delta [k])}))\\ & =([k]\mapsto {\mathrm{Hom}}_{{\mathrm{dSet}}_{\mathrm{CM}}}(\Omega [T],X_n^{(\Delta [k])}))\end{array}.$$\begin{aligned} \mathbb{R}Hom_{[\Delta^{op}, dSet_{CM}]_{proj}}(\Delta[n]\times \Omega[T], X) & = \left( [k] \mapsto Hom_{[\Delta^{op}, dSet]}( \Delta[n] \times \Omega[T], X^{(\Delta[k])} ) \right) \\ & = \left( [k] \mapsto Hom_{dSet_{CM}}(\Omega[T], X^{(\Delta[k])}_n) \right) \end{aligned} \,.

The right hand here is now manifestly the derived hom in ${\mathrm{dSet}}_{\mathrm{CM}}$, from $\Omega [T]$ to $X_n$, computed itself by a framing resolution.

Therefore we have found that $X$ is fibrant in the locally constant model structure, def. 6, precisely if for all $n$ and $T$ the morphisms

$$ℝ{\mathrm{Hom}}_{{\mathrm{dSet}}_{\mathrm{CM}}}(\Omega [T],X_n)\to ℝ{\mathrm{Hom}}_{{\mathrm{dSet}}_{\mathrm{CM}}}(\Omega [T],X_0)$$\mathbb{R}Hom_{dSet_{CM}}(\Omega[T], X_n) \to \mathbb{R}Hom_{dSet_{CM}}(\Omega[T], X_0)

are weak equivalences. Since the $\{\Omega [T]{\}}_{T\in \Omega }$ form a set of generators, this is the case precisely if $X_n\to X_0$ is already a weak equivalence in ${\mathrm{dSet}}_{\mathrm{CM}}$.

Now for the equivalence to the second item.

By Joyal-Tierney calculus the morphisms in question are of the form

$$({\Lambda }^k[n]\to \Delta [n])\overline{\times }(\partial \Omega [T]\to \Omega [T]).$$(\Lambda^k[n] \to \Delta[n]) \bar \times (\partial \Omega[T] \to \Omega[T]) \,.

Since the horn inclusions generate the acyclic monomorphisms, a morphism $X\to *$ that has right lifting against this set also has right lifting against

$$(\Delta [0]\to \Delta [n])\overline{\times }(\partial \Omega [T]\to \Omega [T]).$$(\Delta[0] \to \Delta[n]) \bar \times (\partial \Omega[T] \to \Omega[T]) \,.

This in turn means that $X_n\to X_0$ has the right lifting property against the tree boundary inclusions. Since these are the generating cofibrations in the model structure on dendroidal sets, this implies that $X_n\to X_0$ is an equivalence.

For the converse, it is sufficient to see that all the morphisms in the localizing set are acyclic cofibrations in the locally constant model structure. This follows with the discussion here at model structure on dendroidal sets.

Proposition

The fibrant objects in $[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{LocConst}}$ are also precisely

• the Reedy fibrant simplicial dendroidal sets $X$,

• such that the morphism $X\to *$ has the right lifting property against the set of pushout product morphisms

  $$\{({\Lambda }^k[n]\to \Delta [T])\overline{\cdot }(\partial \Omega [T]\to \Omega [T]){\}}_{T\in \Omega ,n\ge 1,0\le k\le n}=\{{\Lambda }^k[n]\cdot \Omega [T]\cup \Delta [n]\cdot \partial \Omega [T]\to \Delta [n]\cdot \Omega [T]{\}}_{T\in \Omega ,n\ge 1,0\le k\le n}.$$\{ (\Lambda^k[n] \to \Delta[T]) \bar \cdot (\partial \Omega[T] \to \Omega[T]) \}_{T \in \Omega, n \geq 1 , 0 \leq k \leq n} = \{ \Lambda^k[n] \cdot \Omega[T] \cup \Delta[n] \cdot \partial \Omega[T] \to \Delta[n]\cdot\Omega[T] \}_{T \in \Omega, n \geq 1 , 0 \leq k \leq n} \,.

(Cis-Moer, 4.7 i)+iii)).

Proof

Since the simplicial horn inclusions generate all acyclic cofibrations in ${\mathrm{sSet}}_{\mathrm{Qillen}}$, it follows that a (Reedy fibrant) object $X$ which has right lifting against $\{({\Lambda }^k[n]\to \Delta [n])\overline{\cdot }(\partial \Omega [T]\to \Omega [T])\}$ also has right lifting against $\{(\Delta [0]\to \Delta [n])\overline{\cdot }(\partial \Omega [T]\to \Omega [T])\}$. This means that $X_0\to X_n$ is an acyclic fibration for all $n$, in particular a weak equivalence, hence $X$ is fibrant in the locally constant structure by 15.

Conversely, one finds with … and … that the morphisms in the above set are acyclic cofibrations in the locally constant model structure, hence if an object is locally constant fibrant, it lifts against these.

Proposition

Under the canonical identification of categories

$$[{\Delta }^{\mathrm{op}},\mathrm{dSet}]\simeq [{\Omega }^{\mathrm{op}},\mathrm{sSet}]$$[\Delta^{op}, dSet] \simeq [\Omega^{op}, sSet]

the two model structures $[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{LocConst}}$, def. 6 and $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$, def. 1, coincide.

Proof

By a standard fact (see at model category the section Redundancy of the axioms) it is sufficient to show that the cofibrations and the fibrant objects coincide.

By prop. 5 we know the generating cofibrations of $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$. By the same kind of argument we find the cofibrations of $[{\Delta }^{\mathrm{op}},\mathrm{dSet}{]}_{\mathrm{Reedy}}$, and hence of $[{\Delta }^{\mathrm{op}},\mathrm{dSet}{]}_{\mathrm{LocConst}}$:

by definition of Reedy model structure, a morphism $f:X\to Y$ here is an acyclic fibration if for all $n\in \Delta$ the morphism

$$X^{\Delta [n]}\to X^{\partial \Delta [n]}{\times }_{Y^{\partial \Delta [n]}}{Y}^{\Delta [n]}$$X^{\Delta[n]} \to X^{\partial \Delta[n]} \times_{Y^{\partial \Delta[n]}} Y^{\Delta[n]}

is an acyclic fibration in ${\mathrm{dSet}}_{\mathrm{CM}}$. Since ${\mathrm{dSet}}_{\mathrm{CM}}$ has generating cofibrations given by the set of tree boundary inclusions $\{\partial \Omega [T]\hookrightarrow \Omega [T]{\}}_{T\in \Omega }$, one finds as in the proof of prop. 5 that $f:X\to Y$ is an acyclic fibration precisely if it has the right lifting property against the morphisms in the set

$$\{\partial \Delta [n]\cdot \Omega [T]\cup \Delta [n]\cdot \partial \Omega [T]\to \Delta [n]\cdot \Omega [T]{\}}_{n\in \Delta ,T\in \Omega }.$$\{ \partial \Delta[n] \cdot \Omega[T] \cup \Delta[n] \cdot \partial \Omega[T] \to \Delta[n] \cdot \Omega[T] \}_{n \in \Delta, T \in \Omega} \,.

Therefore the cofibrations in the two model structures do coincide.

(Notice that a similar statement holds for the acyclic cofibrations, only that the generating set of acyclic cofibrations in ${\mathrm{dSet}}_{\mathrm{CM}}$ is, while known to exist, not known explicitly.)

Next, to see that the fibrant objects also coincide, write again $S=\{A\to B\}$ for a choice of set of generating acyclic cofibrations for ${\mathrm{dSet}}_{\mathrm{CM}}$ between normal dendroidal sets.

By prop. 16 the fibrant objects of $[{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{LocConst}}$ are those that

1. are Reedy fibrant over ${\Delta }^{\mathrm{op}}$, meaning that they have the right lifting property against

   $$\{(A\to B)\overline{\cdot }(\partial \Delta [n]\to \Delta [n]){\}}_{(A\to B)\in S,n\in \mathbb{N}};$$\{ (A \to B) \bar \cdot (\partial \Delta[n] \to \Delta[n]) \}_{(A \to B) \in S, n \in \mathbb{N}} \,;

2. are local, meaning, by prop. 16, that they have the right lifting property against

   $$\{({\Lambda }^k[n]\to \Delta [n])\overline{\cdot }(\partial \Omega [T]\to \Omega [T])\}.$$\{ (\Lambda^k[n] \to \Delta[n]) \bar \cdot (\partial \Omega[T] \to \Omega[T]) \} \,.

On the other hand, the fibrant objects in $[{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}$ are those

1. that are Reedy fibrant over ${\Omega }^{\mathrm{op}}$, meaning that they have the right lifting property against

   $$\{({\Lambda }^k[n]\to \Delta [n])\overline{\cdot }(\partial \Omega [T]\to \Omega [T]){\}}_{n\in \mathbb{N},0\le k\le n,T\in \Omega },$$\{ (\Lambda^k[n] \to \Delta[n]) \bar \cdot (\partial \Omega[T] \to \Omega[T]) \}_{n \in \mathbb{N}, 0 \leq k \leq n, T \in \Omega} \,,

2. are Segal local, meaning by prop. 1 that they have right lifting against

   $$\{(\partial \Delta [n]\to \Delta [n])\overline{\cdot }({\Lambda }^e[T]\to \Omega [T])\}$$\{ (\partial \Delta[n] \to \Delta[n]) \bar \cdot ( \Lambda^e [T] \to \Omega[T] ) \}

3. are complete Segal local, meaning by prop. 9 that they have right lifting property against

   $$\{(A\to B)\overline{\cdot }(\partial \Delta [n]\to \Delta [n]){\}}_{(A\to B)\in S,n\in \mathbb{N}}.$$\{ (A \to B) \bar \cdot (\partial \Delta[n] \to \Delta[n]) \}_{(A \to B) \in S, n \in \mathbb{N}} \,.

The union of the three respective sets coincides in both cases.

Proof

of theorem 1

Combining prop. 14 and prop. 17 we have a total Quillen equivalence

$$\mathrm{const}:{\mathrm{dSet}}_{\mathrm{CM}}\to [{\Delta }^{\mathrm{op}},{\mathrm{dSet}}_{\mathrm{CM}}{]}_{\mathrm{LocConst}}\simeq [{\Omega }^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{cSegal}}.$$const : dSet_{CM} \to [\Delta^{op}, dSet_{CM}]_{LocConst} \simeq [\Omega^{op}, sSet]_{cSegal} \,.

To Segal operads

(…) model structure for Segal operads

Related concepts

• table - models for (infinity,1)-operads

References

The model structure for dendroidal complete Segal spaces was introduced in

• Denis-Charles Cisinski, Ieke Moerdijk, Dendroidal Segal spaces and infinity-operads (arXiv:1010.4956)