pith. sign in

arxiv: 2606.20147 · v1 · pith:VQ24EKJNnew · submitted 2026-06-18 · 🧮 math.DS · math.CV

Inner functions associated to lifts of transcendental entire functions

Eleni Betsakou This is my paper

Pith reviewed 2026-06-26 15:21 UTC · model grok-4.3

classification 🧮 math.DS math.CV
keywords inner functionstranscendental entire functionsFatou componentsliftswandering domainsRiemann mapscomplex dynamics
0
0 comments X

The pith

If f is a lift of a transcendental entire function h, then the inner function associated to f on U is obtained from the inner function associated to h on the lifted component G.

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

The paper establishes a method to compute associated inner functions for transcendental entire functions that arise as lifts. When f lifts h, with U the component lifting from G, the inner function g_f on U relates to g_h on G through the covering relation and Riemann maps. This extends an earlier theorem to both finite- and infinite-degree cases and covers forward-invariant components as well as wandering domains. Readers would care because explicit inner functions remain scarce for infinite-degree maps, and the lift construction supplies them for many previously studied examples.

Core claim

If f is a lift of a transcendental entire function h, then an inner function associated to f restricted to U can be obtained by relating it to an inner function associated to h restricted to G, where G is the Fatou component that lifts to U. The relation holds whether the components are forward-invariant or wandering, and whether the degree on the component is finite or infinite.

What carries the argument

The lift relation between f and h together with the Riemann maps from the disk to U and G, which compose with the covering map to transfer the inner function from the base to the lift.

If this is right

  • The construction applies directly to several transcendental entire functions already studied in the literature.
  • The same relation works for both finite-degree and infinite-degree restrictions to the component.
  • The result covers forward-invariant Fatou components and wandering domains alike.
  • It recovers and extends the main statement of the theorem by Evdoridou, Rempe and Sixmith.

Where Pith is reading between the lines

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

  • The method may yield explicit inner functions for additional families of entire functions that admit lifts but lack closed-form expressions today.
  • If similar lift relations exist for meromorphic functions, the same transfer could apply beyond the entire case.
  • The reduction might simplify iteration studies in the infinite-degree setting by moving computations to the base function h.

Load-bearing premise

The Fatou component U lifts from G under the given lift relation, and the Riemann maps compose appropriately with f, h, and the covering map.

What would settle it

A concrete lift f of h together with explicit Riemann maps where the resulting g_f fails to equal the composition that relates it to g_h.

Figures

Figures reproduced from arXiv: 2606.20147 by Eleni Betsakou.

