Relative big polynomial rings (Q6144951)

In the paper under review, the author considers the domain \(A=\mathbb{C}[[t]]\), of formal power series with complex coefficients, and its quotient field denoted \(K\). Let \(\mathcal{R}\) be the inverse limit of the standard-graded polynomial rings \(K[x_1,\ldots,x_n]\), \(\mathcal{R}^+\) the subring of \(\mathcal{R}\) of elements with coefficients in \(A\), \(\mathcal{R}^0\) the subring of \(\mathcal{R}\) of elements with coefficients in \(\mathbb{C}\) and \(\mathcal{R}^b=\mathcal{R}^+[1/t]\). The main result of this paper is the following theorem: The ring \(\mathcal{R}\) is a polynomial algebra over \(\mathcal{R}^b\). More precisely, the map \(\mathcal{R}_+^b/(\mathcal{R}_+^b)^2\longrightarrow\mathcal{R}_+/\mathcal{R}_+^2\) is injective. Suppose that \(\{\xi_i\}_{i\in I}\) are homogeneous elements of \(\mathcal{R}_+\) whose images form a basis of \(\mathcal{R}_+/(\mathcal{R}_+^b+\mathcal{R}_+^2)\). Then the \(\mathcal{R}^b-\)algebra homomorphism \(\mathcal{R}^b[X_i]_{i\in I}\longrightarrow\mathcal{R}\) mapping \(X_i\) to \(\xi_i\) is an isomorphism of graded \(\mathcal{R}^b-\)algebras.