Let be a field, let be a subring of and let be an irreducible subspace of the space of all valuation rings between and that have quotient field . Then is a locally ringed space whose ring of global sections is . All rings between and that are integrally closed in arise in such a way. Motivated by applications in areas such as multiplicative ideal theory and real algebraic geometry, a number of authors have formulated criteria for when is a Pr"ufer domain. We give geometric criteria for when is a Pr"ufer domain that reduce this issue to questions of prime avoidance. These criteria, which unify and extend a variety of different results in the literature, are framed in terms of morphisms of into the projective line

生成讲解博客的中文版本

生成AI智能校验的中文版本