The relative braid group fixed-subgroup conjecture

Let fΓ:ΣΣ=Σ/Γf_\Gamma:\Sigma\to\underline \Sigma=\Sigma/\Gamma be the quotient map in the assumptions of Proposition. Write BrΣΓBr_\Sigma^\Gamma for the subgroup of BrΣBr_\Sigma fixed by Γ\Gamma, and BrΣfΓBr_\Sigma^{f_\Gamma} for the relative braid group. Relative fixed-subgroup conjecture. In the assumptions of Proposition,

BrΣfΓ=BrΣΓ.Br_\Sigma^{f_\Gamma}=Br_\Sigma^\Gamma.

The inclusion BrΣfΓBrΣΓBr_\Sigma^{f_\Gamma}\subseteq Br_\Sigma^\Gamma is immediate from the proposition; the conjecture asserts the reverse inclusion.

Sources & referencesView supporting material

Primary source

Arkady Berenstein, Min Huang and Vladimir Retakh, “Noncommutative marked surfaces II: tagged triangulations, clusters, and their symmetries”, arXiv:2507.20393 (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.