On the modularity of elliptic curves over imaginary quadratic fields

技術的要約：虚二次体上の楕円曲線のモジュラリティ

問題提起
本論文は、虚二次体 $F$ およびより一般に虚CM体上で定義された楕円曲線 $E$ のモジュラリティ（modularity）を扱う。$\mathbb{Q}$ 上（Wiles, Taylor–Wiles, BCDT）および実二次体（FLHS15）上の楕elliptical曲線のモジュラリティは確立されているが、虚二次体のケースは著しく困難なままであった。主な障害は、そのような楕円曲線と一致すると予想されるヘッケ固有値の系が、シムラ多様体ではない局所対称空間（Bianchi 3-多様体など）のコホモロジーに寄与することである。その結果、シムラ多様体の幾何学に大きく依存する標準的なモジュラリティ・リフティング手法を直接適用することができない。先行研究（ACC+23, BCGP21）は「潜在的（potential）」なモジュラリティを確立し、最近の研究（AKT23）は、残留ガロア表現に対して特定の条件（$p$ が不分岐であるか、あるいは表現が通常の（ordinary）場合）の下で、実際のモジュラリティを確立した。

手法
著者らは、主に2つの研究の流れを組み合わせている：

1. 残留モジュラリティとリフティング： 著者らは Allen–Khare–Thorne (AKT23) による残留モジュラリティの結果を利用し、潜在的に Barsotti–Tate 型である場合のモジュラリティ・リフティング定理を適用する。
2. 局所・大域適合性（Local-Global Compatibility）： 本研究の核心となる技術的革新は、局所対称空間のコホモロジーにおける捩れ（torsion）に関連する $p$ 進ガロア表現に関する新しい局所・大域適合性定理である。

リフティング定理を証明するために、著者らは結晶的（crystalline）なケースにおける局所・大域適合性結果（定理 1.3）を確立する。この結果は、局所対称空間（$GL_n$ のための）のコホモロジーから構成される大域ガロア表現 $\rho_m$ を、局所結晶的変形環 $R^{\square, \text{crys}}_{\bar{\rho}_m|_{G_{F_v}}}(\lambda_v)$ に関連付けるものである。

主要な技術的要素は以下の通りである：

• $P$-ordinary Hida 理論： 著者らは、ユニタリ群 $\tilde{G}$（準分裂ユニタリ群）とそのベッティ・コホモロジーに対する $P$-ordinary 版の Hida 理論を展開する。これにより、$p$ における局所的な振る舞いが制御された特定のコホモロジーの部分を扱うことが可能になる。
• 次数のシフトと境界コホモロジー： 局所対称空間のコホモロジーを境界コホモロジー（オートモルフィーがより良く理解されている領域）に関連付けるために、「次数のシフト（degree shifting）」の議論を用いる。Peter Scholze によって示唆された極めて重要な新しいアイデアは、境界の解析を簡略化するために、補助的な素数 $\bar{v}'' | p$ におけるレベルを上げるというものである。これにより、$p > n^2$ や $F$ において $p$ が不分岐であるといった条件を必要とせずに、Borel–Serre コンパクト化の境界を制御できる。
• 標数 0 のリフト： $P$-ordinary な部分を扱うことで、正しい Hodge–Tate 重みを持つ結晶的な局所表現の標数 0 のリフトを構成し、結晶的変形環への因数分解を容易にする。

主要な貢献と結果

1. 局所・大域適合性（定理 1.3）：
   本論文は、虚 CM 体 $F$ と極大イデアル $\mathfrak{m}$（非アイゼンシュタイン、分解生成的）に対し、局所変形環から大域変形環への写像と、ヘッケ代数への写像の合成が結晶的変形環 $R^{\square, \text{crys}}$ を通じて因子分解されることを証明する。これは技術的な仮定（例：$F$ が虚二次体を含むこと、 $p$ の特定の分解条件）の下で成立するが、任意の次元 $n$、任意の正則な Hodge–Tate 重みを許容し、決定的なことに $p$ が小さく $F$ において高度に分岐している場合も許容する。これは、通常の（ordinary）または Fontaine–Laffaille 型のケースに限定されていた従来の結果を一般化するものである。

