5ee17b63496dcd35.tex
1: \begin{abstract}
2:    We present two class number formulas associated to orders in
3:    totally definite quaternion algebras in the spirit of the Eichler class number formula. More
4:    precisely, let $F$ be a totally real number field, $D$
5:    be a totally definite quaternion $F$-algebra, and $\mathcal{O}$ be an
6:    $O_F$-order in $D$.  Assume that $\mathcal{O}$ has
7:    nonzero Eichler invariants at all finite places of $F$
8:    (e.g.~$\mathcal{O}$ is an Eichler order of 
9:    arbitrary level). We derive explicit formulas for the
10:    following two
11:    class numbers associated to $\mathcal{O}$: (1) the class number of the
12:    reduced norm one group with respect to $\mathcal{O}$, namely,
13:    the cardinality of the double coset space
14:    $D^1\backslash
15:    \widehat{D}^1/\widehat{\mathcal{O}}^1$; (2) the number
16:    of locally principal right  $\mathcal{O}$-ideal classes within the spinor class of
17:    the principal right $\mathcal{O}$-ideals, that is, the cardinality
18:    of
19:    $D^\times\backslash\big(D^\times\widehat{D}^1\widehat{\mathcal{O}}^\times\big)/\widehat{\mathcal{O}}^\times$. Both class numbers depend only on the spinor genus of $\mathcal{O}$, hence the title of the present paper.    The proofs are made possible by optimal spinor selectivity for
20:    quaternion orders.
21:  \end{abstract}
22: