Table of Contents
Fetching ...

Modular forms for \(\mathrm{GL}(r, \mathbb{F}_{q}[T])\): Hecke operators and growth of expansion coefficients

Ernst-Ulrich Gekeler

TL;DR

The work analyzes higher-rank Drinfeld modular forms for GL$(r,A)$, showing the ring of modular forms is generated by the coefficient forms $g_1,\\dots,g_{r-1},\\Delta$ and the root $h$ of $\\Delta$, with all these forms being eigenforms for the Hecke operators $T_{\\mathfrak{p},i}$ whose eigenvalues are powers of the uniformizer $\\pi$. It develops a lattice-based Hecke-action framework, including oriented lattices and a boundary splitting that yields explicit $t$-expansion and $A$-expansion formulas, and proves these expansions converge uniformly on the fundamental domain. The paper provides detailed growth bounds for $t$-expansion coefficients of $\\Delta$ (and related forms), and establishes that the Hecke action preserves modular-type data and can be computed inductively from rank $r-1$. These results illuminate the structure of coefficient forms in higher rank and connect Drinfeld-module data to explicit analytic expansions with uniform convergence on the natural domain, enriching the arithmetic of function-field modular forms. The findings have implications for extending $A$-expansions and for understanding Hecke eigenstructure in the nonclassical, higher-rank setting.

Abstract

We determine the action of the Hecke operators \(T_{\mathfrak{p},i}\) on the coefficient forms \(g_{1}, \dots, g_{r-1}, g_{r} = Δ\), and \(h\), which together generate the ring of modular forms for \(\mathrm{GL}(r, \mathbf{F}_{q}[T])\). All these are eigenforms with powers of \(π\) as eigenvalues, where \(π\) is the monic generator of the prime ideal \(\mathfrak{p}\) of \(\mathbb{F}_{q}[T]\). We further describe the growth of the \(t\)-expansion coefficients of the discriminant function \(Δ\). It is such that the product expansion of \(Δ\) as well as the \(t\)-expansion of each modular form converges on the natural fundamental domain for \(\mathrm{GL}(r, \mathbf{F}_{q}[T])\).

Modular forms for \(\mathrm{GL}(r, \mathbb{F}_{q}[T])\): Hecke operators and growth of expansion coefficients

TL;DR

The work analyzes higher-rank Drinfeld modular forms for GL, showing the ring of modular forms is generated by the coefficient forms and the root of , with all these forms being eigenforms for the Hecke operators whose eigenvalues are powers of the uniformizer . It develops a lattice-based Hecke-action framework, including oriented lattices and a boundary splitting that yields explicit -expansion and -expansion formulas, and proves these expansions converge uniformly on the fundamental domain. The paper provides detailed growth bounds for -expansion coefficients of (and related forms), and establishes that the Hecke action preserves modular-type data and can be computed inductively from rank . These results illuminate the structure of coefficient forms in higher rank and connect Drinfeld-module data to explicit analytic expansions with uniform convergence on the natural domain, enriching the arithmetic of function-field modular forms. The findings have implications for extending -expansions and for understanding Hecke eigenstructure in the nonclassical, higher-rank setting.

Abstract

We determine the action of the Hecke operators on the coefficient forms , and , which together generate the ring of modular forms for \(\mathrm{GL}(r, \mathbf{F}_{q}[T])\). All these are eigenforms with powers of as eigenvalues, where is the monic generator of the prime ideal of . We further describe the growth of the -expansion coefficients of the discriminant function . It is such that the product expansion of as well as the -expansion of each modular form converges on the natural fundamental domain for \(\mathrm{GL}(r, \mathbf{F}_{q}[T])\).

Paper Structure

This paper contains 18 sections, 16 theorems, 115 equations.

Key Result

Proposition 2.2

There exists a sequence $G_{k}(X) = G_{k,\Lambda}(X)$ of polynomials over $C_{\infty}$ ($k=1,2,3,\dots$), the Goss polynomials of$\Lambda$, such that:

Theorems & Definitions (32)

  • Proposition 2.2
  • Theorem 2.7: Basson17 Corollary 11, Gekeler25 Theorem 10.13 and (10.17.3)
  • Lemma 3.3
  • proof
  • Example 3.7
  • Example 3.9
  • Proposition 3.10
  • proof
  • Proposition 4.3
  • Proposition 4.9
  • ...and 22 more