2. CM 体上のモジュラリティ（定理 1.2）：
   新しいリフティング定理を AKT23 と組み合わせることで、著者らは、虚 CM 体 $F$（$\mathbb{Q}$ 上ガロア拡大であり、$\zeta_5 \notin F$）において、高さによって順序付けられた Weierstrass 方程式の 100% がモジュラーな楕円曲線を定義することを証明する。これは、$E[3]$ または $E[5]$ のガロア表現の像が「分解生成的（decomposed generic）」な条件を満たす曲線に適用される。

3. 虚二次体上のモジュラリティ（定理 1.1）：
   著者らは、モジュラー曲線 $X_0(15)$ の Mordell–Weil 群が $F$ 上で有限であるような、虚二次体 $F$ 上のすべての楕円曲線 $E/F$ のモジュラリティを確立する。これには $d = 1, 2, 3, 5$ の場合の $F = \mathbb{Q}(\sqrt{-d})$ が含まれる。

   • 戦略： 3 と 5 の低いレベルを持ついくつかのモジュラー曲線（$X(b_3, b_5)$, $X(s_3, b_5)$, $X(ns_3^\circ, b_5)$, $X(b_3, ns_5)$, $X(s_3, ns_5)$, $X(ns_3^\circ, ns_5)$）における二次点（quadratic points）を分析する。
   • 分類： 3-捩れと 5-捩れの両方が「例外的な（exceptional）」（すなわち、ガロア像が分解生成的ではない）楕円曲線を分類する。
   • 具体的なケース：
     • $X_0(15) = X(b_3, b_5)$ および $X(s_3, b_5)$ については、それらの曲線は $\mathbb{Q}$ 上のランク 0 を持つ。著者らは有限個の二次点についてモジュラリティを検証する。
     • $X(ns_3^\circ, b_5)$ については、2 つの無限族の虚二次点を特定する。一方の族は有理的な $j$-不変量を持つ曲線からなり、もう一方は $\mathbb{Q}$-曲線（共役元と同種である曲線）からなる。両方の族がモジュラーであることが証明されている。
     • $X(b_3, ns_5)$ （種数 2）および $X(s_3, ns_5), X(ns_3^\circ, ns_5)$ （種数 3）については、相対対称冪 Chabauty 法（Siksek, Box）を用いて二次点を決定する。これらすべての点が、有理的な $j$-不変量を持つ曲線をもたらすか、あるいは $\mathbb{Q}$-曲線であることを示し、それゆえモジュラリティを確立する。

意義と主張
本論文は、無限個の虚二次体においてすべての楕円曲線のモジュラリティを確立したと主張しており、これはこれらの体における一般的なモジュラリティ予想に向けた重要な一歩である。著者らは、自らの結果が $F = \mathbb{Q}(\sqrt{-d})$ で $d = 1, 2, 3, 5$ に対して適用可能であり、Goldfeld の予想（関連する合同条件に関して Smith によって検証済み）により、判別式によって順序付けられた 100% の虚二次体に適用されることを明言している。

本研究の意義は以下の点にある：

• 「通常の（Ordinary）」障壁の打破： 新しい局所・大域適合性定理により、従来のメソッド（ordinary または Fontaine–Laffaille 条件に依存するもの）が失敗していた、小さな、高度に分岐した素数を持つ結晶的表現の扱いが可能になった。これは、虚二次体における特定の $p=3$ および $p=5$ のケースにモジュラリティ・リフティングを適用するために不可欠である。
• 二次的なケースの完了： リフティング定理とモジュラー曲線の詳細な幾何学的解析を組み合わせることで、残差モジュラリティが失敗する例外的なケースを処理し、「分解生成的」という制限を取り除き、多くの虚二次体におけるすべての楕円曲線のモジュラリティを証明した。
• 技術的前進： $P$-ordinary Hida 理論の開発と、準分裂ユニタリ・シムラ多様体に対する洗練された次数シフトの議論は、局所対称空間のコホモロジーにおけるガロア表現の研究のための新しいツールを提供し、他の CM 体上のモジュラリティ問題にも適用できる可能性がある。

著者らは、虚二次体上の楕円曲線のモジュラリティが、シムラ多様体との直接的な接続の欠如により歴史的に困難であったと述べている。彼らの研究は、BCGP21 や ACC+23 の潜在的モジュラリティの結果を活用し、虚二次体の特定の算術的制約を扱うために局所・大域適合性を洗練させ、例外的なケースを処理するためにモジュラー曲線の必要な幾何学的解析を行うことで、このギャップを埋めるものである。