zbMATH — the first resource for mathematics

Homology of \(\operatorname{SL}_2\) over function fields. I: Parabolic subcomplexes. (English) Zbl 1400.20044
The author provides interesting, useful calculations of a part of the group homology, with \(\mathbb{Z}[1/2]\) coefficients, of \(\mathrm{SL}_2(k[C])\) where \(C\) is an affine curve over the algebraically closed field \(k\). Let \(\bar{C}\) be a smooth projective curve over \(k\), let \(P_1,\dots, P_s\) be closed points of \(\bar{C}\) and let \(C\) be the affine curve \(\bar{C}\setminus\{ P_1,\dots, P_s\}\). Let \(\Gamma = \mathrm{SL}_2(k[C])\) and let \(\mathfrak{X}_C\) be the associated building. \(\mathfrak{X}_C\) is a product of trees \(\mathfrak{T}_1\times \cdots \times \mathfrak{T}_s\) where \(\mathfrak{T}_i\) is the tree of the valuation \(v_i\) associated to \(P_i\). The vertices of the orbit space \(\Gamma\backslash\mathfrak{X}_C\) are naturally indexed by certain equivalence classes of rank \(2\) vector bundles \(\mathcal{E}\) on \(\bar{C}\) whose restriction to \(C\) is trivial. The author introduces the parabolic subcomplex \(\mathfrak{P}_C\) of \(\mathfrak{X}_C\) consisting of those cells whose stabilizer in \(\Gamma\) contains a non-central non-unipotent element. The orbits of the vertices of \(\mathfrak{P}_C\) are then precisely the equivalence classes of rank \(2\) bundles which decompose as a sum of line bundles. The quotient of \(\mathfrak{X}_C\) modulo the subcomplex \(\mathfrak{P}_C\) is denoted \(\mathfrak{U}_C\), the ‘unknown quotient’. There is thus a long exact sequence in equivariant homology \(\dots \to H_\bullet^{\Gamma}(\mathfrak{P}_C)\to H_\bullet(\Gamma)\to H_\bullet^{\Gamma}(\mathfrak{U}_C)\to \cdots\) (the middle term arising from the contractibility of \(\mathfrak{X}_C\)). The main result of the paper is then a computation of the equivariant homology groups \(H_\bullet^{\Gamma}(\mathfrak{P}_C, \mathbb{Z}[1/2])\) of the parabolic complex, obtained by carefully analysing the structure of the orbit space \(\Gamma\backslash \mathfrak{P}_C\) and the terms of the related isotropy spectral sequence: Let \(\iota\) denote the involution \([L]\mapsto [L^{-1}]\) of the Picard group \(\mathrm{Pic}(C)\). Then \(H_\bullet^{\Gamma}(\mathfrak{P}_C, \mathbb{Z}[1/2])\cong \bigoplus_{[L]\in \mathrm{Pic}(C)/\iota }H_\bullet^{\Gamma}(\mathfrak{P}_C(L),\mathbb{Z}[1/2])\). Here \(\mathfrak{P}_C(L)\) is the connected component of \(\mathfrak{P}_C\) corresponding to \([L]\) and the groups \(H_\bullet^{\Gamma}(\mathfrak{P}_C(L), \mathbb{Z}[1/2])\) can be described in an accessible way: If \(L|_C\not\cong L^{-1}|_C\) then \(H_\bullet^{\Gamma}(\mathfrak{P}_C(L), \mathbb{Z}[1/2])\cong H_\bullet(k[C]^\times, \mathbb{Z}[1/2])\), while if \(L|_C\cong L^{-1}|_C\) there is a long exact sequence of the form \(\dots \to H_\bullet(SN,\mathbb{Z}[1/2])\to H_\bullet^{\Gamma}(\mathfrak{P}_C(L), \mathbb{Z}[1/2])\to \mathcal{RP}^1_\bullet(k)\otimes_\mathbb{Z}\mathbb{Z}[1/2][k[C]^\times/(k[C]^\times)^2]\to \cdots\) where \(SN\) denotes the group of monomial matrices in \(\Gamma\) and the groups \(\mathcal{RP}^1_\bullet(k)\) are ‘refined scissors congruence groups’ defined by the author. These latter groups can be understood quite explicitly in low dimensions.
The author treats also the case \(\Gamma=\mathrm{GL}_2(k[C])\). Furthermore, he shows how to extend the results in some special cases – eg \(C=\mathbb{P}^1(k)\setminus\{ 0,\infty\}\) – to arbitrary infinite fields \(k\). The author also discusses the relationship of his computations, upon taking limits, to the predictions of the Friedlander-Milnor conjecture for \(\mathrm{SL}_2(k(C))\).

