Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Just a note for later when the page can be edited again:
A model-category version of the “fundamental theorem of -topos theory” is also discussed in:
Finally coming back to this.
I am looking for the generalization of the equivalence (of -categories)
to the case that is not necessarily an object of but is an object of (hence omitting the “” in the above formula), and interpreting as the evident sub-category of .
I vaguley thought it was proven in this generality in HTT, but now I don’t find it there, and maybe it isn’t. (Corollary 6.3.5.1 in HTT does generalize the above statement, but in another direction).
In the special case that is 1-truncated, the statement is essentially Thm. 4.4 of Hollander’s article above (after identifying with the Grothendieck construction that she refers to).
For a while this was all I needed. But now I need the statement for -truncated , and it shouldn’t depend on the truncation of at all.
Is there any reference?
The equivalence of these presheaf categories is corollary 5.1.6.12 of HTT; the last thing proved in the section on complete compactness. However, the equivalence constructed there is the colimit-preserving functor extending the map .
(I’m confused. I’m pretty sure I’ve made an error in the following, but I can’t find it. It’s probably just reversing an orientation so I’m leaving it up)
For completeness, let be such that . is a pullback of , and so it is contravariant Grothendieck construction . However,
so , and the isomorphism is .
I guess the part that threw me off is that 5.1.6.12 isn’t actually full generality like I had remembered; I guess it only applies when is a limit of representable functors.
Thanks for looking into this! Would be a great issue to settle.
Other people went through thinking that HTT 5.1.6.12 (right, that’s what I had meant to point to) gives the answer – e.g. MO:a/86209.
Myself, I don’t see, either, how HTT 5.1.6.12 would give the answer (which is what I meant by saying that it “generalizes in a different direction”) – but I’d be happy to be educated if it does.
Alternatively one could try to figure out if Hollander really needs her assumption that be 1-truncated. Possibly the only reason for this condition is that it allowed her to think of the slice in classical terms. But I haven’t dug through her proof yet.
Okay, here’s a way to establish the equivalence. The isomorphism when applied to an arrow is the dependent sum and the left Kan extension . (when viewing as )
Taking local right adjoints, an arrow acts on by taking pullbacks and on by the restriction map (along the composition map ).
Let be such that . Then we have an isomorphism . On the left side, we have
where the latter isomorphism is given by computing the colimit in right fibrations over via the Grothendieck construction. On the right side, we have
by applying HTT proposition 6.3.5.14 which implies slicing gives a limit-preserving functor and HTT 6.3.2.3 which says limits in are computed in .
I was hoping there was a simpler proof in terms of right fibrations; the proposition we’re asking for is that given a right fibration , we have
These are full subcategories of spanned by, respectively:
It’s not true that these are the same subcategory is it? This would imply that if and are right fibrations, then is a right fibration, but I didn’t see anything like that flipping through HTT or the nLab pages.
So, if these are isomorphic -categories, the isomorphism would have to be more complicated than just composing with .
Actually, I think that cancellation property is true. Characterizing right fibrations by the homotopy lifting property, given and , we have
(for some reason, tikzcd wasn’t working so I couldn’t draw the diagram)
This equivalence is very easy to implement as a Quillen equivalence of simplicial presheaves and their slice categories.
First, the functor Γ:PSh(S)/X⟶PSh(S/X) is a right Quillen functor between projective model structures. This follows from the fact that fibrations and acyclic fibrations are stable under base changes in any model category.
Next, the left adjoint functor PSh(S/X)→PSh(S)/X sends Čech nerves of open covers in S/X to Čech nerves of open covers in PSh(S). Thus, the Quillen adjunction descends to a Quillen adjunction between local projective model structures.
Finally, we have to show that the derived unit and derived counit of this Quillen adjunction are weak equivalences.
To this end we observe first that the right adjoint functor preserves weak equivalences and homotopy colimits. This implies that the derived unit and derived counit maps depend homotopy cocontinuously on the object. Thus, to show they are weak equivalences, it suffices to do it for the appropriate sets of (homotopy) generators.
Given a cofibrant object , we can take it to be representable, in which case the unit map is an isomorphism.
Given a fibrant object , we can take its underlying object in to be representable, in which case the counit map is an isomorphism.
Thanks for all this. I’ll think about it.
Meanwhile, I was wondering about a general abstract argument. The following should be the easy proof in every context in which “category theory works”:
Using
we check fully faithfulness by the following sequence of natural equivalences:
On the other hand, the previous proof over a representable which I had typed up In October 2021 (here at slice of presheaves is presheaves on slice) works verbatim also for non-representable base objects, and in this case gives the adjoint equivalence whose right adjoint is given by pullback.
This is what you (Dmitri) are appealing to in the first statement of #11:
First, the functor Γ:PSh(S)/X⟶PSh(S/X) is a right Quillen functor between projective model structures. This follows from the fact that fibrations and acyclic fibrations are stable under base changes in any model category.
and that is the kind of argument that has been being spelled out in the above entry here. There I had found it necessary to add a few more observations to really exhibit a simplicial Quillen equivalence for enriched simplicial presheaves over an -site, but it’s all straightforward, of course.
What I had not done before is type up any generalization of this argument to non-trivial Grothendieck topologies, which is of course the bulk of the argument in #11 above. Would be nice to type this up in the Lab entry here on the “fundamental theorem”.
I added the Čech-local argument to slice of presheaves is presheaves on slice. At some point the article switches from arbitrary presheaves to representable presheaves, for no particular reason, perhaps it should be generalized?
There must be some gap in the argument in #11.
Namely, consider the example (here) where the simplicial site is trivial, , and where the simplicial presheaf being sliced over is not 0-skeletal, e.g. for a non-trivial group . Then the slice site is still trivial, , since its hom-objects are computed by plain pullbacks which don’t pick up the higher cells in .
So it won’t be true that is (Quillen) equivalent to in this case. Some fibrancy condition on the site slicing is missing.
The problem is the appeal to the enriched slice category. It needs to be replaced by the “discrete enriched Grothendieck construction”. I’ll try to make the necessary edits at slice of presheaves is presheaves on slice.
1 to 16 of 16