On the integral homology of PSL₄( Z) and other arithmetic groups
The integral homology of arithmetic lattices is an object of interest to number theorists and group theorists. The prototypical arithmetic lattice is \(\mathrm{SL}_N(\mathbb{Z})\) and its integral homology has been computed by \textit{C. Soulé} for \(N=3\) [Topology 17, 1--22 (1978; Zbl 0382.57026)], and modulo primes up to 5 by \textit{R. Lee} and \textit{R. H. Szczarba} for \(N=4\) [Duke Math. J. 45, 101--129 (1978; Zbl 0385.18009)] and Elbaz-Vincent, Gangl and Soulé for \(N=5,6,7\). In this note the authors report on their computations of the full integral homology of \(\mathrm{PSL}_4(\mathbb{Z})\) in degrees up to five. Their starting point is to obtain a retract of the action of the group \(\mathrm{PSL}_4(\mathbb{Z})\) on the symmetric space of \(\mathrm{SL}_4(\mathbb{R})\) using Voronoi's theory of perfect forms. Once this is done they use a combinatorial lemma due to P. Hall and the second author to compute the first terms of a free \(\mathrm{PSL}_4(\mathbb{Z})\)-resolution of the trivial module \(\mathbb{Z}\). They also apply this method to the arithmetic lattices \(\mathrm{PSL}_3(\mathbb{Z}[\sqrt{-1}]), \, \mathrm{PSL}_3(\mathbb{Z}[\omega])\) (where \(\omega = \frac{-1+\sqrt{-3}}2\)) and \(\mathrm{Sp}_4(\mathbb{Z})\); for the last they retrieve a result of McConnell and McPherson. In addition, this paper gives bounds on the size of the groups \(H_n(\mathrm{PSL}_4(\mathbb{Z}))\) for \(n\geq 6\).
- Perfect forms, K-theory and the cohomology of modular groups
- The homology of \(SL_2(\mathbb Z[1/m])\) for small \(m\).
- Torsion homology growth in arithmetic groups
- Geometric construction of homology classes in Riemannian manifolds covered by products of hyperbolic planes
- Cohomology of certain congruence subgroups of the modular group
- Torsion in the cohomology of congruence subgroups of \(\text{SL}(4, \mathbb Z)\) and Galois representations
- On the 3-torsion in \(K_4(\mathbb{Z})\)
- Wythoff polytopes and low-dimensional homology of Mathieu groups.
- Galois Invariants for Units
- Homotopy types of group lattices
- Cohomology of congruence subgroups of \(\text{SL}_4(\mathbb Z)\)
- Cohomology of the symplectic group \(\text{Sp}(4,\mathbb{Z})\). II: Computations at the prime 2
- Computational geometry of positive definite quadratic forms. Polyhedral reduction theories, algorithms, and applications
- Computing group resolutions.
- Enumerating perfect forms
- Explicit reduction theory for Siegel modular threefolds
- scientific article; zbMATH DE number 3173728 (Why is no real title available?)
- scientific article; zbMATH DE number 3572386 (Why is no real title available?)
- scientific article; zbMATH DE number 1859030 (Why is no real title available?)
- Minimality of the well-rounded retract.
- On the cohomology of generalized triangle groups.
- Polytopal resolutions for finite groups
- Small-dimensional classifying spaces for arithmetic subgroups of general linear groups
- Some computations of the cohomology of \(\text{GL}_N(\mathbb{Z})\) and the \(K\)-theory of \(\mathbb{Z}\)
- The cohomology of \(SL_3(Z)\)
- The integral homology of \(\mathrm{PSL}_2\) of imaginary quadratic integers with nontrivial class group
- The integral homology of \(SL_ 2\) and \(PSL_ 2\) of Euclidean imaginary quadratic integers
- Torsion in the cohomology of congruence subgroups of \(\text{SL}(4, \mathbb Z)\) and Galois representations
- On the difficulty of finding spines
- The Farrell-Tate and Bredon homology for \(\operatorname{PSL}_4(\mathbb{Z})\) via cell subdivisions
- On Farrell-Tate cohomology of \(\operatorname{GL}_3\) over rings of quadratic integers
- Maximal finite subgroups and minimal classes.
- Exploiting symmetries in polyhedral computations
- Computational homology of \(n\)-types
- Computing Bredon homology of groups
- Resolutions for unit groups of orders
- The 2-torsion in the Farrell-Tate cohomology of \(\operatorname{PSL}_4(\mathbb{Z})\), and torsion subcomplex reduction via discrete Morse theory
This page was built for publication: On the integral homology of \(\text{PSL}_4(\mathbb Z)\) and other arithmetic groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640869)
