Table of Contents
Fetching ...

A class of Drinfeld $A$-modules of rank $3$ with surjective Galois representations

Narasimha Kumar, Dwipanjana Shit

TL;DR

The paper constructs an infinite two-parameter family of rank-3 Drinfeld $A$-modules $\varphi$ over $F=\mathbb{F}_{q}(T)$ with $q\ge 7$ odd, defined by $\varphi_T=T+g_1^{q-1}\tau+g_2^{q-1}\tau^2+T^{q-1}\tau^3$ for $(g_1,g_2)$ in an infinite set $\mathcal{G}$, and proves that for every non-zero prime ideal $\mathfrak{l}$ of $A$, the mod-$\mathfrak{l}$, $\mathfrak{l}$-adic, and adelic Galois representations are surjective. The strategy combines Tate uniformization at $(T)$, irreducibility results for mod-$\mathfrak{l}$ representations (via inertia analysis and permutation-polynomial techniques), explicit control of inertia images to bound the mod-$\mathfrak{l}$-adic image, and Pink–Rütsche criteria to promote to $\mathfrak{l}$-adic surjectivity; together these yield adelic surjectivity. The work extends Che22 by providing an infinite family valid for all $q\ge 7$ and clarifies the mechanisms that force surjectivity, including a detailed comparison to the Carlitz case and a comprehensive case analysis using Aschbacher’s classification. Altogether, the results contribute concrete surjective adelic representations for rank-3 Drinfeld modules in the function-field setting, analogous to Serre’s and Greicius’s results in the number-field setting but with explicit construction and broad generality.

Abstract

Let $q = p^e \geq 7$ be an odd prime power, and set $A := \mathbb{F}_q[T]$. In this article, we construct an infinite two-parameter family of Drinfeld $A$-modules of rank $3$ such that, for every non-zero prime ideal $\mathfrak{l}$ of $A$, the associated mod-$\mathfrak{l}$, $\mathfrak{l}$-adic, and adelic Galois representations are surjective. These results generalise the specific example, constructed only for primes $p\equiv 1\pmod{3}$, in~\cite{Che22}.

A class of Drinfeld $A$-modules of rank $3$ with surjective Galois representations

TL;DR

The paper constructs an infinite two-parameter family of rank-3 Drinfeld -modules over with odd, defined by for in an infinite set , and proves that for every non-zero prime ideal of , the mod-, -adic, and adelic Galois representations are surjective. The strategy combines Tate uniformization at , irreducibility results for mod- representations (via inertia analysis and permutation-polynomial techniques), explicit control of inertia images to bound the mod--adic image, and Pink–Rütsche criteria to promote to -adic surjectivity; together these yield adelic surjectivity. The work extends Che22 by providing an infinite family valid for all and clarifies the mechanisms that force surjectivity, including a detailed comparison to the Carlitz case and a comprehensive case analysis using Aschbacher’s classification. Altogether, the results contribute concrete surjective adelic representations for rank-3 Drinfeld modules in the function-field setting, analogous to Serre’s and Greicius’s results in the number-field setting but with explicit construction and broad generality.

Abstract

Let be an odd prime power, and set . In this article, we construct an infinite two-parameter family of Drinfeld -modules of rank such that, for every non-zero prime ideal of , the associated mod-, -adic, and adelic Galois representations are surjective. These results generalise the specific example, constructed only for primes , in~\cite{Che22}.

Paper Structure

This paper contains 12 sections, 22 theorems, 50 equations.

Key Result

Theorem 1.1

If $E$ is an elliptic curve over $\mathbb{Q}$ without CM, then the associated adelic Galois representation $\rho_{E}: \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \rightarrow \varprojlim_{m}\ \mathrm{Aut}(E[m]) \cong \mathrm{GL}_{2}(\widehat{\mathbb{Z}})$ has open image. In particular, $[\mathrm{GL}_{2

Theorems & Definitions (35)

  • Theorem 1.1: Ser72
  • Theorem 1.2: PR09
  • Theorem 1.3: Che22, Theorem 1
  • Theorem 1.4: = Theorem \ref{['Duplicate_l_adic_surjectivity']}
  • Definition 2.1
  • Theorem 2.2: Dri74, § 7
  • Proposition 2.3: Hay74
  • Lemma 2.4
  • proof
  • Lemma 3.1
  • ...and 25 more