[论文解读] Tischler graphs of critically fixed rational maps and their applications

Mikhail Hlushchanka|arXiv (Cornell University)|Apr 9, 2019

Mathematical Dynamics and Fractals参考文献 17被引用 6

一句话总结

本文证明了任意一个临界固定有理映射的Tischler图都是连通的，从而证实了Kevin Pilgrim的猜想。该结果基于对临界固定点邻域内不动内部射线的动力学分析，并利用曲线复杂度论证建立了有限全局曲线吸引子，推动了复解析映射中组合分类与全局动力学的研究。

ABSTRACT

A rational map $f:\widehat{\mathbb{C}} o\widehat{\mathbb{C}}$ on the Riemann sphere $\widehat{\mathbb{C}}$ is called critically fixed if each critical point of $f$ is fixed under $f$. In this article, we study the properties of a combinatorial invariant, called the Tischler graph, associated with such a map. We show that the Tischler graph of a critically fixed rational map is always connected, establishing a conjecture made by Kevin Pilgrim. This result allows us to solve two classical open problems in rational dynamics in the setting of critically fixed rational maps, namely the combinatorial classification problem and the global curve attractor problem. In particular, we prove that there is a canonical one-to-one correspondence between the conjugacy classes of critically fixed rational maps and the isomorphism classes of connected planar embedded graphs.

研究动机与目标

• 解决长期悬而未决的猜想：临界固定有理映射的Tischler图是连通的。
• 利用Tischler图对临界固定有理映射实现完整的组合分类。
• 确立此类映射存在有限全局曲线吸引子，回应复解析动力系统中的核心问题。
• 将Tischler早期关于临界固定多项式的工作推广至更广泛的有理映射类。
• 阐明Tischler图在理解后临界有限有理映射的拓扑与动力结构中的作用。

提出的方法

• 将Tischler图构造为临界固定点邻域内所有不动内部射线的并集。
• 利用Böttcher坐标参数化邻域，并通过单位圆盘中的径向弧定义内部射线。
• 在 punctured sphere $\widehat{\mathbb{C}} \setminus C_f$ 上应用同伦与同胚论证，分析曲线的拉回。
• 为与Tischler图 $\mathsf{S}$ 相交的曲线 $\gamma$ 引入复杂度度量 $\gamma \cdot \mathsf{S}$，并证明其在拉回下严格递减。
• 通过归纳法与曲线提升技术，证明所有足够高阶的拉回曲线均属于有限集合 $\mathcal{A}(f)$ 中的同伦类，且交点数有界。
• 通过证明所有拉回最终进入一个有限且不变的同伦类集合，确立了有限全局曲线吸引子的存在性。

实验结果

研究问题

• RQ1 临界固定有理映射的Tischler图是否总是连通的？这一猜想由Kevin Pilgrim提出。
• RQ2 能否利用Tischler图完成临界固定有理映射的组合分类？
• RQ3 每个临界固定有理映射在迭代下是否都存在有限全局曲线吸引子？
• RQ4 在临界固定映射的背景下，曲线拉回的行为如何？
• RQ5 Tischler图的拓扑性质如何与映射的动力结构相关联？

主要发现

• 任意一个度数 $d \geq 2$ 的临界固定有理映射的Tischler图都是连通的，从而证实了Pilgrim的猜想。
• 与Tischler图每条边至多相交一次的曲线的同伦类集合 $\mathcal{A}(f)$ 是有限的。
• 对每条简单曲线 $\gamma$，所有足够高阶的拉回 $\delta = f^{-n}(\gamma)$ 都属于 $\mathcal{A}(f)$，意味着其复杂度有限。
• 总交点数 $\gamma \cdot \mathsf{S}$ 在拉回下严格递减，从而确保收敛至有限吸引子。
• 所有临界固定有理映射均存在有限全局曲线吸引子。
• 证明依赖于拉回复杂度估计中的严格不等式，该不等式源于临界曲线所围成的若尔当区域内的同胚与拓扑约束。