Noetherian property of subrings of power series rings. II. (Q2349942)

Let \(R\) be a commutative ring with unit. The authors study subrings \(R[X,Y,\lambda]\) of \(R[X_1,\ldots,X_n][[Y_1,\ldots Y_m]]\) where \(\lambda\) is a nonnegative real valued increasing function. These rings arise naturally in studying the \(p\)-adic analytic variation of zeta functions over finite fields. Every element \(f\in R[X][[Y]]= R[X_1,\ldots,X_n][[Y_1,\ldots Y_m]]\) can be written as the form \(f=\sum_{k=0}^{\infty} f_k(X,Y)\) where each \(f_k(X,Y)\) is a polinomial in \(R[X,Y]\) which is homogeneous in \(Y\) of degree \(k\). Let \(\mathbb{R}_{\geq0}\) be the set of nonnegative real numbers, and let \(\lambda: \mathbb{R}_{\geq0}\rightarrow \mathbb{R}_{\geq0}\) be a nonzero increasing function (which the authors call a growth function). Define \[ R[X,Y,\lambda]=\left\{f=\sum_{k=0}^{\infty}f_k\in R[[X,Y]]|\text{deg}_X(f_k)\leq C(f)(\lambda(k)+1)\right\} \] where \(C(f)\) is a real constant depending only on \(f\). In previous work, the authors gave a necessary and sufficient condition for \(R[X,Y,\lambda]\) to be Noetherian when \(Y\) has more than one variable and \(\lambda\) grows as fast as linear [\textit{B. G. Kang} and \textit{P. T. Toan}, Commun. Algebra 43, No. 2, 440--446 (2015; Zbl 1316.13025)]. In the paper under review, the authors show that the same result holds even when \(Y\) has one variable. According to Davis and Wan's result [\textit{D. Davis} and \textit{D. Wan}, Proc. Am. Math. Soc. 139, No. 3, 823--834 (2011; Zbl 1221.13035)] if \(R\) is a field and \(Y\) has exactly one variable then \(R[X,Y,\lambda]\) is always Noetherian. The authors find a mistake in the Davis-Wan's proof.