Abstract:Mating is an operation to construct a rational map f from two polynomials, which are not in conjugate limbs of the Mandelbrot set. When the Thurston Algorithm for the unmodified formal mating is iterated in the case of postcritical identifications, it will diverge to the boundary of Teichmüller space, because marked points collide. Here it is shown that the colliding points converge to postcritical points of f , and the associated sequence of rational maps converges to f as well, unless the orbifold of f is of type (2, 2, 2, 2). So to compute f , it is not necessary to encode the topology of postcritical ray-equivalence classes for the modified mating, but it is enough to implement the pullback map for the formal mating. The proof combines the Selinger extension to augmented Teichmüller space with local estimates. Moreover, the Thurston Algorithm is implemented by pulling back a path in moduli space. This approach is due to Bartholdi--Nekrashevych in relation to one-dimensional moduli space maps, and to Buff--Chéritat for slow mating. Here it is shown that slow mating is equivalent to the Thurston Algorithm for the formal mating. An initialization of the path is obtained for repelling-preperiodic captures as well, which provide an alternative construction of matings.

Mating parabolic rational maps with Hecke groups

Rational Maps Whose Julia Sets Are Cantor Circles

Mating Siegel and parabolic quadratic polynomials

On the n-matings of polynomials

Dynamics of Modular Matings

Bifurcation Measures and Quadratic Rational Maps

Antiholomorphic correspondences and mating I: realization theorems

Birational Quadratic Planar Maps with Generalized Complex Rational Representations

Combinatorial proof for the rationality of the bivariate generating series of maps in positive genus

Rational Maps Admitting Meromorphic Invariant Line Fields

The moduli space of a rational map is Carathéodory hyperbolic

The Thurston Algorithm for quadratic matings

A Decomposition Theorem for Herman Maps

On Rational Proper Mappings among Generalized Complex Balls

Jordan mating is always possible for polynomials

Hölder estimates and uniformity in arithmetic dynamics

A note on Rational Maps with three branching points on the Riemann sphere

Rational maps without Herman rings

Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

Combinatorial Characterization of Sub-Hyperbolic Rational Maps

Rational maps with smooth degenerate Herman rings