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.
1 to 6 of 6
Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds). The category of simplicial presheaves on S can be equipped with the local projective model structure given by the left Bousfield localization of the global projective model structure (weak equivalences and fibrations are componentwise) with respect to all hypercovers (for hypercomplete sites Čech covers are sufficient).
Fibrant objects in the resulting model structures are precisely those objects that are fibrant in the global projective model structure (i.e., componentwise fibrant) and satisfy descent with respect to all hypercovers (Čech covers for hypercomplete sites).
Now assume we are working in the category of simplicial sheaves, i.e., simplicial objects in the category of sheaves of sets on S.
Presumably the global projective model structure restricts to simplicial sheaves. Is there a reference for this claim? I was only able to find references for the injective local model structure (i.e., the Joyal-Jardine structure), but nothing for the projective case.
My main question concerns descent condition for the case of simplicial sheaves. Assume we have a simplicial sheaf that is globally fibrant. Can we somehow exploit the fact that individual simplicial components are sheaves (and not merely presheaves) to simplify the general descent condition? Or is it just as complicated as the descent for presheaves? (Again we can assume the site to be hypercomplete if it helps.)
Yeah, this is a natural question. But I am not aware of a projective analog of the injective-style Joyal model structure on simplicial sheaves.
I guess what confused me is the claim
“The local model structures on simplicial sheaves are just the restrictions of those on simplicial presheaves.”
in the article http://ncatlab.org/nlab/show/model+structure+on+simplicial+presheaves#injectiveprojective__localglobal__presheavessheaves_56
It talks about local model structures on simplicial sheaves, even though apparently we only have the local injective model structure on simplicial sheaves.
I have added the word “injective” in that sentence.
As it was pointed out to me on MathOverflow http://mathoverflow.net/questions/129002, the projective structure does indeed restrict to sheaves, as explained in this paper: http://math.uiuc.edu/K-theory/0462/combination2.pdf (Theorem 2.1), and the componentwise sheafification functor is a Quillen equivalence (Theorem 2.2).
Ah, thanks. I had forgotten about that. (Maybe when I drew the big table at model structure on simplicial presheaves I still knew it.) Have made a corresponding note there now to say this more explicitly.
1 to 6 of 6