Pith. sign in

REVIEW 2 major objections 4 minor 148 references

Algebraic correspondences and Schwarz reflections: Where rational dynamics meets Kleinian groups

T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

Pith's one-line read Algebraic correspondences realize matings between rational maps and Kleinian groups, and the modular Mandelbrot set is homeomorphic to the classical Mandelbrot set.

desk verdict A clear, honest survey of the mating/correspondence program — no new theorems, but a valuable map of a field whose foundational proofs mostly sit in unpublished preprints from the same group. read the letter →

arxiv 2511.08408 v1 pith:ODSN4KTV submitted 2025-11-11 math.DS math.CVmath.GT

classification math.DSmath.CVmath.GT MSC 37F1037F3130F40
keywords algebraiccorrespondencesmatingsKleiniangroupsrationalmapsSchwarzreflectionsmodularMandelbrotsetSullivandictionaryquadraturedomains
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This survey argues that algebraic correspondences—multivalued holomorphic maps defined by polynomial equations—are the right setting in which to mate rational maps with Kleinian groups. Its central claim is that a specific one-parameter family of 2:2 correspondences mates parabolic quadratic rational maps with the modular group whenever the parameter lies in the modular Mandelbrot set, and that this connectedness locus is homeomorphic to the classical Mandelbrot set. If true, this gives a systematic, constructive realization of the idea that rational dynamics and Kleinian groups are two sides of one theory, and opens the door to carrying tools from one world into the other.

What carries the argument

The central objects are algebraic correspondences, multivalued maps z↦w defined by a polynomial equation P(z,w)=0; rational maps and Kleinian groups both appear as special cases. The load-bearing family is F_a = J_a ∘ Cov_Q^0, where Cov_Q^0 is the deleted covering correspondence of the Chebyshev cubic Q(z)=z^3−3z and J_a is an involution. A circle homeomorphism encoding the modular group's boundary action glues the rational and group dynamics together topologically; parabolic-like maps handle the persistent parabolic fixed point, and surgery using homeomorphisms of exponentially integrable distortion upgrades the topological mating to a conformal one. On the antiholomorphic side, Schwarz ref

What would settle it

Take a quadratic anti-polynomial with connected Julia set that is neither geometrically finite nor finitely renormalizable and try to construct the mating with the ideal triangle reflection group; if the required boundary conjugacy provably cannot be extended to a homeomorphism of exponentially integrable distortion of the disk, the restriction in the realization theorem is essential. Alternatively, compute the straightening map near a limb root of the modular Mandelbrot set: if a single limb's hyperbolic component structure is not preserved onto the corresponding limb of the parabolic Mandelb

Watch

Extended reading notes

Core claim

The survey's central claim is that the family F_a—2:2 multivalued maps given by one polynomial equation—mates parabolic quadratic rational maps with the modular group for every parameter in the modular Mandelbrot set MΓ. Each F_a is conformally the modular group on an invariant domain and hybrid-equivalent to P_A(z)=z+1/z+A on the complementary filled Julia set. A dynamical homeomorphism carries MΓ onto the parabolic Mandelbrot set, hence onto the classical Mandelbrot set. The survey also collects general combination theorems: for large classes of (anti-)polynomials and reflection/Hecke groups, matings exist as correspondences on possibly nodal spheres, often realized by Schwarz reflections.

Load-bearing premise

The surgical step that turns a topological mating into a conformal one assumes that the conjugacy between the power map and the group's external map extends as a map of exponentially integrable distortion, which the theory guarantees only for geometrically finite or periodically repelling, finitely renormalizable maps; if that extension fails for some other class, the realization theorems do not cover it.

Editorial extensions

If this is right

  • The modular Mandelbrot set has the same topological type as the classical Mandelbrot set, so combinatorial classifications, limb structures, and parameter decorations transfer directly to the correspondence family.
  • For each parameter in MΓ, the correspondence F_a provides a concrete holomorphic object that is exactly a parabolic quadratic rational map on one invariant set and the modular group on another—an explicit mating between the two worlds.
  • The general combination theorems imply that matings exist for all geometrically finite, and for periodically repelling finitely renormalizable, anti-polynomials with the relevant reflection or anti-Hecke groups, as correspondences on possibly nodal spheres.
  • Parameter spaces of correspondences contain product loci of the form Teichmüller space times polynomial connectedness loci, providing hybrid simultaneous uniformization spaces that interpolate between quasi-Fuchsian and quasi-Blaschke spaces.
  • Limit sets of certain reflection groups and Julia sets of critically fixed anti-rational maps are conjugate by maps of exponentially integrable distortion, which yields conformal removability of these cuspidal fractals.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One consequence the authors leave implicit: the successful matings suggest that the natural ambient category for a full Sullivan dictionary is not the union of rational maps and Kleinian groups but the space of algebraic correspondences, which contains both as subclasses; this motivates developing ergodic and thermodynamic formalism for the whole family.
  • The persistent parabolic point in every F_a suggests a testable principle: matings with groups that have a unique parabolic class should be achievable by quasiconformal surgery, whereas groups with multiple parabolic classes or none force the non-quasisymmetric, exponentially-integrable-distortion machinery; one could check this against the known cases.
  • The conjectural bijection between the Modular Multibrot and the Parabolic Multibrot connectedness loci is a natural next test: if that bijection is not a homeomorphism, the parameter-space rigidity seen in the quadratic case would not extend to higher degree, refining the boundary of the framework.
  • The conformal removability results for cuspidal limit sets suggest that the welding curves produced by these matings are a source of new, non-quasicircle examples for geometric function theory; one could test whether the same removability holds for limit sets of matings with groups on Bers boundaries.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. This expository survey presents the program, developed largely by the authors and their collaborators, in which algebraic correspondences and Schwarz reflection maps realize matings between rational (or anti-rational) maps and Kleinian/Fuchsian groups. It begins with the Bullett–Penrose modular mating family F_a and the proof that the modular Mandelbrot set M_Γ is homeomorphic to the parabolic Mandelbrot set M_1 (and hence to the classical Mandelbrot set). It then discusses antiholomorphic counterparts via quadrature domains and Schwarz reflections, formulates a general four-step combination program, and surveys parameter-space product structures, Bers slices, Julia/limit set homeomorphisms, applications to conformal removability and welding, and a list of open problems. The paper is a synthesis rather than a research announcement: most results are stated as theorems with citations to published papers, arXiv preprints, and works in preparation.

