Pith. sign in

REVIEW 1 major objections 4 minor 33 references

Every cusped triangle group can be mated with suitable Blaschke products via a single algebraic correspondence.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-10 16:00 UTC pith:TGNUJ4O2

load-bearing objection Clean geometric completion of mateability for all cusped triangle groups via a new commensurable pair of factor maps and common algebraic lift. the 1 major comments →

arxiv 2607.07886 v1 pith:TGNUJ4O2 submitted 2026-07-08 math.DS math.CVmath.GT

Combining cusped triangle groups with Blaschke products: commensurable matings

Yusheng Luo , Mahan Mj , Sabyasachi Mukherjee This is my paper
classification math.DS math.CVmath.GT MSC 37F1037F3230F4037F44
keywords cusped triangle groupsBlaschke productsalgebraic correspondencesconformal matingvirtual orbit equivalencefactor Bowen-Series mapsDavid homeomorphisms
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows that any Fuchsian group whose quotient is a finite-area genus-zero orbifold with one puncture and two higher-order orbifold points can be combined, in a precise dynamical sense, with a pair of Blaschke products. The combination is realized by an algebraic correspondence on the Riemann sphere that carries both the full group action and the Blaschke dynamics. The construction works by first encoding the triangle group into two related piecewise-analytic circle maps living on p-fold and q-fold quotients of the disk, mating each map with a Blaschke product to obtain two commensurable conformal matings, and then lifting those matings through a common branched covering to recover a single multi-valued algebraic map. Together with earlier results that already covered the remaining cusped triangle groups, this completes the mateability statement for the whole class. A sympathetic reader cares because the result supplies an explicit algebraic model that unifies two classical families of conformal dynamical systems that had previously been studied separately.

Core claim

For every Fuchsian (p,q,∞)-triangle group Γ with p,q≥3 and every pair of Blaschke products β1,2, β2,1 of degrees q-1 and p-1 that fix 0 and 1, there exists an algebraic correspondence on the Riemann sphere whose dynamics simultaneously realize the actions of the composite Blaschke products B1=β2,1∘β1,2 and B2=β1,2∘β2,1 and the full group Γ.

What carries the argument

Commensurable conformal matings: two piecewise-analytic circle maps A1,A2 associated with the p-fold and q-fold quotients of the triangle group are mated with Blaschke products to produce a fiberwise pair of conformal matings F1,F2 that admit a common algebraic lift given by the composition of deleted covering correspondences of two rational maps.

Load-bearing premise

The two piecewise-analytic circle maps built from the triangle group must expand and have break-points mild enough that their conjugacies to Blaschke products extend as David homeomorphisms; if that extension fails, the conformal matings and the algebraic lift do not exist.

What would settle it

Exhibit concrete integers p,q≥3 and Blaschke products of degrees q-1 and p-1 fixing 0 and 1 for which the associated circle conjugacies fail to extend as David maps, or for which the resulting multi-valued algebraic map fails to act properly discontinuously on a domain whose quotient is the original orbifold.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 4 minor

Summary. The paper constructs algebraic correspondences that mate Fuchsian (p,q,∞)-triangle groups (p,q≥3) with suitable Blaschke products. It associates two piecewise-analytic circle maps A1,A2 of degree (p-1)(q-1) to the triangle group Γ (living on the p-fold and q-fold quotients of the disk), mates them via David homeomorphisms with a pair of Blaschke products eta1,2,eta2,1 of degrees q-1 and p-1 (fixing 0 and 1) to obtain commensurable conformal matings F1,F2, and then realizes the desired correspondence as the common lift CovP0∘CovQ0 of these matings via a fiberwise boundary-involution and welding. Combined with earlier results of the authors, this establishes mateability of all cusped triangle groups with suitable Blaschke products. The Main Theorem is stated for any such Γ and any such pair of Blaschke products.

Significance. The work completes the virtual-orbit-equivalence mating program for all cusped triangle groups, extending the earlier treatment of punctured spheres, Hecke groups, and (p,∞,∞) groups. The introduction of a commensurable pair of piecewise-analytic maps and the fiberwise boundary-involution that produces a common algebraic lift is a clean geometric contribution. Once the cited David-extension hypotheses are granted, the existence of the correspondence follows by explicit degree counts, critical-point tracking, and commutative diagrams. The construction is concrete enough to recover classical examples (e.g., modular-group matings) as special cases and opens a natural route to polynomial or parabolic-rational mates.

