Galois groups of p-extensions of higher local fields

arXiv2009.02501MaRDI QIDQ6348461FDOQ6348461

Victor Abrashkin

Publication date: 5 September 2020

Abstract: Suppose $mathcalK$ is $N$-dimensional local field of characteristic $p$, $mathcalG=mathopGal(mathcal{K}_{sep}/mathcalK)$, $mathcal{G}_{<p}$ is the maximal quotient of $mathcalG$ of period $p$ and nilpotent class $<p$ and $mathcal{K}_{<p}subsetmathcal{K}_{sep}$ is such that $mathopGal(mathcal{K}_{<p}/mathcalK)=mathcal{G}_{<p}$. We use nilpotent Artin-Schreier theory to identify $mathcal{G}_{<p}$ with the group $G(mathcalL)$ obtained from a profinite Lie $mathbb{F}_p$-algebra $mathcalL$ via the Campbell-Hausdorff composition law. The canonical $mathcalP$-topology on $mathcalK$ is used to define a dense Lie subalgebra $mathcal{L}^{mathcalP}$ in $mathcalL$. The algebra $mathcal{L}^{mathcalP}$ can be provided with a system of $mathcalP$-topological generators and its $mathcalP$-open subalgebras correspond to all $N$-dimensional extensions of $mathcalK$ in $mathcal{K}_{<p}$. These results are applied to higher local fields $K$ of characteristic 0 containing primitive $p$-th root of unity. If $Gamma=mathopGal(K_{alg}/K)$ we introduce similarly the quotient $Gamm{a}_{<p}=G(L)$, a dense $mathbb{F}_p$-Lie algebra $L^{mathcalP}subsetL$, and describe the structure of $L^{mathcalP}$ in terms of generators and relations. The general result is illustrated by explicit presentation of $Gamm{a}_{<p}$ modulo third commutators.

Mathematics Subject Classification ID

Ramification and extension theory (11S15) Galois theory (11S20)

This page was built for publication: Galois groups of p-extensions of higher local fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6348461)