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.

On ramification structures for finite nilpotent groups

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

On semiabelian groups

p-Sylowizers and p-nilpotency of finite groups

Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

On the structure of finite groups determined by the arithmetic and geometric means of element orders

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

On Finite groups whose power graphs are line graphs

On Sylow theory for linear pseudofinite groups

Ramification filtration via deformations, II

Finite Groups in Which Maximal Subgroups of Sylow -Subgroups are -Permutable

On tamely ramified infinite Galois extensions

A characterization of ramification groups via Taylor morphism

Automorphism Groups of Finite Extensions of Fields and the Minimal Ramification Problem

Hopf Galois structures, skew braces for groups of size $p^nq$: The cyclic Sylow subgroup case

The influence of the nilpotentlizers on group structur

Monodromy groups of indecomposable coverings of bounded genus

On the Finiteness and Structure of Galois Groups of Tamely ramified pro-p Extensions of Imaginary Quadratic Fields

On Krull-Schmidt decompositions of unit groups of number fields

Automatic structures and growth functions for finitely generated abelian groups

A new criterion for p-nilpotency and solvability of finite groups by coprime actions