On Drinfeld modular forms of higher rank. V: the behavior of distinguished forms on the fundamental domain (Q1998889)

This paper is the fifth in a series that began in 2017. In the first two papers [J. Théor. Nombres Bordx. 29, No. 3, 875--902 (2017; Zbl 1411.11041); ``On Drinfeld modular forms of higher rank II'', Preprint, \url{arxiv:1708.04197}], the author studied properties of the building map \(\lambda\) from the Drinfeld symmetric space \(\Omega^r\) to the Bruhat-Tits building \({\mathcal{BT}}^r\) and used these properties to describe growth/decay properties of modular forms \(f\) on the fundamental domain \({\mathbf F}^r\subset \Omega^r\) of the modular group \(\Gamma= \mathrm{Gal}(r,{\mathbb F}_q[T])\), and the zero locus of \(f\). The goal of this fifth paper is to find the corresponding description for other modular forms for \(\Gamma\) like the para-Eisenstein series \(\alpha_k\) and the coefficient forms \({_a}\ell_k\), that is, the coefficients of the generic Drinfeld module \(\phi^{\omega}\), \(\omega\in\Omega^r\) of rank \(r\). In the second paper it was observed that the distinguished modular forms \(f=E_k, \alpha_k, {_a}\ell_k\) satisfy that the image \({\mathcal{BT}}^r(f)\) in \({\mathcal{BT}}^r\) of the vanishing set \(\Omega^r(f)\) is the set of \({\mathbb Q}\)-points of a full subcomplex of \({\mathcal{BT}}^r\) which is everywhere of dimension \(r-2\) and connected if \(r\geq 3\). Modular forms with this property are called {\em simplicial}. It is easy to find modular forms \(f\) which are not simplicial. The main results are: \(\bullet\) Theorem 2.13, which describes \({\mathcal{BT}}^r(\alpha_k)\) and shows that \(\alpha_k\) is simplicial, \(\bullet\) Theorem 3.2, which gives a criterion for the existence of zeroes of \({_a}\ell_k\) on fibers \(\Omega_{\mathbf x}\) of \(\lambda\), \(\bullet\) Theorem 3.12. If \(k\leq \deg \alpha\), the forms \({_a}\ell_k\) and \(\alpha_k\) share important properties and that \({_a}\ell_k\) are simplicial.