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.

The Rees algebra and analytic spread of a divisorial filtration

Rees Algebras and the reduced fiber cone of divisorial filtrations on two dimensional normal local rings

Analytic spread of filtrations on two dimensional normal local rings

Multiplicities and mixed multiplicities of arbitrary filtrations

Rees valuations

Rees algebras of ideals submaximally generated by quadrics

First Coefficient ideals and $R_1$ property of Rees algebras

A family of quotients of the Rees algebra

A note on Ratliff-Rush filtration, reduction number and postulation number of $\mathfrak m$-primary ideals

On Rees algebras of ideals and modules with weak residual conditions

Ramification filtration via deformations, II

Bounding reduction number and the Hilbert coefficients of filtration

Lefschetz properties of squarefree monomial ideals via Rees algebras

Some characterizations of Gorenstein Rees Algebras

Filtrations associated with singularities

Dao's question on the asymptotic behaviour of fullness

Duality and the equations of Rees rings and tangent algebras

Asymptotic properties of infinite directed unions of local quadratic transforms

The Hodge filtration and parametrically prime divisors

Rees algebras of sparse determinantal ideals

Higher multiplier ideals