[论文解读] The geometric Bogomolov conjecture

Serge Cantat, Ziyang Gao+2 more|arXiv (Cornell University)|Sep 4, 2018

Advanced Differential Equations and Dynamical Systems参考文献 21被引用 2

一句话总结

本文证明了特征零函数域上的几何 Bogomolov 猜想，表明对于阿贝尔簇上函数域的不可约子簇 X，若 X 不是扭陪集（即非特殊），则 X 中小点的集合不是 Zariski 稠密的。证明使用了 Betti 叶状结构，即与 Néron-Tate 高度相关联的典范 (1,1)-形式，以及单值群论证，以证明其在全纯性变换下的不变性，最终将问题约化为 K/k-迹平凡的阿贝尔簇，并应用动力系统与代数几何技术。

ABSTRACT

We prove the geometric Bogomolov conjecture over a function field of characteristic zero.

研究动机与目标

• 证明特征零下的几何 Bogomolov 猜想，该猜想指出：函数域上阿贝尔簇的非特殊子簇，其小点集合不是 Zariski 稠密的。
• 建立小点集合在子簇中 Zariski 稠密的精确判别准则，将其与子簇的几何结构联系起来。
• 将此前在曲线和低维情形下的结果推广至任意子簇的一般情形。
• 统一并强化先前基于 Betti 叶状结构与典范高度理论的方法，尤其在单值群与全纯性变换不变性的背景下。
• 解决 Yamaki 与 Gubler 长期以来的猜想，建立在 Ullmo、Zhang 等人的奠基性工作之上。

提出的方法

• 在阿贝尔簇族的通用纤维上引入 Betti 叶状结构，通过局部 Betti 映射与单值群定义，以捕捉扭点及其全纯性变换的结构。
• 在阿贝尔簇族的光滑部分上构造一个典范的半正定 (1,1)-形式 ω，该形式沿 Betti 叶状结构的叶消失，且与 Néron-Tate 高度相关联。
• 利用 Gubler 不等式证明：若小点在 X 中 Zariski 稠密，则 X 的典范高度为零，这意味着如下积分恒为零：∫_{X^o} ω^{dim X + 1} ∧ (π^* ν)^{m-1} = 0。
• 证明该零化条件迫使子簇 X 关于 Betti 叶状结构不变，即叶状结构的切空间在光滑点处包含于 X 的切空间中。
• 应用 Muchnik 的动力学结果（独立于 Pila-Zannier），证明：若子簇在某根纤维上关于单值群作用不变，则其必为阿贝尔子簇的扭陪集。
• 通过基变换将一般情形约化为 K/k-迹平凡的情形，将阿贝尔簇分解为迹部分与非迹部分，再利用不变性与扭陪集结构，最终得出 X 为特殊子簇的结论。

实验结果

研究问题

• RQ1 在函数域上阿贝尔簇的子簇 X 中，小点集合何时是 Zariski 稠密的？
• RQ2 几何 Bogomolov 猜想是否可在特征零函数域上完全证明？
• RQ3 Betti 叶状结构及其单值群作用如何与典范高度及小点的 Zariski 稠密性相关联？
• RQ4 Zariski 稠密性对小点集合施加了哪些结构约束于子簇 X？
• RQ5 纤维上单值群作用在多大程度上迫使子簇成为扭陪集？

主要发现

• 几何 Bogomolov 猜想在特征零下成立：若 X 不是特殊子簇，则存在某个 ε > 0，使得 X_ε 在 X 中不是 Zariski 稠密的。
• X 的典范高度为零，当且仅当 (1,1)-形式 ω 在 X^o 上的积分为零，这等价于 X 关于 Betti 叶状结构的不变性。
• 子簇 X 关于 Betti 叶状结构不变，当且仅当 X 中小点集合是 Zariski 稠密的。
• 对每个纤维 Ab，交 Xb 关于单值群作用不变，因此是 Ab 的某个阿贝尔子簇的扭陪集。
• 在 K/k-迹平凡的情形下，X 是阿贝尔簇的扭陪集；在一般情形下，X 是迹部分与非迹部分乘积的扭陪集。
• 证明表明，X 在阿贝尔簇族中的 Zariski 闭包为扭陪集，从而确认了 X 在猜想意义下为特殊子簇。