On the correspondence of external rays under renormalization

Abstract

Let $P$ be a monic polynomial of degree $D \geq 3$ whose filled Julia set $K_P$ has a non-degenerate periodic component $K$ of period $k \geq 1$ and renormalization degree $2 \leq d<D$. Let $I=I_K$ denote the set of angles $θ$ on the circle ${\mathbb T}={\mathbb R}/{\mathbb Z}$ for which the (smooth or broken) external ray $R^P_θ$ for $P$ accumulates on $\partial K$. We prove the following: $\bullet$ $I$ is a compact set of Hausdorff dimension $<1$ and there is an essentially unique degree $1$ monotone map $Π: I \to {\mathbb T}$ which semiconjugates $θ\mapsto D^k θ$ (mod 1) on $I$ to $θ\mapsto d θ$ (mod 1) on $\mathbb T$. $\bullet$ Any hybrid conjugacy $φ$ between a renormalization of $P^{\circ k}$ on a neighborhood of $K$ and a monic degree $d$ polynomial $Q$ induces a semiconjugacy $Π: I \to {\mathbb T}$ with the property that for every $θ\in I$ the external ray $R^P_θ$ has the same accumulation set as the curve $φ^{-1}(R^Q_{Π(θ)})$. In particular, $R^P_θ$ lands at $z \in \partial K$ if and only if $R^Q_{Π(θ)}$ lands at $φ(z) \in \partial K_Q$. $\bullet$ The ray correspondence established by the above result is finite-to-one. In fact, the cardinality of each fiber of $Π$ is $\leq D-d+2$, and the inequality is strict when the component $K$ has period $k=1$. Using a new type of quasiconformal surgery we construct a class of examples with $k=1$ for which the upper bound $D-d+1$ is realized and the set $I$ has isolated points.