On the equivariant \(K\)-homology of \(\mathrm{PSL}_2\) of the imaginary quadratic integers (Q507080): Difference between revisions

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)].