A model structure on the category of "dualizing maps" - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T02:41:18Z http://mathoverflow.net/feeds/question/77094 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/77094/a-model-structure-on-the-category-of-dualizing-maps A model structure on the category of "dualizing maps" algori 2011-10-04T02:24:40Z 2011-10-04T12:45:29Z <p>Let $C$ be the category with objects being maps $h:M\to A$ where $A$ is a commutative graded $\mathbb{Q}$-algebra (cdga), $M$ is a differential graded (dg) $A$-module and $h$ is an $A$-dg-module map, and morphisms being all commutative squares</p> <p><code>$$\begin{matrix} M &amp; \to &amp; A \\ f\downarrow &amp; &amp; \downarrow g\\ M' &amp; \to &amp; A' \end{matrix}$$</code></p> <p>where $g$ is a map of cdga's and $f$ is a map of $\mathbb{Q}$-vector spaces such that $f(am)=g(a)f(m)$ for all $a\in A, m\in M$.</p> <p>I would like to ask whether $C$ admits a model structure with weak equivalences being squares of the above form with $f,g$ quasi-isomorphisms. If it does, then what are the cofibrant objects of this structure? If it turns out there are several such structures, then I'd be mostly interested in the one where cofibrant objects are easier to describe.</p> http://mathoverflow.net/questions/77094/a-model-structure-on-the-category-of-dualizing-maps/77098#77098 Answer by David White for A model structure on the category of "dualizing maps" David White 2011-10-04T02:44:11Z 2011-10-04T03:08:10Z <p>I'm not 100% sure, but I think this is very likely. Mark Hovey has recently studied model category structures on $Arr(\mathcal{C})$ where $\mathcal{C}$ is a bicomplete, closed, symmetric monoidal model category (e.g. the category of differential graded algebras). Some things can also be said with weaker conditions on $\mathcal{C}$. This is unpublished but he's been giving some talks on it and I imagine it will appear in the not-too-distant future. I'm not sure how much I should say without his permission, but you could always contact him directly. One of the points of his paper is that you can get lots of nice properties on $Arr(\mathcal{C})$. It's also possible others have studied this. Anyway, it turns out that the arrow category has a model category structure where the weak equivalences are squares </p> <p>$\begin{matrix}M &amp; \to &amp; A \\ f\downarrow &amp; &amp; \downarrow g\\ M' &amp; \to &amp; A' \end{matrix}$</p> <p>with $f,g$ weak equivalences in $\mathcal{C}$, and the cofibrations are squares as in your question with $f,g$ cofibrations in $\mathcal{C}$. This is the so-called injective model structure. There is also one where the weak equivalences and fibrations are squares with $f,g$ weak equivalences and fibrations respectively. This is the so-called projective model structure.</p> <p>If you look into the paper <em><a href="http://www.math.uni-bonn.de/~schwede/AlgebrasModules.pdf" rel="nofollow">Algebras and Modules in Monoidal Model Categories</a></em> by Stephan Schwede and Brooke Shipley you'll see that if $\mathcal{C}$ satisfies something called the Monoid Axiom and is cofibrantly generated then you can get a model structure on $Mon(\mathcal{C})$ the monoids of $\mathcal{C}$. You can also get a model category structure on modules over a commutative monoid, and this seems to be the situation you're in. One thing which Hovey proves in his manuscript is that if $\mathcal{C}$ satisfies the monoid axiom (and the other hypotheses listed in the second sentence of this answer) then $Arr(\mathcal{C})$ under the injective model structure satisfies the monoid axiom.</p> <p>Finally, the maps you're interested in--where the source is a dg module over the target (which is a cdga)--should also form a model category as the monoids in $Arr(\mathcal{C})$ under an appropriate product on $\mathcal{C}$. It turns out the correct product to work with is the pushout product, which can be found in Hovey's book <em><a href="http://www.amazon.com/Model-Categories-Mathematical-Surveys-Monographs/dp/0821813595" rel="nofollow">Model Categories</a></em>, but which I'll reproduce here:</p> <p>For $f:X_0\rightarrow X_1$ and $g:Y_0\rightarrow Y_1$</p> <p>$f \Box g : (X_0 \otimes Y_1) \coprod_{X_0\otimes Y_0}(X_1\otimes Y_0) \rightarrow X_1\otimes Y_1$</p> <p>I'm really not comfortable saying more here, but please feel free to email me if you'd like some more details.</p> http://mathoverflow.net/questions/77094/a-model-structure-on-the-category-of-dualizing-maps/77126#77126 Answer by Agusti Roig for A model structure on the category of "dualizing maps" Agusti Roig 2011-10-04T12:45:29Z 2011-10-04T12:45:29Z <p>I'm not sure about your category of arrows, but it's certainly true the following result: giving a model category $\cal{C}$, you always have a model structure on the category of its arrows $\cal{C}^2$ with the following distinguished morphisms:</p> <ol> <li>Weak equivalences: pairs $(f, g)$ where both $f, g$ are weak equivalences.</li> <li>Fibrations: pairs $(f, g)$ where both $f, g$ are fibrations.</li> <li>Cofibrations: pairs $(f, g)$ where $f$ and the induced map $M'\sqcup_M A \longrightarrow A'$ are cofibrations </li> </ol> <p>Besides being probably folklore, this result can also be found in A. Roig, "Model category structures in bifibred categories", JPAA 95 (1994), corollary 7.3.</p> <p>So, in your case I guess you would need a substitute for the push-out $M'\sqcup_M A$, which perhaps it's not difficult to find.</p> <p>The above result for the category of arrows $\cal{C}^2$ is a particular case of a more general one about building model category structures for bifibred categories (op.cit., theorem 5.1). This theorem comes together with its dual (theorem 5.1$^o$), that you obtain exchanging fibrations and cofibrations. So, though it's not written explicitely in the paper, you have another "natural" model structure on $\cal{C}^2$, exchanging (2) and (3) above, and putting a pull-back in the place of the push-out.</p>