Figure 1
Figure 1. Figure 1: Constructing an associated inner function to f|U use the same Riemann map, and then gf is called a dynamically associated inner function to f|U and it is unique up to a conformal conjugacy. There is a growing interest in inner functions associated to Fatou components. One reason for this is that it is often simpler to study a problem in the unit disc, using inner functions, and then transfer the results to… view at source ↗
Figure 2
Figure 2. Figure 2: The Fatou (grey) and Julia (black) sets of the function f(z) = 1 + z + e −z . the aforementioned examples, the Fatou functions exhibit additional complexity; the set of singular values - the closure of the set of critical and finite asymptotic values - of fλ is not compactly contained in the Baker domain. This fact makes it difficult to calculate a dynamically associated inner function, since there is no g… view at source ↗
Figure 3
Figure 3. Figure 3: Proving that U is connected For the converse statement, suppose that G is simply connected and U := π −1 a (G) is connected. The definition of U implies that it contains all the preimages under πa of any point in G (except for 0, when 0 ∈ G). Since there are infinitely many such preimages, we deduce that πa is not injective in U. Now, if 0 ∈/ G, then the restriction πa|U : U → G is a covering map, because … view at source ↗
Figure 4
Figure 4. Figure 4: Showing that f has infinite degree in U (m = 3 here) [PITH_FULL_IMAGE:figures/full_fig_p010_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Showing that h has infinite degree in G preimages of zk under f in U, for each k ∈ Z. Fix k ∈ Z. If there exist n, n′ ∈ N such that (2.5) zk, n′ = zk, n + 2lπi a , for some l ∈ Z \ {0}, then (2.3) implies that m = 0 and f|U is 2πi a -periodic. Thus, for each k ∈ Z, the set of preimages of zk under f in U, {zk, n}n∈N, contains a subset {v j k }j∈Z, such that v j+1 k = v j k + 2πi a , for all j ∈ Z, and so π… view at source ↗
Figure 6
Figure 6. Figure 6: Constructing the dynamically associated inner function gf to f|U Let z ∈ H. Then there exists a point w ∈ H such that z = M−1 (w). Thus, we have that gh(ˆp(z)) = gh(ˆp(M−1 (w))) = gh(˜p(w)) = ˜p(˜gf (w)) = ˜p(˜gf (M(z))) = ˜p(M(gf (z))) = ˆp(gf (z)), so gh(e 2iz) = e 2igf (z) ⇔ e iθe 2miz · exp  − X q j=1  cj · e iθj + e 2iz e iθj − e 2iz  = e 2igf (z) ⇔ 2igf (z) = iθ + 2miz − X q j=1  cj · e iθj + e … view at source ↗
Figure 7
Figure 7. Figure 7: The dynamical planes of the function h(w) = w 2 e −w and of its lift f(z) = 2z + e −z . proof of [KU05, Lemma 2.7], we can show that there exists δ ∈ (0, π 3 ] such that J(f) ⊂ [ k∈Z  {z ∈ C : Rez ≤ 0.6, 2kπ + δ < Imz < (2k + 1)π} ∪ {z ∈ C : Rez ≤ 0.6, (2k + 1)π < Imz < 2(k + 1)π − δ}  , and J(f) consists of disjoint curves tending to ∞, each homeomorphic to [0, +∞), by [RRS10, Theorem 1.3] (see Figure 7… view at source ↗
Figure 9
Figure 9. Figure 9: The action of φ on H Having established the above results, we can choose α appropriately, so that κ = π, and hence we obtain (6.2). We are now ready to calculate σ and θ. It follows from (6.2) that φ(lk) = η−k, with (6.10) φ(kπ + iα) = −2kπi, φ(l + k, α) = η + −k and φ(l − k, α) = η − −k , for all k ∈ Z (see [PITH_FULL_IMAGE:figures/full_fig_p019_9.png] view at source ↗
read the original abstract

Let $f$ be a transcendental entire function, $V$ be a simply connected Fatou component of $f,$ and $U$ be a Fatou component with $f(U)\subset V.$ There is a natural way to associate $f|_U$ to an inner function, namely a function $g_f:=\psi^{-1}\circ f\circ\varphi,$ where $\varphi:\mathbb{D}\to U$ and $\psi:\mathbb{D}\to V$ are Riemann maps. Inner functions have been used as a tool in the study of the iterates of transcendental entire, and more recently meromorphic, functions. However, there are only a few examples where associated inner functions have been calculated explicitly, with the case where $f$ has infinite degree in $U$ being the least well understood and more complicated. In this paper, we introduce a general method for calculating associated inner functions to a wide class of entire functions arising as `lifts'. In particular, if $f$ is a lift of a transcendental entire function $h,$ we show that an inner function associated to $f|_U$ can be obtained by relating it to an inner function associated to $h|_G,$ where $G$ is the Fatou component that lifts to $U.$ This result significantly generalises the main part of a theorem by Evdoridou, Rempe and Sixmith, and can be applied to several functions that have been studied so far. In both finite- and infinite-degree settings, the results hold for forward-invariant Fatou components as well as for wandering domains.

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.

Referee Report

0 major / 2 minor

Summary. The paper claims that if f is a transcendental entire function that is a lift of another such function h, then an inner function g_f associated to f restricted to a Fatou component U (via Riemann maps) can be obtained by relating it to the inner function associated to h restricted to the lifted component G. The result is stated to hold in both finite- and infinite-degree settings and for both forward-invariant and wandering domains, generalizing the main theorem of Evdoridou–Rempe–Sixmith.

Significance. If the derivation holds, the work supplies a systematic method for computing associated inner functions for an entire class of transcendental entire maps arising as lifts. This extends the limited set of explicit examples currently available, particularly in the infinite-degree case, and directly applies to several previously studied functions. The uniform treatment of invariant and wandering components is a notable strengthening.

minor comments (2)
  1. [§1] §1 (Introduction): the sentence claiming the result 'can be applied to several functions that have been studied so far' would benefit from an explicit list or forward reference to the examples treated in §4 or §5.
  2. Notation: the covering map relating U to G is introduced without an explicit symbol; adding a consistent notation (e.g., π: U → G) would improve readability when the Riemann-map composition is written out.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition that the work provides a systematic method for computing associated inner functions in both finite- and infinite-degree settings and for both invariant and wandering domains. We note the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via lift relation

full rationale

The paper's central claim constructs an inner function for the lift f|U by composing Riemann maps with the given lift relation to the base function h|G. This step is defined directly from the covering/lift property between domains U and G together with the standard definition of associated inner functions g_f = ψ^{-1} ∘ f ∘ ϕ; it does not reduce to a fitted parameter, self-definition, or load-bearing self-citation. The result is presented as a generalization of an external theorem (Evdoridou–Rempe–Sixmith) whose authors do not overlap with the present author, and the abstract states the construction applies uniformly to finite/infinite degree and invariant/wandering cases without invoking any uniqueness theorem or ansatz imported from the same authors. No equation or normalization in the provided material equates the output inner function to its input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5811 in / 864 out tokens · 21740 ms · 2026-06-26T15:21:36.192991+00:00 · methodology

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

30 extracted references · 22 canonical work pages

  1. [1]

    and Fagella, N

    Evdoridou, V. and Fagella, N. and Jarque, X. and Sixsmith, D. J. , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.jmaa.2019.04.045 , URL =

    work page doi:10.1016/j.jmaa.2019.04.045 2019

  2. [2]

    and Fagella, N

    Bergweiler, W. and Fagella, N. and Rempe-Gillen, L. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2015 , NUMBER =. doi:10.4171/CMH/371 , URL =

    work page doi:10.4171/cmh/371 2015

  3. [3]

    and Rempe, L

    Evdoridou, V. and Rempe, L. and Sixsmith, D. J. , TITLE =. Arnold Math. J. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s40598-020-00148-6 , URL =

    work page doi:10.1007/s40598-020-00148-6 2020

  4. [4]

    Baker, I. N. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 1984 , NUMBER =. doi:10.1112/plms/s3-49.3.563 , URL =

    work page doi:10.1112/plms/s3-49.3.563 1984

  5. [5]

    and Fagella, N

    Bara\'nski, K. and Fagella, N. and Jarque, X. and Karpi\'nska, B. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/tran/6739 , URL =

    work page doi:10.1090/tran/6739 2017

  6. [6]

    and Jarque, X

    Bara\'nski, K. and Jarque, X. and Rempe, L. , TITLE =. Topology Appl. , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.topol.2012.02.004 , URL =

    work page doi:10.1016/j.topol.2012.02.004 2012

  7. [7]

    , TITLE =

    Bergweiler, W. , TITLE =. Analysis , FJOURNAL =. 1995 , NUMBER =. doi:10.1524/anly.1995.15.3.251 , URL =

    work page doi:10.1524/anly.1995.15.3.251 1995

  8. [8]

    Er\"emenko, A. \`E. and Lyubich, M. Yu. , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1992 , NUMBER =. doi:10.5802/aif.1318 , URL =

    work page doi:10.5802/aif.1318 1992

  9. [9]

    , TITLE =

    Bargmann, D. , TITLE =. Transcendental dynamics and complex analysis , SERIES =. 2008 , ISBN =. doi:10.1017/CBO9780511735233.003 , URL =

    work page doi:10.1017/cbo9780511735233.003 2008

  10. [10]

    and Urba\'nski, M

    Kotus, J. and Urba\'nski, M. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2005 , NUMBER =. doi:10.3934/dcds.2005.13.291 , URL =

    work page doi:10.3934/dcds.2005.13.291 2005

  11. [11]

    Baker, I. N. and Dom\'inguez, P. , TITLE =. Ann. Acad. Sci. Fenn. Math. , FJOURNAL =. 1999 , NUMBER =

    1999

  12. [12]

    , TITLE =

    Fatou, P. , TITLE =. Acta Math. , FJOURNAL =. 1926 , NUMBER =. doi:10.1007/BF02559517 , URL =

    work page doi:10.1007/bf02559517 1926

  13. [13]

    , TITLE =

    Bergweiler, W. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1993 , NUMBER =. doi:10.1090/S0273-0979-1993-00432-4 , URL =

    work page doi:10.1090/s0273-0979-1993-00432-4 1993

  14. [14]

    Benini, A. M. and Evdoridou, V. and Fagella, N. and Rippon, P. J. and Stallard, G. M. , TITLE =. Math. Ann. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00208-021-02252-0 , URL =

    work page doi:10.1007/s00208-021-02252-0 2022

  15. [15]

    and Karpi\'nska, B

    Bara\'nski, K. and Karpi\'nska, B. , TITLE =. Nonlinearity , FJOURNAL =. 2007 , NUMBER =. doi:10.1088/0951-7715/20/2/008 , URL =

    work page doi:10.1088/0951-7715/20/2/008 2007

  16. [16]

    and Fagella, N

    Jov\'e, A. and Fagella, N. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2025 , NUMBER =. doi:10.1090/tran/9287 , URL =

    work page doi:10.1090/tran/9287 2025

  17. [17]

    Herman, M. R. , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 1984 , NUMBER =

    1984

  18. [18]

    and Rippon, P

    Rempe, L. and Rippon, P. J. and Stallard, G. M. , TITLE =. J. Difference Equ. Appl. , FJOURNAL =. 2010 , NUMBER =. doi:10.1080/10236190903282824 , URL =

    work page doi:10.1080/10236190903282824 2010

  19. [19]

    Rippon, P. J. and Stallard, G. M. , TITLE =. Conform. Geom. Dyn. , FJOURNAL =. 1999 , PAGES =. doi:10.1090/S1088-4173-99-00045-4 , URL =

    work page doi:10.1090/s1088-4173-99-00045-4 1999

  20. [20]

    , TITLE =

    Keen, L. , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 1989 , NUMBER =. doi:10.1017/S0143385700004995 , URL =

    work page doi:10.1017/s0143385700004995 1989

  21. [21]

    2021 , publisher=

    A course in complex analysis , author=. 2021 , publisher=

    2021

  22. [22]

    , TITLE =

    T\"opfer, H. , TITLE =. Math. Ann. , FJOURNAL =. 1939 , PAGES =. doi:10.1007/BF01450008 , URL =

    work page doi:10.1007/bf01450008 1939

  23. [23]

    Devaney, R. L. and Goldberg, L. R. , TITLE =. Duke Math. J. , FJOURNAL =. 1987 , NUMBER =. doi:10.1215/S0012-7094-87-05513-X , URL =

    work page doi:10.1215/s0012-7094-87-05513-x 1987

  24. [24]

    and Eremenko, A

    Bergweiler, W. and Eremenko, A. , TITLE =. Rev. Mat. Iberoamericana , FJOURNAL =. 1995 , NUMBER =. doi:10.4171/RMI/176 , URL =

    work page doi:10.4171/rmi/176 1995

  25. [25]

    Iversen, F. , url=. Recherches sur les fonctions inverses des fonctions m. 1914 , publisher=

    1914

  26. [26]

    2024 , eprint=

    Boundaries of hyperbolic and simply parabolic Baker domains , author=. 2024 , eprint=

    2024

  27. [27]

    2021 , eprint=

    Singularities of inverse functions , author=. 2021 , eprint=

    2021

  28. [28]

    and Henriksen, Ch

    Fagella, N. and Henriksen, Ch. , TITLE =. Discrete Contin. Dyn. Syst. , FJOURNAL =. 2006 , NUMBER =. doi:10.3934/dcds.2006.15.379 , URL =

    work page doi:10.3934/dcds.2006.15.379 2006

  29. [29]

    , TITLE =

    Milnor, J. , TITLE =. 2006 , PAGES =

    2006

  30. [30]

    and Jové, A

    Rodrigues Ferreira, G. and Jové, A. , year =. Boundaries of multiply connected Fatou components. A unified approach , doi =