Permutation invariance of Hurwitz orbit sizes in G6G_6

Let G6=a,ba3=b2=1, ababab=bababaG_6=\langle a,b\mid a^3=b^2=1,\ ababab=bababa\rangle, and let \ell be a positive integer with x1,x2,,x{a,b,a1}x_1,x_2,\ldots,x_\ell\in\{a,b,a^{-1}\}. For a permutation π\pi of {1,2,,}\{1,2,\ldots,\ell\}, consider the two factorizations

(x1,x2,,x)and(xπ(1),xπ(2),,xπ()).(x_1,x_2,\ldots,x_\ell)\quad\text{and}\quad(x_{\pi(1)},x_{\pi(2)},\ldots,x_{\pi(\ell)}).

Permutation-invariance conjecture. These two factorizations have Hurwitz orbits of equal size. The conjecture proposes that, in G6G_6, Hurwitz orbit size is unchanged by arbitrarily permuting a factorization whose entries lie in {a,b,a1}\{a,b,a^{-1}\}. The preceding results establish this kind of invariance for reversals under reversible relations, but the stronger invariance under every permutation is only suggested by testing small cases.

Sources & referencesView supporting material

Primary source

Colin Pirillo and Seth Sabar, “Hurwitz Orbits of Equal Size”, arXiv:2102.01145 (2021).

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.