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. Especially in the non-compact case, the conditions on the structure parameters $a,b$ are always satisfied. Also, 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.