Abstract:In this paper we study the field of Hahn-Witt series $HW(\overline{\mathbb{F}}_p)$ with residue field $\overline{\mathbb{F}}_p$ (also known as a $p$-adic Malcev-Neumann field \cite{La86, P93}), and its generalizations. Informally, the Hahn-Witt series are possibly infinite linear combinations of rational powers of $p,$ in which the coefficients are Teichmüller representatives, and the set of exponents is well-ordered. They form an algebraically closed extension of $\mathbb{Q}_p,$ with a canonical automorphism $\varphi,$ coming from the absolute Frobenius of $\overline{\mathbb{F}}_p.$ We prove that the action of $\varphi$ on the $p$-power roots of unity is given by $\varphi(\zeta)=\zeta^{-1},$ answering a question of Kontsevich. More generally, we consider the $\pi$-typical Hahn-Witt series $HW_{(K,\pi)}(\overline{\mathbb{F}}_q)$, where $\pi$ is a uniformizer in a local field $K$ with residue field $\mathbb{F}_q.$ Again, this field is an algebraically closed extension of $K,$ and it has a canonical automorphism $\varphi_{\pi},$ coming from the relative Frobenius of $\overline{\mathbb{F}}_q$ over $\mathbb{F}_q.$ We prove that the action of $\varphi_{\pi}$ on the maximal abelian extension $K^{ab}$ corresponds via local class field theory to the uniformizer $-\pi\in K^*.$

Approximation and algebraicity in positive characteristic Hahn fields

Decidability of positive characteristic tame Hahn fields in $\mathcal{L}_t$

Reciprocity obstruction to strong approximation over p-adic function fields

P-adic approximation of algebraic integers and residue class rings of rings of integer-valued polynomials

Beyond the Fontaine-Wintenberger theorem

A characterization of pseudo complete finitely ramified valued fields through a Hahn-like construction

Characterising local fields of positive characteristic by Galois theory and the Brauer group

On the Hahn-Witt series and their generalizations

Eisenstein-Kronecker classes, integrality of critical values of Hecke $L$-functions and $p$-adic interpolation

Subfields of algebraically maximal Kaplansky fields

Definable henselian valuations in positive residue characteristic

A tale of two Liouville closures

Strong Approximation and Hasse Principle for Integral Quadratic Forms over Affine Curves

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

The Primitive Comparison Theorem in characteristic p

Approximation measures for shifted logarithms of algebraic numbers via effective Poincare-Perron

The Primitive Comparison Theorem in characteristic $p$

Fontaine-Laffaille Theory over Power Series Rings

Places of algebraic function fields in arbitrary characteristic

A Hermite-Minkowski type theorem of varieties over finite fields

Polynomials represented by norm forms via the beta sieve