On a topological characterization of Prüfer \(v\)-multiplication domains among essential domains (Q502911)

Let \(D\) be an integral domain, and let \(\mathfrak p\) be a prime ideal of \(D\). If \(D_{\mathfrak p}\) is a valuation domain, then \(D_{\mathfrak p}\) is called an \textit{essential valuation overring} for \(D\), and \(\mathfrak p\) is called an \textit{essential prime ideal} of \(D\). The domain \(D\) is \textit{essential} if it is an intersection of essential valuations overrings for \(D\). As it is well-known, if \(D\) is a P\(v\)MD (Prüfer \(v\)-multiplication domain), then \(D\) has an essential representation: \(D=\bigcap_{\mathfrak m\in t\text{-Max}(D)}D_{\mathfrak m}\). The authors present several characterization of P\(v\)MD's among the essential domains. For example, the authors prove that the following conditions are equivalent for an essential domain \(D\): (1) \(D\) is a P\(v\)MD. (2) \(D=\bigcap\{D_{\mathfrak p}\,:\, \mathfrak p\in Y\}\) for some set \(Y\subseteq \text{Spec}(D)\) such that Cl\((Y)^{\text c}\subseteq \mathcal E(D)\), where \(\mathcal E(D)\) is the set of essential prime ideals of \(D\). (3) \(\mathcal E(D)\) is closed with respect to the constructible topology. (4) \(D\) admits an essential representation \(\{D_ {\mathfrak p}\, :\, \mathfrak p \in Y \}\), where \(Y \subseteq \text{Spec}(D)\) is compact with respect to the Zariski topology. The authors analyze an example of \textit{W. Heinzer} and \textit{J. Ohm} [Can. J. Math. 25, 856--861 (1973; Zbl 0258.13001)] of an essential domain that is not a P\(v\)MD and show how this example fails to satisfy one of their characterizations of P\(v\)MD's. They provide asufficient conditions for an intersection of P\(v\)MD's to be a PVMD. In particular, a finite intersection \(D=\bigcap_{i=1}^n D_i\) of P\(v\)MD's is a P\(v\)MD if \(D\) is essential with respect to \(\{D_1,\dots,D_n\}\). Among other results, the authors prove that if \(D\) is a Krull-type domain, then Int\((D)\) is a P\(v\)MD if and only if Int\((D_0)\) is Prüfer, where \(D_0=\bigcap \{D_{\mathfrak p}: \mathfrak p\in t\text{-Spec}(D) \text{ and Int} (D_{\mathfrak p})\neq D_{\mathfrak p}[X]\}\). The authors use topological considerations, in particular, they use the characterization of the constuctible topology in terms of ultrafilter limit points.