Holomorphic motions, natural families of entire maps, and multiplier-like objects for wandering domains

Basic Information

• Paper ID: 2307.00679v4
• Title: Holomorphic motions, natural families of entire maps, and multiplier-like objects for wandering domains
• Authors: Gustavo R. Ferreira & Sebastian van Strien (Imperial College London)
• Classification: math.DS (Dynamical Systems), math.CV (Complex Variables)
• Publication Date: January 29, 2025 (arXiv version)
• Paper Link: https://arxiv.org/abs/2307.00679

Abstract

Structural stability of holomorphic functions has been a focal point of research over the past fifty years. However, due to various technical obstacles, most work has concentrated on so-called finite-type functions (functions whose singular value sets have finite cardinality). This paper generalizes the results of Eremenko and Lyubich on natural families of entire functions to the case where the singular value set is not the entire complex plane. The authors prove that under this assumption, the set $M_f$ of entire functions quasiconformally equivalent to $f$ possesses a complex manifold structure (possibly infinite-dimensional). Furthermore, the paper considers functions with wandering domains—another focal topic in complex dynamics research. For entire functions $f$ with simply connected wandering domains $U$, the authors construct twist sequences as analogues of periodic orbit multipliers and prove that under certain assumptions, twist sequences move analytically as $f$ varies in appropriate parameter families.

Research Background and Motivation

Problem Background

1. Structural Stability Problem: A central question in holomorphic dynamics is understanding the structural stability of holomorphic functions in parameter families. Traditional research has focused primarily on finite-type functions (functions whose singular value sets are finite).
2. Wandering Domain Problem: In complex dynamics, connected components of the Fatou set can be classified as periodic domains or wandering domains. The internal dynamics of periodic domains are well understood, but the study of wandering domains remains challenging, particularly lacking effective tools analogous to periodic point multipliers.
3. Technical Limitations: The existing Eremenko-Lyubich theory applies only to finite-type functions, and lacks a systematic theoretical framework for more general families of entire functions.

Research Motivation

1. Theoretical Completeness: Generalizing classical natural family theory to more general settings of entire functions
2. Practical Necessity: Providing new analytical tools for the study of wandering domains
3. Technical Breakthrough: Utilizing recent developments in Teichmüller theory and holomorphic motions to handle infinite-dimensional cases

Core Contributions

1. Generalization of the Eremenko-Lyubich Theorem: Extending the complex manifold structure of natural families to cases where the singular value set may be infinite, constructing a universal natural family $T_f$
2. Introduction of Twist Sequence Concept: Defining twist sequences for entire functions with simply connected wandering domains as analogues of periodic point multipliers in the wandering domain setting
3. Proof of Holomorphy of Twist Maps: Under appropriate conditions, twist sequences vary holomorphically in parameter families
4. Explicit Parametrization of Herman-type Wandering Domains: For attracting Herman-type wandering domains, providing concrete natural family constructions where the twist map is non-constant

Methodology Details

Problem Formulation

The paper addresses two main problems:

1. Input: Entire function $f$ and its singular value set $S(f)$Output: Complex manifold structure of equivalence class $M_f$Constraints: $\#S(f) \geq 2$ and $\mathbb{C} \setminus S(f) \neq \emptyset$
2. Input: Entire function $f$ with simply connected wandering domain $U$ and point $p \in U$Output: Twist sequence $(\alpha_n(f,p))_{n \in \mathbb{N}}$Constraints: $f$ belongs to a holomorphic family with holomorphic motion of Julia set

Core Theoretical Framework

1. Construction of Universal Natural Families

Theorem A (Universal Natural Family): Let $f$ be an entire function and $F = S(f) \cup \{\infty\}$. Then there exists a Banach analytic manifold $T_f = T(F) \times (\mathbb{C}^* \times \mathbb{C})^2$ and a covering map $\Phi: T_f \to M_f$ satisfying:

• $\Phi$ is continuous and $(λ,z) \mapsto \Phi_λ(z)$ is analytic
• Any natural family containing $f$ can be lifted holomorphically to $T_f$

2. Definition of Twist Sequences

Definition 4.1: Let $f$ be an entire function with simply connected wandering domain $U$, and $z_0 \in U$, $z_n = f^n(z_0)$. For $n \geq 0$, let $\psi_n: \mathbb{D} \to U_n$ be the Riemann map with $\psi_n(0) = z_n$. Define $g_n: \mathbb{D} \to \mathbb{D}$ as $g_n(z) = \psi_n^{-1} \circ f \circ \psi_{n-1}(z)$ Then the sequence $(\alpha_n(f,z_0))_{n \in \mathbb{N}}$ is defined as $\alpha_n(f,z_0) := g_n'(0)$ and is called the twist sequence of $f$ at $z_0$.

3. Holomorphy of Twist Maps

