What are the fibrant objects in the injective model structure? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T03:30:49Z http://mathoverflow.net/feeds/question/9490 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/9490/what-are-the-fibrant-objects-in-the-injective-model-structure What are the fibrant objects in the injective model structure? Chris Schommer-Pries 2009-12-21T17:08:09Z 2009-12-21T20:11:25Z <p>If C is a small category, we can consider the category of simplicial presheaves on C. This is a model category in two natural ways which are compatible with the usual model structure on simplicial sets. These are called the <em>injective</em> and <em>projective</em> model structures, and in both the weak equivalences are the <em>levelwise weak equivalences</em>, i.e. those natural transformations $X \to Y$ such that $X(c) \to Y(c)$ is a weak equivalence for all $c \in C$. </p> <p>The cofibrations in the injective model structure are the levelwise cofibrations. The injective fibrations are then defined as those maps which have the left-lifting property with respect to all cofibrations which are also weak equivalences. The injective <em>fibrant objects</em> are those simplicial presheaves in which the map to the terminal presheaf is an injective fibration. </p> <p><strong>My Question</strong>: Is there a better characterization of the fibrant objects? If I have an object are there any shortcuts which I can use to test if it is fibrant? An obvious necessary condition is that each simplicial set $X(c)$ must be fibrant (i.e. a Kan complex), but I want sufficient conditions. I'm willing to put restrictions on C. </p> <p>Dually, we can look at the projective model structure where the fibrations are the levelwise fibrations, and cofibrations have the extension property with respect to these. I'd also be interested in knowing about the cofibrant objects in this model structure, although for now I'm more interested in the injective model structure. </p> http://mathoverflow.net/questions/9490/what-are-the-fibrant-objects-in-the-injective-model-structure/9495#9495 Answer by Reid Barton for What are the fibrant objects in the injective model structure? Reid Barton 2009-12-21T18:15:25Z 2009-12-21T18:15:25Z <p>I'm not 100% sure, but I think the answer is that you should choose a <em>cellular model</em> for PSh(C) (the category of presheaves of sets on C), which is a set S of monomorphisms in PSh(C) such that every monomorphism of PSh(C) can be written as a transfinite composition of pushouts of elements of S. Then the fibrant objects in the category of simplicial presheaves on C are those objects X such that X(b) &rarr; X(a) is a fibration for every a &rarr; b in S (here X(a) denotes the simplicial set whose n-simplices are Hom<sub>PSh(S)</sub>(a, X<sub>n</sub>)).</p> <p>Finding a cellular model is not so easy in general (see Lemma A.3.3.3 of Jacob's book for a proof of existence). But in special cases it's simple, e.g., for C = &Delta;, we may take the maps $\partial \Delta^n \to \Delta^n$ for $n \ge 0$.</p> http://mathoverflow.net/questions/9490/what-are-the-fibrant-objects-in-the-injective-model-structure/9502#9502 Answer by Agusti Roig for What are the fibrant objects in the injective model structure? Agusti Roig 2009-12-21T20:09:35Z 2009-12-21T20:09:35Z <p>I think you can find an answer in my question about global fibrations of simplicial sheaves: <a href="http://mathoverflow.net/questions/5179/global-fibrations-of-simplicial-sheaves" rel="nofollow">http://mathoverflow.net/questions/5179/global-fibrations-of-simplicial-sheaves</a> .</p> <p>There, Andreas Holmstrom pointed me to Voevodsky's preprint "Homotopy theory of simplicial presheaves in completely decomposable topologies", <a href="http://front.math.ucdavis.edu/0805.4578" rel="nofollow">http://front.math.ucdavis.edu/0805.4578</a> , where I discovered lemma 4.1 , which I think aswers your question.</p> <p>Although it is not proved, Voevodsky says that it is straightforward. I could manage myself to write a proof of it, at least under the hypothesis of Brown-Gernstern's "Algebraic K-theory as generalized sheaf cohomology", in LNM 341/1973, that is, with sheaves defined on a Noetherian space of finite Krull dimension.</p> <p>In this situation at least, fibrations are <em>global fibrations</em>. That is, a morphism of sheaves $p: E \longrightarrow B$ is a global fibration if and only if if for every inclusion of open sets $U\subset V$ the natural map $E(V) \longrightarrow B(V) \times_ {B(U)} E(U)$ is a (Kan) fibration of simplicial sets.</p> <p>As a corollary, if you take $B = *$, this condition tells you that fibrant objects are those for which each restriction map $E(V) \longrightarrow E(U)$ is a Kan fibration. In particular, put $U=\emptyset$ and this implies that each $E(V)$ must be a Kan complex.</p> <p>All this with Brown-Gersten's hypothesis, but Voevodsky doesn't seem to need them, so maybe it is also true in your situation.</p> http://mathoverflow.net/questions/9490/what-are-the-fibrant-objects-in-the-injective-model-structure/9503#9503 Answer by philip314 for What are the fibrant objects in the injective model structure? philip314 2009-12-21T20:11:25Z 2009-12-21T20:11:25Z <p>In the introduction to his paper "Flasque Model Structures for Presheaves" (in fact simplicial presheaves) Isaksen states on the top of page 2 that his model structure has a nice characterisation of fibrant objects and that "This is entirely unlike the injective model structures, where there is no explicit description of the fibrant objects". This would answer your question. It might be my ignorance, but I think there is no justification for Isaksen quoted statement except that no characterisation is known as yet.</p>