Model category structures on dga's in a ringed topos - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T08:49:12Z http://mathoverflow.net/feeds/question/119869 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/119869/model-category-structures-on-dgas-in-a-ringed-topos Model category structures on dga's in a ringed topos ChrisLazda 2013-01-25T18:07:10Z 2013-02-24T01:22:00Z <p>In the introduction to his paper "Towards a non-abelian $p$-adic Hodge theory", Olsson says that for any ringed topos $(\mathcal{T},\mathcal{O})$ with $\mathcal{O}$ a sheaf of $\mathbb{Q}$-algebras, the category $\mathrm{dga}_{\mathcal{O}}$ of $\mathcal{O}$-dga's has a model category structure, where the weak equivalences are quasi-isomorphisms, and the fibrations are surjections with level wise injective kernel (injective as objects in the category of $\mathcal{O}$-modules).</p> <p>Now, it seems to me the proof of this fact goes something along the following lines. Since the category of $\mathcal{O}$-modules has enough injectives, then the category of positively graded chain complexes has a similarly defined model category structure. One takes generating sets cofibrations and acyclic cofibrations in this model category of chain complexes, and one applies the 'free algebra functor' from complexes to dga's and the small object argument to get generating sets of cofibrations and acyclic cofibrations in the category of dga's. </p> <p>My question is the following. </p> <p><strong>Do we really need to restrict to $\mathbb{Q}$-algebras here? Or will this argument work for <em>any</em> ringed topos $(\mathcal{T},\mathcal{O})$? For example, will the above definitions of weak equivalences and fibrations define a model category structure on the category of sheaves of $\mathbb{Z}/\ell^n$-modules in the étale topos of some scheme?</strong></p> <p>I can't see where the argument breaks down, but I may not have understood it well enough.</p> http://mathoverflow.net/questions/119869/model-category-structures-on-dgas-in-a-ringed-topos/121369#121369 Answer by Dylan Wilson for Model category structures on dga's in a ringed topos Dylan Wilson 2013-02-10T01:01:12Z 2013-02-10T01:01:12Z <p>What you suggest should work. We're going to transport the model structure on the category of chain complexes via the adjunction using the criteria given in this answer: <a href="http://mathoverflow.net/questions/92538/transporting-model-structures-via-adjunctions" rel="nofollow">http://mathoverflow.net/questions/92538/transporting-model-structures-via-adjunctions</a></p> <p>(A proof of this transport theorem for our case, where adjunction functor is monadic, can be found, for example, as Lemma 2.3 in this paper of Schwede and Shipley, <a href="http://homepages.math.uic.edu/~bshipley/monoidal.pdf" rel="nofollow">http://homepages.math.uic.edu/~bshipley/monoidal.pdf</a>)</p> <p>We have an adjunction between the functors </p> <p>$$\text{Free}: \mathbf{Ch}_{\mathcal{O}} \rightarrow \mathcal{O}\text{-}\mathbf{dga}$$ and</p> <p>$$\text{Forget}: \mathcal{O}\text{-}\mathbf{dga} \rightarrow \mathbf{Ch}_{\mathcal{O}}$$</p> <p>where the first is left adjoint to the second. Since $\mathcal{O}$-modules form a Grothendieck abelian category, there is a combinatorial model structure on $\mathbf{Ch}_{\mathcal{O}}$ with the fibrations and weak equivalences you described. Every object in both categories is small, since they are presentable.</p> <p>Now I need to show that everything that can be obtained by sequential limits from cobase changing the arrows $\text{Free}(g)$,where $g$ is a (generating) acyclic cofibration in $\mathbf{Ch}_{\mathcal{O}}$, is a quasi-isomorphism. I think this is true, but I'm not sure so I'll include my argument in case there's something wrong with it.</p> <p>First I claim that the relative tensor product $\text{Free}(D) \otimes_{\text{Free}(C)} (-)$ is exact on chain complexes. Indeed, given an exact sequence of chain complexes $0 \rightarrow X \rightarrow Y \rightarrow Z \rightarrow 0$ I can form the diagram</p> <p><img src="http://i.imgur.com/jwY8UsU.png" alt="alt text"></p> <p>All three columns and the top two rows are exact, since free algebras are free as graded modules and the exactness diagrams of chain complexes is determined by exactness as graded objects. Therefore the bottom row is exact (diagram chase or spectral sequence argument.) (The unadorned tensors are over $\mathcal{O}$). </p> <p>Now I claim that cobase changing a morphism $\text{Free}(C) \rightarrow \text{Free}(D)$ where $C \rightarrow D$ is a monomorphism that's a quasi-isomorphism, gives a quasi-isomorphism. Indeed, we have a convergent spectral sequence $$\text{Tor}_{p,q}^{H^*F(C)} (H^*F(D), H^*A) \Rightarrow H(F(D) \otimes^{\mathbb{L}}A)$$ But since $F(D)$ is a flat $F(C)$ module this converges to the cohomology of $F(D) \otimes_{F(C)} A$. On the other hand, $$H^*F(C) \rightarrow H^*F(D)$$ is an isomorphism so the $E_2$-term collapses to an edge, and moreover the edge is just $H^*A$. The edge homomorphism is then an isomorphism, but the edge homomorphism is precisely the map induced by $A {\rightarrow} F(D) \otimes_{F(C)} A$, whence this map is a quasi-isomorphism, which was to be shown.</p> <p>Since sequential colimits in the category of algebras are the same as those in the category of chain complexes, we already know that sequential colimits of quasi-isomorphisms are quasi-isomorphisms. The result follows. </p> <p>(I didn't use that the arrow $F(C) \rightarrow F(D)$ was monic... so that worries me.)</p>