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.

Relating depth graded and block graded motivic Lie algebras

Evaluation of the multiple zeta values $ζ(2,\ldots,2,4,2,\ldots,2)$ and period polynomial relations

Evaluation of and period polynomial relations

Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics

The depth-weight compatibility on the motivic fundamental Lie algebra and the Bloch-Kato conjecture for modular forms

Lie algebroid connections, twisted Higgs bundles and motives of moduli spaces

Graded Lie structure on cohomology of some exact monoidal categories

Multigraded algebras and multigraded linear series

Graded triangular bases

Quotient gradings and the intrinsic fundamental group

A geometric realization of Koszul duality for graded gentle algebras

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

Weight Filtrations and Derived Motivic Measures

ℓ-Adic GKZ Hypergeometric Sheaves and Exponential Sums

On higher Jacobians, Laplace equations and Lefschetz properties

On good Z-gradings of basic Lie superalgebras

On the first relative Hochschild cohomology and contracted fundamental group

Algebraic Cobordism and Étale Cohomology

Ramification filtration via deformations, II