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 Neukirch-Uchida theorem with restricted ramification

On Krull-Schmidt decompositions of unit groups of number fields

A Density of Ramified Primes

Ramification filtration via deformations, II

The Kudla-Rapoport conjecture at a ramified prime for $U(1, 1)$

A Prime Number Theorem for Rankin-Selberg L-functions over Number fields

A proof of the Kudla-Rapoport conjecture for Krämer models

Automorphism Groups of Finite Extensions of Fields and the Minimal Ramification Problem

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

On the Schertz conjecture

Ramification groups of some finite Galois extensions of maximal nilpotency class over local fields of positive characteristic

Proof of a conjecture of Kudla and Rallis on quotients of degenerate principal series

Minimal resolutions of Iwasawa modules

Some Variants of Kuniyoshi-Gaschütz Theorem with Applications to Noether's Problem

A number field analogue of Weil's theorem on congruent zeta functions

On Abelian extensions in mixed characteristic and ramification in codimension one

Sur le théorème de Brauer-Siegel généralisé

Galois representations ramified at one prime and with suitably large image

On the Second Main Theorem of Nevanlinna Theory for Singular Divisors with $(k, \Ell)$-Conditions

Compatibility of canonical $\ell$-adic local systems on Shimura varieties

Certain squarefree levels of reducible modular mod$\,\ell$ Galois representations