The Zariski–Riemann space of valuation domains associated to pseudo-convergent sequences

Abstract

Let V V be a valuation domain with quotient field K K . Given a pseudo-convergent sequence E E in K K , we study two constructions associating to E E a valuation domain of K ( X ) K(X) lying over V V , especially when V V has rank one. The first one has been introduced by Ostrowski, the second one more recently by Loper and Werner. We describe the main properties of these valuation domains, and we give a notion of equivalence on the set of pseudo-convergent sequences of K K characterizing when the associated valuation domains are equal. Then, we analyze the topological properties of the Zariski–Riemann spaces formed by these valuation domains.