[论文解读] Dynamics of (Pseudo) Automorphisms of 3-space: Periodicity versus positive entropy

Eric Bedford, Kyounghee Kim|arXiv (Cornell University)|Jan 8, 2011

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

一句话总结

本文研究了形如 $ f_{\alpha,\beta}:(x_1,x_2,x_3) \mapsto (x_2,x_3, \frac{\alpha_0 + \alpha_1x_1 + \alpha_2x_2 + \alpha_3x_3}{\beta_0 + \beta_1x_1 + \beta_2x_2 + \beta_3x_3}) $ 的三维空间上的有理映射，通过上同调作用和修改方法研究其动力学，以实现伪自同构。本文首次构造出在 $\mathbb{P}^3$ 的爆破上具有正熵的伪自同构的例子，表明即使动力度数相等且上同调可逆，此类映射也不与自同构有有理共轭关系。

ABSTRACT

We study the iterative behavior of the family of 3-step linear fractional recurrences and the family of birational maps they define. We determine all the possible periodicities within this family or, equivalently, the birational maps of finite order. This family also contains pseudo-automorphisms of infinite order. One such family consists of completely integrable maps, and another family consists of maps of positive entropy. Both of these families have invariant families of $K3$ surfaces.

研究动机与目标

• 分析三维空间上有理映射的动力学，特别关注周期性与正熵之间的关系。
• 在 $\mathbb{P}^3$ 的爆破上显式构造具有正熵的伪自同构的例子。
• 确定此类映射在何种条件下与自同构有有理共轭关系，尤其与曲面动力学形成对比。
• 研究不变 $K3$ 曲面及其在映射下的动力学，包括熵与共轭性质。
• 探究上同调准则（如 Salem 数）在三维情形下无法检测到与自同构的有理共轭关系的原因。

提出的方法

• 使用特定 $ \alpha, \beta $ 的有理映射 $ f_{\alpha,\beta} $ 构造具有受控动力学的示例。
• 应用爆破 $ \pi: Z \to \mathbb{P}^3 $ 来解析奇点，从而获得伪自同构 $ f_Z $。
• 计算动力度数 $ \delta_1(f) = \delta_2(f) \approx 1.28064 $，其为方程 $ t^8 - t^5 - t^4 - t^3 + 1 $ 的最大根。
• 构造在 $ f^3 $ 下不变的 $ K3 $ 曲面 $ S_c $ 的 1 参数族与 2 参数族，且 $ f|_{S_c} $ 为自同构。
• 使用 $ H^{1,1}(Z) $ 与 $ H^{2,2}(Z) $ 上的上同调拉回 $ f^* $，并识别不变当前 $ T^+, T^-, T^+ \wedge T^- $。
• 分析 Picard 群作用及 $ f_Z^* $ 在 $ \text{Pic}(Z) $ 上的特征多项式，以确定度数增长并证明与自同构的非共轭性。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^3$ 的爆破上，是否存在具有正熵的伪自同构？
• RQ2 在何种条件下，三维空间上的有理映射即使具有相等的动力度数，也不与自同构有有理共轭关系？
• RQ3 此类映射的动力学中，不变 $K3$ 曲面如何出现，其在熵与共轭性中起什么作用？
• RQ4 在二维情形下用于判断与自同构有理共轭关系的准则（有界或二次度数增长，或 Salem 动力学度数）是否可推广至三维？
• RQ5 上同调对偶性与代数稳定性在分类三维流形有理映射动力学中起什么作用？

主要发现

• 首次构造出在 $\mathbb{P}^3$ 的爆破上具有正熵的伪自同构的已知例子，其中 $ \delta_1(f) = \delta_2(f) \approx 1.28064 $，为方程 $ t^8 - t^5 - t^4 - t^3 + 1 $ 的最大根。
• 对于定理 1 中的映射，存在一个 1 参数族的不变 $ K3 $ 曲面 $ S_c $，且 $ f^3|_{S_c} $ 为自同构；对一般 $ c $，这些曲面为全纯非等价，且其自同构不光滑共轭。
• 映射 $ f|_{S_0} $ 的熵为正，且等于 $ \log(\delta_1(f)) $，这是目前已知的具有正熵的射影 $ K3 $ 曲面自同构中熵最小的例子。
• 定理 1 与定理 3 中的映射具有二次度数增长，且即使满足上同调对偶性 $ f_Z^* \sim (f_Z^{-1})^* $，也不与自同构有有理共轭关系。
• 对于 $ a \neq 1 $ 的映射，其动力度数不是 Salem 数，且度数增长既非有界也非二次，因此不与自同构有有理共轭关系，表明二维准则在三维情形不成立。
• 映射在由有理曲面构成的不变 8-循环 $ \mathcal{R} $ 上的限制不与曲面自同构有有理共轭关系，从而在几何上有意义的子集上确认了非共轭性。