Abstract:This is the third part of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank. In the present article we construct and study some examples of Drinfeld modular forms. In particular we define Eisenstein series, as well as the action of Hecke operators upon them, coefficient forms and discriminant forms. In the special case A=F_q[t] we show that all modular forms for GL_r(\Gamma(t)) are generated by certain weight one Eisenstein series, and all modular forms for GL_r(A) and SL_r(A) are generated by certain coefficient forms and discriminant forms. We also compute the dimensions of the spaces of such modular forms.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide a foundation for the theory of Drinfeld modular forms of arbitrary rank, and to illustrate this theory by constructing and studying some specific examples. Specifically, the Eisenstein series are constructed in the paper, and the action of Hecke operators on them is studied. Also, the coefficient forms and discriminant forms are defined. In particular, in the case of \(A = \mathbb{F}_q[t]\), it is proved that all modular forms can be generated by the specific weight - 1 Eisenstein series, and all modular forms of \(GL_r(A)\) and \(SL_r(A)\) can be generated by certain coefficient forms and discriminant forms. Moreover, the dimensions of these modular form spaces are calculated.
The following is a specific interpretation of this problem:
### 1. Construction of Eisenstein series
The paper defines the Eisenstein series of weight \(k\geq1\) associated with any coset \(v + L\):
\[ E_{k, v+L}(\omega) := \sum_{0 \neq x \in v + L} (x\omega)^{-k}. \]
### 2. Action of Hecke operators
The action of Hecke operators on the Eisenstein series is studied, and the results of their actions are determined under certain conditions (Hecke operators far from the level of the Eisenstein series). For example, Theorem 14.11 shows that when certain conditions are satisfied, the result of the action of Hecke operators can be expressed as a linear combination of a series of Eisenstein series.
### 3. Coefficient forms and discriminant forms
The coefficient forms and discriminant forms are defined, which appear as coefficients of Drinfeld modules, isogenies or exponential functions respectively. The discriminant form is always a cusp form, and certain \((q - 1)\)-th roots are examples of modular forms of non - zero type \(m\).
### 4. Special case: \(A=\mathbb{F}_q[t]\)
The special cases of \(A = \mathbb{F}_q[t]\) and \(L = A^r\) are discussed. Using the existing explicit description of algebraic modular forms, it is proved that the weight - 1 Eisenstein series generate the graded ring of all modular forms. Further, using invariant theory, the results that \(M_*(GL_r(A))\) and \(M_*(SL_r(A))\) are generated by appropriate algebraically independent coefficient forms are obtained.
### 5. Dimension formula
Finally, the dimension formulas of these modular form spaces are given.
In summary, the main objective of this paper is to provide a solid foundation for the theory of Drinfeld modular forms of arbitrary rank through specific construction and analysis, and to reveal the relationships and properties among these forms.