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

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

An easyThe easiest way of showing 1) is probably by noting that $\mathcal I / \mathcal I^2$ injects as a sub bundlesubbundle 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).

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

An easy way of showing 1) is by noting that $\mathcal I / \mathcal I^2$ injects as a sub bundle 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})$, so by induction on $r$, we get 2).

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).

added 267 characters in body
Source Link
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79

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

An easy way of showing 1) is using inkspot's argumentby noting that $\mathcal I / \mathcal I^2$ injects as a sub bundle 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 2) follows bytaking 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, $$which showsshows that $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$ injects into $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r})$. Now 2) follows, so by induction on $r$, we get 2).

Write for simplicity $X=\mathbb{P}^n$. An easy way of showing 1) is using inkspot's argument. Now 2) follows by 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, $$which shows that $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$ injects into $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r})$. Now 2) follows by induction on $r$.

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

An easy way of showing 1) is by noting that $\mathcal I / \mathcal I^2$ injects as a sub bundle 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})$, so by induction on $r$, we get 2).

corrected typo
Source Link
Sándor Kovács
  • 42.9k
  • 2
  • 109
  • 155

Write for simplicity $X=\mathbb{P}^n$. An easy way of showing 1) is using inkspot's argument. Now 2) follows by 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, $$which shows that $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$ injects into $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$$\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r})$. Now 2) follows by induction on $r$.

Write for simplicity $X=\mathbb{P}^n$. An easy way of showing 1) is using inkspot's argument. Now 2) follows by 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, $$which shows that $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$ injects into $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$. Now 2) follows by induction on $r$.

Write for simplicity $X=\mathbb{P}^n$. An easy way of showing 1) is using inkspot's argument. Now 2) follows by 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, $$which shows that $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r+1})$ injects into $\Gamma(Y,\mathcal{O}_X/\mathcal{I}^{r})$. Now 2) follows by induction on $r$.

deleted 71 characters in body
Source Link
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79
Loading
added 133 characters in body; added 6 characters in body
Source Link
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79
Loading
Source Link
J.C. Ottem
  • 11.6k
  • 2
  • 42
  • 79
Loading