[论文解读] Singular Units and Isogenies Between CM Elliptic Curves

Yingkun Li|arXiv (Cornell University)|Oct 31, 2018

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

一句话总结

本文利用模形式的高级理论与阿莱克谢罗夫理论，证明了奇异模差——CM 椭圆曲线的关键不变量——永远不是代数单位。通过将格罗斯-扎吉耶尔定理与格罗斯-科亨-扎吉耶尔定理应用于高阶格林函数及模多项式范数，本文建立了这些差的对数范数的非平凡下界，解决了关于奇异模非单位性的长期疑问，并将其推广至 CM 曲线之间的同源关系。

ABSTRACT

In this note, we will apply the results of Gross-Zagier, Gross-Kohnen-Zagier and their generalizations to give a short proof that the differences of singular moduli are not units. As a consequence, we obtain a result on isogenies between reductions of CM elliptic curves.

研究动机与目标

• 为解决关于奇异模非单位性的猜想提供支持，扩展先前仅排除大判别式的结论。
• 利用分析数论，建立奇异模差对数范数的定量下界。
• 将非单位性结果推广至所有 CM 点对及所有同源度 m ≥ 1。
• 应用高阶格林函数与模多项式因式分解，推导出 CM 椭圆曲线背景下有效的界。
• 证明在某些素数模下，CM 椭圆曲线的约化总是 m-同源的，从而将算术几何与模形式联系起来。

提出的方法

• 将格罗斯-扎吉耶尔公式应用于模多项式对数范数，将其表达为与 Hecke 对应相关的非负项之和。
• 利用格罗斯-科亨-扎吉耶尔定理，将同一和重新解释为高阶格林函数的取值，该函数已知非零。
• 通过高阶格林函数的庞加莱级数构造方法，确保其正定性与非零性，从而表明该和中并非所有项均为零。
• 通过第二类勒让德函数 Q_{k-1}(cosh(√2ε)) 推导下界，其依赖于 CM 点之间的距离及第 m 个 Hecke 对应。
• 利用伽罗瓦共轭对 (Z(W)) 与 Hecke 图 (T_{m,ε}) 的 ε-邻域之间的交集，确保该下界为正。
• 应用弱全纯模形式与非一致 Eisenstein 级数的理论，计算傅里叶系数，并将其与模多项式的范数联系起来。

实验结果

研究问题

• RQ1 奇异模差是否可能为代数单位，即使两个 CM 判别式均变化？
• RQ2 能否为模多项式在 CM 点处的取值的对数范数建立有效下界？
• RQ3 在 CM 椭圆曲线背景下，伽罗瓦共轭对与 Hecke 对应的交集具有何种算术意义？
• RQ4 高阶格林函数的非零性如何约束奇异模差的结构？
• RQ5 在何种条件下，CM 椭圆曲线的约化会成为有限域上的同源曲线？

主要发现

• 对于任意 CM 点 z₁, z₂ 及任意 m ≥ 1，模多项式 φₘ(j(z₁),j(z₂)) 的范数永远不是单位，从而解决了马萨尔的猜想。
• 建立了非平凡下界：log|Nm(φₘ(j(z₁),j(z₂)))| ≥ |Z(W) ∩ T_{m,ε}| · Q₂(cosh(√2ε))，对任意 ε > 0 成立。
• 该下界是有效的，且依赖于伽罗瓦共轭对 (Z(W)) 与第 m 个 Hecke 对应 (T_{m,ε}) 的 ε-邻域之间的交集数量。
• 该结果表明，对于任意 CM 椭圆曲线 E₁, E₂，存在一个在复合类场环中的素数 p，使得 E₁ 与 E₂ 在模 p 下为 m-同源。
• 该证明方法适用于所有 m ≥ 1 且两个判别式均可变，避免了先前工作中所需的逐个情况计算机验证。
• 高阶格林函数的非零性确保了格罗斯-扎吉耶尔公式中和的正定性，这是推导下界的关键。