The corestriction of valued division algebras over Henselian fields. I (Q1919861)

The author's aim is to gain a better understanding of the corestriction of algebras by studying the case of valued division algebras over Henselian valued fields. Let \(F\) be a Henselian valued field; the author first considers \(F\)-central division algebras that are inertially split i.e. split by an unramified extension of \(F\). He proves Theorem 2.4. Let \((L,v)\supseteq (F,v)\) be a finite inertial extension of Henselian fields, let \(D\) be an inertially split \(L\)-central division algebra and \(C\) the division algebra component of \(\text{cor}_{L/F}D\). Then \(C\) is an inertially split central \(F\)-algebra, whose value group is contained in that of \(D\). Further, denote residue-class (skew) fields by a bar; then the centre of \(\overline{C}\) is contained in the normal closure of the centre of \(\overline{D}\) over \(\overline{F}\) and if \(D\) is inertial over \(L\), then \(C\) is inertial over \(F\) and \(\overline{C}\) is similar to \(\text{cor}_{\overline{L}/\overline{F}}(\overline D)\) in \(\text{Br}(\overline{F})\). Thus if \(D\) is tame over \(L\), then \(C\) is tame over \(F\). Turning to the ramified case and denoting by \(\Gamma_D\) the value group of \(D\), the author shows that when \(D\) is tamely totally ramified over \(L\), then \(\Gamma_C \subseteq \Gamma_D\) (when \(L/F\) is a finite separable inertial extension of Henselian fields), and the centre of \(\overline {C}\) is contained in \(\overline{F}\bigl(N_{\overline{L}/\overline{F}}(\overline{L})^{1/d}\bigr)\), where \(d\) is the highest common factor of \([L:F]\) and \(\text{exp}(\Gamma_D/\Gamma_L)\). By a further analysis he shows that when \(D\) is tame over \(L\) then \(\Gamma_C\subseteq\Gamma_D\) and the centre of \(\overline C\) is contained in the normal closure of the centre of \(\overline D\) over \(\overline F\) raised to the power \(1/k\), where \(k\) is a positive integer which depends on the roots of unity in \(F\). The final result gives a somewhat complicated general relation between the centres of \(\overline D\) and \(\overline C\) in the tame case (for an inertial extension \(F/L\)) which in some respects is best possible, as is shown by an example.