Overrings of two-dimensional noetherian domains representable by noetherian spaces of valuation rings (Q2481815): Difference between revisions

This is one of the studies interested in overrings \(R\) of integral domains \(D\). If \(D\) is a noetherian domain of Krull dimension 1, then every integrally closed overring of \(D\) is a Dedekind domain. For higher Krull dimensions such a neat description may not be possible as recently shown by \textit{K.A. Loper} and \textit{F. Tartarone} [A classification of the integrally closed rings of polynomials containing, preprint]: A classification of the integrally closed rings of polynomials containing \(\mathbb Z[X]\). An integral domain is integrally closed iff it is an intersection of its valuation overrings; hence the focus of the present paper are the integrally closed overrings of two-dimensional noetherian domain \(D\) that arise as the intersections of an arbitrary integrally closed overring and a collection of valuation overrings of \(D\) from noetherian subspace of the Zariski-Riemann space of the quotient field of \(D\). Since the paper has a number of technicalities and various notions and definitions, the reader should be helped by keeping in mind simple examples of the overrings between the ring of integers \(\mathbb Z\) and its quotient field \(\mathbb Q\) or likewise the overrings between \(\mathbb Z[X]\) and \(\mathbb Q[X]\). For \(D\subset H\subset R\), where \(R\) is an integrally closed overring, \(H\) is said to have a noetherian \(R\)-representation if \(H=\left(\bigcap_{V\in\Sigma} V\right)\cap R\), where \(\Sigma\) is a noetherian subspace (i.e. its open subsets satisfy the ascending chain condition) of Zar(\(D\)). The author shows (Theorem 8.1) that, if there exists a noetherian representation of \(H\), then Spec(\(H\)) is a noetherian space. Among an array of the results, we single out the following (Theorems 6.5, 6.6): Let \(H, R\) be overrings of \(D\) with \(D\subset H\subset R\) and \(M\) a (the) maximal ideal of \(H\); assume that \(H\) is a quasilocal ring that is not a valuation domain. Then the following five statements are equivalent: (1) \(H\) has a noetherian (finite character) \(R\)-representation and no member of \(Rep^d_R(H)\) is irrational; (2) \(H\) has a noetherian (resp., finite character) \(R\)-representation and every member of \(Rep^d_R(H)\) has Krull dimension 2; (3) \(E/M\) is a noetherian ring (resp. finitely generated \(H/M\)-algebra) and \(E=B\cap R\) for some integrally closed overring \(B\) of \(H\); (4) \(H\) has a noetherian (finite character) \(R\)-representation and \(Rep^d_R(H)\) contains at least one irrational valuation ring; (5) \(E/M\) is a noetherian ring (resp. finitely generated \(H/M\)-algebra) and \(E=A\cap B\cap R\), where \(A\) is a finite intersection of irrational valuation overrings of \(D, B\) is an integrally closed noetherian overring and \(A\) cannot be omitted from this intersection. This is a reasonable description of the quasilocal overrings of \(D\) that have a noetherian of finite character \(R\)-representations.