Skip to main content
added 147 characters in body
Source Link
Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42

Thinking about $i^\ast \mathcal O_{\mathbb{P}^n}(1)$ as $\mathcal O_C(1)$, there is a natural exact sequence

$$0 \to I_C(1) \to \mathcal O_{\mathbb{P}^n}(1) \to \mathcal O_C(1) \to 0.$$

Assuming $C$ is non-degenerate, we obtain an exact sequence in cohomology

$$0\to H^0(\mathcal O_{\mathbb{P}^n}(1))\to H^0(\mathcal O_C(1))\to H^1( I_C(1))\to 0.$$

It folllows that $h^0(\mathcal O_C(1))\geq n+1$, with equality if and only if the $H^1$ group above vanishes. The vanishing of this $H^1$ is called linear normality of the embedded curve; however, the definition ofcurve. There are several different properties which are equivalent to linear normality is simply that every sectionof an embedded curve, some of which are more or less geometric:

(1) Hyperplanes cut a complete linear series on $\mathcal O_C(1)$$C$.

(2) $C$ is embedded by a restriction ofcomplete linear series.

(3) $C$ is not a sectionprojection of $\mathcal O_{\mathbb{P}^n}(1)$. We've thus really only given the obstruction to equality a name, rather than isolatednon-degenerate embedding from a fundamental geometric propertyhigher-dimensional projective space.

(4) $H^1(I_C(1))=0$

In practice, this sequencethe fourth property is stillusually the most useful: often for attempting to show a curve is linearly normal, as you can analyze the ideal sheaf $I_C(1)$ by usingcompute this cohomology group via other methods, such as a resolution ofresolving the ideal of $C$sheaf.

Thinking about $i^\ast \mathcal O_{\mathbb{P}^n}(1)$ as $\mathcal O_C(1)$, there is a natural exact sequence

$$0 \to I_C(1) \to \mathcal O_{\mathbb{P}^n}(1) \to \mathcal O_C(1) \to 0.$$

Assuming $C$ is non-degenerate, we obtain an exact sequence in cohomology

$$0\to H^0(\mathcal O_{\mathbb{P}^n}(1))\to H^0(\mathcal O_C(1))\to H^1( I_C(1))\to 0.$$

It folllows that $h^0(\mathcal O_C(1))\geq n+1$, with equality if and only if the $H^1$ group above vanishes. The vanishing of this $H^1$ is called linear normality of the embedded curve; however, the definition of linear normality is simply that every section of $\mathcal O_C(1)$ is a restriction of a section of $\mathcal O_{\mathbb{P}^n}(1)$. We've thus really only given the obstruction to equality a name, rather than isolated a fundamental geometric property.

In practice, this sequence is still useful: often you can analyze the ideal sheaf $I_C(1)$ by using other methods, such as a resolution of the ideal of $C$.

Thinking about $i^\ast \mathcal O_{\mathbb{P}^n}(1)$ as $\mathcal O_C(1)$, there is a natural exact sequence

$$0 \to I_C(1) \to \mathcal O_{\mathbb{P}^n}(1) \to \mathcal O_C(1) \to 0.$$

Assuming $C$ is non-degenerate, we obtain an exact sequence in cohomology

$$0\to H^0(\mathcal O_{\mathbb{P}^n}(1))\to H^0(\mathcal O_C(1))\to H^1( I_C(1))\to 0.$$

It folllows that $h^0(\mathcal O_C(1))\geq n+1$, with equality if and only if the $H^1$ group above vanishes. The vanishing of this $H^1$ is called linear normality of the embedded curve. There are several different properties which are equivalent to linear normality of an embedded curve, some of which are more or less geometric:

(1) Hyperplanes cut a complete linear series on $C$.

(2) $C$ is embedded by a complete linear series.

(3) $C$ is not a projection of a non-degenerate embedding from a higher-dimensional projective space.

(4) $H^1(I_C(1))=0$

In practice, the fourth property is usually the most useful for attempting to show a curve is linearly normal, as you can compute this cohomology group via other methods, such as resolving the ideal sheaf.

Source Link
Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42

Thinking about $i^\ast \mathcal O_{\mathbb{P}^n}(1)$ as $\mathcal O_C(1)$, there is a natural exact sequence

$$0 \to I_C(1) \to \mathcal O_{\mathbb{P}^n}(1) \to \mathcal O_C(1) \to 0.$$

Assuming $C$ is non-degenerate, we obtain an exact sequence in cohomology

$$0\to H^0(\mathcal O_{\mathbb{P}^n}(1))\to H^0(\mathcal O_C(1))\to H^1( I_C(1))\to 0.$$

It folllows that $h^0(\mathcal O_C(1))\geq n+1$, with equality if and only if the $H^1$ group above vanishes. The vanishing of this $H^1$ is called linear normality of the embedded curve; however, the definition of linear normality is simply that every section of $\mathcal O_C(1)$ is a restriction of a section of $\mathcal O_{\mathbb{P}^n}(1)$. We've thus really only given the obstruction to equality a name, rather than isolated a fundamental geometric property.

In practice, this sequence is still useful: often you can analyze the ideal sheaf $I_C(1)$ by using other methods, such as a resolution of the ideal of $C$.