Title:Splitting hairs with transcendental entire functions

Abstract:For polynomials of degree at least two, local connectivity of their Julia set is an important property, since it leads to a complete description of their topological dynamics in terms of a simpler model. There is no such connection between the topology of the Julia set of a transcendental entire function $f$ and its dynamics. Nonetheless, it has been shown that one can still describe the dynamics of $f$ in terms of a simpler model, assuming that its \textit{postsingular set} is bounded and $f$ satisfies certain additional hyperbolicity assumptions.
Our goal in this paper is, for the first time, to give analogous results in cases when the postsingular set is unbounded. More specifically, we show that if $f$ is of finite order, has \textit{bounded criticality} on its Julia set, and its singular set consists of finitely many critical values that escape to infinity and satisfy a certain separation condition, then its Julia set $J(f)$ is a collection of \textit{dynamic rays} or \emph{hairs}, that \emph{split} at (preimages of) critical points, together with their corresponding landing points. In fact, our result holds for a much larger class of functions; in particular, the assumption of finite order is relaxed to the existence of a map in their parameter space whose Julia set is a \textit{Cantor bouquet}. The existence and landing of rays is a consequence of a more general result; we provide a \textit{topological model} for the action of $f$ on $J(f)$. Finally, we present new results concerning \textit{disjoint type} functions in the case that the Julia set is a Cantor bouquet.