Tischler graphs of critically fixed rational maps and their applications

Abstract

A rational map $f:\widehat{\mathbb{C}}\to\widehat{\mathbb{C}}$ on the Riemann sphere $\widehat{\mathbb{C}}$ is called critically fixed if each critical point of $f$ is fixed under $f$. In this article, we study the properties of a combinatorial invariant, called the Tischler graph, associated with such a map. We show that the Tischler graph of a critically fixed rational map is always connected, establishing a conjecture made by Kevin Pilgrim. This result allows us to solve two classical open problems in rational dynamics in the setting of critically fixed rational maps, namely the combinatorial classification problem and the global curve attractor problem. In particular, we prove that there is a canonical one-to-one correspondence between the conjugacy classes of critically fixed rational maps and the isomorphism classes of connected planar embedded graphs.

Figures (5)

• Figure 1: A planar embedded graph $\mathsf{G}$ (left) and its blow-up graph $\mathsf{G}'$ (right).
• Figure 2: The Tischler graph $\operatorname{Tisch}(f)$ (left) and a charge graph $\operatorname{Charge}(f)$ (right) of the map $f$ from Section \ref{['sec:example']}.
• Figure 3: The map $\widetilde{f}_\mathsf{G}$ obtained by blowing up edges of the graph $\mathsf{G}$ (on the left).
• Figure 4: Constructing the edge $e_j=e(Q_j)$ and the closed Jordan region $D_j$ inside a face $Q_j$ of the Tischler graph when $Q_j$ is a quadrilateral (left) and a bigon with a sticker inside (right).
• Figure 5: The pullbacks of a curve $\gamma$ under the map $\widetilde{f}_\mathsf{G}$ from Figure \ref{['fig:Blow_map']}.

Theorems & Definitions (26)

• Definition
• Definition
• Theorem 1
• Theorem 2
• Theorem 3
• Corollary 4
• Theorem 5
• Example
• proof
• proof