Meromorphic Drinfeld Modular Forms

• Meromorphic Drinfeld modular forms are defined on Drinfeld upper half-spaces and extend classical modular forms by integrating analytic, arithmetic, and geometric perspectives.
• They are characterized by u-expansions at cusps, Satake compactification frameworks, and an arithmeticity condition that supports robust structure and special value theorems.
• Their study leverages period relations and t-motivic Galois theory to establish algebraic independence of CM values and deepen insights into function field arithmetic.

Meromorphic Drinfeld modular forms are central objects in the function field arithmetic of positive characteristic, unifying analytic, arithmetic, and algebro-geometric perspectives on moduli of Drinfeld modules and their compactifications. These forms are defined on Drinfeld upper half-spaces of arbitrary rank and admit a rich theory paralleling, yet extending, classical modular forms, with arithmetic properties, expansion principles, and structural theorems about special values at CM points. This article provides a detailed overview, emphasizing the foundational definitions, the Satake compactification framework, the arithmeticity property, special value and algebraic independence theorems, connections to t-motivic Galois theory, and comparison with both the classical and rank-two function field frameworks.

1. Definition and Analytic Foundations

Let $A = \mathbb{F}_q[\theta]$, $K = \mathbb{F}_q(\theta)$, $K_\infty$ its completion at $\infty$, and $\mathbb{C}_\infty$ the completed algebraic closure of $K_\infty$. For $r \geq 2$, the rank-$r$ Drinfeld upper half-space is defined as

$$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$

with points normalized as column vectors $\omega = (w_1, \ldots, w_r)^\top$ with $K = \mathbb{F}_q(\theta)$0 and entries $K = \mathbb{F}_q(\theta)$1-linearly independent.

Given a congruence subgroup $K = \mathbb{F}_q(\theta)$2, a weak Drinfeld modular form of weight $K = \mathbb{F}_q(\theta)$3 and type $K = \mathbb{F}_q(\theta)$4 is a rigid analytic function $K = \mathbb{F}_q(\theta)$5 such that, for all $K = \mathbb{F}_q(\theta)$6,

$K = \mathbb{F}_q(\theta)$7

where $K = \mathbb{F}_q(\theta)$8 is the last entry of $K = \mathbb{F}_q(\theta)$9. The space of such forms is denoted $K_\infty$0, and $K_\infty$1.

A crucial analytic feature is the existence of the parameter at infinity $K_\infty$2, which, near cusps, enables a $K_\infty$3-expansion: $K_\infty$4 with each $K_\infty$5 itself being a modular form (or weak form) for a smaller subgroup in rank $K_\infty$6.

A function is a (holomorphic) Drinfeld modular form if all its $K_\infty$7-expansions have only nonnegative powers at all cusps.

2. Satake Compactification and Algebro-Geometric Perspective

The Satake compactification is essential for the algebro-geometric treatment of Drinfeld modular forms of arbitrary rank. For a “fine” open compact $K_\infty$8, the coarse moduli scheme $K_\infty$9 of Drinfeld modules admits a normal, projective Satake compactification $\infty$0, unique up to isomorphism. The universal Drinfeld module extends over $\infty$1 as a "weakly separating" family. The dual of the relative Lie algebra, denoted by $\infty$2, is an ample line bundle on $\infty$3.

For any $\infty$4, the space of (algebraic) Drinfeld modular forms of weight $\infty$5 is

$\infty$6

with $\infty$7 a finitely generated, normal, integral graded $\infty$8-algebra. The compactification satisfies $\infty$9.

Meromorphic Drinfeld modular forms of weight $\mathbb{C}_\infty$0 are identified with rational sections of $\mathbb{C}_\infty$1, that is,

$\mathbb{C}_\infty$2

where $\mathbb{C}_\infty$3 is the boundary Cartier divisor, and $\mathbb{C}_\infty$4. The divisor records the pole orders at each boundary component.

For $\mathbb{C}_\infty$5, the boundary consists of cusps; in higher rank, it stratifies into Drinfeld modular varieties of smaller rank. Meromorphic forms are described locally by $\mathbb{C}_\infty$6-expansions in terms of cusp parameters.

3. Arithmeticity and Structure of Meromorphic Forms

In the rank-$\mathbb{C}_\infty$7 theory, arithmetic Drinfeld modular forms have Fourier coefficients in an algebraic closure $\mathbb{C}_\infty$8 of $\mathbb{C}_\infty$9. For $K_\infty$0, the arithmeticity criterion follows the inductive Basson–Sugiyama process. Define $K_\infty$1. For $K_\infty$2, a function $K_\infty$3 is arithmetic if in its $K_\infty$4-expansion $K_\infty$5, each $K_\infty$6 lies in $K_\infty$7 for some congruence subgroup $K_\infty$8. The $K_\infty$9-algebra $r \geq 2$0 consists of all such forms.

Arithmetic modular forms are $r \geq 2$1, and meromorphic arithmetic forms are defined via ratios: $r \geq 2$2 with $r \geq 2$3 denoting the $r \geq 2$4-span of such forms of weight $r \geq 2$5.

Key structural results include:

• For $r \geq 2$6, there is a monic polynomial relation over $r \geq 2$7 of the form

$r \geq 2$8

with $r \geq 2$9 polynomials in the weight-$r$0 arithmetic Eisenstein series $r$1. Thus, any arithmetic modular form is integral over the ring generated by these Eisenstein series (Chen et al., 4 Dec 2025).

4. Special Values at CM Points

A point $r$2 is called a CM point if its lattice $r$3 satisfies $r$4 is an $r$5-order of rank $r$6. For all $r$7 and CM $r$8,

$r$9

