[论文解读] Relations among modular points on elliptic curves

Alexandru Buium, Bjorn Poonen|arXiv (Cornell University)|Jun 5, 2007

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

一句话总结

本文通過模形式-椭圆对应关系研究椭圆曲线上复乘点之间的线性关系，證明了任意有限秩子群與複乘點集合的交集是有限的。通過引入標準提升（CL）點的互惠定理，建立了具有有效界的有效局部類似結果，並將結果推廣至同源類與希爾伯特曲線。

ABSTRACT

Given a correspondence between a modular curve and an elliptic curve A we study the group of relations among the CM points of A. In particular we prove that the intersection of any finite rank subgroup of A with the set of CM points of A is finite. We also prove a local version of this global result with an effective bound valid also for certain infinite rank subgroups. We deduce the local result from a ``reciprocity'' theorem for CL (canonical lift) points on A. Furthermore we prove similar global and local results for intersections between subgroups of A and isogeny classes in A. Finally we prove Shimura curve analogues and, in some cases, higher-dimensional versions of these results.

研究动机与目标

• 理解在模形式-椭圆对应關係下，椭圆曲線上複乘點之間的整數線性關係結構。
• 證明任意橢圓曲線的有限秩子群與其複乘點集合的交集是有限的。
• 通過引入CL點的互惠定理，建立此有限性結果的局部版本，並給出有效界。
• 將結果推廣至子群與同源類之間的交集，並證明希爾伯特曲線與高維阿貝爾簇的類似結果。
• 發展一個 $p$-進互惠函數，用以在 $p$-進設定下表征扭轉關係。

提出的方法

• 使用模形式-椭圆對應關係 $S \to X \to A$，其中 $S = X_1(N)$，$A$ 為橢圓曲線，且 $S$ 上的複乘點映射至 $A$。
• 引入 CM 上同調的群 $\nabla^\bot$，其滿足 $\nabla$ 的像屬於 $A(\overline{\mathbf{Q}})$ 的扭轉子群。
• 應用 $p$-進互惠定理於 CL 點，定義形式函數 $\nabla^\flat$，使得 $\nabla^\flat(P_i) = 0$ 當且僅當 $\nabla(P_i)$ 是扭轉點。
• 利用切包塔烈夫密度定理與伽羅瓦表示，構造滿足特定分裂與分歧條件的無限多組素數。
• 透過在 $\mathbf{Z}_p$ 的最大無分歧擴張的完成環 $R$ 上工作，將全域問題簡化為局部問題，從而實現有效界。
• 應用模 $p$ 細化，導出模 $p$ 互惠條件，將 $p$-進扭轉與簡化後的互惠函數的零點聯繫起來。

实验结果

研究问题

• RQ1 橢圓曲線的有限秩子群與其複乘點集合的交集是否有限？
• RQ2 能否在 $p$-進設定下為此類交集建立有效界？
• RQ3 是否存在一個 $p$-進互惠函數，可用以表徵橢圓曲線上 CL 點之間的扭轉關係？
• RQ4 這些結果如何推廣至子群與 $A$ 中同源類之間的交集？
• RQ5 能否在希爾伯特曲線與高維阿貝爾簇上證明類似結果？

主要发现

• 任意橢圓曲線 $A$ 的有限秩子群與其複乘點集合的交集是有限的。
• 在環 $R$（$\mathbf{Z}_p$ 的最大無分歧擴張的完成）上，局部有限性結果成立，且即使對某些無限秩子群也具有有效界。
• $p$-進互惠函數 $\Phi^\dagger$ 存在，使得 $\sum m_i \Phi(P_i) \in A(R)_{\text{tors}}$ 當且僅當 $\sum m_i \Phi^\dagger(P_i) = 0$ 對 CL 點成立。
• 模 $p$ 互惠條件成立：$\sum m_i \Phi(P_i) \in A(R)_{\text{tors}} + pA(R)$ 當且僅當 $\sum m_i \overline{\Phi^\dagger}(\overline{P}_i) = 0$。
• 結果可推廣至子群與 $A$ 中同源類之間的交集，以及在某些情況下對希爾伯特曲線與高維阿貝爾簇。
• 對於複乘橢圓曲線，存在無限多個素數 $p$，使得 $Q \in \text{CL}$，且互惠定理的局部條件成立。