A class of perfect determinantal ideals

In recent years several authors [ l ] , [2], [4], [13], [17], [18] have studied the special homological properties of ideals generated by the subdeterminants of a matrix or "determinantal" ideals. The question of whether the ideal of m + 1 by m + 1 minors of an r by 5 matrix is perfect if the grade is as large as possible, (r—m)(s — m), has remained open, although the special cases m = 0, 1, and r—1 (r^s) are known. The general result is Corollary 4 of Theorem 1. For purposes of the induction argument used to prove the theorem it is necessary to consider a larger class of ideals somewhat complicated to describe.

[1]  J. Eagon,et al.  Ideals defined by matrices and a certain complex associated with them , 1962, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[2]  H. Weyl The Classical Groups , 1939 .

[3]  D. W. B.,et al.  The Geometry of Determinantal Loci , 1939, Nature.

[4]  D. W. Sharpe,et al.  ON CERTAIN POLYNOMIAL IDEALS DEFINED BY MATRICES , 1964 .

[5]  F. S. Macaulay,et al.  The Algebraic Theory of Modular Systems , 1972 .

[6]  H. Weyl The Classical Groups , 1940 .

[7]  D. Buchsbaum,et al.  A generalized Koszul complex , 1963 .

[8]  D. Buchsbaum,et al.  A generalized Koszul complex. II. Depth and multiplicity , 1964 .

[9]  I. Kaplansky R-Sequences and Homological Dimension , 1962, Nagoya Mathematical Journal.

[10]  D. Rees,et al.  The grade of an ideal or module , 1957, Mathematical Proceedings of the Cambridge Philosophical Society.

[11]  D. Mumford,et al.  Geometric Invariant Theory , 2011 .

[12]  Generically acyclic complexes and generically perfect ideals , 1967, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[13]  D. Northcott SOME REMARKS ON THE THEORY OF IDEALS DEFINED BY MATRICES , 1963 .

[14]  Melvin Hochster,et al.  Invariant theory and the generic perfection of determinantal loci , 1971 .

[15]  D. G. Northcott,et al.  Semi-regular rings and semi-regular ideals , 1960 .