Abstract:This paper is part of a series of three articles with the objective of investigating a stratified version of the homotopy hypothesis in terms of semimodel structures that interact well with classical examples of stratified spaces, such as Whitney stratified spaces. To this end, we prove the existence of several combinatorial simplicial model structures in the combinatorial setting of stratified simplicial sets. One of these we show to be Quillen equivalent to the left Bousfield localization of the Joyal model structure that presents the $(\infty,1)$-category of layered $(\infty,1)$-categories, i.e., such $(\infty,1)$-categories in which every endomorphism is an isomorphism.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the combinatorial model of stratified homotopy theory. Specifically, the author Lukas Waas aims to study the stratified version of the homotopy hypothesis and establish semimodel structures for stratified spaces that can interact well with classical geometric and topological examples. The following is a detailed description of this problem:
### Research Background
Stratified spaces were first introduced by Whitney, Thom, and Mather to study spaces with singularities. In recent years, the research focus has shifted from single objects to classes of stratified spaces and stratified maps (maps that map strata into strata) between them. Moreover, the research perspective has shifted from 1 - categories to (∞, 1)-categories, that is, to study the homotopy theory of classes of stratified spaces induced by stratified homotopies.
### Goals of the Paper
This paper is part of a series of three articles, aiming to develop (semi) - model structures applicable to stratified homotopy theory. These structures can interact well with classical geometric and topological instances of stratified spaces and ultimately lead to a tractable and easily interpretable version of the topological stratified homotopy hypothesis. Specifically, the author's goals are:
1. **Prove the existence of several combinatorial simplicial model structures**: Prove the existence of these model structures in the combinatorial framework of stratified simplicial sets.
2. **Show Quillen equivalences**: One of these model structures is proven to be Quillen equivalent to the left Bousfield localization of the Joyal model structure, which represents (∞, 1)-categories (layered (∞, 1)-categories) in which all endomorphisms are isomorphisms.
### Main Contributions
- **Construction of combinatorial model structures**: The author constructs multiple model structures in the combinatorial framework of stratified simplicial sets and shows the precise relationships between them.
- **Extension to varying posets**: Extend these model structures to stratified simplicial sets with varying posets and connect them to the Joyal model structure.
- **Provide Quillen equivalences**: Prove the Quillen equivalence between Haine's abstract stratified homotopy type model structure and the décollages model structure.
- **Right Bousfield localization**: Provide the right Bousfield localization of the global model structure, so that the maps between bifibrant objects are fully defined at the space (simplicial set) level.
- **Cartesian closedness**: Prove that all the defined model structures are Cartesian closed, thus recovering Bruce Hughes' results on homotopy - stratified spaces.
### Summary
Through these efforts, the author hopes to better understand stratified homotopy theory in the combinatorial framework and ultimately transfer its results to the world of topological stratified spaces in order to achieve a deeper understanding of the stratified homotopy hypothesis.