Abstract:We investigate the family of marked Thurston maps that are defined everywhere on the topological sphere $S^2$, potentially excluding at most countable closed set of essential singularities. We show that when an unmarked Thurston map $f$ is realized by a postsingularly finite holomorphic map, the marked Thurston map $(f, A)$, where $A \subset S^2$ is the corresponding finite marked set, admits such a realization if and only if it has no degenerate Levy cycle. To obtain this result, we analyze the associated pullback map $\sigma_{f, A}$ defined on the Teichmüller space $\mathcal{T}_A$ and demonstrate that some of its iterates admit well-behaved invariant complex sub-manifolds within $\mathcal{T}_A$. By applying powerful machinery of one-dimensional complex dynamics and hyperbolic geometry, we gain a clear understanding of the behavior of the map $\sigma_{f, A}$ restricted to the corresponding invariant subset of the Teichmüller space $\mathcal{T}_A$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the realizability conditions of finite - and infinite - degree Thurston maps with additional marked points. Specifically, the author studies a class of marked Thurston maps defined on the topological sphere \(S^2\), and these maps may be undefined at essential singularities on at most countable closed sets. The main problems of the paper can be summarized as follows:
1. **Determining the realizability of marked Thurston maps**: Given an unmarked Thurston map \(f: S^2\rightarrow S^2\), if it can be realized by a post - singularly finite holomorphic map, then can the marked Thurston map \((f, A)\) with the marked set \(A\subset S^2\) also be realized by a similar holomorphic map? The author proves that this holds if and only if the marked Thurston map has no degenerate Levy cycles.
2. **Analyzing the dynamical behavior of the pull - back map**: To answer the above question, the author deeply analyzes the dynamical system related to the pull - back map \(\sigma_{f,A}\) on the Teichmüller space \(T_A\). By studying the fixed points of this pull - back map and their iterative behaviors, the author reveals the relationship between the realizability of marked Thurston maps and their dynamical properties.
3. **Handling different types of Thurston maps**: The paper uniformly deals with three cases:
- Thurston maps of finite degree and not of \((2, 2, 2, 2)\)-type.
- Thurston maps of \((2, 2, 2, 2)\)-type.
- Thurston maps of infinite degree.
4. **Detecting the existence of Levy cycles**: The author introduces tools for detecting Levy cycles and shows how to use these tools to derive the main results. In particular, for Thurston maps with additional marked points, if there are degenerate Levy cycles, then the map cannot be realized by a post - singularly finite holomorphic map.
5. **Extension to the case of multiple fixed points**: The paper also discusses how to generalize the above results when the marked set \(A\) contains multiple fixed points. By considering the influence of these fixed points, the author further improves the understanding of the realizability of marked Thurston maps.
In general, this paper aims to provide a unified method to judge whether these maps can be realized by post - singularly finite holomorphic maps by analyzing the dynamical behaviors of marked Thurston maps and their related pull - back maps, and pays special attention to the role of degenerate Levy cycles.