English

Lifting images of standard representations of symmetric groups

Number Theory 2021-10-25 v5

Abstract

We investigate closed subgroups GSp2g(Z2)G \subseteq \mathrm{Sp}_{2g}(\mathbb{Z}_2) whose modulo-22 images coincide with the image S2g+1Sp2g(F2)\mathfrak{S}_{2g + 1} \subseteq \mathrm{Sp}_{2g}(\mathbb{F}_2) of S2g+1S_{2g + 1} or the image S2g+2Sp2g(F2)\mathfrak{S}_{2g + 2} \subseteq \mathrm{Sp}_{2g}(\mathbb{F}_2) of S2g+2S_{2g + 2} under the standard representation. We show that when g2g \geq 2, the only closed subgroup GSp2g(Z2)G \subseteq \mathrm{Sp}_{2g}(\mathbb{Z}_2) surjecting onto S2g+2\mathfrak{S}_{2g + 2} is its full inverse image in Sp2g(Z2)\mathrm{Sp}_{2g}(\mathbb{Z}_2), while all subgroups GSp2g(Z2)G \subseteq \mathrm{Sp}_{2g}(\mathbb{Z}_2) surjecting onto S2g+1\mathfrak{S}_{2g + 1} are open and contain the level-88 principal congruence subgroup of Sp2g(Z2)\mathrm{Sp}_{2g}(\mathbb{Z}_2). As an immediate application, we are able to strengthen a result of Zarhin on 22-adic Galois representations associated to hyperelliptic curves. We also prove an elementary corollary concerning even-degree polynomials with full Galois group.

Keywords

Cite

@article{arxiv.1903.06148,
  title  = {Lifting images of standard representations of symmetric groups},
  author = {Jeffrey Yelton},
  journal= {arXiv preprint arXiv:1903.06148},
  year   = {2021}
}

Comments

23 pages, 6 sections, 14 works cited. This final update includes a number of minor corrections and is the exact version that has been published in Manuscripta Mathematica