Mating quadratic maps with the modular group II

In 1994 S. Bullett and C. Penrose introduced the one complex parameter family of $(2:2)$ holomorphic correspondences $\mathcal{F}_a$: $$\left(\frac{aw-1}{w-1}\right)^2+\left(\frac{aw-1}{w-1}\right)\left(\frac{az+1}{z+1}\right) +\left(\frac{az+1}{z+1}\right)^2=3$$ and proved that for every value of $a \in [4,7] \subset \mathbb{R}$ the correspondence $\mathcal{F}_a$ is a mating between a quadratic polynomial $Q_c(z)=z^2+c,\,\,c \in \mathbb{R}$ and the modular group $\Gamma=PSL(2,\mathbb{Z})$. They conjectured that this is the case for every member of the family $\mathcal{F}_a$ which has $a$ in the connectedness locus. We prove here that every member of the family $\mathcal{F}_a$ which has $a$ in the connectedness locus is a mating between the modular group and an element of the parabolic quadratic family $Per_1(1)$.

and proved that for every value of a ∈ [4,7] ⊂ R the correspondence F a is a mating between a quadratic polynomial Q c (z) = z 2 + c, c ∈ R, and the modular group Γ = P SL (2, Z). They conjectured that this is the case for every member of the family F a which has a in the connectedness locus. We show here that matings between the modular group and rational maps in the parabolic quadratic family Per 1 (1) provide a better model: we prove that every member of the family F a which has a in the connectedness locus is such a mating.