20G10 Cohomology theory for linear algebraic groups
20G15 Linear algebraic groups over arbitrary fields
20E08 Groups acting on trees
14L30 Group actions on varieties or schemes (quotients)
55N91 Equivariant homology and cohomology in algebraic topology
57T10 Homology and cohomology of Lie groups
Full Text: DOI
[1] P. Abramenko and K. S. Brown, Buildings, Grad. Texts in Math. 248, Springer, New York 2008.
[2] M. F. Atiyah, On the Krull-Schmidt theorem with applications to sheaves, Bull. Soc. Math. France 84 (1956), 307-317. · Zbl 0072.18101
[3] M. F. Atiyah, Complex analytic connections in fibre bundles, Trans. Amer. Math. Soc. 85 (1957), no. 1, 181-207. · Zbl 0078.16002
[4] K. S. Brown, Cohomology of groups. Corrected reprint of the 1982 original, Grad. Texts in Math. 87, Springer, New York 1994.
[5] J. L. Dupont, Scissors congruences, group homology and characteristic classes, Nankai Tracts Math. 1, World Scientific, Hackensack 2001. · Zbl 0977.52020
[6] E. M. Friedlander and G. Mislin, Cohomology of classifying spaces of complex Lie groups and related discrete groups, Comment. Math. Helv. 59 (1984), 347-361. · Zbl 0548.55016
[7] R. Hartshorne, Algebraic geometry, Grad. Texts in Math. 52, Springer, New York 1977.
[8] K. Hutchinson, A Bloch-Wigner complex for \operatornameSL_2, J. K-theory 12 (2013), no. 1, 15-68. · Zbl 1284.19003
[9] K. Hutchinson, A refined Bloch group and the third homology of \operatornameSL_2 of a field, J. Pure Appl. Algebra 217 (2013), 2003-2035. · Zbl 1281.19003
[10] K. Hutchinson, On the low-dimensional homology of \operatornameSL_2(k[T,T^-1]), J. Algebra 425 (2015), 324-366. · Zbl 1310.19004
[11] K. P. Knudson, Homology of linear groups, Progr. Math. 193, Birkhäuser, Basel 2001. · Zbl 0997.20045
[12] G. Mislin, Tate cohomology for arbitrary groups via satellites, Topology Appl. 56 (1994), no. 3, 293-300. · Zbl 0810.20040
[13] A. D. Rahm, The homological torsion of \operatornamePSL_2 of the imaginary quadratic integers, Trans. Amer. Math. Soc. 365 (2013), no. 3, 1603-1635. · Zbl 1307.11065
[14] A. D. Rahm, Accessing the cohomology of discrete groups above their virtual cohomological dimension, J. Algebra 404 (2014), no. C, 152-175. · Zbl 1296.11050
[15] A. D. Rahm and M. Wendt, On Farrell-Tate cohomology of \operatornameSL_2 over S-integers, preprint (2014), .
[16] M. Rosen, S-units and S-class group in algebraic function fields, J. Algebra 26 (1973), 98-108. · Zbl 0265.12003
[17] J.-P. Serre, Trees, Springer, Berlin 1980.
[18] U. Stuhler, Zur Frage der endlichen Präsentierbarkeit gewisser arithmetischer Gruppen im Funktionenkörperfall, Math. Ann. 224 (1976), no. 3, 217-232. · Zbl 0323.20040
[19] U. Stuhler, Homological properties of certain arithmetic groups in the function field case, Invent. Math. 57 (1980), no. 3, 263-281. · Zbl 0432.14026
[20] A. A. Suslin, K_3 of a field and the Bloch group (Russian), Galois theory, rings, algebraic groups and their applications. Collected papers, Tr. Mat. Inst. Steklova 183, Nauka, Leningrad (1990), 180-199, 229; translation in Proc. Steklov Inst. Math. 183 (1991), 217-239.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.