[论文解读] A proof of the Andre-Oort conjecture for A_g

Jacob Tsimerman|arXiv (Cornell University)|Jun 4, 2015

Point processes and geometric inequalities参考文献 7被引用 15

一句话总结

本文通过使用平均化的Colmez猜想和Masser-Wüstholz同源定理，建立了CM点的伽罗华轨道的多项式下界，从而证明了主极化阿贝尔簇模空间 $Γ_g$ 上的André-Oort猜想。关键结果是：CM阿贝尔簇的模域次数至少以CM域的绝对判别式的正幂次增长。

ABSTRACT

We give a proof of the André-Oort conjecture for $\mathcal{A}_g$ - the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven `averaged' version of the Colmez conjecture yields lower bounds for Galois orbits of CM points. The André-Oort conjecture then follows from previous work of Pila and the author.

研究动机与目标

• 建立主极化阿贝尔簇模空间 $Γ_g$ 中CM点的伽罗华轨道的多项式下界。
• 证明CM阿贝尔簇的模域次数至少以CM域的绝对判别式的多项式形式增长。
• 通过结合这些下界与Pila的o-极小性策略及已有成果，完成André-Oort猜想在 $Γ_g$ 上的证明。
• 利用平均化的Colmez猜想来控制CM阿贝尔簇的Faltings高度。
• 证明CM点的伽罗华轨道大小足够大，从而可推出任何 $Γ_g$ 的代数子簇中极大特殊子簇的有限性。

提出的方法

• 使用最近由Andreatta-Goren-Howard-Madapusi Pera与Yuan-Zhang宣布的平均化Colmez猜想，推导出CM阿贝尔簇Faltings高度的次多项式上界。
• 应用Masser-Wüstholz定理，该定理以Faltings高度和模域的次数为参数，界定了同源阿贝尔簇之间的同源度。
• 将Faltings高度的上界与Masser-Wüstholz同源界结合，证明有界度数的同源数是多项式有界的。
• 推导出CM阿贝尔簇 $A$ 的模域次数 $[\mathbb{Q}(A) : \mathbb{Q}]$ 的下界，表明其至少以 $|\mathrm{Disc}(E)|^{\delta_g}$ 的形式增长，其中 $\delta_g > 0$。
• 利用结构 $\mathbb{R}_{\text{an,exp}}$ 的o-极小性与Pila-Wilkie定理，在统一化映射下 $V$ 的原像中提取出一个半代数集。
• 应用双曲Ax-Lindemann定理，推导出：若原像中存在此类半代数集，则 $V$ 中必存在一个特殊子簇，从而完成证明。

实验结果

研究问题

• RQ1 在不假设广义黎曼猜想的前提下，能否在 $\mathcal{A}_g$ 中建立CM点伽罗华轨道的多项式下界？
• RQ2 平均化的Colmez猜想是否足以以一种可支持算术应用的方式控制CM阿贝尔簇的Faltings高度？
• RQ3 Masser-Wüstholz同源定理与高度界结合，能否产生CM阿贝尔簇模域次数的有效下界？
• RQ4 o-极小性与Pila-Wilkie定理在André-Oort猜想背景下，能在多大程度上用于检测特殊子簇？
• RQ5 能否仅使用分析与模型论工具，而不依赖分析数论假设，证明 $\mathcal{A}_g$ 上的André-Oort猜想？

主要发现

• 本文证明：对任意度数为 $g$ 的CM域 $E$，具有全自同态环 $\mathcal{O}_E$ 的CM阿贝尔簇的模域次数至少以 $|\mathrm{Disc}(E)|^{\delta_g}$ 的形式增长，其中 $\delta_g > 0$，且该结果与CM类型无关。
• 平均化Colmez猜想表明，CM阿贝尔簇的Faltings高度在 $|\mathrm{Disc}(E)|$ 上的增长为次多项式，这足以支撑主要论证。
• 利用Masser-Wüstholz同源定理，证明了CM阿贝尔簇之间有界度数的同源数是多项式有界的，从而迫使伽罗华轨道以多项式形式增长。
• 若在统一化映射下 $V \subset \mathcal{A}_g$ 的原像中存在半代数集，则由双曲Ax-Lindemann定理可推出 $V$ 中存在一个特殊子簇。
• 通过结合上述界与Pila策略，无条件地证明了 $\mathcal{A}_g$ 上的André-Oort猜想，无需假设广义黎曼猜想。
• 该结果在相同假设下可推广至其纯部分为 $\mathcal{A}_g$ 中一个Shimura子簇的混合Shimura簇。