Componentwise regularity. I (Q401025)

Let \(R\) be a standard graded \(K\)-algebra, and denote with \(m\) its homogeneous maximal ideal. Given a finitely generated graded \(R\)-module \(M\), we write \(\text{reg}_{R}(M)\) for its Castelnuovo-Mumford regularity. \(M=\bigoplus_{d\in\mathbb{Z}}M_{d}\) be a finitely generated \(\mathbb{Z}\)-graded \(R\)-module and, for every \(a\in\mathbb{Z}\), denote \(M_{\langle a\rangle}=\bigoplus_{d\geq0}\mathbf{m}^{d}M_{a}\) the submodule of \(M\) generated by \(M_{a}\). The authors define that \(M\) is \(r\)-componentwise regular if \(\text{reg}(M_{\langle a\rangle})\leq a+r\) for all \(a\). The componentwise regularity of \(M\) is the infimum of all \(r\) such that \(M\) is the \(r\)-componentwise regular which is denoted by \(\text{creg}(M)\). A graded module is componentwise linear if and only if its componentwise regularity equals zero.NEWLINENEWLINEThis work studies some of basic properties of componentwise regularity. The authors show that \(R\) is Koszul if and only if every finitely generate graded \(R\)-module \(M\) has finite componentwise regularity, despite the fact that \(\text{creg}(M)\) and \(\text{reg}(M)\) are different. The authors prove an analogue, when working with weight orders, of Buchberger's criterion to compute Gröbner bases. The proof gives the generalization of Green's Crystallization Principle.