Slices of Parameter Space for Meromorphic Maps with Two Asymptotic Values

TL;DR

This paper fully describes the parameter space of a family of exponential meromorphic functions with two asymptotic values and an attracting fixed point, advancing the understanding of complex dynamical systems with singularities.

Contribution

It extends the analysis of parameter spaces from rational functions to certain transcendental functions with essential singularities, showing similar structural properties.

Findings

Complete description of parameter space for the specific exponential family

Demonstration of similar dynamic structures to rational functions despite singularities

Adaptation of techniques from rational to transcendental dynamics

Abstract

This paper is part of a program to understand the parameter spaces of dynamical systems generated by meromorphic functions with finitely many singular values. We give a full description of the parameter space for a specific family based on the exponential function that has precisely two finite asymptotic values and one attracting fixed point. It represents a step beyond the previous work in [GK] on degree 2 rational functions with analogous constraints: two critical values and an attracting fixed point. What is interesting and promising for pushing the general program even further, is that, despite the presence of the essential singularity, our new functions exhibit a dynamic structure as similar as one could hope to the rational case, and that the philosophy of the techniques used in the rational case could be adapted.

Equations

$$f_{\lambda ,\rho }(z)=\frac{e^z-e^{-z}}{\frac{e^z}{\lambda }-\frac{e^{-z}}{\mu }}\text{mbox}where\frac{1}{\lambda }-\frac{1}{\mu }=\frac{2}{\rho },\rho \in {\mathbb{D}}^{\ast }.$$

$$P_f=\overline{{\cup }_{a\in S_f}{\cup }_{n=0}^{\infty }{f}^n(a)\cup \{\infty \}}.$$

$$|(f^n{)}^{\prime }(z)|>c{K}^n(|f^n(z)|+1)/(|z|+1).$$

$$S(f)=\big{(}\frac{f^{\prime\prime}}{f^{\prime}}\big{)}^{\prime}-\frac{1}{2}\big{(}\frac{f^{\prime\prime}}{f^{\prime}}\big{)}^{2}.$$

$$S(f\circ g)=S(f)(g^{\prime }{)}^2+S(g).$$

$$f(z)=\frac{a{e}^{kz}+b{e}^{-kz}}{c{e}^{kz}+d{e}^{-kz}},ad-bc\ne 0,$$

$$f_{\lambda ,\mu }(z)=\frac{e^z-e^{-z}}{\frac{e^z}{\lambda }-\frac{e^{-z}}{\mu }}$$

$$\frac{1}{\lambda }-\frac{1}{\mu }=\frac{2}{\rho }.$$

$$f_{{\lambda }^{\prime },{\mu }^{\prime }}(z)=\frac{e^z-e^{-z}}{\frac{e^z}{{\lambda }^{\prime }}-\frac{e^{-z}}{{\mu }^{\prime }}}=\frac{e^z-e^{-z}}{\frac{e^z}{-\mu }-\frac{e^{-z}}{-\lambda }},$$

$$\frac{1}{{\lambda }^{\prime }}-\frac{1}{{\mu }^{\prime }}=\frac{2}{\rho }=-\frac{1}{\mu }+\frac{1}{\lambda }.$$

$$\widehat{\mathbb{F}}_{2}=\Big{\{}f_{\lambda,\rho}(z)=\frac{e^{z}-e^{-z}}{\frac{e^{z}}{\lambda}-\frac{e^{-z}}{\mu}}\;\;\Big{|}\;\;\rho\in{\mathbb{C}}^{*},\;\;\lambda\in{\mathbb{C}}^{*}\setminus\{\rho/2\},\;\;\frac{1}{\lambda}-\frac{1}{\mu}=\frac{2}{\rho}\Big{\}}\Big{/}\sim.$$

$${\mathcal{F}}_{2}=\{f_{\lambda,\rho}\}=\big{(}{\mathbb{C}}\setminus\{0,\rho/2\}\big{)}\times{\mathbb{D}}^{*}$$

$$f_{\lambda ,\mu ,\rho }(-z)=f_{\mu ,\lambda ,-\rho }(z)\text{mbox}and{f}_{\lambda ,\mu ,\rho }(-z)=f_{-\mu ,-\lambda ,\rho }(z)$$

$$I(\lambda )=-\mu =\frac{\lambda }{2\lambda /\rho -1}$$

$$f_{-\mu }(-\mu )=\frac{e^{-2\mu }-1}{\frac{e^{-2\mu }}{-\mu }-\frac{1}{-\lambda }}=\frac{e^{2\mu }-1}{\frac{e^{2\mu }}{\lambda }-\frac{1}{\mu }}=f_{\lambda }(\mu )$$

$$f_{-\mu }(-\lambda )=\frac{e^{-2\lambda }-1}{\frac{e^{-2\lambda }}{-\mu }-\frac{1}{-\lambda }}=\frac{e^{2\lambda }-1}{\frac{e^{2\lambda }}{\lambda }-\frac{1}{\mu }}=f_{\lambda }(\lambda ).$$

$$\overline{f_{\lambda }(\lambda )}=f_{\bar{\lambda }}(\bar{\lambda })=f_{{\lambda }_1}({\lambda }_1);$$

$$f_{\lambda }(\mu )=f_{\lambda }(-\bar{\lambda })=-\overline{f_{\lambda }(\lambda )}.$$

$$\underset{t\to \infty }{\lim }f(\gamma (t))=\underset{t\to \infty }{\lim }{f}^{n+1}(\hat{\gamma }(t))=\lambda =a_1,$$

$${\mathbf{a}}_{\lambda }=\{a_0,a_1,\dots ,a_{n-2},a_{n-1}\}$$

$$p_k(\lambda )=\frac{1}{2}\mathrm{Log}(\frac{\rho -2\lambda }{\rho })+ik\pi ,$$

$${\mathcal{V}}_1=\{{\lambda }_k^{\ast }\in \Sigma |g_{{\lambda }^{\ast },k}(\infty )={\lambda }^{\ast }\}.$$

$${\mathcal{V}}_{n-1}=\{{\lambda }_{k_{n-1}\dots k_1}^{\ast }\in \Sigma \setminus {\cup }_{i=1}^{n-2}{\mathcal{V}}_i|g_{{\lambda }_{k_{n-1}\dots k_1}^{\ast },k_{n-1}\dots k_1}(\infty )={\lambda }_{k_{n-1}\dots k_1}^{\ast }\}.$$

$$a_0=g_{k_n}\circ \dots g_{k_2}\circ g_{k_1}(a_0).$$

$$c_n(\lambda )=f_{\lambda }^{n-2}(\lambda )-p^{\ast }(\lambda ).$$

$$h(z,c)=p_c:E_{\lambda }\times V\to \hat{\mathbb{C}}.$$

$$H(z,c):{\overline{E}}_{\lambda }\times V\to \hat{\mathbb{C}}$$

$$H_{\lambda ,{\lambda }^{\prime }}\circ f_{\lambda }=f_{{\lambda }^{\prime }}\circ H_{\lambda ,{\lambda }^{\prime }}on{J}_{\lambda }.$$

$$p_k(\lambda )=\frac{1}{2}\log (\frac{\rho -2\lambda }{\rho })+ik\pi ,k\in \mathbb{Z},$$

$$Exp(z)=e^z:\mathbb{C}\to \mathbb{C}$$

Full text

This material is based upon work supported by the National Science Foundation. It is partially supported by a collaboration grant from the Simons Foundation (grant number 523341) and PSC-CUNY awards.

1. Introduction

A general principle in complex dynamics is that singular values control the dynamical behavior. There is now a long history of isolating interesting families of functions whose singular values can be parameterized in a way that allows one to understand how the dynamics varies across the family. In practice, one constrains the number of singular values and the behavior of one or more of them–for example, by demanding that the orbit of one tends to an attracting fixed point.

This paper is a step along the way to a general theory for meromorphic functions with finitely many singular values. We adapt a technique developed by Douady, Hubbard and their students to study spaces of cubic polynomials, and used in [GK] for rational maps of degree 2, in which the parameter space is modeled on the dynamic space of a fixed map in the family. We will be looking at a family of meromorphic functions that are close enough to rational maps of degree 2 that there should be (and is) a direct similarity between the behaviors. To put this in context, it helps to review some of the history.

The study of the parameter space for families of complex dynamical systems began with the family of quadratic polynomials. They have one critical value whose behavior determines the dynamics and it is this behavior that is captured by the Mandelbrot set and its complement. The next step was to study families with two free critical values — cubic polynomials and rational maps of degree two. Moving out of the realm of rational functions and into that of dynamics of transcendental functions, we see more substantial differences between entire and meromorphic functions than between polynomials and rationals. Rational maps define finite coverings of the plane, but transcendental maps define infinite coverings. Moreover, while the poles of rational maps are no different from regular points, the poles of (transcendental) meromorphic functions add a new flavor to the dynamics. It turns out that there are more similarities between the parameter space of rational maps of degree 2 and that of the tangent family $\lambda\tan z$ than between quadratic polynomials and the exponential family. See e.g. [DFJ, DK, FG, KK, RG, Sch]. Is this similarity just good fortune, or is it suggestive of a more general pattern of relationships with rational maps?

Thanks to invariance under Möbius transformations, in order to study rational maps of degree $2$, we can restrict our attention to maps of the form $(z+b+1/z)/\rho$ where $b\in{\mathbb{C}}$ and $\rho\in{\mathbb{C}}^{*}$. This family is often called $Rat_{2}$ in the literature. These functions fix infinity where the derivative (multiplier) is $\rho\neq 0$ and have two free critical values, $(b\pm 2)/\rho$, rather than one as in the quadratic polynomial case. Constraining $\rho$ to lie in the punctured unit disk, ${\mathbb{D}}^{*}$, makes infinity an attracting fixed point for all values of $b$. In the paper [GK], a structure theorem is proved for this family that is as close as one could hope to the earlier examples:

Theorem** (Structure Theorem for $Rat_{2}$).**

Fix $\rho\in{\mathbb{D}}^{*}$, and consider the family $(z+b+1/z)/\rho$ where $b\in{\mathbb{C}}$. The $b$ plane is divided into three components by a bifurcation locus: two copies of the Mandelbrot set that meet at the origin and are symmetric about it, and a “shift locus”. For $b$ in either copy of the Mandelbrot set, one or the other critical value is attracted to infinity and the other is not. In the shift locus, both critical values are attracted to infinity.

This paper looks at the family of meromorphic functions whose members “look like degree 2 rationals”: they have two finite omitted asymptotic values $\lambda$ and $\mu$ and an attracting fixed point (in this case, at the origin) with multiplier $\rho$:

[TABLE]

We use ${\mathcal{F}}_{2}$ to denote this family. Our main result is a structure theorem for the slice of the parameter space defined by a fixed $\rho\in{\mathbb{D}}^{*}$, and those $\lambda$’s for which that $\rho$ has a corresponding $\mu$, namely $\lambda$ not equal to [math] or $\rho/2$. It is a direct analogue of the $Rat_{2}$ theorem:

Theorem** (Main Structure Theorem).**

For each $\rho\in{\mathbb{D}}^{*}$, the parameter slice, $\lambda\in{\mathbb{C}}\setminus\{0,\rho/2\}$ divides into three distinct regions: two copies of connected and full sets ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ in which only one of the asymptotic values $\mu$ or $\lambda$ is attracted to the origin and a “shift locus” ${\mathcal{S}}$ in which both asymptotic values are attracted to the origin. The shift locus ${\mathcal{S}}$ is conformally equivalent to a punctured annulus. The puncture is at the origin. The other puncture of the parameter plane, $\rho/2$, is on the boundary of the shift locus.

We are able to give a description of the sets ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$. Like the Mandelbrot set in $Rat_{2}$, ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ contain hyperbolic components in which one or the other of the asymptotic values tends to a non-zero attracting cycle. Within each component the functions are quasiconformally conjugate. Components like this were first studied in [KK] where they occur in the parameter plane of the tangent family $\lambda\tan z$. There, and in other later work, (see [KK, FK, CK]), it was proved that each component is a universal cover of ${\mathbb{D}}^{*}$; based on the computer pictures, these components were called shell components. Thus, unlike the Mandelbrot set, the hyperbolic components do not contain a “center” where the periodic cycle contains the critical value and has multiplier zero. Instead, they contain a distinguished boundary point with the property that as the parameter approaches this point, the limit of the multiplier of the periodic cycle attracting the asymptotic value is zero. It is thus called a “virtual center”.

Like the characterization of centers of the components of the Mandelbrot set in terms of the sequence of inverse branches that keep the critical value fixed, a virtual center $\lambda^{*}$ can also be characterized by the property that there is some $n$ such that $f_{\lambda^{*}}^{n-1}(\lambda^{*})=\infty$ or $f_{\lambda^{*}}^{n-1}(\mu(\lambda^{*},\rho))=\infty$; the point is thus also called a “virtual cycle parameter of order $n$”. In this paper we give a complete combinatorial description of the virtual cycle parameters:

Theorem** (Combinatorial Structure Theorem).**

The virtual cycle parameters $\lambda_{{\mathbf{k}}_{n}}$ of order $n$ can all be labelled by sequences ${\mathbf{k}}_{n}=k_{n-1}\ldots k_{1}$, where $k_{i}\in{\mathbb{Z}}$, in such a way that each of the parameters $\lambda_{{\mathbf{k}}_{n}}$ is an accumulation point in ${\mathbb{C}}$ of a sequence of parameters $\lambda_{{\mathbf{k}}_{n+1}}$ of order $n+1$ and related to ${{\mathbf{k}}_{n}}$; that is, ${\mathbf{k}}_{n+1}=k_{n-1}\ldots k_{1}k_{0,j}$, $j\in{\mathbb{Z}}$. This combinatorial description of the virtual cycle parameters determines combinatorial descriptions of the sets ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$.

In [CJK], we proved a “transversality theorem” for functions in the tangent family. Combining the techniques in the proof of this theorem with the results here, we prove

Theorem** (Common Boundary Theorem).**

Every virtual cycle parameter is both a boundary point of a shell component and a boundary point of the shift locus. Furthermore, the dynamics of the family $\{f_{\lambda}\}$ is transversal at each of these virtual cycle parameters (see Definition 7 and Remark 5.1). And even further, the set of all virtual cycle parameters is dense in the common boundary of the shift locus ${\mathcal{S}}$ and the sets ${\mathcal{M}}_{\lambda}\cup{\mathcal{M}}_{\mu}$.

The paper is broken down into two parts. Part 1 provides the background we need and some of the basic facts about the dynamical systems for functions in ${\mathcal{F}}_{2}$. Part 2 contains the main results of the paper.

We begin by quickly reviewing the basic definitions and facts we need about the dynamics of meromorphic functions and a theorem of Nevanlinna’s, theorem 2.2, that characterizes the functions we work with in terms of their Schwarzian derivatives. We next take a detailed look at ${\mathcal{F}}_{2}$. In particular, in 3.4 we show that there is a dichotomy in the dynamics in this family analogous to that for quadratic polynomials: either the Julia set is a Cantor set or there is a connected “filled Julia set” analogous to the filled Julia set of a quadratic polynomial.

Part 2 begins with the description of the sets ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ from the Main Structure Theorem and gives the definitions of virtual cycle parameters and virtual centers. The combinatorial description of the virtual cycle parameters, the Combinatorial Structure Theorem, is given in section 4.2. Pictures of the parameter plane follow and the rest of the paper contains the the proof of the Common Boundary Theorem, which leads to a detailed discussion of the shift locus and the rest of Main Structure Theorem.

We would like to thank the reviewer for his or her careful reading on the first version of this paper. We have taken the comments into account in this version and it is a real improvement.

Part I Background

2. Basic Dynamics

Here we give the basic definitions, concepts and notations we will use. When we say a function is meromorphic we mean that it is transcendental meromorphic. We refer the reader to standard sources on meromorphic dynamics for details and proofs. See e.g. [Berg, BF, BKL1, BKL2, BKL3, BKL4, DK, KK].

We denote the complex plane by ${\mathbb{C}}$, the Riemann sphere by $\widehat{\mathbb{C}}$ and the unit disk by ${\mathbb{D}}$. We denote the punctured plane by ${\mathbb{C}}^{*}={\mathbb{C}}\setminus\{0\}$ and the punctured disk by ${\mathbb{D}}^{*}={\mathbb{D}}\setminus\{0\}$.

Given a family of meromorphic functions, $\{f_{\lambda}(z)\}$, we look at the orbits of points formed by iterating the function $f(z)=f_{\lambda}(z)$. If $f^{k}(z)=\infty$ for some $k>0$, $z$ is called a pre-pole of order $k$ — a pole is a pre-pole of order $1$. For meromorphic functions, the poles and pre-poles have finite orbits that end at infinity. The Fatou set or Stable set, $F_{f}$, consists of those points at which the iterates $\{f_{\lambda}^{n}\}_{n=0}^{\infty}$ are well-defined and form a normal family in a neighborhood of each of them. The Julia set $J_{f}$ is the complement of the Fatou set and contains infinity as well as all the poles and pre-poles.

