[论文解读] On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Jason P. Bell, Dragos Ghioca+2 more|arXiv (Cornell University)|Oct 12, 2016

Algebraic Geometry and Number Theory参考文献 18被引用 9

一句话总结

该论文证明了在特征零代数闭域上，对非负 Kodaira 维数的极小三复形，Medvedev-Scanlon 猜想成立。通过利用 Beauville-Bogomolov 分解，并借助 nef 锥动力学与 $c_2$-收缩分析双有理自同构，作者证明了：任何不保持有理纤维丛的此类自同构必具有 Zariski 稠密轨道，从而在 $κ(X) \geq 0$ 的三复形情形下解决了该猜想。关键结果确认了：对于所有满足 $κ(X) > 0$ 的极小三复形，该猜想成立；在 $κ(X) = 0$ 情形下，若在极小模型程序的标准猜想下，则猜想亦成立。

ABSTRACT

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$. Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$. The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$. Our results are most complete in dimension $3$.

研究动机与目标

• 在 $\overline{\mathbb{Q}}$ 上建立极小三复形在非负 Kodaira 维数情形下的 Medvedev-Scanlon 猜想。
• 将猜想的有效性扩展至已知情形之外，特别是针对 $κ(X) > 0$ 和 $κ(X) = 0$ 的情形。
• 在极小模型程序的标准猜想下，将 $κ(X) = 0$ 的情形约化为 Calabi-Yau、超凯勒与阿贝尔簇的乘积。
• 通过 nef 锥与 $c_2$-收缩分析极小三复形上具有挠 canonical 簇的伪自同构的动力行为。

提出的方法

• 在 $\overline{\mathbb{Q}}$ 上应用 Beauville-Bogomolov 分解定理，将 $κ(X) = 0$ 的极小三复形分解为 Calabi-Yau、超凯勒与阿贝尔簇的乘积。
• 利用正 Kodaira 维数的代数簇上双有理自同构必保持有理纤维丛的性质，从而其轨道不可能稠密，因此该情形下 Medvedev-Scanlon 猜想自动成立。
• 分析 $ϕ^*$ 在 nef 锥 $\operatorname{Nef}(X)$ 上的作用，并利用 $c_2(X) \cdot D \leq M$ 定义的区域的紧致性，证明 $ϕ^*$ 固定一个 ample 类 $A$。
• 构造一个在 $ϕ^*$ 作用下至多相差 torsion 的非常 ample 线丛 $\mathcal{M}$，并通过线性等价性证明：经适当缩放后，有 $\u03D5^*\mathcal{M} \cong \mathcal{M}$。
• 利用 $c_2$-收缩 $\pi: X \to Y$ 将问题约化至低维情形，利用此类收缩的有限性及 $ϕ$ 在 $Y$ 上下降为 $\overline{\phi}$ 的性质。
• 应用 $p$-进弧引理及 $\mathbb{P}^1$ 上有理映射的结果，排除 $ϕ$ 在 $ϕ$ 固定三个点时存在非平凡纤维丛的情形，从而导出矛盾。

实验结果

研究问题

• RQ1 Medvedev-Scanlon 猜想对正 Kodaira 维数的极小三复形是否成立？
• RQ2 在标准猜想下，$κ(X) = 0$ 时，该猜想是否可约化为 Calabi-Yau、超凯勒与阿贝尔类型特殊簇的情形？
• RQ3 当一个伪自同构在具有挠 canonical 簇的极小三复形上不保持任何有理纤维丛时，其动力行为如何？
• RQ4 $c_2$-收缩与 nef 锥结构如何约束不变纤维丛或稠密轨道的存在性？
• RQ5 在什么条件下，$κ(X) = 0$ 的极小三复形上的双有理自同构可下降为低维代数簇上的自同构并具有稠密轨道？

主要发现

• 对于所有满足 $κ(X) > 0$ 的极小三复形，Medvedev-Scanlon 猜想自动成立，因为任何双有理自同构必保持一个有理纤维丛。
• 对于满足 $κ(X) = 0$ 且 canonical 簇为挠的极小三复形，若 $c_2(X)$ 在 nef 锥上严格正，则猜想成立，因为存在 $ϕ^*$-不变的 ample 类。
• 若存在非零的半正则除子 $D$ 满足 $c_2(X) \cdot D = 0$，则相应的 $c_2$-收缩 $\pi: X \to Y$ 可将问题约化至低维情形。
• 当 $\dim Y = 3$ 时，映射 $\pi$ 是双有理的；若 $ϕ$ 不保持任何纤维丛，则 $Y$ 必为有理的，与 $κ(X) = 0$ 矛盾，故此类纤维丛不可能存在。
• 当 $\dim Y = 2$ 时，由曲面情形的已有结果，猜想成立；当 $\dim Y = 1$ 时，若 $ϕ$ 在 $\mathbb{P}^1$ 上的下降映射 $\overline{\phi}$ 固定三个点，则其必为平凡映射，与无不动点矛盾。
• 因此，不存在非平凡的有理纤维丛被保持，且该猜想对所有满足 $κ(X) \geq 0$ 的极小三复形均成立。