Excellent rings with local generic formal fibers (Q1270365)

A ring homomorphism \(f \: A \to B\) induces a morphism of schemes \({}^a f \: \text{Spec } B \to \text{Spec } A\). For a prime ideal \(\mathfrak p\) of \(A\), the ring \(B \otimes_A A_{\mathfrak p}/ \mathfrak p A_{\mathfrak p}\) is called the fiber ring at \(\mathfrak p\) because \((^a f)^{-1} (\{\mathfrak p\}) = \text{Spec } B \otimes_A A_{\mathfrak p}/ \mathfrak p A_{\mathfrak p}\). We are interested in the dimension of fibers. Let \(A\) be a local domain and \(K\) the quotient field. We know that \(\dim \widehat A \otimes A_{\mathfrak p}/ \mathfrak p A_{\mathfrak p} \leq \dim \widehat A \otimes K\) for any prime ideal \(\mathfrak p\) of \(A\) where \(\widehat A\) denotes the completion of \(A\). The author gave an example of \(A\) such that \(\dim A = d\) and \(\dim \widehat A \otimes K = t\) for given integers \(d\) and \(t\) such that \(d \geq 2\) and \(0 \leq t < d\) in a preceding paper [\textit{S. Loepp}, J. Algebra 187, No. 1, 16-38 (1997; Zbl 0907.13013)]. In the present paper, the author finds such an \(A\) among excellent rings.