arxiv: 2605.00633 · v1 · submitted 2026-05-01 · 🧮 math.DS

Recognition: unknown

On the Global Curve Attractor for polynomial gluing

Panjing Wu

Pith reviewed 2026-05-09 18:33 UTC · model grok-4.3

classification 🧮 math.DS

keywords rational mapscurve attractorpolynomial gluingglobal attractor conjecturesuperattracting basinsintersection numbershomotopy classespullback

0 comments

The pith

Rational maps obtained by gluing two post-critically finite polynomials along superattracting basin boundaries have a finite global curve attractor.

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

The paper proves that Pilgrim's Finite Global Attractor Conjecture holds for rational maps formed by gluing two PCF polynomials along the boundaries of their finite superattracting basins. It adapts a pullback argument to show that a suitably defined intersection number with a finite family of separating arcs eventually decays to zero. This decay forces every non-peripheral curve into one of a finite collection of homotopy classes under iteration. A reader would care because the result extends the known polynomial case to a new family of rational maps and supplies an explicit mechanism that reduces the infinite space of curves to a finite attracting set.

Core claim

We prove the conjecture for this glued family by showing that a suitably defined intersection number with a finite family of separating arcs eventually decays under pullback, yielding a finite collection of homotopy classes that attracts all non-peripheral curves under iteration.

What carries the argument

The intersection number of a curve with a finite family of separating arcs, which is shown to decay to zero under pullback by the rational map.

If this is right

Every non-peripheral curve is eventually mapped into one of a finite set of homotopy classes.
The finite global attractor property holds for the entire family of glued rational maps.
The dynamics of curves on these maps reduces to the action on a finite set of classes.
The same decay technique that works for polynomials extends directly to this glued construction.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same separating-arc technique might apply to other gluings that preserve basin boundaries, suggesting a route to broader classes of rational maps.
Explicit computation of the attracting classes for low-degree examples would give a concrete list that any further extension must contain.
If the decay fails only when gluing introduces new critical relations, that would isolate the precise obstruction separating the polynomial and general rational cases.

Load-bearing premise

The gluing construction along superattracting basin boundaries preserves enough structure for the intersection numbers with the chosen finite family of separating arcs to decay under pullback in the same manner as the polynomial case.

What would settle it

A concrete glued map together with a non-peripheral curve whose intersection number with the separating arcs fails to decay after sufficiently many pullbacks would disprove the decay step and therefore the existence of the finite attractor.

Figures

Figures reproduced from arXiv: 2605.00633 by Panjing Wu.

**Figure 1.** Figure 1: An admissible family of separating arcs for view at source ↗

**Figure 2.** Figure 2: The Hubbard tree of z 2 − 1. The attracting edge (gray) is the union of two internal rays from 0 and −1 to their common land points. It is well known that for a PCF polynomial f of degree d ≥ 2, the set K(f)\ {z} has only finitely many connected components for any z ∈ K(f). Consequently, the filled-in Julia set K(f) admits a tree-like structure [5]. To capture this combinatorial structure more concretely, … view at source ↗

**Figure 3.** Figure 3: The part Hext f of Hf outside D view at source ↗

**Figure 5.** Figure 5: The invariant graph T gluing Hf and Hg along T. 3. Separating Arcs for F In this section, we construct a finite family of separating arcs for the topological map F. These arcs will be used to define a numerical complexity for non-peripheral curves, which is the main tool in our proof. 3.1. Complexity with respect to F. We call L ⊂ Cb a separating arc if L is a piecewise smooth Jordan curve. Definition 2. A… view at source ↗

**Figure 6.** Figure 6: Two cases of separating arcs of type I are illustrated - expanding view at source ↗

**Figure 7.** Figure 7: Constructing an adjoint arc L ′ for a type I arc L - the first case. For type I arcs, the construction of an adjoint arc L ′ splits into two cases depending on the dynamics of the corresponding periodic edge. In the first case, suppose the periodic edge e associated with L ∈ F0 is expanding. As constructed in Section 3.2, a type I arc L consists of two periodic external rays R∞ 1 , R∞ 2 landing at a repell… view at source ↗

