Local rings with zero-dimensional formal fibers (Q2253006)

Let \(R\) be a commutative Noetherian local ring, \(\mathfrak m\) its maximal ideal and \(\widehat R\) the completion of \(R\) in the \(\mathfrak m\)-adic topology. If \(\mathfrak p\in \mathrm{Spec} R\), then by \(\alpha(R,\mathfrak p)\) is denoted the Krull dimension of the fiber ring \(\widehat R\oplus_Rk(\mathfrak p)\), where \(k(\mathfrak p)=R_{\mathfrak p/\mathfrak pR}{}_{\mathfrak p}\). The author construct examples and proves different properties of local Noetherian commutative rings for which \(\alpha(R,\mathfrak p)=0\) for all \(\mathfrak p\in \mathrm{Spec} R\). By definition a local Noetherian ring \(R\) has the going-up property if for any prime ideals \(\mathfrak p\subset\mathfrak q\) and for any prime ideal \(P\) of \(\widehat R\) with \(P\cap R=\mathfrak p\) there exists a prime ideal \(Q\) of \(\widehat{R}\) such that \(Q\cap R=\mathfrak q\) and \(P\subset Q\). Let \(\mathcal R^0:=\{\text{Noetherian local rings with trivial fibers}\}\); \(\mathcal R_{\mathrm{uc}}:=\{R\in\mathcal R^0:R \text{ is universally catenary}\}\); \(\mathcal R_{\mathrm{gu}}:=\{\text{Noetherian local rings with the going-up property}\}\); \(\mathcal R_{\mathrm{int}}:=\{\text{Noetherian local rings }R\text{ such that }\widehat R\text{ is integral over }R\}\). It is shown that the inclusions \(\mathcal R_{\mathrm{int}}\subset \mathcal R_{\mathrm{gu}}\subset \mathcal R_{\mathrm{uc}}\subset \mathcal R^0 \) are strict. Some results about the connectedness bound for a local ring with the going-up property are obtained.