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

Abstract: �egin{document} �egin This paper continues work of the earlier articles with the same title. For two classes of modular forms

f

: �egin{itemize} item para-Eisenstein series

a l p h a_{k}

and item coefficient forms

_{a} e l l_{k}

, where

k i n m a t h b b N

and

a

is a non-constant element of

m a t h b b F_{q} [T]

, end{itemize} the growth behavior on the fundamental domain and the zero loci

O m e g a (f)

as well as their images

m a t h c a l B T (f)

in the Bruhat-Tits building

m a t h c a l B T

are studied. We obtain a complete description for

f = a l p h a_{k}

and for those of the forms

_{a} e l l_{k}

where

k l e q d e g a

. It turns out that in these cases,

a l p h a_{k}

and

_{a} e l l_{k}

are strongly related, e.g.,

m a t h c a l B T (_{a} e l l_{k}) = m a t h c a l B T (a l p h a_{k})

, and that

m a t h c a l B T (a l p h a_{k})

is the set of

m a t h b b Q

-points of a full subcomplex of

m a t h c a l B T

with nice properties. As a case study, we present in detail the outcome for the forms

a l p h a_{2}

in rank 3. end{abstract} maketitle end{document}

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: On Drinfeld modular forms of higher rank. V: the behavior of distinguished forms on the fundamental domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1998889)