Constructing local generic formal fibers (Q1355642): Difference between revisions

Let \(T\) be a complete local (noetherian) unique factorization domain of dimension at least 2 and with maximal ideal \(M\). Further assume that the cardinality of the residue field \(T/M\) is at least of the continuum. Let \(0=P_0\subset P_1\subset\cdots\subset P_n\neq M\) be a chain of distinct prime ideals of \(T\) such that \(P_n\) has zero intersection with the prime subring of \(T\). The main result of the paper is the construction of a chain of local unique factorization domains \(A_n\subset A_{n-1}\subset\cdots\subset A_1\subset A_0=T\) where the completion of each \(A_i\) is \(T\), the generic formal fiber of each \(A_i\) is local (in other words, the ring \(T\otimes A_iK_i\) is local where \(K_i\) is the quotient field of \(A_i)\), and \(P_i\otimes_{A_i}K_i\) is the maximal ideal of \(A_i\). The construction is based on one given by \textit{R. C. Heitmann} [Trans. Am. Math. Soc. 337, No. 1, 379-387 (1993; Zbl 0792.13011)] and it is noted that it is possible to prove a semilocal version.