Lemma 54.17.2. Let $S$ be a Noetherian scheme. Let $X$ and $Y$ be proper integral schemes over $S$ which are regular of dimension $2$. Then $X$ and $Y$ are $S$-birational if and only if there exists a diagram of $S$-morphisms

where each morphism is a blowup in a closed point.

## Comments (0)