Let C be a smooth, projective, and geometrically connected curve defined over a finite field F. For each closed point P∞ of C, let R be the ring of functions that are regular outside P∞, and let K be the completion path P∞ of the function field of C. In order to study groups of the form GL2(R), Serre describes the quotient graph GL2(R)∖T, where T is the Bruhat-Tits tree defined from SL2(K). In particular, Serre shows that GL2(R)∖T is the union of a finite graph and a finite number of ray shaped subgraphs, which are called cusps. It is not hard to see that finite index subgroups inherit this property. In this exposition we describe the quotient graph H∖T defined from the action on T of the group H consisting of matrices that are upper triangular modulo I, where I is an ideal of R. More specifically, we give an explicit formula for the cusp number H∖T. Then By, using Bass-Serre theory, we describe the combinatorial structure of H. These groups play, in the function field context, the same role as the Hecke Congruence subgroups of SL2(ℤ). Moreover, not that the groups studied by Serre correspond to the case where the ideal I coincides with the ring R.
This video was produced by Newcastle University, Australia, as part of the Symmetries in Newcastle seminar series.
