(∞,1)-category of (∞,1)-sheaves
Extra stuff, structure and property
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
structures in a cohesive (∞,1)-topos
A site being locally and globally -connected means that it satisfies sufficient conditions such that the (∞,1)-category of (∞,1)-sheaves over it is a locally ∞-connected (∞,1)-topos and a ∞-connected (∞,1)-topos.
A a site is locally and globally -connected over ∞Grpd if
The (∞,1)-sheaf (∞,1)-topos over locally and globally -conneted site , regarded as an (∞,1)-site, is a (1-localic) locally ∞-connected (∞,1)-topos and ∞-connected (∞,1)-topos, in that it comes with a triple of adjoint (∞,1)-functors
such that preserves the terminal object.
To prove this, we we use the model structure on simplicial presheaves to present .
Write for the projective global model structure and for its left Bousfield localization at the set of morphisms out of the Cech nerve for each covering family , and for the Kan complex-enriched category on the fibrant-cofibrant objects. By the discussion at model structure on simplicial presheaves we have
and the adjoint (∞,1)-functors on the left are presented by simplicial Quillen adjunctions on the right.
To establish these, we proceed by a sequence of lemmas.
For a covering family in the -connected site , the Cech nerve is a cofibrant resolution of both in the projective model structure as well as in the Cech local model structure .
By assumption on we have that is a split hypercover. By Dugger's theorem on cofibrant objects in the projective model structure this implies that is cofibrant in the global model structure. By general properties of left Bousfield localization we have that the cofibrations in the local model structure as the same as in the global one. Finally that is a weak equivalence in the local model structure holds effectively by definition (since we are localizing at these morphisms).
On a locally and globally -connected site the global section (∞,1)-geometric morphism
is presented by the simplicial Quillen adjunction
where is the functor that evaluates on the point, , and is the functor that sends a simplicial set to the presheaf constant on that value, .
We use (as described there) that adjoint (∞,1)-functors are modeled by simplicial Quillen adjunctions between the simplicial model categories that model the -categories in question.
That we have an adjunction follows for instance by observing that since has a terminal object we may think of as being the functor that takes the limit.
To see that we have a Quillen adjunction first notice that we have a Quillen adjunction
on the global model structure, since manifestly preserves fibrations and acyclic fibrations there. Since is left proper and has the same cofibrations as the global model structure, it follows with HTT, corollary A.3.7.2 (see the discussion of sSet-Quillen adjunctions) that for this to descend to a Quillen adjunction on the local model structure it is sufficient that preserves fibrant objects. But every fibrant object in the local structure is in particular fibrant in the global structure, hence in particular fibrant over the terminal object of .
The left derived functor of preserves homotopy limits (because (∞,1)-limits in an (∞,1)-category of (∞,1)-presheaves are computed objectwise), and ∞-stackification, the left derived functor of is a left exact (∞,1)-functor, therefore the left derived functor of preserves finite homotopy limits.
This means that our Quillen adjunction does model a (∞,1)-geometric morphism . By the discussion at global section the space of these geometric morphisms to ∞Grpd is contractible, hence this is indeed a representative of the terminal geometric morphism as claimed.
Proof of the theorem
By general abstract facts the sSet-functor given on by for all has an sSet-left adjoint
naturally in and , given by the colimit operation. Notice that since sSet is itself a category of presheaves (on the simplex category), these colimits are degreewise colimits in Set. Also notice that the colimit over a representable functor is the point (by a simple Yoneda lemma-style argument).
Regarded as a functor the functor manifestly preserves fibrations and acyclic fibrations and hence
is a Quillen adjunction, in particular preserves cofibrations. Since by general properties of left Bousfield localization of model categories the cofibrations of are the same, also preserves cofibrations.
Since is a left proper model category it follows as before with HTT, corollary A.3.7.2 (see the discussion of sSet-Quillen adjunctions) that for
to be a Quillen adjunction, it suffices to show that preserves fibrant objects. That means that constant simplicial presheaves satisfy descent along covering families in the -cohesive site : for every covering family in and every simplicial set it must be true that
is a homotopy equivalence of Kan complexes. (Here we use that , being a representable, is cofibrant, that is cofibrant by the above lemma and that is fibrant in the projective structure by the assumption that is fibrant. So the simplicial hom-complexes in the above equaltion really are the correct derived hom-spaces.)
But that this is the case follows by the condition on the -cohesive site by which : using this it follows that
So we have established that also
is a Quillen adjunction.
It is clear that the left derived functor of preserves the terminal object: since that is representable by assumption on , it is cofibrant in , hence .
are locally and globally -connected and in fact ∞-cohesive.
This implies that ∞LieGrpd is a cohesive (∞,1)-topos. See there for details.