Significance. If the cited results withstand scrutiny, this is a valuable and timely survey. Its main contribution is to make explicit a coherent dictionary in which parameter spaces of rational maps and Kleinian groups coexist inside spaces of algebraic correspondences, and to connect this dictionary with classical results such as Bers simultaneous uniformization and the Klein combination theorem. The manuscript is well organized, has a rich bibliography, contains helpful comparisons and tables, and is unusually candid about technical difficulties, especially the non-quasisymmetric welding problem and the need for David surgery. Its main weakness is that several load-bearing theorems are cited to preprints or works in preparation by the same group, with limited proof sketches; this is not a circularity or an internal inconsistency, but it makes the survey's claims conditional in a way that should be made explicit before publication.

major comments (2)
  1. [§5.1, Theorems 5.2 and 5.6] Theorems 5.2 and 5.6 include the class 'periodically repelling, finitely renormalizable' polynomials, but the only proof step described for upgrading the topological mating to a conformal one is David surgery, which the text itself restricts to geometrically finite or subhyperbolic maps ('this assumption is required to apply the David integrability theorem'). The extension to the finitely renormalizable class is dispatched by a reference to compactness and 'puzzle and combinatorial continuity/rigidity techniques' in the preprint [95]; no mechanism is indicated for controlling the non-quasisymmetric welding in that class. Since these theorems underpin the 'systematic mating framework' and the product-structure results of §6, the reader cannot separate established results from conjectural ones. Please state the exact result from [95], give a more detailed outline of the compactness/puzzle
  2. [Status of cited results (§5, §6, §7)] Several load-bearing results are cited to preprints or works 'in preparation' by the survey authors and close collaborators: Theorem 5.5 relies on [40]; Theorem 5.6 on [95,123]; Theorem 5.7 on [126]; §6 uses [95,97]; §7.1 uses [96]. The survey presents these as established theorems without indicating provenance. A survey can legitimately cite preprints, but here the overarching claim of a systematic theory is carried by not-yet-refereed work. I recommend adding a table or statement that marks the publication status of each such result and gives theorem numbers where available.
minor comments (4)
  1. [§2.2.2] The text says 'for each a ∈ M_Γ, the correspondence F_a is a mating between PSL(2,Z) and the quadratic polynomial P_{χ(a)}'. This conflicts with Theorem 2.3 and §2.2, where P_A(z)=z+1/z+A is a parabolic rational map, not a quadratic polynomial. Please correct to 'parabolic rational map' or clarify the role of the Petersen–Roesch homeomorphism to the Mandelbrot set.
  2. [§2.1] The notation '∆A_Q' and '∆A_a' appears with an unexplained superscript A; this should probably be '∆_Q' and '∆_a'.
  3. [§5.2, Theorem 5.7] Theorem 5.7 says the correspondence 'combines the dynamics' of several Blaschke products and several Fuchsian groups, but Definition 5.1 only defines a mating of one polynomial with one group. Please either define the multi-group/multi-Blaschke combination relation explicitly or point to the precise definition in [126].
  4. [References] The status of several references should be updated or made explicit: [129] is cited as an arXiv preprint although it is used for the final homeomorphism M_Γ ≅ M; [96] is 'In preparation' but is cited for a concrete theorem in §7.1. Adding theorem numbers and publication status would help the reader.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the survey reports externally proved theorems; self-citations are not load-bearing in a circular sense.

full rationale

This is an expository survey, not a derivation. Its central claims (Theorem 2.3, 2.4, 5.2–5.7) are quoted from published or preprint sources ([35], [38], [40], [95], [104], [107], [123], [126]) rather than derived in the paper. The self-citations are real external support: e.g., Bullett–Lomonaco (Invent. Math. 220, 2020; Adv. Math. 458, 2024) and Lyubich–Mukherjee–Luo (arXiv:2408.00204) contain the actual proofs. No equation in the survey reduces to an input by construction; the 'mating' definition (Def. 2.2) and the realization theorems are not identified by definition. The one delicate step — upgrading non-quasisymmetric topological matings to conformal ones via David surgery — is explicitly flagged in §5.1 as requiring geometrically finite/subhyperbolic hypotheses ('this assumption is required to apply the David integrability theorem'), so it is a stated limitation and a correctness risk, not a hidden circular reduction. The paper also relies on the independent Petersen–Roesch theorem (M1 ≅ M) for the final homeomorphism. Thus, under the hard rules, the honest finding is no significant circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The survey is expository and introduces no fitted constants or new entities. Its claims rest on the cited background theorems listed above; the main unverified load is carried by David-surgery theorems and by preprint or in-preparation results from the authors' group.

