No label defined (Q3974027)

[For the entire collection see Zbl 0723.00020.] Let \(\mathcal D\) be a central division algebra of degree \(n\) over a field \(F\), \(n\) be prime to \(\text{char} F\). Let \([{\mathcal D}]\) be the class of \(\mathcal D\) treated as an element of \(H^ 2(F,\mu_ n)\), where \(\mu_ n\) is the group of \(n\)th roots in the separable closure of \(F\). The group \(\text{SK}_ 1({\mathcal D})=\text{SL}_ 1({\mathcal D})/[{\mathcal D}^*,{\mathcal D}^*]\) was first investigated by Platonov in case of a complete discrete valuation field \(F\). In this paper the author establishes connections of \(\text{SK}_ 1({\mathcal D})\) and cohomology groups. His conjecture claims the existence of a canonical homomorphism \[ f\colon\text{SK}_ 1({\mathcal D})\to H^ 4(F,\mu_ n^{\otimes3})/[{\mathcal D}]\cup H^ 2(F,\mu_ n^{\otimes2}) \] such that for a complete discrete valuation field \(F\) with a complete discrete valuation field \(\overline F\) the composition of \(f\) with \(H^ 4(F,\mu_ n^{\otimes3})\to H^ 3(\overline F,\mu_ n^{\otimes2})\to H^ 2(\overline{\overline F},\mu_ n)\) coincides with Platonov's homomorphism from \(\text{SK}_ 1({\mathcal D})\) to a certain subfactor of the Brauer group of the residue field \(\overline{\overline F}\) of \(\overline F\). The paper contains a construction of the homomorphism, under the assumption \(\mu_{n^ 3}\subset F\). The construction involves \(\mathcal K\)-cohomologies and known results on Severi-Brauer varieties. The homomorphism \(f\) is likely to be a powerful tool to study \(\text{SK}_ 1\). In particular, the author expects to show that the universal element in \(\text{SK}_ 1\) is nontrivial if \(n\) is not square-free. Note that recently Rost considered \(\text{SK}_ 1\) and Galois cohomologies in case \(n=2\) by using a different method. Based on his work Merkurjev proved the conjecture on the universal element in case \(n\) being divided by 4.