A criterion for detecting m-regularity

From MaRDI portal





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




Cited in
(only showing first 100 items - show all)








This page was built for publication: A criterion for detecting m-regularity

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