On the asymptotic linearity of reduction number (Q1644827)

Let \(R= \bigoplus _{n \geq 0} R_n\) be a standard graded Noetherian algebra over an infinite field \(K\) ( that means \(R=K[R_1]\) ) and \(M\) a finitely generated Z-graded R-module and \( I \subseteq R_+ \) be a graded ideal of \(R\). \textit{S. D. Cutkosky} et al. [Compos. Math. 118, No. 3, 243--261 (1999; Zbl 0974.13015)] and \textit{V. Kodiyalam} [Proc. Am. Math. Soc. 128, No. 2, 407--411 (2000; Zbl 0929.13004)] worked on the asymptotic behaviour of the Castelnuovo-Mumford regularity \(\mathrm{reg}(I^n M)\) and they showed that it is a linear function of \(n\) for all \(n \gg 0\) and for the case \(R\) being a polynomial ring over a field. After that \textit{N. V. Trung} and \textit{H.-J. Wang} [J. Pure Appl. Algebra 201, No. 1--3, 42--48 (2005; Zbl 1100.13024)] proved it for the general case when \(R=K[R_1]\) as mentioned above. In this paper, the asymptotic linearity for both the reduction number \(r(I^n M)\) of \( I^n M \) and the maximal degree of minimal generators \(D(I^n M)\) of the graded module \( I^n M \) are proved. Furthermore, \textit{Lê Tuân Hoa} [Proc. Am. Math. Soc. 130, No. 11, 3151--3158 (2002; Zbl 0998.13004)] shown that the reduction number \(r(R/ I^n)\) is linear function of \(n\) for all \(n \gg 0\). In this paper, this result was extend to the case of modules. Particularly, it was proved that the reduction number \( r(M/ I^n M)\) is linear function and its slope is less than or equal to \( \rho _M (I)=\min \{ D(J): J \subseteq I \) and \( J I^n M=I^{n+1}M, \) for some \( n \geq 0 \}\).