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.

An example of the Jantzen filtration of a D-module

Two proofs of a Jantzen Conjecture for Whittaker Modules

Filtrations on the globalization of twisted D-modules over Dedekind schemes

Monoidal Jantzen filtrations

Graded Decomposition Matrices of V-Schur Algebras Via Jantzen Filtration

Restrictions of mixed Hodge modules using generalized V-filtrations

Ramification filtration via deformations, II

Carter-Payne homomorphisms and Jantzen filtrations

Quantum Supersymmetries (II): Loewy Filtrations and Quantum de Rham Cohomology over Quantum Grassmann Superalgebra

Noncommutative Koszul filtrations

$\mathscr{D}$-modules on the basic affine space and large $\mathfrak{g}$-modules

Multiplier ideals and filtered D-modules

Primitive Feynman diagrams and the rational Goussarov--Habiro Lie algebra of string links

Local Cohomology of Certain Determinantal Thickenings

Brick chain filtrations

An alternative proof of $\widehat{\mathfrak{sl}}_2'$ standard module semi-infinite structure

ON THE IRREGULAR HODGE FILTRATION OF EXPONENTIALLY TWISTED MIXED HODGE MODULES

Local monodromy of Drinfeld modules

On the Chern filtration for the moduli of bundles on curves

Filtrations and recursions for Schubert modules