7
$\begingroup$

The standard reference for the statement that "any abstract variety is an open subscheme of a complete variety" is Nagata's 1962 paper Imbedding of an abstract variety in a complete variety. Unfortunately, this paper was apparently written before the language of schemes became standard, and uses Nagata's own language for "algebraic geometry over a Dedekind domain." Does anyone know of a translation of this proof (or another of the same statement) into scheme-theoretic language (or other language more comprehensible to the contemporary reader)?

$\endgroup$
1
  • 1
    $\begingroup$ Brian Conrad has a modern version, which you can get off his website. I think there are others as well. $\endgroup$ Mar 1, 2011 at 0:46

2 Answers 2

10
$\begingroup$

Apart from Brian's, published as:

Deligne's notes on Nagata compactifications. J. Ramanujan Math. Soc. 22 (2007), no. 3, 205–257.

there are:

Lütkebohmert, On compactification of schemes. Manuscripta Math. 80 (1993), no. 1, 95–111.

and

Vojta: Nagata's embedding theorem, arXiv:0706.1907

and, finally

Deligne: Le théorème de plongement de Nagata, Kyoto J. Math. 50, Number 4 (2010), 661-670.

All of them are worth reading. The issue is certainly subtle and important, at least for cohomological constructions.

$\endgroup$
6
$\begingroup$

Brian Conrad has a writeup on this:

http://math.stanford.edu/~conrad/papers/nagatafinal.pdf

$\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.