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)