Algebra Counterexample Request: Linear Quotients - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T06:24:20Z http://mathoverflow.net/feeds/question/68639 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/68639/algebra-counterexample-request-linear-quotients Algebra Counterexample Request: Linear Quotients Gwyn Whieldon 2011-06-23T18:11:54Z 2011-06-24T11:21:27Z <p>A result of Herzog, Hibi, and Zheng in "Monomial ideals whose powers have a linear resolution" states that:</p> <p><strong>Theorem:</strong> Let \$I\subseteq\Bbbk[x_1,\ldots,x_n]\$ be a monomial ideal generated in degree 2. The following conditions are equivalent:</p> <ol> <li>I has a linear resolution.</li> <li>I has linear quotients.</li> <li>Each power of I has a linear resolution.</li> </ol> <p>This, when combined with (a slightly extended version of) Froberg's characterization of degree 2 (squarefree) ideals with a linear resolution, gives a complete description of all degree 2 (monomial) ideals with linear quotients.</p> <p>However, this still leaves open a characterization of monomial ideals generated in higher degree with linear resolutions/quotients/linear resolutions of their powers. Sturmfels [in "Four Counterexamples in Combinatorial Algebraic Geometry"] and Conca [in "Regularity jumps for powers of ideals"] have a number of examples of ideals \$I\$ with linear quotients and linear quotients of their powers \$I, I^2,\ldots,I^{k-1}\$, which fail to have a linear resolution for \$I^k\$.</p> <p>The counterexample request then is this: Are there any (monomial) homogeneous ideals which have characteristic independent linear resolutions but no linear quotients under any order of the generators? The theorem above implies that such an example would have to be generated (at least partially) in degree 3 or higher.</p> <p><strong>Edit:</strong> As Professor Conca pointed out, triangulations of the projective plane provide such an example. I was hoping to find a characteristic independent counterexample, but forgot to include this in the description. The request was largely because my research partner A. Hoefel and I were searching for such characteristic independent examples to test a conjecture - but were unable to locate any in the literature (or on a few targeted searches with M2 and GAP.)</p> http://mathoverflow.net/questions/68639/algebra-counterexample-request-linear-quotients/68655#68655 Answer by Aldo Conca for Algebra Counterexample Request: Linear Quotients Aldo Conca 2011-06-23T21:17:54Z 2011-06-23T21:17:54Z <p>Take a monomial ideal with a linear resolution in characteristic 0 and a non-linear resolution in characteristic 2. Then it cannot have linear quotients (with respect to the monomial generators) because having linear quotients is a combinatorial propriety. The standard triangulation of the real projective plane gives such an example. </p> http://mathoverflow.net/questions/68639/algebra-counterexample-request-linear-quotients/68724#68724 Answer by Aldo Conca for Algebra Counterexample Request: Linear Quotients Aldo Conca 2011-06-24T11:21:27Z 2011-06-24T11:21:27Z <p>If you take square-free monomials ideals and consider the Alexander duality, then linear resolution is dual to Cohen-Macaulay and linear quotient is dual to shellable. Hence you are looking for a non-shellable simplicial complex that is CM in all the characteristic. </p> <p>Volkmar Welker mentioned to me that the EG models web page (http://www.eg-models.de/) lists many examples of simplicial complexes with unusual or difficult to find proprieties. There you find what you are looking for. For example, EG Model No. 2003.05.003 is a nonshellable but constructible 2-dimensional simplicial complex. </p>