5
$\begingroup$

Consider the Segre embedding $$ \mathbb P^n\times \mathbb P^m \hookrightarrow \mathbb P^N. $$

It seems to me that from the definition it is clear that

$$ H^0(\mathbb P^N, \mathscr O_{\mathbb P^N}(1)) = H^0(\mathbb P^n, \mathscr O_{\mathbb P^n}(1))\otimes H^0(\mathbb P^m, \mathscr O_{\mathbb P^m}(1)), $$

but is it obvious that

$$ H^0(\mathbb P^n\times \mathbb P^m, {\mathscr O_{\mathbb P^{N}}(1)}|_{\mathbb P^n\times \mathbb P^m}) = H^0(\mathbb P^n, \mathscr O_{\mathbb P^n}(1))\otimes H^0(\mathbb P^m, \mathscr O_{\mathbb P^m}(1))? $$

More generally:

Question: Is the Segre embedding projectively normal?

EDIT Note that strictly speaking the above condition is only linearly normal, I did mean to ask projective normality, which in this case follows from linear normality. (See J.C. Ottem's answer).

$\endgroup$
2
  • 1
    $\begingroup$ The question is whether the Segre embedding is linearly normal, not projectively normal. Anyway, this follows from the Künneth formula for coherent sheaves. $\endgroup$
    – Angelo
    Apr 10, 2013 at 6:35
  • $\begingroup$ Thank you Angelo. I did mean to ask about projective normality, but did not phrase the question very well. The Künneth formula for coherent sheaves indeed solves the issue. In fact, it seems to me that it also proves projective normality the same way, right? Thanks! $\endgroup$
    – user31847
    Apr 10, 2013 at 19:33

1 Answer 1

6
$\begingroup$

Yes. The Segre embedding $i:P:=\mathbb P^n \times \mathbb P^m\to \mathbb P^N$ is defined by the sections of the line bundle $O_P(1,1):=pr_1^*O_{\mathbb P^n}(1)\otimes pr_2 O_{\mathbb P^m}(1)$ on $\mathbb P^n \times \mathbb P^m$ and by definition of $i$ we have $i^*O_{\mathbb P^N}(1)=O(1,1)$. In other words, the equality $$H^0(\mathbb P^n \times \mathbb P^m,i^*O_{\mathbb P^N}(k))=H^0(\mathbb P^n \times \mathbb P^m,O(k,k))$$ holds for any $k\in \mathbb Z$, and so $H^0(\mathbb P^n \times \mathbb P^m,i^*O(k))$ decomposes as the tensor product $H^0(\mathbb P^n, \mathscr O_{\mathbb P^n}(k))\otimes H^0(\mathbb P^m, \mathscr O_{\mathbb P^m}(k))$ by Kunneth's theorem. Note however, that the definition of projectively normal requires that the map $$H^0(\mathbb P^N,O(k))\to H^0(P,O(k,k))$$is surjective for all $k\ge 0$ not just for $k=1$ (in which case the embedding is called linearly normal). This is true in our case, since global sections of $O(k,k)$ are polynomials in sections of $O(1,1)$. Of course, when $k=2$, the kernel of the above map is generated by the quadrics defined as the $2\times 2$ minors defining the Segre embedding.

$\endgroup$
2
  • $\begingroup$ Thanks JC, this is exactly what I needed. Also, I meant projective normality for the reason you are saying that it follows from linear normality in this case..... $\endgroup$
    – user31847
    Apr 10, 2013 at 16:59
  • $\begingroup$ More along this line: The cone over the Grassmannian for the Pl\"ucker embedding is even a factorial variety. (And quadratic relations among Pl\'ucker co-ordinates holds.) Book by Lakshmibai on 'Standard Monomial Theory' has more generalisations. Popov's generalisation: same is true for orbits of highest weight vectors in an irreducible representation of simply-connected semisimple algebraic group $G$ (over C?). $\endgroup$ Apr 11, 2013 at 0:34

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.