Abstract
In 1994 S. Bullett and C. Penrose introduced the one complex parameter family of (2 : 2) holomorphic correspondences $$\mathcal {F}_a$$Fa: $$\begin{aligned} \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 \end{aligned}$$aw-1w-12+aw-1w-1az+1z+1+az+1z+12=3and proved that for every value of $$a \in [4,7] \subset \mathbb {R}$$a∈[4,7]⊂R the correspondence $$\mathcal {F}_a$$Fa is a mating between a quadratic polynomial $$Q_c(z)=z^2+c,\,\,c \in \mathbb {R}$$Qc(z)=z2+c,c∈R, and the modular group $$\varGamma =PSL(2,\mathbb {Z})$$Γ=PSL(2,Z). They conjectured that this is the case for every member of the family $$\mathcal {F}_a$$Fa 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)$$Per1(1) provide a better model: we prove that every member of the family $$\mathcal {F}_a$$Fa which has a in the connectedness locus is such a mating.