Inaba extension of complete field of characteristic~$0$

S. V. Vostokov ; I. B. Zhukov ; O. Yu. Ivanova

Čebyševskij sbornik, Tome 21 (2020) no. 3, pp. 59-67.

Résumé

This article is devoted to $p$-extensions of complete discrete valuation fields of mixed characteristic where $p$ is the characteristic of the residue field. It is known that any totally ramified Galois extension with a non-maximal ramification jump can be determined by an Artin-Schreier equation, and the upper bound for the ramification jump corresponds to the lower bound of the valuation in the right-hand side of the equation. The problem of construction of extensions with arbitrary Galois groups is not solved. Inaba considered $p$-extensions of fields of characteristic $p$ corresponding to a matrix equation $X^{(p)}=AX$ herein referred to as Inaba equation. Here $X^{(p)}$ is the result of raising each element of a square matrix $X$ to power $p$, and $A$ is a unipotent matrix over a given field. Such an equation determines a sequence of Artin-Schreier extensions. It was proved that any Inaba equation determines a Galois extension, and vice versa any finite Galois $p$-extension can be determined by an equation of this sort. In this article for mixed characteristic fields we prove that an extension given by an Inaba extension is a Galois extension provided that the valuations of the elements of the matrix $A$ satisfy certain lower bounds, i. e., the ramification jumps of intermediate extensions of degree $p$ are sufficiently small. This construction can be used in studying the field embedding problem in Galois theory. It is proved that any non-cyclic Galois extension of degree $p^2$ with sufficiently small ramification jumps can be embedded into an extension with the Galois group isomorphic to the group of unipotent $3\times 3$ matrices over ${\mathbb F}_p$. The final part of the article contains a number of open questions that can be possibly approached by means of this construction.

Détail

Keywords: discrete valuation field, ramification jump, Artin-Schreier equation.

Bibliographie

[1] J. W. S. Cassels, A. Frohlich, Algebraic Number Theory, Academiv Press, London–New-York, 1967 | MR | Zbl

[2] I. B. Fesenko, S. V. Vostokov, Local fields and their extensions. A constructive approach, Second edition, AMS, Providence, RI, 2002 | MR

[3] O. Hyodo, “Wild ramification in the imperfect residue field case”, Adv. Stud. Pure Math., 12 (1987), 287–314 | DOI | MR | Zbl

[4] E. Inaba, “On matrix equations for Galois extensions of fields with characteristic p”, Natur. Sci. Rep. Ochanomizu Univ., 12 (1961), 26–36 | MR | Zbl

[5] E. Inaba, “On generalized Artin-Schreier equations”, Natur. Sci. Rep. Ochanomizu Univ., 13:2 (1962), 1–13 | MR | Zbl

[6] R. E. MacKenzie, G. Whaples, “Artin-Schreier equations in characteristic zero”, Amer. J. Math., 78 (1956), 473–485 | DOI | MR | Zbl

[7] H. Miki, “On $Z_p$-extensions of complete p-adic power series fields and function fields”, J. Fac. Sci. Univ. Tokyo, Sect 1A, 21 (1974), 377–393 | MR | Zbl

[8] L. Xiao, I. Zhukov, “Ramification in the imperfect residue field case, approaches and questions”, Algebra i analiz, 26:5 (2014), 695–740

[9] I. Zhukov, “Explicit abelian extensions of complete discrete valuation fields”, Invitation to Higher Local Fields, Geometry and Topology Monographs, 3, eds. Fesenko I., Kurihara M., 2000, 117–122 | DOI | MR | Zbl

[10] S. V. Vostokov, I. B. Zhukov, I. B. Fesenko, “K teorii mnogomernykh lokalnykh polei. Metody i konstruktsii”, Algebra i analiz, 2:4 (1990), 91–118 | Zbl

[11] S. V. Vostokov, I. B. Zhukov, G. K. Pak, “Rasshireniya s pochti maksimalnoi glubinoi vetvleniya”, Zapiski nauchnykh seminarov S.-Peterburgskogo otdeleniya Matematicheskogo instituta im. V. A. Steklova RAN (POMI), 265, 1999, 77–109 | Zbl

[12] S. V. Vostokov, I. B. Zhukov, “Nekotorye podkhody k postroeniyu abelevykh rasshirenii dlya p-adicheskikh polei”, Trudy S.-Peterb. mat. obsch., 3, 1995, 194–214 | Zbl

[13] I. B. Zhukov, “Strukturnaya teorema dlya polnykh polei”, Tr. S.-Peterburg. mat. obsch-va, 3, 1995, 194–214 | Zbl

[14] I. B. Zhukov, E. F. Lysenko, “Postroenie tsiklicheskogo rasshireniya stepeni $p^2$ polnogo polya”, Zap. nauchn. sem. POMI, 455, 2017, 52–66

[15] A. I. Madunts, “Formalnye gruppy Lyubina-Teita nad koltsom tselykh mnogomernogo lokalnogo polya”, Zap. nauchn. sem. POMI, 281, 2001, 221–226 | Zbl