ScalingStacks

Proof.

By Observation B.1.19.([00K6]), the (\(n\)-surjective, \(n\)-faithful) factorization system on \(\mathrm{Cat}_\infty\) pulls back to a factorization system on \((\mathrm{Cat}_\infty)_{/\mathrm{Fin}_*}\). By Lemma 7.5.2, the classes of our asserted factorization system are restricted along the inclusion \(\mathrm{Op}\hookrightarrow(\mathrm{Cat}_\infty)_{/\mathrm{Fin}_*}\). So, in order to verify that they indeed define a factorization system on \(\mathrm{Op}\), we verify the equivalent conditions of Observation B.2.1.

In order to proceed, we recall that given two \(\infty\)-operads \(\mathcal O,\mathcal O' \in \mathrm{Op}\), a morphism \(\mathcal O^{\otimes} \rightarrow\mathcal O'^{\otimes}\) in \((\mathrm{Cat}_\infty)_{/\mathrm{Fin}_*}\) lies in \(\mathrm{Op}\) if and only if it is inert-coCartesian (i.e it preserves coCartesian lifts over inert morphisms in \(\mathrm{Fin}_*\)). Moreover, we make the following observation for repeated future use.

• Assuming that \(n \geq 0\), if a morphism in \(\mathrm{Op}\) is \(n\)-surjective then it is surjective on inert-coCartesian morphisms.

We now turn to condition ([00KE]) of Observation B.2.1: given a solid commutative diagram in \(\mathrm{Op}\) in which \(f\) is \(n\)-surjective and \(g\) is \(n\)-faithful, we must show that the dashed lift in \((\mathrm{Cat}_\infty)_{/\mathrm{Fin}_*}\) (which exists and is unique due to its factorization system) also lies in \(\mathrm{Op}\). This is trivial in the case that \(n < 0\), and in the case that \(n \geq 0\) this follows immediately from \((*)\).

We now turn to condition ([00KF]) of Observation B.2.1: given any morphism \(\mathcal O\xrightarrow{h} \mathcal O'\) in \(\mathrm{Op}\), we must show that the factorization in \((\mathrm{Cat}_\infty)_{/\mathrm{Fin}_*}\) determined by its (\(n\)-surjective, \(n\)-faithful) factorization system in fact lies in \(\mathrm{Op}\). To simplify our notation, we write \(\mathcal F^{\otimes} \coloneqq \mathrm{Fact}(h)\). Additionally, we write \(\mathcal O^{\otimes} \xrightarrow{p} \mathrm{Fin}_*\), \(\mathcal O'^{\otimes} \xrightarrow{p'} \mathrm{Fin}_*\), and \(\mathcal F^{\otimes} \xrightarrow{q} \mathrm{Fin}_*\) for the indicated functors. We note immediately that the claim is trivial both when \(n = -2\) (since then \(\mathcal F^{\otimes} \xrightarrow{r} \mathcal O'^{\otimes}\) is an equivalence) and when \(n = -1\) (since then \(\mathcal F^{\otimes} \xrightarrow{r} \mathcal O'^{\otimes}\) is the inclusion of the full suboperad on the colors in the image of \(\underline{\mathcal O} \xrightarrow{\underline{h}} \underline{\mathcal O'}\)). So, we henceforth assume that \(n \geq 0\).

We first show that the functor \(\mathcal F^{\otimes} \xrightarrow{q} \mathrm{Fin}_*\) admits coCartesian lifts of inert morphisms. For this, fix an object \(X \in \mathcal F^{\otimes}_{\underline{m}_+}\) as well as an inert morphism \(\underline{m}_+ \xrightarrow{\alpha} \underline{n}_+\) in \(\mathrm{Fin}_*\). Because the functor \(\mathcal O^{\otimes} \xrightarrow{l} \mathcal F^{\otimes}\) is surjective, we may choose a lift \(\widetilde{X} \in \mathcal O_{\underline{m}_+}^{\otimes}\) of \(X\). Let \(\widetilde{X} \xrightarrow{\widetilde{\alpha}} Y\) be a \(p\)-coCartesian lift of \(\alpha\). We claim that \(X \simeq l(\widetilde{X}) \xrightarrow{l(\widetilde{\alpha})} l(Y)\) is a \(q\)-coCartesian lift of \(\alpha\). To see this, observe first that \(r(l(\widetilde{\alpha})) \simeq h(\widetilde{\alpha})\) is \(p'\)-coCartesian (since \(h\) is a morphism in \(\mathrm{Op}\)). Now, to check that \(l(\widetilde{\alpha})\) is \(q\)-coCartesian, we must check that the canonical functor is an equivalence. This fits into a commutative diagram in which the two outer vertical functors are equivalences. We do so by showing that it is fully faithful and surjective. Since we have assumed that \(n \geq 0\) (so that \(n-1 \geq -1\)), the lower left horizontal functor is surjective, which implies that the middle vertical functor is surjective. To show that it is fully faithful, given any pair of objects in \(\mathcal F^{\otimes}_{l(Y)/}\), we may lift them to \(\mathcal O^{\otimes}_{Y/}\) (again using that \(n \geq 0\)), and then examine the induced commutative diagram (of the same shape) on hom-spaces. Because its left and right vertical maps are equivalences, both of its left horizontal maps are \((n-1)\)-connected, and both of its right horizontal maps are \((n-1)\)-truncated, its middle vertical map is also an equivalence since factorizations for the (\((n-1)\)-connected, \((n-1)\)-truncated) factorization system on \(\mathcal S\) are unique. So indeed, the middle vertical functor in the above diagram is an equivalence. This proves that \(\mathcal F^{\otimes} \xrightarrow{q} \mathrm{Fin}_*\) admits coCartesian lifts of inert morphisms, as desired.

The same argument proves the Segal conditions for \(\mathcal F^{\otimes}\), which establishes that \(\mathcal F^{\otimes}\) is indeed an \(\infty\)-operad. Moreover, it also proves that \(l\) preserves inert-coCartesian morphisms, and in combination with \((*)\) we find that \(r\) preserves inert-coCartesian morphisms as well. So all in all, the factorization ([00FK]) lies in the subcategory \(\mathrm{Op}\subset (\mathrm{Cat}_\infty)_{/\mathrm{Fin}_*}\), which proves condition ([00KF]) of Observation B.2.1. So indeed, the (\(n\)-surjective, \(n\)-faithful) factorization system on \((\mathrm{Cat}_\infty)_{/\mathrm{Fin}_*}\) restricts to a factorization system on this subcategory. ◻