1: \begin{abstract}

2: We extend the computations in \cite{AGM1, AGM2, AGM3} to find the

3: cohomology in degree five of a congruence subgroup~$\Gamma$ of

4: $\SL(4,\Z)$ with coefficients in a field~$K$, twisted by a nebentype

5: character~$\eta$, along with the action of the Hecke algebra.  This is

6: the top cuspidal degree. In practice we take $K=\F$, a finite field of

7: large characteristic, as a proxy for~$\C$.  For each Hecke eigenclass

8: found, we produce a Galois representation that appears to be

9: attached to it.  Our  computations show that in every case this Galois representation is the only one that could be attached to it.

10: The existence of the attached Galois representations agrees with a theorem of Scholze \cite{scholze}

11: and sheds light on the Borel-Serre boundary for~$\Gamma$.

12: 

13: The computations require serious modifications to our previous

14: algorithms to accommodate the twisted coefficients.  Nontrivial

15: coefficients add a layer of complication to our data structures, and

16: new possibilites arise that must be taken into account in the Galois

17: Finder, the code that finds the Galois representations. We have

18: improved the Galois Finder so that it reports when the attached Galois

19: representation is uniquely determined by our data.

20: \end{abstract}

21: