A curve of genus $15$ and degree $11$ is contained in a cubic surface

156 Views Asked by At

I am trying to show that if $C\subseteq\mathbb{P}^3$ is a smooth curve of degree $11$ and genus $15$, then $C$ is contained in a cubic surface $S\subseteq\mathbb{P}^3$. The idea is to use the exact sequence of sheaves $$ 0 \to \ \mathcal{I}_{C}\to \mathcal{O}_{\mathbb{P}^3} \to \mathcal{O}_{C} \to 0 $$ where $\mathcal{I}_{C}$ is the ideal sheaf of $C$. Twisting the exact sequence by 3, we get $$ 0 \to \ \mathcal{I}_{C}(3)\to \mathcal{O}_{\mathbb{P}^3}(3) \to \mathcal{O}_{C}(3)\to 0 $$ Taking the long exact sequence in cohomology and using $H^{i}(\mathcal{O}_{\mathbb{P}^3}(3))=0$ for $i=1, 2$, we have $$ 0 \to \ H^{0}(\mathcal{I}_{C}(3))\to H^{0}(\mathcal{O}_{\mathbb{P}^3}(3)) \to H^{0}(\mathcal{O}_{C}(3))\to H^1(\mathcal{I}_{C}(3))\to 0\to H^1(\mathcal{O}_{C}(3))\to H^2(\mathcal{I}_{C}(3))\to 0 $$ Now, by Riemann-Roch, $\dim H^0(\mathcal{O}_{C}(3))- \dim H^{1}(\mathcal{O}_{C}(3)) = 3\cdot 11 + 1 - 15 = 19$. So if $\dim H^{1}(\mathcal{O}_{C}(3))=0$, then $\dim H^0(\mathcal{O}_{C}(3))=19$. On the other hand, $\dim H^{0}(\mathcal{O}_{\mathbb{P}^{3}}(3)) = 20$. But then, the above exact sequence (and basic linear algebra) shows that $\dim H^{0}(\mathcal{I}_{C}(3)) \geq 20-19 = 1$, so there is a degree $3$ form vanishing along $C$. In other words, the curve $C$ is contained in a cubic surface, as desired.

So my question is:

Why is $H^{1}(\mathcal{O}_{C}(3))=0$?

The above exact sequence shows that $H^{1}(\mathcal{O}_{C}(3))=H^{2}(\mathcal{I}_{C}(3))$. So maybe it is easier to show that the latter is $0$?

1

There are 1 best solutions below

2
On BEST ANSWER

Okay I think I figured out the answer! If $H^{1}(\mathcal{O}_{C})\neq 0$, then $\mathcal{O}_{C}(3)$ corresponds to a special effective divisor $D$ on $C$, and so by Clifford's theorem, we have $$ \dim H^{0}(D) - 1 \leq \frac{1}{2} \deg(D) = \frac{1}{2}\cdot 33 < 17 $$ So $\dim H^{0}(C, \mathcal{O}_{C}(3))<18$, and the argument above applies again to show that $C$ is contained in a cubic surface. I would very much appreciate if someone checked this answer!