Abstract:Let $\mathcal K$ be a field of formal Laurent series with coefficients in a finite field of characteristic $p$. For $M\ge 1$, let $\mathcal G_{<p,M}$ be the maximal quotient of the Galois group of $\mathcal K$ of period $p^M$ and nilpotent class $<p$ and $\{\mathcal G_{<p,M}^{(v)}\}_{v\geqslant 0}$ -- the ramification subgroups in upper numbering. Let $\mathcal G_{<p,M}=G(\mathcal L)$ be the identification of nilpotent Artin-Schreier theory: here $G(\mathcal L)$ is the group obtained from a suitable profinite Lie $\mathbb{Z}/p^M$-algebra $\mathcal L$ via the Campbell-Hausdorff composition law. We develop new techniques to obtain a ``geometrical'' construction of the ideals $\mathcal L^{(v)}$ such that $G(\mathcal L^{(v)})=\mathcal G_{<p,M}^{(v)}$. Given $v_0\geqslant 1$, we construct a decreasing central filtration $\mathcal L(w)$, $1\leqslant w\leqslant p$, on $\mathcal L$, an epimorphism of Lie $\mathbb{Z}/p^M$-algebras $\bar{\mathcal V}:\bar{\mathcal L}^{†}\to \bar{\mathcal L}:=\mathcal L/\mathcal L(p)$, and a unipotent action $\Omega $ of $\mathbb{Z} /p^M$ on $\bar{\mathcal L}^{†}$, which induces the identity action on $\bar{\mathcal L}$. Suppose $d\Omega =B^{†}$, where $B^{†}\in\operatorname{Diff}\bar{\mathcal L}^{†}$, and $\bar{\mathcal L}^{†[v_0]}$ is the ideal of $\bar{\mathcal L}^{†}$ generated by the elements of $B^{†}(\bar{\mathcal L}^{†})$. Our main result states that the ramification ideal $\mathcal L^{(v_0)}$ appears as the preimage of the ideal in $\bar{\mathcal L}$ generated by $\bar{\mathcal V}B^{†}(\bar{\mathcal L}^{†[v_0]})$. In the last section we apply this to the explicit construction of generators of $\bar{\mathcal L}^{(v_0)}$. The paper justifies a geometrical origin of ramification subgroups of $\Gamma _K$ and can be used for further developing of non-abelian local class field theory.

Upper Ramification Groups for Arbitrary Valuation Rings

Ramification groups of some finite Galois extensions of maximal nilpotency class over local fields of positive characteristic

Purely Inseparable Extensions and Ramification Filtrations

Relative model completeness of henselian valued fields with finite ramification and various value groups

Essential finite generation of extensions of valuation rings

Ramification filtration via deformations, II

Kähler differentials of extensions of valuation rings and deeply ramified fields

Asymptotic properties of infinite directed unions of local quadratic transforms

The ramification tree and almost Dedekind domains of prescribed SP-rank

Grothendieck--Witt Groups of Henselian Valuation Rings

On Abelian extensions in mixed characteristic and ramification in codimension one

Quasi-Valuations Extending a Valuation

Finite local principal ideal rings

Valuations on power series rings in an arbitrary set of indeterminates

Degree $p$ Extensions of Arbitrary Valuation Rings and "Best $f$"

Generating sequences of valuations on simple extensions of domains

Ramification of surfaces: Artin-Schreier extensions

Fiercely ramified cyclic extensions of p-adic fields with imperfect residue field

The integral motivic Satake equivalence for ramified groups

Generators for extensions of valuation rings

Extending torsors under quasi-finite flat group schemes