REVIEW 4 major objections 4 minor 33 references
On the connectivity of the escaping set in the punctured plane
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For every transcendental self-map of the punctured plane, the escaping set is either connected or has infinitely many components.
desk verdict Solid generalization of Rippon–Stallard to the punctured plane, with a new doubly connected Baker domain; the main trichotomy holds up, though one imported lemma and an unshown example calculation merit attention. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the essential itinerary: the sequence $e=(e_n)\in\{0,\infty\}^{\mathbb{N}_0}$ recording whether $|f^n(z)|\le 1$ or $|f^n(z)|>1$. The paper partitions $I(f)$ into little escaping sets $I_e(f)$ and their finer immediate counterparts $\widetilde{I}_e(f)$, which are the natural containers for escaping Fatou components. The load-bearing mechanism is a harmonic-measure result, quoted as Lemma 3.2, asserting that along a wandering orbit inside a simply connected domain, the boundary points whose iterates stay at spherical distance greater than $c\rho$ from the limit point form a set of harmonic measure zero. Theorem 1.3 applies this to show that, for an escaping wandering domain, the boundary points not in the appropriate $\widetilde{I}_e(f)$ have harmonic measure zero; Corollaries 3.6 and 3.7 then rule out bounded components of $I_e(f)\cup\{0,\infty\}$, which is exactly what proves Theorem 1.2. For the Baker-domain construction, the mechanism is a Carleman-type approximation theorem that produces a self-map $f(z)=\exp(g(z+3R)+z^{-2})$ with an invariant doubly connected absorbing set; a lift argument and an index computation ($\mathrm{ind}(f)=0$) then yield Theorem 1.5.
What would settle it
Exhibit a transcendental self-map $f$ of $\mathbb{C}^*$ whose set $I(f)\cup\{0,\infty\}$ has a component entirely contained in $\mathbb{C}^*$ (bounded away from both 0 and $\infty$), or whose escaping set $I(f)$ has exactly two components. Theorems 1.2 and 1.1 respectively forbid both possibilities, so either would directly refute the paper's central claims.
Extended reading notes
Core claim
For a transcendental self-map $f$ of $\mathbb{C}^*$, the escaping set $I(f)$ cannot have finitely many components beyond one: Theorem 1.1 says $I(f)$ is either connected or has infinitely many components, and the same holds for each little escaping set $I_e(f)$ indexed by an essential itinerary. Theorem 1.2 says $I(f)\cup\{0,\infty\}$ is either connected or consists of exactly two components, one containing 0 and the other $\infty$. Together these give the trichotomy (I1)-(I3), and the paper supplies functions realizing each case. In addition, Theorem 1.4 constructs a transcendental self-map of $\mathbb{C}^*$ with a doubly connected Baker domain, disproving for this setting the classical theorem that Baker domains are simply connected; Theorem 1.5 shows that if such a domain exists, then $\mathrm{ind}(f)=0$ and the closure of the domain contains both essential singularities, so $I(f)\cup\{0,\infty\}$ is connected.
Load-bearing premise
The argument leans on a quoted harmonic-measure lemma saying that, for a wandering orbit through a sequence of simply connected domains, almost every boundary point must keep returning to the same side of the unit circle as the orbit; if that lemma fails in the punctured-plane setting, the dichotomy for $I(f)\cup\{0,\infty\}$ would not be established.
Editorial extensions
If this is right
- No transcendental self-map of $\mathbb{C}^*$ can have an escaping set with exactly two, three, or any finite number greater than one of components; disconnectedness forces infinitely many components.
- If $I(f)$ is disconnected but $I(f)\cup\{0,\infty\}$ is connected, then every component of $I(f)$ must be unbounded in $\mathbb{C}^*$ and no component can be isolated away from both essential singularities.
- If $I(f)\cup\{0,\infty\}$ is disconnected, its two components are distinguished by which essential singularity they contain, and each little escaping set $I_e(f)$ meets both of them.
- Baker domains in the punctured plane are not governed by the simple-connectivity theorem that holds for entire functions: doubly connected Baker domains exist, and any such domain forces $\mathrm{ind}(f)=0$ and the connectedness of $I(f)\cup\{0,\infty\}$.
- The trichotomy (I1)-(I3) mirrors the known trichotomy for Julia sets in this setting, so the connectivity of the escaping set and the connectivity of the Julia set can be compared case by case.
Reading between the lines
- The same harmonic-measure machinery should transfer to the little fast escaping sets $A_e(f)$ and $A(f)$, giving the same connected-or-infinitely-many dichotomy for fast escaping points; the paper's remark points in this direction.
- A natural next question, not addressed here, is whether every possible combination of the (I1)-(I3) cases with the Julia-set trichotomy (J1)-(J3) can be realized; the examples suggest several combinations are attainable.
- Since Baker's theorem limits the punctured plane to at most one doubly connected Fatou component, the new doubly connected Baker domain likely represents the only new topological type of Baker domain in this setting; a classification of all Baker domains in $\mathbb{C}^*$ would be a testable extension.
- For transcendental entire functions, whether a disconnected escaping set must have uncountably many components remains open; the punctured-plane result avoids exceptional points via Picard's theorem, so a similar dichotomy there may require new ideas rather than a direct transfer.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the dynamics of transcendental self-maps of the punctured plane C* and establishes a trichotomy for the connectivity of the escaping set I(f) and of I(f) ∪ {0,∞}. Theorem 1.1 states that I(f) and each little escaping set I_e(f) are either connected or have infinitely many components. Theorem 1.2 states that I(f) ∪ {0,∞} is connected or has exactly two components, one containing 0 and the other ∞. Together these yield cases (I1)-(I3), and the paper provides examples realizing each case. Theorem 1.3 gives a harmonic-measure result on the boundary of escaping wandering domains, which is used to prove Theorem 1.2. Theorem 1.4 constructs the first example of a transcendental self-map of C* with a doubly connected Baker domain, and Theorem 1.5 shows that if such a domain exists, then the closure of the Baker domain contains both 0 and ∞ and I(f) ∪ {0,∞} is connected.
Significance. The main results are natural analogues of the Rippon-Stallard theory for transcendental entire functions, and the trichotomy for I(f) ∪ {0,∞} is a clean and useful classification. The construction of a doubly connected Baker domain is an important new phenomenon, since Baker domains of transcendental entire functions are simply connected. The proofs of Theorems 1.1 and 1.5 are elegant, and the topological index argument in Lemma 5.3 is particularly clear. The paper also gives concrete examples that are well chosen and appear to correctly illustrate all three connectivity cases. The main reservation is that Theorem 1.2 relies on the proof of Theorem 1.3, and that proof is currently too compressed in a place that is genuinely load-bearing.
major comments (4)
- [Section 3, proof of Theorem 1.3] The reduction 'We can assume, therefore, that U_n is simply connected for n in N0' is not fully justified. If the unique doubly connected Fatou component is U itself, Lemma 3.2 cannot be applied with G0 = U, and the argument must be shifted to some later U_{N+1} and then pulled back to ∂U. The paper should spell out this shift, state precisely how the harmonic-measure-zero property transfers through the pullback when U is doubly connected, and verify that the resulting domains G_k = U_{n_k} are disjoint and simply connected. This step is essential for Corollary 3.6 and hence for Theorem 1.2.
- [Section 3, Lemma 3.2] Lemma 3.2 is quoted from [OS16, Lemma 4.1] without proof, but it is the central mechanism of Theorem 1.3. Since the paper applies the lemma to Fatou components of a transcendental self-map of C*, not to the original entire-function setting, the hypotheses deserve a direct verification. Please include a proof or a detailed restatement of the lemma together with a check that the analyticity, continuity, and boundary-mapping hypotheses hold for the maps f^{n_k - n_{k-1}} restricted to the relevant Fatou components.
- [Section 5, proof of Theorem 1.5] The claim that 'each of the components of the preimage of γ in H_{n0+1} is a curve γ'' that is unbounded in C*' is stated without proof. This is a load-bearing point for the conclusion that the closure of the Baker domain contains both 0 and ∞. The proof should justify why every such preimage component is unbounded in C* and why each complementary component of H_{n0} in U contains one of them, since this is not an immediate consequence of the preceding definitions.
- [Section 4, Example 5] The key calculation for Example 5 is omitted: the text says 'it is a calculation that E ⊆ I(cosh z) and that E contains every preimage of the real line.' These are precisely the hypotheses needed for Proposition 4.1, and they are not evident. Please provide the estimates showing that the grid E lies in the escaping set of cosh and that every component of cosh^{-1}(E) is met by E, so that the connectivity conclusion for I∞(f) is actually established.
minor comments (4)
- [Throughout] There are several typos: 'satifies' should be 'satisfies', 'Berweiler' should be 'Bergweiler', and 'cuve' should be 'curve'.
- [Corollary 3.3] The wording 'apart possibly from a set of harmonic measure zero relative to V , points z∈∂V satisfy that, for any R>0, Re f~n(z)>R' is awkward; it should say that for all such z and all R>0 the stated inequalities hold for all sufficiently large n.
- [Proof of Theorem 1.2] The sentence 'by Picard's theorem, Ae(f) meets both sets H0 and H∞' is terse; it would help to state explicitly that transcendental self-maps of C* have no exceptional values and to explain why this implies that every nonempty backward-invariant escaping set meets both sides of the separating open sets.
- [Example 2] The deduction that the two halves of the imaginary axis lie in attracting Fatou components is plausible but would benefit from a sentence explaining that the attracting fixed point y0 of f^ on the positive real line gives an attracting fixed point i y0 for f, and similarly for -i y0.
Circularity Check
No significant circularity: the connectivity theorems are proved from external potential-theoretic and dynamical ingredients, and the self-citations used are independent published results rather than definitions of the claimed conclusions.
full rationale
The derivation chain contains no step in which a claimed conclusion is defined in terms of its own input or in which a fitted parameter is renamed as a prediction. Theorem 1.1 is obtained from Theorem 2.1, which is proved in the text as a generalization of Rippon and Stallard, together with the published fact from [Mar18, Theorem 1.1] that I_e(f) intersects J(f) and that J(f) = I_e(f) ∩ J(f); neither of these inputs contains the connectivity dichotomy. Theorem 1.2 is derived from Corollary 3.7, which uses Theorem 1.3 and Lemma 3.4; Theorem 1.3 is the only place where the external Lemma 3.2, cited from [OS16, Lemma 4.1], is invoked. Lemma 3.2 is a general harmonic-measure statement about sequences of disjoint simply connected domains in the Riemann sphere, and its assumptions do not include the escaping-set trichotomy or the connectivity of I(f) ∪ {0,∞}, so it is a proof ingredient rather than a circular reduction. The one compressed step is in the proof of Theorem 1.3, where the paper says: 'By a result of Baker [Bak87], there is at most one value N ∈ N0 such that U_N is doubly connected... We can assume, therefore, that U_n is simply connected for n ∈ N0.' This is a finite-tail shift combined with a pullback via [Ran95, Theorem 4.3.8]; the details are not written out, but this is an omitted verification or potential proof gap, not a definitional or fitted circularity. The construction of the doubly connected Baker domain in Theorem 1.4 uses only the approximation-theoretic Lemma 5.1 and explicit estimates, while Lemmas 5.2 and 5.3 use [Mar19] and [Rip08] for lifts and absorbing sets, again independent of the target conclusions. The self-citations to [Mar18], [Mar19], [EMS19], and [OS16] are load-bearing in places, but they are published, parameter-free results with stated assumptions that do not include the connectivity trichotomy; under the reviewing rules they count as real evidence and do not raise the circularity score.
Assumptions & free parameters
assumptions (9)
- standard math Picard's theorem and the absence of exceptional points for holomorphic self-maps of C*.
- domain assumption Blowing-up property for the Julia set of a transcendental self-map of C* (Rådström 1953, Lemma 2.2).
- domain assumption Results of Martín-Pete [Mar18, Theorem 1.1 and Lemma 3.4] that I_e(f)∩J(f) is non-empty, J(f)=∂I_e(f), and all components of I_e(f) and the fast escaping sets A_e(f) are unbounded in C*.
- domain assumption Baker's theorem that every Fatou component of a transcendental self-map of C* is simply or doubly connected and at most one is doubly connected (Bak87).
- standard math Lemma 3.2 from [OS16, Lemma 4.1] on harmonic measure zero for boundary points whose iterates stay far from a spherical limit point.
- standard math Gaier's approximation theorem (Lemma 5.1) giving an entire function g that uniformly approximates a holomorphic function on a closed sector-like set S with prescribed error ε(r).
- domain assumption Classification of Baker domains for transcendental entire functions and existence of simply connected absorbing sets ([Rip08, Theorem 5.1], [Cow81], [Mar19, Lemma 3.5]).
- domain assumption Bergweiler's theorem that J(\tilde f)=exp^{-1}(J(f)) for lifts, and that J(cosh z)=C, so J(f)=C* for the Example 5 map (Ber95).
- ad hoc to paper In Example 5, the set E=iR∪⋃_{n∈Z}{y=nπ} satisfies E⊆I(cosh z) and meets every component of cosh^{-1}(E).
Cite this review
Pith. "Pith review of On the connectivity of the escaping set in the punctured plane." pith.science (2026). https://pith.science/paper/H2RUOCL7
@misc{pith2026190807383,
author = {Pith},
title = {Pith review of: On the connectivity of the escaping set in the punctured plane},
year = {2026},
howpublished = {\url{https://pith.science/paper/H2RUOCL7}},
note = {Machine review of arXiv:1908.07383}
}
abstract
We consider the dynamics of transcendental self-maps of the punctured plane, $\mathbb{C}^*=\mathbb{C}\setminus \{0\}$. We prove that the escaping set $I(f)$ is either connected, or has infinitely many components. We also show that $I(f)\cup \{0,\infty\}$ is either connected, or has exactly two components, one containing $0$ and the other $\infty$. This gives a trichotomy regarding the connectivity of the sets $I(f)$ and $I(f)\cup \{0,\infty\}$, and we give examples of functions for which each case arises. Finally, whereas Baker domains of transcendental entire functions are simply connected, we show that Baker domains can be doubly connected in $\mathbb{C}^*$ by constructing the first such example. We also prove that if $f$ has a doubly connected Baker domain, then its closure contains both $0$ and $\infty$, and hence $I(f)\cup\{0,\infty\}$ is connected.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
-
[1]
I. N. Baker, Wandering domains in the iteration of entire functions, Proc. London Math. Soc. (3) 49 (1984), no. 3, 563--576
work page 1984
-
[2]
I. N. Baker, Wandering domains for maps of the punctured plane, Ann. Acad. Sci. Fenn. Ser. A I Math. 12 (1987), no. 2, 191--198
work page 1987
-
[3]
I. N. Baker and P. Dom\'inguez-Soto , Analytic self-maps of the punctured plane, Complex Variables Theory Appl. 37 (1998), no. 1-4, 67--91
work page 1998
-
[4]
I. N. Baker and P. Dom \' nguez, Some connectedness properties of J ulia sets , Complex Variables Theory Appl. 41 (2000), no. 4, 371--389
work page 2000
-
[5]
Bergweiler, Iteration of meromorphic functions, Bull
W. Bergweiler, Iteration of meromorphic functions, Bull. Amer. Math. Soc. 29 (1993), no. 2, 151--188
work page 1993
-
[6]
Bergweiler, On the J ulia set of analytic self-maps of the punctured plane , Analysis 15 (1995), no
W. Bergweiler, On the J ulia set of analytic self-maps of the punctured plane , Analysis 15 (1995), no. 3, 251--256
work page 1995
-
[7]
K. Bara \'n ski, N. Fagella, X. Jarque, and B. Karpi \'n ska, Absorbing sets and B aker domains for holomorphic maps , J. Lond. Math. Soc. (2) 92 (2015), no. 1, 144--162
work page 2015
-
[8]
C. C. Cowen, Iteration and the solution of functional equations for functions analytic in the unit disk, Trans. Amer. Math. Soc. 265 (1981), 69--95
work page 1981
Show all 33 references
-
[9]
Dom\'inguez-Soto , Connectedness properties of J ulia sets of transcendental entire functions , Complex Variables 32 (1997), 199--215
P. Dom\'inguez-Soto , Connectedness properties of J ulia sets of transcendental entire functions , Complex Variables 32 (1997), 199--215
1997
-
[10]
Evdoridou, D
V. Evdoridou, D. Mart\'i-Pete , and D. J. Sixsmith, Spiders' webs in the punctured plane, to appear in Ann. Acad. Sci. Fenn. Math., preprint, arXiv:1901.05276, 2019
1901 arXiv
-
[11]
A. E. Eremenko, On the iteration of entire functions, Dynamical systems and ergodic theory ( W arsaw, 1986), Banach Center Publ., vol. 23, PWN, Warsaw, 1989, pp. 339--345
1986
-
[12]
Evdoridou, Fatou's web, Proc
V. Evdoridou, Fatou's web, Proc. Amer. Math. Soc. 144 (2016), no. 12, 5227--5240
2016
-
[13]
Fagella, Dynamics of the complex standard family, J
N. Fagella, Dynamics of the complex standard family, J. Math. Anal. Appl. 229 (1999), no. 1, 1--31
1999
-
[14]
Fagella and D
N. Fagella and D. Mart\'i-Pete , Dynamic rays of bounded-type transcendental self-maps of the punctured plane, Discrete Contin. Dyn. Syst. Ser. A 37 (2017), 3123--3160
2017
-
[15]
Gaier, Lectures on C omplex A pproximation , Birkh\"auser Boston, Inc., Boston, MA, 1987, Translated from the German by Renate McLaughlin
D. Gaier, Lectures on C omplex A pproximation , Birkh\"auser Boston, Inc., Boston, MA, 1987, Translated from the German by Renate McLaughlin
1987
-
[16]
J. B. Garnett and D. E. Marshall, Harmonic M easure , New Mathematical Monographs, vol. 2, Cambridge University Press, 2005
2005
-
[17]
Kisaka, On the connectivity of J ulia sets of transcendental entire functions , Ergod
M. Kisaka, On the connectivity of J ulia sets of transcendental entire functions , Ergod. Th. & Dynam. Sys. 18 (1998), no. 1, 189--205
1998
-
[18]
Mart\' i -Pete , The escaping set of transcendental self-maps of the punctured plane, Ergod
D. Mart\' i -Pete , The escaping set of transcendental self-maps of the punctured plane, Ergod. Th. & Dynam. Sys. 38 (2018), no. 2, 739--760
2018
-
[19]
Mart \' -Pete , Escaping F atou components of transcendental self-maps of the punctured plane , to appear in Math
D. Mart \' -Pete , Escaping F atou components of transcendental self-maps of the punctured plane , to appear in Math. Proc. Cambridge Philos. Soc., preprint, arXiv:1801.00124v1, 2019
2019 arXiv
-
[20]
Nicks and David J
Daniel A. Nicks and David J. Sixsmith, The dynamics of quasiregular maps of punctured space, Indiana Univ. Math. J. 68 (2019), no. 1, 323--352
2019
-
[21]
J. W. Osborne, P. J. Rippon, and G. M. Stallard, Connectedness properties of the set where the iterates of an entire function are unbounded, Ergod. Th. & Dynam. Sys. 37 (2017), no. 4, 1291--1307
2017
-
[22]
J. W. Osborne and D. J. Sixsmith, On the set where the iterates of an entire function are neither escaping nor bounded, Ann. Acad. Sci. Fenn. Math. 41 (2016), 561--578
2016
-
[23]
Osborne, Connectedness properties of the set where the iterates of an entire function are bounded, Math
J. Osborne, Connectedness properties of the set where the iterates of an entire function are bounded, Math. Proc. Cambridge Philos. Soc. 155 (2013), no. 3, 391--410
2013
-
[24]
J. W. Osborne, Spiders' webs and locally connected J ulia sets of transcendental entire functions , Ergod. Th. & Dynam. Sys. 33 (2013), no. 4, 1146--1161
2013
-
[25]
R a dstr\"om, On the iteration of analytic functions, Math
H. R a dstr\"om, On the iteration of analytic functions, Math. Scand. 1 (1953), 85--92
1953
-
[26]
Ransford, Potential T heory in the C omplex P lane , London MathematicalSociety Student Texts, vol
T. Ransford, Potential T heory in the C omplex P lane , London MathematicalSociety Student Texts, vol. 28, Cambridge University Press, 1995
1995
-
[27]
Rempe, Connected escaping sets of exponential maps, Ann
L. Rempe, Connected escaping sets of exponential maps, Ann. Acad. Sci. Fenn. Math. 36 (2011), 71--80
2011
-
[28]
P. J. Rippon, Baker domains, Transcendental D ynamics and C omplex A nalysis, London Math. Soc. Lecture Note Ser., vol. 348, Cambridge Univ. Press, Cambridge, 2008, pp. 371--395
2008
-
[29]
P. J. Rippon and G. M. Stallard, Boundaries of escaping F atou components , Proc. Amer. Math. Soc. 139 (2011), no. 8, 2807--2820
2011
-
[30]
P. J. Rippon and G. M. Stallard, Fast escaping points of entire functions, Proc. Lond. Math. Soc. (3) 105 (2012), no. 4, 787--820
2012
-
[31]
P. J. Rippon and G. M. Stallard, Boundaries of univalent B aker domains , J. Anal. Math. 134 (2018), no. 2, 801--810
2018
-
[32]
P. J. Rippon and G. M. Stallard, Eremenko points and the structure of the escaping set, Trans. Amer. Math. Soc. 372 (2019), 3083--3111
2019
-
[33]
D. J. Sixsmith, Dynamical sets whose union with infinity is connected, Ergod. Th. & Dynam. Sys. (2018), 1--10
2018
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.