Introduction
The analogies between the iteration of holomorphic maps and the action of Kleinian groups were first enumerated by Sullivan in the mid 1980s. His landmark paper [21], where he proved the conjecture of Fatou that there are no wandering domains for a rational map on the Riemann sphere, includes the first version of what it is now called Sullivan's dictionary, in which definitions, theorems and conjectures in the world of holomorphic maps are related to analogous definitions, theorems and conjectures in the world of Kleinian groups. Sullivan draws attention to deep parallels between the Fatou set F f and Julia set J f of a holomorphic map f on C, and the ordinary set Ω(G) and limit set Λ(G) respectively of a finitely generated Kleinian group G acting on C, and his proof of the no wandering domains theorem for rational maps is inspired by the method used to prove Ahlfors' finiteness theorem in the world of Kleinian groups. Both rational maps and finitely generated Kleinian groups can be regarded as particular cases of correspondences. An n-to-m holomorphic correspondence on C is a multi-valued map F : z → w defined by a polynomial relation P(z, w) = 0. A rational map f (z) = p(z)/q(z) becomes an n-to-1 correspondence defined by P(z, w) = 0, where P(z, w) = wq(z) − p(z), and any finitely generated Kleinian group G with generators can be regarded as an (n : n) correspondence by taking P(z, w) = n j=1 w(c j z + d j ) − (a j z + b j ) .
The study of iterated holomorphic correspondences was initiated by Fatou [11] in 1922, with an analysis of a family of examples 'sur lesquels', he remarks, 'on voit apparaitre déjà certaines propriétés, assez différentes de celles auxquelles donnent lieu les cas d'itération déjà étudiés' ['in which one already sees the appearance of certain properties somewhat different from those arising in the cases of iteration studied up till now']. He concludes his article with the comment that one may treat various examples of iterated algebraic functions in an analogous fashion, 'mais une théorie générale de ce problème ne parait pas facile. Nous pensons pouvoir y revenir ultérieurement' ['but a general theory for this problem does not seem easy. We hope to return to this in the future']. The next developments of which we are aware came in the 1990s, when McMullen and Sullivan in their foundational work [17], defined a (one-dimensional) holomorphic dynamical system to be a collection of holomorphic relations on a complex 1-manifold, and developed a common framework in which rational maps, Kleinian groups and holomorphic correspondences can be treated simultaneously. At around the same time researchers in integrable systems [3] were investigating the complexity of symmetric holomorphic correspondences associated with elliptic curves, a topic also prefigured in the introduction to Fatou's article.
Also in the 1990s, the first author and C. Penrose observed behaviour such as that illustrated in the left-hand columns of Figs. 1 and 2, and 3, in a particular family of (2 : 2) correspondences, namely the one parameter family F a defined by Computer plots appeared to show two copies (denoted in this article by Λ a,− and Λ a,+ ) of the filled Julia set of a quadratic polynomial, together with an action of the modular group on the complement (denoted Ω a here), prompting the question as to whether in the world of holomorphic correspondences there might exist 'matings' between quadratic polynomials and the modular group. Bullett and Penrose [4] constructed an abstract combinatorial mating between Fig. 1 An illustration of the Main Theorem: on the left is the limit set Λ − (F 5 ) ∪ Λ + (F 5 ) of F 5 , the centre of the period 1 component of M Γ , and on the right is the filled Julia set K (G) of G(z) = 2z 2 /(z 2 + 1) (which is conformally conjugate to P 1 : z → z + 1/z + 1). After surgery, the correspondence F 5 , restricted to a neighbourhood of Λ − (F 5 ), becomes hybrid conjugate to G on a (pinched) neighbourhood of K (G) the modular group and any member of the quadratic family which has connected and locally connected filled Julia set (see Section 1.1). Holomorphic correspondences realising these combinatorial matings are holomorphic realisations of Minkowski's question mark function [20], a homeomorphism from the unit interval to the positive real line which sends a real number expressed in binary to a real number with a corresponding continued fraction expression. On the binary expression side of the mating is the Douady-Hubbard coding of rays for quadratic polynomials, which is key to combinatorial descriptions of Julia sets and renormalisation theory. On the continued fraction side, the action of the modular group is related to the generation of Farey sequences of rationals, and thence to the Riemann Hypothesis (we thank Charles Tresser for drawing our attention to the work of Franel [12] and Landau [15], showing that the Riemann Hypothesis is equivalent to certain conditions concerning the uniformity of distribution of such sequences).
The main result of [4] is that for a in the real interval [4,7] the holomorphic correspondence F a is indeed a mating between a (real) quadratic polynomial and the modular group. More generally, Bullett and Penrose conjectured that each F a for which the parameter a is in the connectedness locus for the family is a mating between a quadratic polynomial and the modular group. Their conjecture was subsequently proved [5] for a large class of values of the parameter a, by applying Haïssinsky's technique of 'pinching' to the correspondences constructed in [6]. But the technique is not applicable for all values of a in the connectedness locus, and we would argue that the root cause of the difficulty is that the family of quadratic polynomials is the wrong model for the problem. Whatever the value of a, the branch of F a which fixes z = 0 is parabolic, with multiplier at the parabolic fixed point equal to 1 (see Proposition 3.5). This fact makes the use of polynomial-like mappings tricky and finally inefficient, Fig. 2 Two more examples illustrating the Main Theorem: top left, the limit set of the correspondence F a at the centre of the period two component of M Γ , and bottom left the correspondence at the centre of the co-rabbit (period three) component, together with a P SL(2, Z) equivariant tiling of the complement in each case; on the right, the filled Julia sets of the rational maps at the centres of the corresponding components of M 1 . For clarity in our correspondence plots, we only show the first few levels of the tiling. The tile boundaries are the images under F n a (n ∈ Z) of the boundaries of the standard pair of Klein combination domains (Definition 3.2, transferred to the z-coordinate in the plots); their images in H under the Riemann map φ (Sect. 4) vary with a, but are fixed for real a because of the additional reflection symmetry and suggests that the optimum description of the correspondences F a might be as matings between the modular group and members of some family of parabolic quadratic maps. As we shall demonstrate below, this is indeed the case, the family of maps being which we recall are the quadratic rational maps with a parabolic fixed point of multiplier 1 at infinity and critical points at ±1. Note that P A is conformally conjugate to P A if and only if A = ±A ; in Milnor's notation the set of (conformal) conjugacy classes is denoted Per 1 (1). Definition 1. 1 We say that F a is a mating between the rational quadratic map P A : z → z + 1/z + A and the modular group Γ = P SL(2, Z) if Further examples illustrating Theorems A and B. Top left, the limit set of F a for a = 4.46435 + 0.53888i, the correspondence in the 'rabbit limb' such that the image of the critical value is periodic of period two; on the right an example with totally disconnected limit set for the nearby value of a = 4.5 + 0.6i, which is outside M Γ . Bottom left, analogous pictures for a = 7 and the nearby value a = 6.9 + 0.15608i (outside M Γ ). The values of the parameter a for the right-hand pictures both lie in the Klein combination locus K, so Theorem B applies, though Theorem A does not. The effects of a 'parabolic implosion' are clearly visible in the bottom right-hand picture (i) the 2-to-1 branch of F a for which Λ a,− is invariant is hybrid equivalent to P A on Λ a,− , and (ii) when restricted to a (2 : 2) correspondence from Ω a to itself, F a is conformally conjugate to the pair of Möbius transformations {α, β} from the complex upper half plane H to itself.
Formal definitions of the sets Λ a,− , Λ a,+ , and Ω a are given in Sect. 3. In the same section we also define the Klein combination locus K ⊂ C and the connectedness locus C Γ ⊂ K of the family of correspondences F a . Given these concepts, we are in a position to state the main result of this paper: Main Theorem For every a ∈ C Γ the correspondence F a is a mating between some rational map P A : z → z + 1/z + A and Γ .
We view this theorem as superseding the Bullett-Penrose conjecture concerning quadratic polynomial maps and Γ , since it offers a more natural setting and yields a complete answer. The original conjecture remains, but now becomes a question concerning the relationship between Per 1 (1) and the space of conjugacy classes of quadratic polynomials.
The layout of this paper is as follows. In Sect. 2 we assemble facts concerning Fatou coordinates and parabolic-like mappings that will be needed later. In Sect. 3 we investigate some dynamical properties of the family F a and in Sect. 4 we prove: Theorem A For every a ∈ C Γ , when restricted to a (2 : 2) correspondence from Ω a to itself, F a is conformally conjugate to the pair of Möbius transformations {α : z → z + 1, β : z → z/(z + 1)} from the complex upper half plane H to itself.
In Sect. 5 we prove that every F a with a in the Klein combination locus K can be surgically modified to become a single-valued degree 2 parabolic-like map in the sense of [14] on a neighbourhood of the backward limit set Λ a,− . Since this parabolic-like map can then be straightened ( [14]) into a rational map of the form P A : z → z + 1/z + A, we obtain the following: Theorem B For every parameter value a ∈ K, after a surgery supported outside the limit set, the branch of F a fixing Λ a,− restricts to a degree 2 parabolic-like mapping, and therefore on Λ a,− is hybrid equivalent to a member of the family Per 1 (1) of quadratic rational maps.
Note that since the Julia set of a rational map is the closure of the set of repelling periodic points, and quasiconformal maps preserve the nature of periodic points, the theorem implies the following: The Main Theorem is a consequence of Theorems A and B. As we shall see, the closed disc D = {a : |a − 4| ≤ 3} is contained in the Klein combination locus K (apart from the point a = 1, where F a is undefined). Let M Γ denote the modular Mandelbrot set C Γ ∩ D. This set M Γ (see Fig. 4), which visibly resembles the classical Mandelbrot set, was first plotted in [4]. In [7] we investigate the dynamics of the family F a , and in particular we prove a new inequality of Yoccoz type which has as consequences the facts that M Γ is contained in a lune within D of internal angle strictly less than π , and that for all a ∈ M Γ the limit set Λ a,− is contained in a dynamical space lune of internal angle strictly less than π . This in turn will allow us in [8] to apply holomorphic motion techniques enabling us to prove that M Γ is homeomorphic to the connectedness locus M 1 of the family Per 1 (1). Together with the proof announced by Pascale Roesch and Carsten Petersen that M 1 is homeomorphic to the classical Mandelbrot set M, this will finally prove that M Γ is homeomorphic to M. Moreover, as a corollary to the theorem that M Γ is homeomorphic to M 1 , we shall prove that M Γ is the whole of C Γ . Connectedness loci: M Γ on the left and M 1 on the right. We will prove in [8] that these two sets are homeomorphic, and that M Γ is the whole connectedness locus C Γ

