[論文レビュー] Relations among modular points on elliptic curves

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

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

ひとこと要約

本稿は、モジュラー・楕円対応を通じて、楕円曲線上のCM（複素乗法）点の線形関係を調査し、任意の有限ランク部分群とCM点の集合との交わりが有限であることを証明する。また、標準的リフト（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.

研究の動機と目的

• モジュラー・楕円対応の下で、楕円曲線上のCM点の整数線形関係の構造を理解すること。
• 楕円曲線の任意の有限ランク部分群とそのCM点との交わりが有限であることを証明すること。
• 標準的リフト（CL）点に対する再帰定理を導入することで、この有限性結果の局所的類似を有効な境界とともに確立すること。
• 部分群と同種類別との交わり、およびシムーラ曲線と高次元アーベル多様体に対する類似を証明すること。
• CL点におけるねじれ関係を特徴付ける $p$-進再帰関数を構築すること。

提案手法

• モジュラー・楕円対応 $S \to X \to A$ を用い、$S = X_1(N)$、$A$ は楕円曲線であり、$S$ 上のCM点が $A$ に写される。
• 群 $\nabla^\bot$ を導入し、これは $\nabla$ による像が $A(\overline{\mathbf{Q}})$ のねじれ部分群に属するCM因子からなる。
• $p$-進再帰定理を用い、$\nabla^\flat$ と呼ばれる形式的関数を定義し、$\nabla^\flat(P_i) = 0$ となるのは $\nabla(P_i)$ がねじれのときかつそのときに限ることを保証する。
• チホタレフ密度定理とガロア表現を用いて、特定の分解およびインert性条件を満たす無限個の素数の集合を構成する。
• $\mathbf{Z}_p$ の最大無分岐拡大の完備化 $R$ 上で作業することで、グローバル問題を局所問題に還元し、有効な境界を得る。
• mod $p$ の還元を適用し、$p$-進ねじれと還元された再帰関数の消失を結びつけるmod $p$ の再帰条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線の有限ランク部分群とそのCM点との交わりは有限か？
• RQ2 この交わりに対して、$p$-進設定において有効な境界を確立できるか？
• RQ3 CL点の間のねじれ関係を特徴付ける $p$-進再帰関数が存在するか？
• RQ4 結果は、$A$ 内の部分群と同種類別との交わりへとどのように拡張できるか？
• RQ5 シムーラ曲線や高次元アーベル多様体に対しても類似の結果を証明できるか？

主な発見

• 楕円曲線 $A$ の任意の有限ランク部分群とそのCM点の集合との交わりは有限である。
• $\mathbf{Z}_p$ の最大無分岐拡大の完備化 $R$ 上では局所的有限性結果が成り立ち、特定の無限ランク部分群に対しても有効な境界が得られる。
• $p$-進再帰関数 $\Phi^\dagger$ が存在し、CL点に対して $\sum m_i \Phi(P_i) \in A(R)_{\text{tors}}$ となるのは、$\sum m_i \Phi^\dagger(P_i) = 0$ となるときかつそのときに限る。
• mod $p$ の再帰条件が成り立つ：$\sum m_i \Phi(P_i) \in A(R)_{\text{tors}} + pA(R)$ となるのは、$\sum m_i \overline{\Phi^\dagger}(\overline{P}_i) = 0$ となるときかつそのときに限る。
• 結果は、部分群と同種類別との交わり、および特定の状況下でのシムーラ曲線や高次元アーベル多様体へと拡張可能である。
• CM楕円曲線に対しては、$Q \in \text{CL}$ かつ再帰定理の局所的条件を満たす素数 $p$ が無限個存在する。