On Drinfeld modular forms of higher rank IV: Modular forms with level
Abstract
We construct and study a natural compactification $\overline{M}^r(N)$ of the moduli scheme $M^r(N)$ for rank-$r$ Drinfeld $\F_q[T]$-modules with a structure of level $N \in \F_q[T]$. Namely, $\overline{M}^r(N) = {\rm Proj}\,{\bf Eis}(N)$, the projective variety associated with the graded ring ${\bf Eis}(N)$ generated by the Eisenstein series of rank $r$ and level $N$. We use this to define the ring ${\bf Mod}(N)$ of all modular forms of rank $r$ and level $N$. It equals the integral closure of ${\bf Eis}(N)$ in their common quotient field $\widetilde{\MF}_r(N)$. Modular forms are characterized as those holomorphic functions on the Drinfeld space $\Om^r$ with the right transformation behavior under the congruence subgroup $\Ga(N)$ of $\Ga = {\rm GL}(r,\F_q[T])$ ("weak modular forms") which, along with all their conjugates under $\Ga/\Ga(N)$, are bounded on the natural fundamental domain $\BF$ for $\Ga$ on $\Om^r$.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2018
- DOI:
- 10.48550/arXiv.1811.09460
- arXiv:
- arXiv:1811.09460
- Bibcode:
- 2018arXiv181109460G
- Keywords:
-
- Mathematics - Number Theory;
- 11F52
- E-Print:
- 42 pages