Uniform bounds in sequentially generalized Cohen-Macaulay modules (Q2351178): Difference between revisions

Let \((R,m)\) be a Noetherian local ring and \(I= (x_1,\dots, x_s)\) an ideal of \(R\). Let \(f_1,\dots,f_m\) be a minimal homogeneous system of generators of the kernel of the canonical homomorphism \(R[T_1,\dots, T_s]\to R[It]\), \(T_i\mapsto x_it\). The relation type of \(I\) is defined by \(\text{reltype}(I)= \max\{\deg(f_1),\dots, \deg(f_m)\}\). C. Huneke raised the problem of the uniform boundedness of \(\text{reltype}(I)\) for parameter ideals \(I\) of \(R\). \textit{H.-J. Wang} proved this for generalized Cohen-Macaulay rings [Commun. Algebra 25, No. 3, 785--801 (1997; Zbl 0885.13012)]. The notion of sequentially generalized Cohen-Macaulay modules which is a generalization of generalized Cohen-Macaulay modules is introduced by \textit{N. T. Cuong} and \textit{L. T. Nhan} [J. Algebra 267, No. 1, 156--177 (2003; Zbl 1068.13009); ibid. 317, No. 2, 714--742 (2007; Zbl 1137.13010)] and is extensively studied. The main theorem of this paper shows that the uniform boundedness of \(\text{reltype}(I)\) holds for sequentially generalized Cohen-Macaulay rings and their distinguished parameter ideals \(I\). This is proved by reducing it to the problem of the uniform boundedness of the Castelnuovo-Mumford regularity \(\text{reg}(G_I(M))\) of the associated graded module \(G_I(M)=\bigoplus_{n\geq 0} I^n M/I^{n+1}M\) of \(M\) for distinguished parameter ideals \(I\) of a sequentially generalized Cohen-Macaulay module \(M\), using a simple inequality \(\text{reltype}(I)\leq \text{reg}(G_I(R))+1\).