1: \begin{abstract}

2: Let $G$ be a semisimple Lie group with associated symmetric space $D$,

3: and let $\Gamma \subset G$ be a cocompact arithmetic group.  Let $\sL$

4: be a lattice inside a $\ZZ \Gamma$-module arising from a rational

5: finite-dimensional complex representation of $G$.  Bergeron and

6: Venkatesh recently gave a precise conjecture about the growth of the

7: order of the torsion subgroup $H_{i} (\Gamma_{k}; \sL )_{\tors}$ as

8: $\Gamma_{k}$ ranges over a tower of congruence subgroups of $\Gamma$.

9: In particular they conjectured that the ratio ${\log |H_{i}

10: (\Gamma_{k} ; \sL)_{\tors}|}/{[\Gamma : \Gamma_{k}]}$ should tend to a

11: nonzero limit if and only if $i= (\dim(D)-1)/2$ and $G$ is a group of

12: deficiency $1$.  Furthermore, they gave a precise expression for the

13: limit.  In this paper, we investigate computationally the cohomology

14: of several (non-cocompact) arithmetic groups, including $\GL_{n}

15: (\ZZ)$ for $n=3,4,5$ and $\GL_{2} (\OO)$ for various rings of

16: integers, and observe its growth as a function of level.  In all cases

17: where our dataset is sufficiently large, we observe excellent

18: agreement with the same limit as in the predictions of

19: Bergeron--Venkatesh.  Our data also prompts us to make two new

20: conjectures on the growth of torsion not covered by the

21: Bergeron--Venkatesh conjecture.

22: \end{abstract}

23: