Prüfer domain and affine scheme (Q802678)

The author shows the following: For a field K and a subset E of K, let Zar(K) be the set of valuation rings with quotient field K and let \(Zar(K| E)=\{R\in Zar(K)| E\subset R\}\). Consider the following conditions for a subset W of Zar K: (W-4) If \(\cap_{R\in W}R \subset R'\), then there exists \(R_ 0\in W\) such that \(R_ 0\subset R'.\) (W-5) If \(R_ 1,R_ 2\in W\), \(R_ 1\subset R_ 2\), then \(R_ 1=R_ 2.\) (W-6) If \(R_ 1,R_ 2\in W\), \({\mathfrak m}_{R_ 1}\cap \cap_{R\in W}R ={\mathfrak m}_{R_ 2}\cap \cap_{R\in W}R \), then \(R_ 1=R_ 2.\) Put: \({\mathcal H}=\{X\subset Zar(K)| Z\neq \emptyset,\) (X,\({\mathcal O}_ X)\) is an affine scheme\(\}\), \({\mathcal A}=\{A| A\) is a Prüfer domain with quotient field \(K\}\), \({\mathcal W}=\{W\subset Zar(K)| \quad W\quad satisfies\) (W-4), (W-5) and W-6)\(\}\). Then: Theorem 13. Let K,\({\mathcal H},{\mathcal A},{\mathcal W}\) be as above. Then there are natural bijections among \({\mathcal H},{\mathcal A}\) and \({\mathcal W}.\) Theorem 20. Let A be a noetherian subring of a field K. Then, (i) the following conditions are equivalent: (a) Zar(K\(| A)\) is a scheme; (b) dim(Zar(K\(| A))\leq 1;\) (c) \(Dim(A)+tr.\deg_{QA}K\leq 1.\) (ii) the following conditions are equivalent: (d) Zar(K\(| A)\) is an affine scheme; (e) \(\dim (Zar(K| A))=\dim (A)\leq 1;\) (f) K is an algebraic extension of QA and dim(A)\(\leq 1.\) Theorem 22. Let K be a field. Then, Zar(K) is a scheme of finite type over \({\mathbb{Z}}\) if and only if K is a finite field or a global field of dimension one.