Every (smooth, projective, geometrically integral) hyperelliptic curve $X$ over $\Q$ of genus $g$ can be defined by an integral Weierstrass equation
$$y^2+h(x)y=f(x),$$
where $h(x)$ and $f(x)$ are integral polynomials of degree at most $g+1$ and $2g+2$, respectively. Each such equation has a discriminant $\Delta$. A **minimal equation** is one for which $|\Delta|$ is minimal among all integral Weierstrass equations for the same curve. Over $\Q$, every hyperelliptic curve has a minimal equation. The prime divisors of $\Delta$ are the primes of bad reduction for $X$.

The equation $y^2+h(x)y=f(x)$ uniquely determines a homogeneous equation of weighted degree 6 in variables $x,y,z$, where $y$ has weight $g+1$, while $x$ and $z$ both have weight 1: one homogenizes $h(x)$ to obtain a homogeneous polynomial $h(x,z)$ of degree $g+1$ and homogenizes $f(x)$ to obtain a homogeneous polynomial $f(x,z)$ of degree $2g+2$. This yields a smooth projective model $y^2+h(x,z)y=f(x,z)$ for the curve $X$.

One can always transform the minimal equation into a simplified equation $y^2 = g(x) = 4f(x)+h(x)^2$, but this equation need not have minimal discriminant and may have bad reduction at primes that do not divide the minimal discriminant (it will always have bad reduction at the prime $2$).

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Cremona on 2020-01-08 04:15:55

**Referred to by:**

- g2c.all_rational_points
- g2c.discriminant
- g2c.g2curve
- g2c.known_rational_points
- g2c.mw_generator
- g2c.simple_equation
- lmfdb/genus2_curves/templates/g2c_curve.html (lines 37-38)
- lmfdb/genus2_curves/templates/g2c_isogeny_class.html (line 19)
- lmfdb/genus2_curves/templates/g2c_search_results.html (line 148)

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

- 2020-01-08 04:15:55 by John Cremona (Reviewed)
- 2020-01-06 14:48:59 by Andrew Sutherland
- 2020-01-06 14:48:47 by Andrew Sutherland
- 2018-05-24 16:32:36 by John Cremona (Reviewed)

**Differences**(show/hide)