Searching literature you will find the following statement (I'm
paraphrasing): "If $X_1,X_2$ are nonsingular schemes proper over a
complete DVR $R$ with residue characteristic 0, and $\phi: X_1 \to
X_2$ is birational, then $\phi$ can be factored as...
Read More