Elliptic points of the Drinfeld modular groups (Q2339678)

In the paper under review, the authors give an explicit description for the elliptic points of the action of the Drinfeld modular group on the Drinfeld's upper-half plane and on a Drinfeld modular curve. To state the results, let \(K\) be a function field of one variable over the finite field \(\mathbb{F}_q\) of order \(q\), and let \(\infty\) be a fixed place of \(K\) of degree \(\delta.\) Let \(A\) be the subring of \(K\) consisting of all elements of \(K\) that are regular outside \(\infty.\) The completion of \(K\) with respect to \(\infty\) is denoted by \(K_\infty\) and the field \(\mathbf{C}_\infty\) denotes the completion of an algebraic closure of \(K_\infty.\) Recall that the Drinfeld upper-half plane is the set \(\Omega := \mathbf{C}_\infty \setminus K_\infty\) which plays the role analogous to the classical upper-half plane \(\mathbb{H}\). In this setting, the Drinfeld modular group \(G = \mathrm{GL}_2(A)\) acts on \(\Omega\) as a set of linear fractional transformations on \(\Omega.\) By definition, an element \(\omega\in \Omega\) is an elliptic element of \(G\) provided that the stabilizer \(G_{\omega}\) of \(\omega\) in \(G\) is non-trivial. Similar to the case of the classical modular group \(\mathrm{SL}_2(\mathbb{Z})\), a precise description of elliptic elements of \(G\) in terms of elements in the quadratic extension \(\mathbb{F}_{q^2}K/K\) is given. It follows that \(G\) has elliptic elements if and only if \(\delta\) is odd. In the case where \(\delta\) is odd, let \(\mathcal{T}\) be the Bruhat-Tits tree associated with \(\mathrm{GL}_2(K_\infty)\). Note that \(G\) inherits an action on \(\mathcal{T}\) so that the building map \(\lambda : \Omega \to \mathcal{T}\) is \(G\)-equivariant. The authors characterize the set of vertices \(v\) of \(\mathcal{T}\) which are the images of elliptic points of \(G\) under the building map. Similar description on vertices of \(G\backslash \mathcal{T}\) is also given. The authors show that a vertex \(v\) of \(\mathcal{T}\) gives rise to an isolated vertex of \(G\backslash \mathcal{T}\) if and only if \(\delta =1\) and \(v= \lambda(\omega)\) for some elliptic point \(\omega\) of \(G\). Thus, for the special case where \(\delta=1\), by applying Bass-Serre theory [\textit{J.-P. Serre}, Trees. Transl. from the French by John Stillwell. Berlin-Heidelberg-New York: Springer-Verlag (1980; Zbl 0548.20018)] the authors are able to deduce a structure theorem of \(\mathrm{PGL}_2(A)\) as a free product decomposition in terms of suitable copies of the cyclic group \(\mathbb{Z}/(q+1)\mathrm{Z}\) and some subgroup \(P\) of \(\mathrm{PGL}_2(A)\).