[论文解读] Explicit Examples of rational and Calabi-Yau threefolds with primitive automorphisms of positive entropy

Keiji Oguiso, Tuyen Trung Truong|arXiv (Cornell University)|Jun 7, 2013

Algebraic Geometry and Number Theory参考文献 33被引用 15

一句话总结

本文首次给出了光滑有理三复数流形与卡拉比-丘三复数流形的显式例子，这些流形均 admits 了正熵的原始双正则自同构，其构造基于乘积型三环面的有限群商。关键创新在于证明了商流形的有理性，并利用动力度数确立了原始性，且第一个动力度数并非萨林数——从而解决了高维复动力系统中长期悬而未决的公开问题。

ABSTRACT

We present the first explicit examples of a rational threefold and a Calabi-Yau threefold, admitting biregular automorphisms of positive entropy not preserving any dominant rational maps to lower positive dimensional varieties. The most crucial part is the rationality of the quotient threefold of a 3-dimensional torus of product type.

研究动机与目标

• 构造具有正熵原始双正则自同构的有理与卡拉比-丘三复数流形的显式例子。
• 解决一个长期公开的问题：此类自同构是否可能存在于有理与卡拉比-丘三复数流形上，且不保持到低维流形的主导有理映射。
• 证明此类自同构的第一个动力度数不一定是萨林数。
• 基于第一与第二动力度数互异，提出一个判断原始性的数值准则。
• 确立由特定有限群作用于三环面所得商流形的有理性。

提出的方法

• 利用虚二次域 $\mathbb{Q}(\sqrt{-3})$ 中的整数环 $\mathbb{Z}[\omega]$ 构造一个三维复环面 $M = E_\omega \times E_\omega \times E_\omega$。
• 通过 $\mathrm{GL}(3, \mathbb{Z}[\omega])$ 定义有限群作用于 $M$，其中元素以保持复结构的整数矩阵表示。
• 构造商流形 $X = M/G$ 与 $Y = M/G'$，其中 $G$ 与 $G'$ 是 $\mathrm{GL}(3, \mathbb{Z}[\omega])$ 的有限子群，并通过奇点的解析解消证明其有理性。
• 利用格罗莫夫-约明定理，将拓扑熵计算为最大动力度数的对数。
• 应用一个数值准则（定理 4.1）：若 $\lambda_1(f) \neq \lambda_2(f)$，则 $f$ 为原始的，从而证明诱导自同构的原始性。
• 分析矩阵 $P_a$ 的特征多项式 $\Phi(x) = x^3 - 3a^2x + 1$，以证明 $\lambda_1(f) < \lambda_2(f)$，从而确保正熵及 $\lambda_1(f)$ 的非萨林数性质。

实验结果

研究问题

• RQ1 有理三复数流形是否可以拥有一个正熵的原始双正则自同构，且不保持到低维流形的任何主导有理映射？
• RQ2 卡拉比-丘三复数流形是否可以拥有此类自同构，若可以，能否显式构造？
• RQ3 此类自同构的第一个动力度数是否可能不是萨林数？
• RQ4 基于动力度数，何种条件可确保双正则自同构的原始性？
• RQ5 由 $\mathrm{GL}(3, \mathbb{Z}[\omega])$ 作用于三环面所得的商是否为有理流形？

主要发现

• 商流形 $X = M/G$ 是有理的，提供了首个光滑有理三复数流形具有正熵原始自同构的显式例子。
• 商流形 $Y = M/G'$ 是卡拉比-丘三复数流形，提供了首个卡拉比-丘三复数流形具有正熵原始自同构的显式例子。
• 在 $X$ 上的自同构 $f_X$ 满足 $\lambda_1(f_X) < \lambda_2(f_X)$，通过定理 4.1 确认其原始性。
• 第一个动力度数 $\lambda_1(f_X)$ 不是萨林数，因其来源于一个不可约三次多项式，具有三个实根，不满足萨林数的对称性。
• 自同构 $f_X$ 与 $f_Y$ 的拓扑熵为正，因为 $\lambda_1(f_X) > 1$，其中 $\lambda_1(f_X) = \alpha^2$ 且 $\lambda_2(f_X) = \alpha^2\gamma^2$，而 $\alpha < -a < 0 < \beta < 1 < a < \gamma$ 是多项式 $\Phi(x) = x^3 - 3a^2x + 1$ 的根。
• 诱导自同构 $f_X$ 与 $f_Y$ 均为双正则的、无限阶的，且不保持任何到低维流形的主导有理映射，从而确认其原始性。