Demuškin fields with valuations
type: Item
instance of: scholarly article
title: Demuškin fields with valuations
zbMATH Open document ID: 1122.11079
author: Ido Efrat
published in: Mathematische Zeitschrift
publication date: 2003-06-02T00:00:00Z
review text: Let \(p\) be a fixed prime and \(q = p^s\). A pro-\(p\) group \(G\) is a \(q\)-Demushkin group if the profinite cohomology group \(H^1(G,{\mathbb Z}/q)\) is a finite free \({\mathbb Z}/q\)-module, \(H^2(G,{\mathbb Z}/q) \cong {\mathbb Z}/q\), and the cup product \(H^1(G,{\mathbb Z}/q) \times H^1(G,{\mathbb Z}/q) \to H^2(G,{\mathbb Z}/q)\) is nondegenerate. Now let \(F\) be a field of characteristic not \(p\), and let \(G_F(p)\) denote the maximal pro-\(p\) Galois group of \(F\). \(F\) is said to be a \(q\)-Demushkin field if \(G_F(p)\) is a \(q\)-Demushkin group. A field \(F\) is arithmetically \(q\)-Demushkin if there exists a valuation \(u\) on \(F\) with \(p\)-divisible value group and a discrete rank-1 valuation \(w\) on the residue field \(E = \overline F_u\) such that \(\operatorname{char} E = 0, \operatorname{char} \overline E_w = p, 1 - \mathfrak{m}_u \leq (F^\times)^q\), and \(1 - q^2\mathfrak{m}_w \leq (E^\times)^q\). In this case, if \(F\) contains the \(q\)th roots of unity, then \(F\) is in fact \(q\)-Demushkin of \(q\)-rank \(\geq 3\). This article provides affirmative answers to the following two open questions, under the additional assumption that \(F\) is equipped with a valuation \(v\) whose value group is not \(p\)-divisible, and whose decomposition field in \(G_F(p)\) does not contain all roots of unity of \(p\)-power order. (1) Are all \(q\)-Demushkin fields of \(q\)-rank \(\geq 3\) and containing the \(q\)th roots of unity arithmetically \(q\)-Demushkin? (2) Is every pro-\(p\) Demuškin group which is isomorphic to \(G_F(p)\) for some field \(F\) in fact isomorphic to \(G_F(p)\) for some \(p\)-adic field \(F\)?
Mathematics Subject Classification ID: 11S25
Mathematics Subject Classification ID: 11S70
Mathematics Subject Classification ID: 12G05
Mathematics Subject Classification ID: 12J10
zbMATH DE Number: 1922384
zbMATH Keywords: field arithmetic
zbMATH Keywords: Galois groups
zbMATH Keywords: Demushkin group
MaRDI profile type: Publication
full work available at URL: s00209-002-0471-1
OpenAlex ID: W1981962599
DOI: 10.1007/S00209-002-0471-1
Recommended article: Q3207079
Recommended article: Q3322203
Recommended article: Residual fields in valuation theory.
Recommended article: On valuations of skew fields
Recommended article: Valued Fields
Recommended article: Valuations and Henselization
Recommended article: Q3826707
Recommended article: Minkowski valuations
Recommended article: Q4233749
Recommended article: Q4295695
description: scientific article; zbMATH DE number 1922384