Theorem B: Let $(f_λ)_{λ \in M}$ be a holomorphic family with $f = f_{λ_0}$ having a simply connected wandering domain $U$ and $p \in U$. If $J(f_λ)$ undergoes holomorphic motion, then there exist a neighborhood $Λ' \subset M$ and a holomorphic map $A: Λ' \times \overline{Λ'} \to \ell^∞$ such that:

• For each $λ \in Λ'$, $A(λ,λ)$ is the twist sequence of $f_λ$ at the corresponding point
• $A$ is holomorphic in the parameters

Technical Innovations

1. Application of Teichmüller Space: Utilizing Mitra's universal holomorphic motion theory to handle holomorphic motions of closed sets $F = S(f) \cup \{\infty\}$
2. Handling Infinite-Dimensional Manifolds: Processing potentially infinite-dimensional cases through decomposition $T(F) \simeq T(\hat{\mathbb{C}} \setminus F) \times M(F)$
3. Quasiconformal Surgery Techniques: In the construction of Herman-type wandering domains, using parametrized quasiconformal interpolation to achieve non-trivial deformations of twist sequences

Experimental Setup

Theoretical Verification Framework

This is primarily theoretical work, with verification conducted through:

1. Constructive Proofs: Proving existence parts of theorems through explicit construction
2. Counterexample Analysis: Verifying theoretical necessity through concrete examples
3. Consistency Checks: Verifying that new definitions coincide with classical theory in special cases

Key Lemma Verification

• Lemma 4.2: Analytic dependence of Riemann maps under holomorphic motion
• Lemma 5.2: Analyticity properties of quasiconformal interpolation
• Lemma 3.6: Homotopy properties of equivalence transformations

Experimental Results

Main Theoretical Results

1. Universality: Theorem A demonstrates that $M_f$ indeed possesses a natural complex manifold structure, and $T_f$ is the "maximal" parameter space
2. Dimension Characterization:
   • When $f$ has finitely many singular values, $\dim T_f = \#S(f) + 2$
   • When $f$ has infinitely many singular values, $T_f$ is an infinite-dimensional Banach manifold
3. Classification Significance of Twist Sequences:
   • $\|\alpha\|_\infty < 1$ ⟺ wandering domain is contracting type
   • $\alpha_n = 1$ for sufficiently large $n$ ⟺ wandering domain is asymptotically isometric type

Concrete Application Results

Verification of Theorem C: For attracting Herman-type wandering domains, the constructed natural family $(f_λ)_{λ \in M}$ where $M = \{λ \in \ell^\infty: \|\lambda\|_\infty < 1\}$ satisfies:

• Julia set undergoes holomorphic motion
• Twist map $A: M \times M \to \ell^\infty$ is non-constant
• Explicit calculation yields $\frac{d\alpha_n}{dλ_n}(0) = 2ρ(1+i) \neq 0$

Corollary Verification

1. Corollary 1.1: $M_f$ is connected and path-connected in $E$
2. Corollary 1.4: Bounds on twist sequences control stability of wandering domain types
3. Corollary 1.2: Existence of holomorphic lifts of continuous parameter families

Related Work

Classical Theoretical Foundations

1. Eremenko-Lyubich Theory 21: Natural family theory for finite-type entire functions
2. Mañé-Sad-Sullivan Theory 40: Foundational theory of holomorphic motions
3. Benini et al. Classification 8: Classification of internal dynamics of simply connected wandering domains

Development of Technical Tools

1. Mitra's Universal Holomorphic Motion 44,45: Providing framework for holomorphic motions of general closed sets
2. Ahlfors-Bers Theory 2: Analytic dependence of quasiconformal mappings
3. Teichmüller Theory: Providing geometric structure for parameter spaces

Innovative Positioning of This Work

• First generalization of natural family theory to infinite-type functions
• Introduction of "multiplier" concept for wandering domains
• Establishment of explicit theory for wandering domain parametrization

Conclusions and Discussion

Main Conclusions

1. Theoretical Completeness: Successfully generalizing Eremenko-Lyubich theory to general settings, providing complete geometric description of parameter spaces for entire functions
2. Tool Effectiveness: Twist sequences provide effective analytical tools for studying wandering domains, analogous to the role of multipliers in periodic domains
3. Constructive Feasibility: Explicit construction of Herman-type wandering domains demonstrates practical operability of the theory

Limitations

1. Technical Conditions: Requiring $\mathbb{C} \setminus S(f) \neq \emptyset$ excludes certain extreme cases
2. Wandering Domain Restrictions: Twist sequence theory currently applies only to simply connected wandering domains
3. Computational Complexity: Concrete calculations in infinite-dimensional cases remain difficult

Future Directions

1. Multiply Connected Wandering Domains: Generalizing to more general topological types
2. Rational Functions: Extending theory to rational maps
3. Dynamical Applications: Utilizing twist sequences to study concrete dynamical problems

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully combining profound results from complex analysis, dynamical systems, and Teichmüller theory
2. Technical Innovation: Introduction of twist sequence concept fills a tool gap in wandering domain research
3. Completeness: Forming a complete theoretical system from theoretical construction to concrete applications
4. Clarity of Exposition: Detailed technical exposition with clear logical structure

Weaknesses

1. Application Scope: Theory is relatively abstract with limited practical application scenarios
2. Computational Difficulty: Lack of effective numerical methods for infinite-dimensional cases
3. Special Cases: Certain important function classes (such as $S(f) = \mathbb{C}$) are excluded

Impact

1. Theoretical Contribution: Providing new theoretical framework for complex dynamics, expected to advance related fields
2. Methodological Value: Demonstrating powerful application potential of Teichmüller theory in dynamical systems
3. Inspirational Significance: Providing methodological guidance for research on other types of dynamical systems

Applicable Scenarios

1. Theoretical Research: Classification and parametrization problems for entire function families
2. Structural Stability: Bifurcation theory research in complex dynamical systems
3. Computational Applications: Providing theoretical foundation for numerical study of wandering domains

References

The paper cites 54 important references covering multiple fields including complex dynamics, Teichmüller theory, and quasiconformal mappings, reflecting the breadth and depth of the research. Key references include Eremenko-Lyubich 21, Mitra 44,45, Benini et al. 8, and others.

This paper achieves high standards in both theoretical depth and technical innovation, providing important theoretical contributions to complex dynamics, particularly opening new directions in wandering domain research.