A point $z$ such that $f^{n}(z)=z$ is called periodic. The minimal such $n>0$ is called the period. Periodic points are classified by their multipliers, $\nu(z)=(f^{n})^{\prime}(z)$ where $n$ is the period: they are repelling if $|\nu(z)|>1$, attracting if $0<|\nu(z)|<1$, super-attracting if $\nu=0$ and neutral otherwise. A neutral periodic point is parabolic if $\nu(z)=e^{2\pi ip/q}$ for some rational $p/q$. The Julia set is the closure of the repelling periodic points. For meromorphic $f$, it is also the closure of the pre-poles, (see e.g. [BKL1]).

If $D$ is a component of the Fatou set, either $f^{n}(D)\subseteq f^{m}(D)$ for some integers $n,m$ or $f^{n}(D)\cap f^{m}(D)=\emptyset$ for all pairs of integers $m\neq n$. In the first case $D$ is called eventually periodic and in the latter case it is called wandering. The periodic cycles of stable domains are classified as follows:

• •

Attracting or super attracting if the periodic cycle of domains contains an attracting or superattracting cycle in its interior.

• •

Parabolic if there is a parabolic periodic cycle on its boundary.

• •

Rotation if $f^{n}:D\rightarrow D$ is holomorphically conjugate to a rotation map. Rotation domains are either simply connected or topological annuli. These are called Siegel disks and Herman rings respectively.

• •

Essentially parabolic, or Baker, if there is a point $z_{\infty}\in\partial D$ such that $f^{n}(z_{\infty})$ is not well defined and for every $z\in D$, $\lim_{k\to\infty}f^{nk}(z)=z_{\infty}.$

A point $a$ is a singular value of $f$ if $f$ is not a regular covering map over $a$.

• •

$a$ is a critical value if for some $z$, $f^{\prime}(z)=0$ and $f(z)=a$.

• •

$a$ is an asymptotic value if there is a path $\gamma(t)$, called an asymptotic path, such that $\lim_{t\to\infty}\gamma(t)=\infty$ and $\lim_{t\to\infty}f(\gamma(t))=a$.

• •

The set of singular values $S_{f}$ consists of the closure of the critical values and the asymptotic values. The post-singular set is

[TABLE]

For notational simplicity, if a pre-pole $s$ of order $p$ is a singular value, $\cup_{n=0}^{p}f^{n}(s)$ is a finite set with $f^{p}(s)=\infty$.

Definition 1**.**

If an asymptotic value $a$ is isolated, it has neighborhoods $U$ such that for at least one unbounded simply connected component $V$ of $f^{-1}(U\setminus\{a\})$, $f:V\rightarrow U\setminus\{a\}$ is a universal covering map and we call $V$ an asymptotic tract for $a$. If $V_{1}$ and $V_{2}$ are asymptotic tracts for $a$, and $f:V_{1}\cap V_{2}\rightarrow U\setminus\{a\}$ is a universal covering map, we say $V_{1}$ and $V_{2}$ are equivalent. The multiplicity of the asymptotic value $a$ is the number of distinct equivalence classes of asymptotic tracts of $a$. An asymptotic value is called simple if its multiplicity is $1$.

Another important concept is

Definition 2**.**

A map $f$ is hyperbolic if $J_{f}\cap{P_{f}}=\emptyset$.

In rational dynamics, a map is hyperbolic if it satisfies an expansion property on its Julia set; that is, (see [Mil]), there exist constants $c>0$ and $K>1$ such that for all $z$ in a neighborhood $V\supset J(f)$, $|(f^{n})^{\prime}(z)|>cK^{n}$. For such maps, this property is equivalent to the condition that $J_{f}\cap{P_{f}}=\emptyset$.

Because the Julia set of a meromorphic function is unbounded and its iterates have singularities at the prepoles we need a version of this condition tailored to transcendental maps. We use the following one proved in [RS] which applies to hyperbolic functions in ${\mathcal{F}}_{2}$.

Proposition 2.1** (Rippon-Stallard).**

If $S(f)$ is bounded and $\overline{PS(f)}\cap J(f)=\emptyset$, then there exist two constants $c>0$ and $K>1$ satisfying

[TABLE]

for all $z\in J(f)\setminus A_{n}(f)$ and all $n$ where $A_{n}(f)$ is the set of points where $f^{n}$ is not analytic (prepoles of lower order).

A standard result in dynamics is that each attracting, super-attracting, parabolic or Baker cycle of domains contains a singular value. Moreover, unless the cycle is superattracting, the orbit of the singular value is infinite and accumulates on the cycle, or the orbit of $z_{\infty}$ associated with the Baker domain. The boundary of each rotation domain is contained in the post singular set. (See e.g. [Mil], chap 8-11 or [Berg], Sect.4.3.)

2.1. Nevanlinna’s theorem

Recall that the Schwarzian derivative is defined by

[TABLE]

It satisfies the cocycle relation

[TABLE]

Since the Schwarzian derivative of a Möbius transformations is zero, solutions to the Schwarzian differential equation $S(f)(z)=P(z)$ are unique up to post-composition by a Möbius transformation. See [Hil] and [Nev1] for proofs.

Nevanlinna’s theorem characterizes transcendental functions with finitely many singular values and finitely many critical values in terms of their Schwarzian derivatives.

Theorem 2.2** (Nevanlinna,[Nev1], Chap XI, [Hil]).**

Every meromorphic function $g$ with $p<\infty$ asymptotic values and no critical values has the property that its Schwarzian derivative is a polynomial function of degree $p-2$. Conversely, for every polynomial function $P(z)$ of degree $p-2$, the solution to the Schwarzian differential equation $S(g)=P(z)$ is a meromorphic function with exactly $p$ asymptotic values and no critical points. The only essential singularity is at infinity.

A summary of the proof is given in [DK1] where the behavior of the function in a neighborhood of infinity is described. There are $p$ equally spaced asymptotic tracts separated by Julia directions along which the poles tend asymptotically to infinity. An immediate corollary of the theorem is

Corollary 2.3**.**

If $f$ is a meromorphic functions with $p$ finite simple asymptotic values and no critical values and $h$ is a homeomorphism of the complex plane ${\mathbb{C}}$ such that $g=h^{-1}\circ f\circ h$ is holomorphic (meromorphic), then $S(g)$ is a polynomial of degree $p$.

In [DK1], this corollary is used to prove that if $f$ has polynomial Schwarzian derivative and all its asymptotic values are finite, then $f$ cannot have a Baker domain.

3. Functions with two simple asymptotic values

Our focus in this paper is on parameter spaces of meromorphic functions with two finite simple asymptotic values and no critical values. By theorem 2.2, such functions are characterized by the property that they have a constant Schwarzian derivative. Each asymptotic value is simple and there are exactly two distinct non-equivalent asymptotic tracts. We denote this family by ${\mathbb{F}}_{2}$.

It is easy to compute that $S(e^{2kz})=-2k^{2}$ and therefore that the most general solution to the equation $S(f)=-2k^{2}$ is

[TABLE]

and its asymptotic values are $\{a/c,b/d\}$. Note that both of them are omitted values. According to theorem 2.2, the converse is true too. Moreover, by corollary 2.3, the solution to is unique up to post composition by an affine map. Precomposition by an affine map multiplies the constant $k$ by the scaling factor.

Functions of the form (3) have a single essential singularity at infinity and their dynamics are invariant under affine conjugation. If one of the asymptotic values is equal to infinity, $c$ or $d=0$ and the family is the well-studied exponential family. See e.g. [DFJ, RG]. The dynamics are quite different if both asymptotic values are finite and here we restrict ourselves to this situation.

Because we assume the asymptotic values are finite, neither $c$ nor $d$ can be zero. We choose a representative of an equivalence class, where the equivalence relation is defined by affine conjugation, such that $k=1$ and $f(0)=0$; this implies $b=-a$. If the asymptotic values are $\lambda$ and $\mu$ we have

[TABLE]

where $\lambda,\mu\in{\mathbb{C}}^{*}$. If $f^{\prime}(0)=\rho\in{\mathbb{C}}^{*}$ we have the relation

[TABLE]

We still have the freedom to conjugate by the affine map $z\to-z$ so we see that the maps $f_{\lambda,\mu}(z)$ and $f_{\lambda^{\prime},\mu^{\prime}}(z)=-f_{\lambda,\mu}(-z)$ have the same dynamics. That is,

[TABLE]

where

[TABLE]

Set $f_{\lambda,\mu}\sim f_{\lambda^{\prime},\mu^{\prime}}$ if $\lambda^{\prime}=-\mu,\mu^{\prime}=-\lambda$ and use this equivalence relation to define the space of pairs of functions:

[TABLE]

Note that each pair of complex numbers $(\lambda,\rho)$ uniquely determines a pair of functions so that we also use $\widehat{\mathbb{F}}_{2}$ to denote the moduli space of ${\mathbb{F}}_{2}$.

Because of the ambiguity left by the normalization, it is difficult to study $\widehat{\mathbb{F}}_{2}$ directly. This situation is similar to the space $Rat_{2}$ of rational functions of degree $2$ with a fixed point at infinity discussed in the introduction. The affine conjugation $z\to-z$ identifies maps with the same dynamics and sends the parameter $b$ to $-b$. Thus the $(b,\rho)$ space is a 2-fold covering map of the space of functions. To understand the role of the parameters, however, it is easier to work in this covering space. This can be done by marking the singular points and choosing a “preferred” point. In [GK], the preferred point was taken as $R(+1)$. The conjugation $z\to-z$ interchanged the marking and corresponded to the involution $b\to-b$ in the lifted parameter space of functions with marked critical values. See e.g. [M1, GK] for more details.

We proceed in the same way here. To mark the asymptotic values, we choose $\lambda$ as the “preferred” value and $\mu$ as the “non-preferred” value. That is, $\lambda=\lim_{t\to\infty}f_{\lambda,\rho}(\gamma(t))$ where $\Re\gamma(t)\to+\infty$. We call the space with marked asymptotic values $\mathbb{F}_{2}$. Again the marked space is a 2-fold cover of the space of functions. Note that if $\lambda=\infty,\mu=-\rho/2$ and if $\mu=\infty,\lambda=\rho/2$.

Because the stable dynamics of functions in $\mathbb{F}_{2}$ are controlled by the behavior of the orbits of the asymptotic values, it will be convenient to choose a one dimensional “slice” in this covering space of $\mathbb{F}_{2}$ in such a way that at each point in the slice, the orbit of one asymptotic value has fixed dynamics. One way to do this is to require that both asymptotic values have similar behavior. For example, if $\mu=-\lambda$, so that $\lambda=\rho$, the slice obtained is the tangent family $f_{\rho}(z)=\rho\tanh z=i\rho\tan(iz)$. The properties of this slice have been investigated in [KK, CJK].

3.1. The space ${\mathcal{F}}_{2}$.

In this paper, we begin with the $2$ dimensional subfamily ${\mathcal{F}}_{2}\subset\mathbb{F}_{2}$ where $\rho$ is in the punctured unit disk ${\mathbb{D}}^{*}$. This means that the origin is an attracting fixed point so the orbit of at least one of the asymptotic values converges to zero. It may be either the preferred asymptotic value $\lambda$ or not. We can parameterize this subspace as

[TABLE]

Each $\rho\in{\mathbb{D}}^{*}$ defines a one dimensional slice we denote by ${\mathcal{F}}_{2,\rho}$. This is a “dynamically natural slice” in the sense of [FK] because one asymptotic value is always attracted to the origin where the multiplier is fixed and the other is free. We choose the asymptotic value $\lambda$ as parameter for our slice; either it, or $\mu(\lambda)$ (determined by equation (5)) is the free asymptotic value. Note that because of equation (5), when $\lambda=\rho/2$, $\mu=\infty$ and the function is in the exponential family, not our family. Also, if $\lambda=0$, the function reduces to the constant [math]. The points of the slice are denoted by $\lambda$, $f_{\lambda}$ or $f_{\lambda,\rho}$ if we want to emphasize the dependence on $\rho$; if the context is clear, for readablity we use $f$. We will prove these slices all have the same structure.

Simple calculations show

[TABLE]

so that interchanging the asymptotic values $\lambda$ and $\mu$ changes multiplier from $\rho$ to $-\rho$; interchanging and negating the asymptotic values changes the marking.

3.2. Fatou components for $f_{\lambda}\in{\mathcal{F}}_{2}$

For any $f_{\lambda}\in{\mathcal{F}}_{2}$, the origin is an attracting fixed point with multiplier $\rho$. Denote its attracting basin (which is non-empty) by $A_{\lambda}$.

Proposition 3.1**.**

The attracting basin $A_{\lambda}$ is completely invariant.

Proof.

Since the origin is fixed, It is sufficient to prove that its immediate basin of attraction $I_{\lambda}\subset A_{\lambda}$ is backward invariant.

On a neighborhood $N\subset I_{\lambda}$ of the origin, we can define a uniformizing map $\phi_{\lambda}(z)$ such that $\phi_{\lambda}(0)=0$, $\phi_{\lambda}^{\prime}(0)=1$ and $\phi_{\lambda}\circ f_{\lambda}=\rho\phi_{\lambda}$. It extends by analytic continuation to the whole immediate attractive basin $I_{\lambda}$. Denote by $O_{\lambda}$ the largest neighborhood of the origin on which $\phi_{\lambda}$ is injective. One (or both) of the asymptotic values must be on the boundary of $O_{\lambda}$. Assume for argument’s sake that $\mu\in\partial O_{\lambda}$. Choose a path $\gamma$ joining [math] to $\mu$ in $O_{\lambda}$. If $g$ is any inverse branch of $f_{\lambda}$, then $g(O_{\lambda})$ contains a path joining $g^{-1}(0)$ to infinity that passes through the asymptotic tract $\mathcal{A}_{\mu}$ of $\mu$. Thus all these paths are contained in the same component of $f_{\lambda}^{-1}(O_{\lambda})$. Therefore this component contains all the pre-images of [math], and since one branch fixes [math], this component is $I_{\lambda}$. It follows that $I_{\lambda}$ is backward invariant and $I_{\lambda}=A_{\lambda}$. ∎

Remark 3.1**.**

The main point in the above argument is that whenever there is an attracting cycle, its basin contains a singular value, which, in this family is an omitted asymptotic value, and thus the component of the basin containing the asymptotic value can have only one preimage and it contains the asymptotic tract. Above, because the attracting cycle consisted of the fixed point [math], these components coincided. If there is a second, non-zero attracting cycle, and period of the cycle is one, it too has an invariant basin and the Fatou set consists of two completely invariant components. If the period is greater than one, the component containing the asymptotic value and its preimage are distinct and the full basin contains infinitely many components; all but the component containing the asymptotic value have infinitely many preimages.

3.2.1. No Herman rings

Here we digress to prove a proposition about the non-existence of Herman rings for slightly larger classes of functions than ${\mathcal{F}}_{2}$. See also [Nay] for a similar study.

Proposition 3.2**.**

Suppose $f$ is a meromorphic function with an attracting fixed point whose basin of attraction has the properties that it contains at least one asymptotic value and is completely invariant. Then $f$ cannot have a Herman ring.

Proof.

111 We thank the referee for suggesting this simplification of our original proof.

We may assume without loss of generality that $f$ fixes the origin and attracts the asymptotic value $\mu$. By hypothesis the basin of attraction of the origin, $A_{0}$, is completely invariant and hence connected. Moreover, because it contains an asymptotic value, it is unbounded. It follows that $\partial A_{0}\subset J$ is also completely invariant. A standard property of Julia sets is that if $z\in J$, then $J=\overline{\cup_{n\in{\mathbb{Z}}}f^{n}(z)},$ so that $\partial A_{0}=J$.

If $f$ had a Herman ring $R$, its complement would consist of two components. Moreover, because the poles are dense in $J$, the bounded complementary component, $B_{R}$, would contain a pole of some minimal order $m$ and therefore $B_{R}$ would contain an $m^{th}$ preimage of an asymptotic tract of $\mu$ so that it would intersect $A_{0}$. It follows that $A_{0}$ is disconnected which is a contradiction.

∎

3.3. The parameter space trichotomy

Proposition 3.1 implies the following trichotomy for ${\mathcal{F}}_{2}$:

• •

$A_{\lambda}$ contains both asymptotic values: this is called the shift locus and denoted ${\mathcal{S}}$.

• •

$A_{\lambda}$ contains only the preferred asymptotic value $\lambda$: in this case the other asymptotic value $\mu$ is not attracted to the origin and we call the set of such $\lambda$’s ${\mathcal{M}}_{\mu}$. We denote the subset where $\mu$ is attracted to an attracting periodic cycle by ${\mathcal{M}}_{\mu}^{0}$.

• •

