[论文解读] The Dynamical Andre-Oort Conjecture for cubic polynomials

Dragos Ghioca, Hexi Ye|arXiv (Cornell University)|Mar 16, 2016

Advanced Combinatorial Mathematics参考文献 23被引用 4

一句话总结

本文证明了立方多项式模空间中动力学 André-Oort 猜想的第一个非平凡情形，表明包含 Zariski 稠密的后临界有限（PCF）参数的不可约子簇，恰好是通过临界轨道关系定义的那些。证明结合了动力系统高度论、函数域上的多项式动力系统以及非典型相交理论，确立了此类子簇由两个临界点轨道之间的关系所截取。

ABSTRACT

In the moduli space of degree d polynomials, the special subvarieties are those cut out by critical orbit relations, and then the special points are the post-critically finite polynomials. It was conjectured that in the moduli space of degree d polynomials, the subvarieties containing a Zariski-dense set of special points are exactly these special subvarieties. In this article, we prove the first non-trivial case for this conjecture: the case of cubic polynomials.

研究动机与目标

• 解决立方多项式模空间中动力学 André-Oort 猜想的第一个非平凡情形。
• 确立包含 Zariski 稠密的后临界有限（PCF）参数的不可约子簇，恰好是通过临界轨道关系定义的那些。
• 证明一个 Bogomolov 型陈述，表明无穷多个小临界高度点意味着相同的几何结构。
• 将非典型相交的框架扩展至立方多项式模空间中的任意曲线，消除了此前对参数曲线的限制。

提出的方法

• 使用临界高度不变量 $ \hat{h}_{\mathrm{crit}}(f) = \sum_{i=1}^{d-1} \hat{h}_f(c_i) $ 将 PCF 映射表征为临界高度为零的那些映射。
• 应用函数域版本的 Bogomolov 猜想，表明无穷多个小高度点意味着存在临界轨道关系。
• 在函数域 $ K(C) $ 上运用多项式动力系统，其中 $ C $ 是参数曲线，以分析两个临界点 $ \pm a $ 的轨道。
• 构造多项式 $ P_{\pm}(z) \in K(C)[z] $，使得对充分大的 $ n $ 有 $ P_+(c_n^+) = P_-(c_n^-) $，从而暗示轨道之间存在函数关系。
• 利用复数域上可交换多项式必须是同一映射的迭代这一事实，结合 [MS14] 和 [SS95] 的结果，推导出 $ g = f^r $ 对某个 $ r $ 成立。
• 通过分析 Julia 集的对称性，排除非平凡可交换映射的存在，除非其源于轨道关系，最终得出 $ f^n(a) = f^m(-a) $ 在 $ C $ 上恒成立。

实验结果

研究问题

• RQ1 在立方多项式模空间中，不可约曲线在何种条件下包含后临界有限参数的 Zariski 稠密集？
• RQ2 动力学 André-Oort 猜想是否可在不将参数曲线限制为 $ \mathbb{P}^1 $ 或要求退化性的情况下，对立方多项式成立？
• RQ3 在动力系统非典型相交的语境下，是否存在关于临界高度的 Bogomolov 型陈述？
• RQ4 当立方多项式的两个临界点具有动力相关的轨道时，何时会导出参数空间上的函数方程？
• RQ5 在 $ \mathrm{MP}_3 $ 中，包含无穷多个 PCF 参数的子簇的精确几何结构是什么？

主要发现

• 动力学 André-Oort 猜想在立方多项式模空间中成立：任何包含 Zariski 稠密的 PCF 参数的不可约子簇，均由临界轨道关系所截取。
• 若曲线 $ C \subset \mathrm{MP}_3 $ 上有无穷多个 PCF 点，则 $ C $ 必须定义在 $ \overline{\mathbb{Q}} $ 上，且临界高度在 $ C $ 上恒为零。
• 若曲线 $ C $ 上有无穷多个小临界高度点，则 $ C $ 必须包含于由临界轨道关系定义的子簇中。
• 若 $ C $ 上有无穷多个 PCF 点，则要么其中一个临界点 $ \pm a $ 在 $ C $ 上恒为预周期，要么存在 $ n, m \geq 0 $ 使得 $ f^n(a) = f^m(-a) $ 在 $ C $ 上恒成立。
• 函数关系 $ P_+(c_n^+) = P_-(c_n^-) $ 对充分大的 $ n $ 成立，将导出一个与 $ f^\ell $ 可交换的多项式 $ g $，而该 $ g $ 必须是 $ f $ 的迭代，从而强制产生临界轨道关系。
• 即使 $ C $ 是任意曲线（而不仅是 $ \mathbb{P}^1 $），结论依然成立，从而解决了动力系统非典型相交中一个关键的开放问题。