Skip to main content
6 of 6
added 16 characters in body
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79

Write for simplicity $X=\mathbb{P}^n$.

The easiest way of showing 1) is probably by noting that $\mathcal I / \mathcal I^2$ injects as a subbundle of $\mathcal O_Y(-1)^{n+1}$ (this follows from combining the conormal sequence with the Euler sequence) and so none of it's symmetric powers $S^r(\mathcal I / \mathcal I^2)=\mathcal I^r / \mathcal I^{r+1}$ can have any global sections. Now taking the cohomology sequence of $$ 0 \to \mathcal{I}^r/\mathcal{I}^{r+1}\to\mathcal{O}_X/\mathcal{I}^{r+1} \to\mathcal{O}_X/\mathcal{I}^{r} \to 0, $$shows that $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$ injects into $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r})$, and so by induction on $r$, we get 2).

J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79