Third homology of SL₂ and the indecomposable K₃

DOI10.1007/S40062-014-0080-9MaRDI QIDQ897092zbMATH OpenOpenAlexFDO

Authors B. Mirzaii

Publication date 16 December 2015

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.5900

zbMATH Keywords

\(K\)-theoryhomology of groupsspecial linear group

Mathematics Subject Classification ID

(K)-theory and homology; cyclic homology and cohomology (19D55) Homology and cohomology theories in algebraic topology (55N99) Homology and homotopy of topological groups and related structures (57T99)

Abstract: It is known that, for an infinite field F, the indecomposable part of K_3(F) and the third homology of SL_2(F) are closely related. In fact, there is a canonical map alpha: H_3(SL_2(F),Z)_F* --> K_3(F)^ind. Suslin has raised the question that, is alpha an isomorphism? Recently Hutchinson and Tao have shown that this map is surjective. They also gave some arguments about its injectivity. In this article, we improve their arguments and show that alpha is bijective if and only if the natural maps H_3(GL_2(F), Z)--> H_3(GL_3(F), Z) and H_3(SL_2(F), Z)_F* --> H_3(GL_2(F), Z) are injective.

Review text

For any infinite field \(F\), there is a natural map \(K^M_n(F) \to K_n(F)\) between the Milnor ring of \(F\) and the algebraic \(K\)-theory of \(F\), which is an isomorphism for \(0 \leq n \leq 2\). We define the indecomposable part \(K_n(F)^{\text{ind}}\) of \(K_n(F)\) to be the cokernel of this map. The Hurewicz homomorphism \(K_3(F)\to H_3(\mathrm{SL}(F))\) induces an isomorphism \(H_3(\mathrm{SL}(F))\cong K_3(F)/\{-1\} \cdot K_2(F)\), so that we have an induced surjection \(H_3(\mathrm{SL}(F)) \to K_3^{\text{ind}}(F)\). This surjection yields a map \(\alpha : H_3(\mathrm{SL}_2(F)) _{F^*}=H_0(F^*, H_3(\mathrm{SL}_2(F))) \to K_3^{\text{ind}}(F)\). The main theorem of this paper states that this \(\alpha\) is bijective if and only if both the natural homomorphisms \(H_3(\mathrm{GL}_2(F)) \to H_3(\mathrm{GL}_3(F))\) and \(H_3(\mathrm{SL}_2(F))_{F^*} \to H_3(\mathrm{GL}_2(F))\) are injective. If we focus on the question of bijectivity of \(\alpha\) due to Suslin, then the result in the theorem can be read as an effective criterion for the surjectivity of this map. For this reason, if trying to roughly sketch the proof in the \(\lq\lq\)if direction, it can be seen that this proof is based on the use of two short exact sequences with \(K_3(F)^{\text{ind}}\) and \(\tilde{H}_3(\mathrm{SL}_2(F))\) (details omitted) middle terms, which are due to \textit{A. A. Suslin} [Proc. Steklov Inst. Math. 183, 217--239 (1991; Zbl 0741.19005); translation from Tr. Mat. Inst. Steklova 183, 180--199 (1990)] and the author and Mokari (Preprint) respectively. In addition to these two exact sequences we are given a map \(\zeta : H_3(\mathrm{SL}_2(F)) _{F^*} \to \tilde{H}_3(SL_2(F))\) between the middle terms of them and so, if we suppose \(\alpha(x)=0\) for \(x \in H_3(SL_2(F)) _{F^*}\), then comparing these two exact sequences we obtain \(\zeta(x)=0\). In consequence, applying the injectivity assumption in the \(\lq\lq\)only if statement to this equality, we get \(x=0\).

Recommendations

• The third homology of the special linear group of a field
• scientific article; zbMATH DE number 897627
• The third homology of \(\mathrm {SL}_2\) of local rings
• The indecomposable \(K_3\) of rings and homology of \(\text{SL}_2\)
• Homology of \(\mathrm{GL}_n\): injectivity conjecture for \(\mathrm{GL}_{4}\)

Cites work

• \(K_ 3\) of a field and the Bloch group
• A Bloch-Wigner theorem over rings with many units. II.
• Higher Regulators, Algebraic 𝐾-Theory, and Zeta Functions of Elliptic Curves
• Homology of classical Lie groups made discrete. III
• THE GROUP K₃ FOR A FIELD
• The indecomposable \(K_3\) of rings and homology of \(\text{SL}_2\)
• The third homology of the special linear group of a field
• Third homology of general linear groups
• Third homology of general linear groups over rings with many units

Cited in

(8)

• The third homology of the special linear group of a field
• Complex \(K\)-theory of \(B\text{SL}_ 3({\mathbb{Z}{}})\)
• The indecomposable \(K_3\) of rings and homology of \(\text{SL}_2\)
• Homology of \(GL_n\) over infinite fields outside the stability range
• A new proof of a theorem of Suslin
• The MOD 2 K-Homology of Ω³S³X
• The third homology of \(\mathrm{SL}_2\) of fields with discrete valuation
• The low-dimensional homology of projective linear group of degree two

This page was built for publication: Third homology of \({\mathrm{SL}}_2\) and the indecomposable \(K_3\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897092)