  We give several resolutions of the Steinberg representation St_n for the
general linear group over a principal ideal domain, in particular over Z. We
compare them, and use these results to prove that the computations in [AGM4]
are definitive. In particular, in [AGM4] we use two complexes to compute
certain cohomology groups of congruence subgroups of SL(4,Z). One complex is
based on Voronoi's polyhedral decomposition of the symmetric space for SL(n,R),
whereas the other is a larger complex that has an action of the Hecke
operators. We prove that both complexes allow us to compute the relevant
cohomology groups, and that the use of the Voronoi complex does not introduce
any spurious Hecke eigenclasses.
