On Drinfeld modular forms of higher rank. VI: The simplicial complex associated with a coefficient form (Q6111202)

This article is the continuation of the first five papers of the author on the subject, especially of the fifth one [J. Number Theory 222, 75--114 (2021; Zbl 1480.11056)]. It is shown the simplicity of the Drinfeld modular forms \(_a\ell_k\), where \(a\in A:={\mathbb F}_q[T]\) and \(_a\ell_k\) is the coefficient of the generic Drinfeld module \(\phi^{\omega}\) of rank \(r\geq 2\) on the Drinfeld space \(\Omega^r\): \[ \phi_a^{\omega}(X)=aX+\sum_{1\leq k\leq r\deg a} {_a\ell_k(\omega)X^{q^k}}. \] A modular form \(f\) is \textit{simplicial} if the image \({\mathcal {BT}}^r(f)\) of its zero set \(\Omega^r(f)\) under the building map \(\lambda^r: \Omega^r\to {\mathcal {BT}}^r({\mathbb Q})\) to the set of \({\mathbb Q}\)-points of the Bruhat-Tits building \({\mathcal {BT}}^r\) of \(\mathrm{PGL}(r,{\mathbb F}_q((T^{-1})))\) is the set of \({\mathbb Q}\)-points of a full subcomplex of codimension 1. The simplicial complex \({\mathcal {BT}}({_a\ell_k})\) depends only on \(d=\deg a\) of \(a\in A\); it is strongly equidimensional of codimension \(1\) in \({\mathcal {BT}}^r\); it is boundaryless, and satisfies a certain symmetry property with respect to the involution of the Dynkin diagram of the underlying system of type \(A_{r-1}\). The main theorem (Theorem 1.8) collects these results for \(_a\ell_k\) and the similar ones for the related para-Eisenstein series \(\alpha_k\). In this work, the author deals with the case rank \(r\geq 3\). All the results are still valid for \(r=2\). First, it is established a vanishing criterion (Theorem 2.6). In Section 3, it is shown that \({\mathcal {BT}}({_a\ell_k})\) is a full subcomplex of \({\mathcal {BT}}\). Section 4 introduces the concept of \(d\)-diagram \(\mathrm{diag}^{(d)}({\mathbf n})\) of the \textit{standard apartment} \({\mathcal A}\) of \({\mathcal {BT}}\), which is the full subcomplex with vertex set \({\mathcal A}({\mathbb Z})=\{[L_{\mathbf n}]\mid {\mathbf n}\in {\mathbb Z}^r\}\), where \(L_{\mathbf n}\) is the lattice \(L_{\mathbf n}= \pi^{n_1}{\mathcal O}_{\infty} \oplus\cdots \oplus \pi^{n_r}{\mathcal O}_{\infty}\) with the uniformizer \(\pi:=T^{-1}\) of \(K_{\infty}\), and \({\mathcal O}_{\infty}\) is the ring of integers of \(K_{\infty}\). In Section 5, the author shows the connectedness of \({\mathcal {BT}}(d,k)\) (Theorem 5.17). The final section is devoted to some examples and to concluding remarks.