[论文解读] Galois orbits and equidistribution: towards the Andre-Oort conjecture

Emmanuel Ullmo, Andrei Yafaev|arXiv (Cornell University)|Sep 5, 2012

Algebraic Geometry and Number Theory参考文献 7被引用 6

一句话总结

本文提出了一种结合伽罗瓦理论与等分布技术的策略，以逼近安德烈-奥尔特猜想。在广义黎曼猜想（GRH）假设下，该文建立了非强特殊特殊子簇的伽罗瓦轨道度数的下界，并证明了具有有界伽罗瓦轨道度数的此类子簇序列的等分布性，为GRH设定下该猜想的完整证明提供了关键步骤。

ABSTRACT

In this paper we develop a strategy and some technical tools for proving the Andre-Oort conjecture. We give lower bounds for the degrees of Galois orbits of geometric components of special subvarieties of Shimura varieties, assuming the Generalised Riemann Hypothesis. We proceed to show that sequences of special subvarieties whose Galois orbits have bounded degrees are equidistributed in a suitable sense.

研究动机与目标

• 开发一种统一策略，结合伽罗瓦理论与等分布方法，以证明安德烈-奥尔特猜想。
• 在希米拉簇中，对非强特殊特殊子簇的伽罗瓦轨道度数建立下界，尤其关注其非半单群的情形。
• 在广义黎曼猜想下，证明具有有界伽罗瓦轨道度数的特殊子簇序列的等分布性。
• 为后续在GRH下证明安德烈-奥尔特猜想提供基础工具，如Klingler与Yafaev（2014）所使用。
• 阐明特殊子簇序列中伽罗瓦轨道无界性与等分布性之间的二分法。

提出的方法

• 利用伽罗瓦理论技术，推导出特殊子簇伽罗瓦轨道度数的下界，尤其针对关联群非半单的情形。
• 应用广义黎曼猜想以控制特殊子簇伽罗瓦轨道的大小，特别是非环面情形。
• 运用遍历理论中的等分布结果，将Clozel与Ullmo的工作扩展至GRH下非强特殊的子簇。
• 通过根数据与全球与局部域上的共轭类，分析约化群及其中心化子的结构。
• 利用Gille与Moret-Bailly关于fppf-共轭的结果，将问题约化为有限多个环面与约化子群的共轭类。
• 利用希米拉簇的典范模型与互反映射，将伽罗瓦作用与几何子簇联系起来。

实验结果

研究问题

• RQ1 在何种条件下，希米拉簇中特殊子簇的伽罗瓦轨道度数无界？
• RQ2 是否可证明具有有界伽罗瓦轨道度数的特殊子簇序列在几何上有意义地等分布？
• RQ3 伽罗瓦理论与等分布方法在安德烈-奥尔特猜想背景下如何相互作用？
• RQ4 广义黎曼猜想在建立伽罗瓦轨道度数下界中起何种作用？
• RQ5 等分布结果在强特殊子簇之外的范围能在多大程度上被推广？

主要发现

• 在广义黎曼猜想下，希米拉簇中任意无限组特殊点的伽罗瓦轨道度数无界。
• 对于非强特殊特殊子簇，本文建立了其伽罗瓦轨道度数的非平凡下界。
• 具有有界伽罗瓦轨道度数的特殊子簇序列，被证明相对于一个极限特殊子簇及其关联概率测度是等分布的。
• 在额外技术假设下（超越强特殊情形），该等分布结果可无条件成立。
• 本文证明，任意特殊子簇序列要么伽罗瓦轨道度数无界，要么最终包含于某个固定的特殊子簇中，从而确立了关键的二分法。
• 通过利用全球与局部域上环子群的中心化子与共轭类结构，将问题约化为有限多个情形，从而实现一致估计。