$A_{\lambda}$ contains only the non-preferred asymptotic value $\mu$: in this case the other asymptotic value $\lambda$ is not attracted to the origin and we call the set of these $\lambda$’s ${\mathcal{M}}_{\lambda}$. We denote the subset where $\lambda$ is attracted to an attracting periodic cycle by ${\mathcal{M}}_{\lambda}^{0}$.

The maps in ${\mathcal{S}}$, ${\mathcal{M}}_{\lambda}^{0}$ and ${\mathcal{M}}_{\mu}^{0}$ are hyperbolic because the orbits of their asymptotic values accumulate on attracting cycles. The connected components of these three subsets of parameter space are thus called hyperbolic components.

As with the space $Rat_{2}$, there is an inversion of the space ${\mathcal{F}}_{2}$ that interchanges the regions ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ and leaves ${\mathcal{S}}$ invariant.

Let ${\mathcal{C}}_{0}$ be the circle in the $\lambda$ plane centered at the parameter singularity $\rho/2$ with radius $|\rho/2|$ and let $D$ be the disk it bounds, punctured at the singularity $\rho/2$. (See figure 11.) The inversion

[TABLE]

leaves ${\mathcal{C}}_{0}$ invariant and interchanges $\lambda$ and $-\mu$.

Proposition 3.3**.**

If $f_{\lambda}^{n}(\lambda)\not\rightarrow 0$ as $n\to\infty$, then $f_{I(\lambda)}^{n}(I(\lambda))\rightarrow 0$. That is, the inversion interchanges the regions ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ in the plane where only one of the asymptotic values goes to zero.

Proof.

Suppose $f_{\lambda}^{n}(\lambda)\not\rightarrow 0$ so that $f_{\lambda}^{n}(\mu)\rightarrow 0$. Since $I(\lambda)=-\mu$ and $I(\mu)=-\lambda$, we can write

[TABLE]

and

[TABLE]

∎

It follows that the inversion also preserves the region ${\mathcal{S}}$ where both asymptotic values go to zero.

When $\rho$ is real, we can say more.

Proposition 3.4**.**

Suppose $\rho$ is real and $\lambda\in{\mathcal{C}}_{0}$. Then both $f_{\lambda}^{n}(\lambda)\rightarrow 0$ and $f_{\lambda}^{n}(\mu)\rightarrow 0$.

Proof.

Set $\lambda_{1}=I(\lambda)$. Then $-\mu=I(\lambda)=\bar{\lambda}=\lambda_{1}$. Thus,

[TABLE]

so if $f_{\lambda}^{n}(\lambda)\rightarrow 0$, $f_{\lambda_{1}}^{n}(\lambda_{1})\rightarrow 0$.

We can rewrite this as

[TABLE]

Therefore, either both asymptotic values iterate to zero or neither does. Since the origin is an attracting fixed point with multiplier $\rho$, at least one must and so they both do. ∎

This proposition says when $\rho$ is real, the region where both asymptotic values are attracted to zero contains the invariant circle of the inversion.

Notice that the point $\lambda=\rho$ is on the circle ${\mathcal{C}}_{0}$. At that point we have $\mu=-\lambda$, $f_{\lambda}=\lambda\tanh z$ and $I(\lambda)=\lambda$ so that it is a branch point of the double covering defined by the marking. Moreover, because of the symmetry both asymptotic values are attracted to zero.

If $\lambda\in{\mathcal{M}}_{\mu}^{0}\mbox{ or }{\mathcal{M}}_{\lambda}^{0}$, $f_{\lambda}$ has an attracting periodic cycle different from the origin. This cycle has an attractive basin which we denote by $K_{\lambda}$ and $A_{\lambda}=\widehat{\mathbb{C}}\setminus\overline{K_{\lambda}}$. Thus $\partial{K_{\lambda}}$ is the Julia set and $\overline{K_{\lambda}}$ is the “filled Julia set”. Both of them are unbounded sets in ${\mathbb{C}}$.

3.4. The set $\overline{K_{\lambda}}$

In [KK], it is proved that for $\rho\in{\mathbb{D}}^{*}$, the Julia set $J_{\lambda}$ of the function $T_{\rho}(z)=\rho\tanh(z)$ is a Cantor set. Moreover, it is homeomorphic to a space consisting of finite and infinite sequences on an alphabet isomorphic to the natural numbers and infinity. The finite sequences end with infinity. The homeomorphism conjugates $T_{\rho}$ to the shift map on this alphabet. See [DK1, Mo] for details.

At this point in this paper we can prove:

Proposition 3.5**.**

If $\Omega$ is the hyperbolic component of the $\lambda$ plane containing $f_{\lambda_{0}}=\rho\tanh z$ and $\lambda\in\Omega$, then the Julia set of $f_{\lambda}$ is a Cantor set. If $\lambda\in{\mathcal{M}}_{\lambda}$ or ${\mathcal{M}}_{\mu}$ then $\overline{K_{\lambda}}$ is full.

Remark 3.2**.**

In theorem 6.7 we will prove that the shift locus ${\mathcal{S}}$ is connected so that $\Omega={\mathcal{S}}$. It will then follow that we have a dichotomy similar to that for quadratic polynomials.

Proof.

If $\lambda_{0}=\rho$, by symmetry, both $\lambda_{0}$ and $\mu_{0}=-\lambda_{0}$ are in $A_{\lambda}$. By the results in [KK], the Julia set of $f_{\lambda_{0}}$ is a Cantor set. Suppose $\lambda\in\Omega$, and let $\lambda(t)$, with $\lambda(0)=\lambda_{0}$ and $\lambda(1)=\lambda$, be a path in $\Omega$. By standard arguments using quasiconformal surgery, see e.g. [McMSul, BF] and sections 6.2.4 and 6.2.3, we can construct quasiconformal homeomorphisms $g(t)$ conjugating $f_{\lambda_{0}}$ to $f_{\lambda(t)}$ that preserve the dynamics. Since the maps are hyperbolic, the Julia sets of $f_{\lambda(t)}$ are quasiconformally equivalent and thus also topologically equivalent.

Suppose now that $\lambda\in{\mathcal{M}}_{\lambda}$ so that $\lambda$ is not in $A_{\lambda}$. The same argument works for $\lambda\in{\mathcal{M}}_{\mu}$, interchanging the roles of $\lambda$ and $\mu$. Take a generic small $r$, such that $\partial D_{r}(0)$ does not contain a point in the forward orbit of $\mu$. Then by definition, $A_{\lambda}=\cup_{n\geq 1}f^{-n}(D_{r}(0))$ and $f^{-n}(D_{r}(0))\subset f^{-(n+1)}(D_{r}(0))$. Note that because $\lambda\notin A_{\lambda}$, $f:f^{-(n+1)}(D_{r}(0))\to f^{-n}(D_{r}(0))\setminus\{\mu\}$ is a covering and so $f^{-1}(D_{r}(0))$ is simply connected. Therefore $A_{\lambda}$ simply connected, which implies that it is complement $\overline{K_{\lambda}}$ is full. ∎

Note that the argument above adapts easily to show that if $f_{\lambda}$ has a non-zero attracting or parabolic fixed point the attracting basin of this fixed point is unbounded and completely invariant. Other standard arguments, [Mil], show that if $f_{\lambda}$ has a neutral fixed point with a Siegel multiplier, its boundary must be contained in the post singular set. Thus there are two completely invariant domains in the Fatou set separated by the Julia set. An example of this is shown in figure 1 where $\rho=2/3$ and $\lambda=2+2i$. The yellow is the basin of [math] and the blue is the basin of the fixed point $2.25818+2.12632i$. The proof of the Main Structure Theorem uses another example of a function with two attractive fixed points and its dynamic space is shown in figure  7.

Part II Properties of the Hyperbolic Components of the $\lambda$-plane.

4. Shell components: Properties of ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$

In this section, we work only with hyperbolic components in ${\mathcal{M}}_{\lambda}^{0}$. By propositions 3.3 and 3.4, the discussion for ${\mathcal{M}}_{\mu}^{0}$ is essentially the same. By definition, all the maps in ${\mathcal{M}}_{\lambda}^{0}$ are hyperbolic; ${\mathcal{M}}_{\lambda}^{0}$ consists of components in which standard arguments (see e.g. [BF]) show any two functions corresponding to parameters in the component are quasiconformally conjugate. Following [FK] we call these components Shell Components. In that paper, more general functions were considered and the properties of the shell components were described. Here we summarize what we need from that description. We begin with some definitions.

4.1. Virtual Cycle Parameters and Virtual Centers

Let $\Omega$ be a hyperbolic component in ${\mathcal{M}}_{\lambda}$ and let $\lambda\in\Omega$. Both $\lambda$ and $\mu$ are attracted by attracting cycles of $f_{\lambda}$, and since $\lambda\in{\mathcal{M}}_{\lambda}$, $\mu$ is attracted to the origin and $\lambda$ is attracted to a different cycle of order $n\geq 1$. Since all the $f_{\lambda}$, $\lambda\in\Omega$ are quasiconformally conjugate, all the functions in $\Omega$ have non-zero attracting cycles of the same period, say $n$. We say $\Omega$* has period $n$* and where appropriate, denote it by $\Omega_{n}$.

We need the following definitions:

Definition 3**.**

If $\lambda\in{\mathcal{F}}_{2}$ and there exists an integer $n>1$ such that either $f_{\lambda}^{n-1}(\lambda)=\infty$ or $f_{\lambda}^{n-1}(\mu)=\infty$, then $\lambda$ is called a virtual cycle parameter. In the first case set $a_{1}=\lambda$ and in the second case set $a_{1}=\mu$. Next set $a_{i+1}=f_{\lambda}(a_{i})$ where $i$ is taken modulo $n$ so that $a_{0}=\infty$. We call the set $\mathbf{a}=\{a_{1},a_{2},\ldots,a_{n-1},a_{0}\}$ a virtual cycle, or if we want to emphasize the period, virtual cycle of period $n$.

This definition is justified by the following. Assume for argument’s sake that we are in the first case. Let $\gamma(t)$ be an asymptotic path for $\lambda=a_{1}$, that is, $\lim_{t\to\infty}\gamma(t)=\infty$ and $\lim_{t\to\infty}f(\gamma(t))=a_{1}$.

Then $\widehat{\gamma}=f^{-n}(\gamma(t))$ is again an asymptotic path where the inverse branches are chosen so that $f^{-1}(a_{i})=a_{i-1}$; that is,

[TABLE]

so that in this limiting sense, the points form a cycle.

Definition 4**.**

Let $\Omega_{n}$ be a shell component of period $n$ and let

[TABLE]

be the attracting cycle of period $n$ that attracts $\lambda$ or $\mu$. Suppose that as $k\to\infty$, $\lambda_{k}\to\lambda^{*}\in\partial{\Omega_{n}}$ and the multiplier $\nu_{\lambda_{k}}=\nu(\mathbf{a}_{\lambda_{k}})=\Pi_{i=0}^{n-1}f^{\prime}(a_{i}(\lambda_{k}))\to 0.$ Then $\lambda^{*}$ is called a virtual center of $\Omega_{n}$.

Remark 4.1**.**

Note that if $n=1$ and $a_{0}(\lambda_{k})$ is the fixed point, the definition implies that $f^{\prime}(a_{0}(\lambda_{k}))\to 0$. This in turn implies that either $\lambda$ tends to $\infty$ or $\lambda$ tends to the parameter singularity $\rho/2$ so that $\mu$ tends to $\infty$. These “would be” virtual centers do not belong to the parameter space but they share many properties with proper virtual centers including transversality (see definition 7).

Since the attracting basin of the cycle $\mathbf{a}_{\lambda}$ must contain an asymptotic value, we will assume throughout the paper that the points in the cycle are labeled so that $\lambda$ or $\mu$ and $a_{1}$ are in the same component of the immediate basin.

In the next theorem we collect the results in [FK] about shell components for fairly general families of functions. The proof of Parts [b] and [c] are based on an estimate of the growth of the orbits of the singular values given in lemma 2.2 of [RS], and on proposition 6.8 of [FK]. Part [d] is theorem 6.10 of [FK]. Part [e] combines the accessibility in Part [d] and theorem A of [CK], whose proof contains a construction that shows that every virtual cycle parameter is on the boundary of a shell component.

Theorem 4.1** (Properties of Shell Components of ${\mathcal{F}}_{2}$).**

Let $\Omega$ be a shell component in ${\mathcal{F}}_{2}$. Then

1. (\rma)

The map $\nu_{\lambda}:\Omega\rightarrow{\mathbb{D}}^{*}$ is a universal covering map. It extends continuously to $\partial\Omega$ and $\partial\Omega$ is piecewise analytic; $\Omega$ is simply connected and $\nu_{\lambda}$ is infinite to one. 2. (\rma)

There is a unique virtual center on $\partial\Omega$. If the period of the component is $1$ and $\Omega$ is a shell component of ${\mathcal{M}}_{\lambda}$, the component is unbounded and the virtual center is at infinity; if, however, $\Omega$ is a shell component of ${\mathcal{M}}_{\mu}$ of period $1$, then it is bounded and the virtual center is at the finite point $\rho/2$ which is a parameter singularity. This is the only difference between ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$. 3. (\rma)

If $\lambda_{k}\in\Omega$ of period greater than $1$ is a sequence tending to the virtual center $\lambda^{*}$ and $a_{0}(\lambda_{k})$ is the periodic point of the cycle $\mathbf{a}(\lambda_{k})$ in the component containing the asymptotic tract and $a_{1}(\lambda_{k})=f_{\lambda_{k}}(a_{0}(\lambda_{k}))$, then as $k\to\infty$, $a_{0}(\lambda_{k})\to\infty$ and $a_{1}(\lambda_{k})\to\lambda^{*}$. 4. (\rma)

Every virtual center of a shell component is a virtual cycle parameter and it is an accessible boundary point. 5. (\rma)

Every virtual cycle parameter is a virtual center.

As a corollary we have

Corollary 4.2**.**

If $\lambda^{*}$ is a virtual center of a shell component of period $n$, there are virtual centers of period $n+1$ accumulating on it.

Proof.

The poles of $f_{\lambda}$ are given by

[TABLE]

where $\mathrm{Log}$ is the branch of the logarithm with imaginary part in $[-\pi,\pi)$. They and all their preimages are holomorphic functions of $\lambda$.

Let $V$ be a neighborhood of $\lambda^{*}$ in the parameter plane that does not contain any poles of $f_{\lambda}^{k}$ for all $1\leq k<n-1$. Such a neighborhood exists because the poles of $f_{\lambda}^{k}$ form a discrete set. The holomorphic function $h(\lambda)=f_{\lambda}^{n-1}(\lambda)$ maps $V$ to a neighborhood $W$ of infinity and $h(\lambda^{*})=\infty$. Since infinity is an essential singularity, for $\lambda\in V$ and large enough $|k|$, $W$ contains infinitely many poles $p_{k}(\lambda)$ of the functions $f_{\lambda}(z)$; moreover, for each $\lambda$, as $k\to\infty$, $p_{k}(\lambda)$ converge to infinity. The zeroes of the functions $h_{k}(\lambda)=h(\lambda)-p_{k}(\lambda)$ are virtual centers of components of period $n+1$. We want to show there is a sequence of these zeroes in $V$ converging to $\lambda^{*}$.

The functions $\widehat{h}(\lambda)=1/h(\lambda)$ and $\widehat{p}_{k}(\lambda)=1/p_{k}(\lambda)$ take values in a neighborhood of the origin. Since the $p_{k}(\lambda)$ converge to infinity as $|k|\to\infty$ uniformly on $\overline{V}$ as long as $V$ is small enough, we can find $N$ large enough so that if $k>N$ and $\lambda\in\partial V$, then $|\widehat{p}_{k}(\lambda)|<|\widehat{h}(\lambda)|$. By Rouché’s theorem, we conclude $\widehat{h}$ and $\widehat{h}-\widehat{p}_{k}$ have the same number of zeroes in $V$; $\widehat{h}$ has a zero at $\lambda^{*}$ and thus each $\widehat{h}-\widehat{p}_{k}$ has a zero $\lambda_{k}\in V$; it follows that $h(\lambda_{k})=p_{k}(\lambda_{k})$ so that $\lambda_{k}$ is a virtual center of period $n+1$. ∎

4.2. Combinatorics

Theorem 4.1 allows us to assign a label to each of the shell components of ${\mathcal{M}}_{\lambda}$ in terms of its virtual center. To label the virtual centers we need to know that the indices of the poles are well defined. In section 6.4 we will prove lemma 6.11 that says that we can find a simply connected domain $\Sigma$, containing ${\mathcal{M}}_{\lambda}$ and not containing ${\mathcal{M}}_{\mu}$, in which, after an initial choice, as above, of a basepoint and a branch of the logarithm, the poles and inverse branches of $f_{\lambda}$ can be labelled consistently. The discussion here will assume that lemma.

