Constructing hyperelliptic curves with surjective Galois representations

DOI10.1090/TRAN/7995zbMATH1481.11058OpenAlexW2978575655WikidataQ127179412MaRDI QIDQ5217872FDOQ5217872

Authors Samuele Anni, Vladimir Dokchitser

Publication date 26 February 2020

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

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

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)

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.

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

Cites work

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

Cited in

(13)

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

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)