Invariant graphs of rational maps (Q2671924)

The authors study postcritically finite functions, i.e., rational maps \(f\) defined in the Riemann sphere with degree bigger than one and such that the closed union of the orbits of their critical points is finite. The main theorem establishes that for such functions (with non-empty Fatou set) there exist an integer \(n\) large enough and a finite and connected graph \(G\) that is invariant under \(f^n\), i.e., \(f^n(G)\subseteq (G)\). The main result is deduced from a series of auxiliary results, that are proved constructively.