Sequences of monoidal transformations of a regular noetherian local domain

Abstract

Let R R be a regular noetherian local ring of dimension d ≥ 2 d\geq 2 . We characterize the sequences ( R i ) i ≥ 0 (R_i)_{i\geq 0} of successive monoidal transforms of R = R 0 R=R_0 such that S = ⋃ i ≥ 0 R i S =\bigcup _{i\geq 0} R_i is a valuation ring. This characterization involves two well-known conditions in the case of quadratic transforms ( ( R i ) i ≥ 0 (R_i)_{i\geq 0} either switches strongly infinitely often or is height one directed), to which we must add the condition that a family of ideals of S S (finitely supported on the exceptional divisors along the sequence) is linearly ordered by inclusion. Moreover and under the assumption that S S is a valuation ring, we compute the limit points (in the Zariski–Riemann space over the quotient field of R R equipped with the patch topology) of the valuation rings associated with the order valuations defined by the centers of the monoidal transforms as well as the limit points of the valuation rings associated with the order valuations defined by the maximal ideals of the rings R i R_i , i ≥ 0 i\geq 0 .