major comments (1)
  1. Lemma 4.1 asserts that A1,A2 satisfy LMMN25 Conditions 4.1–4.2 and have no asymmetrically hyperbolic periodic break-points, so that the conjugacies ψ j extend as David homeomorphisms by LMMN25 Thm 4.10. The paper only says these properties are “easily checked” from the explicit description in §4.1.4 (expansive covering of degree (p-1)(q-1), unique parabolic fixed point at 1, pieces coming from the ideal polygons). A short verification that the break-points are parabolic (or at worst symmetrically hyperbolic) and that the expansion constants meet the cited conditions would remove the sole residual soft spot on which the subsequent conformal matings and the algebraic lift rest.
minor comments (4)
  1. Figure 4.1 caption and the surrounding text place the fixed points of a and b at the origin in alternate drawings; a single consistent labeling of the vertices 0,0',1,exp(2πi/p) would reduce visual ambiguity.
  2. In §4.1.3 the inverse branches heta j-1 are defined from D\[0,1] into Fj; a parenthetical remark that the branch cuts are chosen so that the resulting au1,2, au2,1 are continuous across the complementary arcs would clarify the piecewise definitions of A1,A2.
  3. Proposition 4.8 and the subsequent lift to CovP0∘CovQ0 use the same symbols P,Q for the rational maps that appear earlier as polynomials; a brief notational distinction (e.g., R1,R2 or P̂,Q̂) would avoid momentary confusion.
  4. The reference list contains several arXiv preprints (LLM24, LMMN25, MV25, LM26a,b). Updating the status of those that have appeared or been accepted would improve permanence.

Circularity Check

0 steps flagged

No significant circularity: self-citations supply independent general tools (David extensions, conformal matings) applied to a new geometric construction of A1/A2 and their common algebraic lift.

full rationale

The paper is a pure existence construction in complex dynamics. It defines two new piecewise-analytic maps A1,A2 from the (p,q,∞)-triangle group generators and ideal polygons (Section 4.1), mates them with given Blaschke products via circle conjugacies that extend by a cited general theorem (Lemma 4.1 invoking LMMN25 Thm 4.10 after verifying the expansion/break-point hypotheses on the new maps), obtains commensurable conformal matings F1,F2 by welding (Prop 4.2), extracts an algebraic description via fiberwise boundary-involutions (Prop 4.5–4.8), and lifts to the correspondence CovP0∘CovQ0 whose dynamics on the tiling set and non-escaping set recover Γ and the Blaschke products by construction of the conjugacies Φ,P,Q (proof of Main Theorem). None of these steps is self-definitional, a fitted quantity renamed as prediction, or a uniqueness claim imported solely to force the result. The self-citations (MM23,MM25,LLM24,LMMN25) are to prior existence theorems whose hypotheses are re-checked for the new maps; they do not make the Main Theorem reduce to its inputs. The derivation is therefore self-contained once the cited general tools are granted, which is the normal situation for a note extending a framework.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 2 invented entities

The result rests on standard hyperbolic geometry, the David Integrability Theorem, and the authors’ earlier mating theorems; no free parameters are fitted and no new physical entities are postulated. The only ad-hoc ingredients are the concrete geometric choices of fundamental domains and the normalization that 0 and 1 are fixed by the Blaschke products.

axioms (4)
  • standard math David Integrability Theorem: an ellipse field with exponentially decaying eccentricity is integrable by a David homeomorphism.
    Used to upgrade topological matings of Aj with Bj to conformal matings Fj (Prop. 4.2, citing LMMN25).
  • domain assumption Existence of expansive circle conjugacies between any two expansive degree-d coverings of the circle, extendable under the LMMN25 break-point conditions.
    Lemma 4.1 invokes LMMN25 Thm 4.10 after claiming Aj satisfy Conditions 4.1–4.2.
  • domain assumption Conformal removability of Jordan curves that are images of the unit circle under global David homeomorphisms.
    Used to conclude that the piecewise-defined maps f1,2 and f2,1 are meromorphic (Prop. 4.2).
  • domain assumption Bullett’s combination criterion for covering correspondences (Bul00 Thm 2) guaranteeing proper discontinuity on an open set.
    Invoked in Remark 4.9 to confirm that CovP0∘CovQ0 acts properly discontinuously on T.
