The spinor type number formula for totally definite quaternion orders

Yucui Lin, Jiangwei Xue

Let $D$ be a totally definite quaternion algebra over a totally real number field $F$, and $\mathcal{O}$ be an $O_F$-order (of full rank) in $D$. The type number $t(\mathcal{O})$ i…