Infinitely many elliptic curves with torsion Z/2Z × Z/4Z and rank at least six
A Lean 4 and Mathlib formalization of the paper "Infinitely many elliptic curves with torsion Z/2Z × Z/4Z and rank at least six" by Manvir Jaswal. Theorem 1.1 says that infinitely many elliptic curves over Q have torsion subgroup Z/2Z × Z/4Z and rank at least six, with infinitely many distinct j-invariants. The curves are fibers of a one-parameter family of Dujella and Peral, y² = x(x + a²)(x + b²), which has rank three over Q(m) and gains three further independent points over the function field of a curve C of genus one; congruences carry the independence of the six points, and the torsion,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-10-28-000013
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-28-000013/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-28-000013/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'