In dimension 2, a rational map becomes a morphism after a sequence of blow-ups. Does this still hold in higher dimensions?
1 Answer
$\begingroup$
$\endgroup$
6
Yes, but this is a very difficult result, due to Hironaka. To be precise : given a rational map $f:X --> Y$, there exists a birational morphism $b:\hat{X}\rightarrow X$, obtained as the composition of successive blown-up with smooth centers, such that $f\circ b$ is a morphism.
-
$\begingroup$ Thank you. Do you have a reference? Or is this just in Hironaka's article on resolution of singularities? $\endgroup$– user19475Nov 23, 2013 at 12:59
-
14$\begingroup$ Actually, you do not need Hironaka at all. Let $X$ and $Y$ be projective schemes. Let $f$ be a morphism from a dense open subset $U$ of $X$ to $Y$. Let $\Gamma_f$ be the graph of $f$ inside $X\times Y$. Let $\widehat{X}$ be the Zariski closure of $\Gamma_f$. Then the projection, $b:\widehat{X}\to X$, is a projective, birational morphism. Thus, by a theorem in Chapter II, Section 7 of Hartshorne's "Algebraic Geometry", the morphism $b$ is (isomorphic to) the blowing up of $X$ along a coherent sheaf of ideals. $\endgroup$ Nov 23, 2013 at 13:03
-
4$\begingroup$ @Jason: that's right, of course, but I believe the OP meant blow-ups with smooth centers (and rational map of smooth varieties). $\endgroup$ Nov 23, 2013 at 14:56
-
1$\begingroup$ @Timo Keller: Yes, this is in Hironaka's paper (Resolution of singularities of an algebraic variety over a field of characteristic zero", Ann. Of Math. (2) 79, 109–326. The statement is explained in CH. 0, §5. $\endgroup$– abxNov 23, 2013 at 17:40
-
$\begingroup$ @Serge and abx: Okay, that makes sense to me. $\endgroup$ Nov 23, 2013 at 18:14