Solution update
In a pre-release test of FM:OP done by Epoch on July 30, 2026, GPT 5.6 Sol found a solution to this problem and successfully passed the problem verifier. Sol’s solution is a curve from a public repository maintained by Edgar Costa and Timo Keller, which Sol found through searching. Therefore, we are counting this problem as solved on release.
In this instance, the solution to the problem was latent in the existing literature: the curve, which is part of a substantial project to create a dataset of curves, is in a public database, and would have been recognized as a solution had someone checked its torsion subgroup. Moving forward, we will ask for a rational point of order 37, which is the next target. Ideally, the new target is beyond the current research frontier, so finding a solution there will hopefully require a new idea.
About the problem
This problem asks for a genus 2 curve over the rationals whose Jacobian has a rational torsion point of prime order at least 31.
Let \(C\) be a smooth, projective curve of genus \(g\) defined over \(\mathbb{Q}\). By the Mordell–Weil theorem, the set of rational points \(J_{C}(\mathbb{Q})\) on the Jacobian \(J_{C}\) of \(C\) is a finitely generated abelian group. In other words, we have \(J_{C}(\mathbb{Q}) \cong \mathbb{Z}^r \oplus T\), where \(T\), the torsion subgroup, is a finite abelian group.
Mazur proved that the torsion subgroup in the case of elliptic curves (genus \(g = 1\)) is one of a known list of 15 possibilities; the largest prime order of a rational torsion point is 7.
The analogous classification problem for torsion subgroups of Jacobians of higher genus curves is wide open, even in genus 2. Currently, the largest known prime torsion order in the case of \(g = 2\) is 29, found by Leprévost, and it would be of interest to find larger prime torsion order.
Prompt
For each squarefree polynomial f(x) in Z[x] of degree 6, the curve
C_f : y^2 = f(x)
is hyperelliptic of genus 2, and its Jacobian J_f = Jac(C_f) is an abelian surface over Q.
A rational point of J_f can be given in Mumford coordinates by a pair of polynomials (u, v)
over Q with
- u monic of degree 2,
- deg v <= 1,
- u dividing v^2 - f.
Such a pair describes the effective divisor D of degree 2 cut out by u(x) = 0 and y = v(x),
and the corresponding point of J_f is the divisor class [D - K], where K is the canonical
class of C_f: the degree-2 divisor cut out by x = constant, equivalently the sum of the two
points at infinity of the smooth projective model. (K is a rational divisor class even when
the two points at infinity are individually irrational, so [D - K] is a rational point of J_f
for every such pair (u, v).)
# Task
Find a squarefree polynomial f(x) in Z[x] of degree exactly 6, together with a point of
J_f(Q) whose order is a prime number p >= 31.
(There is no loss of generality in taking f to have integer coefficients: f and c^2 * f define
isomorphic curves for any c in Q*, so denominators can be cleared.)
# Submission
Write your answer to a file, then submit the path to that file using the `submit_answer` tool.
The file must contain a single JSON object with exactly three keys, "coeffs", "u", and "v",
each a list of coefficients given as strings, CONSTANT TERM FIRST:
- "coeffs": the 7 coefficients of f, i.e. ["c0", "c1", ..., "c6"] meaning
f(x) = c0 + c1 x + ... + c6 x^6. Each must be an integer, and c6 must be nonzero so that f
has degree exactly 6.
- "u": the 3 coefficients of u, i.e. ["u0", "u1", "u2"] meaning u(x) = u0 + u1 x + u2 x^2.
- "v": the 2 coefficients of v, i.e. ["v0", "v1"] meaning v(x) = v0 + v1 x.
Every entry must be a string holding an exact integer such as "5" or an exact fraction such as
"-3/2". Everything is checked with exact arithmetic, so approximate or floating-point values will
not be accepted.
The file should contain exactly this JSON object and nothing else. The example below only
illustrates the format; it is not a valid answer:
{"coeffs": ["1", "0", "1", "0", "1", "0", "1"], "u": ["1", "0", "1"], "v": ["0", "0"]}