Abstract:One of the fundamental distinctions in McMullen and Sullivan's description of the Teichmüller space of a complex dynamical system is between discrete and indiscrete grand orbit relations. We investigate these on the Fatou set of transcendental entire maps and provide criteria to distinguish between the two types. Furthermore, we show that discrete and indiscrete grand orbit relations may coexist non-trivially in a wandering domain, a phenomenon which does not occur for any other type of Fatou component. One of the tools used is a novel quasiconformal surgery technique of independent interest.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the grand orbit relations of wandering domains in complex dynamical systems. Specifically, the paper explores how to separate discrete and non - discrete grand orbit relations in the Fatou set of transcendental entire maps, and provides a series of criteria for discrimination. In addition, the paper also proves a remarkable phenomenon: within a wandering domain, sub - domains with different grand orbit relations can exist simultaneously, a phenomenon that does not occur in other types of Fatou components.
### Main research questions:
1. **Coexistence of discrete and non - discrete grand orbit relations**:
- **Q1**: In a connected component of the same Fatou set, can there be points with discrete and non - discrete grand orbit relations simultaneously?
- **Q2**: In the same wandering domain, can there be connected components of the Fatou set with discrete and non - discrete grand orbit relations simultaneously?
### Main contributions of the paper:
- **Theorem A**: Gives several equivalent conditions for the grand orbit relation to be discrete in a connected component \( V \) of a Fatou set of a transcendental entire function \( f \).
- **Theorem B**: Proves that there exists a transcendental entire function \( f \), and within one of its wandering domains \( U \), there are two connected components \( W_1 \) and \( W_2 \), which have discrete and non - discrete grand orbit relations respectively.
- **Theorem C**: Introduces a new quasiconformal surgery technique, which can implement a specific dynamical model in a sequence of wandering domains of a transcendental entire function.
- **Theorem D**: By combining Theorem C and other results, proves how to construct a transcendental entire function with specific dynamical properties.
### Research methods:
- **Quasiconformal surgery**: The paper introduces a new quasiconformal surgery technique for implementing specific dynamical models in wandering domains. This method is not only applied in this paper but also of independent interest.
- **Dynamical systems theory**: Utilizes basic concepts and tools in complex dynamical systems theory, such as Blaschke products, quasiconformal mappings, etc., to analyze and prove the properties of grand orbit relations.
### Conclusion:
- Through rigorous mathematical proofs, the paper reveals the phenomenon that discrete and non - discrete grand orbit relations can coexist in the wandering domains of transcendental entire functions. This finding enriches the understanding of wandering domains in complex dynamical systems and provides new perspectives and tools for future research.