ON THE GROWTH OF TORSION IN THE COHOMOLOGY OF ARITHMETIC GROUPS. (21st March 2020)

• Record Type: Journal Article
• Authors: Ash, A.; Gunnells, P. E.; McConnell, M.; Yasaki, D.
• Is Part Of: Journal of the Institute of Mathematics of Jussieu. Volume 19:Number 2(2020)
• Page Start: 537
• Page End: 569
• Publication Date: 2020-03-21
• Subjects: 11F75, -- 11F67, -- 11F80, -- 11Y99; cohomology of arithmetic groups, -- Galois representations, -- torsion in cohomology; Mathematics -- Periodicals; 510.5
• DOI: 10.1017/S1474748018000117
• Languages: English
• ISSNs: 1474-7480

Abstract

Abstract : Let $G$ be a semisimple Lie group with associated symmetric space $D$, and let $\unicode[STIX]{x1D6E4}\subset G$ be a cocompact arithmetic group. Let $\mathscr{L}$ be a lattice inside a $\mathbb{Z}\unicode[STIX]{x1D6E4}$ -module arising from a rational finite-dimensional complex representation of $G$ . Bergeron and Venkatesh recently gave a precise conjecture about the growth of the order of the torsion subgroup $H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}$ as $\unicode[STIX]{x1D6E4}_{k}$ ranges over a tower of congruence subgroups of $\unicode[STIX]{x1D6E4}$ . In particular, they conjectured that the ratio $\log |H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}|/[\unicode[STIX]{x1D6E4}:\unicode[STIX]{x1D6E4}_{k}]$ should tend to a nonzero limit if and only if $i=(\dim (D)-1)/2$ and $G$ is a group of deficiency $1$ . Furthermore, they gave a precise expression for the limit. In this paper, we investigate computationally the cohomology of several (non-cocompact) arithmetic groups, including $\operatorname{GL}_{n}(\mathbb{Z})$ for $n=3, 4, 5$ and $\operatorname{GL}_{2}(\mathscr{O})$ for various rings of integers, and observe its growth as a function of level. In all cases where our dataset is sufficiently large, we observe excellent agreement with the same limit as in the predictions of Bergeron–Venkatesh. Our data also prompts us to make two new conjectures on the growth of torsion not covered by the Bergeron–Venkatesh conjecture.