A class of local noetherian domains (Q847988)

The authors construct factorial domains with given specific completions. They present a a method of constructing local Noetherian rings following unpublished notes of Nishimura, a method proved to be fruitful in constructing various examples and counterexamples in commutative algebra. The main results of the paper are summarized in the following Theorem. Let \(K\) be a countable field of infinite transcendence degree over a prime field, and let \(R = K[z_1,z_2, \dots , z_n]_{(z_1, \dots, z_n)}\) be the localized polynomial ring in \(n\) variables. Let \(m\in \mathbb{N}\) be an integer with \(m < n\) and \(I\subseteq R\) an ideal which satisfies the following condition: (*) For every associated prime ideal \(\mathcal{D} \in Ass(\hat{R}/I\hat{R})\) it holds that \(\mathcal{D} \subseteq (z_1,\dots, z_m)\hat{R}\) where \(m < n.\) Then there is an automorphism \(\phi\) of the completion \(\hat{R} = K[[z_1,\dots, z_n]]\) and a local Noetherian domain \(B\) which birationally dominates \(R\) with the following properties: (a) \(\hat{B} = \hat{R} / \phi(I\hat{R}) \cong \hat{R}/I\hat{R} = K[[z_1,\dots, z_n]]/IK[[z_1,\dots, z_n]].\) (b) For every nonzero prime ideal \(q \subseteq B\) with ring \(B/q\) is essentially of finite type over \(K.\) (c) The prime ideal \(\hat{P}_{0} = (\phi (z_1), \dots, \phi(z_m)\hat{B}\) is in generic formal fiber of \(B\).