Pick a basepoint that is not in ${\mathcal{M}}_{\lambda}$, for example, the symmetric point $\lambda_{0}=-\mu_{0}=\rho$. It has poles $p_{k}(\lambda_{0})$ defined by the principal branch of the logarithm. With the poles $p_{k}(\lambda_{0})$ defined by equation (6), denote the branch of $f_{\lambda_{0}}^{-1}$ that maps $\infty$ to $p_{k}(\lambda_{0})$ by $g_{\lambda,k}(z)=g_{\lambda_{0},k}(z)$. With the choice of a fixed base point and logarithm branch, the inverse branches are well defined since the set $\Sigma$ (to be defined in section 6.4) is simply connected.

We use these branches to define labels for the prepoles of all orders, and thus for labels of the virtual cycle parameters. Because of part [d] of theorem 4.1 each virtual cycle parameter is a virtual center of a shell component so the label of the virtual center defines a label for the shell component.

The formula for $p_{k}(\lambda)$ shows that the poles are injective functions of $\lambda$ in $\Sigma$. Let

[TABLE]

That is, ${\mathcal{V}}_{1}$ is the set of $\lambda^{*}_{k}$ such that $f_{\lambda^{*}_{k}}(\lambda^{*}_{k})=\infty$. It is the set of virtual cycle parameters of order $1$ and hence virtual centers of shell components $\Omega_{2}$ of period $2$. We assign the label $k$ to each point in ${\mathcal{V}}_{1}$ and the same label to the component for which it is the virtual center.

The prepoles $p_{k_{1}k_{2}}(\lambda)=g_{\lambda,k_{2}}(p_{k_{1}}(\lambda))$ are defined for all $\lambda\in\Sigma\setminus{\mathcal{V}}_{1}$. Since they are holomorphic functions of $\lambda$ with non-vanishing derivative, each $g_{\lambda,k}$ is an injective function of both $\lambda$ and $z$. Next, we inductively define the sets of virtual cycle parameters of order $n-1$ with labelled points by

[TABLE]

The prepoles $p_{k_{n-1}\ldots k_{1}}(\lambda)$ are defined for all $\lambda\not\in{\mathcal{V}}_{n-1}$ and, as above, move injectively.

We now assign the label $k_{n-1}\ldots k_{1}$ to the shell component of order $n$ for which $\lambda^{*}_{k_{n-1}\ldots k_{1}}$ is the virtual center.

Definition 5**.**

We call the label $\mathbf{k}_{n}=k_{n}k_{n-1}\ldots k_{1}$ assigned to each prepole and each virtual cycle parameter its itinerary.

We can also use the labelling of the inverse branches to assign an itinerary to each attractive cycle.

Definition 6**.**

For simplicity we suppress the dependence on $\lambda$ and assume the shell component is in ${\mathcal{M}}_{\lambda}$. Suppose $f^{n}(a_{0})=a_{0}$ for $n\geq 1$, where, by our numbering convention in part [c] of theorem 4.1, $a_{0}$ is in the asymptotic tract of $\lambda$ and $a_{j}=f(a_{j-1})$, $j=1,\ldots n$. Then for some $k_{j}$, $a_{j-1}=g_{k_{j}}(a_{j})$. In fact there is a unique sequence $\{k_{1},\ldots,k_{n}\}$ such that

[TABLE]

We say the cycle $\mathbf{a}$ has itinerary $\mathbf{k}_{n}=k_{n}k_{n-1}\ldots k_{2}k_{1}$.

Proposition 4.3**.**

Let $\Omega_{n}$ be a shell component and suppose for $\lambda_{0}\in\Omega_{n}$, the cycle $\mathbf{a}(\lambda_{0})$ has itinerary $k_{n}k_{n-1}\ldots k_{1}$. Then for every $\lambda\in\Omega_{n}$, the itinerary of $\mathbf{a}(\lambda)$ is of the form $k_{0,j}k_{n-1}\ldots k_{1}$ for some $j\in{\mathbb{Z}}$.

Proof.

If the component of the basin $\mathbf{a}(\lambda)$ containing $a_{j}(\lambda)$ is denoted by $D_{j}(\lambda)$, then for $j=1,\ldots n-1$, $f_{\lambda}:D_{j}(\lambda)\rightarrow D_{j+1}(\lambda)$ is one to one. Inside $\Omega_{n}$, the points of the periodic cycle move holomorphically and are related by the inverse branches $g_{\lambda,k_{j}}:D_{j+1}(\lambda)\rightarrow D_{j}(\lambda)$. The branch is the same for all $\lambda\in\Omega_{n}$ since it is simply connected; in it the $g_{\lambda,k_{j}}$ are quasiconformally conjugate and the $a_{j}(\lambda)$ move holomorphically. At the last step in the cycle, however, the map $f_{\lambda}:D_{0}(\lambda)\rightarrow D_{1}(\lambda)$ is infinite to one and so $a_{1}(\lambda)$ has infinitely many inverses, $a_{0,j}(\lambda)\in D_{0}(\lambda)$. They are all in the asymptotic tract of $\lambda$ but only one of them can belong to the cycle. Thus although the inverse branch $g_{j}=g_{0,j}$ is well defined for each $\lambda$, the branch that defines the cycle changes as $\lambda$ moves in $\Omega_{n}$. ∎

Above we assigned a label, or itinerary to the virtual center of each shell component. We now address the questions of the uniqueness of these labels and their relation to the itineraries of their attracting cycles. As we stated above, this is based on lemma 6.11, which will be proved later, that the inverse branches are defined as single valued functions of $\lambda$.

Proposition 4.4**.**

Every shell component $\Omega_{n}\in{\mathcal{M}}_{\lambda}$ and $\Omega_{n}^{\prime}\in{\mathcal{M}}_{\mu}$, $n>1$, has a unique label defined by the itinerary of its virtual center $\lambda^{*}$, a pre-pole of order $n-1$ where $n$ is the minimal such integer.

Because the shell components of period $1$ have virtual centers that do not belong to the parameter space, we cannot label them in this way. There are only two such points, $\rho/2$ and $\infty$ and hence only two such components with no label. In order to have a label for every component, we arbitrarily assign the label $\infty$ to these components.

Proof.

The boundary of each shell component $\Omega_{n}$ contains one and only one virtual center $\lambda^{*}$ 222It will follow from the Common Boundary Theorem that it is on the boundary of only one shell component. This is different from the tangent family where pairs of shell components share virtual centers. See e.g. [CJK] and the label $\mathbf{k}_{n-1}=k_{n-1}k_{n-2}\ldots k_{1}$ of the virtual center is its itinerary. Let $V$ be a neighborhood of $\lambda^{*}$ and let $W=\Omega_{n}\cap V$. By proposition 4.3, the itineraries of the points in $W$ agree except for their first entry. By proposition 6.8 of [FK], as $\lambda\in W$ tends to the virtual center, the point $a_{0}(\lambda)=g_{j}(a_{1}(\lambda))$ of the cycle tends to infinity and the point $a_{1}(\lambda)$ tends to the virtual cycle parameter $\lambda^{*}$, a pre-pole of order $n-1$ with itinerary, $\mathbf{k}_{n-1}=k_{n-1}k_{n-2}\ldots k_{1}$.

Note that because $\lambda\in\mathcal{M}_{\lambda}$ or $\mathcal{M}_{\mu}$, the cycle $\mathbf{a}(\lambda)$ attracts only one of the asymptotic asymptotic values. Therefore unlike the tangent family, where both asymptotic values can be attracted by a single cycle of double the period, $n-1$ is minimal. ∎

The proof of Corollary 4.2 also implies that

Proposition 4.5**.**

Let $\lambda^{*}$ be the virtual center of a shell component $\Omega_{n}$ and let $\Omega_{n+1,i}$, be a sequence of components whose virtual centers $\lambda^{*}_{i}$ converge to $\lambda^{*}$ as $i$ goes to infinity. If the itinerary of $\lambda^{*}$ is given by $\mathbf{k}_{n-1}=k_{n-1}k_{n-2}\ldots k_{1}$, the itineraries of the $\lambda^{*}_{i}$ are given by $\mathbf{k}_{n,i}=k_{n-1}k_{n-2}\ldots k_{1}k_{0,i}$.

Remark 4.2**.**

There is an interesting duality here. As we approach the virtual center from inside a shell component of order $n$, we are taking a limit of cycle itineraries; the first entry in the itinerary (corresponding to the last inverse branch applied) disappears. Thus an itinerary with $n$ entries becomes one with $n-1$ entries. However, if we consider the labels of the shell components of order $n+1$ approaching the shell component of order $n$, it is the last entry (corresponding to the first inverse branch applied) that disappears in the limit.

Proof.

As above, let $V$ be a small neighborhood of $\lambda^{*}$. We may assume it contains no virtual center of order less than $n-1$. The functions $g_{\lambda,k_{j}}$ that define the virtual cycle $a_{j}(\lambda^{*})$, $j=1,\ldots n-1$, are defined in $V\cap\Omega_{n}$ where they track the attracting cycle. They also extend to all of $V\setminus\{\lambda^{*}\}$ by analytic continuation. Also for $\lambda\in V\cap\Omega_{n}$, the functions $a_{0,i}(\lambda)=g_{\lambda,k_{0,i}}(a_{1}(\lambda))$ are defined for all $i$ but for only one $i$ does it belong to the attracting cycle. All of these functions extend to $V\setminus\{\lambda^{*}\}$.

Now let $W$ be a neighborhood of infinity and let $G(\lambda,z)$ be a map from $V\times W$ to ${\mathbb{C}}$ defined by $g_{\lambda,k_{n-1}}\circ\ldots\circ g_{\lambda,k_{1}}(z)$. By corollary 4.2 the neighborhood $W$ contains the virtual centers $\lambda_{i}^{*}$ of a sequence of shell components $\Omega_{n+1,i}$ with limit $\lambda^{*}$. These are poles $p_{i}^{*}$ of $f_{\lambda_{i}^{*}}^{n-1}$ so we can find inverse branches of $f_{\lambda}$, which we denote by $g_{\lambda,k_{0,i}}$, such that $p_{i}^{*}=g_{\lambda^{*}_{i},k_{0,i}}(\infty)$. It then follows that the itineraries of the $\lambda_{i}^{*}$ are $\mathbf{k}_{n,i}=k_{n-1}k_{n-2}\ldots k_{1}k_{0,i}$ as claimed. ∎

Thus the combinatorics of the prepoles enable us to label each shell component $\Omega_{n}\in{\mathcal{M}}_{\lambda}$ and $\Omega_{n}^{\prime}\in{\mathcal{M}}_{\mu}$ by the itinerary of its virtual center. If $\mathbf{k}_{n-1}=k_{n-1}k_{n-2}\ldots k_{1}$ is the itinerary of the virtual center of a shell component of period $n$, and we want to emphasize it, we write $\Omega_{\mathbf{k}_{n-1}}$ or $\Omega_{\mathbf{k}_{n-1}}^{\prime}$.

The above discussion, modulo the proof of lemma 6.11, gives us a proof of the Combinatorial Structure Theorem:

Theorem** (Combinatorial Structure Theorem).**

The virtual cycle parameters $\lambda_{{\mathbf{k}}_{n}}$ of order $n$ can be labelled by sequences ${\mathbf{k}}_{n}=k_{n}k_{n-1}\ldots k_{1}$, where $k_{i}\in{\mathbb{Z}}$, in such a way that each of the parameters $\lambda_{{\mathbf{k}}_{n}}$ is an accumulation point in ${\mathbb{C}}$ of a sequence of parameters $\lambda_{{\mathbf{k}}_{n+1}}$ of order $n+1$, where ${\mathbf{k}}_{n+1}=k_{n}k_{n-1}\ldots k_{1}k_{0,j}$, $j\in{\mathbb{Z}}$. This combinatorial description of the virtual cycle parameters determines combinatorial descriptions of the sets ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$.

4.3. Parameter space pictures

Figure 2 shows a picture of the $\lambda$ parameter plane for $\rho=2/3.$ The green region is ${\mathcal{S}}$ where both $\lambda$ and $\mu$ are attracted to the origin. The unbounded multicolored region on the right in figure 2 is ${\mathcal{M}}_{\lambda}$ and the small bounded multicolored region inside the green region is ${\mathcal{M}}_{\mu}$. Since this figure is drawn to scale, in ${\mathcal{M}}_{\mu}$ the colors other than yellow are not visible. To make the structure of this region visible and show it is similar to ${\mathcal{M}}_{\lambda}$’s, in figure 3 we place a blown up neighborhood of ${\mathcal{M}}_{\mu}$ near ${\mathcal{M}}_{\lambda}$.

The shell components are colored according to their period: yellow is period $1$, cyan is period $2$, red is period $3$ and so on. Periods higher than $10$ are colored black. Note that there is only one unbounded domain, the yellow period $1$ domain on the right, $\Omega_{1}$; its virtual center is the point at infinity. The virtual center of the period $1$ component of ${\mathcal{M}}_{\mu}$ is the leftmost point. It is the singular point $\rho/2$ of the parameter space. There is a cusp boundary point of $\Omega_{1}$ on the real axis where the multiplier of the cycle attracted to $\lambda$ is $+1$. There are cyan period $2$ components appearing as “buds” off of the yellow component $\Omega_{1}$ where the multiplier of the cycle attracted to $\lambda$ is $e^{(2m+1)\pi i}$; each of these has a virtual center with itinerary $\mathbf{k}_{1}=m$.

In figure 4, we see a period $2$ component $\Omega_{2}$ budding off $\Omega_{1}$. Although $M_{\lambda}$ and $M_{\mu}$ look disconnected in the figure, as we will prove, they are not. Here we have only computed shell components for periods up to $10$. To make a figure where ${\mathcal{S}}$ and ${\mathcal{M}}_{\lambda}$ look connected would require much more computation and many more colors to show components with much higher periods. What we do see, however, is a period $3$, red component that is NOT a bud component of the period $1$ component. In fact, there are infinitely many such converging to the virtual center of $\Omega_{2}$ marked as $v$. We postpone a full discussion of the finer structure of the shell components to future work.

5. Boundaries of Hyperbolic Components and Virtual Cycle Parameters

In this section we show that each virtual center is a boundary point of both ${\mathcal{S}}$ and either ${\mathcal{M}}_{\lambda}$ or ${\mathcal{M}}_{\mu}$. To do this we need to use the concept of transversality.

Definition 7** (Transversality, [CJK]).**

Suppose $\lambda^{*}$ is a virtual cycle parameter. Let $p^{*}(\lambda)$ be the holomorphic prepole function such that $p^{*}(\lambda^{*})=f_{\lambda^{*}}^{n-2}(\lambda^{*})$. Define the holomorphic function,

[TABLE]

We say $f_{\lambda}$ is transversal at $\lambda^{*}$ or satisfies a transversality condition at $\lambda^{*}$ if $c_{n}^{\prime}(\lambda^{*})\not=0$.

Theorem 5.1** (Common Boundary Theorem).**

Every virtual cycle parameter is a boundary point of both a shell component and the shift locus. Furthermore, the family $\{f_{\lambda}\}$ is transversal at these parameters.

Remark 5.1**.**

*The transversality property translates to the dynamic planes of the functions $f_{\lambda}$ as follows:

If $f_{\lambda}$ is transversal at $\lambda^{*}$, and if $\lambda(t)$ is any smooth path passing through $\lambda^{*}$ at $t^{*}$ such that $\lambda^{\prime}(t^{*})\not=0$, then the dynamics of $f_{\lambda(t)}$ bifurcates at $t^{*}$. In particular, as $\lambda(t)$ moves from a shell component into the shift locus through the common boundary point, an asymptotic value, say $\lambda(t)$, moves from the attracting basin of an attractive cycle of $f_{\lambda(t)}$, through the pre-pole $\lambda^{*}$ of the virtual cycle, and into the attracting basin of zero for $f_{\lambda(t)}$. Moreover, if $\epsilon$ is small enough so that $\lambda(t)$ does not contain any other virtual center when $|t-t^{*}|<\epsilon$, then $t^{*}$ is the only point in the interval $|t-t^{*}|<\epsilon$ where the dynamics of $f_{\lambda(t)}$ bifurcate. This is illustrated in figures 5 and 6.*

In addition, transversality of $f_{\lambda}$ at $\lambda^{*}$ implies that the holomorphic functions defining the poles $p_{k}(\lambda)$ and pre-poles $p_{\mathbf{k}_{n}}(\lambda)$ satisfy $p_{k}^{\prime}(\lambda^{*})\neq 0$ and $p_{\mathbf{k}_{n}}^{\prime}(\lambda^{*})\neq 0.$

