(∞,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
An (∞,1)-sheaf – often called a ∞-stack – is the (∞,1)-categorical analog of a sheaf. Just like a category of sheaves is a topos, an (∞,1)-category of (∞,1)-sheaves is an (∞,1)-topos.
There is good motivation for sheaves, cohomology and higher stacks.
Here we recall basic definitions and then concentrate on 1-categorical models that present (∞,1)-categories of ∞-stacks.
What we describe is effectively the old theory of the model structure on simplicial presheaves seen in the new light of Higher Topos Theory.
We proceed as follow.
It is helpful to briefly recall the story that we want to tell in the category theory context, because in the full higher category theory context it will be literally the same with all notions such as adjoint functor, exact functor etc suitably regarded in the context of (∞,1)-functors.
Consider a category that we want to think as a category of “test spaces”. Classical choices would be Top, the category of topological spaces, Diff, the category of smooth manifolds or , the category of open subsets of some topological space .
Let Set be the category of sets. We write
for the category of presheaves on . This is like a category of very general spaces modeled on as described at motivation for sheaves, cohomology and higher stacks.
In fact, this is a bit too general for most purposes: the objects of may be very non-local in that they don’t respect the way test objects in are supposed to glue together. The full subcategory on those presheaves that do respect some kind of gluing of test objects is the category of sheaves.
Recall that this means that
in other words that
In view of our models for -sheaves it is of importance that this implies an equivalence characterization
Another useful kind of geometric embeddings is that of the point:
let be the category with a single morphism (the identity on a single object). Then . Geometric embeddings
are called points of . We say that has enough points if isomorphisms of sheaves can be tested on points
This is the situation we shall concentrate on here.
The topos has enough points, one for every .
The topos has enough points: one for every ordinary point of .
If has enough points, we may characterize sheaves in yet another way, which is the one that directly suggests the local model structure on simplicial presheaves discussed below:
Let be the set of stalkwise isomorphisms, i.e. those morphisms of presheaves such that for all points the morphism is an isomorphism (of sets).
If has enough points, then is equivalent to the full subcategory of -local presheaves.
The local model structure on simplicial presheaves that we are going to describe is obtained from this description of sheaves by
So the model structures we shall encounter are plausible guesses. What is less trivial is that this plausible structure indeed presents the fully general notion of (∞,1)-sheaf/∞-stack.
This fully general notion we introduce now.
-categories and their presentation
An ordinary locally small category is a category enriched over the category Set of sets.
An (∞,0)-category is an ∞-groupoid which we think of as modeled by a simplicial set that is a Kan complex.
Recall that there is a notion of nerve and realization
for SSet-enriched categories induced by a cosimplicial simplicially enriched category
where the nerve operation is called the homotopy coherent nerve of simplicially enriched categories.
An (∞,1)-category is a category enriched over -groupoids, i.e. an SSet-enriched category all whose hom-objects happen to be Kan complexes.
Given two -categories and the (∞,1)-functor -category is
This is indeed itself an -category (HTT, prop 126.96.36.199).
The (∞,1)-category of (∞,1)-categories is that whose
objects are -categories;
for and two -categories the -groupoid is the maximal Kan complex inside the simplicial set of maps between the homotopy coherent nerves
Using the monoidal embedding every ordinary category is an -category.
The -category (∞Grpd) is the full [[SSet]-subcategory of SSet on Kan complexes.
Definition (homotopy category)
The simplicial connected components functor
is strong monoidal and hence induces a functor
The image of an -category with is the homotopy category of an (∞,1)-category.
Two -categories and are equivalent if they are isomorphic in
It is often convenient to present -categories by 1-categorical models.
Definition (-category presented by a model category)
For a combinatorial simplicial model category, the -category presented by it is the full subcategory on objects that are both cofibrant and fibrant.
Remark The axioms of a simplicial model category ensure that the hom-simplicial sets of are indeed Kan complexes. (for instance HTT, remark 3.1.8).
Let and be combinatorial simplicial model categories. Then the corresponding -categories and are equivalent precisely if there is a sequence of SSet-enriched Quillen equivalences
There is now an obvious definition of -categories of -presheaves and of -sheaves by interpreting the 1-categorical story in the -categorical context.
Now we generalize the above from sheaves to (∞,1)-sheaves also known as ∞-stacks.
The -category of (∞,1)-presheaves on is
Proposition (models for -presheaves) (HTT, prop. 188.8.131.52,
see also HTT, prop. 184.108.40.206)
The -category presented by the global model structure on simplicial presheaves on (either the projective or the injective one) is equivalent to that of -presheaves on :
There are -category analogs of all the familiar notions from category theory, in particular
Using this we obtain a definition of geometric embedding of -toposes , i.e. left exaxt reflective (∞,1)-subcategories by literally copying the 1-categorical definition.
Remark Notice that this does not yet say that the localization is left exact .
But this makes at least plausible that the local model structure on simplicial presheaves is a presentation for an (∞,1)-category of (∞,1)-sheaves.
That this is indeed the case is
Remark See the discussion at Čech cohomology for the role of hypercompletion.
Abelian sheaf cohomology as special case of -stackification
The nerve operation of the Dold-Kan correspondence
embeds sheaves with values in non-negatively graded chain complexes of abelian groups into simplicial sheaves as those simplicial sheaves with values in Kan complexes that carry a struict abelian group structure. This way homological algebra and abelian sheaf cohomology are realized as special cases of models for -stacks: a complex of abelian sheaves presents a stably abelian -stack.
Under the Dold-Kan correspondence abelian sheaf cohomology identifies with the hom-set of the homotopy category corresponding infinity-stack (infinity,1)-topos.
More precisely, let
the underlying site be the category of open subsets of a topological space ,
let be a sheaf with values in abelian groups on ;
let be the image of the complex of sheaves concentrated in degree under the Dold-Kan nerve;
write for the terminal object sheaf in (the sheaf constant on the singleton set).
Then degree abelian sheaf cohomology of with coefficients in is homotopy classes of maps from to :
The original proof was given in BrownAHT in terms of the category of fibrant objects structure on locally Kan simplicial sheaves.
The analogous arguments in terms of the full injective model structure were given by Jardine. See section 6 of his lecture notes.