Constructing hyperelliptic curves with surjective Galois representations

DOI10.1090/TRAN/7995zbMATH Open1481.11058arXiv1701.05915OpenAlexW2978575655WikidataQ127179412 ScholiaQ127179412MaRDI QIDQ5217872FDOQ5217872

Authors: Samuele Anni, Vladimir Dokchitser 

Publication date: 26 February 2020

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: In this paper we show how to explicitly write down equations of hyperelliptic curves over Q such that for all odd primes l the image of the mod l Galois representation is the general symplectic group. The proof relies on understanding the action of inertia groups on the l-torsion of the Jacobian, including at primes where the Jacobian has non-semistable reduction. We also give a framework for systematically dealing with primitivity of symplectic mod l Galois representations. The main result of the paper is the following. Suppose n=2g+2 is an even integer that can be written as a sum of two primes in two different ways, with none of the primes being the largest primes less than n (this hypothesis appears to hold for all g different from 0,1,2,3,4,5,7 and 13). Then there is an explicit integer N and an explicit monic polynomial $f_0(x)inmathbbZ[x]$ of degree n, such that the Jacobian $J$ of every curve of the form $y^2=f(x)$ has $Gal(mathbbQ(J[l])/mathbbQ)congGS{p}_{2g}(mathbb{F}_l)$ for all odd primes l and $Gal(mathbbQ(J[2])/mathbbQ)cong{S}_{2g+2}$, whenever $f(x)inmathbbZ[x]$ is monic with $$ and with no roots of multiplicity greater than $2$ in $overline{mathbbF}_p$ for any p not dividing N.

Full work available at URL: https://arxiv.org/abs/1701.05915

Recommendations

• Galois representations and Galois groups over \(\mathbb Q\)
• Two-dimensional families of hyperelliptic Jacobians with big monodromy
• Hyperelliptic curves with maximal Galois action on the torsion points of their Jacobians
• scientific article; zbMATH DE number 1644008
• Hyperelliptic Jacobians and Steinberg representations

zbMATH Keywords

abelian varietiesGalois representationshyperelliptic curvesGoldbach's conjectureinverse Galois problem

Mathematics Subject Classification ID

Galois representations (11F80) Abelian varieties of dimension (> 1) (11G10) [https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Inverse Galois theory (12F12)

Cites Work

• Galois properties of points of finite order of elliptic curves
• Elements of mathematics. Commutative algebra. Chapters 5--7
• An open-image theorem for a general class of abelian varieties
• Rational isogenies of prime degree. (With an appendix by D. Goldfeld)
• Abelian varieties over number fields, tame ramification and big Galois image
• Title not available (Why is that?)
• Regulator constants and the parity conjecture
• Schémas en groupes de type $(p,\ldots,p)$
• Big symplectic or orthogonal monodromy modulo \(\ell\)
• Galois representations and Galois groups over \(\mathbb Q\)
• Residual representations of semistable principally polarized abelian varieties
• Classification of subgroups of symplectic groups over finite fields containing a transvection.
• Explicit Determination of the Images of the Galois Representations Attached to Abelian Surfaces with End(A) = Z
• The inverse Galois problem for \(\mathrm{PSL}_2(\mathbb {F}_p)\)
• On Serre's uniformity conjecture for semistable elliptic curves over totally real fields
• Inertia groups and abelian surfaces
• Large Galois images for Jacobian varieties of genus 3 curves
• Semistable types of hyperelliptic curves
• Hyperelliptic Jacobians and Steinberg representations
• Two-torsion of the Jacobian of hyperelliptic curves over finite fields
• Non-Archimedean uniformization and monodromy pairing
• Abelian varieties, \(\ell\)-adic representations and Lie algebras. Rank independence on \(\ell\)
• Galois representations and the tame inverse Galois problem
• Squarefree values of polynomial discriminants. I
• Surjectivity of Galois representations in rational families of abelian varieties

Cited In (13)

• Every 7-dimensional abelian variety over \(\mathbb{Q}_p \) has a reducible \(\ell \)-adic Galois representation
• Galois representations of superelliptic curves
• Tame torsion and the tame inverse Galois problem
• Explicit root numbers of abelian varieties
• Wild Galois representations: a family of hyperelliptic curves with large inertia image
• Tame torsion, the tame inverse Galois problem, and endomorphisms
• Hyperelliptic curves with maximal Galois action on the torsion points of their Jacobians
• Products of hyperelliptic Jacobians with maximal Galois image
• Galois representations and Galois groups over \(\mathbb Q\)
• A user's guide to the local arithmetic of hyperelliptic curves
• Boundedness results for 2‐adic Galois images associated to hyperelliptic Jacobians
• Constructing elliptic curves from Galois representations
• Arithmetic of hyperelliptic curves over local fields

This page was built for publication: Constructing hyperelliptic curves with surjective Galois representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5217872)