RELATIVE BIG POLYNOMIAL RINGS

Abstract

Let $K$ be the field of Laurent series with complex coefficients, let $\mathcal{ℛ}$ be the inverse limit of the standard-graded polynomial rings $K[x_1,\dots ,x_n]$, and let ${\mathcal{ℛ}}^b$ be the subring of $\mathcal{ℛ}$ consisting of elements with bounded denominators. In previous joint work with Erman and Sam, we showed that $\mathcal{ℛ}$ and ${\mathcal{ℛ}}^b$ (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 $\mathcal{ℛ}$ is a polynomial algebra over ${\mathcal{ℛ}}^b$.