Preliminaries
This section is devoted to a summary of results we will use during the article.

Petals and Fatou coordinates
A holomorphic map g(z) = z + bz 2 +· · · , with b = 0, defined in a neighbourhood of the origin, has a parabolic fixed point at the origin with multiplicity 1. A complex number v points in the repelling direction if bv is real and positive, and a complex number w points in the attracting direction if bw is real and negative. An open set in a neigbourhood of the origin is called an attracting petal if it is mapped into itself and if each orbit eventually absorbed by it converges to the origin from the attracting direction v. Similarly, a repelling petal is an open set contained in its image and with orbits escaping from the origin in the repelling direction w.
There exists a well-established body of knowledge concerning attracting and repelling petals at parabolic fixed points of holomorphic functions g, and Fatou coordinates on these petals. We shall make use of petals with the properties listed in the following Proposition.

Proposition 2.1
For every holomorphic function g as above, and every angle 0 < θ < π, inside every neighbourhood of 0 there exists a repelling petal U + θ containing an open sector of angle 2θ centered at the origin and symmetric with respect to the repelling direction. Each of these petals is equipped with a conformal homeomorphism Φ + (known as a Fatou coordinate) from U + θ to a subset V + θ of the complex plane consisting of all points w = u + iv to the left of some curve which has asymptotes u = −|v| cot(θ ) − c, with c large so that |w| is large for all w ∈ V + θ (see [19]), with the following properties: Proof This is an immediate consequence of Chapter 10 in [18], or Chapter 6.5 in [1]. For the estimate of the asymptotes of the repelling petal in the w coordinate, see the proof of Theorem 7.2 in [19].
An attracting petal U − θ is a repelling petal for g −1 , and has a Fatou coordinate conjugating g to w → w + 1 on the corresponding domain V + θ in C. We observe that U + θ and U − θ are foliated by invariant curves (invariant under g −1 and g respectively), corresponding to the respective foliations of V + θ and V − θ by horizontal lines. When U + θ ∩ U − θ is non-empty (which is always the case when θ > π/2) the two foliations on the intersection will usually be different: nevertheless for both these foliations on the intersection, leaves which correspond to horizontal lines in the w-plane sufficiently far above or below the real axis, extend to invariant (under both g and g −1 ) topological circles, horocycles, in the z-plane.

