When the Zariski space is a Noetherian space (Q2315249)

Let \(K\) be a field and \(D\) a subring of \(K\). \(\mathrm{Over}(K|D)\) is defined as the set of all rings \(R\) containing \(D\) and contained in \(K\). When \(K\) is the quotient field of \(D\), each element of \(\mathrm{Over}(K|D)\) is called an \textit{overring} of \(D\). ``The \textit{Zariski topology} on \(\mathrm{Over}(K|D)\) is the topology having, as a subbasis of open sets, the sets in the form \[ \mathcal{B}(x_1,\dots,x_n):=\{V\in \mathrm{Over}(K|D) \mid x_1,\dots, x_n\in V\}, \] as \(x_1,\dots,x_n\) range in \(K\).'' The \textit{Zariski space} of \(D\) in \(K\), denoted by \(\mathrm{Zar}(K|D)\), is the set of all valuation domains containing \(D\) and whose quotient field is \(K\). The Zariski topology on \(\mathrm{Zar}(K|D)\) is induced by the one on \(\mathrm{Over}(K|D)\). If \(K\) is the quotient field of \(D\), then \(\mathrm{Zar}(K|D)\) is simply denoted by Zar(\(D\)), and its elements are called the valuation overrings of \(D\). In this paper, integral domains for which \(\mathrm{Zar}(K|D)\) is Noetherian are studied. Among the results proved in this article, we can cite the following: \begin{itemize} \item When \(D=F\) is a field, \(\mathrm{Zar}(K|F)\) is Noetherian only if the transcendence degree of \(K\) over \(F\) is at most \(1\). \item If \(D\) is a local ring and Zar(\(D\)) a Noetherian space, then \(D\) is a pseudo-valuation domain. \item More generally, Zar(\(D\)) is Noetherian if and only if Spec(\(D\)) and Zar(\(D_M\)) are as well, for each maximal \(M\) of \(D\). \end{itemize}