assumptions (7)
  • standard math Classical Fatou–Julia theory, Böttcher coordinates, and the Douady–Hubbard polynomial-like straightening theorem.
    Invoked throughout §2–§3; the mating constructions rely on filled Julia sets, Böttcher conjugacies, and hybrid equivalence.
  • standard math Parabolic-like straightening theorem for degree-2 parabolic-like maps (Lomonaco [90]).
    Used in §2.2 to convert each Fa into a parabolic-like map and to hybrid-equate it with a member of Per1(1).
  • domain assumption David's integrability theorem and the David extension theorem for non-quasisymmetric circle homeomorphisms.
    Used in §5.1 and [107] to upgrade topological matings between z^d and Nielsen/anti-Farey maps to conformal ones; requires geometric finiteness or subhyperbolicity.
  • domain assumption Nielsen maps, anti-Farey maps, and Bowen–Series maps for the relevant Fuchsian or reflection groups are topologically conjugate to z^d on S^1, with David extension where needed.
    This dynamical compatibility of external maps with power maps is the bridge in §4.2, §4.3.3, and §5.2; it is asserted via cited papers, not proved in the survey.
  • standard math Petersen–Roesch theorem: the parabolic Mandelbrot set M1 is homeomorphic to the classical Mandelbrot set M.
    Used in §2.2.2 to conclude MΓ ≅ M from Theorem 2.4; cited as [129].
  • standard math Thurston's realization theorem for postcritically finite branched covers of the sphere.
    Used in §7.1 to turn combinatorial replace-z^k-by-Nielsen-map constructions into critically fixed anti-rational maps.
  • standard math Klein combination theorem and Bers simultaneous uniformization theorem.
    Invoked in §1 and §5 as the classical ancestors of the correspondence combination framework.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Algebraic correspondences and Schwarz reflections: Where rational dynamics meets Kleinian groups." pith.science (2026). https://pith.science/paper/ODSN4KTV

@misc{pith2026251108408,
  author       = {Pith},
  title        = {Pith review of: Algebraic correspondences and Schwarz reflections: Where rational dynamics meets Kleinian groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ODSN4KTV}},
  note         = {Machine review of arXiv:2511.08408}
}
read the original abstract

We present an overview of the rapidly evolving field of dynamics of algebraic correspondences, with a focus on matings between rational maps and Kleinian groups. These correspondences exhibit rich dynamics, both within the Sullivan dictionary and beyond. We highlight unifying structures in their parameter spaces, showing how moduli spaces of rational maps and Kleinian groups naturally connect. We also outline a range of applications of the techniques developed in this framework and conclude with several promising directions.

Figures

Figures reproduced from arXiv: 2511.08408 by the authors.

