[论文解读] Special points on the product of two modular curves

Bas Edixhoven|ArXiv.org|Oct 11, 1996

Analytic Number Theory Research参考文献 4被引用 4

一句话总结

该论文在虚二次域广义黎曼猜想的假设下，证明了在两个模曲线乘积中的不可约曲线，若包含无穷多个复乘法（CM）点，则必为Hecke对应关系或投影映射的纤维。这一结果为Oort关于CM点的Zariski闭包在Shimura流形中为子-Shimura流形的猜想提供了有力证据。

ABSTRACT

We prove, assuming the Generalized Riemann Hypothesis for imaginary quadratic fields, that irreducible curves in the product of two modular curves that contain infinitely many complex multiplication points are either a Hecke correspondence or a fibre for one of the two projections. This gives evidence for a conjecture of Oort that says that irreducible components of the Zariski closure of a set of CM points in a Shimura variety are sub Shimura varieties.

研究动机与目标

• 研究在两个模曲线乘积中包含无穷多个复乘法（CM）点的不可约曲线的结构。
• 检验并为Oort猜想提供证据，该猜想认为Shimura流形中CM点的Zariski闭包本身即为子-Shimura流形。
• 在数论假设下，确定此类曲线的精确几何性质。
• 基于CM点的分布，对两个模曲线乘积中的特殊子簇进行分类。

提出的方法

• 分析依赖于虚二次域的广义黎曼猜想（GRH），以控制曲线上CM点的分布与密度。
• 证明使用了算术几何技术，特别是Hecke对应关系理论与模曲线的几何性质。
• 应用了复乘法理论及Hecke算子在模曲线上的作用的相关结果。
• 论证采用反证法：假设一条曲线包含无穷多个CM点，但既非Hecke对应关系也非投影的纤维，再利用GRH导出矛盾。
• 分类基于CM点的Zariski闭包及其在到因子的投影下的行为。
• 论文使用模形式理论与伽罗华表示技术，分析曲线上点的算术性质。

实验结果

研究问题

• RQ1 在两个模曲线乘积中，哪些几何类型的曲线可包含无穷多个CM点？
• RQ2 在何种条件下，此类曲线既非Hecke对应关系也非投影的纤维？
• RQ3 广义黎曼猜想如何限制模曲线乘积中曲线上CM点的分布？
• RQ4 此类乘积中CM点的Zariski闭包在多大程度上反映了Oort猜想所预测的子-Shimura结构？
• RQ5 能否将模曲线乘积中特殊子簇的分类简化为Hecke对应关系与纤维？

主要发现

• 在虚二次域广义黎曼猜想的假设下，任何在两个模曲线乘积中包含无穷多个CM点的不可约曲线，必为Hecke对应关系或两个投影之一的纤维。
• 该结果为Oort猜想关于Shimura流形中CM点Zariski闭包的子-Shimura性质提供了强有力的条件性证据。
• 在GRH假设下，该分类是完备的，表明不存在其他类型的曲线可包含无穷多个CM点。
• 证明确立了严格的二分法：在此设定下，仅Hecke对应关系与纤维可支持无限CM点集。
• 该结果依赖于GRH，但代表了理解Shimura流形中特殊点算术几何性质的重要进展。
• 该工作展示了GRH在控制CM点及其在高维模空间中Zariski闭包分布方面的强大作用。