The corestriction of valued division algebras over Henselian fields. II (Q1919862): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q787209 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Paul M. Cohn / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2140/pjm.1995.170.83 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4240347973 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 19:08, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The corestriction of valued division algebras over Henselian fields. II |
scientific article |
Statements
The corestriction of valued division algebras over Henselian fields. II (English)
0 references
27 January 1997
0 references
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)].
0 references
finite-dimensional central algebras
0 references
totally ramified extensions of radical type
0 references
centre
0 references
finite separable TRRT extensions of Henselian fields
0 references
generalized crossed products
0 references
finite separable extensions of Henselian fields
0 references
tame algebras
0 references
division algebras
0 references
corestriction
0 references
tensor powers
0 references
Dubrovin valuation rings
0 references