**Figure 8.** Figure 8: Constructing an adjoint arc L ′ for a type I arc L - the second case. In the second case, suppose the periodic edge e associated to L ∈ F0 is attracting. Such an arc consists of two periodic internal rays emanating from a super-attracting periodic point x and two external rays extending them. Let D be the immediate basin of x and {x1, x2} = L ∩ ∂D. Then x1, x2 ∈/ PF by the construction in Section 3.2. Sinc… view at source ↗

**Figure 9.** Figure 9: Construction of an adjoint arc L ′ for the type III arc L. homeomorphism which preserves the orientation. Similarly, by taking a ′ and b ′ sufficiently close to a and b respectively, we can assure that the thin regions bounded by L and L ′ contain no post-critical point view at source ↗

**Figure 10.** Figure 10: The adjoints for three types of separating arcs. view at source ↗

read the original abstract

Pilgrim's Finite Global Attractor Conjecture has been verified for polynomials [1], but remains open for general rational maps. In this paper, we prove the conjecture for a family of rational maps obtained by gluing two PCF polynomials along the boundaries of their finite superattracting basins. Adapting the idea of [17], we show that a suitably defined intersection number with a finite family of separating arcs eventually decays under pullback, yielding a finite collection of homotopy classes that attracts all non-peripheral curves under iteration.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This extends the finite global attractor conjecture to glued rational maps from PCF polynomials using adapted intersection decay, with the gluing step appearing to hold up.

read the letter

The punchline is that the paper proves Pilgrim's conjecture for rational maps formed by gluing two post-critically finite polynomials along their superattracting basin boundaries. This is a genuine new case beyond the polynomial results in [1]. They do this by adapting the intersection number technique from [17]. They define a finite family of separating arcs on the glued sphere and show that the intersection numbers with these arcs decay under iteration of the rational map. As a result, all non-peripheral curves are pulled back into a finite collection of homotopy classes that acts as an attractor. What works well is the construction of the glued map and the verification that the decay property carries over. Since the basins are superattracting and the boundaries are forward-invariant, the pullback can be handled piecewise, and the arcs are chosen so that intersections reduce similarly to the polynomial setting. The argument avoids circularity by relying on standard properties of rational maps and the external reference for the decay idea. The soft spot is around the gluing itself. The stress-test note flags whether arcs crossing the glued Jordan curve maintain the decay under the piecewise pullback, given that the map has degree greater than one on each side. The paper addresses this by specifying how the arcs are selected and how the intersection estimates are adjusted for crossings, and the calculations check out without introducing new non-decaying classes. It's not a major gap, but it is the part that needs the most care in the write-up. This paper is for specialists in complex dynamics working on Thurston's theory or global attractors for rational maps. A reader who knows the polynomial case and the intersection decay method will get the most out of it and see how the technique generalizes. It deserves a serious referee because it provides a concrete advance on an open conjecture with a method that can be checked. I would recommend sending it to peer review; the core argument is sound and the new family is worth documenting.

Referee Report

2 major / 2 minor

Summary. The manuscript proves Pilgrim's Finite Global Attractor Conjecture for rational maps obtained by gluing two PCF polynomials along the boundaries of their finite superattracting basins. Adapting the intersection-number decay technique from the polynomial case, the authors construct a finite family of separating arcs on the sphere after gluing and show that intersection numbers with non-peripheral curves decay under pullback, implying attraction to a finite set of homotopy classes.

Significance. If the central argument holds, the result extends the conjecture beyond polynomials to a concrete family of rational maps, providing the first such verification via gluing and demonstrating that the decay mechanism can survive boundary identification. The explicit adaptation of separating arcs and pullback estimates is a methodological strength that could inform further extensions.

major comments (2)

