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.

TR and the $r$-Nygaard filtered prismatic cohomology

TR with logarithmic poles and the de Rham-Witt complex

Syntomic cohomology and real topological cyclic homology

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

Crystalline prisms: Reflections and diffractions, present and past

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

A motivic filtration on the topological cyclic homology of commutative ring spectra

Spreading out the Hodge filtration in non-archimedean geometry

Torsion graded pieces of Nyggard filtration for crystalline representation

Derived $q$-Hodge complexes and refined $\operatorname{TC}^-$

Thomason filtration via $T(1)$-local $\mathrm{TC}$

On the prismatization of $O_K$ beyond the Hodge-Tate locus

Whitehead Filtrations for Computations in Topological Hochschild Homology

Filtrations on equivariant quantum cohomology and Hilbert-Poincaré series

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

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

Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

Logarithmic prismatic cohomology II

Equivariant aspects of de-completing cyclic homology

Ramification filtration via deformations, II