[论文解读] On generalized Lattès maps

Fedor Pakovich|arXiv (Cornell University)|Dec 5, 2016

Advanced Topics in Algebra参考文献 14被引用 9

一句话总结

本文将广义 Lattès 映射定义为在黎曼球面上作为轨道丛之间最小全纯映射的有理函数，将经典的 Lattès 映射从亏格一动力系统推广至更广范畴。文中建立了三种等价刻画——通过带黎曼曲面的交换图、有限群作用以及轨道丛动力系统——并分类了多项式广义 Lattès 映射为 $ z^r R^n(z) $ 或 $ \pm T_m $ 的共轭形式，其中 $ \gcd(r,n) = 1 $ 或 $ \gcd(m,n) = 1 $。

ABSTRACT

We introduce a class of rational functions $A:\,\mathbb C\mathbb P^1 ightarrow \mathbb C\mathbb P^1$ which can be considered as a natural extension of the class of Lattès maps and establish basic properties of functions from this class.

研究动机与目标

• 将 Lattès 映射的类推广至非亏格一黎曼曲面，涵盖具有轨道丛动力系统的有理函数。
• 将经典 Lattès 映射与近期在球面黎曼曲面假设下研究的有理函数统一于同一框架。
• 通过交换图、有限群作用与轨道丛覆盖性质，提供广义 Lattès 映射的三种等价刻画。
• 以单项式与切比雪夫型形式对多项式广义 Lattès 映射进行分类。
• 证明：具有正欧拉特征数的轨道丛之间最小全纯映射所构成的类，广于经典覆盖映射。

提出的方法

• 将广义 Lattès 映射定义为有理函数 $ A: \mathbb{C}\mathbb{P}^1 \to \mathbb{C}\mathbb{P}^1 $，使其为轨道丛 $ \mathcal{O} \to \mathcal{O} $ 之间的最小全纯映射，其中 $ \mathcal{O} $ 不是无分支的球面。
• 利用轨道丛的符号与欧拉特征数对可能的分支类型进行分类，包括 $ \{n,n\} $、$ \{2,2,n\} $、$ \{2,3,3\} $、$ \{2,3,4\} $ 和 $ \{2,3,5\} $，对应非负欧拉特征数。
• 建立三种刻画的等价性：(1) 存在与亏格零或亏格一黎曼曲面的交换图，(2) 具有自同构 $ \varphi $ 的有限群作用，(3) 轨道丛之间的最小全纯映射。
• 应用 Riemann-Hurwitz 公式与纤维不变性，分析 $ \pi^{-1}(\infty) $ 与 $ B $-不变集的结构。
• 利用共轭与 Möbius 变换将 $ \theta_\mathcal{O} $ 归一化为 $ z^n $ 或 $ \frac{1}{2}(z^n + z^{-n}) $ 等标准形式。
• 证明多项式广义 Lattès 映射共轭于 $ z^r R^n(z) $ 且满足 $ \gcd(r,n) = 1 $，或共轭于 $ \pm T_m $，利用纤维单射性与群作用约束。

实验结果

研究问题

• RQ1 在不依赖亏格一动力系统的情况下，Lattès 映射的自然推广是什么，且能保持关键动力学性质？
• RQ2 广义 Lattès 映射如何通过交换图、群作用与轨道丛映射实现等价刻画？
• RQ3 在 $ \mathbb{C}\mathbb{P}^1 $ 上，最小全纯自映射的轨道丛符号与欧拉特征数可能有哪些？
• RQ4 哪些多项式有理函数可作为轨道丛之间的最小全纯映射？其分类为何？
• RQ5 轨道丛的对称性与群作用如何约束广义 Lattès 映射的函数形式？

主要发现

• 广义 Lattès 映射是有理函数 $ A $，使得 $ A: \mathcal{O} \to \mathcal{O} $ 是轨道丛之间的最小全纯映射，且 $ \mathcal{O} $ 不是无分支球面。
• 此类映射的轨道丛符号包括 $ \{n,n\} $、$ \{2,2,n\} $、$ \{2,3,3\} $、$ \{2,3,4\} $ 与 $ \{2,3,5\} $，对应非负欧拉特征数。
• 建立了广义 Lattès 映射的三种等价刻画：(1) 与亏格零或亏格一曲面的交换图，(2) 具有自同构 $ \varphi $ 的有限群作用，(3) 轨道丛之间的最小全纯映射。
• 多项式广义 Lattès 映射共轭于 $ z^r R^n(z) $ 且满足 $ \gcd(r,n) = 1 $，或共轭于 $ \pm T_m $，其中 $ T_m $ 为切比雪夫多项式。
• 分类依赖于纤维不变性，且在群作用下 $ F $-不变集至多含两点，从而实现 $ \theta_\mathcal{O} $ 的标准形式归一化。
• 证明函数 $ L_4(a,z) $ 满足最小全纯映射条件当 $ L_4(z) = 1 $ 时，且在 $ \mu = 1/z $ 下的对称性表明 $ L_1 $、$ L_2 $ 与 $ L_4 $ 之间存在共轭关系。