The constructible topology on spaces of valuation domains (Q2855925)

This paper is devoted to the study of the properties of a compact, Hausdorff topology called constructible topology on an arbitrary spectral space in the sense of Hochster, that is, a topological space homeomorphic to the spectrum of a ring endowed with the Zariski topology [\textit{M. Hochster}, Trans. Am. Math. Soc. 142, 43--60 (1969; Zbl 0184.29401)]. For a topological space \(\mathcal{X}\), let \(\overset{\circ}{\mathcal{K}}(\mathcal{X})\) be the set of open and quasi-compact subsets of \(\mathcal{X}\). Let \(\mathcal{K}(\mathcal{X})\) be the smallest subset of the power set of \(\mathcal{X}\) containing \(\overset{\circ}{\mathcal{K}}(\mathcal{X})\) and closed with respect to finite union, finite intersection and complementation. The constructible topology on \(\mathcal{X}\) is by definition the topology having \(\mathcal{K}(\mathcal{X})\) as a basis (see \textit{N. Schwartz} and \textit{M. Tressl} [J. Algebra 323, No. 3, 698--728 (2010; Zbl 1198.13023)]).NEWLINENEWLINEThe main result of the second section of this paper is that the constructible topology and the ultrafilter topology (as introduced by \textit{M. Fontana} and \textit{K. A. Loper} [Commun. Algebra 36, No. 8, 2917--2922 (2008; Zbl 1152.13003)]) on an arbitrary spectral space coincide. This generalizes a previous result of the last two authors in [Commun. Algebra 36, No. 8, 2917--2922 (2008; Zbl 1152.13003)] stated for the spectrum of a commutative ring.NEWLINENEWLINEIn the third section the authors consider the special case of the Zariski space \(\mathrm{Zar}(K|A)\) of all valuation domains of a field \(K\) containing a given subring \(A\) of \(K\). They show that \(\mathrm{Zar}(K|A)\) endowed with the Zariski topology is a spectral space by giving the explicit construction of a ring \(R\) whose prime spectrum, equipped with the Zariski topology, is homeomorphic to \(\mathrm{Zar}(K|A)\). A similar result holds when \(\mathrm{Zar}(K|A)\) is equipped with the constructible topology. The proof of this result is obtained by means of the use of the \(K\)-function rings introduced by \textit{F. Halter-Koch} [Commun. Algebra 31, No. 1, 45--59 (2003; Zbl 1073.13507)]. If \(V\) is an element of \(\mathrm{Zar}(K|A)\) and \(T\) is an indeterminate over \(K\), let \(V(T)\doteqdot V[T]_{M[T]}\) be the trivial extension of \(V\) to \(\mathrm{Zar}(K(T)|A)\) (where \(M\) is the maximal ideal of \(V\)). The valuation domain \(V(T)\) is a \(K\)-function ring. They set \(\mathrm{Kr}(K|A)\) to be the intersection of all \(V(T)\)'s, as \(V\) varies in \(\mathrm{Zar}(K|A)\), and they show that the spectrum of \(\mathrm{Kr}(K|A)\) is homeomorphic to \(\mathrm{Zar}(K|A)\).NEWLINENEWLINEIn the last section some applications to the study of the representation of integrally closed domains as intersections of valuation overrings are given. One of the most noteworthy result is that two collections of valuation domains with the same constructible closure represent the same domain.