Binary quadratic forms and Eichler orders (Q2388604): Difference between revisions

Let \(\mathcal O\) be an Eichler order in an indefinite quaternion algebra \(H\). So there is a standard embedding \(H\hookrightarrow\text{M}_2(\mathbb R)\), and each element \(\left(\begin{smallmatrix} a & b\\ c & d\end{smallmatrix}\right)\) of \(H\) can be associated with a quadratic form \(cx^2+(d-a)xy-by^2\). Therefore, the order \(\mathcal O\) gives rise to a class \(\mathcal H(\mathcal O)\) of binary quadratic forms. With respect to the Fuchsian group \(\Gamma(\mathcal O) :=\{ \alpha\in\mathcal O\mid \text{nr}(\alpha)>0\}\subset\text{SL}_2(\mathbb R)\), the author classifies primitive forms in \(\mathcal H(\mathcal O)\), generalizing the classical theory over \(\text{SL}_2(\mathbb R)\). Furthermore, the \(\Gamma(\mathcal O)\)-reduced forms are descibed in terms of fundamental domains.