Riemann Hypothesis for Drinfeld Modules

• The paper establishes a Hasse–Weil bound on the zero distribution of L-functions linked to Drinfeld modules over global function fields.
• It employs module-theoretic and valuation-theoretic methods to constrain Satake parameters and verify the predicted functional equations.
• The findings offer new insights into prime equidistribution and trace formulas, bridging analogues of classical RH with t-motive theory.

The Riemann Hypothesis for Drinfeld modules establishes a Hasse–Weil type bound on the zero distribution of L-functions and zeta functions associated to Drinfeld modules over global function fields. This analogue of the classical Riemann Hypothesis arises within the arithmetic of function fields and is substantiated by module-theoretic and valuation-theoretic methods. Notably, the proof furnished by Micheli demonstrates that, for any Drinfeld module of arbitrary rank, the local factors of the associated L-series possess roots constrained precisely as predicted by the function field analogy of the classical hypothesis (Micheli, 13 Dec 2025).

1. Global Function Fields and Valuations

Let $\mathbb{F}_q$ denote a finite field of $q$ elements. A global function field $K$ is a finite extension of the rational function field $\mathbb{F}_q(T)$. The ring of integers of $K$ is $A = \mathbb{F}_q[T]$, and the distinguished place at infinity, $\infty$, corresponds to the zero of $1/T$ on $\mathbb{F}_q(T)$. For nonarchimedean places $v$ of $q$0, the normalized valuation extends the degree-valuation at infinity: $q$1 Two valuations $q$2 on $q$3 are equivalent if $q$4 for $q$5, and likewise for their induced absolute values. Every nonarchimedean absolute value derives from a unique place of $q$6, per standard function field theory (cf. Stichtenoth 1.3.1).

2. Drinfeld Modules: Construction and Arithmetic

Given a finite field extension $q$7, a Drinfeld module of rank $q$8 over $q$9 is defined by an $K$0-algebra homomorphism

$K$1

where $K$2 is the twisted polynomial ring acted on by the Frobenius automorphism, $K$3. For Drinfeld modules, the prototype polynomial is

$K$4

with $K$5 and nonzero leading coefficient. As $K$6-polynomials, these enact a generalized “exponential map” when $K$7 is inverted (Goss, Thm. 4.2.8). The module’s characteristic is the minimal monic $K$8 annihilated by $K$9.

For a prime $\mathbb{F}_q(T)$0 of $\mathbb{F}_q(T)$1, the corresponding $\mathbb{F}_q(T)$2-adic Tate module is

$\mathbb{F}_q(T)$3

which is subject to a Frobenius endomorphism $\mathbb{F}_q(T)$4. The associated characteristic polynomial

$\mathbb{F}_q(T)$5

is in $\mathbb{F}_q(T)$6 and invariant under the choice of $\mathbb{F}_q(T)$7 (Papikian Thm. 3.6.6).

3. Zeta and L-Series: Definitions and Local Factors

For every prime $\mathbb{F}_q(T)$8 of good reduction, the local factor of the L-series is

$\mathbb{F}_q(T)$9

where the $K$0 are the local eigenvalues (“Satake parameters”). Two equivalent forms are used:

• The Weil zeta function:

$K$1

• The L-series:

$K$2

where $K$3.

4. Functional Equation and Completed L-Function

The completed L-function is defined as

$K$4

with $K$5 the “infinite-place” factor constructed via Goss’s gamma-function in positive characteristic. This function satisfies the functional equation

$K$6

where $K$7 is computable from local data at $K$8 and the conductor. The Hasse–Weil zeta function, expressible as

$K$9

with $A = \mathbb{F}_q[T]$0 a polynomial of degree $A = \mathbb{F}_q[T]$1, satisfies

$A = \mathbb{F}_q[T]$2

leading to $A = \mathbb{F}_q[T]$3 under the change of variables $A = \mathbb{F}_q[T]$4.

5. Riemann Hypothesis for Drinfeld Modules

The Riemann Hypothesis in this context asserts that all zeros of $A = \mathbb{F}_q[T]$5 lie on the line $A = \mathbb{F}_q[T]$6, equivalently that

$A = \mathbb{F}_q[T]$7

for every Satake parameter $A = \mathbb{F}_q[T]$8. The zeros of the numerator polynomial $A = \mathbb{F}_q[T]$9 for $\infty$0 reside on the circle $\infty$1. Micheli’s Theorem 1.1 formalizes these assertions for rank $\infty$2 Drinfeld modules over $\infty$3: all roots $\infty$4 of the Frobenius characteristic polynomial satisfy

$\infty$5

Moreover, for the characteristic polynomial

$\infty$6

the coefficients obey $\infty$7 and $\infty$8 for $\infty$9.

6. Outline and Methodology of the Proof

The proof proceeds in three principal components: A) Determinant vs. $1/T$0-degree on Tate Modules: The reduction of $1/T$1 modulo $1/T$2 matches the characteristic polynomial of $1/T$3 on $1/T$4 (Prop. 2.3). Separable endomorphisms $1/T$5 satisfy $1/T$6, extended to all $1/T$7 via integrality (Thm. 2.6). B) Uniqueness of the Infinite Place: Lemma 2.1 ensures prescribed valuations at finitely many places, while Lemma 3.2 and Prop. 3.3 establish that the sole place above $1/T$8 in $1/T$9 aligns with the $\mathbb{F}_q(T)$0-degree. C) Symmetric Polynomial Bounds: A pseudo-absolute value $\mathbb{F}_q(T)$1 is multiplicative and, when applied to Frobenius eigenvalues, yields the desired modulus bound via the determinant’s $\mathbb{F}_q(T)$2-degree (deg$\mathbb{F}_q(T)$3). The symmetric coefficients $\mathbb{F}_q(T)$4 inherit corresponding degree bounds by classical estimates on symmetric polynomials in $\mathbb{F}_q(T)$5 variables.

7. Corollaries and Mathematical Consequences

The validation of the Riemann Hypothesis for Drinfeld modules imparts several direct consequences:

• Explicit Formulae: Local Frobenius factors $\mathbb{F}_q(T)$6 with Satake parameters $\mathbb{F}_q(T)$7 yield trace formulas relating sums over test functions to zeros of $\mathbb{F}_q(T)$8.
• Prime Equidistribution: Equidistribution of Frobenius conjugacy classes in the motivic Galois group is deduced, producing prime-counting error terms of size $\mathbb{F}_q(T)$9.
• Contextual Integration: These arguments relate to the t-motive theory over function fields and echo the cohomological proofs of the Riemann Hypothesis for varieties over finite fields (Deligne), executed here by means of elementary module and valuation theory.

The full exposition and proof, along with technical refinement and explicit structure, is found in Micheli’s work and is contextualized within the framework laid by Drinfeld, Goss, Laumon, Papikian, and Stichtenoth (Micheli, 13 Dec 2025).