Positselski's uniform symbol-length conjecture

Let pp) be a prime, let Gˉ\bar G be a pro-pp group, let nn be a positive integer, and let ωˉHn(Gˉ,Fp)\bar\omega\in H^n(\bar G,\mathbb{F}_p). For a field FF containing a root of unity of order pp, write GFG_F for its absolute Galois group and let ρ ⁣:GFGˉ\rho\colon G_F\to\bar G be a profinite group homomorphism, with induced pullback ρ\rho^*. Positselski's uniform symbol-length conjecture. There is a non-negative integer M=M(Gˉ,n,ωˉ)M=M(\bar G,n,\bar\omega) such that

sl(ρ(ωˉ))M.\operatorname{sl}(\rho^*(\bar\omega))\leq M.

The conjecture would provide uniform constructive bounds on symbol lengths of pullbacks of fixed cohomology classes, complementing the nonconstructive Norm Residue Theorem and its applications to Massey products. 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.