English

On the centralizers of endomorphisms of the projective line

Dynamical Systems 2025-12-16 v1 Group Theory Number Theory

Abstract

Let ff be a dominant endomorphism of the projective line, which is not conjugate to a power map zz±dz\mapsto z^{\pm d}. We consider the centralizers of the iterates of ff, C(fn):={dominant  g:P1P1    gfn=fng}C(f^{n}):=\{\textrm{dominant}\;g:\mathbb{P}^{1}\rightarrow\mathbb{P}^{1}\;|\; g\circ f^{n}=f^{n}\circ g\}, n1n\geq1, and prove that their union is equal to C(fN)C(f^{N}) for some N1N\geq1. This solves a conjecture of F. Pakovich. As an application, we obtain a Tits alternative for cancellative semigroups of endomorphisms of the projective line, without an assumption of finite generation, extending the results of J.P. Bell, K. Huang, W. Peng and T.J. Tucker.

Keywords

Cite

@article{arxiv.2512.13523,
  title  = {On the centralizers of endomorphisms of the projective line},
  author = {Alonso Beaumont},
  journal= {arXiv preprint arXiv:2512.13523},
  year   = {2025}
}