Torsion in the cohomology of co-compact arithmetic lattices

Various authors (including Bergeron and Venkatesh) have shown that the cohomology of certain arithmetic groups have a lot of torsion. For example, if \Gamma is a co-compact arithmetic lattice in \mathrm{SL}_2(\mathbf{C}), and \mathcal{L} is an acyclic local system, then

\log |H^*(\Gamma(N),\mathcal{L}) | \gg [\Gamma:\Gamma(N)].

The proof relies on the fact that the difference l_0 in ranks of \mathrm{SL}_2(\mathbf{C}) and \mathrm{SU}_2(\mathbf{C}) is one. As the invariant l_0 grows, one expects there to be less torsion. How much torsion should one expect in general? I’m not sure I have an answer, but the point of this post is that Poincare duality gives a non-trivial bound, at least if one restricts to covers up a p-adic tower. Let \mathbb{G} be a semi-simple group over \mathbf{Q}, Let G = \mathbf{G}(\mathbf{R}), let K be a maximal compact, let H^* = \bigoplus H^m, let \Gamma be a co-compact lattice, and let \mathcal{L} be an acyclic local system. Suppose that n = \dim(G) and d = \dim(G/K). Then, for a fixed prime p (for which \mathbb{G}(\mathbf{Q}_p) is split) and varying m, I claim that one has the inequality

\log |H^*(\Gamma(p^m),\mathcal{L}) | \gg [\Gamma:\Gamma(p^m)]^{1 - \frac{d}{n}}.

An elementary exercise shows that \mathcal{L}/p \mathcal{L} is trivial as a local system for \Gamma(p^m) and large enough m. The inequality above can then be reduced to the following claim: there is an inequality:

\dim H_*(\Gamma(p^m),\mathbf{F}_p)  \gg p^{m(n-d)}.

Assume otherwise. The main point is as follows: taking the inverse limit over all m, we obtain modules \widetilde{H}_j over the Iwasawa algebra \Lambda. This algebra, by results of Lazard and Venjakob, is essentially a regular local ring, in particular, it makes sense to talk about the dimension of modules over that ring. If the inequality above does not hold, then these modules will have small dimension, explicitly, co-dimension greater than d. This is so small that Poincare duality will, Ouroboros like — swallow itself completely and collapse into nothingness. However, the only way that could happen is if there was nothing to start with, which is nonsense.

More mathematically, consider the completed homology groups

\widetilde{H}_* = \displaystyle{\lim_{\leftarrow} } \  H_*(\Gamma(p^m),\mathbf{F}_p)

The homology groups may be computed by a complex of free \Lambda-modules obtain by lifting an initial triangulation on the base. (Here one thinks of group cohomology as the cohomology of the associated arithmetic quotients, of course.) Poincare duality then explains what happens when one takes the dual of this sequence and considers the corresponding homology groups, namely, there is a spectral sequence:

\mathrm{Ext}^i(\widetilde{H}_j,\Lambda) \Rightarrow \widetilde{H}_{d-i-j}.

This spectral sequence might be more familiar to some readers if one imagines \Lambda to be a field, in which case the zeroth Ext group is a Hom and the higher Exts vanish, and one obtains the duality isomorphisms between homology and cohomology over a field. Or, if \Lambda was the integers, then then zeroth Ext group is a Hom, the first Ext group is torsion, the higher Ext groups vanish, and one obtains the usual short exact sequence comparing the dual of homology to cohomology up to a torsion error term.) The dimension assumption we made implies that the limits are small as \Lambda-modules, in particular that \mathrm{Ext}^i(\widetilde{H}_j,\Lambda) = 0 for all i \le d. The key here is a Theorem of Ardakov and Brown relating the size of the cohomology growth under towers to the codimension of the module. Yet putting this assumption into the spectral sequence shows that all terms with i + j \le d vanish, and hence that \widetilde{H}_{0} = \widetilde{H}_{d-d} = 0. Yet it is easy to see that
\widetilde{H}_{0} = \mathbf{F}_p, and thus we have a contradiction.

In fact, this is the same argument that ME and I used to give lower bounds on torsion for p-adic analytic covers of 3-manifolds. There is some slack where the argument can be improved – since one only needs vanishing for a triangular portion of the spectral sequence, you are in good shape if you have extra information about the lower rows. Of course, the real answer to the amount of mod p torsion in these towers (which is a different question to the original one of torsion over the integers) should be:

\dim H_*(\Gamma(p^m),\mathbf{F}_p)  \sim p ^{m(n-l_0)},

where l_0 was defined above.

Edit: In a previous version of this post, I confused the roles of \mathrm{dim}(K) and d = \mathrm{dim}(G/K). For complex groups one has n = 2d, and this is asymptotically the correct estimate for simple real groups. In general, one has n \ge (3/2)d, with the worse case, ironically, corresponding to (any number of copies of) \mathrm{SL}_2(\mathbf{R}). So you get a bound of the form:

\log |H^*(\Gamma(N),\mathcal{L}) | \gg [\Gamma:\Gamma(N)]^{1/3}.

Advertisements
This entry was posted in Mathematics and tagged , , , , , , . Bookmark the permalink.

4 Responses to Torsion in the cohomology of co-compact arithmetic lattices

  1. Florian says:

    Nice post. By the way, when you wrote \mathrm{Ext}^i(\Lambda,-) you meant \mathrm{Ext}^i(-,\Lambda)

  2. Steffen says:

    I like the argument.
    However, I think it is not so easy to relate the obtained lower bound to the index. In fact, the inequality n \geq 2d is not correct if G(R) has sufficiently many compact factors. But we can’t ignore the compact factors when calculating the index of the congruence subgroups, so I think the square root bound does not follow from the argument.

    • Thanks for the remark. I had d = \mathrm{dim}(G/K) in my notes, but the only examples I computed were for complex lie groups G for which n = 2d. Then when I went to prove the inequality n \ge 2d, I “conveniently” replaced d by n-d for which the corresponding equality is valid (except, as you say, when G is not compact).

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s