The group \(SK_{2}\) of a biquaternion algebra
type: Item
instance of: scholarly article
title: The group \(SK_{2}\) of a biquaternion algebra
zbMATH Open document ID: 1057.11022
DOI: 10.1016/S1631-073X(03)00261-9
author: Baptiste Calmès
published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris
publication date: 2003-09-15T00:00:00Z
review text: Let \(SK_2\) be the kernel of the reduced norm for \(K_2\) [\textit{A. A. Suslin}, K-theory 1, 5--29 (1987; Zbl 0635.12015)]. The paper is devoted to relating \(SK_2\) with Galois cohomology. Namely, the author sketches the proof of the following theorem: Let \(F\) be a field of characteristic zero, containing an algebraically closed subfield, \(D\) be the biquaternion algebra \(( \frac{a,b}{F}) \otimes ( \frac{c,d}{F})\). Then there is an exact sequence \[ \text{ker} N_{q'} \longrightarrow SK_2D \longrightarrow H^5(F, \mathbb{Z}/2) \longrightarrow H^5 (F(q), \mathbb{Z}/2), \] where \(q\) is the Albert quadratic form \(\langle a, b, - ab, - c, - d, cd \rangle\), \(q'\) a codimension-one subform of \(q\), and \(N_{q'}: H^3(X_{q'}, \mathcal{K}_5) \to K_2F\) is the usual norm map in \(K\)-cohomology [\textit{M. Rost}, Doc. Math. 1, No. 16, 319--393 (1996; Zbl 0864.14002)]. The proof is divided into three steps. The first step contains computations by using the coniveau spectral sequence and a ``weight'' spectral sequence in étale motivic cohomology in order to relate \(K\)-cohomology groups with Galois cohomology groups. During the second step the author establishes an isomorphism between the projective quadric \(X_q\) of an Albert form and the generalized Severi-Brauer variety SB\((2, D)\) of the associated biquaternion algebra \(D\). Then using this isomorphism and Panin's decomposition [\textit{I. A. Panin}, K-theory 8, No. 6, 541--585 (1994; Zbl 0854.19002)] some levels of the topological filtration in terms of groups involving \(K\)-theory of the field \(F\) and the \(K\)-theory groups of the algebra \(D\) are computed. In the last part it is shown that \(H^2(X_q, \mathcal{K}_4) \simeq K_2(X_q)^{2/3}\). This isomorphism and the computations of step 2 yield the exact sequence \[ SK_2D \longrightarrow H^5(F, \mathbb{Z}/2) \longrightarrow H^5(F(q), \mathbb{Z}/2). \] Finally, by using a codimension one subform \(q'\) of \(q\), the author proves that there is a surject…
Mathematics Subject Classification ID: 11E70
Mathematics Subject Classification ID: 19C99
Mathematics Subject Classification ID: 19E20
Mathematics Subject Classification ID: 12G05
zbMATH DE Number: 1981366
zbMATH Keywords: \(K\)-theory
zbMATH Keywords: reduced norm
zbMATH Keywords: quadratic forms
zbMATH Keywords: \(K\)-cohomology
zbMATH Keywords: Galois cohomology
reviewed by: Vasyl I. Andriychuk
MaRDI profile type: MaRDI publication profile
cites work: Function fields of generalized brauer-severi varieties
cites work: \(R\)-equivalence in spinor groups
cites work: Q4946329
cites work: Q4698647
cites work: On the algebraic \(K\)-theory of twisted flag varieties
cites work: Torsion in \(K_ 2\) of fields
cites work: K-theory of quadric hypersurfaces
cites work: Motivic cohomology with \(\mathbb Z/2\)-coefficients
Recommended article: The group SK 2 of a biquaternion algebra
Recommended article: \(SK_1\) of division algebras and Galois cohomology revisited
Recommended article: Q3741757
Recommended article: Suite spectrale d'Adams et invariants cohomologiques des formes quadratiques
Recommended article: On the algebraic \(K\)-theory of twisted flag varieties
Recommended article: Slices of Hermitian \(K\)-theory and Milnor's conjecture on quadratic forms
Recommended article: Cohomological invariants of quaternionic skew-hermitian forms
Recommended article: Q3328717
Recommended article: On the norm residue homomorphism of degree two
Recommended article: Q3748382
description: scientific article; zbMATH DE number 1981366