The genus-zero covering subgroup conjecture

About 2 years old · traced to

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.

References

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.