The first Suslin homology sheaf of a split simply connected semisimple algebraic group
type: Item
instance of: scholarly article
title: The first Suslin homology sheaf of a split simply connected semisimple algebraic group
zbMATH Open document ID: 1239.19001
author: Stefan G. Gille
published in: Journal of Algebra
publication date: 2011-12-08T00:00:00Z
review text: Let \(G\) be a split simply connected semisimple algebraic group. The aim of this article is to compute the first Suslin homology sheaf of \(G\), \(H_1^S(G)\). The results are as follows: let \(\mathcal Sm_k\) be the category of smooth \(k\)-schemes and \(\underline{C}^{\bullet}(X)\) be the Suslin complex of \(X\in \mathcal Sm_k\). On the other hand, let \(\underline{h}_i^{\mathrm{Nis}}(X)\) be the \((-i)\)-th Nisnevich cohomology sheaf of \( \underline{C}^{\bullet}(X)\), then one has that \(H^S_1(X)=\underline{h}_1^{\mathrm{Nis}}(X)(k)\). Furthermore, let \(\mathbb{Z}_{tr}\) be the Nisnevich sheaf associated to the constant presheaf \(U\mapsto \mathbb{Z}\). The author proves the following two theorems: Theorem A. Let \(k\) be a perfect field and \(G\) be a \(k\)-split simply connected semisimple algebraic group. Denote by \(d\) the number of irreducible components of the root system of \(G\) and by \(\underline{K}^M_2\) the unramified Milnor \(K\)-theory sheaf. Then \[ \underline{h}_0^{\mathrm{Nis}}(G)\simeq\mathbb{Z}_{tr}\text{ and }\underline{h}_1^{\mathrm{Nis}}(G)\simeq (\underline{K}^M_2)^{\oplus d}. \] In particular \(H^S_0(G)\simeq \mathbb{Z}=K^M_0(k)\) and \(H^S_1(G)\simeq (\underline{K}^M_2)^{\oplus d}\). The above theorem is a consequence of the following: Theorem B. Let \(k\) be a field and \(G\) be a \(k\)-split simply connected semisimple algebraic group. Denote by \(d\) the number of irreducible components of the root system of \(G\) and let \(M_*\) be a cycle module over \(k\) in the sense of \textit{M. Rost} [``Chow groups with coefficients'', Doc. Math., J. DMV 1, 319--393 (1996; Zbl 0864.14002)]. Then {\parindent=6mm \begin{itemize}\item[1.] \(H^0(G,M_n)\simeq M_n(k)\), and \item[2.] \(H^1(G,M_n)\simeq M_{n-2}(k)^{\oplus d}\), \end{itemize}} for all integers \(n\), where \(H^i(G,M_n)\) denotes the \(i\)-th cohomology group of the cycle module \(M_n\).
Mathematics Subject Classification ID: 19E15
Mathematics Subject Classification ID: 20G15
Mathematics Subject Classification ID: 14C35
zbMATH DE Number: 5987854
zbMATH Keywords: cycle modules
zbMATH Keywords: semisimple algebraic groups
zbMATH Keywords: Suslin (singular) homology
zbMATH Keywords: root system
zbMATH Keywords: Chow group
reviewed by: Daniel Juan Pineda
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2011.02.027
OpenAlex ID: W2073603760
cites work: Central extensions of reductive groups by \(K_2\).
cites work: Q4308246
cites work: Cycle modules and mixed motives
cites work: Transfers on Chow groups with coefficients
cites work: The Arason invariant and mod 2 algebraic cycles
cites work: Groupes de Chow-Witt
cites work: Q4416651
cites work: On the Brauer group of a semisimple algebraic group
cites work: Q5852622
cites work: Q3739259
cites work: Algebraic \(K\)-theory and quadratic forms. With an appendix by J. Tate
cites work: Homotopy Invariance of the Sheaf W Nis and of Its Cohomology
cites work: Chow groups with coefficients
cites work: Singular homology of abstract algebraic varieties
cites work: Q4952444
cites work: Cycles, Transfers, and Motivic Homology Theories. (AM-143)
DOI: 10.1016/J.JALGEBRA.2011.02.027
description: scientific article; zbMATH DE number 5987854