1
$\begingroup$

Hironaka's theorem states that for any algebraic variety (analytic space) $X$ there exists a smooth variety (complex manifold) $X'$ and a morphism $f : X' \rightarrow X$ such that $f$ restricted to $X \backslash \, f^{-1}X$ is an isomorphism of $X' \backslash \, f^{-1}X$ with the non-singular locus of $X$ and $f^{-1}X$ has only simple normal crossings. Moreover, $X'$ can be constructed as a finite sequence of blow-ups and in a way such that this construction is functorial. In D-modules, Perverse Sheaves, and Representation Theory many times the authors claim that thanks to this theorem we know that there exists a smooth completion of any smooth quasi-projective algebraic variety. Sincerely, I don't understand how to use the theorem to prove this statement.

$\endgroup$
3
  • $\begingroup$ Your statement of the theorem is mangled - you wish to remove $f^{-1} X$ from $X$? I think you mean to state the version with an auxiliary closed subset $Z$, and want $X' \setminus f^{-1} Z \cong X \setminus Z$ and $f^{-1} Z$ to have simple normal crossings. $\endgroup$
    – Will Sawin
    Commented Jun 13, 2018 at 9:29
  • 2
    $\begingroup$ Anyways you want to name your smooth quasi-projective algebraic variety $U$, embed it in projective space, let $X$ be the closure, and find $X'$. Because $X$ is complete, and $X'$ is produced by blow-ups, $X'$ is complete, and by the statement you gave $X'$ is smooth and contains $U$ as an open subset (of the nonsingular locus). $\endgroup$
    – Will Sawin
    Commented Jun 13, 2018 at 9:31
  • $\begingroup$ Yes, sorry, I meant to cut the singular locus from $X$ and the preimage of the singular locus from $X'$. $\endgroup$ Commented Jun 13, 2018 at 9:35

1 Answer 1

3
$\begingroup$

Let $\bar{X}$ be any projective completion of $X$ ($\bar{X}$ is projective and $X$ is contained in $\bar{X}$ as a dense Zariski open subset). Now $\bar{X}\backslash X$ is a closed subvariety of $\bar{X}$ so you can resolve it into a simple normal crossing divisor while $X$ stays unchanged (by a finite sequence of blow-ups on $\bar{X}$ whose centers lie over $\bar{X}\backslash X$, as mentioned in the question). Since blowups are relatively projective, you even get a projective smooth completion by adding a simple normal crossing divisor.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.