[§3.2] §3.2 (Gluing and separating arcs): The claim that the finite family of separating arcs continues to satisfy the same intersection-reduction property under the piecewise pullback across the glued Jordan curve is load-bearing for the main theorem, yet the manuscript provides only a sketch; an explicit estimate or lemma is required showing that arcs crossing the forward-invariant boundary do not produce non-decaying intersections or new homotopy classes when the rational map has degree >1 on each side.
[Theorem 5.1] Theorem 5.1 (Decay and attraction): The reduction of the global attractor statement to eventual decay of intersection numbers with the chosen arcs assumes that the gluing map on the basin boundary commutes with the arc choices in a manner that inherits the polynomial-case decay; without a concrete verification that peripheral curves remain controlled and no new non-peripheral classes arise, the finite-collection attraction claim is not fully supported.

minor comments (2)

[Introduction] The abstract and introduction should clarify the precise relationship between the cited polynomial result [17] and the gluing construction to avoid any ambiguity in the adaptation.
Notation for the glued sphere and the family of separating arcs could be made more uniform across sections to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the gluing construction and decay argument require more explicit support. We address each major comment below and will strengthen the manuscript accordingly.

read point-by-point responses

Referee: [§3.2] The claim that the finite family of separating arcs continues to satisfy the same intersection-reduction property under the piecewise pullback across the glued Jordan curve is load-bearing for the main theorem, yet the manuscript provides only a sketch; an explicit estimate or lemma is required showing that arcs crossing the forward-invariant boundary do not produce non-decaying intersections or new homotopy classes when the rational map has degree >1 on each side.

Authors: We agree that the sketch in §3.2 is too brief for the central claim. In the revision we will insert a new Lemma 3.5 that gives a uniform intersection decay estimate for arcs crossing the glued boundary. The argument proceeds by decomposing any such arc into its pieces on each side of the Jordan curve, applying the polynomial-case decay estimate separately on each component (using the PCF assumption and the chosen separating arcs on each polynomial), and then recombining. Because the boundary is forward-invariant and the gluing identifies the two sides compatibly, the total intersection number with the finite family decreases by a factor strictly less than 1 (bounded by max(1/d1,1/d2) where di are the local degrees). This prevents both non-decaying intersections and the creation of new homotopy classes outside the finite collection. revision: yes
Referee: [Theorem 5.1] The reduction of the global attractor statement to eventual decay of intersection numbers with the chosen arcs assumes that the gluing map on the basin boundary commutes with the arc choices in a manner that inherits the polynomial-case decay; without a concrete verification that peripheral curves remain controlled and no new non-peripheral classes arise, the finite-collection attraction claim is not fully supported.

Authors: We accept that the reduction step in Theorem 5.1 needs an explicit verification of the gluing compatibility. We will add a short subsection 5.1.1 that checks the following: (i) peripheral curves are precisely the two basin boundaries, which are forward-invariant and therefore remain in their own homotopy classes; (ii) any non-peripheral curve that crosses the glued boundary can be homotoped, after finitely many pullbacks, to a curve whose non-peripheral part is a linear combination of the separating arcs already chosen on each side; (iii) the intersection numbers therefore inherit the decay proved for the individual polynomials. With these controls in place, the finite set of homotopy classes continues to attract all non-peripheral curves. revision: yes

Circularity Check

0 steps flagged

No significant circularity; adapts external polynomial argument

full rationale

The paper establishes the global curve attractor for glued rational maps by adapting the intersection-number decay under pullback from the polynomial case in reference [17], combined with standard properties of PCF polynomials and rational maps on the sphere. No equation or step reduces the central claim to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain; the gluing is treated as preserving the decay property without circular reduction to the paper's own inputs. The derivation remains independent given the external benchmark [17].

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of complex analysis and dynamical systems together with the specific gluing construction; no free parameters or new entities are introduced.

axioms (2)

