# Genus 2 curves downloaded from the LMFDB on 26 February 2024.
# Search link: https://www.lmfdb.org/Genus2Curve/Q/?geom_aut_grp_label=24.8
# Query "{'geom_aut_grp_label': '24.8'}" returned 4 curves, sorted by conductor.
# Each entry in the following data list has the form:
# [Label, Class, Conductor, Rank*, Torsion, $\textrm{End}^0(J_{\overline\Q})$, Equation]
# For more details, see the definitions at the bottom of the file.
# To create a list of curves, type "curves = make_data()"
columns = ["label", "class", "cond", "analytic_rank", "torsion_subgroup", "geom_end_alg", "eqn"]
data = [
["2916.b.11664.1", "2916.b", 2916, 0, [3, 3], "M_2(CM)", [[0, 0, 0, 0, 0, 0, 1], [1]]],
["11664.a.11664.1", "11664.a", 11664, 1, [3], "M_2(CM)", [[0, 0, 0, 0, 0, 0, -1], [1]]],
["20736.i.373248.1", "20736.i", 20736, 0, [6], "M_2(CM)", [[-2], [0, 0, 0, 1]]],
["20736.k.373248.1", "20736.k", 20736, 1, [6], "M_2(CM)", [[2], [0, 0, 0, 1]]]
]
def create_record(row):
out = {col: val for col, val in zip(columns, row)}
QQx. := QQ[]
curve = HyperellipticCurve(QQx(out["eqn"][0]), QQx(out["eqn"][1]))
out["curve"] = curve
return out
def make_data():
return [create_record(row) for row in data]
# Label --
# The label of a genus 2 curve over $\Q$ has the form $N$.$s$.$D$.$n$, where
# - $N$ is the conductor,
# - $s$ is a string of letters that distinguishes this isogeny class among those with the same conductor,
# - $D$ is the absolute discriminant, and
# - $n$ is a positive integer that distinguishes the curve among other curves with the same absolute discriminant in the same isogeny class.
# In particular, $N.s$ is the label of the isogeny class of the Jacobian of the curve. The values $s$ and $n$ are assigned as curves are added to the database and carry no intrinsic meaning
# Class --
# The **isogeny class** (over a field $K$) of an abelian variety $A$ over a field $K$ is the set of isomorphism classes of abelian varieties over $K$ that are isogenous to $A$ (over $K$).
# LMFDB entries for isogeny classes typically list only those elements of the isogeny class that are present in the LMFDB; for abelian varieties of dimension greater than 1 this means that the list of elements of the isogeny class will often be incomplete.
# Isogeny class information listed on LMFDB pages for curves refer to the isogeny class of its Jacobian.
#Conductor (cond) --
# The **conductor** $N$ of a genus 2 curve $X/\Q$ is the conductor of its Jacobian $\mathrm{Jac}(X)$. This is a positive integer that divides the discriminant of $X$ and is divisible by every prime of bad reduction for $\mathrm{Jac}(X)$ (but not necessarily by every prime of bad reduction for $X$).
# The valuation of $N$ at a prime $p$ satisfies the following bounds.
#
# $p$: | $2$ | $3$ | $5$ | $\ge 7$
# |

$v_p(N)$: | $20$ | $10$ | $9$ | $4$
# |

#Rank* (analytic_rank) --
# The **analytic rank** of an abelian variety is the analytic rank of its L-function $L(A,s)$. The analytic rank of a curve is the analytic rank of its Jacobian. The weak form of the BSD conjecture implies that the analytic rank is equal to the rank of the Mordell-Weil group of the abelian variety.
# Analytic ranks are always computed under the assumption that $L(A,s)$ satisfies the Hasse-Weil conjecture (they are not necessarily well-defined otherwise). When $A$ is defined over $\Q$, the parity of the analytic rank is always compatible with the sign of the functional equation.
# In general, analytic ranks stored in the LMFDB are only upper bounds on the true analytic rank (they could be incorrect if $L(A,s)$ has a zero very close to but not on the central point). For abelian varieties over $\Q$ of analytic rank less than 2 this upper bound is necessarily tight, due to parity.
#Torsion (torsion_subgroup) --
# The **torsion subgroup** of an abelian variety over a number field is the subgroup of elements of finite order; it is a finite group that is isomorphic to the direct sum of at most $2g$ cyclic groups, where $g$ is the dimension of the abelian variety.
# The structure of the torsion subgroup can be compactly described by listing its sequence of elementary divisors $[d_1,\ldots,d_n]$, where each $d_i$ divides $d_{i+1}$, indicating a finite abelian group that is isomorphic to $\Z/d_1\Z\oplus \cdots \oplus\Z/d_n\Z$.
#$\textrm{End}^0(J_{\overline\Q})$ (geom_end_alg) --
# The **geometric endomorphism algebra** of an abelian surface $A$ over a field $K$ is the $\Q$-algebra $\End(A_{\overline{K}}) \otimes \Q$, the endomorphism algebra of the base change $A_{\overline{K}}$ of $A$ to an algebraic closure $\overline{K}$ of $K$. This is a special case of the geometric endomorphism algebra of an abelian variety.
# When $A$ is an abelian surface over a number field $K$, there are nine possibilities for $\End(A_{\overline K})\otimes\Q$:
# 1. $\Q$;
# 2. a real quadratic field (in which case $A$ has **real multiplication**, denoted RM);
# 3. a quartic CM field (in which case $A$ has **complex multiplication**, denoted CM);
# 4. a non-split quaternion algebra over $\Q$ (in which case $A$ has **quaternionic multiplication**, denoted QM);
# 5. $\Q\times \Q$;
# 6. $F\times \Q$, where $F$ is a quadratic CM field (denoted $\mathrm{CM} \times \Q$);
# 7. $F_1\times F_2$, where $F_1$ and $F_2$ are distinct quadratic CM fields (denoted $\mathrm{CM} \times \mathrm{CM}$);
# 8. $\mathrm{M}_2(\Q)$;
# 9. $\mathrm{M}_2(F)$, where $F$ is a quadratic CM field (denoted $\mathrm{M}_2(\mathrm{CM})$).
# The first four cases occur when $A$ is geometrically simple, while the last five cases occur when $A_{\overline K}$ is isogenous to a product of elliptic curves $E_1\times E_2$ over $\overline K$. Which of the last five cases occurs depends on whether $E_1$ and/or $E_2$ have complex multiplication, and whether $E_1$ and $E_2$ are isogenous or not.
#Equation (eqn) --
# 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$).