Torsion in the cohomology of congruence subgroups of SL(4,Z) and Galois representations

We report on the computation of torsion in certain homology theories of congruence subgroups of SL(4,Z). Among these are the usual group cohomology, the Tate–Farrell cohomology, and the homology of the sharbly complex. All of these theories yield Hecke modules. We conjecture that the Hecke eigenclasses in these theories have attached Galois representations. The interpretation of our computations at the torsion primes 2, 3, 5 is explained. We provide evidence for our conjecture in the 15 cases of odd torsion that we found in levels ⩽31.