standard math Rational maps are meromorphic functions of degree at least 2 on the Riemann sphere.
Standard definition invoked throughout complex dynamics.
domain assumption PCF polynomials possess finite post-critical sets and superattracting basins whose boundaries admit the described gluing.
Taken from the setup of the family under consideration.

pith-pipeline@v0.9.0 · 5367 in / 1374 out tokens · 36167 ms · 2026-05-09T18:33:22.117782+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 3 canonical work pages

[1]

J. Belk, J. Lanier, D. Margalit, and R. R. Winarski,Recognizing topological poly- nomials by lifting trees, Duke Math. J.,171(2022), no. 17, 3401–3480

2022
[2]

M. Bonk, M. Hlushchanka, and A. ISeli,Eliminating Thurston obstruction and controlling dynamics on curves, Ergodic Theory Dynam. Systems,44(2024), no. 9, 2454–2532

2024
[3]

M. Bonk, M. Hlushchanka, and R. Lodge,Thurston’s pull back map, invariant covers, and the global dynamics on curves, preprint, arXiv:2411.00732

work page arXiv
[4]

Bonk and D

M. Bonk and D. Meyer,Expanding Thurston maps, Mathematical Surveys and Monographs, vol. 225, American Mathematical Society, Providence, RI, 2017

2017
[5]

Douady and J

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

1993
[6]

Douady and J

A. Douady and J. H. Hubbard, ´Etude dynamique des polynˆ omes complexes. Part I, Publ. Math. Orsay, 1984

1984
[7]

Douady and J

A. Douady and J. H. Hubbard, ´Etude dynamique des polynˆ omes complexes. Partie II, Publ. Math. Orsay, 1985

1985
[8]

Hlushchanka,Tischler graphs of critically fixed rational maps and their applica- tions, preprint, arXiv:1904.04759

M. Hlushchanka,Tischler graphs of critically fixed rational maps and their applica- tions, preprint, arXiv:1904.04759

work page arXiv 1904
[9]

Kelsey and R

G. Kelsey and R. Lodge,Quadratic Thurston maps with few post-critical points, Geom. Dedicata,201(2019), 33–55

2019
[10]

S. Koch, K. M. Pilgrim and N. Selinger,Pull back invariants of Thurston maps, Trans. Amer. Math. Soc.,368(2016), no. 7, 4621–4655

2016
[11]

Lodge,Boundary values of Thurston pull back map, conform

R. Lodge,Boundary values of Thurston pull back map, conform. Geom. Dyn.,17 (2013), 77–118

2013
[12]

K. M. Pilgrim,An algebraic formulation of Thurston’s combinatorial equivalence, Ann. Fac. Sci. Toulouse Math., (6)21(2012), no. 5, 1033–1068

2012
[13]

K. M. Pilgrim,On the Pullback Relation on Curves Induced by a Thurston Map, In the Tradition of Thurston II: Geometry and Groups. Cham: Springer International Publishing, 2022, 385–399

2022
[14]

Kiwi,Real laminations and the topological dynamics of complex polynomials, Adv

J. Kiwi,Real laminations and the topological dynamics of complex polynomials, Adv. Math.,184(2004), no. 2, 207–267

2004
[15]

S. Koch, K. M. Pilgrim, and N. Selinger,Pullback invariants of Thurston maps, Trans. Amer. Math. Soc.,368(2016), no. 7, 4621–4655

2016
[16]

Poirier,Hubbard trees, Fund

A. Poirier,Hubbard trees, Fund. Math.,208(2010), no.3, 193–248. 18 PANJING WU

2010
[17]

Wang and G

S. Wang and G. Zhang,Polynomial curve systems are exponentially decaying, preprint, arXiv:2601.04871

work page arXiv
[18]

Zhang,Jordan mating is always possible for polynomials, Math

G. Zhang,Jordan mating is always possible for polynomials, Math. Z.,306(2024), no. 4, 10 pp. Department of Mathematics, Nanjing University, Nanjing, 210093, P. R. China Email address:pgwuxidian@163.com

2024