The centralizer index conjecture for rational maps with automorphisms

About 12 years old · traced to

Let KK be a field, let ϕ∈K(x)\phi\in K(x), and let T∞T_\infty be its pre-image tree rooted at 00. Let A(ϕ)A(\phi) be the subgroup of Aut⁡(T∞)\operatorname{Aut}(T_\infty) generated by the actions of all nontrivial Möbius transformations m∈PGL⁡2(K)m\in\operatorname{PGL}_2(K) satisfying m−1∘ϕ∘m=ϕm^{-1}\circ\phi\circ m=\phi and m(0)=0m(0)=0. Let C(ϕ)C(\phi) be the centralizer of A(ϕ)A(\phi) in Aut⁡(T∞)\operatorname{Aut}(T_\infty). Centralizer index conjecture. If A(ϕ)A(\phi) is nontrivial, then

[Aut⁡(T∞):C(ϕ)]=∞.[\operatorname{Aut}(T_\infty):C(\phi)]=\infty.

The centralizer contains the arboreal Galois group because the Galois action commutes with the KK-defined Möbius symmetries. The source gives no resolution of this conjecture.

References

Primary source

Rafe Jones, “Galois representations from pre-image trees: an arboreal survey”, arXiv:1402.6018 (2014).

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.