P er 1 (1) and parabolic-like maps
Consider the family of quadratic rational maps having a parabolic fixed point of multiplier 1 at ∞. Normalizing by setting the critical points to be at ±1, this family is For a map in Per 1 (1), denoting by Λ the parabolic basin of attraction of infinity, we can define the filled Julia set of P A to be K A = C \ Λ (the map P 0 (z) = z + 1/z is the unique map in the family Per 1 (1) with two parabolic attracting petals, and we set K 0 to be the closure of the left half of the complex plane).
A (degree 2) parabolic-like map is a map which behaves in a similar way to a member of the family Per 1 (1) in a neighbourhood of its filled Julia set. The definition extends the notion of a polynomial-like map (see [10]) to a map with a parabolic external class: It resides in repelling petal(s) of z 0 and it divides U , U into Ω , Δ and Ω, Δ respectively, such that Ω ⊂⊂ U (and Ω ⊂ Ω), f : Δ → Δ is an isomorphism and Δ contains at least one attracting fixed petal of z 0 . We call the arc γ a dividing arc.
The filled Julia set of a parabolic-like map ( f, U , U, γ ) is the set of points that never escape Ω ∪{z 0 }, this is K f = {z ∈ U | ∀n ≥ 0, f n (z) ∈ U \Δ }, and the Julia set is defined as J f := ∂ K f (see [14]). By the Straightening Theorem for parabolic-like maps, any degree 2 parabolic-like map is hybrid equivalent to a member of the family Per 1 (1), a unique such member if the filled Julia set is connected.

Dynamics of F a
We consider the family of (2 : 2) holomorphic correspondences on the Riemann sphere which have the form F a : z → w, where for a parameter a ∈ C, a = 1. The reason for studying this particular family is the following lemma (the content of which is in [4], repeated here to establish notation) together with Proposition 1.4 of [5], which states that every mating between a quadratic map and the modular group which supports a compatible involution (see [5]) is conformally conjugate to a member of this family.
is the involution which has fixed points 1 and a, and Cov It has a double critical point at infinity and simple critical points at ±1, and up to pre-and post-composition by Möbius transformations, every degree 3 rational map with exactly 3 distinct critical points is equivalent to Q(Z ).
Let Cov Q : Z → W be the (3 : 3) covering correspondence of Q, which is the correspondence exchanging the preimages of Q, or in other words acting on the fibres of Q. This is the correspondence defined by or more explicitly by that is, This is called the deleted covering correspondence of Q, since its graph is obtained from that of Cov Q by deleting the graph of the identity. Post-composing this last correspondence by the involution W → J (W ) we obtain the (2 : 2) correspondence defined by the polynomial This is the correspondence which is, via the change of coordinates Note that in the coordinate z, the involution J becomes z ↔ −z. The choice of whether to work in the coordinate Z or in the coordinate z depends on whether it is more convenient to have a simple expression for Cov Q 0 or for J . We will denote by P the common fixed point of Cov Proof From the Klein Combination condition (Definition 3.1) we have that Thus (see Fig. 6): is a (single-valued, continuous) 2-to-1 map, and so the same is true for is also a (single-valued, continuous) 2-to-1 map.
is a 2-to-1 map, and so its inverse is a 1-to-2 correspondence. Moreover this 1-to-2 correspondence is conjugate, via J , to F −1 a | : We next examine the behaviour of F a around the fixed point P (Z = 1).

Proposition 3.5
Let ζ = Z − 1. When a = 7 the power series expansion of the branch of F a which fixes ζ = 0 has the form: and so the Leau-Fatou flower at the fixed point has a single attracting petal. When a = 7 the expansion has the form: and so the flower at the fixed point has three attracting petals.
where J is the involution which has fixed points 1 and a: Changing coordinates to ζ, ω where Z = ζ + 1 and W = ω + 1, so that the fixed point is at ζ = 0, this branch of Cov Q 0 becomes: In these coordinates the involution J is: Composing the two power series and collecting up terms we deduce that the branch of F a = J • Cov Q 0 which fixes ζ = 0 sends ζ to: completing the proof.
For a = 7 there is a unique repelling direction at the parabolic fixed point. From Proposition 3.5, in the ζ coordinate this is the direction For a = 7, there are three repelling directions: ζ = 0, e 2πi/3 , e 4πi/3 .