Proof of the Common Boundary Theorem. Let $\lambda^{*}$ be a virtual cycle parameter. It follows from part (e) of theorem 4.1, that $\lambda^{*}$ is on the boundary of a shell component. Suppose this component, $\Omega_{n}$, is in ${\mathcal{M}}_{\lambda}$ so that $\mu^{*}$ is in $A_{\lambda^{*}}$, the attracting basin of [math], and $f_{\lambda^{*}}^{n-1}(\lambda^{*})=\infty$. We can choose $U$ be a small neighborhood of $\lambda^{*}$ such that $\cap_{\lambda\in U}A_{\lambda}$ contains $\mu(\lambda)$ for all $\lambda\in U$ and $a_{n-1}(\lambda)=f_{\lambda}^{n-1}(\lambda)$ is a holomorphic function on $U$ with $a_{n-1}(\lambda^{*})=\infty$. Since infinity is always a boundary point of the basin $A_{\lambda}$, the open mapping theorem implies that there is a $\lambda_{U}\in U$ with $\lambda_{U}\in A_{\lambda(U)}$. This says $\lambda_{U}\in{\mathcal{S}}$ and thus $\lambda^{*}$ is a boundary point of ${\mathcal{S}}$.

In [CJK], we proved a transversality theorem for maps in the tangent family, $\lambda\tan z$ with $\lambda=it,$ $t\in{\mathbb{R}}$. There $\lambda(t)$ is in the imaginary axis, and the proof shows that the function $c_{n}(\lambda(t))$ has no critical point at $t^{*}$. It involves the use of holomorphic motions and some ideas adapted from [LSS]. That proof can be adapted here by replacing the imaginary axis with a path $\lambda(t)$ in $\Omega_{n}$ defined by the condition that the multiplier of the attracting cycle $\mathbf{a}(\lambda)$ has argument equal to $2\pi in$, for some $n$. Then the arguments there can be applied and show that as $t\to t^{*}$ in $\Omega_{n}$, $c_{n}^{\prime}(\lambda(t^{*})\neq 0$, and the dynamics bifurcates smoothly. We refer the interested reader to that paper for the details.                                                                                           $\Box$

An immediate corollary of the Common Boundary Theorem is

Corollary 5.2**.**

Given an itinerary, $\mathbf{k}_{n-1}=k_{n-1}k_{n-2}\ldots k_{1}$, there is exactly one component in each of ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ with that itinerary label.

Proof.

Let $\mathbf{k}_{n-1}$ be a given itinerary. The prepoles $p_{\mathbf{k}_{n-1}}(\lambda)$ of order $n-1$ form a discrete set in dynamic space since they are solutions of $f^{n-1}_{\lambda}(z)=\infty$ and there is only one with itinerary $\mathbf{k}_{n-1}$. They are on the boundary of $A_{\lambda}$. The virtual centers form a discrete set in parameter space since they are solutions of $f^{n-1}_{\lambda}(\lambda)=\infty$.

We can find a sequence $\lambda_{j}\in{\mathcal{S}}$, tending to $\partial{\mathcal{S}}$ as $j$ goes to infinity, such that $|f_{\lambda_{j}}^{n-1}(\lambda_{j})-p_{\mathbf{k}_{n-1}}(\lambda)|$ goes to zero as $j$ goes to infinity. It follows that $\lim_{j\to\infty}\lambda_{j}$ is a virtual cycle parameter $\lambda^{*}$ with itinerary $\mathbf{k}_{n-1}$. By theorem 7, in a small neighborhood of $\lambda^{*}$, there is no other virtual center with itinerary $\mathbf{k}_{n-1}$ so that the component $\Omega_{n}$ with $\lambda^{*}$ as virtual center is the only one in ${\mathcal{M}}_{\lambda}$ with this itinerary.

We obtain a different component $\Omega_{n}^{\prime}$ if we choose a sequence $\lambda_{j}^{\prime}$ such that $f_{\lambda_{j}}^{n-1}(\mu_{n})$ approaches the prepole with this itinerary, but that is the only other possibility. In this case, $\Omega_{n}^{\prime}$ is in ${\mathcal{M}}_{\mu}$. ∎

5.1. J-stability and the Bifurcation Locus

Denote the set of virtual cycle parameters by $\mathcal{B}_{cv}$. By theorem 4.1, each such parameter is on the boundary of a unique shell component and in section 4.2 we used these parameters to enumerate the shell components. Here we will prove that these parameters are dense in the boundary of the shift locus. To do so we need two definitions.

Definition 8** (Holomorphic family).**

A holomorphic family of meromorphic maps over a complex manifold $X$ is a map ${\mathcal{F}}:X\times{\mathbb{C}}\rightarrow\widehat{\mathbb{C}}$, such that ${\mathcal{F}}(x,z)=:f_{x}(z)$ is meromorphic for all $x\in X$ and $x\mapsto f_{x}(z)$ is holomorphic for all $z\in{\mathbb{C}}$.

Definition 9**.**

The J-stable set of the family $\mathcal{F}_{2}$, denoted by $\mathcal{J}=\mathcal{J}_{\rho}$, is the set $\{\lambda\ |\ f^{n}_{\lambda}(\lambda)$ and $f^{n}_{\lambda}(\mu)$ are well defined in a neighborhood about $\lambda$ for all $n$ and form normal families $\}$. Its complement is called the bifurcation locus.

Theorem B of [MSS] in our context states

Theorem 5.3**.**

In any holomorphic family of meromorphic maps with finite singular set, $\mathcal{J}$ coincides with the set of parameters for which the total number of attracting and superattracting cycles of $f_{\lambda}$ is constant on a neighborhood of $\lambda$.

As a corollary (see  [KK], Corollary 3.2)

Proposition 5.4**.**

If $\lambda_{0}\in\mathcal{J}$, then the number of attracting cycles of $f_{\lambda_{0}}$ is locally constant in a neighborhood of $\lambda_{0}$; in particular, $\mathcal{J}$ is open.

Consider a component $U$ of ${\mathcal{J}}$. Suppose $\lambda$ and $\lambda^{\prime}$ are two points in $U$ and $\gamma(t):[0,1]\to U$ is an analytic curve connecting $\lambda$ and $\lambda^{\prime}$ with $\gamma(0)=\lambda$ and $\gamma(1)=\lambda^{\prime}$. In a neighborhood $V$ of $\gamma$ with basepoint $\lambda$, the set $E_{c}=\{p_{c}\}$, $c\in V$, of all repelling periodic points of $f_{c}$ defines a holomorphic motion,

[TABLE]

The $\lambda$-lemma (see [MSS, GJW]) implies that the holomorphic motion $h$ can be extended to the closure $\overline{E}_{\lambda}$ of $E_{\lambda}$; that is, there is a holomorphic motion

[TABLE]

such that $H|E\times V=h$ and $H_{\lambda,\lambda^{\prime}}(z)=H(z,\lambda^{\prime}):\overline{E}_{\lambda}\to\overline{E}_{\lambda^{\prime}}$ is a quasiconformal homeomorphism. Since the repelling periodic points of $f_{\lambda}$ are dense in the Julia set $J_{\lambda}$, it follows that $\overline{E}_{\lambda}=J_{\lambda}$ and

[TABLE]

Note that the construction of $H_{\lambda,\lambda^{\prime}}$ depends on the choice of the curve $\gamma$ and it may not be unique.

We also need the following generation of Montel’s theorem.

Theorem 5.5** (See theorem $3.3.6$ in [Bea]).**

Let $D$ be a domain, and suppose that the functions $\phi_{1}$, $\phi_{2}$ and $\phi_{3}$ are analytic in $D$, and are such that the closures of the domains $\phi_{j}(D)$ are mutually disjoint. If $\mathcal{F}$ is a family of functions, each analytic in $D$, and such that for every $z$ in $D$, and every $f$ in $\mathcal{F}$, $f(z)\neq\phi_{j}(z)$, $j=1,2,3$, then $\mathcal{F}$ is normal in $D$.

The set of virtual center parameters $\mathcal{B}_{cv}$ is clearly not contained in $\mathcal{J}$. By theorem 4.1 and theorem 5.1 the points in $\mathcal{B}_{cv}$ are on the boundaries of both a shell component and the shift locus. In addtion, we have

Theorem 5.6**.**

The boundary of $\mathcal{J}$ is contained in the closure of $\mathcal{B}_{cv}$, that is, $\partial\mathcal{J}\subset\overline{\mathcal{B}_{cv}}$.

Proof.

Since [math] is an attracting fixed point, at least one of the families $\{f_{\lambda}^{n}(\lambda)\}$ and $\{f_{\lambda}^{n}(\mu)\}$ converges to [math]; that is, for each $\lambda_{0}$, one of them is always normal and, by proposition 5.4, in a neighborhood of $\lambda_{0}$ it is the same family that is normal. Suppose $\lambda_{0}\in\partial\mathcal{J}$; without loss of generality, we may assume that $\{f_{\lambda}^{n}(\lambda)\}$ is not normal at $\lambda_{0}$.

Let $U$ be any neighborhood of $\lambda_{0}$. The poles of $f_{\lambda,}$

[TABLE]

form a holomorphic family in $U$. If $f^{n}_{\lambda,\mu}(\lambda)\neq p_{k}(\lambda)$ for any $k$ or $\lambda\in U$, then theorem 5.5 implies $f^{n}_{\lambda}(\lambda)$ is normal in $U$. This contradicts the hypothesis that $\lambda_{0}\in\partial\mathcal{J}$. ∎

The parabolic cusps and Misiurewicz points are contained in the bifurcation locus.

6. Topological structure of the Shift Locus

In this section we will show that the shift locus is homeomorphic to an annulus punctured at one point. This puncture corresponds to the point $\lambda=0$ where $f_{\lambda}$ is not defined.

Before we discuss this proof we need a lemma.

Lemma 6.1**.**

Suppose $V$ is Riemann surface homeomorphic to a disk from which a (possibly empty) collection of finitely or countably many pairwise disjoint disks have been removed. Let $\lambda$ and $\mu$ be two distinct points in $V$. Then there is a Riemann surface $W,$ homeomorphic to a disk minus a countable collection of pairwise disjoint disks, and an infinite degree holomorphic covering map $h:W\rightarrow V\setminus\{\lambda,\mu\}$.

Proof.

There exists an embedding $e:V\to\widehat{\mathbb{C}}$ such that $e(\lambda)=0$ and $e(\mu)=\infty$. Consider the exponential map

[TABLE]

and set $W=Exp^{-1}(e(V))$. Each component $U$ of $\widehat{\mathbb{C}}\setminus e(V)$ is simply connected and does not contain either [math] or $\infty$. Therefore $Exp^{-1}(U)$ is the union of infinitely many simply connected open sets so that $W$ is an open set with infinitely many holes. Thus $h=e^{-1}\circ Exp:W\to V$ is the required map. ∎

Remark 6.1**.**

We inductively apply this lemma to construct a family of surfaces and infinite degree covering maps. The direct limit of this process defines a map that is used in a key step of the proof of the main structure theorem.

As in lemma 6.1, let $V_{0}$ be a topological disk and let $\{U_{j}\}$ be a (possibly empty) collection of finitely or countably many pairwise disjoint disks in $V_{0}$. Set $U_{0}=V_{0}\setminus\cup_{j\in{\mathbb{Z}}}U_{j}$ and fix two points, $\lambda_{0}$ and $\mu_{0}$ in $U_{0}$. Applying the lemma, we can find a Riemann surface $U_{1}=V_{1}\setminus\cup_{(j_{1},j)\in{\mathbb{Z}}^{2}}U_{j_{1}j}$, where $V_{1}$ is a topological disk and the $U_{j_{1},j}$ are pairwise disjoint topological disks in $V_{1}$, and an infinite degree holomorphic covering map $h_{1}:U_{1}\rightarrow U_{0}\setminus\{\lambda_{0},\mu_{0}\}$.

Iterating this process, we choose points $\lambda_{n-1},\mu_{n-1}\in U_{n-1}$ and obtain Riemann surfaces $U_{n}=V_{n}\setminus\cup_{(j_{n},\cdots j_{0})\in{\mathbb{Z}}^{n+1}}U_{j_{n}\cdots j_{0}}$, where $V_{n}$ is a topological disk and the $U_{j_{n}\cdots j_{0}}$ are pairwise disjoint topological disks in $V_{n}$, and holomorphic covering maps of infinite degree

[TABLE]

To carry out the proof on the structure of ${\mathcal{S}}$, recall the normalized uniformizing map $\phi_{\lambda}$ defined in the proof of proposition 3.1 that conjugates $f_{\lambda}$ to a linear map near the origin. We divide the discussion into two parts depending on which of the asymptotic values is on the boundary of $O_{\lambda}$, the domain on which $\phi_{\lambda}$ is injective:

• •

Let ${\mathcal{S}}_{\lambda}=\{\lambda\in{\mathcal{S}}|\mu\in\partial{O_{\lambda}}\}$.

• •

Let ${\mathcal{S}}_{\mu}=\{\lambda\in{\mathcal{S}}|\lambda\in\partial{O_{\lambda}}\}$.

These sets have a common boundary, ${\mathcal{S}}_{*}={\mathcal{S}}_{\lambda}\cap{\mathcal{S}}_{\mu}$, or equivalently,

[TABLE]

In section 3.2 we defined the map $I(\lambda)$ which is some kind of the inversion in the circle ${\mathcal{C}}_{0}$ defined by $|z-\rho/2|=|\rho/2|$. Using this map we have,

Proposition 6.2**.**

The common boundary set ${\mathcal{S}}_{*}$ is invariant under $I(\lambda)$.

Proof.

Note that the affine map $z\to-z$ conjugates $f_{\lambda}$ to $f_{I(\lambda)}$. Therefore if $\phi_{\lambda}(z)$ is the uniformizing map for $f_{\lambda},$ then the uniformizing map $\phi_{I(\lambda)}$ for $f_{I(\lambda)}=f_{\lambda_{1},\mu_{1}}$ is $\phi_{\lambda}(-z)$. Thus,

[TABLE]

It follows that $I(\lambda)$ interchanges $\mathcal{S}_{\lambda}$ and $\mathcal{S}_{\mu}$ and fixes $\mathcal{S}_{*}$. ∎

Note that the point $\lambda=\rho$ is in ${\mathcal{S}}_{*}$.

We saw above, in proposition 3.4, that if $\rho$ is real, the invariant circle ${\mathcal{C}}_{0}$ of the inversion $I(\lambda)$ is in ${\mathcal{S}}$. If $\rho$ is real, we can say more.

Proposition 6.3**.**

If $\rho$ is real, then ${\mathcal{S}}_{*}={\mathcal{C}}_{0}$.

Proof.

Let $\sigma(z)=-\overline{z}$. Then if $\rho$ is real, it is easy to check that for any $z$, $f_{\lambda}\circ\sigma(z)=\sigma\circ f_{\lambda}(z)$. Therefore

[TABLE]

and by proposition 3.4, they both converge to [math].

To show ${\mathcal{S}}_{*}={\mathcal{C}}_{0}$, we need to show that $|\phi_{\lambda}(\lambda)|=|\phi_{\lambda}(\mu)|$ where $\phi_{\lambda}$ is the uniformizing map defined above such that $\phi_{\lambda}(f_{\lambda}(z))=\rho\phi_{\lambda}(z)$. We claim, in fact, that $\phi_{\lambda}(\mu)=-\overline{\phi_{\lambda}(\lambda)}$.

Let $\phi=\sigma\circ\phi_{\lambda}\circ\sigma(z)$. We claim that $\phi_{\lambda}=\phi$ since

[TABLE]

Then $\phi_{\lambda}(\mu)=\phi_{\lambda}(\sigma(z))=\sigma\phi_{\lambda}(\lambda))=-\phi_{\lambda}(-\overline{\lambda})$ as claimed. ∎

The following theorem says that the interior ${\mathcal{S}}_{\lambda}^{0}$ of ${\mathcal{S}}_{\lambda}$ is a topological annulus. It follows that it is connected.

Theorem 6.4**.**

There is a homeomorphism $E:{\mathcal{S}_{\lambda}^{0}}\rightarrow{\mathbb{A}}$ where ${\mathbb{A}}$ is a topological annulus. The inverse map $E^{-1}$ extends continuously to all points except one of one of the boundary components of ${\mathbb{A}}$.

Remark 6.2**.**

The proof of this theorem is based on a lemma in which we explicitly construct a homeomorphism $E$ from ${\mathcal{S}_{\lambda}^{0}}$ to an annulus. The construction depends on the choice of a particular “model map” in the period $1$ component $\Omega_{1}$.

The proof of the lemma is based on a technique that originally appeared in the unpublished thesis of Wittner, [Wit]. The technique, called “critical point surgery”, is used to model pieces of the cubic connected locus on the dynamical plane of a quadratic polynomial. In [GK], it was adapted to describe slices of $Rat_{2}$, the parameter space of rational maps of degree two with an attracting fixed point. Like the $Rat_{2}$ case, we have two singular values, but unlike that case, our singular values are asymptotic values and our maps are infinite degree and have an essential singularity. We choose as our model an $f_{\lambda}$ with $\lambda$ in the period $1$ shell component of ${\mathcal{M}}_{\lambda}$. This is the unbounded yellow component in figure 2 and is denoted by $\Omega_{1}$. As we saw at the end of section 3.2, the attracting basin of the fixed point of $f_{\lambda}$ is simply connected and completely invariant. Our model space will be the annulus formed by removing a dynamically defined disk from this basin.

