On the equivariant K-homology of PSL₂ of the imaginary quadratic integers
Let \({\mathcal O}_{-m}\) be the ring of integers in the imaginary number field \(\mathbb{Q}(\sqrt{-m})\), with \(m\) a square free positive integer. Then \(\mathrm{PSL}_2({\mathcal O}_{-m})=\mathrm{SL}_2({\mathcal O}_{-m})/\pm I\) is the projective special linear group, written for brevity \(\Gamma=\mathrm{PSL}_2({\mathcal O}_{-m})\). Denote by \(\underline{\text E}\Gamma\) the classifying space of proper actions of \(\Gamma\) and put \(\underline{\text B}\Gamma =\Gamma\backslash\underline{\text E}\Gamma\). Then the main result of this paper is the following: \[ \begin{aligned} K^\Gamma_0(\underline{\text E}\Gamma)&\cong\mathbb{Z}\oplus \mathbb{Z}^{\beta_2}\oplus\mathbb{Z}^{z_2}\oplus(\mathbb{Z}/2)^{d_2/2}\oplus \mathbb{Z}^{2o_3+\iota_3}, \\ K^\Gamma_1(\underline{\text E}\Gamma)&\cong H_1(\underline{\text B}\Gamma; \mathbb{Z})\oplus\mathbb{Z}^{o_2}\oplus \mathbb{Z}^{2o_3+\iota_3}. \end{aligned} \] Here the indexes \(\beta_2, z_2, d_2, o_2, o_3, \iota_3\) are the same as some of those that appear in the Bredon homology \(H^{\mathfrak Fin}_*(\Gamma; R_\mathbb{C})\) of \(\Gamma\), with respect to the family of finite subgroups, with coefficients in the complex representation ring. From the result due to \textit{G. Mislin} and \textit{A. Valette} [Proper group actions and the Baum-Connes conjecture. Basel: Birkhäuser (2003; Zbl 1028.46001)], we know that there are a short exact sequence \[ 0\to H^{\mathfrak Fin}_0(\Gamma; R_\mathbb{C}) \to K^\Gamma_0(\underline{\text E}\Gamma)\to H^{\mathfrak Fin}_2(\Gamma; R_\mathbb{C})\to 0 \] and an isomorphism \(H^{\mathfrak Fin}_1(\Gamma; R_\mathbb{C})\cong K^\Gamma_1(\underline{\text E}\Gamma)\), from which the desired result can be deduced. Accordingly the bulk of this paper is devoted to the computation of these homology groups and to this end the author develops a new device; it enables us to apply the \textsl{torsion subcomplex reduction} technique to these homology computations. In fact, the author obtains the result above as a corollary to those resulting from these computations. Besides, in an appendix twenty-five concrete examples of such calculations are presented using the machine produced by the author (``Bianchi.gp). Finally we note that the cases \(m=1,3\) are excluded from the discussion here, since these cases have already been resolved in the author's own previous paper [C. R., Math., Acad. Sci. Paris 349, No. 11--12, 615--619 (2011; Zbl 1228.20036)].
- The integral homology of \(SL_ 2\) and \(PSL_ 2\) of Euclidean imaginary quadratic integers
- The integral homology of \(\mathrm{PSL}_2\) of imaginary quadratic integers with nontrivial class group
- The homological torsion of PSL₂ of the imaginary quadratic integers
- Cohomology of \(\mathrm{PSL}_2(q)\)
- scientific article; zbMATH DE number 446465
- Torsion homology of arithmetic lattices and \(K_2\) of imaginary fields
- On torsion in the cohomology of \(\operatorname{PSL}_2 (\mathbb Z[1/N])\)
- The second homology of \(\mathrm{SL}_2\) of \(S\)-integers
- scientific article; zbMATH DE number 1421295
- scientific article; zbMATH DE number 3886781
- \(E\)-theory and \(KK\)-theory for groups which act properly and isometrically on Hilbert space
- A Gauss-Bonnet formula for discrete arithmetically defined groups
- Accessing the cohomology of discrete groups above their virtual cohomological dimension
- Bredon homology and equivariant \(K\)-homology of \(\mathrm{SL}(3,\mathbb Z)\)
- Equivariant K -homology for some Coxeter groups
- Equivariant \(K\)-homology for hyperbolic reflection groups
- Equivariant K-homology of Bianchi groups in the case of nontrivial class group
- Groups with the Haagerup property. Gromov's a-T-menability
- Higher torsion in the abelianization of the full Bianchi groups
- Homology and \(K\)-theory of the Bianchi groups.
- scientific article; zbMATH DE number 1665412 (Why is no real title available?)
- scientific article; zbMATH DE number 3535317 (Why is no real title available?)
- scientific article; zbMATH DE number 3552764 (Why is no real title available?)
- scientific article; zbMATH DE number 705099 (Why is no real title available?)
- scientific article; zbMATH DE number 1853001 (Why is no real title available?)
- scientific article; zbMATH DE number 768179 (Why is no real title available?)
- Le problème des groupes de congruence pour \(SL_2\)
- Proper group actions and the Baum-Connes conjecture
- Rational homology of Bianchi groups
- Spaces with measured walls, the Haagerup property and property (T)
- The cohomology of \(SL_3(Z)\)
- The homological torsion of PSL₂ of the imaginary quadratic integers
- The integral homology of \(\mathrm{PSL}_2\) of imaginary quadratic integers with nontrivial class group
- Zur Struktur der \(\mathrm{PSL}_2 \) über einigen imaginär-quadratischen Zahlringen
- The Farrell-Tate and Bredon homology for \(\operatorname{PSL}_4(\mathbb{Z})\) via cell subdivisions
- On the equivariant K- and KO-homology of some special linear groups
- On Ruan's cohomological crepant resolution conjecture for the complexified Bianchi orbifolds
- Bredon homology and equivariant \(K\)-homology of \(\mathrm{SL}(3,\mathbb Z)\)
- On the \(K\)-theory of Bianchi groups
- Equivariant K-homology of Bianchi groups in the case of nontrivial class group
- The homological torsion of PSL₂ of the imaginary quadratic integers
- Rational equivariant \(K\)-homology of low dimensional groups
- The integral homology of \(\mathrm{PSL}_2\) of imaginary quadratic integers with nontrivial class group
- Homology and \(K\)-theory of the Bianchi groups.
- Hecke operators in \(KK\)-theory and the \(K\)-homology of Bianchi groups
- The integral homology of \(SL_ 2\) and \(PSL_ 2\) of Euclidean imaginary quadratic integers
This page was built for publication: On the equivariant \(K\)-homology of \(\mathrm{PSL}_2\) of the imaginary quadratic integers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q507080)
