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.

Perverse Filtrations via Brylinski-Radon transformations

Brylinski-Radon transformation in characteristic $p>0$

Perverse filtrations, Chern filtrations, and refined BPS invariants for local $\mathbb{P}^2$

Brylinski-Radon transformation and generic projections

Cohomological stabilization, perverse filtrations, and refined BPS invariants for del Pezzo surfaces

BPS Lie algebras and the less perverse filtration on the preprojective CoHA

Filtrations on Springer fiber cohomology and Kostka polynomials

Ramification filtration via deformations, II

Critical Lambda-adic modular forms and bi-ordinary complexes

Spreading out the Hodge filtration in non-archimedean geometry

Perverse sheaves and t-structures on the thin and thick affine flag varieties

Rational $p$-adic Hodge theory for rigid-analytic varieties

Duality between Cartier crystals and perverse $\mathbb{F}_p$-sheaves, and application to generic vanishing

Perverse sheaves on twisted affine flag varieties and Langlands duality

Families over the integral Bernstein Center and Tate cohomology of local Base change lifts for GL(n, F)

Mixed modular perverse sheaves on affine flag varieties and Koszul duality

Borel $(α,β)$-multitransforms and Quantum Leray-Hirsch: integral representations of solutions of quantum differential equations for $\mathbb P^1$-bundles

Frobenius pushforwards of of vector bundles on projective spaces

On a t-exactness property of the Harish-Chandra transform

A Hermite-Minkowski type theorem of varieties over finite fields

Derived $V$-filtrations and the Kontsevich-Sabbah-Saito theorem