Completely controlling the dimensions of formal fiber rings at prime ideals of small height (Q2011277): Difference between revisions

Let \(A\) be a local (Noetherian) ring with maximal ideal \(\mathfrak{m}\) and \(\mathfrak{m}\)-adic completion \(T\). The formal fiber ring of \(A\) at the prime ideal \(\mathfrak{p}\) is \(T\otimes _{A}\mathbf{k}(\mathfrak{p})\) where \(\mathbf{k}(\mathfrak{p})\) is the residue field \(A_{\mathfrak{p}}/\mathfrak{p}A_{\mathfrak{p}}\); the formal fiber of \(A\) at \(\mathfrak{p}\) is the spectrum of the formal fiber ring of \(A\) at ideal \(\mathfrak{p}\). The authors continue research of \textit{H. Matsumura} [in: Algebraic geometry and commutative algebra. Vol. I. Tokyo (Japan): Konokuniya Company Ltd. 261--266 (1988; Zbl 0686.13007)] and of \textit{A. Boocher} et al. [Commun. Algebra 38, No. 1, 233--253 (2010; Zbl 1210.13023)]. Let \(T\) be a complete equicharacteristic local (Noetherian) UFD of dimension \(3\) or greater and \(|T|=|T/\mathfrak{m}|\). The authors ``construct a local UFD \(A\) whose completion is \(T\) and whose formal fibers at height one prime ideals have prescribed dimension between zero and the dimension of the generic formal fiber'' (this is contained in the theorem 4.1). The authors strengthen this result and constructed ring which is excellent but \(T\) be regular and have characteristic zero.