Bounded Geometry and Characterization of post-singularly Finite $(p,q)$-Exponential Maps

TL;DR

This paper characterizes post-singularly finite $(p,q)$-exponential maps using bounded geometry, establishing conditions under which these maps are equivalent to specific entire functions like $e^{eta z}$ or $eta z^p e^{eta z}$, advancing understanding of transcendental dynamics.

Contribution

It provides a new combinatorial characterization of post-singularly finite $(p,q)$-exponential maps via bounded geometry, linking topological and analytical properties.

Findings

Finite post-singular sets imply combinatorial equivalence to entire maps under bounded geometry.

Bounded geometry ensures compactness for certain classes of maps.

Post-singularly finite maps with specific critical point conditions are equivalent to exponential or polynomial-exponential maps.

Abstract

In this paper we define a topological class of branched covering maps of the plane called {\em topological exponential maps of type $(p,q)$} and denoted by $\TE_{p,q}$, where $p\geq 0$ and $q\geq 1$. We follow the framework given in \cite{Ji} to study the problem of combinatorially characterizing an entire map $P e^{Q}$, where $P$ is a polynomial of degree $p$ and $Q$ is a polynomial of degree $q$ using an {\em iteration scheme defined by Thurston} and a {\em bounded geometry condition}. We first show that an element $f \in {\TE}_{p,q}$ with finite post-singular set is combinatorially equivalent to an entire map $P e^{Q}$ if and only if it has bounded geometry with compactness. Thus to complete the characterization, we only need to check that the bounded geometry actually implies compactness. We show this for some $f\in \TE_{p,1}$, $p\geq 1$. Our main result in this paper is that a post-singularly finite map $f$ in $\TE_{0,1}$ or a post-singularly finite map $f$ in $\TE_{p,1}$, $p\geq 1$, with only one non-zero simple breanch point $c$ such that either $c$ is periodic or $c$ and $f(c)$ are both not periodic, is combinatorially equivalent to a post-singularly finite entire map of either the form $e^{\lambda z}$ or the form $ \alpha z^{p}e^{\lambda z}$, where $\alpha=(-\lambda/p)^{p}e^{- \lambda (-p/\lambda)^{p}}$, respectively, if and only if it has bounded geometry. This is the first result in this direction for a family of transcendental holomorphic maps with critical points.