Controlling the dimensions of formal fibers of a unique factorization domain at the height one prime ideals (Q1711549): Difference between revisions

Let \(A\) be a local (Noetherian) ring, and let \(T\) be the completion of \(A\) with respect to its maximal ideal. The formal fiber ring of \(A\) at \(\mathfrak{p}\) is \(T\otimes_{A}\mathbf{k}(\mathfrak{p})\), and the formal fiber of \(A\) at \(\mathfrak{p}\) is \(\text{Spec}(T\otimes _{A}\mathbf{k}(\mathfrak{p}))\), where \(\mathbf{k}(\mathfrak{p})\) is the residue field \(A_{\mathfrak{p}}/\mathrm{p}A_{\mathfrak{p}}\). The Krull dimension of the formal fiber ring of \(A\) at the prime ideal \(\mathfrak{p}\) is denoted by \(\alpha(A,\mathfrak{p})\), and the supremum of \(\alpha(A,\mathfrak{p})\) over all prime ideals \(\mathfrak{p}\) of \(A\) is denoted by \(\alpha(A)\), \(\text{Spec}_1T\) is denoted the set of prime ideal of \(T\) of hight \(1\). The main result of the paper is the next theorem. Theorem. Let \((T,\mathfrak{m})\) be a complete local equidimensional ring such that \(\text{dim}\; T\geq2\) and \(\text{depth}\; T>1\). Suppose that no integer of \(T\) is a zero divisor in \(T\) and \(|T|=|T/\mathfrak{m}|\). Let \(d\) and \(t\) be integers such that \(1\leq d\leq \text{dim}\; T-1\), \(0\leq t\leq\text{dim}\;T -1\) and \(d-1\leq t\). Assume that, for every \(\mathfrak{p}\in \text{Ass} \;T\) , \(\text{ht}\;\mathfrak{p}\leq d-1\) and that, if \(z\) is a regular element of \(T\) and \(Q\in \text{Ass}(T/zT)\), then \(\text{ht}\;Q\leq d\). Then there exists a local UFD \(A\) such that \(\widehat{A}=T\), \(\alpha(A,(0))=t\), and, if \(\mathfrak{p}\in\text{Spec}_1\;A\), then \(\alpha(A,\mathfrak{p})=d-1\). The corollary from this theorem answers one question posed by Heinzer, Rottmans and Sally in the nonexcellent case.