On computing quaternion quotient graphs for function fields

From MaRDI portal




Abstract: Let Lambda be a maximal mathbbFq[T]-order in a division quaternion algebra over mathbbFq(T) which is split at the place infty. The present article gives an algorithm to compute a fundamental domain for the action of the group of units Lambda on the Bruhat-Tits tree mathcalT associated to PGL2(mathbbFq((1/T))). This action is a function field analog of the action of a co-compact Fuchsian group on the upper half plane. The algorithm also yields an explicit presentation of the group Lambda in terms of generators and relations. Moreover we determine an upper bound for its running time using that is {em almost} Ramanujan.





Describes a project that uses

Uses Software





This page was built for publication: On computing quaternion quotient graphs for function fields

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