Definition 3.6
Let P be the parabolic fixed point of our correspondence F a , a = 7. We call the line defined by the repelling direction the parabolic axis at P, and we say that a differentiable curve passing through P is transverse to the parabolic axis if crosses this axis at a non-zero angle. (For a = 7 we adopt the convention that the 'parabolic axis' is the real axis, in both the Z -coordinate and the z-coordinate.)

corresponds to a sufficiently large value of |c|.
Proof The line meets the repelling direction at P at some angle 0 < α < π. Choose θ with α < θ < π. By Proposition 2.1, as we travel along towards P from either side, the final part of our journey is contained in U + θ . The result follows, since Φ + : U + θ → V + θ sends a line meeting the repelling direction at P at angle α to a curve the points w(t) of which have lim t→∞ |w(t)| = ∞ and lim t→∞ arg(w(t)) = π − α.

Proposition 3.8 For a ∈ K, we may always choose a Klein combination pair (Δ Cov , Δ J ) of fundamental domains which have boundaries which are smooth at P and transverse to the parabolic axis.
Proof By definition the Jordan curves bounding Δ Cov and Δ J meet only at P. By making small perturbations to these curves if need be, we can ensure they are both smooth, apart from an angle of 2π/3 on ∂Δ Cov at the double critical point (Z = ∞) of Q. At P the smooth curves ∂Δ Cov and ∂Δ J are tangent to one another (since the Klein combination condition excludes the possibility that they cross). For a ∈ int (D), that is |a − 4| < 3, the boundaries of the standard pair (Δ Cov , Δ J ) at their intersection P (Z = 1) are parallel to the imaginary axis in the Z -plane, and as a lies inside the circle in the Z -plane which has diameter the real interval [1,7], we know that Fig. 7 Changing domains so the parabolic axis is tranverse to the imaginary axis and we are done. When a = 7, by our convention the parabolic axis is the real axis, which is transverse to the imaginary axis, so again we are done. However for a ∈ ∂D \ {7} the boundaries of the standard pair are tangent to the parabolic axis, and so small horocycles at P are tangent to ∂Δ J there. We shall see that in this situation, by making a small modification to the boundaries of the standard pair near P, we can construct a new Klein combination pair which have boundaries transverse to the parabolic axis. More generally, for a ∈ K not necessarily in D, suppose we have Klein combination domains Δ J and Δ Cov whose boundaries approach P tangentially to the parabolic axis at P. Choose an angle 0 < θ < π/2 and attracting and repelling petals U ± θ which are sufficiently small that they do not intersect. Using the fact that the invariant foliations on these petals give us a complete picture of the dynamics of F a on them, we can modify the part of ∂Δ J which lies in the repelling petal by replacing a small segment by a curve 1 which approaches P transversely to the parabolic axis and meets Cov Q 0 (J ( 1 ))(= F −1 a ( 1 )) only at the point P (Fig.  7). Next we modify ∂Δ Cov on the same petal, replacing a segment with a curve 2 lying between F −1 a ( 1 ) and 1 . Finally on the attracting petal we replace a segment of ∂Δ J by J ( 1 ) and a segment of ∂Δ Cov by Cov Q 0 ( 2 ). Since Cov Q 0 acts on a neighbourhood of P as an involution with fixed point P, rotating one side of Fig. 7 to the other, we see that 1 ∪ J ( 1 ) meets 2 ∪ Cov Q 0 ( 2 ) only at P, and so we can use these as boundaries of modified fundamental domains which still satisfy the Klein combination condition. Definition 3.9 For a ∈ K, with (∂Δ Cov , ∂Δ J ) chosen with boundaries transverse to the parabolic axis at P, the forward limit set of F a is defined to be the backward limit set is defined to be and the limit set is defined to be Λ a = Λ a,+ ∪Λ a,− , noting that by Proposition 3.4 we have Λ a,+ ∩ Λ a,− = {P}. The regular set Ω a is defined to beĈ \ Λ a .
Note that, by Proposition 3.4, the sets Λ a and Ω a are completely invariant under F a , and the involution J conjugates F a on Λ a,− to F −1 a on Λ a,+ (see also the fifth of the 'Comments on Theorem 2' in [9]).

