The Pro-p Elementary Type Conjecture

Let FF be a field containing a root of unity of order pp, and let GF(p)G_F(p) be its maximal pro-pp Galois group. Let B\mathfrak{B} be the class of standard building blocks and let ET(B)\mathrm{ET}(\mathfrak{B}) denote the associated class of elementary type pro-pp pairs; write GF(p)\mathcal{G}_F(p) for the corresponding cyclotomic pro-pp pair. The Pro-pp Elementary Type Conjecture. If GF(p)G_F(p) is finitely generated as a pro-pp group, then

GF(p)ET(B).\mathcal{G}_F(p)\in\mathrm{ET}(\mathfrak{B}).

This predicts a structural classification of finitely generated maximal pro-pp Galois groups. The supplied source gives no resolution evidence.

Sources & referencesView supporting material

Primary source

Ido Efrat, “The symbol length for elementary type pro-p groups and Massey products”, arXiv:2212.02249 (2024).

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.