Computations of algebraic modular forms associated with the definite quaternion algebra of discriminant $2$

Hiroyuki Ochiai,Satoshi Wakatsuki,Shun'ichi Yokoyama
2024-06-03
Abstract:In this paper, we present an algorithm to compute a basis of the space of algebraic modular forms on the maximal order of the definite quaternion algebra of discriminant $2$, and provide a database of such bases. One of our motivations is to study congruence relations of algebraic modular forms.
Number Theory
What problem does this paper attempt to address?