Permutation invariance of Hurwitz orbit sizes in G6G_6

At least 4 years old · documented by

Let G6=⟨a,b∣a3=b2=1, ababab=bababa⟩G_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,a−1}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,a−1}\{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.

References

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.