Differential graded structures on free resolution? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T12:24:40Z http://mathoverflow.net/feeds/question/40282 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/40282/differential-graded-structures-on-free-resolution Differential graded structures on free resolution? Hanno Becker 2010-09-28T08:35:11Z 2010-10-12T12:29:19Z <p>Hello!</p> <p>In "Homological Algebra on a Complete Intersection", Eisenbud proves the following: </p> <p>Let <code>$A$</code> be a commutative ring, <code>$M$</code> be an <code>$A$</code>-module and <code>$F^{\ast}\to M$</code> an <code>$A$</code>-free resolution. Further, assume that <code>$M$</code> is annihilated by <code>$I := (x_1,...,x_n)$</code>, and that <code>$I$</code> contains a non zero divisor of <code>$A$</code>. Then there exist maps <code>$s_{\alpha}: F^{\ast}\to F^{\ast}$</code>, indexed by multiindices <code>$\alpha$</code> of length <code>$n$</code>, of degree <code>$2|\alpha|-1$</code>, with the following properties:</p> <ul> <li><code>$s_0$</code> is the differential of <code>$F^{\ast}$</code>.</li> <li><code>$s_j := s_{(0,0,...,0,1,0,...,0)}$</code> is a nullhomotopy for the multiplication by $x_j$.</li> <li>For any <code>$\gamma$</code> with <code>$|\gamma|\geq 2$</code> we have <code>$\sum\limits_{\alpha+\beta=\gamma} s_{\alpha} s_{\beta} = 0$</code>.</li> </ul> <p>Now he asks the following: Assuming <code>$(x_1,...,x_n)$</code> is regular and <code>$F^{\ast}$</code> is the minimal free resolution of <code>$M$</code>, is is possible to choose the nullhomotopies <code>$s_j$</code> in such a way that <code>$s_j^2=0$</code> and <code>$s_i s_j = -s_j s_i$</code>? I.e. can we make <code>$F^{\ast}$</code> into a differential graded module over the Koszul-Algebra of <code>$(x_1,...,x_n)$</code>? </p> <p>I'm interested in this question and would like to know if progress has been made to answer it. Is it possible to choose the <code>$s_i$</code> as above, and, if not, how can the obstruction be described?</p> <p><b>Edit:</b> Is it possible to handle all the ways the $s_j$ can be constructed? Does it have something to do with the `$A_{\infty}$-stuff? </p> <p>Thank you!</p> <p>Hanno</p> http://mathoverflow.net/questions/40282/differential-graded-structures-on-free-resolution/40307#40307 Answer by Hailong Dao for Differential graded structures on free resolution? Hailong Dao 2010-09-28T12:33:26Z 2010-09-28T12:58:07Z <p>It is true if the projective dimension of $M$ over $A$ is at most $3$, and counter examples exist when the projective dimension is $4$. </p> <p>The first counter example was given in Lucho Avramov's <a href="http://www.jstor.org/pss/2374187" rel="nofollow">paper</a> "Obstructions to the existence of a multiplicative structure on minimal resolutions". A simplified example, ($A=k[t_1,t_2,t_3,t_4], M= A/(t_1^2, t_1t_2, t_2t_3, t_3t_4, t_4^2)$, here you can choose the $x_i$s to be any regular sequence in the annihilator of $M$) together with discussion of related and more recent results can be found in Section 2 of this <a href="http://books.google.com/books?id=C5j4xCl8Q80C&amp;lpg=PA1&amp;ots=F6RUMrczXS&amp;dq=Infinite%20free%20resolutions&amp;pg=PA1#v=onepage&amp;q=Infinite%20free%20resolutions&amp;f=false" rel="nofollow">note</a> (available on Avramov's <a href="http://www.math.unl.edu/~lavramov2/papers.html" rel="nofollow">website</a>). </p> http://mathoverflow.net/questions/40282/differential-graded-structures-on-free-resolution/40320#40320 Answer by Daniel Erman for Differential graded structures on free resolution? Daniel Erman 2010-09-28T14:19:43Z 2010-09-28T14:19:43Z <p>Despite the existence of obstructions, there has also been progress in the other direction. Namely, there are lots of classes of free resolutions where the question is known to have an affirmative answer. (When $F^*$ can be given the structure of a dg module, it is sometimes said that $F^*$ has a "multiplicative structure".)</p> <p>For instance, I believe that Srinivasan first showed that the Eagon-Northcott complex has a multiplicative structure. This was then generalized by Pellikaan who showed that determinantal ideals also have multiplicative structures. There is a reasonably large literature along these lines, and many of the papers have the phrase "multiplicative structure" in the title.</p>