Year: 2026
Type: preprint
Abstract: Adapting a construction of Kurihara in the setting of Drinfeld modular forms, we define Poincaré series on the Drinfeld half-plane $Ω$. These series are built from products of meromorphic $1$-forms that are naturally associated to geodesics on the Bruhat-Tits tree. We establish convergence under a finiteness condition on the geodesics, verify this condition in several cases, and give sufficient conditions for the resulting cusp forms to be nonzero. For the principal congruence subgroup $Γ(\mathfrak{n})$ of $GL_2(\mathbb{F}_q[T])$, we construct explicit linearly independent families of Poincaré series by lifting certain $k$-forms from the components of the analytic reduction of $Γ(\mathfrak{n})\backslashΩ$. We formulate conjectures on the vanishing orders at cusps, and we prove the first of them for an explicit family of Poincaré series by computing the corresponding expansions at the cusps; as an application, we obtain the Drinfeld modular forms $h$ and $Δ$ as Poincaré series (up to a sign). Finally, for cocompact groups attached to quaternion algebras over $\mathbb{F}_q(T)$ that split at $\infty$, we show that the Poincaré series span the whole space of modular forms of given weight and type.
Source: arXiv (Cornell University)
Authors: Berger-Guesneau, Milan, Papikian, Mihran
Institution: Pennsylvania State University
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7214040465