invented entities (2)
  • commensurable pair of piecewise-analytic maps A1,A2 associated with a (p,q,∞)-triangle group no independent evidence
    purpose: Encode the group action on p- and q-quotients so that they can be mated separately and then lifted jointly.
    Defined geometrically in §4.1 via quotient maps heta j and transition maps au1,2, au2,1; no independent existence claim outside the construction.
  • fiberwise boundary-involution S:Ω1∖Ω2 oℂ∖ℂ no independent evidence
    purpose: Provide the welding data that produces the rational maps P,Q whose covering correspondence realizes the mating.
    Introduced in Def. 4.4 and applied to f1,2∖f2,1; purely a technical device of the paper.

pith-pipeline@v1.1.0-grok45 · 21456 in / 2910 out tokens · 39418 ms · 2026-07-10T16:00:52.418158+00:00 · methodology

0 comments
read the original abstract

In this note, we construct algebraic correspondences as matings of Fuchsian $(p,q,\infty)$-triangle groups with Blaschke products. Combined with the results of [MM25], this proves mateability of all cusped triangle groups with suitable Blaschke products. The proof of the main result involves associating two piecewise analytic circle maps to the $(p,q,\infty)-$triangle group, mating these maps with appropriate Blaschke products to produce two commensurable conformal matings, and finally constructing the desired algebraic correspondence as a common lift of the two conformal matings.

Figures

Figures reproduced from arXiv: 2607.07886 by Mahan Mj, Sabyasachi Mukherjee, Yusheng Luo.

