Let [Formula: see text] be a complete local (Noetherian) ring. For each [Formula: see text], let [Formula: see text] be a nonempty countable set of nonmaximal, pairwise incomparable prime ideals of [Formula: see text], and suppose that if [Formula: see text], then either [Formula: see text] or no element of [Formula: see text] is contained in an element of [Formula: see text]. We provide necessary and sufficient conditions for [Formula: see text] to be the completion of a local integral domain [Formula: see text] satisfying the condition that, for all [Formula: see text], there is a nonzero prime element [Formula: see text] of [Formula: see text] such that [Formula: see text] is exactly the set of maximal elements of the formal fiber of [Formula: see text] at [Formula: see text]. We then prove related results where the domain [Formula: see text] is required to be countable and/or excellent.
Read full abstract