[论文解读] Dynamics of Rational Surface Automorphisms: Linear Fractional Recurrences

Eric Bedford, Kyounghee Kim|arXiv (Cornell University)|Nov 9, 2006

Mathematical Dynamics and Fractals被引用 9

一句话总结

本文研究了由线性分式递推关系 $ f_{a,b}:(x,y) \mapsto \left(y, \frac{y+a}{x+b}\right) $ 定义的有理曲面自同构，表明对于某些参数值 $ (a,b) \in \mathcal{V}_n $，这些映射在 $ \mathbb{P}^2 $ 的 $ n+3 $ 个点的爆破上诱导出具有正熵的自同构。主要贡献在于构造了具有正熵但无不变曲线的自同构，从而推翻了 Gizatullin、Harbourne 和 McMullen 的一个猜想。

ABSTRACT

We consider the family $f_{a,b}(x,y)=(y,(y+a)/(x+b))$ of birational maps of the plane and the parameter values $(a,b)$ for which $f_{a,b}$ gives an automorphism of a rational surface. In particular, we find values for which $f_{a,b}$ is an automorphism of positive entropy but no invariant curve. The Main Theorem: If $f_{a,b}$ is an automorphism with an invariant curve and positive entropy, then either (1) $(a,b)$ is real, and the restriction of $f$ to the real points has maximal entropy, or (2) $f_{a,b}$ has a rotation (Siegel) domain.

研究动机与目标

• 研究由线性分式递推 $ f_{a,b} $ 产生的有理曲面自同构的动力学，特别关注不变曲线的存在性。
• 解决 Gizatullin、Harbourne 和 McMullen 关于正熵自同构必须具有不变曲线的必要性的猜想。
• 分析这些自同构中旋转域和实动力学的作用，特别是在存在不变曲线时的情形。
• 建立自同构在 Picard 群上作用的特征多项式与 Coxeter 群理论之间的联系。
• 刻画使得 $ f_{a,b} $ 在具有正熵的有理曲面上诱导出自同构的参数值 $ (a,b) $。

提出的方法

• 通过递推关系 $ (x,y) \mapsto \left(y, \frac{y+a}{x+b}\right) $ 在 $ \mathbb{P}^2 $ 上定义映射族 $ f_{a,b} $，并研究其在 $ \mathbb{P}^2 $ 的 $ n+3 $ 个点的爆破上的双有理共轭性，从而成为自同构。
• 利用参数空间 $ \mathcal{V}_n \subset \mathbb{C}^2 $ 对 $ f_{a,b} $ 进行分类，基于点 $ q = (-a,0) $ 在 $ f_{a,b} $ 下轨道的周期性，判断其是否共轭于自同构。
• 计算 $ f_{a,b}^* $ 在 Picard 群 $ \text{Pic}(\mathcal{X}_{a,b}) $ 上的作用，证明其特征多项式为 $ \chi_n(x) = -1 + x^2 + x^3 - x^{1+n} - x^{2+n} + x^{4+n} $。
• 将 $ \chi_n(x) = C_n(x) \psi_n(x) $ 分解，其中 $ C_n $ 是分圆多项式的乘积，$ \psi_n $ 是主导特征值 $ \lambda_n > 1 $ 的极小多项式，从而得到熵为 $ \log \lambda_n $。
• 分析 $ f_{a,b} $ 的不动点和周期轨道，计算特征乘子，并识别共振条件，如 $ \eta_1^n \eta_2 = 1 $。
• 利用上同调上诱导映射的矩阵表示，通过子式和分块行列式展开计算特征多项式，尤其针对 $ n \geq 7 $ 的情形。

实验结果

研究问题

• RQ1 是否存在具有正熵但不具有不变代数曲线的有理曲面自同构？
• RQ2 当存在不变的三次曲线时，$ f_{a,b} $ 的动力学行为如何，特别是关于旋转域和实动力学？
• RQ3 线性化映射在周期点上的特征值如何与特征多项式 $ \chi_n(x) $ 的根相关联，会引发何种共振条件？
• RQ4 特征多项式 $ \chi_n(x) $ 与 Coxeter 群结构之间的确切联系是什么，特别是与 Weyl 群表示的关系？
• RQ5 在何种条件下，$ f $ 在实点 $ \mathcal{X}_R $ 上的实限制 $ f_R $ 保持复映射的全部熵？

主要发现

• 本文构造了具有正熵但无不变代数曲线的有理曲面自同构的显式例子，从而为 Gizatullin、Harbourne 和 McMullen 的猜想提供了反例。
• 当 $ n \geq 7 $ 时，特征多项式 $ \chi_n(x) $ 有唯一的实根 $ \lambda_n > 1 $，且 $ f_{a,b} $ 的拓扑熵为 $ \log \lambda_n > 0 $，当 $ \psi_n $ 不可约时，$ \lambda_n $ 为 Pisot 数。
• 特征多项式 $ \chi_n(x) $ 的分圆因子 $ C_n(x) $ 被显式计算，并证明其为分圆多项式的乘积，其分解形式在定理 3.3 和 3.5 中给出。
• 当存在不变的三次曲线时，参数 $ (a,b) $ 位于参数空间 $ \mathcal{V} $ 中的三条特定曲线 $ \Gamma_1, \Gamma_2, \Gamma_3 $ 之一上，且该曲线上不动点的乘子满足 $ \eta_1^n \eta_2 = 1 $。
• 对于实参数 $ a,b \in \mathbb{R} $，实限制 $ f_R $ 的熵与复映射相同，且最大熵测度在 $ \mathcal{X}_R $ 的零面积子集上支撑，如定理 6.1 所示。
• 映射 $ f_{a,b} $ 实现了某些 Weyl 群的 Coxeter 元素，定理 8.7 确认了这些映射几乎给出了由此表示产生的所有此类自同构。