Figure 2.1
Figure 2.1. Figure 2.1: Left: The canonical extension of a mateable map A. Right: A (mateable) Bowen–Series map of the Fuchsian thrice punctured sphere group. (a) S 1 “ Ťk j“1 Ij , int Im X int In “ H, m ‰ n, (b) A|Ij “ gj , (c) g1, ¨ ¨ ¨ , gk generate Γ. (2) Expansion: A is an expansive degree d ě 2 covering (for some d ě 2), and hence topologically conjugate to the polynomial z d |S 1 . (3) Markov property: the intervals I1, … view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: Displayed is the conformal mating F of a degree 5 poly￾nomial P in the principal hyperbolic component and the Bowen–Series map A of a Fuchsian 4´times punctured sphere group. where the continuous matching of the piecewise definition of Fj follows from the fact that F 2 “ id on BΩ. It is readily checked that Fj ” ϕG ˝ gj ˝ ϕ ´1 G , j P t1, ¨ ¨ ¨ , k ´ 1u. Similarly, F ´1 j “ ϕG ˝ g ´1 j ˝ ϕ ´1 G : T Ñ T e… view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: The preferred fundamental domain of the pp, q, 8q´triangle group Γ is the quadrilateral shaded in pink and green. On the left (respec￾tively, right) figure, the fixed point of the order p element (respectively, the fixed point of the order q element) is placed at the origin [PITH_FULL_IMAGE:figures/full_fig_p010_4_1.png] view at source ↗
Figure 4.2
Figure 4.2. Figure 4.2: Illustrated is the construction of the two quotient orbifolds associated with the pp, q, 8q´triangle group. The quadrilateral having vertices at 0, 1, 0 1 , and expp2πi{pq is a funda￾mental domain for the pp, q, 8q´triangle group: Γ :“ xa, b : a p “ b q “ 1y. 4.1.2. Two quotient orbifolds. We will associate two piecewise analytic circle endomorphisms A1, A2 (each of degree pp ´ 1qpq ´ 1q) with the group … view at source ↗
Figure 4.3
Figure 4.3. Figure 4.3: The conformal matings F1, F2 and the coupling maps f1,2, f2,1 are displayed. (1) S is meromorphic on Ω1 \ Ω2. (2) SpBΩj , Sj q “ ` BΩκpjq , Sκpjq ˘ , j P t1, 2u, where κ is the non-trivial permutation on t1, 2u. (3) S : BΩ1 \ BΩ2 Ñ BΩ1 \ BΩ2 is an orientation-reversing involution. Proposition 4.5. Let S : Ω1 \ Ω2 Ñ Cp1 \ Cp2 be a fiberwise boundary￾involution. Then, there exist Jordan domains Vj and rati… view at source ↗
Figure 4.4
Figure 4.4. Figure 4.4: The mating structure in the dynamics of the correspon￾dence CovP 0 ˝ CovQ 0 is displayed. The forward branch pP|D1 q ´1 ˝ P ˝ pQ|D2 q ´1 ˝ Q of the correspondence CovP 0 ˝ CovQ 0 carries K1 onto itself, and is conformally conjugate to F1| U ´ 1 via the map P|D1 . By Proposition 4.2, the restriction F1| U ´ 1 is conformally [PITH_FULL_IMAGE:figures/full_fig_p017_4_4.png] view at source ↗
Figure 4
Figure 4. Figure 4: ). Similarly, by Property (4), the degree [PITH_FULL_IMAGE:figures/full_fig_p018_4.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 2 internal anchors

  1. [1]

    Astala, T

    K. Astala, T. Iwaniec, and G. Martin. Elliptic partial differential equations and quasiconformal mappings in the plane , volume 148 of Princeton Mathematical Series . Princeton Univ. Press, Princeton, NJ, 2009

    work page 2009

  2. [2]

    L. Bers. Simultaneous uniformization. Bull. Amer. Math. Soc. , 66:94--97, 1960

    work page 1960

  3. [3]

    Bullett, L

    S. Bullett, L. Lomonaco, M. Lyubich, and S. Mukherjee. Mating parabolic rational maps with Hecke groups. Proc. London Math. Soc. (3) , vol. 132, no. 3, e70132, 2026

    work page 2026

  4. [4]

    S. Bullett. A combination theorem for covering correspondences and an application to mating polynomial maps with Kleinian groups. Conform. Geom. Dyn. , 4:75--96, 2000

    work page 2000

  5. [5]

    Bullett and C

    S. Bullett and C. Penrose. Mating quadratic maps with the modular group. Invent. Math. , 115:483--511, 1994

    work page 1994

  6. [6]

    Bullett and C

    S. Bullett and C. Penrose. Regular and limit sets for holomorphic correspondences. Fund. Math. , 167:111--171, 2001

    work page 2001

  7. [7]

    Bullett and P

    S. Bullett and P. Haissinsky. Pinching holomorphic correspondences. Conform. Geom. Dyn. , 11(2007), 65-89

    work page 2007

  8. [8]

    Bullett and L

    S. Bullett and L. Lomonaco. Mating quadratic maps with the modular group II . Invent. Math. , 220:185--210, 2020

    work page 2020

  9. [9]

    Bullett and L

    S. Bullett and L. Lomonaco. Dynamics of Modular Matings. Adv. Math. , 410, Paper No. 108758, 43 pp, 2022

    work page 2022

  10. [10]

    Bullett and L

    S. Bullett and L. Lomonaco. Mating quadratic maps with the modular group III : the modular Mandelbrot set. Adv. Math. , 458, Paper No. 109956, 48 pp., 2024

    work page 2024

  11. [11]

    Bowen and C

    R. Bowen and C. Series. Markov maps associated with F uchsian groups. Inst. Hautes \' E tudes Sci. Publ. Math. , 50:153--170, 1979

    work page 1979

  12. [12]

    A. Douady. Syst \`e mes dynamiques holomorphes. In S \'e minaire Bourbaki , volume 1982/83, pages 39--63. Ast \'e risque, 105--106, Soc. Math. France, Paris, 1983

    work page 1982

  13. [13]

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

    work page 1929

  14. [14]

    J. Hubbard. Matings and the other side of the dictionary. Ann. Fac. Sci. Toulouse Math. (6) , 21(5):1139--1147, 2012

    work page 2012

  15. [15]

    S.-Y. Lee, M. Lyubich, N. G. Makarov, and S. Mukherjee. Schwarz reflections and anti-holomorphic correspondences. Adv. Math. , 385:107766, 2021

    work page 2021

  16. [16]

    S.-Y. Lee, M. Lyubich, N. G. Makarov, and S. Mukherjee. Dynamics of S chwarz reflections: the mating phenomena. Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 56:1825--1881, 2023

    work page 2023

  17. [17]

    S.-Y. Lee, M. Lyubich, N. G. Makarov, and S. Mukherjee. Schwarz reflections and the Tricorn. Ann. Inst. Fourier (Grenoble) , 75:1987--2100, 2025

    work page 1987

  18. [18]

    Y. Luo, M. Lyubich, and S. Mukherjee. Degenerate (anti-)polynomial-like maps, Schwarz reflections, and boundary involutions. https://arxiv.org/abs/2408.00204v1, 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  19. [19]

    Lyubich and Y

    M. Lyubich and Y. Minsky. Laminations in holomorphic dynamics. J. Differential Geom. , 47:17--94, 1997

    work page 1997

  20. [20]

    Lyubich, J

    M. Lyubich, J. Mazor, and S. Mukherjee. Antiholomorphic correspondences and mating I: realization theorems. Commun. Am. Math. Soc. , 4:495--547, 2024

    work page 2024

  21. [21]

    Lyubich and S

    M. Lyubich and S. Mukherjee. Mirrors of conformal dynamics: Interplay between anti-rational maps, reflection groups, Schwarz reflections, and correspondences. In Algebraic, Complex, and Arithmetic Dynamics , pp 341--476, edited by Laura DeMarco and Mattias Jonsson, Simons Symposia, Springer, 2026

    work page 2026

  22. [22]

    Lomonaco and S

    L. Lomonaco and S. Mukherjee. Algebraic correspondences and Schwarz reflections: Where rational dynamics meets Kleinian groups. https://arxiv.org/abs/2511.08408, to appear in the Proceedings of the ICM 2026

    work page arXiv 2026

  23. [23]

    Lyubich, S

    M. Lyubich, S. Merenkov, S. Mukherjee, and D. Ntalampekos. David extension of circle homeomorphisms, welding, mating, and removability. Mem. Amer. Math. Soc. , vol. 313, no. 1588, pp. v+110, 2025

    work page 2025

  24. [24]

    C. T. McMullen. Complex dynamics and renormalization. Annals of Mathematics Studies, 135, Princeton University Press, Princeton, NJ, 1994

    work page 1994

  25. [25]

    C. T. McMullen. The classification of conformal dynamical systems. In R. Bott, M. Hopkins, A. Jaffe, I. Singer, D. W. Stroock, and S.-T. Yau, editors, Current Developments in Mathematics , pages 323-- 360. International Press, 1995

    work page 1995

  26. [26]

    C. T. McMullen. Renormalization and 3- manifolds which fiber over the circle . Ann. of Math. Stud., 142. Princeton University Press, Princeton, NJ, 1996. x+253 pp

    work page 1996

  27. [27]

    C. T. McMullen and D. P. Sullivan. Quasiconformal homeomorphisms and dynamics. III . The T eichm \"u ller space of a holomorphic dynamical system. Adv. Math. , 135:351--395, 1998

    work page 1998

  28. [28]

    J. Milnor. Dynamics in one complex variable , volume 160 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, third edition, 2006

    work page 2006

  29. [29]

    Mj and S

    M. Mj and S. Mukherjee. Combining rational maps and K leinian groups via orbit equivalence. Proc. Lond. Math. Soc (3), 126:1740--1809, 2023

    work page 2023

  30. [30]

    Mj and S

    M. Mj and S. Mukherjee. Matings, holomorphic correspondences, and a Bers slice. J. \'E c. polytech. Math. , 12:1445--1502, 2025

    work page 2025

  31. [31]

    Correspondences on hyperelliptic surfaces, combination theorems, and Hurwitz spaces

    S. Mukherjee and S. Viswanathan. Correspondences on hyperelliptic surfaces, combination theorems, and Hurwitz spaces. https://arxiv.org/abs/2508.18711, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  32. [32]

    K. M. Pilgrim. Combinations of complex dynamical systems . Lecture Notes in Mathematics. Springer, 2003

    work page 2003

  33. [33]

    Sullivan

    D. Sullivan. Quasiconformal homeomorphisms and dynamics I : Solution of the F atou- J ulia problem on wandering domains. Ann. of Math. (2) , 122:401--418, 1985

    work page 1985