This question is motivated by the construction of blowups.

Let $A \subset K$ be a commutative domain and its fraction field, and let $\{A_i\}$ be some finite collection of overrings in between.

Let $X = \mathrm{Spec}A$ and let $\tilde{X} = \bigcup U_i$ be the $X$-scheme formed by gluing the overing spectra via inclusions of (generated) subrings.

So $\mathrm{Spec}(A_i) \cap \mathrm{Spec}(A_j) = \mathrm{Spec}(A_i+A_j)$, and so on.

If an overring is a localization, then its induced morphism to $X$ is an open immersion, but this need not be the case. However, I believe it is the case that the ideal class group of $A$ is trivial if and only if each such overring is a localization.

For example, if $A = k[x,y], A_0 = k[x,y,\frac{x}{y}], A_1 = k[x.y.\frac{y}{x}], A_{01} = k[x^{\pm 1}, y^{\pm 1}]$, then the the overrings glue to the blowup of the plane at the origin.

**Question: When do the overrings glue to a proper morphism $\tilde{X} \to X$?** What are some good criteria for properness, and how to check it?

Bonus question: When is the morphism finite?

In the blowup example, $\tilde{X}$ is proper but not finite, and upon removal of either overring from the collection, the remaining subscheme is not proper.