[论文解读] A conjecture of Yves Andre

Andrei Yafaev|ArXiv.org|Feb 11, 2003

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

一句话总结

该论文在CM域的广义黎曼猜想（GRH）假设下，证明了Yves André（1989年）的猜想：若一个在Shimura簇中的不可约代数曲线包含无穷多个特殊点，则该曲线必为Hodge型。证明利用了在GRH下对特殊点的Galois轨道的精细下界估计，以及有效Chebotarev密度定理，表明此类曲线在某些Hecke对应下保持不变，从而通过先前的刻画方法推导出其为Hodge型。

ABSTRACT

In this paper we prove, assuming the Generalised Riemann Hypothesis, a conjecture of Yves Andre that that asserts that a curve in a Shimura variety containing an infinite set of special points is of Hodge type.

研究动机与目标

• 在CM域的广义黎曼猜想（GRH）假设下，证明Yves André于1989年提出的猜想：若一个Shimura曲线包含无穷多个特殊点，则其为Hodge型。
• 在GRH下建立Shimura簇中特殊点Galois轨道的有效的下界估计，改进先前结果。
• 通过将Hodge结构的同构条件从通过固定表示实现，弱化为Q-环上的Mumford-Tate群同构，推广[3]的主要结果。
• 通过Hecke对应关系技术，证明包含无穷多个Mumford-Tate群同构的特殊点的曲线必为Hodge型。

提出的方法

• 在GRH下应用有效Chebotarev密度定理，控制Shimura簇中特殊点Galois轨道的大小。
• 应用基于分裂域判别式和模素数的非环面约化所导出的Galois轨道精细下界。
• 通过标准约化技术，将问题约化为G为伴随型半单群且曲线C为Hodge一般的情形。
• 构造一个Hecke对应T_g，使得交集C ∩ T_gC包含某个特殊点的完整Galois轨道。
• 证明若Galois轨道过大而无法为有限集，则C必被T_g保持不变，从而通过[3]中的刻画方法推出C为Hodge型。
• 利用互反映射和Mumford-Tate群结构，控制特殊点的表示论数据。

实验结果

研究问题

• RQ1 在何种条件下，一个在Shimura簇中的代数曲线若包含无穷多个特殊点，则其为Hodge型？
• RQ2 能否在GRH下建立特殊点Galois轨道的有效下界，以证明曲线情形下的André-Oort猜想？
• RQ3 Mumford-Tate群同构类在判断曲线是否为Hodge型中起何种作用？
• RQ4 如何利用Hecke对应关系检测Shimura簇中的Hodge型子簇？
• RQ5 GRH在多大程度上可控制Mumford-Tate群模素数的分裂行为？

主要发现

• 该论文证明了在GRH下，任意一个在Shimura簇中包含无穷多个特殊点的不可约代数曲线必为Hodge型。
• 建立了特殊点Galois轨道大小的下界：|Gal(𝑄̄/F)·s| > c₁ log(d_Ls)^5k c₂^i(s) i(s)!，其中i(s)表示满足MT(V_s)𝔽_p非环面的素数p的个数。
• 证明表明，当Galois轨道足够大时，交集C ∩ T_gC不可能为有限集，从而迫使C被某个Hecke对应T_g保持不变。
• 通过应用[3]中的定理7.1，该曲线被证明为Hodge型，该定理通过Hecke对应关系不变性刻画了Hodge型子簇。
• 该结果通过将Hodge结构同构条件弱化为Q-环上的Mumford-Tate群同构，推广了[3]中的主要定理。
• 该论文通过在GRH下给出Galois轨道的有效下界，为Edixhoven的公开问题14提供了部分解答。