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.

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

Poincare series of collections of plane valuations

Multiplicities and mixed multiplicities of arbitrary filtrations

Filtrations on equivariant quantum cohomology and Hilbert-Poincaré series

Filtrations of free groups arising from the lower central series

Real Poincaré series of a plane divisorial valuation

Filtrations associated with singularities

On real analogues of the Poincaré series

Curve counting on abelian surfaces and threefolds

Curve counting on the Enriques surface and the Klemm-Mariño formula

On the multi-index (3m-parametric) Mittag-Leffler functions, fractional calculus relations and series convergence

Duality for Poincaré series of surfaces and delta invariant of curves

Almost ordinary Abelian surfaces over global function fields with application to integral points

Equivariant Hilbert series for hierarchical models

Multiplier ideals of analytically irreducible plane curves

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

Filtrations of global equivariant K-theory

Multiplier ideals of normal surface singularities

Cyclic coverings of rational normal surfaces which are quotients of a product of curves

Ramification filtration via deformations, II

Rank Zero Segre Integrals on Hilbert Schemes of Points on Surfaces