A principal ideal theorem for compact sets of rank one valuation rings

TL;DR

This paper proves a principal ideal theorem for certain quasicompact sets of rank one valuation rings in the Zariski space of a field, establishing a duality with one-dimensional Prüfer domains.

Contribution

It introduces a duality between quasicompact sets of valuation rings with non-intersecting maximal ideals and one-dimensional Prüfer domains with nonzero Jacobson radical.

Findings

The intersection of valuation rings in such sets is a Prüfer domain with principal finitely generated ideals.

A duality is established between valuation ring sets and Prüfer domains.

The results apply to valuation rings dominating a fixed local ring.

Abstract

Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to $0$, then the intersection of the rings in $X$ is an integral domain with quotient field $F$ such that every finitely generated ideal is a principal ideal. To prove this result, we develop a duality between (a) quasicompact sets of rank one valuation rings whose maximal ideals do not intersect to $0$, and (b) one-dimensional Pr\"ufer domains with nonzero Jacobson radical and quotient field $F$. The necessary restriction in all these cases to collections of valuation rings whose maximal ideals do not intersect to $0$ is motivated by settings in which the valuation rings considered all dominate a given local ring.