The genus-zero covering subgroup conjecture

Let UiU_i be the genus-zero hyperbolic curves and let ΠUi(2,)\Pi_{U_i}^{(2,\ell)} be the groups used in the source for a prime \ell. Let (ΠUi2,)[1](\overline{\Pi}_{U_i}^{2,\ell})^{[1]} denote the indicated commutator subgroup, and let (ΠUi(2,))g=0(\Pi_{U_i}^{(2,\ell)})_{g=0} be the intersection of all abelian open subgroups corresponding to coverings of genus zero. The genus-zero covering subgroup conjecture. For every prime \ell,

(ΠUi(2,))g=0(ΠUi2,)[1].(\Pi_{U_i}^{(2,\ell)})_{g=0}\subset(\overline{\Pi}_{U_i}^{2,\ell})^{[1]}.

This is posed as a reformulation of the question whether genus-zero hyperbolic curves have enough coverings that also have genus zero. The supplied context does not state a resolution.

Sources & referencesView supporting material

Primary source

Naganori Yamaguchi, “The metabelian Grothendieck conjecture for genus zero curves over finitely generated fields”, arXiv:2407.09906 (2026).

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.