A criterion for detecting m-regularity (Q579329)

Let \(I\) be a homogeneous ideal in a polynomial ring \(k[x_ 1,...,x_ n]\) over an infinite field. The authors deduce a criterion for the m- regularity of I which depends only on computations in the finite vector spaces of polynomials of degrees \(m\) and \(m+1.\) Denote by \(in(I)\) the ideal generated by the leading terms of all elements of I with respect to the inverse lexicographic order of the monomials and call \(reg(I)\) the least \(m\) such that \(I\) is \(m\)-regular. Then \(reg(I)=reg(in(I))\) is shown for generic coordinates which implies that \(in(I)\) is generated by elements of degree \(\leq reg(I)\). In case of characteristic zero \(in(I)\) has a minimal generator of degree \(reg(I)\).