The first syzygies of determinantal ideals (Q5899844): Difference between revisions

In this paper one proves D. W. Sharpe's conjecture that all relations on p-minors of a matrix \((X_{ij})\) of indeterminates, considered in the polynomial ring \({\mathbb{Z}}[X_{ij}]\) are generated by certain relations of degree 1. When the coefficients are taken in a ring A which contains \({\mathbb{Q}}\), much more is known, namely even the minimal resolutions of \(A[X_{j}]/I_ p\), \(I_ p\) being the ideal generated by all p-minors [\textit{A. Lascoux}, Adv. Math. 30, 202-237 (1978; Zbl 0394.14022)] and over \({\mathbb{Z}}\) there were known the cases \(p=1\) (Koszul complex), \(p=2\) [\textit{D. W. Sharpe}, Q. J. Math., Oxf. II. Ser. 15, 155-175 (1964; Zbl 0119.030) and Proc. Lond. Math. Soc., III. Ser. 15, 645-679 (1965; Zbl 0136.318)], \(p=\min (m,n)\) (Eagon-Northcott complex), \(p=\min (m,n)-1)\) (Akin-Buchsbaum-Weyman complex).