A homotopy coherent nerve for \((\infty, n)\)-categories (Q6117862): Difference between revisions

In the case of \(\left( \infty,1\right) \)-categories, the homotopy coherent nerve serves as a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This paper constructs a homotopy coherent nerve for \(\left( \infty,n\right) \)-categories. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 1] is concerned with preliminaries and background. \S 1.1 recalls the relevant model structure for \(\left( \infty,n-1\right) \)-categories, while \S 1.2 recalls the model structure for categories enriched over \(\left( \infty,n-1\right) \)-categories. The model structure for Segal categories in \(\left( \infty,n-1\right) \)-categories and the diagonal model structure are reviewed, respectively, in \S 1.3 and \S 1.5. \S 1.4 recalls the Quillen equivalence between models of \(\left( \infty,n\right) \)-categories given by the strict nerve of categories over \(\left( \infty,n-1\right) \)-categories. \item[\S 2] is devoted to constructing the homotopy coherent categorification-nerve adjunction \[ \mathcal{PC}at\left( s\mathcal{S}et^{\Theta_{n-1}^{\mathrm{op}}}\right) \begin{array} [c]{c} \overset{\mathfrak{C}}{\longrightarrow}\\ \bot\\ \underset{\mathfrak{N}}{\longleftarrow} \end{array} s\mathcal{S}et^{\Theta_{n-1}^{\mathrm{op}}}\text{-}\mathcal{C}at \] and describing the left adjoint \(\mathfrak{C}\). To this end, building on work by \textit{D. Dugger} and \textit{D. I. Spivak} [Algebr. Geom. Topol. 11, No. 1, 225--261 (2011; Zbl 1213.55015); Algebr. Geom. Topol. 11, No. 1, 263--325 (2011; Zbl 1214.55013)], the authors introduce the notion of a \textit{1-ordered} simplicial set in \S 2.1, studying its category of necklaces. \S 2.2 recalls the classical homotopy coherent categorification \(c^{h}\)\ by \textit{J.-M. Cordier} and \textit{T. Porter} [Math. Proc. Camb. Philos. Soc. 100, 65--90 (1986; Zbl 0603.55017)] as well as the description of the hom space in terms of necklaces. In \S 2.3 the authors define the desired functor \(\mathfrak{C}\)\ using , while in \S 2.4 (resp. \S 2.5) they give explicit formulas for the hom \(\Theta_{n-1}\)-spaces (resp. the homotopy category) of the homotopy coherent categorification \(\mathfrak{C}\). \item[\S 3] is concerned with explicit computations of the homotopy coherent categorificatio, collecting the technical results out of necessity in \S 4. \item[\S 4] aims to establish the main theorem of the paper claiming a Quillen equivalence \[ s\mathcal{S}et_{\left( \infty,n-1\right) }^{\Theta_{n-1}^{\mathrm{op}} }\text{-}\mathcal{C}at \begin{array} [c]{c} \overset{\mathfrak{C}}{\longleftarrow}\\ \bot\\ \underset{\mathfrak{N}}{\longrightarrow} \end{array} \mathcal{PC}at\left( s\mathcal{S}et_{\left( \infty,n-1\right) } ^{\Theta_{n-1}^{\mathrm{op}}}\right) _{\mathrm{inj}} \] between the model structure \(s\mathcal{S}et_{\left( \infty,n-1\right) }^{\Theta_{n-1}^{\mathrm{op}}}\)-\(\mathcal{C}at\)\ of which the fibrant objects are the categories enriched over complete Segal \(\Theta_{n-1}\)-spaces, and the model structure \(\mathcal{PC}at\left( s\mathcal{S}et_{\left( \infty ,n-1\right) }^{\Theta_{n-1}^{\mathrm{op}}}\right) _{\mathrm{inj}}\)\ of which the fibrant objects are the injectively Segal category objects in complete Segal \(\Theta_{n-1}\)-spaces. The authors show that \ preserves cofibrations (resp. weak equivalences) in \S 4.1 (resp. \S 4.2), so that the adjunction \(\mathfrak{C\dashv N}\) is a Quillen pair. Finally, \S 4.3 establishes that \(\mathfrak{C\dashv N}\)\ is further a Quillen equivalence. \item[\S 5] is concerned with projectively cofibrant results, providing the proofs for some technical facts that have been used in the previous sections. \S 5.1 is concerned with combinatorics of necklaces. It is shown in \S 5.2 and \S 5.3 that the two functors are projectively cofibrant. \end{itemize}