9
$\begingroup$

Does every proper algebraic space (over a field, say) admit a closed immersion into a smooth proper algebraic space?

Remark: Of course, if we say "projective" instead of "proper" then the answer is tautologically "yes": we can take the ambient variety to be some projective n-space. But I'm curious about the general case.

$\endgroup$
3
  • 1
    $\begingroup$ No : there are proper normal surfaces $S$ with trivial Picard group (see for instance [Stefan Schröer, On non-projective normal surfaces]). If you could embed $S$ in a smooth and proper $X$, you could choose a Weil (hence Cartier) effective divisor in $X$ intersecting $S$ but not containing it, showing that the Picard group of $S$ is not trivial. $\endgroup$ Nov 7 '14 at 15:04
  • 2
    $\begingroup$ Are you sure that this exclude the possibility of embedding $S$ into a smooth algebraic space? It seems to me that this argument only works if $X$ is a scheme, or I am missing something? $\endgroup$ Nov 7 '14 at 15:12
  • $\begingroup$ @FrancescoPolizzi Ah you are absolutely right ! Sorry ! $\endgroup$ Nov 7 '14 at 15:24
6
$\begingroup$

I do not know the general answer to this interesting question.

However, there are surely examples of proper algebraic varieties that admit no embeddeding into smooth schemes.

Look for instance to this paper by Roth and Vakil, page 11.

Note that in the paper the authors claim that their example admits no embedding into a smooth algebraic space; however, their proof actually only work for smooth schemes, see the corrigendum in Vakil's webpage here.

$\endgroup$
1
  • $\begingroup$ Thanks for the comments and pointer to the literature. I guess the answer may not be known -- too bad! $\endgroup$ Nov 10 '14 at 9:45

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.