[论文解读] Towards the André-Oort conjecture for mixed Shimura varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points

Ziyang Gao|arXiv (Cornell University)|Oct 4, 2013

Algebraic Geometry and Number Theory参考文献 25被引用 8

一句话总结

本文建立了所有混合希格勒流形上的Ax-Lindemann-Weierstrauss定理，并证明了特殊点伽罗瓦轨道的下界，从而在纯部为$\mathcal{A}_6^n$的混合希格勒流形上无条件证明了广义André-Oort猜想，且在GRH下对所有阿贝尔型混合希格勒流形也成立。

ABSTRACT

We prove in this paper the Ax-Lindemann-Weierstrass theorem for all mixed Shimura varieties and discuss the lower bounds for Galois orbits of special points of mixed Shimura varieties. In particular we reprove a result of Silverberg in a different approach. Then combining these results we prove the André-Oort conjecture for any mixed Shimura variety whose pure part is a subvariety of A_6^n.

研究动机与目标

• 将Ax-Lindemann-Weierstrauss定理推广至所有混合希格勒流形，推广纯希格勒流形的结果。
• 为混合希格勒流形中特殊点的伽罗瓦轨道建立有效下界，这对证明André-Oort猜想至关重要。
• 通过基于Hodge理论与群作用的新方法，重新证明Silverberg关于CM点伽罗瓦轨道的结果。
• 在纯部为$\mathcal{A}_6^n$的混合希格勒流形上无条件证明广义André-Oort猜想，且在阿贝尔型混合希格勒流形上基于GRH证明该猜想。
• 通过代数与算术几何技术，统一研究混合希格勒流形中特殊子簇与特殊点。

提出的方法

• 利用混合$\mathbb{Z}$-Hodge结构的变形理论分析混合希格勒流形的几何性质。
• 在统一空间与弱特殊子簇的背景下应用Ax-Lindemann-Weierstrauss定理。
• 运用Pila-Wilkie计数定理与o-极小性，控制半代数集中有理点的数量。
• 分析复统一空间中稳定子群$\operatorname{Stab}_V(\widetilde{Z})$与$\operatorname{Stab}_U(\widetilde{Z})$，证明$\widetilde{Z}$是复子空间的平移。
• 通过在代数曲线上对微分形式$\omega|_T$进行积分，推导出$\Gamma_U$中群元素$\gamma_U$的下界。
• 应用Borel–Harish-Chandra定理与算术群的结构，控制$H(\gamma)$的增长以及基本域中$\gamma$-平移的数量。

实验结果

研究问题

• RQ1 Ax-Lindemann-Weierstrauss定理是否对所有混合希格勒流形（而不仅是纯的）成立？
• RQ2 混合希格勒流形中特殊点的伽罗瓦轨道大小的有效下界是什么？
• RQ3 能否在无条件假设下证明纯部为$\mathcal{A}_6^n$的混合希格勒流形的André-Oort猜想？
• RQ4 在何种条件下可对阿贝尔型混合希格勒流形建立André-Oort猜想？
• RQ5 稳定子群$\operatorname{Stab}_V(\widetilde{Z})$与$\operatorname{Stab}_U(\widetilde{Z})$如何控制弱特殊子簇的结构？

主要发现

• 证明了所有混合希格勒流形上的Ax-Lindemann-Weierstrauss定理，即：若统一空间的代数子簇包含一个在Zariski拓扑下稠密的特殊点集，则该子簇必为弱特殊子簇。
• 论文建立了下界$\#\Theta(\widetilde{Z}, M) \gg M$，表示满足$H(\gamma_U) \leq M$且$\gamma_U \widetilde{Z} \cap \mathcal{F}_U \neq \emptyset$的群元素$\gamma_U$的数量，这对伽罗瓦轨道估计至关重要。
• 在纯部为$\mathcal{A}_6^n$的子簇的混合希格勒流形上，广义André-Oort猜想被无条件证明，扩展了先前结果至更高维情形。
• 在广义黎曼猜想（GRH）下，利用Ax-Lindemann结果与伽罗瓦轨道下界，证明了所有阿贝尔型混合希格勒流形的André-Oort猜想。
• 在基于Hodge理论与群论稳定子的新框架下，重新证明了Silverberg关于CM点伽罗瓦轨道的结果。
• 证明：若$\widetilde{Z}$是统一空间中具有Zariski稠密特殊点集的最大代数子簇，则$\widetilde{Z}$是复子空间$\operatorname{Stab}_V(\widetilde{Z})(\mathbb{R})$的平移，因此为弱特殊子簇。