Before we give the proof in detail, we give an outline. Below, we assume, as we have been doing, that $\rho$ is fixed and all the functions $f_{\lambda}$ belong to ${\mathcal{F}}_{2}$.

1. (1)

Since the multiplier map is a universal cover of a shell component to the punctured unit disk, we can find a $\lambda_{0}$ in $\Omega_{1}\subset{\mathcal{M}}_{\lambda}$ such that the multiplier at the fixed point $q_{0}$ of $f_{\lambda_{0}}$ equals the fixed value $\rho$. This choice is convenient because the map $f_{\lambda_{0}}$ is quasiconformally conjugate to a map $\sigma\tan z$ whose Julia set, by [KK], is a quasiconformal image of the real line. In fact, if we take $\rho$ real, $\sigma$ is real, the Julia set of $f_{\lambda_{0}}$ is a line parallel to the imaginary axis and the attracting basin of $q_{0}$ is a simply connected, completely invariant half plane containing the asymptotic value $\lambda_{0}$. Following the notation in section 3.2 we denote the basin of $q_{0}$ by $K_{0}$. 2. (2)

We make the model space by removing from $K_{0}$ a closed dynamically defined topological disk $\Delta$ which contains the fixed point $q_{0}$ in its interior and $\lambda_{0}$ on its boundary. We define the map $E$ from ${\mathcal{S}}_{\lambda}^{0}$ to $K_{0}\setminus\Delta$ as follows: to each $\lambda\in{\mathcal{S}}_{\lambda}^{0}$, we construct a map $\xi_{\lambda}$ from a subset of the attracting basin $A_{\lambda}$ of [math] containing both asymptotic values into the attracting basin $K_{0}$ of $q_{0}$ such that $\xi_{\lambda}(0)=q_{0}$ and $\xi_{\lambda}(\mu)=\lambda_{0}$; we set $E(\lambda)=\xi_{\lambda}(\lambda)$. We then prove that $E$ is injective. 3. (3)

To show $E$ is a homeomorphism, we construct an inverse.

• •

We want to assign a map $f_{\lambda}\in{\mathcal{S}}_{\lambda}^{0}$ to each point $p$ in $K_{0}\setminus\Delta$. The point $p$ should correspond to the asymptotic value $\lambda$ of $f_{\lambda}$. Given $p$, we use induction to construct the stable region of a map with two asymptotic values at $\lambda_{0}$ and $p$. At the $n^{th}$ step we obtain a domain $U_{n}$, homeomorphic to a disk minus an infinite collection of open disks, and a holomorphic map $Q_{n}:U_{n}\rightarrow U_{n}$ with omitted values $\lambda_{0}$ and $p$. Taking the direct limit of the pairs $(U_{n},Q_{n})$ we obtain a pair $(U_{\infty},Q_{\infty})$ where $Q_{\infty}:U_{\infty}\rightarrow U_{\infty}$ is a holomorphic covering map with the desired topology; that is, an infinite degree covering map with two asymptotic values.

• •

We construct a conformal embedding $e:U_{\infty}\rightarrow{\mathbb{C}}$ such that $e\circ U_{\infty}=f_{\lambda}\circ e$ for a unique $\lambda\in{\mathcal{S}}_{\lambda}^{0}$ such that $\xi_{\lambda}(\lambda)=p$. The construction depends on some Teichmüller theory. We give a brief summary of what we need before the construction.

• •

We extend this inverse map to the points of $\partial\Delta\setminus\{\lambda_{0}\}$ whose image, by construction, is ${\mathcal{S}}_{*}$. Note that the map is not defined for $p=\lambda_{0}$; its image must be a parameter singularity in $\overline{{\mathcal{S}}_{*}}$.

The proof of theorem 6.4 is contained in the next subsections.

6.1. The Model Space

Every point $\lambda\in\Omega_{1}$ corresponds to a function $f_{\lambda}$ with a non-zero attracting fixed point denoted by $q_{\lambda}$; its attractive basin is denoted by $K_{\lambda}$. By propositions 3.1 and 3.5, it is simply connected and completely invariant. In fact, $f_{\lambda}$ is quasiconformally conjugate to $t\tan z$ for some real $t\geq 1$ whose Julia set is the real line (see [DK]), so its Julia set is the quasiconformal image of a line (see figure 7 where $\rho=2/3$). In figure 7, the cyan colored region is $K_{\lambda}$ and the yellow region is the basin of [math], $A_{\lambda}$. The black dots are poles on the boundary of $K_{\lambda}$ and are in the Julia set. Denote the closure of $K_{\lambda}$ by $\overline{K_{\lambda}}$. It is the analogue of the filled Julia set for a quadratic map.

Because the multiplier map $\nu$ is a universal covering from $\Omega_{1}$ to ${\mathbb{D}}^{*}$, we can find a sequence of points $\lambda_{j}\in\Omega_{1}$, $j\in{\mathbb{Z}}$ such that $\nu(\lambda_{j})=f_{\lambda_{j}}^{\prime}(q(\lambda_{j}))=\rho$. We choose one, denote it by $\lambda_{0}$, and set $q_{0}=q_{\lambda_{0}}$. We set $Q(z)=f_{\lambda_{0}}(z)$ and let $K_{0}$ denote the attracting basin of $q_{0}$.

In figure 8 the set $\overline{K}_{0}$ is depicted for $\rho$ real and $\lambda_{0}$ taken as the real solution to $\nu(\lambda_{0})=f_{\lambda_{0}}^{\prime}(q(\lambda_{0}))=\rho$. Since the multipliers of both attracting fixed points, [math] and $q_{0}$, are the same, there is a real $t=t(\rho)$, $\sigma=it$, such that $Q(z)$ and $it\tan iz=t\tanh z$ are not only quasiconformally conjugate but affine conjugate and the Julia set of $Q(z)$ is a vertical line.

There is a local uniformizing map, which we denote by $\phi_{0}$, $\phi_{0}:K_{0}\rightarrow{\mathbb{C}}$, normalized so that $\phi_{0}$ maps $q_{0}$ to [math], $\phi_{0}^{\prime}(q_{0})=1$ and $\phi_{0}$ conjugates $Q$ to $\zeta\to\rho\zeta$ in a neighborhood of $q_{0}$. We can extend $\phi_{0}$ to all of $K_{0}$ by analytic continuation. Note that $\phi_{0}(z)=0$ if and only if $Q^{n}(z)=q_{0}$ for some $n$.

Let $r=|\phi_{0}(\lambda_{0})|$ and let $\gamma^{*}=\phi^{-1}_{0}(re^{i\theta}),\,\theta\in{\mathbb{R}}$. It is a simple closed curve; let $\Delta$ be the closed topological disk in $K_{0}$ bounded by $\gamma^{*}$. Then $\phi_{0}$ is injective on $\Delta$ and $\lambda_{0}$ is on $\partial\Delta$.

Lemma 6.5**.**

There is an injective holomorphic map $E:{\mathcal{S}}_{\lambda}^{0}\rightarrow K_{0}\setminus\Delta$. Set $w=E(\lambda)$; $E$ satisfies:

1. (i)

For each $\lambda\in{\mathcal{S}}_{\lambda}$ such that $f_{\lambda}^{n}(\lambda)=0$ for some $n$, $E$ maps it to a preimage of $q_{0}$; that is, if $w=E(\lambda)$, then $Q^{n}(w)=q_{0}$. 2. (ii)

For each $\lambda\in{\mathcal{S}}_{\lambda}$ such that $f_{\lambda}^{n}(\lambda)=f_{\lambda}^{m}(\mu)$ for some $m,n$, $E$ maps it to a point in the grand orbit of $\lambda_{0}$; that is, if $w=E(\lambda)$, then $Q^{n}(w)=Q^{m}(\lambda_{0})$. 3. (iii)

As $\lambda$ tends to the boundary ${\mathcal{S}}_{*}$ of ${\mathcal{S}}_{\lambda}$, $w=E(\lambda)$ tends to $\partial\Delta\setminus\{\lambda_{0}\}$.

Proof.

The map $E$ is defined as follows. Given $\lambda\in{\mathcal{S}}_{\lambda}^{0}$, we defined a conformal homeomorphism $\phi_{\lambda}$ from the neighborhood $O_{\lambda}$ in the attracting basin $A_{\lambda}$ to a disk centered at zero with $\phi_{\lambda}(0)=0$ that conjugates $f_{\lambda}$ to $\zeta\mapsto\rho\zeta$. The map is defined up to affine conjugation and depends holomorphically on $\lambda$. We assume here that it is normalized so that $\phi_{\lambda}(\mu)=\phi_{0}(\lambda_{0})$. For each $\lambda$, define a map

[TABLE]

From the definitions of $\phi_{\lambda}$ and $\phi_{0}$, it follows that $\xi_{\lambda}(0)=q_{0}$ and $\xi_{\lambda}(\mu)=\lambda_{0}$. Since $f_{\lambda_{0}}^{\prime}(0)=Q^{\prime}(q_{0})=\rho$, the map $\xi_{\lambda}$ is a conformal homeomorphism from $O_{\lambda}$ to $\Delta$ and it conjugates $f_{\lambda}$ to $Q$.

Now we are ready to define the map $E$ from $\mathcal{S}_{\lambda}^{0}\to K_{0}\setminus\Delta$ as

[TABLE]

By construction $E$ satisfies properties (i) and  (ii).

Suppose $\xi_{\lambda^{\prime}}(\lambda^{\prime})=\xi_{\lambda}(\lambda)$. The map $\xi_{\lambda^{\prime},\lambda}=\xi_{\lambda^{\prime}}^{-1}\xi_{\lambda}=\phi_{\lambda^{\prime}}^{-1}\phi_{\lambda}$ restricted to a neighborhood of the origin in the basin $A_{\lambda}$ defines a holomorphic conjugacy between $f_{\lambda}$ and $f_{\lambda^{\prime}}$ on this neighborhood. Since $\xi_{\lambda^{\prime},\lambda}(\lambda)=\lambda^{\prime}$, we can extend this holomorphic conjugacy by the dynamics of $f_{\lambda}$ and $f_{\lambda^{\prime}}$ to a holomorphic conjugacy, which we still denote by $\xi_{\lambda^{\prime},\lambda}$, defined on the whole stable set $A_{\lambda}$. Furthermore, by using dynamics of $f_{\lambda}$ and $f_{\lambda^{\prime}}$, we can extend this holomorphic conjugacy to to the Julia set $J_{\lambda}$ as a topological conjugacy that fixes infinity. Since ${\widehat{\mathbb{C}}}=A_{\lambda}\cup J_{\lambda}$, if we denote this extension by $\xi_{\lambda,\lambda^{\prime}}$ again, we have

[TABLE]

From the discussion on $J$-stability in subsection 5.1, we can find a holomorphic motion $H(z,c):\overline{E}_{\lambda}\times V\to{\widehat{\mathbb{C}}}$ such that $\xi_{\lambda,\lambda^{\prime}}|\overline{E}_{\lambda}=H_{\lambda,\lambda^{\prime}}=H(\cdot,\lambda^{\prime})$ is a quasiconformal homeomorphism on $\overline{E}_{\lambda}=J_{\lambda}$. On $A_{\lambda}={\widehat{\mathbb{C}}}\setminus\overline{E}_{\lambda}$, $\xi_{\lambda,\lambda^{\prime}}$ is holomorphic and injective, thus it is conformal. Now by a theorem of Rickman (see [Rick, Theorem 1] or [DH] or [J, Theorem 5.1]) it follows that $\xi_{\lambda,\lambda^{\prime}}$ is a global quasiconformal mapping of ${\widehat{\mathbb{C}}}$. It follows from the paper of Zheng, (see [ZJ, Theorem 3.1]), that the area of the Julia set $J_{\lambda}$ is zero and $\xi_{\lambda,\lambda^{\prime}}$ is a global conformal mapping of ${\widehat{\mathbb{C}}}$. Since $\xi_{\lambda^{\prime},\lambda}$ fixes zero and infinity, $\xi_{\lambda^{\prime},\lambda}(z)=az$. Equation 5 implies that $a=1$, $\lambda=\lambda^{\prime}$ which proves that $E$ is injective. Note that as we saw in section 3, there are two choices for $\lambda^{\prime}$ but if we require that $\lambda^{\prime}$ is the preferred asymptotic value so that $\lambda^{\prime}\in{\mathcal{S}}_{\lambda}$, then $\xi_{\lambda^{\prime},\lambda}$ is the identity.

Property (iii) follows since as $\lambda$ tends to the boundary ${\mathcal{S}}_{*}$ of ${\mathcal{S}}_{\lambda}$, the asymptotic value $\lambda$ tends toward the leaf of the dynamically defined level curve containing $\mu$ in the dynamic plane of $f_{\lambda}$; thus $E(\lambda)$ tends to a point on the corresponding level curve, $\partial\Delta\setminus\{\lambda_{0}\}$ in $K_{0}$. ∎

Note that the map $E^{-1}$ is not defined at the point $\lambda_{0}$ on $\partial\Delta$ because if it were, the asymptotic values of the function corresponding to the image point would be equal. Thus the point omitted by $E^{-1}$ would be a parameter singularity, and by continuity, a punctured neighborhood of it would contain points in both ${\mathcal{S}}_{\lambda}$ and ${\mathcal{S}}_{\mu}$. There are only two parameter singularities, [math] and $\rho/2$; the latter is a virtual center on the boundary of ${\mathcal{M}}_{\mu}$ so small neighborhoods do not contain points of ${\mathcal{S}}_{\lambda}$. Therefore the point omitted by $E^{-1}$ is [math]. We can extend $E^{-1}$ to $\lambda_{0}$ by setting $E^{-1}(\lambda_{0})=0$ so that $E^{-1}(\partial\Delta)$ is the closed curve ${\mathcal{S}}_{*}\cup\{0\}$.

Remark 6.3**.**

The map $\xi_{\lambda}$ ties together the attractive basin of the origin in the dynamical space of $f_{\lambda}$ and the attractive basin of $q_{0}$ in the dynamical space of $Q$ with the parameter space of $f_{\lambda}$.

6.2. Construction of an inverse for $E$.

6.2.1. Dynamic decomposition of $K_{0}$.

To define inverse branches $R_{j}$ of $Q$ on the $K_{0}$, let $l^{*}$ be the gradient curve joining $Q(\lambda_{0})$ to $\lambda_{0}$ in $\Delta$ and let $l\in Q^{-1}(l^{*})$ be the curve joining $\lambda_{0}$ to infinity. Remove the line $l$ from $K_{0}$ and define an inverse branch on its complement by the condition $R_{0}(q_{0})=q_{0}$. Label the other branches as $R_{j}(q_{0})=q_{0}+\pi ij=q_{j}$. This is equivalent to choosing a principal branch for the logarithm. Having made this choice, we can extend the $R_{j}$ analytically to all of $K_{0}$. Denote the preimages of $q_{0}$ under $Q^{-1}$ by $q_{j}$, enumerated so that $q_{0}$ is fixed, and denote the inverse branch of $Q$ that sends $q_{0}$ to $q_{j}$ by $R_{j}$. Denote the upper and lower sides of the line $l$ by $l^{+}$ and $l^{-}$ and let $l_{j}=R_{j}(l^{-})$, $l_{j+1}=R_{j}(l^{+})=R_{j+1}(l^{-})$. Then $R_{0}$ is a homeomorphism between the open region bounded by the lines $l_{0}$, $l_{1}$ and $l$ onto $K_{0}\setminus l$ and $R_{j}$, $j\neq 0$ is a homeomorphism from the open region between $l_{j}$ and $l_{j}+1$ onto $K_{0}\setminus l$.

If $\rho$ and $\lambda_{0}$ are real, this choice for the logarithm agrees with the labeling of the poles and inverse branches in section 4.2 where $R_{0}=g_{\lambda_{0},0}$, the branch of $Q^{-1}=f_{\lambda_{0}}^{-1}$ that fixes the origin. This is the labeling in figure 8. If $\rho$ and/or $\lambda_{0}$ isn’t real, and a different branch of the logarithm is chosen, there could be a shift by some $k$ in the labelling. It would be the same shift throughout the rest of the paper so would not change the essence of the argument.

Recall that $\gamma^{*}$ is the boundary of $\Delta$ in $K_{0}$ and it contains $\lambda_{0}$. Then, because $\lambda_{0}$ is an omitted value of $Q$, the curves $\{\gamma_{j}\}=R_{j}(\gamma^{*}),\,j\in{\mathbb{Z}}$, are a countable collection of bi-infinite disjoint curves whose infinite ends approach infinity asymptotic to the lines $l_{j}$ and $l_{j+1}$. Thus $R_{j}(\Delta)$ is an unbounded domain, with boundary $\gamma_{j}$, that contains $q_{j}$. Note that $R_{0}(\Delta)$ contains the removed line $l$. We label the complementary components of the $\gamma_{j}$ as follows (see figure 8):

• •