where $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$0 is a period of the Carlitz module, and $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$1 for some CM period $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$2.

The special-value theorem states:

Theorem (Special-value period relation).

Let $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$3 be a nonzero-weight meromorphic arithmetic Drinfeld modular form, and $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$4 a CM point at which $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$5 is defined. Then

$$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$6

where $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$7 is a period of a $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$8-rational CM Drinfeld module with lattice homothetic to $$\Omega^r = \mathbb{P}^{r-1}(\mathbb{C}_\infty) \setminus \{ K_\infty\text{-rational hyperplanes} \},$$9 (Chen et al., 4 Dec 2025).

In particular, the special value is algebraic up to a $\omega = (w_1, \ldots, w_r)^\top$0th power of the period.

5. Algebraic Independence and t-Motivic Galois Theory

The transcendence and algebraic independence results for special values at CM points are obtained via t-motivic Galois techniques. For each Drinfeld module $\omega = (w_1, \ldots, w_r)^\top$1 of rank $\omega = (w_1, \ldots, w_r)^\top$2 with endomorphism algebra $\omega = (w_1, \ldots, w_r)^\top$3 (a Galois extension of $\omega = (w_1, \ldots, w_r)^\top$4), its dual t-motive $\omega = (w_1, \ldots, w_r)^\top$5 has a rigid analytic trivialization. The associated Galois group is

$\omega = (w_1, \ldots, w_r)^\top$6

For the direct sum motive $\omega = (w_1, \ldots, w_r)^\top$7, the Galois group sits inside the subtorus

$\omega = (w_1, \ldots, w_r)^\top$8

with $\omega = (w_1, \ldots, w_r)^\top$9 under the assumption that the $K = \mathbb{F}_q(\theta)$00 are linearly disjoint.

Applying Papanikolas’s main theorem,

$K = \mathbb{F}_q(\theta)$01

this yields

Theorem (Algebraic independence of periods).

With $K = \mathbb{F}_q(\theta)$02 periods of corresponding CM Drinfeld modules,

$K = \mathbb{F}_q(\theta)$03

Combining with the period relation for special values, one has

Theorem (Main algebraic-independence of CM-values).

For CM points $K = \mathbb{F}_q(\theta)$04 with linearly disjoint Galois endomorphism algebras and $K = \mathbb{F}_q(\theta)$05, $K = \mathbb{F}_q(\theta)$06,

$K = \mathbb{F}_q(\theta)$07

i.e., the $K = \mathbb{F}_q(\theta)$08 special values are algebraically independent over $K = \mathbb{F}_q(\theta)$09 (Chen et al., 4 Dec 2025).

6. Examples, Expansions, and Basis Constructions

In the rank-$K = \mathbb{F}_q(\theta)$10 setting for $K = \mathbb{F}_q(\theta)$11 and level $K = \mathbb{F}_q(\theta)$12, explicit canonical bases of the spaces of weakly holomorphic (meromorphic at genus-zero) Drinfeld modular forms are constructed. For $K = \mathbb{F}_q(\theta)$13, the forms $K = \mathbb{F}_q(\theta)$14 in $K = \mathbb{F}_q(\theta)$15 are indexed by pole order at infinity and satisfy principal part expansions.

Generating functions for these bases satisfy rational function identities, and the action of the Serre-Ramanujan operator (Drinfeld Theta operator) on these forms is explicitly computable as a recurrence depending on divisors of the meromorphic modular forms (Dalal, 2023). These canonical bases underpin the structure and arithmetic of $K = \mathbb{F}_q(\theta)$16-expansions, zeros, and congruences.

Explicit meromorphic Drinfeld modular forms include ratios of Eisenstein series and modular discriminants, with special reference to the $K = \mathbb{F}_q(\theta)$17-function for $K = \mathbb{F}_q(\theta)$18 and type $K = \mathbb{F}_q(\theta)$19, and modular functions of nonzero type constructed via powers and ratios of $K = \mathbb{F}_q(\theta)$20 and $K = \mathbb{F}_q(\theta)$21 (Breuer, 2016).

7. Generalization and Comparison with Previous Theories

The results described generalize Chang’s rank-$K = \mathbb{F}_q(\theta)$22 theorems on special values of arithmetic Drinfeld modular forms (Chen et al., 4 Dec 2025). In rank two, the lattice periods and values of modular forms at CM points satisfy analogous period relations and algebraic independence results, but are limited by the quadratic nature of endomorphism algebras.

The present framework supports arbitrary rank ($K = \mathbb{F}_q(\theta)$23), arbitrary (meromorphic) weight, and allows for any finite number of pairwise linearly disjoint CM points, relying critically on the recursive arithmeticity definition and properties of algebraic tori within t-motivic Galois groups.

In higher rank, the boundary of the compactified moduli space is stratified by lower-rank Drinfeld modular varieties, and the analytic and algebraic description aligns with classical $K = \mathbb{F}_q(\theta)$24 theory, but with the essential novel complexity of stratified boundary components (Pink, 2010).

---

Key References:

• Chen–Gezmiş, "On special values of meromorphic Drinfeld modular forms of arbitrary rank at CM points" (Chen et al., 4 Dec 2025)
• Pink, "Compactification of Drinfeld modular varieties and Drinfeld Modular Forms of Arbitrary Rank" (Pink, 2010)
• Gekeler, "A note on Gekeler’s h-function" (Breuer, 2016)
• Basson–Sugiyama arithmeticity, Papanikolas’s t-motivic Galois theory
• Explicit basis constructions: "A Basis for the space of weakly holomorphic Drinfeld modular forms of level $K = \mathbb{F}_q(\theta)$25" (Dalal, 2023)