Semilocal formal fibers of principal prime ideals (Q1941834)

The authors address a question as to what are the conditions for a local Noetherian ring to be a completion of a domain. The main result is as follows: Let \((T,\mathfrak m)\) be a complete local ring, of dimension \(>1\); denote by \(\Pi\) the prime subring of \(T\) and let \(C=\{Q_1,Q_2,\dots, Q_k\}\) be a finite set of non-maximal incomplete prime ideals of \(T\). Let \(p\in \bigcap_{i=1}^k Q_i\) with \(p\neq 0\). Then there exists a local domain \(A\subseteq T\) with \(p\in A\) such that \(\hat A=T\) and \(pA\) is a prime ideal whose formal fiber is semilocal with maximal ideals the elements of \(C\), if and only if the following hold: (1) \(P\cap\Pi[p]=(0)\), for all \(P\in\mathrm{Ass}T\), (2) for every \(P'\in\mathrm{Ass}(T/pT)\) we have \(P'\subseteq Q_i\), for some \(i\in \{1,2,\dots,l\}\), and (3) \(F_{\Pi[p]}\cap Q_i\subseteq pT\), for all \(i\in \{1,2,\dots, k\}\) (\(F_X\) denotes the quotient field of \(X\)). The paper is devoted to proving this result (most of the proof is to do with a construction of \(A\), i.e., sufficiency of the conditions). The construction starts from the prime subring of \(T\) localized at its maximal ideal and then recursively builds up an ascending chain of subrings complying with some properties so that their union will provide the desired domain \(A\). The results in this paper improve related results in [\textit{A. Dundon} et al., Rocky Mt. J. Math. 37, No. 6, 1871--1891 (2007; Zbl 1133.13025)].