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.

Filtrations of free groups arising from the lower central series

Filtrations of free groups as intersections

Some unexpected phenomena in the Franke filtration of the space of automorphic forms of the general linear group

Universal Abelian covers of rational surface singularities and multi-index filtrations

Canonical Filtrations of Finite-Dimensional Algebras

Filtrations of global equivariant K-theory

Filtrations on quantum cohomology from the Floer theory of $\mathbb{C}^*$-actions

Ramification filtration via deformations, II

Centralizers of Lie Algebras Associated to the Descending Central Series of Certain Poly-Free Groups

Survey on filtrations (parametric embeddings) of infinitesimal generators

Filtrations on equivariant quantum cohomology and Hilbert-Poincaré series

C*-Algebras over Topological Spaces: Filtrated K-Theory

Filtrations on Springer fiber cohomology and Kostka polynomials

Filtrations on quantum cohomology via Morse-Bott-Floer Spectral Sequences

Enlargement of Filtrations: An Exposition of Core Ideas with Financial Examples

Integrable systems associated to the filtrations of Lie algebras

The socle filtrations of principal series representations of $SL(3,\mathbb{R})$ and $Sp(2,\mathbb{R})$

Noncommutative Koszul filtrations

Filtrations at the threshold of standardness

Restrictions of mixed Hodge modules using generalized V-filtrations

V-filtrations and minimal exponents for locally complete intersection singularities