The corestriction of valued division algebras over Henselian fields. II (Q1919862): Difference between revisions

In this second part the author considers (valuated) extensions \(L/F\) that are totally ramified of radical type (TRRT), i.e. \(L\) is totally ramified over \(F\) and \(L^*/F^*\) has a subgroup mapped isomorphically to \(\Gamma_L/\Gamma_F\) by the valuation [cf. \textit{B. Jacob} and \textit{A. Wadsworth}, J. Algebra 128, No. 1, 126-179 (1990; Zbl 0692.16011)]. Let \(F\) be Henselian and \(L/F\) finite separable with \(\overline{L}=\overline{F}\); further let \(D\) be a finite-dimensional central \(L\)-algebra and \(C\) the division algebra component of \(\text{cor}_{L/F} D\). There is a natural map \(D^* \to \text{Gal} (Z(\overline {D})/ \overline {F})\) (where \(Z(\overline {D})\) is the centre of \(\overline{D}\)), which induces an epimorphism \(\theta_D:\Gamma_D/\Gamma_F \to \text{Gal} (Z(\overline{D})/\overline{F})\) (cf. Jacob and Wadsworth, loc. cit.). The author shows that if \(D\) is inertially split, then so is \(C\); further \(\Gamma_C=n\Gamma_D+\Gamma_F\), where \(n=[L:F]\), and \(Z(\overline{C})\) is the fixed field of \(\theta_D(\Delta)\), \(\Delta\) being the set of cosets \(\alpha+\Gamma_L\) such that \(n\alpha \in \Gamma_F\). As a consequence \(Z(\overline{D^n}) \subseteq Z(\overline{C})\), where \(D^n\) is the division algebra component of the \(n\)th tensor power of \(D\) over \(L\). It follows further that when \(D\) is tame over \(L\), then \(C\) is tame over \(F\). Turning next to the case where \(L/F\) is a finite separable TRRT extension of Henselian fields, the author shows that in this case, a ttr (tame and totally ramified) \(L\)-algebra \(D\) gives rise to a ttr \(F\)-algebra \(C\), and \(n\Gamma_D \subseteq \Gamma_C \subseteq \Gamma_D\), \(\text{exp}(\Gamma_C/\Gamma_F) \mid \exp (\Gamma_D/\Gamma_L)\). The proof uses the notion of a generalized crossed product [cf. Algebra IX of Encycl. Math. Sci. (Springer 1995; Zbl 0832.16014), p.142f or \textit{P. M. Cohn}, Skew Fields, Encycl. Math. Appl. 57, Cambridge Univ. Press (1995; Zbl 0840.16001), p. 124f]. Finally, when \(L/F\) is a finite separable extension of Henselian fields such that \(\overline L/\overline F\) is separable and \(L/K\) is TRRT, where \(K\) is the inertial lift of \(\overline{L}\) over \(F\) in \(L\) (i.e. the inertial extension of \(F\) with \(\overline{K}=\overline{L})\), the earlier results can be combined with those in part I [cf. the preceding review Zbl 0855.16020] to obtain relations between a tame algebra \(D\) and the corresponding \(C\). In detail the author proves (i) if \(D\) is a ttr \(L\)-algebra and \(C_1\) the underlying division algebra of \(\text{cor}_{L/K} (D)\) (where \(K\) is the inertial lift of \(\overline{L}\) over \(F\) as before), put \(d=\exp(\Gamma_D/\Gamma_L)\), \(d_1=\exp(\Gamma_{C_1}/\Gamma_K)\), so that \(d_1\) divides \(d\), and \(e=\gcd([\overline{L}:\overline{F}],d)\), \(e_1=\gcd([\overline{L}:\overline{F}],d_1)\). If \(F\) contains \(d_1\) \(d_1\)th roots of unity, then \(Z(\overline{C}) \subseteq \overline{F} \bigl((N_{\overline {L}/\overline {F}} (\overline {L}))^{1/e_1} \bigr) \subseteq \overline {F} \bigl((N_{ \overline {L}/\overline{F}} (\overline {L}))^{1/e} \bigr)\). Next he shows (ii) when \(L/F\) is tame and (a) if \(D\) is inertial over \(L\) then \(C\) is inertial over \(F\) and \(\overline{C}\) is similar to the corestriction of a tensor power of \(D\); (b) if \(D\) is inertially split then so is \(C\) and writing \(g=|\Gamma_L:\Gamma_F|\), we have \(\Gamma_C \subset g\Gamma_D+\Gamma_F\), and the centre of \(\overline{C}\) is contained in the normal closure of the fixed field of \(\theta_D(\Delta)\) over \(\overline{F}\), where \(\Delta\) is the set of cosets \(\alpha+\Gamma_L\) such that \(g\alpha \in \Gamma_F\); (c) if \(D\) is tame then so is \(C\) and \(\Gamma_C \subseteq \Gamma_D\). He also describes the situation of the centre of \(\overline{C}\) more closely in the tame case and gives without proof generalizations of these results to the non-Henselian case, using Dubrovin valuation rings [cf. the author, The corestriction of valued division algebras over Henselian fields, Doctoral Dissertation, University of California, San Diego (1992)].