Last syzygies of 1-generic spaces

DOI10.1016/J.JALGEBRA.2004.02.032MaRDI QIDQ1879672zbMATH OpenOpenAlexFDO

Authors Hans-Christian Graf von Bothmer

Publication date 23 September 2004

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0307361

zbMATH Keywords

determinantal varieties

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Syzygies, resolutions, complexes and commutative rings (13D02) Determinantal varieties (14M12)

Abstract: Consider a determinantal variety X of expected codimension definend by the maximal minors of a matrix M of linear forms. Eisenbud and Popescu have conjectured that 1-generic matrices M are characterised by the property that the syzygy ideals I(s) of all last syzygies s of X coincide with I_X. In this note we prove a geometric version of this characterization, i.e. that M is 1-generic if and only if the syzygy varieties Syz(s)=V(I(s)) of all last syzyzgies have the same support as X.

Review text

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)\).

Recommendations

• scientific article; zbMATH DE number 1405546
• Some linear syzygy conjectures
• Tensor functors of complexes (d'après Nielsen)
• High rank linear syzygies on low rank quadrics
• Determinantal ideals of linear type
• THE MINIMAL FREE RESOLUTION OF CERTAIN DETERMINANTAL IDEA
• The first syzygies of determinantal ideals
• Symmetric algebras of modules arising from a fixed submatrix of a generic matrix
• Ideals of general forms and the ubiquity of the weak Lefschetz property.
• On modules of linear type

Cites work

• scientific article; zbMATH DE number 671735 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1405546 (Why is no real title available?)
• Koszul cohomology and the geometry of projective varieties. Appendix: The nonvanishing of certain Koszul cohomology groups (by Mark Green and Robert Lazarsfeld)
• Linear Sections of Determinantal Varieties
• The Eisenbud-Koh-Stillman conjecture on linear syzygies

Cited in

(1)

• scientific article; zbMATH DE number 1405546 (Why is no real title available?)

This page was built for publication: Last syzygies of 1-generic spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1879672)