Definition 3.10
The connectedness locus for the family F a is the subset C Γ of K for which Λ a,− , and hence also Λ a,+ and Λ a , is connected.
Since Δ Cov ∪Δ J =Ĉ\{P}, the proof of Theorem 2 in [9], which is a version for correspondences of the Klein Combination Theorem [13,16] (sometimes informally known as the 'Ping-Pong Theorem'), shows that F a acts on Ω a properly discontinuously (see the 4th point of Theorem 2 in [9]) and faithfully (since it acts freely on the set Ω a obtained from Ω a by removing the grand orbit of fixed points of J and Cov Q 0 ), with fundamental domain (The theorem in [9] is stated for correspondences F = Cov P * Cov Q , where P, Q are rational maps and Cov P and Cov Q are the covering correspondences. Writing J (z) = −z and P(z) = z 2 we have J = Cov P 0 and thus our

Proof of Theorem A
We start by observing that by Definition 3.9 and Proposition 3.4, for every a ∈ C Γ the regular set Ω = Ω a is open and simply connected, and therefore there exists a Riemann map φ : Ω → H. We will now prove that: 1. there exist Möbius transformations σ of order 2 and ρ of order 3, both in P SL(2, R), such that φ conjugates F a to {σρ, σρ −1 }; 2. the free product σ * ρ is a faithful and discrete representation of C 2 * C 3 in P SL(2, R); 3. this representation is conjugate to P SL(2, Z).
Step 1 Note that on a neighborhood of ∞ the Böttcher map conjugates the map Q(Z ) = Z 3 −3Z to the map Z → Z 3 . It follows that on a neighbourhood of Z = ∞, the covering correspondence of Q is conjugate to that of Z → Z 3 via a homeomorphismφ, say. This can be extended to a conjugacyφ on the whole of Ω, since the only critical point of Q on Ω is the double critical point at Z = ∞. Thus Cov Q on Ω is conjugate viaφ to {I,ρ,ρ 2 } on some simply-connected open set Ω ⊂Ĉ, whereρ(z) = e 2πi/3 , and so Cov Q 0 is conjugate to {ρ,ρ 2 }. If R : Ω → H is a Riemann map, φ := R •φ : Ω → H is a Riemann map conjugating the action of Cov Q 0 on Ω to the action of an order 3 rotation ρ on H. On the other hand, since J | Ω is an involution, J | Ω is conjugate by φ to some involution σ on H. Therefore F a = J • Cov Q 0 is conjugate by φ on Ω to {σρ, σρ −1 }.
Step 2 By the correspondence ping-pong theorem ([9]) we have that F a acts on Ω faithfully and properly discontinuously. Since φ is a homeomorphism, σ * ρ also acts faithfully and properly discontinuously on H. Therefore (since σ is an involution and ρ is an order 3 rotation) σ * ρ is a faithful and discrete representation of C 2 * C 3 in P SL(2, R).
Step 3 To complete the proof we must prove that the representation of C 2 * C 3 on H is conformally conjugate to the standard representation as P SL(2, Z) ⊂ P SL(2, R). For every discrete representation of C 2 * C 3 the orbifold H/( σ * ρ ) is conformally isomorphic to a sphere with a 2π/3-cone point, a π -cone point, and either a single boundary component or a puncture point (a cusp is conformally equivalent to a neigbourhood of a puncture point). The representation is conjugate to P SL (2, Z) if and only if the orbifold H/( σ * ρ ) has a puncture point. Since φ is an isomorphism, H/( σ * ρ ) is conformally equivalent to Ω/ F a . By Proposition 3.5 the point P (Z = 1) is a parabolic fixed point of F a . Let (Δ J , Δ Cov ) be a Klein combination pair with boundaries transverse to the parabolic axis (such a pair exists by Proposition 3.8). By Proposition 2.1 there exists a repelling petal U + θ containing all points of the line ∂Δ J which lie sufficiently close to P, and by Corollary 3.7 the image of this line under the Fatou coordinate Φ + meets all lines v = c in the w-plane (where w = u + iv) which have |c| sufficiently large. Writing W for the intersection between Δ J \ F −1 a (Δ J ) and the petal, we deduce that for |c| sufficiently large, Φ + (W ) intersects the horizontal line v = c. So W \ {P}, after quotienting by the boundary identification induced by F −1 a , is conformally bijective to a pair of neighbourhoods of the ends of V + θ / w → w − 1 , that is to a pair of punctured discs. Hence Ω/ F a has a pair of puncture points (one either side of the parabolic axis) corresponding to P. Remark 4.1 If we were to choose Δ J and Δ Cov with boundaries approaching Z = 1 tangentially to the parabolic axis, then the image under Φ + of points of ∂Δ J sufficiently close to P might lie below some level v = c, in which case (W \ {P})/F a would be an annulus rather than a punctured disc and we would find that the new set Ω would differ from that in the case of a transverse intersection: a horodisc at Z = 1, together with the grand orbit of this horodisc, would be excised from the set Ω of the transverse case. The representation of C 2 * C 3 on H would no longer be that of P SL(2, Z), but Λ(F a ) would also be changed, by the addition of a countable union of discs, attached at the points of the grand orbit of Z = 1. In Definition 3.9 we required Δ J and Δ Cov to have boundaries transverse to the parabolic axis, in order that the partition of C into Ω and Λ be uniquely defined.

Properties of the 2-to-1 branch of F a which fixes Λ a,−
For the proof of Theorem B we shall need to convert the branch of F a which fixes Λ a,− into a parabolic-like map, using quasiconformal surgery. The next two results set the scene. Proposition 5.1 ensures that this branch of F a is locally holomorphic everywhere but on a neighbourhood of S (the preimage of the parabolic fixed point). Proposition 5.2 ensures we have a sector at S which can support the surgery that will turn the branch into a parabolic-like map.

Proposition 5.1 For every a ∈ K, the restricted correspondence
is a single-valued holomorphic map of degree two.
For each Z ∈ ∂F −1 a (Δ J ), with the exception of Z = S, the pre-image of the parabolic fixed point P other than P itself, there exists a neighbourhood of Z on which F a | extends to a (single-valued) holomorphic map.
There exists a neighbourhood of S on which F a | extends locally to a 1to-2 holomorphic correspondence, the image of which is a neighbourhood of P. This correspondence between neighbourhoods of S and P is conformally conjugate to the 1-to-2 correspondence ζ → ± √ ζ from the unit disc to itself.
Proof The fact that F a | : F −1 a (Δ J ) → Δ J is a (single-valued) holomorphic map follows at once from Proposition 3.4, since an n-to-1 holomorphic correspondence defined on an open set is necessarily a holomorphic map.
Moreover, given any Z ∈ ∂F −1 a (Δ J ) which does not map to P (the point Z = 1), we may deform the boundary of Δ J (without altering that of Δ Cov ) in such a way that Z now lies in the interior of the deformed Δ J , so the second statement also follows from Proposition 3.4.

Proposition 5.2 For every a ∈ K and Klein combination pair (Δ J , Δ Cov )
for F a , with boundaries transverse to the parabolic axis at the fixed point P, there exist a closed topological disc V a ⊂Ĉ and angles θ 1 = θ a,1 > 0 and θ 2 = θ a,2 > 0, with θ 1 + θ 2 < π, with the following properties: 1. Λ a,− ⊂ V a and Λ a,− ∩ ∂ V a = {P}; 2. the boundary ∂ V a of V a is smooth away from the parabolic fixed point P, where it meets ∂Δ J at angles θ 1 and θ 2 (so at P the boundary ∂ V a has a 'cone' of angleθ = π − (θ 1 + θ 2 )); We shall construct V a by making a small change to the boundary of Δ J in a neighbourhood of P, so that while V a is not a fundamental domain for J it retains the property that F −1 a (V a ) ⊂ V a and gains the other properties listed.
Suppose firstly that a = 7, so we are in the 'single petal' case. Let denote ∂Δ J and let the angles at P between and the parabolic axis be α 1 and α 2 = π − α 1 . Choose θ such that max(α 1 , α 2 ) < θ < π (such an angle θ exists since we started from a Klein combination pair (Δ Cov , Δ J ) which have boundaries which are smooth at P and transverse to the parabolic direction). Let U + θ be a repelling petal containing an open sector of angle 2θ centered at P given by Proposition 2.1, and Φ + : U + θ → V + θ be a repelling Fatou coordinate (where V θ is the subset of C consisting to all the w = u + iv to the left of a curve which has asymptotes u = −|v| cot(θ ) − c, with c large). As is C 1 at P, and so is F −1 a ( ), with the same tangent at P, we know that for every point R ∈ sufficiently close to P the open straight line segment (in whatever coordinate we are working in) from R to F −1 a (R) lies in Δ J \ F −1 a (Δ J ). Thus we can foliate the intersection W between Δ J \ F −1 (Δ J ) and a suitable neighbourhood of P by straight line segments. The set W has two components, which we denote W 1 and W 2 , one on each side of the parabolic axis at P. Write The sets D i are foliated by piecewise-linear leaves, each of which is invariant under F −1 a and crosses each line F −n a ( ) exactly once. In Φ + (D i ) ⊂ V θ they become leaves invariant under w → w−1. Consider a set of these leaves which are integer distances apart at the points where they meet Φ + ( ). Together with the lines (Φ + (F −n a ( ))) n≥0 they create a 'skew grid' in each of the Φ + (D i ), i = 1, 2.
Choose 0 < θ 1 < α 1 and 0 < θ 2 < α 2 . Using the skew grids as coordinate systems, we can now construct in each Φ + (D i ), i = 1, 2, a smooth curve m i which at one end joins Φ + ( ) smoothly, at the other is asymptotic to a line at angle θ i to the horizontal as w tends to infinity, and in between crosses each leaf of the foliation exactly once, and each line Φ + (F −n a ( )) exactly once. Note that the lines (Φ + ) −1 (m i ) lie outside Λ a,− since every point of (Φ + ) −1 (D i ) eventually leaves Δ J under some iterate of the branch of F a which fixes P. We now define V a to be the domain bounded by = ∂Δ J as modified by (Φ + ) −1 (m 1 ) and (Φ + ) −1 (m 2 ) in a neighbourhood of P, and define V a to be F −1 a (V a ). The first three properties stated in the Proposition are immediate, and the 4th property follows from Proposition 5.1. Finally, for the 5th property we note that each leaf of the foliation satisfies all the requirements except that it is piecewiselinear and not (in general) C 1 . We rectify this by replacing a chosen straight line leaf in each W i , i = 1, 2, by a C 1 curve n i with the same end-points, say R i ∈ and F −1 a (R i ), such that n i meets and F −1 a ( ) at angles which sum to π : we then set γ i to be ∞ n=0 F −n a (n i ), parametrized appropriately. In the case a = 7 we have to modify the argument above to allow for the fact that we have three attracting petals and three repelling petals. We omit details, but remark that the key difference is that whereas for a = 7 we can choose θ 1 and θ 2 such thatθ = π − (θ 1 + θ 2 ) is arbitrarily small, for a = 7, with the standard domains, by taking Fatou coordinates on appropriate over-lapping attracting and repelling petals, one can show that θ 1 and θ 2 must satisfŷ θ > 2π/3 > 0 but can be chosen withθ arbitrarily close to 2π/3.

Proof of Theorem B
By Proposition 5.1, for every a ∈ K, and therefore in particular for every a ∈ C Γ , the correspondence F a , restricted to a neighbourhood of Λ a,− , satisfies all the conditions necessary for it to be a parabolic-like map in the sense of [14], except one: on a neighbourhood of the point S = F −1 a (P) \ {P} it is not a single-valued map, as such a neighbourhood is mapped one-to-two onto a neighbourhood of P. However by redefining F a on a 'sector' at P lying outside Λ a,− , and adjusting the complex structure on this sector and its inverse images, we shall now modify a restriction of the branch of F a fixing Λ a,− , to yield a parabolic-like map F. By Proposition 5.2, at the parabolic fixed point P the boundary ∂ V of V forms a cone of angleθ = π − (θ 1 + θ 2 ), and at the preimage S of P it forms a cone of angle 2θ. Possibly by reducing θ 1 , θ 2 andθ we can choose > 0 small enough so that the round disc D 2 = D(S, ) intersects V in a sector of angle 2θ, so that D 1 = F(D 2 ) intersects V in a sector of angleθ , and moreover ∂ V ∩ γ i ⊂ D 1 (where V is the set, γ 1 , γ 2 the invariant arcs, andθ the angle given by Proposition 5.2). Hence denoting byT 2 the sector (π − 2θ 2 , S, π + 2θ 1 ) and byT 1 the sector (3π/2 − θ 2 , P, π/2 + θ 1 ), botĥ T 1 andT 2 are outside V , and in particularT 2 ∈ V \ V . Set φ : D 2 → D, φ(z) = (z − S)/ ), and let ψ : D 1 → D be the Riemann map sending P to 0. Then φ • F −1 • ψ −1 is a degree 2 proper and holomorphic map from the unit disc into itself, with a unique fixed point at z = 0, and so pre-or post-composing with a rotation we can assume it to be the map P 0 (z) = z 2 (see Fig. 8).
Settingμ = ( f −1 ) * (μ 0 ), and spreadingμ by the dynamics of F, we obtain on U the Beltrami form: Since the sectorT 2 lies outside F −1 (V ), it follows that F −i (T 2 ) lies outside F −i−1 (V ), and therefore the preimages of the sectors F −i (T 2 ) where we change the structure do not intersect each others. Hence the Beltrami form μ is F-invariant, and by the Measurable Riemann Mapping Theorem there exists a quasiconformal map ϕ : U → D such that ϕ * μ 0 = μ. Let us define and set γ + = ϕ(γ 1 ) ∩ V and γ − = ϕ(γ 2 ) ∩ V (where γ 1 and γ 2 are the invariant arcs given by Proposition 5.2). Then γ = γ + ∪ γ − is a dividing arc in the sense of Definition 2.2, and ( F, V , V, γ ) is a degree 2 paraboliclike map, with filled Julia set K = ϕ(Λ − ). The map F is quasiconformally conjugate to F everywhere but on the sectorT 2 and its image, which do not intersect the filled Julia set K . Moreover, this quasiconformal conjugacy is holomorphic everywhere but on the preimages ofT 2 (which do not intersect the filled Julia set K ). Therefore F is hybrid conjugate to F on K . By the Straightening Theorem for parabolic-like maps (see [14]), this implies that F is hybrid conjugate to a member of the family Per 1 (1) on Λ − .