I am interested in realizing commensurability classes of hyperbolic $3$-manifolds whose quaternion algebra (note: not invariant quaternion algebra) is isomorphic to one of the form $\Big(\frac{a,b}{F(\sqrt{-d})}\Big)$, where $F\subset\mathbb{R}$ and $a,b,d\in F^+$. (The reason why is rather lengthy but if you really want to know you can check out the slides from my last talk: http://joequinn.ws.gc.cuny.edu/files/2016/03/2016-03-Iowa-University.pdf)

There are infinitely many non-commensurable examples of such manifolds. Moreover this can be achieved using only non-compact arithmetic manifolds, or using only compact arithmetic manifolds. To see this for non-compact arithmetic manifolds, just consider torsion-free finite index subgroups of Bianchi groups. To see this for compact arithmetic manifolds, let $B=\Big(\frac{a,b}{\mathbb{Q}(\sqrt{-d})}\Big)$ with $a,b,d\in\mathbb{Q}^+$ chosen so that $B$ is ramified, then take an order $\mathcal{O}\subset B$, and take a finite-index torsion free subgroup of $\mathrm{P}\mathcal{O}^1$.

I am interested in non-arithmetic examples. **Are there infinitely many non-commensurable examples satisfying my condition among non-arithmetic non-compact manifolds? How about among non-arithmetic compact manifolds?**

My feeling is that the answer is yes, because $F$ can be literally be any real number field (it's okay if it has complex embeddings, or if the algebra is split at some of its places), leaving many possibilities. In the non-compact case, it would be sufficient to find an infinite family of knot groups satisfying the trace field condition (for knots and links, the quaternion algebra and the invariant quaternion algebra are the same). The compact case may be more difficult because even if the quaternion algebras are different, the invariant quaternion algebras might be the same. On the other hand, in the compact case one has infinitely many different algebras over any one field.

Many people expect that for every quaternion algebra, there is a manifold having that as its invariant, but that is not known and of course is a harder problem than this.

1more comment