Skip to main content
2 of 8
added 134 characters in body; deleted 8 characters in body; added 72 characters in body
Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42

Let $C$ be a hyperelliptic curve of genus $g$, and let $L$ be a general line bundle of degree $g+1$. By Riemann-Roch, $r(L) = 1$, and so the complete series $|L|$ gives a degree $g+1$ map to $\mathbb{P}^1$. Then the product of this map and the degree $2$ map $C\to \mathbb{P}^1$ gives a map $C\to \mathbb{P}^1 \times \mathbb{P}^1$, whose image is a curve of type $(2,g+1)$. But $\mathbb{P}^1\times \mathbb{P}^1$ is just a quadric in $\mathbb{P}^3$.

To see the map is an embedding, it will suffice to show that it is birational. Indeed, the image has arithmetic genus $g$ by adjunction on a quadric surface. But it also has geometric genus $g$ since $C$ is its normalization. Thus the image is smooth if it is reduced.

Finally we must see that the map is birational, but this follows from the fact that $L$ is general.

Jack Huizenga
  • 5.9k
  • 1
  • 28
  • 42