Local complete Segal spaces (Q1633198)

Joyal's quasi-categories and Rezk's complete Segal spaces are equivalent models of \((\infty,1)\)-categories. They can be realized as the fibrant objects of two model structures on the category \(s\mathcal Set\cong s\mathbf{Psh}(*)\) of simplicial sets and \(s^2\mathcal Set\cong s^2\mathbf{Psh}(*)\) of bisimplicial sets, in which the weak equivalences are the {Joyal equivalences} and the {complete Segal space equivalences}. An explicit comparison was provided by Joyal-Tierney, who produced Quillen equivalences between these two model structures. Rather than working over a point \(*\), the author studies the more general categories \(s\mathbf{Psh}(\mathscr{C})\), \(s\mathbf{Sh}(\mathscr{C})\), \(s^2\mathbf{Psh}(\mathscr{C})\), and \(s^2\mathbf{Sh}(\mathscr{C})\) of (bi)simplicial (pre)sheaves over a Grothendieck site \(\mathscr{C}\). More precisely, he investigates the existence of model structures on said categories for which the weak equivalences can be thought as stalkwise Joyal equivalences in \(s\mathcal Set\) or stalkwise complete Segal spaces equivalences in \(s^2\mathcal Set\). In a previous paper [Theory Appl. Categ. 31, 690--711 (2016; Zbl 1352.18008)], the author has introduced a model structure on \(s\mathbf{Psh}(\mathscr{C})\) and \(s\mathbf{Sh}(\mathscr{C})\), that he calls the {local Joyal model structure}, where the weak equivalences are stalkwise Joyal equivalences. In this paper he addresses the analogous question, for the categories \(s^2\mathbf{Psh}(\mathscr{C})\) and \(s^2\mathbf{Sh}(\mathscr{C})\), exploring a viewpoint which was first suggested by Rezk. To this end, the author first considers the {local Reedy model structure} on \(s^2\mathbf{Psh}(\mathscr{C})\), in which cofibrations are levelwise monomorphisms and weak equivalences are levelwise stalkwise Kan weak equivalences of simplicial sets. He then localizes it with respect to the same maps used by Rezk to construct the complete Segal space model structure, suitably regarded as constant bisimplicial presheaves over \(\mathscr{C}\), and obtains the desired model structure on \(s^2\mathbf{Psh}(\mathscr{C})\), which he calls {local complete Segal space model structure}. Fibrant objects are (pre)sheaves of complete Segal spaces. The local complete Segal space model structure restricts to the category \(s^2\mathbf{Sh}(\mathscr{C})\) of bisimplicial sheaves along the inclusion of sheaves into presheaves, and the resulting adjunction is shown to be a Quillen equivalence. The author also enhances Joyal-Tierney's Quillen equivalence to a Quillen equivalence between the local Joyal model structure on \(s\mathbf{Psh}(\mathscr{C})\) and the local complete Segal space model structure on \(s^2\mathbf{Psh}(\mathscr{C})\). This comparison is then used to provide characterizations for (bi)simplicial presheaves over \(\mathscr{C}\) to satisfy descent for the local Joyal model structure or for the local complete Segal space model structure.