$A_{0}=R_{0}(\Delta)$ is the component of the complement of $\gamma_{0}$ containing the fixed point $q_{0}$ and the point $\lambda_{0}$.

• •

$B_{j},\,j\in{\mathbb{Z}}\setminus\{0\}$ are the components of the complement of $\gamma_{j}$ containing the non-fixed preimages $q_{j}$ of $q_{0}$ and

• •

$C_{0}$ is the common complementary component in $K_{0}$ of $A_{0}$ and all the $B_{j}$.

To define the second preimages of $q_{0}$ and $\gamma^{*}$ we need two indices. Thus $q_{j_{2}j_{1}}=R_{j_{2}}R_{j_{1}}(q_{0})$ and $\gamma_{j_{2}j_{1}}=R_{j_{2}}R_{j_{1}}(\gamma^{*})$ where $j_{1},j_{2},\in{\mathbb{Z}}$. They divide $K_{0}$ into domains as follows (see figure 8):

• •

Since $A_{0}$ is simply connected and contains one asymptotic value, $Q:A_{1}=Q^{-1}(A_{0})\to A_{0}\setminus\{\lambda_{0}\}$ is a universal covering. Set $A_{j0}=R_{j}(A_{0})$; it is bounded by $l_{j}$, $l_{j+1}$ and $\gamma_{j0}$. Each $\{\gamma_{j0}\}$ joins the pole $R_{j}(\infty)$ to the pole $R_{j+1}(\infty)$; these two poles are different but adjacent because the infinite ends of $\gamma_{0}$ are on opposite sides of the line $l$ defining the principal branch.

• •

Since $B_{j_{1}}$ is simply connected and contains no asymptotic value for any $j_{1}\neq 0$, each component of $Q^{-1}(\gamma_{j_{1}})$ is homeomorphic to $\gamma_{j_{1}}$. The curves $\gamma_{j_{2}j_{1}}$ bound domains containing the preimages $q_{j_{2}j_{1}}$. Label these domains $B_{j_{2}j_{1}}=R_{j_{2}}(B_{j_{1}})$.

• •

There are domains $C_{j0}=R_{j}(C_{0})$.

Inductively we have curves

[TABLE]

and the regions they define as follows (see figure 8);

• •

$A_{n}=R_{0}(A_{n-1})$; it contains $q_{0}$ and $\lambda_{0}$. It also contains all preimages of $q_{0}$ up to order $n-1$ but not those of order $n$. It is bounded by a curve $Q^{-n}(\gamma_{0})$ that is a union of open arcs with endpoints at adjacent prepoles of order $n$. These are the red curves without labels closest to the vertical line in figure 8.

• •

$B_{j_{n}j_{n-1}\ldots j_{1}}=R_{j_{n}}(B_{j_{n-1}\ldots j_{1}})$; it contains the preimage $q_{j_{n}j_{n-1}\ldots j_{1}}$ of $q_{0}$. These are not shown in the figure. They are bounded by a single curve with a boundary point at a prepole of order $n-1$.

• •

$C_{j_{n}j_{n-1}\ldots,0}=R_{j_{n}}(C_{j_{n-1}\ldots 0})$.

6.2.2. Inductive construction of the pair $(U_{\infty},Q_{\infty})$

See figure 9.

• •

Pick $p\in K_{0}\setminus\Delta$. In figure 9, $p$ is in $A_{00}$. Following the outline above, part (3), we construct a map with the asymptotic values $p$ and $\lambda_{0}$ as follows. Let $\widehat{p}_{j}=R_{j}(p)$; in the figure the $\widehat{p}_{j}$ are in $A_{j00}$. Let $N$ be the smallest integer such that $p$ is in $A_{N}\cup B_{j_{N},j_{N-1}\ldots,j_{1}}$. The boundaries of the sets in this union are the level sets $\phi_{0}^{-1}(\rho^{-N}re^{i\theta})$ where, as above, $r=|\phi_{0}(\lambda_{0})|$. For every small $\epsilon>0$, one component of the level set $\phi_{0}^{-1}((\rho^{-N}r+\epsilon)e^{i\theta})$ is an analytic curve, except at the prepoles of order $N-1$. It bounds a simply connected domain containing $A_{N}$; it thus contains the points $p,q_{0},\lambda_{0}$ and the curves $\gamma_{j_{N},\ldots j_{1}}$, but none of preimages $\widehat{p}_{j}$ of $p$. Fix $\epsilon$, and denote the resulting domain by $U$. Its boundary is denoted by the dotted black curve in figure 9. Since it is contained in the attracting basin of $q_{0}$, $Q(U)\subset U$. Moreover, since $U$ does not contain any of the points $\widehat{p}_{j}$, $p\not\in Q(U)$. Set $\widetilde{U}=U\setminus\{\lambda_{0},p\}$.

• •

Lemma 6.1 implies there is a holomorphic unramified covering map $\Pi_{1}:U_{1}\rightarrow\widetilde{U}$ where $U_{1}$ is a Riemann surface that is topologically a disk minus a countable set of topological disks.

• •

Note that $Q:U\rightarrow Q(U)$ is a holomorphic universal covering map with omitted value $\lambda_{0}$. Set $U_{1}^{\prime}=\Pi_{1}^{-1}(Q(U))$; since $\lambda_{0}\in Q(U)$ and $p\notin Q(U)$, it is a topological disk so that $\Pi_{1}:U_{1}^{\prime}\rightarrow Q(U)$ is also a holomorphic unramified covering map that omits the value $\lambda_{0}$.

