\(M\)-sequences, graph ideals, and ladder ideals of linear type (Q1283949)

Let \(R=K[X]\) be a polynomial ring over a field \(K\). An ideal \(I\) of \(R\) is said to be of linear type if the canonical map from the symmetric algebra \(S(I)\) to the Rees algebra \({\mathcal R}(I)\) is an isomorphism. It has been shown by \textit{A. Conca}, \textit{J. Herzog} and \textit{G. Valla} [J. Reine Angew. Math. 474, 113-138 (1996; Zbl 0866.13010)] that \(I\) is of linear type if its initial ideal in \((I)\) is of linear type. This leads to look for conditions under which a monomial ideal is of linear type. The authors introduce the notion of M-sequence, a property of a sequence of monomials which is defined in terms of their exponents. It is proved that every ideal \(I\) generated by an M-sequence of monomials is of Gröbner linear type, that is, the linear relations form a Gröbner basis of the ideal of the presentation of the Rees algebra of \(I\). By using Sagbi bases deformations one obtains that every ideal \(I\) such that in \((I)\) is generated by an M-sequence is of Gröbner linear type. This technique is applied to obtain some new classes of graph ideals, and of ladder determinantal ideals of linear type. Moreover some good properties of the Rees algebra and of the associated graded ring of these ideals are proved.