structures in a cohesive (∞,1)-topos
Equivalently: if all its object are hypercomplete objects.
All geometric morphisms out of a hypercomplete -topos factor through the hypercompletion of :
the inclusion induces an equivalence
This is HTT, prop. 126.96.36.199.
See the discussion at homotopy dimension for details and further implications.
There exist 1-sites such that the (1,1)-topos of sheaves of sets on has enough points in the 1-topos sense, but such that the corresponding 1-localic (∞,1)-topos does not have enough points in the sense of def. 2. An example is given by the site of open subsets of the topological space where the topology on is generated by the two open subsets and . See HTT, Remark 188.8.131.52.
However, the hypercompletion of will have enough points. This follows from the fact that may be presented by the Jardine model structure on simplicial presheaves on the given site of definition, and that in the presence of enough 1-topos points the weak equivalences of that model structure are the stalk-wise weak equivalences in the model structure on simplicial sets. (See at model structure on simplicial presheaves for details.)
An -topos that has enough points is hypercomplete.
This is HTT, remark 184.108.40.206.
So in an -topos with enough points all -connected morphisms are equivalences.
For the Goodwillie n-jet (∞,1)-toposes are generically far from being hypercomplete.
Hypercomplete ∞-stack (∞,1)-toposes are precisely those that are presented by the local Joyal-Jardine model structure on simplicial presheaves, where weak equivalences of simplicial presheaves are those morphisms that induce isomorphisms on homotopy sheaves. In these models the fibrant objects are those simplical presheaves that satisfy descent over all hypercovers.
Contrary to that one can consider local models by left Bousfield localization of the global model structure on simplicial presheaves only at Cech covers. This yield in general a non-hypercomplete (∞,1)-categories of (∞,1)-sheaves.
This is HTT, prop. 220.127.116.11.
The strategy is to form the localization in a 2-step process, where we first just form the Cech-localization, and then from that the full hypercompletion. For that notice that among the weak equivalences in the Joyal-Jardine local model structure on simplicial presheaves are in particular the ordinary covering sieves (here is the Yoneda embedding) associated with a coverin family in the site :
since is an ordinary category, the simplicial presheaves and have vanishing presheaves of homotopy groups in positive degree, while they coindide with their -presheaves. Since the sheafification of is isomorphic to , by definition, it follows that the same holds for the -presheaves and trivially for the -presheaves. So is a Joyal-Jardine weak equivalence.
We will now first localize with respect to these morphisms to obtain the Cech-localization whose fibrant objects are (∞,1)-sheaves. The point is that on these fibrant objects then, the Joyal-Jardine sheaves of homotopy groups can be seen to coincide with the (∞,1)-categorical homotopy sheaves in terms of which hypercompletion is defined.
To start with, as discussed at (∞,1)-category of (∞,1)-presheaves we have that the global model structure presents the -presheaves:
every simplicially constant object is fibrant in ;
hence since every object is cofibrant, the morphism is in ;
under the abovee identification it is an (∞,1)-monomorphism in
(discuss this bit in more detail…).
By the above remark, the Joyal-Jardine localization that we are after is a further localization of this Cech localization : we have the bottom row in the following diagram, and want to see that the top left corner is as indicated:
Now recall that the categorical homotopy groups in an (∞,1)-topos of an object are defined by first forming the powering and then paassing to the 0-truncation of this object in the over (∞,1)-category.
By the discussion at Tensoring and cotensoring with an ∞-groupoid we have that this powering operation is on fibrant objects modeled by the powering in the sSet-enriched model category . But the powering of simplicial presheaves by simplicial set is just objectwise the internal hom of simplicial sets. In terms of this are defined the objectwise simplicial homotopy groups and hence the Joyal-Jardine homotopy-presheaves.
Furthermore, if is fibrant, it satisfies descent for simplicial presheaves at Cech covers. Since powering is a Quillen bifunctor, the same is then true for , formed in the model category, so is an -stack. But that means its 0-truncation is an ordinary sheaf. (Observe that truncation commutes with localization, as discussed here.)
In total this shows that on fibrant objects in , the Joyal-Jardine homotopy sheaves coincide with the -categorical homotopy sheaves of the object .
It remains to observe that under left Bousfield lcoalization, the new fibrant objects are precisely those old fibrant objects that are also local objects with respect to the morphisms at which one localizes. With the above this implies that the left Bousfield localization does model the hypercompletion .
In classical topos theory literature frequently simplicial objects in an ordinary topos are considered, with acyclic fibrations taken to be those morphisms such that for all horn inclusions the induced morphism
See for instance page 17 of
(and it looks like this is the discussion planned for part E of the Elephant).
For sheaf toposes epimorphism means stalk-wise epimorphism. Therefore this amounts to using on simplicial sheaves the structure of a category of fibrant objects as defined in BrownAHT, where acyclic fibrations are the stalkwise acyclic Kan fibrations.
The homotopy category of this homotopical category is the same as that of the Joyal-Jardine model structure on simplicial presheaves in the presence of enough points (since in both cases weak equivalences are the stalkwise weak equivalences), hence is the same as the homotopy category of the hypercomplete (∞,1)-topos.
For more discussion of how this classical definition interplays with other definitions see also homotopy groups in an (∞,1)-topos.
The notion of hypercompleteness appears as -completeness in
The notion of hypercomplete -toposes is the topic of section 6.5 of