\textstyle{U_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$$\scriptstyle{\Pi_{1}}$$\scriptstyle{Q_{1}=i_{1}\circ\Pi_{1}}$$\textstyle{U_{1}^{\prime}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$$\scriptstyle{\Pi_{1}}$$\textstyle{U_{1}}$$\textstyle{U\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$$\scriptstyle{Q}$$\scriptstyle{i_{1}}$$\textstyle{Q(U)\ignorespaces\ignorespaces\ignorespaces\ignorespaces}$$\textstyle{U}

• •

Since both $\Pi_{1}$ and $Q$ are regular coverings whose domains are simply connected, we can lift to obtain a conformal map $i_{1}:U\to U_{1}^{\prime}$ such that $\Pi_{1}\circ i_{1}=Q.$ The choice of inverse branch will affect $i_{1}$ but the argument works for any choice. We now define $Q_{1}:U_{1}\rightarrow U_{1}^{\prime}$ by $Q_{1}=i_{1}\circ\Pi_{1}$. It is an unramified regular infinite to one holomorphic endomorphism and omits the values $i_{1}(\lambda_{0})$ and $i_{1}(p)$. Moreover,

[TABLE]

that is, $i_{1}$ conjugates $Q$ and $Q_{1}$, therefore $Q_{1}$ fixes $i_{1}(q_{0})$.

We may, without loss of generality, assume $i_{1}(\lambda_{0})=\lambda_{0}$, $i_{1}(p)=p$ and $i_{1}(q_{0})=q_{0}$.

• •

Now set $Q_{0}=Q$, $U_{0}=U$ and $U_{0}^{\prime}=Q(U)$. We proceed by induction: we assume that for $1\leq j\leq n-1$ we have

1. (1)

Domains $U_{j}$, homeomorphic to an open disk from which infinitely many open disks been removed, and infinite to one unramified covering maps $\Pi_{j}:U_{j}\rightarrow U_{j-1}$ with two asymptotic values. 2. (2)

Holomorphic endomorphisms, $Q_{j}:U_{j}\rightarrow U^{\prime}_{j}\subset U_{j}$, that are infinite to one, unramified, have one fixed point and two asymptotic values. 3. (3)

Conformal maps $i_{j}:U_{j-1}\to U^{\prime}_{j}$ satisfying

[TABLE]

For the inductive step, we use Remark 6.1 to obtain the holomorphic unramified covering map $\Pi_{n}:U_{n}\rightarrow U_{n-1}$ where $U_{n}$ is homeomorphic to $U\setminus\{U_{j_{n-1}\ldots j_{1}j},\,\,(j_{n-1},\ldots,j_{1},j)\in{\mathbb{Z}}^{n}\}$. As in the first step we set $U_{n}^{\prime}=\Pi_{n}^{-1}(Q_{n-1}(U_{n-1}))$. Both

[TABLE]

are unramified coverings with asymptotic values $\lambda_{0}$ and $p$. Lemma 6.1 implies there are infinitely many choices for a holomorphic isomorphism

[TABLE]

Making one such choice (the choice doesn’t matter) we define $Q_{n}:U_{n}\rightarrow U_{n}$ by $Q_{n}=i_{n}\circ\Pi_{n}$ so that

[TABLE]

Therefore $i_{n}$ conjugates $Q_{n}$ to $Q_{n-1}$ and the induction hypotheses are satisfied, completing the inductive step.

• •

The direct limit $U_{\infty}$ of the system $(U_{n},i_{n})$ is the quotient

[TABLE]

where the equivalence relation is defined by the identifications, $z\sim i_{n}(z)$, and the equivalence class is denoted by $[z]$. The Riemann surface $U_{\infty}$ has infinite type. There is an infinite unramified holomorphic covering map $Q_{\infty}$ defined by

[TABLE]

that has two omitted values $[\lambda_{0}]$ and $[p]$. It also fixes $[q_{0}]$ and since the maps $\Pi_{n}$ and $i_{n}$ are holomorphic we have $Q_{\infty}^{\prime}([q_{0}])=\rho$.

Topologically $U_{\infty}$ is the complement in ${\mathbb{C}}$ of a Cantor set $C$ isomorphic to the space of infinite sequences $\Sigma_{\infty}=s_{1},\ldots s_{n-1},s_{n}\ldots,s_{j}\in{\mathbb{Z}}$ together with the finite sequences $\Sigma_{n+1}=s_{1},\ldots,s_{n},\infty$ of length $n+1$. The map $Q_{\infty}$ is conjugate to the shift map on $C$. See [Mo].

The final step of the proof is to show there is a conformal embedding $e:\,U_{\infty}\rightarrow{\mathbb{C}}$ such that

[TABLE]

for some $\lambda\in{\mathcal{S}}_{\lambda}^{0}$ with $\xi_{\lambda}(\lambda)=\lambda_{0}$. To do this, we first give a brief informal review the results we need from Teichmüller theory and the theory of mapping classes of tori and punctured tori. We refer the reader to [Bir] for a full discussion and [GK] for a discussion analogous to what we need here.

6.2.3. Teichmüller theory

Fix $\lambda\in{\mathcal{S}}_{\lambda}^{0}$ and set $f=f_{\lambda}$.

Definition 10**.**

Let $QC(f)$ be the set of quasiconformal maps $h:{\mathbb{C}}\rightarrow{\mathbb{C}}$ such that $g=h\circ f\circ h^{-1}$ is meromorphic. Since $g$ is a meromorphic infinite to one unbranched cover of the plane with two omitted values, by the corollary to Nevanlinna’s theorem, corollary 2.3 , it is affine conjugate to a map $f_{\lambda^{\prime}}\in{\mathcal{F}}_{2}$ and we choose the conjugacy so that $\lambda^{\prime}$ is the preferred asymptotic value.

We define the Teichmüller equivalence relation on $QC(f)$ as follows: elements $h_{1},h_{2}$ of $QC(f)$ are equivalent if there is an affine map $a$ and an isotopy from $h_{1}$ to $a\circ h_{2}$ through elements of $QC(f)$. The quotient space of $QC(f)$ by this equivalence relation is called the Teichmüller space $Teich(f)$ with basepoint $f$.

Let $QC_{0}(f)$ denote the elements of $QC(f)$ that conjugate $f$ to itself and $QC_{0}^{*}(f)$ those that preserve the marking of the asymptotic values.

Definition 11**.**

The mapping class group, $MCG(f)$, is the quotient of $QC_{0}(f)$ by the Teichmüller equivalence relation and the pure mapping class group, $MCG^{*}(f)$, is the quotient of $QC_{0}^{*}(f)$ by the Teichmüller equivalence relation. The moduli space and pure moduli space are defined as the quotients ${\rm M}(f)=Teich(f)/MCG(f)$ and ${\rm M}^{*}(f)=Teich(f)/MCG^{*}(f)$.

Remark 6.4**.**

Because we are working in a dynamically natural slice of ${\mathcal{F}}_{2}$ defined by the conditions that [math] is fixed and has multiplier a fixed $\rho$, we restrict our considerations here to the slice $Teich(f,\rho)\subset Teich(f)$ of equivalence classes of quasiconfomal maps $h$ such that $h\circ f\circ h^{-1}$ has a fixed point with multiplier $\rho$. The mapping class group and pure mapping class group act on $Teich(f,\rho)$. The $\lambda$ parameter plane is identified with the pure moduli space ${\rm M}^{*}(f,\rho)$. For readability below, since we always assume we are in this slice, we drop the $\rho$ from the notation.

Because the quasiconformal maps conjugate the dynamics, and the dynamics are controlled by the orbits of the asymptotic values, the space $Teich(f_{\lambda})$ is related to the Teichmüller space of a twice punctured torus defined by the dynamics. We explain this here.

Definition 12**.**

The points $z_{1},z_{2}$ are grand orbit equivalent if there are integers $m,n\geq 0$ such that $f_{\lambda}^{m}(z_{1})=f_{\lambda}^{n}(z_{2})$. They are small orbit equivalent if for some $n>0$, $f_{\lambda}^{n}(z_{1})=f_{\lambda}^{n}(z_{2})$. Denote the grand orbit equivalence classes by $[z]$.

Now $\phi_{\lambda}(z)=0$ if and only if $z$ is grand orbit equivalent to [math]. Let $\widehat{A_{\lambda}}$ denote the complement of the grand orbit of [math] in $A_{\lambda}$. We have

Lemma 6.6**.**

The restriction of $\phi_{\lambda}$ to $\widehat{A_{\lambda}}$ is a well defined map from each small equivalence class to a point in ${\mathbb{C}}^{*}$.

Proof.

If $z_{1},z_{2}$ are small orbit equivalent there is some integer $N$ such that for all $n\geq N$, $f_{\lambda}^{n}(z_{1})=f_{\lambda}^{n}(z_{2})$. Moreover, for all large $n$, $f_{\lambda}^{n}(z)\in O_{\lambda}$ and, since $\phi_{\lambda}$ is injective on $O_{\lambda}$, the lemma follows. ∎

Let $\Gamma_{\rho}$ be the group generated by $z\mapsto\rho z$ in ${\mathbb{C}}^{*}$. The projection $\tau_{\rho}:{\mathbb{C}}^{*}\rightarrow{\mathbb{C}}^{*}/\Gamma_{\rho}=T_{\rho}$ is a holomorphic covering map onto a torus $T_{\rho}$. Following common usage, we say that its modulus is $\rho$. Set $T=T_{\rho}$ since $\rho$ is fixed in this discussion.

Define the composition of $\phi_{\lambda}$ with $\tau_{\rho}$ by

[TABLE]

By lemma 6.6, we see that $\Phi_{\lambda}$ identifies $\widehat{A_{\lambda}}$ in the dynamical space of $f_{\lambda}$ with the torus $T$ because each grand orbit in $\widehat{A_{\lambda}}$ maps to a unique point on $T$. Notice that $T$ depends only on $\rho$ and not on $\lambda$. Let $\gamma^{*}$ be the level curve through the asymptotic value $\mu$ in $\widehat{A_{\lambda}}$, and $\beta$ its projection on $T$.

Since $\lambda\in{\mathcal{S}}_{\lambda}^{0}$, the orbit of $\mu$ accumulates on [math] so it cannot be in the grand orbit of [math]. It is possible that $\lambda$ is in the grand orbit of zero, or that for some $m,n$, $f_{\lambda}^{n}(\lambda)=f_{\lambda}^{m}(\mu)$. This can happen only on a discrete set and we assume here that it does not happen for the $\lambda$ we chose.

There are two special points on $T$, the points $\lambda^{*}=\Phi_{\lambda}(\lambda)$ and $\mu^{*}=\Phi_{\lambda}(\mu)$. We mark them so that $\lambda^{*}$ is the preferred point. Let $T^{2}_{\lambda}=T\setminus\{\lambda^{*},\mu^{*}\}$. Let $A_{\lambda}^{*}=\Phi_{\lambda}^{-1}(T^{2}_{\lambda})$; then $A_{\lambda}^{*}\subset A_{\lambda}$ is the complement of the grand orbits of [math] and the asymptotic values. It is easy to see that $\Phi_{\lambda}:A_{\lambda}^{*}\rightarrow T^{2}_{\lambda}$ is a covering projection.

The Teichmüller space $Teich(T^{2}_{\lambda})$ is defined as the set of equivalence classes of quasiconformal maps, $[H]$, defined on $T^{2}_{\lambda}$, where, as above, the equivalence is through isotopy. The pure mapping class group $MCG_{*}(T^{2})$ and pure moduli space ${\rm M}^{*}(T^{2})$ based at $T^{2}_{\lambda}$ are defined as for $Teich(f)$: the pure mapping class group consists of equivalence classes $[H]$ that map $T^{2}_{\lambda}$ to itself preserving the marking and the pure moduli space is formed by identifying points congruent under the pure mapping class group. Thus the map $\Phi_{\lambda}$ induces a map $\Psi:Teich(f)\rightarrow Teich(T^{2})$. By standard arguments, see e.g. [McMSul], $\Psi$ is a covering map so there is an injection on fundamental groups which translates to an injection of pure mapping class groups:

[TABLE]

Since a quasiconformal map $H\in Teich(T^{2}_{\lambda})$ is not necessarily the projection by $\Phi_{\lambda}$ of an $h$ defined on $A_{\lambda}^{*}$, we need to characterize those that are. To do this, we need to understand the image $\Psi_{*}(MCG_{*}(f))\subset MCG_{*}(T^{2})$.

First of all, to remain in the slice, we require that $\omega(H(T^{2}_{\lambda}))$, the torus obtained by applying the “forgetful map” $\omega$ that fills in the punctures, is conformally equivalent to $T$ and preserves the isotopy class of $\beta$.

Suppose $\tilde{\alpha}$ is a curve in $A_{\lambda}^{*}$ with initial point $\mu$ and endpoint $\lambda$ and $[h]\in MCG_{*}(f)$. Then $h(\tilde{\alpha})$ has the same property. The map $H=\Phi_{\lambda}\circ h\circ\Phi_{\lambda}^{-1}$ determines a point in $MCG_{*}(T^{2})$ that maps the curve $\alpha^{*}$ on $T^{2}_{\lambda}$ joining $\mu^{*}$ to $\lambda^{*}$ to a curve $H(\alpha^{*})$ with the same endpoints.

Every curve $\alpha^{\prime}$ on $T^{2}$ that joins $\mu^{*}$ to $\lambda^{*}$ has lifts $\Phi_{\lambda}^{-1}(\alpha^{\prime})$ whose initial point is at a preimage of $\mu^{*}$; let $\tilde{\alpha}^{\prime}$ be the lift at the asymptotic value $\mu$. The endpoint of $\tilde{\alpha}$ is in the grand orbit of $\lambda$, but it isn’t necessarily at $\lambda$. Therefore, in order to construct maps in $Teich(f)$ from maps in $Teich(T^{2})$, which we do below, we need to know that we can find those curves $\alpha$ whose lift to $\mu$ lands at $\lambda$. Let $\alpha^{*}$ be such a curve on $T^{2}$.

That we can always find these curves is proved in [Bir] where there is a full treatment of mapping class groups of surfaces. For a more detailed discussion analogous to the situation here see [GK].

In figure 10 we show how the region $A_{\lambda}$ is divided into fundamental domains that project to $T$ for two different values of $\lambda$. In both, $\mu$ is on $\gamma^{*}$, the boundary of $O_{\lambda}$, drawn in blue. The orange curves are the first pullbacks of $\gamma^{*}$ by $f_{\lambda}$. The domain bounded by $\gamma^{*}$ and one of the orange curves defines a fundamental domain for $\Gamma_{\rho}$. In the left figure, $\lambda$ is in that fundamental domain. The green curves are the next pullback, and on the right figure, the red curve is the third pullback and $\lambda$ is in a fundamental domain between the second and third pullbacks.

6.2.4. Construction of the embedding $e$

We now construct the conformal embedding $e:\,U_{\infty}\rightarrow{\mathbb{C}}$ such that

[TABLE]

for some $\lambda\in{\mathcal{S}}_{\lambda}^{0}$ with $\xi_{\lambda}(\mu)=\lambda_{0}$.

Delete the grand orbits of $[q_{0}],[\lambda_{0}]$ and $[p]$ from $U_{\infty}$ to obtain a domain $U_{\infty}^{*}$. As we did above for $A_{\lambda}$, we form the projection by the grand orbit equivalence

[TABLE]

where again, $T$ is a torus of modulus $\rho$.

As above, there is some $\alpha_{\infty}$ that is a curve on $T^{2}_{\infty}$ with initial point $\Phi_{\infty}(\lambda_{0})$ and endpoint $\Phi_{\infty}(p)$ whose lift to $Q_{\infty}$ at $\lambda_{0}$ is a curve $\tilde{\alpha}_{\infty}$ joining $\lambda_{0}$ to $p$.

Let $H:T_{\lambda}^{2}\rightarrow T_{\infty}^{2}$ be an orientation preserving homeomorphism that preserves the labeling of the punctures and satisfies $H(\alpha_{*})=\alpha_{\infty}$. Then it lifts to a topological conjugacy $h$ between $f_{\lambda}|A_{\lambda}$ and $Q_{\infty}$.

[TABLE]

We may assume that $H$ is quasiconformal with Beltrami differential $\nu_{T_{\lambda}^{2}}$. and use $\Phi_{*}$ to lift to a Beltrami differential $\nu$ on $A_{\lambda}$ compatible with the dynamics. We set $\nu=0$ on the complement of $A_{\lambda}$ (the Julia set of $f_{\lambda}$), and note that because the map is hyperbolic, this set has measure zero. We now invoke the measurable Riemann mapping theorem, [AB], to obtain a quasiconformal homeomorphism $g:\widehat{\mathbb{C}}\rightarrow\widehat{\mathbb{C}}$ fixing [math] and $\infty$, and so unique up to scale, such that $g\circ f_{\lambda}\circ g^{-1}$ is holomorphic. By Nevanlinna’s theorem, theorem 2.2, we can assume $g$ is normalized so that $g\circ f_{\lambda}\circ g^{-1}$ is of the form $f_{\lambda(p),\rho(p)}$ for some $\lambda(p)$ where $\lambda(p)=g(\lambda)$ and $\mu(p)=g(\mu)$ is on the boundary of $O_{\lambda(p)}$, the region of injectivity of the uniformizing map at the origin. Since $g$ is compatible with the dynamics, and both tori $T_{\lambda}^{2}$ and $T_{\infty}^{2}$ have modulus $\rho$; it follows that $g^{\prime}(0)=\rho$ also. Thus $\lambda(p)\in{\mathcal{S}}_{\lambda}^{0}$ and the map $e=g\circ h^{-1}$ is the required embedding.

To complete the proof we need to show that the correspondence $p\to\lambda(p)$ is an inverse of the map $E$.

[TABLE]

By our construction, $i_{\infty}$ is the direct limit of the maps $i_{n}$. It satisfies

[TABLE]

The second asymptotic value of $f_{\lambda(p)}$ is $\mu(p)$. By definition, $\xi_{\lambda}(\mu(\lambda(p)))=\lambda_{0}\mbox{ and }\xi_{\lambda}(\lambda(p))=p\in U_{0}\subset K_{0}$.

In the non-generic cases, the point $p$ in $K_{0}\setminus\Delta$ is either in the grand orbit of the fixed point $q_{0}$ or the other asymptotic value $\lambda_{0}$ and the quotient of $U_{\infty}$ by the grand orbit relation is a once punctured torus. The construction of the inverse of $E$ is analogous, but simpler in these cases and again yields a unique $f_{\lambda}\in{\mathcal{S}}_{\lambda}^{0}$.

If we choose $p$ on $\partial\Delta$, the function $f_{\lambda(p)}$ will have both its asymptotic values on the boundary of $O_{\lambda(p)}$. Only one choice, however, preserves the marking.

By the Measurable Riemann Mapping Theorem, the quasiconformal map $g$ depends holomorphically on the parameter $p$. Thus, as we vary $p$ analytically along $\partial\Delta\setminus\{\lambda_{0}\}$, the image $e(p)$ defines an analytic curve ${\mathcal{S}}_{*}$ in ${\mathcal{S}}$. The construction fails if $p=\lambda_{0}$ because as $p$ approaches $\lambda_{0}$, the limit point on the analytic curve in ${\mathcal{S}}$ is a parameter singularity; in the construction of $f_{\lambda}$ from the model, as $p\to\lambda_{0}$, $\lambda\to 0$. Therefore we can extend $E^{-1}$ by continuity so that $E(0)=\lambda_{0}$; therefore ${\mathcal{S}}_{*}\cup\{0\}$ is homeomorphic to a circle.

Since the model $K_{0}\setminus\Delta$ is topologically an annulus ${\mathbb{A}}$, the above paragraph shows that $E$ extends as a map from the boundary component ${\mathcal{S}}_{*}$ of ${\mathcal{S}}_{\lambda}$ to a boundary component of ${\mathbb{A}}$.

6.3. Topology of the shift locus

We are now ready to complete the proof of the Main Structure Theorem.

Theorem 6.7** (Topology of the shift Locus).**

${\mathcal{S}}$* is homeomorphic to a punctured annulus; that is, there is a homeomorphism $\Phi:{\mathcal{S}}\rightarrow\widehat{{\mathbb{C}}}\setminus\{0,1,\infty\}$.*

Proof.

We begin by recalling the relation between ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ given by the inversion $I(\lambda)=-\mu$ defined in section 3.2 that shows

[TABLE]

It follows that if $\lambda\in{\mathcal{M}}_{\lambda}$ and $f_{\lambda}^{m}(\lambda)$ tends to a periodic orbit $\mathbf{z}=\{z_{0},z_{1},\ldots,z_{n}\}$ then $f_{-\mu}^{m}(-\mu)$ tends to the orbit $-\mathbf{z}=\{-z_{0},-z_{1},\ldots,-z_{n}\}$ and $-\mu\in{\mathcal{M}}_{\mu}$. This proves

Proposition 6.8**.**

The inversion $I:{\mathcal{M}}_{\lambda}\rightarrow{\mathcal{M}}_{\mu}$ defined by

[TABLE]

maps shell components of period $n$ in ${\mathcal{M}}_{\lambda}$ to shell components of period $n$ in ${\mathcal{M}}_{\mu}$.

This is illustrated in figure 11. The large green region is the shift locus, ${\mathcal{M}}_{\lambda}$ is the complementary region on the right and ${\mathcal{M}}_{\mu}$ is the complementary region to the left, surrounded by the shift locus. The circle of inversion is drawn in figure 11 where $\rho=2/3$. In this figure, since $\rho$ is real, by proposition 6.3, it is ${\mathcal{S}}_{*}$. For arbitrary fixed $\rho$, ${\mathcal{S}}$ is the image of $\partial\Delta\setminus\{\lambda_{0}\}$ under $E^{-1}$; thus ${\mathcal{S}}_{*}\cup\{0\}$, which we still denote as ${\mathcal{S}}_{*}$, is a topological circle.

In theorem 6.4 we saw that ${\mathcal{S}}_{\lambda}$ is homeomorphic to an annulus. One of the complementary components is ${\mathcal{M}}_{\lambda}$. The other complementary component is bounded by the curve ${\mathcal{S}}_{*}$. By proposition 6.8, $I$ maps ${\mathcal{S}}_{\lambda}\cup{\mathcal{M}}_{\lambda}$ to ${\mathcal{S}}_{\mu}\cup{\mathcal{M}}_{\mu}$; since $I({\mathcal{M}}_{\lambda})={\mathcal{M}}_{\mu}$, $I({\mathcal{S}}_{\lambda})={\mathcal{S}}_{\mu}$ so that ${\mathcal{S}}_{\mu}$ is also an annulus. Because $I$ maps ${\mathcal{S}}_{*}$ to itself, these annuli share a common boundary component.

Note that although both the invariant circle of inversion ${\mathcal{C}}_{0}$ and ${\mathcal{S}}_{*}$ are invariant under inversion, unless $\rho$ is real, they are not necessarily the same.

Therefore ${\mathcal{S}}\cup\{0\}={\mathcal{S}}_{\lambda}\cup{\mathcal{S}}_{\mu}\cup{\mathcal{S}}_{*}\cup\{0\}$ is topologically an annulus. Removing the parameter singularity $\lambda=0$ completes the proof. ∎

Immediate corollaries of this theorem are:

Corollary 6.9**.**

The sets ${\mathcal{M}}_{\lambda}$ and ${\mathcal{M}}_{\mu}$ are connected.

Corollary 6.10**.**

The full shift locus in ${\mathcal{F}}_{2}$ has the product structure ${\mathbb{D}}^{*}\times{\mathbb{C}}\setminus\{0,1\}$.

Figure(12) shows the $\lambda$ plane when $\rho=-2/3$. This is another slice in the fibration and shows how the fibers change as the argument of $\rho$ changes. The picture is similar to figure (2) except that we see that the ${\mathcal{M}}_{\lambda}$ is translated vertically and there is a period $2$ component budding off $\Omega_{1}$ on the real axis instead of a cusp.

6.4. Single valued inverse branches

We now prove the lemma we assumed for the proof of the Combinatorial Structure Theorem in section 4.2

Lemma 6.11**.**

There is a simply connected domain $\Sigma\in{\mathbb{C}}\setminus\{0,\rho/2\}$ in which, after a choice of basepoint and branch of the logarithm, the pole functions $p_{k}(\lambda)$ and the inverse branches $g_{\lambda,k}$ can be defined as single valued functions of $\lambda$.

Proof.

In the proof of theorem 6.7 we showed that ${\mathcal{S}}_{\mu}$ and ${\mathcal{S}}_{\lambda}$ are homeomorphic to annuli with a common boundary component that contains the singularity at the origin. It follows that in a neighborhood of the origin both asymptotic values are attracted to zero.

Now consider the period one shell component $\Omega_{1}^{\prime}$ of ${\mathcal{M}}_{\mu}$. It has a virtual center at $\lambda=\rho/2$. Since it is a virtual center, it is on the boundary of both ${\mathcal{M}}_{\mu}$ and ${\mathcal{S}}$ and so a neighborhood $V$ of $\rho/2$ contains points in ${\mathcal{S}}_{\mu}$.

Applying the inversion, $I(V)$ is a neighborhood of infinity intersecting the period one component $\Omega_{1}\in{\mathcal{S}}_{\lambda}$ and an open set in ${\mathcal{S}}_{\lambda}$. Thus infinity is on the boundary ${\mathcal{S}}_{\lambda}$. Since a neighborhood of any point in ${\mathcal{S}}_{*}$ only contains points in ${\mathcal{S}}_{\lambda}$ and ${\mathcal{S}}_{\mu}$, infinity and [math] are on different boundary components. Hence because ${\mathcal{S}}_{\lambda}$ is an annulus, we can find a curve $\gamma\subset{\mathcal{S}}_{\lambda}$ joining [math] and infinity. Let $W$ be the component of ${\mathbb{C}}\setminus{\mathcal{S}}_{*}$ containing ${\mathcal{M}}_{\mu}$ and set $\Sigma={\mathbb{C}}\setminus(W\cup\gamma)$. This is a simply connected domain. It contains all the virtual cycle parameters belonging to ${\mathcal{M}}_{\lambda}$ and none of the virtual cycle parameters belonging to ${\mathcal{M}}_{\mu}$. Therefore, choosing a basepoint $\lambda_{0}\in\Sigma$, and a branch for $\mathrm{Log}$, we can define $p_{k}(\lambda_{0})$ as in equation (6) by

[TABLE]

and extend analytically to all of $\Sigma$ as single valued functions of $\lambda$. Then, as we did in section 4.2, we can define the inverse branches of $f_{\lambda}$ as single valued functions of $\lambda$. ∎

7. Concluding Remarks

There are many more questions one can address about the space of functions we have been studying. Below we list some of them and leave an investigation of them to future work.

• •

An important tool in studying the Mandelbrot set is the use of the level curves where the escape rate of the critical value is constant and their gradient “external rays”. Can we define the analogue for the set ${\mathcal{S}}_{\lambda}$ and ${\mathcal{S}}_{\mu}$ using the level curves of $\phi_{0}$ defined on $K_{0}$? There will be infinitely many curves for each level so the structure will be much more complicated. This would lead to more questions such as

1. i-

In [CJK2], we used the level curves and their gradients to prove that the virtual centers are accessible points from inside both the shell components and the shift locus. Can we also use it to characterize other types of boundary points of ${\mathcal{S}}$ such as cusps, root points for bud components or Misiurewicz points where an asymptotic value lands on a repelling cycle. 2. ii-

Can we describe primitive and satellite components in terms of rays in a manner analogous to the discussion for rational maps. 3. iii-

In [CJK] we showed there is a renormalization operator defined for the family $it\tan z$ where $t$ is real. Are there renormalization operators that can be defined in ${\mathcal{F}}_{2}$?

• •

We know that at the virtual centers and Misiurewicz points the only Fatou component is the attracting basin of the origin. Is the Julia set a Cantor bouquet in the sense of Devaney? Does it have positive measure? area?

• •

In [GK] the mapping class group of the Teichmüller space $Rat_{2}$ is analyzed. The analogous space here is ${\mathcal{F}}_{2}$ from which points with orbit relations have been removed. Describe the mapping class group of this space.

• •

How do the results here extend to parameter spaces of families of meromorphic functions with more than two asymptotic values, or those with both critical values and asymptotic values.