English

Drinfeld modules with maximal Galois action

Number Theory 2025-02-04 v1

Abstract

With a fixed prime power q>1q>1, define the ring of polynomials A=Fq[t]A=\mathbb{F}_q[t] and its fraction field F=Fq(t)F=\mathbb{F}_q(t). For each pair a=(a1,a2)A2a=(a_1,a_2) \in A^2 with a2a_2 nonzero, let ϕ(a) ⁣:AF{τ}\phi(a)\colon A\to F\{\tau\} be the Drinfeld AA-module of rank 22 satisfying tt+a1τ+a2τ2t\mapsto t+a_1\tau+a_2\tau^2. The Galois action on the torsion of ϕ(a)\phi(a) gives rise to a Galois representation ρϕ(a) ⁣:Gal(Fsep/F)GL2(A^)\rho_{\phi(a)}\colon \operatorname{Gal}(F^{\operatorname{sep}}/F)\to \operatorname{GL}_2(\widehat{A}), where A^\widehat{A} is the profinite completion of AA. We show that the image of ρϕ(a)\rho_{\phi(a)} is large for random aa. More precisely, for all aA2a\in A^2 away from a set of density 00, we prove that the index [GL2(A^):ρϕ(a)(Gal(Fsep/F))][\operatorname{GL}_2(\widehat{A}):\rho_{\phi(a)}(\operatorname{Gal}(F^{\operatorname{sep}}/F))] divides q1q-1 when q>2q>2 and divides 44 when q=2q=2. We also show that the representation ρϕ(a)\rho_{\phi(a)} is surjective for a positive density set of aA2a\in A^2.

Keywords

Cite

@article{arxiv.2502.01030,
  title  = {Drinfeld modules with maximal Galois action},
  author = {David Zywina},
  journal= {arXiv preprint arXiv:2502.01030},
  year   = {2025}
}
R2 v1 2026-06-28T21:29:55.244Z