Every hyperelliptic curve is a
degree-2 cover of the projective line. The **Weierstrass points** of the curve are the ramification points of this cover, of which there are $2g+2$, where $g$ is the genus of the curve.

Over a field of characteristic not 2, a hyperelliptic curve of genus $g$ always has a model of the form $y^2=f(x)$, where $\deg f = 2g+2$, in which case the Weierstrass points are simply the roots of $f(x)$, of which any number between $0$ and $2g+2$ may be rational (defined over the field of definition of the curve).

For curves with a rational Weierstrass point, by moving this point to infinity one can put the curve in the form $y^2=f(x)$ with $\deg f =2g+1$, but otherwise not.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Cremona on 2018-05-24 17:10:10

**Referred to by:**

**History:**(expand/hide all)

- 2018-05-24 17:10:10 by John Cremona (Reviewed)