Projective Normality

What is the significance of studying projective normality of a variety ? How does it relate to non-singularity, rationality of a variety ?

Solution 1:

First let me emphasize that projective normality is defined only for varieties $X\subset \mathbb P^n$ embedded in some projective space, not for an abstract variety.
Let us say that such a subvariety is $k$-normal ($k\gt 0$) if the canonical morphism $$\Gamma(\mathbb P^n,\mathcal O_{\mathbb P^n}(k))\to \Gamma(X,\mathcal O_X(k)) $$ is surjective.
Equivalently $H^1(\mathbb P^n,\mathcal I_X(k))=0$, where $\mathcal I_X$ is the ideal sheaf defining $X$.
The equivalence follows by taking the appropriate segment of the long exact sequence of cohomology associated to $$0\to \mathcal I_X(k)\to O_{\mathbb P^n}(k)\to \mathcal O_X(k)\to 0 $$ and remembering that $H^1(\mathbb P^n, \mathcal O(k))=0$.
Then $X$ is said to be projectively normal if it is $k$-normal for all $k\gt 0$ and if it is normal.

For example any curve $X\subset \mathbb P^2$ of degree $d$ is $k$-normal for all $k\gt 0$ : indeed $$H^1(\mathbb P^2,\mathcal I_X(k))=H^1(\mathbb P^2,\mathcal O_{\mathbb P^2}(-d+k))=0$$
Hence a plane projective curve is projectively normal if and only if it is normal.
More generally any normal complete intersection in $\mathbb P^n$ is projectively normal (the converse is false: see Edit below).
Also, any Segre embedding $\mathbb P^n\times \mathbb P^m\hookrightarrow \mathbb P^N$ is projectively normal.

However a normal projective variety is not necessarily projectively normal: an example is the image $X\subset \mathbb P^3 $ of the embedding $\mathbb P^1 \hookrightarrow \mathbb P^3:(u:v)\mapsto(u^4:u^3v:uv^3:v^4)$ .
This degree $4$ curve is not even $1$-normal: the linear map $\Gamma(\mathbb P^3,\mathcal O_{\mathbb P^3}(1))\to \Gamma( X,\mathcal O_X(1)) $ is not surjective because the source has dimension $4$ whereas the target has dimension $h^0( X,\mathcal O_X(1)) =h^0(\mathbb P^1,\mathcal O(4))=5$.

Edit: caution!
We have just seen a non projectively normal embedded copy $X$ of $\mathbb P^1$ in $\mathbb P^3$.
But the standard embedding $\mathbb P^1\hookrightarrow \mathbb P^3: (u:v)\mapsto(u^3:u^2v:uv^2:v^3)$ has as image a cubic curve which is projectively normal (even though it is not a complete intersection !): cf.Hartshorne Chapter III, Ex.5.6.(b)(3) p.231, taking into account that this curve has bidegree (1,2) on the quadric $x_0x_3=x_1x_2$ on which it lies.
This confirms that projective normality is not an intrinsic property of a projective variety but depends on the choice of an embedding of it into $\mathbb P^n$.