[论文解读] Boundary Values of the Thurston Pullback Map

Russell Lodge|arXiv (Cornell University)|Dec 11, 2012

Geometric and Algebraic Topology参考文献 16被引用 5

一句话总结

本文提出了一种算法，用于计算任意具有四个后临界点的 Thurston 映射的 Weil-Petersson 边界值，将其应用于特定映射 $ f(z) = \frac{3z^2}{2z^3 + 1} $。该方法利用虚同态和裂开递归关系分析曲线的原像，并将结果应用于求解 Hubbard 的 Twisted Rabbit 问题的类比问题，表明 $ f \cdot \beta^2 $ 与 $ f $ Thurston 等价，而 $ f \cdot \beta $ 与一个相关映射 $ g $ 等价。

ABSTRACT

For any Thurston map with exactly four postcritical points, we present an algorithm to compute the Weil-Petersson boundary values of the corresponding Thurston pullback map. This procedure is carried out for the Thurston map f(z)=3z^2/(2z^3+1) originally studied by Buff, et al. The dynamics of this boundary map are investigated and used to solve the analogue of Hubbard's Twisted Rabbit problem for f.

研究动机与目标

• 为任意恰好具有四个后临界点的 Thurston 映射开发一种通用算法，以计算其 Weil-Petersson 边界值的 Thurston 拉回映射。
• 通过利用虚同态和裂开递归关系，将已知可计算边界映射的类扩展至非近似欧几里得映射。
• 将该算法应用于特定有理函数 $ f(z) = \frac{3z^2}{2z^3 + 1} $，以分析其边界动力学并求解一个扭曲等价问题。
• 刻画边界拉回映射 $ \sigma_f $ 在 $ \overline{\mathbb{Q}} $ 上的动力学行为，特别关注不动点和周期点。
• 求解 $ f $ 的 Hubbard Twisted Rabbit 问题的类比问题，确定哪些 $ f $ 的扭曲版本与 $ f $ 本身或与一个相关映射 $ g $ Thurston 等价。

提出的方法

• 将 Thurston 映射 $ f $ 表示为有限细分规则，并在 $ \widehat{\mathbb{C}} \setminus P_f $ 的基本群上计算其关联的虚同态。
• 使用 Reidemeister-Schreier 算法计算虚同态的裂开递归关系，以编码对曲线原像的作用。
• 将 $ \widehat{\mathbb{C}} \setminus P_f $ 中本质简单闭曲线的同伦类映射到扩展有理数 $ \overline{\mathbb{Q}} $，以识别 Teichmüller 空间的边界。
• 通过追踪 $ f $ 下曲线的本质原像，并利用裂开递归关系计算拉回，定义边界拉回映射 $ \sigma_f: \overline{\mathbb{Q}} \to \overline{\mathbb{Q}} $。
• 通过计算 $ \overline{\mathbb{Q}} $ 中的轨道和周期点，特别是不动点和 2-周期点，分析 $ \sigma_f $ 的动力学。
• 利用 $ \sigma_f $ 及其扭曲变体的动力学行为来区分 Thurston 等价类，特别是针对 $ f \cdot h $（其中 $ h $ 属于有限个群元素）的情形。
• 利用 $ f $ 是三次多项式之拼接的事实，推断出存在一条赤道（具有度数 3 拉回的曲线），并利用此性质识别与 $ f $ 等价的映射。

实验结果

研究问题

• RQ1 对于一般具有四个后临界点的 Thurston 映射，其 Weil-Petersson 边界值的 Thurston 拉回映射具有怎样的结构？
• RQ2 如何系统地利用虚同态和裂开递归关系来计算 $ \overline{\mathbb{Q}} $ 上的边界拉回映射 $ \sigma_f $？
• RQ3 映射 $ f(z) = \frac{3z^2}{2z^3 + 1} $ 的哪些扭曲版本与 $ f $ Thurston 等价，哪些与一个相关映射 $ g $ 等价？
• RQ4 哪些 $ \sigma_f $ 的动力学特征（如不动点或周期点）可用于区分 Thurston 等价类？
• RQ5 是否存在赤道（其拉回度数为 3 的曲线）可被用于识别与 $ f $ 等价的映射？这与边界动力学有何关联？
• RQ6 对于具有四个后临界点的非近似欧几里得映射，边界拉回映射 $ \sigma_f $ 是否是良定义且可计算的？
• RQ7 边界映射 $ \sigma_f $ 是否以保持动力平面和模空间结构的方式运作，从而允许对扭曲版本进行分类？

主要发现

• 该算法成功计算了任意恰好具有四个后临界点的 Thurston 映射的 Weil-Petersson 边界值的 Thurston 拉回映射，其适用范围已超越近似欧几里得情形。
• 对于映射 $ f(z) = \frac{3z^2}{2z^3 + 1} $，其边界拉回映射 $ \sigma_f $ 具有一个有限全局吸引子，该吸引子在 $ \overline{\mathbb{Q}} $ 中恰好包含三个点。
• 映射 $ f \cdot \beta^2 $ 被证明与 $ f $ Thurston 等价，因为 $ \sigma_{f \cdot \beta^2} $ 在 $ \frac{1}{1} $ 处具有不动点，该点对应于在度数 3 拉回下的赤道。
• 映射 $ f \cdot \beta $ 与一个相关映射 $ g $ 等价，因为 $ \sigma_{f \cdot \beta} $ 包含一个涉及 $ \frac{0}{1}, \frac{1}{0}, -\frac{1}{1}, \frac{1}{1} $ 的 2-周期，表明其具有不同的动力学结构。
• 映射 $ f \cdot \alpha^{-1} $ 和 $ f \cdot \alpha^2\beta^{-1} $ 在其边界拉回动力学中各自具有两个不同的 2-周期，从而将其与 $ f $ 和 $ g $ 区分开来。
• 尽管在第 5 层的置换群阶数极高（约 $ 10^{80} $），但 $ \sigma_f $ 在 $ \overline{\mathbb{Q}} $ 上的动力学行为提供了一个比群阶更高效的不变量，可用于区分 Thurston 等价类。