Unitary \(\mathrm{SK}_1\) of semiramified graded and valued division algebras. (Q692605): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s00229-011-0519-9 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1009.3904 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Division algebras of degree 4 and 8 with involution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generic Abelian crossed products and \(p\)-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nilpotence in the Witt Ring / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(R\)-equivalence and special unitary groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: SK1 von Algebren über vollständig diskret bewerteten Körpern und Galoiskohomologie abelscher Körpererweiterungen. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4146862 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4745964 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras of odd degree with involution, trace forms and dihedral extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\text{SK}_1\) of graded division algebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unitary SK<sub>1</sub> of graded and valued division algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic extensions of graded and valued fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Correspondences between valued division algebras and graded division algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Division algebras over Henselian fields. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Codimension 2 cycles on Severi-Brauer varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4210545 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generic element in \(SK_ 1\) for simple algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariants of algebraic groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cohomological invariants of simply connected groups of rank \(3\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The group \(SK_1\) for simple algebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nondegenerate Semiramified Valued and Graded Division Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4100279 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4106705 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4113976 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4122051 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Central simple algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3974027 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3639891 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Produits croises Abeliens / rank
 
Normal rank
Property / cites work
 
Property / cites work: Value functions and associated graded rings for semisimple algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4112077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4170904 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S00229-011-0519-9 / rank
 
Normal rank

Latest revision as of 00:54, 10 December 2024

scientific article
Language Label Description Also known as
English
Unitary \(\mathrm{SK}_1\) of semiramified graded and valued division algebras.
scientific article

    Statements

    Unitary \(\mathrm{SK}_1\) of semiramified graded and valued division algebras. (English)
    0 references
    6 December 2012
    0 references
    The author develops the theory of \(\text{SK}_1\) for graded division algebras with unitary involution. Let us first describe the non-involutory case. Recall that for a central division algebra \(D\), \(\text{SK}_1(D)=D^{(1)}/D'\), where \(D^{(1)}\) is the group of elements of reduced norm \(1\) and \(D'=[D^*,D^*]\). The first nontrivial example was given by Platonov, and was shortly thereafter interpreted and generalized by Ershov, who considered tame and semiramified division algebras over a Henselian valued field \(K\). Ershov showed that when \(D\) is decomposably semiramified (DSR; i.e. a tensor product of cyclic tame and semiramified division algebras), then \(\text{SK}_1(D)\) is isomorphic to \(\widehat H^{-1}(H,\overline D^*)\) where \(H=\text{Gal}(\overline D/\overline K)\cong\Gamma_D/\Gamma_K\). This is generalized by \textit{R. Hazrat} and the author [in Isr. J. Math. 183, 117-163 (2011; Zbl 1238.16019)], giving an exact sequence \(H\wedge H\to\widehat H^{-1}(H,\overline D^*)\to\text{SK}_1(D)\to 0\), which coincides with the above when \(D\) is DSR. More generally, suppose \(\mathsf E\) is a semiramified central graded division algebra over a graded field \(\mathsf T\). Let \(\mathsf E\sim_g\mathsf I\otimes_{\mathsf T}\mathsf N\) be a graded decomposition as a tensor product of an inertial (= unramified) graded \(\mathsf T\)-algebra \(\mathsf I\) and a DSR \(\mathsf N\). In Theorem 3.7, \(\text{SK}_1(\mathsf E)\) is described as an explicit quotient of \(\widehat H^{-1}(\text{Gal}(\mathsf E_0,\mathsf T_0),\mathsf E_0^*)\). In particular if \(\mathsf E_0=L_1\otimes_{\mathsf T_0}L_2\) where \(L_i\) are cyclic over \(\mathsf T_0\), then \(\text{SK}_1(\mathsf E)\cong\text{Br}(\mathsf E_0/\mathsf T_0)/\langle\text{Dec}(\mathsf E_0/\mathsf T_0),[\mathsf I_0]\rangle\), where \(\text{Dec}(\mathsf E_0/\mathsf T_0)=\text{Br}(L_1/\mathsf T_0)\text{Br}(L_2/\mathsf T_0)\). Platonov's work was extended by Yanchevskiĭ to algebras with unitary involution. Recall that in this case \(\text{SK}_1(D,\tau)\) is the group of elements with symmetric reduced norm, modulo the subgroup generated by symmetric (invertible) elements. Let \(\mathsf T/\mathsf R\) be a quadratic Galois extension of graded fields which is inertial. Let \(\mathsf E\) be a semiramified \(\mathsf T\)-central graded division algebra with a unitary involution \(\tau\) over \(\mathsf R\). Theorem 7.1: assume \(\mathsf E\) is DSR for \(\mathsf T/\mathsf R\). Then \(\text{SK}_1(\mathsf E,\tau)\) is an explicitly given quotient of the group of elements of \(\mathsf E_0\) whose reduced norm is symmetric; and in particular if \(\mathsf E_0=L_1\otimes L_2\) where \(L_i\) are cyclic over \(\mathsf T_0\), then \(\text{SK}_1(\mathsf E,\tau)\cong\text{Br}(\mathsf E_0/\mathsf T_0;\mathsf R_0)/\text{Dec}(\mathsf E_0/\mathsf T_0;\mathsf R_0)\), where the nominator is the group of central simple algebras over \(\mathsf T_0\), split by \(\mathsf E_0\), with a unitary involution over \(\mathsf R_0\). The DSR assumption is removed in Theorem 7.3: assuming \(\mathsf E\) is semiramified, \(\text{SK}_1(\mathsf E,\tau)\) is described in terms of inertial and DSR components \(\mathsf I\), \(\mathsf N\) in a decomposition of \(\mathsf E\) as above. In particular if \(\mathsf E_0=L_1\otimes_{\mathsf T_0}L_2\) where \(L_i\) are cyclic over \(\mathsf T_0\), then \(\text{SK}_1(\mathsf E,\tau)\cong\text{Br}(\mathsf E_0/\mathsf T_0;\mathsf R_0)/\langle\text{Dec}(\mathsf E_0/\mathsf T_0;\mathsf R_0),[\mathsf I_0]\rangle\). An application of twisted cohomology (Section 5) is of independent interest: let \(M/F\) be a Galois extension with a quadratic subextension \(K/F\). Then \(\text{Br}(M/K;F)\) is isomorphic to \(H^2(\text{Gal}(M/F),\widetilde{M^*})\), where \(\widetilde{M^*}\) is \(M^*\) with the action twisted so that \(\text{Gal}(M/K)\) acts in the natural manner, and a generator of \(\text{Gal}(K/F)\) inverts.
    0 references
    0 references
    \(\text{SK}_1\)
    0 references
    Whitehead groups
    0 references
    semiramified graded division algebras
    0 references
    unitary involutions
    0 references
    valued division algebras
    0 references
    tensor products of division algebras
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references