Abstract:In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of $(\infty,1)$-categories can equivalently be defined as functors of quasi-categories or as simplicially enriched functors out of the homotopy coherent categorifications.
In this paper, we construct a homotopy coherent nerve for $(\infty,n)$-categories. We show that it realizes a right Quillen equivalence between the models of categories strictly enriched in $(\infty,n-1)$-categories and of Segal category objects in $(\infty,n-1)$-categories. This similarly enables us to define homotopy coherent diagrams of $(\infty,n)$-categories equivalently as functors of Segal category objects or as strictly enriched functors out of the homotopy coherent categorifications.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct a homotopy coherent nerve applicable to ($\infty$, $n$)-categories and prove that this construction realizes the right Quillen equivalence between the categorical model strictly enriched on ($\infty$, $n - 1$)-categories and the model of Segal objects in ($\infty$, $n - 1$)-categories. Specifically, the authors construct an adjoint pair of a homotopy coherent nerve $N$ and a homotopy coherent classification $C$, and show that there is a Quillen equivalence relationship between them, which enables us to define homotopy coherent diagrams in ($\infty$, $n$)-categories as strictly enriched functors or as functors after homotopy coherent classification.
### Main contributions of the paper
1. **Constructing the homotopy coherent nerve**: In the paper, the homotopy coherent nerve $N$ from the category strictly enriched on ($\infty$, $n - 1$)-categories to the model of Segal objects in ($\infty$, $n - 1$)-categories is constructed.
2. **Proving Quillen equivalence**: By proving that the adjoint pair formed by $N$ and $C$ is a Quillen equivalence, the authors show the equivalence between these two models.
3. **Applications and extensions**: This result provides new tools for studying homotopy coherent diagrams in ($\infty$, $n$)-categories, especially in applications such as classification diagrams, straightening constructions, and limits.
### Specific objectives
- **Defining homotopy coherent diagrams**: Be able to define homotopy coherent diagrams in ($\infty$, $n$)-categories, which can be strictly enriched functors or functors after homotopy coherent classification.
- **Realizing the equivalence between models**: Prove the equivalence between the strictly enriched model and the weak model through Quillen equivalence.
- **Providing computational tools**: Introduce necklace calculus to provide an effective tool for computing the homomorphism space in homotopy coherent classification.
### Importance
- **Theoretical basis**: This work lays the foundation for the development of ($\infty$, $n$)-category theory, especially for understanding and dealing with higher - order homotopy coherent structures.
- **Practical applications**: In specific mathematical and physical problems, such as the construction of classification diagrams, straightening constructions, and the calculation of limits, this theory provides important tools and methods.
In conclusion, through constructing and proving the properties of the homotopy coherent nerve, this paper provides a new perspective and tools for the research of ($\infty$, $n$)-category theory, promoting the further development of this field.