(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
An (∞,1)-topos is hypercomplete if the Whitehead theorem is valid in it.
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. 6.5.2.13.
Every (∞,1)-topos which is locally of homotopy dimension for some finite is hypercomplete.
See the discussion at homotopy dimension for details and further implications.
Every (∞,1)-topos has a hypercompletion, given by the full reflective sub-(∞,1)-category spanned by its hypercomplete objects.
For an (∞,1)-topos, a point of is a geometric morphism
from ∞Grpd to . We say that has enough points if a 1-morphism in is an equivalence in precisely if for all such points the inverse image (the stalk at the point) is an equivalence in ∞Grpd.
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. . 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 6.5.4.7.
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. WARNING: See the remark above.
This is HTT, remark 6.5.4.7. See [SAG, A.4.0.5] for the converse: If an ∞-topos is hypercomplete and locally coherent, then it has enough points.
Recall from def. that a point of an (∞,1)-topos is a geometric morphism .
And by definition has enough points if a morphism in is an equivalence if for all points , the stalk is an equivalence in ∞Grpd.
But if is -connected in , then so is in ∞Grpd, which is hypercomplete, by Whitehead's theorem, so that is an equivalence.
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.
If the underlying ordinary sheaf topos has enough points, then this are equivalently the morphisms that induce stalkwise weak equivalences in the standard model structure on simplicial sets.
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.
For site, write for the Joyal-Jardine local model structure on simplicial presheaves (whose weak equivalence are morphisms that induce isomorphisms on homotopy-sheaves).
The -topos that this presents is the hypercompletion of the (∞,1)-category of (∞,1)-sheaves on :
This is HTT, prop. 6.5.2.14.
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:
Observe that
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…).
Therefore the topological localization of at these monomorphisms, i.e. the (∞,1)-category of (∞,1)-sheaves on is presented by the left Bousfield localization of at the covering subfunctors .
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
is an epimorphism in the topos.
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
Program Stacks, Intersection theory and Non-abelian Hodge Theory, MSRI, Berkeley, January-May 2002 (arxiv:math/0212330).
The notion of hypercomplete -toposes is the topic of section 6.5 of
Last revised on November 17, 2022 at 11:04:20. See the history of this page for a list of all contributions to it.