Demuškin-to-pp-adic type conjecture

Let FF be a field containing a root of unity of order pp. A Demuškin cyclotomic pro-pp pair is the pair GF(p)\mathcal{G}_F(p) whose underlying maximal pro-pp Galois group is Demuškin; its rank is the dimension of its first cohomology over Fp\mathbb{F}_p. The pair has pp-adic type when it is the cyclotomic pro-pp pair associated with a finite extension of Qp(μp)\mathbb{Q}_p(\mu_p).

Demuškin-to-pp-adic type conjecture. If GF(p)\mathcal{G}_F(p) is a Demuškin cyclotomic pro-pp pair of rank at least 33, then GF(p)\mathcal{G}_F(p) has pp-adic type.

Every cyclotomic pair of pp-adic type has both Galois type and Demuškin type, but the converse implication is stated to be open for cyclotomic pairs of Galois type that are not already of pp-adic type. The conjecture would exclude many Demuškin pro-pp groups from occurring as maximal pro-pp Galois groups.

Sources & referencesView supporting material

Primary source

Ido Efrat, “The Elementary Type Conjecture for Maximal Pro-p Galois groups”, arXiv:2509.10168 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.