Let $\mathbb{K}$ be any field and let $X$ be a proper $\mathbb{K}$-scheme. Does it exist a smooth, proper $\mathbb{K}$-scheme $Y$ and a closed immersion from $X$ to $Y$? This is tautological if $X$ is projective, but what about the general case?

  • 5
    $\begingroup$ Francesco's answer is completely correct. It does raise another question, that has been much studied: does there exist an immersion from $X$ into a smooth algebraic space? There are still counterexamples if $X$ is allowed to be non-separated, cf. Edidin-Hassett-Kresch-Vistoli. However, to the best of my knowledge, this question is open for separated $X$ (there is a lovely article of Totaro on this question). $\endgroup$ Sep 30 '15 at 14:40
  • 3
    $\begingroup$ Also, this new question has strong motivation: such immersions are used in the main construction of Todd homomorphisms in the singular Grothendieck-Riemann-Roch theorem of Baum-Fulton-MacPherson. $\endgroup$ Sep 30 '15 at 14:42

For a counterexample over $\mathbb{C}$, it sufficies to take a proper scheme $X$ with trivial Picard group (there are examples among toric varieties).

Such a scheme cannot be embedded in any smooth variety $Y$; in particular, $X$ is necessarily singular.

In fact, assume the contrary and take a dense affine subset $U$ of $Y$. Then we can choose an effective divisor $D_U$ on $U$, whose closure would give a non-trivial Cartier (since $Y$ is smooth) divisor $D_Y$ on $Y$, hence a non-trivial Cartier divisor $D_X$ on $X$, against the assumption $\textrm{Pic}\,X=\{\mathcal{O}_X \}$.

  • $\begingroup$ How does $D_Y$ give a non-trivial divisor on $X$ ? Couldn't $D_Y$ be disjoint from $X$ ? $\endgroup$ Mar 17 '16 at 9:40
  • $\begingroup$ Well, we can always take an affine chart $U$ of $Y$ containing a point $x \in X$ and an effective divisor $D_U$ passing through $x$. Then the closure of $D_U$ in $X$ cannot be trivial. I'm missing something? $\endgroup$ Mar 17 '16 at 11:05
  • $\begingroup$ Thanks for your very clear answer, Francesco: as usual you definitely do not miss anything! $\endgroup$ Mar 17 '16 at 11:25
  • $\begingroup$ Dear Georges, you are welcome. $\endgroup$ Mar 17 '16 at 12:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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