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.

Galois representations over function fields that are ramified at one prime

Galois representations ramified at one prime and with suitably large image

Unramifiedness of Galois Representations Arising from Hilbert Modular Surfaces

Galois representations are surjective for almost all Drinfeld modules

Weak abelian direct summands and irreducibility of Galois representations

Galois Representations and Torsion in the Coherent Cohomology of Hilbert Modular Varieties

On Two Questions Concerning Representations Distinguished by the Galois Involution

Geometric realizations of representations for $\text{PSL}(2, \mathbb{F}_p)$ and Galois representations arising from defining ideals of modular curves

On modular representations of inner forms of $\mathrm{GL}_n$ over a local non-archimedean field

On some mod $p$ representations of quaternion algebra over $\mathbb{Q}_p$

Realizing Galois representations in abelian varieties by specialization

Galois Representations Associated to $p$-adic Families of Modular Forms of Finite Slope

Galois representations modulo $p$ that do not lift modulo $p^2$

On the Finiteness and Structure of Galois Groups of Tamely ramified pro-p Extensions of Imaginary Quadratic Fields

A note on images of Galois representations (with an application to a result of Litt)

On tamely ramified infinite Galois extensions

Arithmetic representations of fundamental groups II: finiteness

On Abelian 2-Ramification Torsion Modules of Quadratic Fields

Ramified covers of abelian varieties over torsion fields

Ramification filtration via deformations, II

Galois representations with large image in the global Langlands correspondence