An infinitely generated symbolic blow-up in a power series ring and a new counterexample to Hilbert's fourteenth problem (Q752776)

Let F be a field of characteristic zero, let R denote the polynomial ring in \(n\quad variables\), and let K be a subfield of the field of quotients of R. Hilbert's 14-th problem [see \textit{D. Hilbert}, C. R. 2me Congr. Internat. Math., Paris (1900), 58-114 (1902)] asked whether or not the ring \(K\cap R\) is a finitely generated algebra over F. In Proc. Int. Congr. Math. 1958, 459-462 (1960; Zbl 0127.263), \textit{M. Nagata} gave a counterexample, which is a ring of invariants of a linear group acting on a polynomial ring. - In his previous paper [see Proc. Am. Math. Soc. 94, 589-592 (1985; Zbl 0589.13008)] the author used this example in order to construct a prime ideal P in a regular ring R such that the symbolic blow-up \(S(P)=\oplus_{n\geq 0}P^{(n)} \), where \(P^{(n)}\) denotes the n-th symbolic power of P, is not an R-algebra of finite type. P is formally not a prime ideal. In the present paper the author constructs a prime ideal P in a complete local ring R such that S(P) is not an R-algebra of finite type. Moreover, it yields another counterexample of Hilbert's 14-th problem. The example is motivated by \textit{M. Hochster}'s monomial conjecture [see Conf. Board Math. Sci., Reg. Conf. Series Math. No.24 (1975; Zbl 0302.13003)], and its equations are explicitly given. The proof of the infinite generation follows by an ingenious construction of generators of the algebra.