Last syzygies of 1-generic spaces (Q1879672): Difference between revisions

Let \(S\) be a polynomial ring over a field \(k\), and \(\varphi: F\to G\) a map of free \(S\)-modules of ranks \(f\) and \(g,f\geq g\). Suppose that \(\varphi\) is represented by a matrix of linear forms and that the ideal \(I_\varphi\) of maximal minors of this matrix has the greatest possible value \(f- g+ 1\). \textit{D. Eisenbud} and \textit{S. Popescu} showed that, if the syzygy ideal of each non-zero element in \(\text{Tor}_{f-g}(I, k)\) is \(I\), then \(\varphi\) is 1-generic [in: Commutative algebra, algebraic geometry, and computational methods. Proc. Conf. algebraic geometry, commutative algebra, and computation, Hanoi 1996, 247--258 (1999; Zbl 0955.13005)]. Furthermore they proved a partial converse and conjectured that the converse is always true. The author proves a geometric version of this conjecture. We quote from his abstract. Let \(X(\gamma)\) be a determinantal variety of expected codimension defined by the maximal minors of a matrix of linear forms representing a linear map \(\gamma\). For a last syzygy \(s\) of \(X(\gamma)\), the syzygy ideal is denoted by \(I(s)\). If \(\gamma\) is 1-generic, then the syzygy varieties \(\text{Syz}(s)= V(I(s))\) of all last syzygies \(s\) have the same support as \(X(y)\).