1: \begin{abstract}

2: We calculate the Lefschetz number of a Galois automorphism in the cohomology of certain arithmetic congruence groups

3: arising from orders in quaternion algebras over number fields.

4: As an application we give a lower bound for the first Betti number of a class of arithmetically defined hyperbolic

5: $3$-manifolds and we deduce the following theorem: 

6: Given an arithmetically defined cocompact subgroup $\Gamma \subset \SL_2(\bbC)$,

7: provided the underlying quaternion algebra meets some conditions, there is

8: a decreasing sequence $\{\Gamma_i\}_i$ of finite index subgroups of $\Gamma$ such that the first 

9: Betti number satisfies \[ b_1(\Gamma_i) \gg [\Gamma:\Gamma_i]^{1/2} \]  as $i$ goes to infinity.

10: \end{abstract}

11: