Relative big polynomial rings

(and many similarly defined rings) are abstractly polynomial rings, and used this to give new proofs of Stillman's conjecture. In this paper, we prove the complementary result that

m a t h c a l R

is a polynomial algebra over

m a t h c a l R^{f l a t}

.

Review text

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.

Recommendations

Cites work

This page was built for publication: Relative big polynomial rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6144951)