Figure 1
Figure 1. Left: Tessellation of PSL2pZq. Center and Right: Mandelbrot set, basilica, and a disconnected Julia set. The (extended) Minkowski map. The extended Minkowski map h` is a home￾omorphism given by h` : r0, 8q Ñ r0, 1s, x “ rx0; x1, x2, . . .s ÞÑ h`pxq “ 0. 1 . . . 1 l jh n x0 0 . . . 0 l jh n x1 1 . . . 1 l jh n x2 . . . , where rx0; x1, x2, . . .s “ x0 ` 1 x1 ` 1 x2 ` . . . is the extended continuous fraction ex￾pansi… view at source ↗
Figure 1
Figure 1. , on the top), and the limit set Λa :“ Λa,´ YΛa,`. The modular Mandelbrot set MΓ is the set of parameters a such that the limit set Λa is connected, see [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Top: Schematic fundamental domains ∆Q for CovQ 0 and ∆a for Ja. Bottom: Dynamics of Fa. In the 2010s the introduction of parabolic-like maps by the first author [89, 90, 91] allowed for a systematic treatment of the family Fa, as mating between parabolic quadratic maps and the modular group. More precisely, consider the family of parabolic quadratic rational maps PApzq “ z ` 1{z ` A, A P C, normalized by having a pa… view at source ↗
Figures from the paper (6 more)
Figure 3
Figure 3. Figure 3: Above, from the left: the modular Mandelbrot set MΓ, and the limit sets for correspondences Fa where a is the center of the hyperbolic compo￾nents of MΓ of periods 1, 2, 3, respectively. Below, from the left: the parabolic Mandelbrot set M1, and the filled Julia sets K…
Figure 4
Figure 4. Figure 4: Top left: Dynamical tessellation via partial Böttcher map φa. Top right: Parameter tessellation on Dp4, 3q. Bottom: Points that approximate BK. Pictures are courtesy of Ivan Pedro Suarez Navarro. and its external map h modeling the dynamics of R outside KpRq. This exte…
Figure 5
Figure 5. Figure 5: Top left: The Nielsen map N 2 of the ideal triangle group G2. Top middle: The brown region is the droplet and its complement is the quadrature domain U of §4.2. The tiling set T 8pσq, which resembles the tiling of D by ideal triangles, is the Jordan domain bounded by t…
Figure 6
Figure 6. Figure 6: Top: The dynamical planes of a Schwarz reflection in the cubic Chebyshev family tσλu (right) and the associated correspondence (left), as in 4.3.2. The red circle bounds a disk where Q is injective. Bottom: The limit sets of a necklace group G generated by reflections …
Figure 7
Figure 7. Figure 7: Top: Modular Multibrot set and some limit sets. Bottom: Parabolic Multibrot set and corresponding Julia sets. in the holomorphic setting. There it is shown that, for every degree d ` 1 polyno￾mial Q with two critical points in C (one of which, say cQ, is simple), if Jb…
Figure 8
Figure 8. Figure 8: Left: The topological realization of the Apollonian gasket as a Julia set. Right: Two conformally removable non-quasicircle Jordan curves, one with two-sided cusps and the other with one-sided cusps, arising as limit sets of matings. Boundedness results. Basic results …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

148 extracted references · 1 canonical work pages

  1. [38]

    Math.458(2024), Paper No

    ,Mating quadratic maps with the modular group III: The modular Mandelbrot set, Adv. Math.458(2024), Paper No. 109956, 48

  2. [95]

    Yusheng Luo, Mikhail Lyubich, and Sabyasachi Mukherjee,A general dynamical theory of Schwarz reflections, B-involutions, and algebraic correspondences, arXiv:2408.00204, 2024

  3. [97]

    ,Teichmüller spaces, polynomial loci, and degeneration in spaces of algebraic corre- spondences, arXiv:2504.13107, 2025

  4. [123]

    ,Matings, holomorphic correspondences, and a Bers slice, J. Éc. polytech. Math.12 (2025), 1445–1502

  5. [126]

    Viswanathan,Correspondences on hyperelliptic surfaces, com- bination theorems, and Hurwitz spaces, arXiv:2508.18711, 2025

    Sabyasachi Mukherjee and S. Viswanathan,Correspondences on hyperelliptic surfaces, com- bination theorems, and Hurwitz spaces, arXiv:2508.18711, 2025

  6. [40]

    Shaun Bullett, Luna Lomonaco, Mikhail Lyubich, and Sabyasachi Mukherjee,Mating par- abolic rational maps with hecke groups, arXiv:2407.14780, 2024

  7. [96]

    Yusheng Luo, Mahan Mj, and Sabyasachi Mukherjee,Basilica, Bowen-Series, and Bers, In preparation

  8. [1]

    Systems42 (2022), no

    Adam Abrams, Svetlana Katok, and Ilie Ugarcovici,Flexibility of measure-theoretic en- tropy of boundary maps associated to Fuchsian groups, Ergodic Theory Dynam. Systems42 (2022), no. 2, 389–401

Show all 148 references
  1. [2]

    ,Rigidity and flexibility of entropies of boundary maps associated to Fuchsian groups, Math. Res. Rep.3(2022), 1–19

  2. [3]

    Adam Abrams, Svetlana Katok, and Ilie Ugarcovici,Reduction theory for Fuchsian groups with cusps, arXiv:2507.16958, 2025

  3. [4]

    Shapiro,Domains on which analytic functions satisfy quad- rature identities, J

    Dov Aharonov and Harold S. Shapiro,Domains on which analytic functions satisfy quad- rature identities, J. Analyse Math.30(1976), 39–73

  4. [5]

    thesis, Stony Brook University, 2023,https://www.math.stonybrook.edu/alumni/ 2023-Timothy-Alland.pdf

    Timothy Alland,Quasisymmetries of the feigenbaum julia set and transcendental dynamics, Ph.D. thesis, Stony Brook University, 2023,https://www.math.stonybrook.edu/alumni/ 2023-Timothy-Alland.pdf

  5. [6]

    Alsedà, D

    Ll. Alsedà, D. Juher, J. Los, and F. Mañosas,Entropy stability and Milnor-Thurston in- variants for Bowen-Series-like maps, arXiv:2303.16516, 2023. 28 L. LOMONACO AND S. MUKHERJEE

  6. [7]

    Kari Astala, Erik Duse, Prause István, and Xiao Zhong,Dimer models and conformal structures, arXiv:2004.02599, 2020

  7. [8]

    48, Princeton University Press, Princeton, NJ, 2009

    Kari Astala, Tadeusz Iwaniec, and Gaven Martin,Elliptic partial differential equations and quasiconformal mappings in the plane, Princeton Mathematical Series, vol. 48, Princeton University Press, Princeton, NJ, 2009

  8. [9]

    Pilgrim,Correspondences on Riemann surfaces and non-uniform hyperbolicity, arXiv:2407.15548, 2024

    Laurent Bartholdi, Dzmitry Dudko, and Kevin M. Pilgrim,Correspondences on Riemann surfaces and non-uniform hyperbolicity, arXiv:2407.15548, 2024

  9. [10]

    Beardon,Iteration of rational functions, Graduate Texts in Mathematics, vol

    Alan F. Beardon,Iteration of rational functions, Graduate Texts in Mathematics, vol. 132, Springer-Verlag, New York, 1991

  10. [11]

    91, Springer- Verlag, New York, 1995

    ,The geometry of discrete groups, Graduate Texts in Mathematics, vol. 91, Springer- Verlag, New York, 1995

  11. [12]

    Ann.393(2025), 1683–1740, doi:10.1007/s00208-025-03238-y

    James Belk and Bradley Forrest,Quasisymmetries of finitely ramified Julia sets, Math. Ann.393(2025), 1683–1740, doi:10.1007/s00208-025-03238-y

  12. [13]

    Lipman Bers,Simultaneous uniformization, Bull. Amer. Math. Soc.66(1960), 94–97

  13. [14]

    ,On boundaries of Teichmüller spaces and on Kleinian groups. I, Ann. of Math. (2) 91(1970), 570–600

  14. [15]

    Elliptic Equ.61(2016), no

    Gautam Bharali and Shrihari Sridharan,The dynamics of holomorphic correspondences of P1: invariant measures and the normality set, Complex Var. Elliptic Equ.61(2016), no. 12, 1587–1613

  15. [16]

    ,Holomorphic correspondences related to finitely generated rational semigroups, In- ternat. J. Math.28(2017), no. 14, 1750108, 25

  16. [17]

    Bishop,Conformal welding and Koebe’s theorem, Ann

    Christopher J. Bishop,Conformal welding and Koebe’s theorem, Ann. of Math. (2)166 (2007), no. 3, 613–656

  17. [18]

    Math.301(2016), 383–422

    Mario Bonk, Mikhail Lyubich, and Sergei Merenkov,Quasisymmetries of Sierpiński carpet Julia sets, Adv. Math.301(2016), 383–422

  18. [19]

    Hautes Études Sci

    Rufus Bowen and Caroline Series,Markov maps associated with Fuchsian groups, Inst. Hautes Études Sci. Publ. Math. (1979), no. 50, 153–170

  19. [20]

    141, Cambridge University Press, Cambridge, 2014

    Bodil Branner and Núria Fagella,Quasiconformal surgery in holomorphic dynamics, Cam- bridge Studies in Advanced Mathematics, vol. 141, Cambridge University Press, Cambridge, 2014

  20. [21]

    Hubbard,The iteration of cubic polynomials

    Bodil Branner and John H. Hubbard,The iteration of cubic polynomials. I. The global topology of parameter space, Acta Math.160(1988), no. 3-4, 143–206

  21. [22]

    Bullett and C

    S. Bullett and C. Penrose,Regular and limit sets for holomorphic correspondences, Fund. Math.167(2001), no. 2, 111–171

  22. [23]

    S. R. Bullett and W. J. Harvey,Mating quadratic maps with Kleinian groups via quasicon- formal surgery, Electron. Res. Announc. Amer. Math. Soc.6(2000), 21–30

  23. [24]

    Shaun Bullett,A combination theorem for covering correspondences and an application to mating polynomial maps with Kleinian groups, Conform. Geom. Dyn.4(2000), 75–96

  24. [25]

    ,Deformations of the modular group as a quasifuchsian correspondence, Conform. Geom. Dyn.14(2010), no. 1, 296–321

  25. [26]

    Press, 2010, pp

    ,Matings in holomorphic dynamics, Geometry of Riemann Surfaces, Cambridge Univ. Press, 2010, pp. 88–119

  26. [27]

    Shaun Bullett and Andrew Curtis,A holomorphic correspondence at the boundary of the Klein combination locus, Ann. Fac. Sci. Toulouse Math. (6)21(2012), no. 5, 1119–1137

  27. [28]

    Shaun Bullett and Mariane Freiberger,Hecke groups, polynomial maps and matings, Int. J. Mod. Phys. B17(2003), 3922–3931

  28. [29]

    Systems25(2005), 1057–1090

    ,Holomorphic correspondences mating Chebyshev-like maps with Hecke groups, Er- godic Theory Dynam. Systems25(2005), 1057–1090

  29. [30]

    Press, Cambridge, 2008, pp

    Shaun Bullett and Marianne Freiberger,A family of matings between transcendental entire functions and a Fuchsian group, Transcendental dynamics and complex analysis, Cambridge Univ. Press, Cambridge, 2008, pp. 90–110

  30. [31]

    Shaun Bullett and Peter Haïssinsky,Pinching holomorphic correspondences, Conform. Geom. Dyn.11(2007), 65–89

  31. [32]

    Shaun Bullett, Arcelino Lobato di Nascimento, Luna Lomonaco, and Ivan Pedro Suarez Navarro,On the structure of correspondences that are matings between parabolic rational maps and hecke groups I: Modular multibrots, preprint, 2025

  32. [33]

    ,Parabolic rational maps, Hecke and Belyi, preprint, 2025

  33. [34]

    ,Tessellating the discreteness locus for the modular mating family of correspon- dences, preprint, 2025

  34. [35]

    Math.220(2020), no

    Shaun Bullett and Luna Lomonaco,Mating quadratic maps with the modular group II, Invent. Math.220(2020), no. 1, 185–210

  35. [36]

    WHERE RATIONAL DYNAMICS MEETS KLEINIAN GROUPS 29

    ,Mating quadratic maps with the modular group III: The modular Mandelbrot set, arXiv:2010.04273v1, 2020. WHERE RATIONAL DYNAMICS MEETS KLEINIAN GROUPS 29

  36. [37]

    Math.410(2022), Paper No

    ,Dynamics of modular matings, Adv. Math.410(2022), Paper No. 108758, 43

  37. [39]

    ,Mating rational maps withpp, q,8qtriangle groups, preprint, 2025

  38. [41]

    Shaun Bullett, Luna Lomonaco, and Carlos Siqueira,Correspondences in complex dynamics, New trends in one-dimensional dynamics, Springer, 2019, pp. 51–75

  39. [42]

    Math.115(1994), no

    Shaun Bullett and Christopher Penrose,Mating quadratic maps with the modular group, Invent. Math.115(1994), no. 3, 483–511

  40. [43]

    3, 635–672

    ,Perturbing circle-packing Kleinian groups as correspondences, Nonlinearity12 (1999), no. 3, 635–672

  41. [44]

    Gamelin,Complex dynamics, Springer-Verlag, New York, 1993

    Lennart Carleson and Theodore W. Gamelin,Complex dynamics, Springer-Verlag, New York, 1993

  42. [45]

    Jones, and Jean-Christophe Yoccoz,Julia and John, Bol

    Lennart Carleson, Peter W. Jones, and Jean-Christophe Yoccoz,Julia and John, Bol. Soc. Brasil. Mat. (N.S.)25(1994), no. 1, 1–30

  43. [46]

    J.43(1996), no

    Jixiu Chen, Zhiguo Chen, and Chengqi He,Boundary correspondence underµpzq- homeomorphisms, Michigan Math. J.43(1996), no. 2, 211–220

  44. [47]

    Reine Angew

    Laurent Clozel and Emmanuel Ullmo,Correspondances modulaires et mesures invariantes, J. Reine Angew. Math.558(2003), 47–83

  45. [48]

    Guy David,Solutions de l’équation de Beltrami avec}µ}8“1, Ann. Acad. Sci. Fenn. Ser. A I Math.13(1988), no. 1, 25–70

  46. [49]

    Anal.23(2013), no

    Tien-CuongDinh,Equidistribution of periodic points for modular correspondences, J.Geom. Anal.23(2013), no. 3, 1189–1195

  47. [50]

    Tien-Cuong Dinh, Lucas Kaufmann, and Hao Wu,Dynamics of holomorphic correspon- dences on Riemann surfaces, Internat. J. Math.31(2020), no. 5, 2050036, 21

  48. [51]

    Tien-Cuong Dinh and Nessim Sibony,Distribution des valeurs de transformations méro- morphes et applications, Comment. Math. Helv.81(2006), no. 1, 221–258

  49. [52]

    Douady and J

    A. Douady and J. H. Hubbard,étude dynamique des polynômes complexes. Partie I-II, vol. 84-2,85-4, Publications Mathématiques d’Orsay, 1984-85

  50. [53]

    1982/83, Astérisque, vol

    Adrien Douady,Systèmes dynamiques holomorphes, Bourbaki seminar, Vol. 1982/83, Astérisque, vol. 105-106, Soc. Math. France, Paris, 1983, pp. 39–63

  51. [54]

    Hubbard,A proof of Thurston’s topological characterization of rational functions, Acta Math.171(1993), no

    Adrien Douady and John H. Hubbard,A proof of Thurston’s topological characterization of rational functions, Acta Math.171(1993), no. 2, 263–297

  52. [55]

    Adrien Douady and John Hamal Hubbard,On the dynamics of polynomial-like mappings, Ann. Sci. École Norm. Sup. (4)18(1985), no. 2, 287–343

  53. [56]

    259, Springer-Verlag, New York, 1983

    PeterL.Duren,Univalent functions, GrundlehrendermathematischenWissenschaften[Fun- damental Principles of Mathematical Sciences], vol. 259, Springer-Verlag, New York, 1983

  54. [57]

    Math.41(2023), no

    Alex Elzenaar, Gaven Martin, and Jeroen Schillewaert,Approximations of the Riley slice, Expo. Math.41(2023), no. 1, 20–54

  55. [58]

    Pierre Fatou,Notice sur les travaux scientifiques de M. P. Fatou, Astronome titulaire de l’observatoire de Paris, 5–29,https://www.math.purdue.edu/~eremenko/dvi/fatou-b.pdf, 1929

  56. [59]

    Lukas Geyer,Classification of critically fixed anti-Thurston maps, arXiv:2006.10788v1, 2020

  57. [60]

    3, 209–240

    BjörnGustafsson,Quadrature identities and the Schottky double, ActaAppl.Math.1(1983), no. 3, 209–240

  58. [61]

    Analyse Math.51(1988), 91–117

    ,Singular and special points on quadrature domains from an algebraic geometric point of view, J. Analyse Math.51(1988), 91–117

  59. [62]

    D. H. Hamilton,Generalized conformal welding, Ann. Acad. Sci. Fenn. Ser. A I Math.16 (1991), no. 2, 333–343

  60. [63]

    Hatcher and W

    A. Hatcher and W. Thurston,Moduli spaces of circle packings, Preprint

  61. [64]

    Nils Hemmingsson,Equidistribution of iterations of holomorphic correspondences and Hutchinson invariant sets, Conform. Geom. Dyn.28(2024), 97–114

  62. [65]

    Nils Hemmingsson, Xiaoran Li, and Zhiqiang Li,Conformal measures of (anti)holomorphic correspondences, arXiv:2409.01361, 2025

  63. [66]

    Press, 2014, pp

    John Hamal Hubbard and Dierk Schleicher,Multicorns are not path connected, Frontiers in complex dynamics, Princeton Univ. Press, 2014, pp. 73–102

  64. [67]

    Patrick Ingram,Critical dynamics of variable-separated affine correspondences, J. Lond. Math. Soc. (2)95(2017), no. 3, 1011–1034

  65. [68]

    ,Canonical heights for correspondences, Trans. Amer. Math. Soc.371(2019), no. 2, 1003–1027. 30 L. LOMONACO AND S. MUKHERJEE

  66. [69]

    Math.204(2016), no

    Hiroyuki Inou and Sabyasachi Mukherjee,Non-landing parameter rays of the multicorns, Invent. Math.204(2016), no. 3, 869–893

  67. [70]

    ,Discontinuity of straightening in anti-holomorphic dynamics: I, Trans. Amer. Math. Soc.374(2021), no. 9, 6445–6481

  68. [71]

    Oleg Ivrii, Peter Lin, Steffen Rohde, and Emanuel Sygal,Shapes of infinite conformally balanced trees, arXiv:2310.20627, 2023

  69. [72]

    Stein (Princeton, NJ, 1991), Princeton Univ

    PeterW.Jones,On removable sets for Sobolev spaces in the plane, EssaysonFourieranalysis in honor of Elias M. Stein (Princeton, NJ, 1991), Princeton Univ. Press, 1995, pp. 250–267

  70. [73]

    Christina Karafyllia and Dimitrios Ntalampekos,Extension of boundary homeomorphisms to mappings of finite distortion, Proc. Lond. Math. Soc. (3)125(2022), no. 3, 488–510

  71. [74]

    Keen and C

    L. Keen and C. Series,The Riley slice of Schottky space, Proc. Lon. Math. Soc.69(1994), 72–90

  72. [75]

    Miguel Ratis Laude,Continuity of matings of Kleinian groups and polynomials, arXiv:2411.08748, 2025

  73. [76]

    thesis, IMPA, 2025

    ,Surgery in complex dynamics: continuity, circle packing matings, and optimality, Ph.D. thesis, IMPA, 2025

  74. [77]

    Kirill Lazebnik,Quadrature domains and the real quadratic family, Conform. Geom. Dyn. 25(2021), 104–125

  75. [78]

    Makarov, and Sabyasachi Mukherjee,Univalent polynomials and Hubbard trees, Trans

    Kirill Lazebnik, Nikolai G. Makarov, and Sabyasachi Mukherjee,Univalent polynomials and Hubbard trees, Trans. Amer. Math. Soc.374(2021), no. 7, 4839–4893

  76. [79]

    Z.300(2022), no

    ,Bers slices in families of univalent maps, Math. Z.300(2022), no. 3, 2771–2808

  77. [80]

    Makarov, and Sabyasachi Mukherjee,Schwarz reflections and anti-holomorphic correspondences, Adv

    Seung-Yeop Lee, Mikhail Lyubich, Nikolai G. Makarov, and Sabyasachi Mukherjee,Schwarz reflections and anti-holomorphic correspondences, Adv. Math.385(2021), Paper No. 107766, 88

  78. [81]

    ,Dynamics of Schwarz reflections: the mating phenomena, Ann. Sci. Éc. Norm. Supér. (4)56(2023), no. 6, 1825–1881

  79. [82]

    ,Schwarz reflections and the Tricorn, Ann. Inst. Fourier (Grenoble)75(2025), no. 5, 1987–2100

  80. [83]

    Seung-Yeop Lee and Nikolai Makarov,Sharpness of connectivity bounds for quadrature do- mains, arXiv:1411.3415, 2014

  81. [84]

    Makarov,Topology of quadrature domains, J

    Seung-Yeop Lee and Nikolai G. Makarov,Topology of quadrature domains, J. Amer. Math. Soc.29(2016), no. 2, 333–369

  82. [85]

    Xiaoran Li, Zhiqiang Li, and Yiwei Zhang,Thermodynamic formalism for correspondences, arXiv:2311.09397, 2023

  83. [86]

    Sigma10(2022), Paper No

    Russell Lodge, Yusheng Luo, and Sabyasachi Mukherjee,Circle packings, kissing reflection groups and critically fixed anti-rational maps, Forum Math. Sigma10(2022), Paper No. e3, 38

  84. [87]

    ,On deformation space analogies between Kleinian reflection groups and antiholo- morphic rational maps, Geom. Funct. Anal.32(2022), no. 6, 1428–1485

  85. [88]

    Russell Lodge, Mikhail Lyubich, Sergei Merenkov, and Sabyasachi Mukherjee,On dynamical gaskets generated by rational maps, Kleinian groups, and Schwarz reflections, Conform. Geom. Dyn.27(2023), 1–54

  86. [89]

    Math.261 (2014), 200–219

    Luna Lomonaco,Parameter space for families of parabolic-like mappings, Adv. Math.261 (2014), 200–219

  87. [90]

    Systems35(2015), no

    ,Parabolic-like mappings, Ergodic Theory Dynam. Systems35(2015), no. 7, 2171– 2197

  88. [91]

    Luna Lomonaco, Carsten Lunde Petersen, and Weixiao Shen,On parabolic external maps, Discrete Contin. Dyn. Syst.37(2017), no. 10, 5085–5104

  89. [92]

    Mayuresh Londhe,Dynamics of polynomial semigroups: measures, potentials, and external fields, J. Anal. Math.147(2022), no. 1, 165–200

  90. [93]

    ,Recurrence in the dynamics of meromorphic correspondences and holomorphic semigroups, Indiana Univ. Math. J.71(2022), no. 3, 1131–1154

  91. [94]

    Topol.7 (2014), no

    Jérôme Los,Volume entropy for surface groups via Bowen-Series-like maps, J. Topol.7 (2014), no. 1, 120–154

  92. [98]

    Yusheng Luo and Dimitrios Ntalampekos,Piecewise quasiconformal dynamical systems of the unit circle, arXiv:2411.14203, 2024

  93. [99]

    WHERE RATIONAL DYNAMICS MEETS KLEINIAN GROUPS 31

    ,Uniformization of gasket Julia sets, arXiv:2411.17227, 2024. WHERE RATIONAL DYNAMICS MEETS KLEINIAN GROUPS 31

  94. [100]

    Yusheng Luo and Yongquan Zhang,Circle packings, renormalizations and subdivision rules, arXiv:2308.13151, 2023

  95. [101]

    ,Disk patterns, quasi-duality and the uniform bounded diameter conjecture, arXiv:2408.10344, 2024

  96. [102]

    Systems45(2025), no

    Yusheng Luo and Yongquan Zhang,On quasiconformal non-equivalence of gasket Julia sets and limit sets, Ergodic Theory Dynam. Systems45(2025), no. 11, 3465–3489

  97. [103]

    I–II, Preprint, 2025

    Mikhail Lyubich,Conformal geometry and dynamics of quadratic polynomials, vol. I–II, Preprint, 2025

  98. [104]

    Mikhail Lyubich, Jacob Mazor, and Sabyasachi Mukherjee,Antiholomorphic correspon- dences and mating I: Realization theorems, Commun. Am. Math. Soc.4(2024), 495–547

  99. [105]

    ,Antiholomorphic correspondences and mating II: Shabat polynomial slices, arXiv:2509.12357, 2025

  100. [106]

    Mikhail Lyubich and Sergei Merenkov,Quasisymmetries of the basilica and the Thompson group, Geom. Funct. Anal.28(2018), no. 3, 727–754

  101. [107]

    Mikhail Lyubich, Sergei Merenkov, Sabyasachi Mukherjee, and Dimitrios Ntalampekos, David extension of circle homeomorphisms, welding, mating, and removability, Mem. Amer. Math. Soc.313(2025), no. 1588, v+110

  102. [108]

    Differential Geom.47(1997), no

    Mikhail Lyubich and Yair Minsky,Laminations in holomorphic dynamics, J. Differential Geom.47(1997), no. 1, 17–94

  103. [109]

    Mikhail Lyubich and Sabyasachi Mukherjee,Mirrors of conformal dynamics: Interplay between anti-rational maps, reflection groups, Schwarz reflections, and correspondences, arXiv:2310.03316, 2023

  104. [110]

    Albert Marden,Hyperbolic manifolds, Cambridge University Press, Cambridge, 2016, An introduction in 2 and 3 dimensions

  105. [111]

    287, Springer-Verlag, Berlin, 1988

    Bernard Maskit,Kleinian groups, Grundlehren der mathematischen Wissenschaften [Fun- damental Principles of Mathematical Sciences], vol. 287, Springer-Verlag, Berlin, 1988

  106. [112]

    IV, Trans

    ,On Klein’s combination theorem. IV, Trans. Amer. Math. Soc.336(1993), no. 1, 265–294

  107. [113]

    Matus de la Parra,Entropy of compositions of covering correspondences, arXiv:2310.14330, 2023

    V. Matus de la Parra,Entropy of compositions of covering correspondences, arXiv:2310.14330, 2023

  108. [114]

    Systems44(2024), no

    ,Equidistribution for matings of quadratic maps with the modular group, Ergodic Theory Dynam. Systems44(2024), no. 3, 859–887

  109. [115]

    I, II (Kyoto, 1990), Math

    Curt McMullen,Rational maps and Kleinian groups, Proceedings of the International Con- gress of Mathematicians, Vol. I, II (Kyoto, 1990), Math. Soc. Japan, Tokyo, 1991, pp. 889– 899

  110. [116]

    McMullen,The question mark function, welding, and complex dynamics,https: //people.math.harvard.edu/~ctm/papers/home/text/papers/farey/farey.pdf

    Curtis T. McMullen,The question mark function, welding, and complex dynamics,https: //people.math.harvard.edu/~ctm/papers/home/text/papers/farey/farey.pdf

  111. [117]

    McMullen and Dennis P

    Curtis T. McMullen and Dennis P. Sullivan,Quasiconformal homeomorphisms and dynam- ics. III. The Teichmüller space of a holomorphic dynamical system, Adv. Math.135(1998), no. 2, 351–395

  112. [118]

    160, Princeton University Press, Princeton, NJ, 2006

    John Milnor,Dynamics in one complex variable, third ed., Annals of Mathematics Studies, vol. 160, Princeton University Press, Princeton, NJ, 2006

  113. [119]

    Mahan Mj,Cannon-Thurston maps, Proc. Int. Cong. of Math., vol. 2, World Scientific, 2018

  114. [120]

    Mahan Mj and Sabyasachi Mukherjee,Combining rational maps and Kleinian groups via orbit equivalence, Proc. Lond. Math. Soc. (3)126(2023), no. 5, 1740–1809

  115. [121]

    ,The Sullivan dictionary and Bowen-Series maps, EMS Surv. Math. Sci.10(2023), no. 1, 179–221

  116. [122]

    Mahan Mj and Sabyasachi Mukherjee,Simultaneous uniformization and algebraic corre- spondences, arXiv:2409.10468, 2024

  117. [124]

    Dedicata167(2013), 35–67

    Mahan Mj and Caroline Series,Limits of limit sets I, Geom. Dedicata167(2013), 35–67

  118. [125]

    Systems 37(2017), no

    Sabyasachi Mukherjee, Shizuo Nakane, and Dierk Schleicher,On multicorns and unicorns II: bifurcations in spaces of antiholomorphic polynomials, Ergodic Theory Dynam. Systems 37(2017), no. 3, 859–899

  119. [127]

    Pure Appl

    Alon Nishry and Aron Wennman,The forbidden region for random zeros: appearance of quadrature domains, Comm. Pure Appl. Math.77(2024), no. 3, 1766–1849

  120. [128]

    Carsten Lunde Petersen and Daniel Meyer,On the notions of mating, Ann. Fac. Sci. Toulouse Math. (6)21(2012), no. 5, 839–876. 32 L. LOMONACO AND S. MUKHERJEE

  121. [129]

    Carsten Lunde Petersen and Pascale Roesch,The parabolic Mandelbrot set, arXiv:2107.09407, 2021

  122. [130]

    Pilgrim,Combinations of complex dynamical systems, Lecture Notes in Mathe- matics, Springer-Verlag, Berlin, 2003

    Kevin M. Pilgrim,Combinations of complex dynamical systems, Lecture Notes in Mathe- matics, Springer-Verlag, Berlin, 2003

  123. [131]

    Pilgrim and Tan Lei,Combining rational maps and controlling obstructions, Er- godic Theory Dynam

    Kevin M. Pilgrim and Tan Lei,Combining rational maps and controlling obstructions, Er- godic Theory Dynam. Systems18(1998), no. 1, 221–245

  124. [132]

    Math.323 (2018), 622–667

    Rohini Ramadas,Hurwitz correspondences on compactifications ofM0,N, Adv. Math.323 (2018), 622–667

  125. [133]

    Rashmita and Sabyasachi Mukherjee,On topology and singularities of quadrature domains, arXiv:2509.21468, 2025

  126. [134]

    3-4, 263–297

    Makoto Sakai,Regularity of a boundary having a Schwarz function, Acta Math.166(1991), no. 3-4, 263–297

  127. [135]

    Sheil-Small,Complex polynomials, Cambridge University Press, Cambridge, 2002

    T. Sheil-Small,Complex polynomials, Cambridge University Press, Cambridge, 2002

  128. [136]

    Carlos Siqueira,Hausdorff dimension of Julia sets of unicritical correspondences, Proc. Amer. Math. Soc.151(2023), no. 2, 633–645

  129. [137]

    ,Misiurewicz points and subhyperbolicity in unicritical algebraic correspondences, arXiv:2509.05682, 2025

  130. [138]

    Carlos Siqueira,Similarity between the Multibrot set and the Julia set of correspondences at Misiurewicz points, arXiv:2509.07266, 2025

  131. [139]

    8, 3104–3125

    Carlos Siqueira and Daniel Smania,Holomorphic motions for unicritical correspondences, Nonlinearity30(2017), no. 8, 3104–3125

  132. [140]

    T. J. Suffridge,Extreme points in a class of polynomials having univalent sequential limits, Trans. Amer. Math. Soc.163(1972), 225–237

  133. [141]

    Dennis Sullivan,Quasiconformal homeomorphisms and dynamics. I. Solution of the Fatou- Julia problem on wandering domains, Ann. of Math. (2)122(1985), no. 3, 401–418

  134. [142]

    Systems12(1992), no

    Lei Tan,Matings of quadratic polynomials, Ergodic Theory Dynam. Systems12(1992), no. 3, 589–620

  135. [143]

    Thurston,Hyperbolic structures on3-manifolds

    William P. Thurston,Hyperbolic structures on3-manifolds. I. Deformation of acylindrical manifolds, Ann. of Math. (2)124(1986), no. 2, 203–246

  136. [144]

    ,Hyperbolic structures on 3-manifolds, II: Surface groups and 3-manifolds which fiber over the circle, arXiv:math/9801045, 1986

  137. [145]

    Tao Wang,Variational principles of topological pressure for correspondences, arXiv:2507.03548, 2025

  138. [146]

    S. E. Warschawski,On conformal mapping of infinite strips, Trans. Amer. Math. Soc.51 (1942), 280–335

  139. [147]

    Malik Younsi,On removable sets for holomorphic functions, EMS Surv. Math. Sci.2(2015), no. 2, 219–254

  140. [148]

    SaeedZakeri,On boundary homeomorphisms of trans-quasiconformal maps of the disk, Ann. Acad. Sci. Fenn. Math.33(2008), no. 1, 241–260. Instituto de Matemática Pura e Aplicada, Estrada Dona Castorina 110, Jardim Botânico, Rio de Janeiro, RJ, CEP 22460-320, Brazil Email address:l...

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.