On quaternionic ordinary families of modular forms and $p$-adic $L$-functions

タイトル: 四元数上のモジュラー形式の普通族と p-進 L 関数に関する考察
著者: M. Longo, P. Magrone, E. R. Walchek
日付: 2026 年 5 月 5 日

1. 問題提起

本論文は、$\text{GL}_2$ に対して Castella [Cas20] によって発展させられた理論に類似する、不定有理四元数代数に対する「大きな」p-進 L 関数の構成を取り扱います。主な目的は、四元数代数上のモジュラー形式の Hida 族の古典的特殊化に関連する p-進 L 関数を補間することです。

著者らが指摘した中心的な困難は、楕円モジュラー形式を四元数代数へ持ち上げる Jacquet–Langlands 昇華に対する標準的な正規化の欠如です。最初のフーリエ係数を 1 に設定することで固有形式を正規化できる $\text{GL}_2$ の場合とは異なり、四元数的設定には直接的なフーリエ展開が存在しません。したがって、「正しい」昇華を定義し、そのような形式の族に対して積分性を確立することは容易ではありません。本論文は、Serre–Tate 展開と Ohta の普通族の理論を四元数的設定へ拡張することを組み合わせることで、この問題を解決しようとしています。

2. 手法

著者らは、判別式 $D > 1$ である不定四元数代数に関連する Shimura 曲線を中心とした幾何学的かつ算術的なアプローチを採用しています。

• Serre–Tate 展開: Mori [Mor95, Mor11, Mor22] や他の研究者の業績に倣い、著者らは四元数モジュラー形式のべき級数展開を定義するために Serre–Tate 座標を利用します。これは、四元数的文脈では直接利用できない古典的なフーリエ展開に代わるものです。
• 積分モデルと Igusa 塔: 構成は、Shimura 曲線 $X_m$ とその普通点の幾何学に依存しています。著者らは、四元数乗算 (QM) 付加アーベル曲面に関連する p-可除群の算術的自明化を定義するために、これらの曲線の特殊ファイバー上の Igusa 塔上で作業を行います。
• Ohta の理論の一般化: 本論文は、モジュラー形式の普通族に関する Ohta [Oht93, Oht95, Oht99, Oht00] の結果を四元数場合に拡張します。これには以下が含まれます：
  • Serre–Tate 展開を用いて、普通モジュラー形式の逆極限の加群 ($S^*_\infty$) を定義すること。
  • これらの加群と、Shimura 曲線のヤコビアンのある特定の商 ($A_m, B_m, C_m$) の余接空間との間の関係を確立すること。
  • Jacquet–Langlands 対応を利用して、これらの四元数的対象をそれらの $\text{GL}_2$ 対応物に関連付け、半安定減少と p-可除群に関する既知の結果を活用すること。
• Eichler–Shimura 同型: 著者らは、コホモロジー群の逆極限（特に「分岐」した商 $B^*_\infty$）から、べき級数環 $J[[T_x]]$ への単射写像を構成します。この写像は、QM 付加アーベル曲面の普遍変形上の微分形式の Serre–Tate 展開を通じて構成されます。

3. 主要な貢献と結果

大きな p-進 L 関数の構成:
主要な結果（定理 6.3）は、以下の条件を満たす大きな p-進 L 関数 $L_{I, \xi} \in \tilde{I}[[\Gamma_\infty]]$ の存在を確立します：

• $I$ は、残像表現に付随する Hida 族の原始分枝です。
• $\xi$ は、p-進的なヘッケ指標の族です。
• $\Gamma_\infty$ は、虚二次体 $K$ の反円分拡大のガロア群です。

関数 $L_{I, \xi}$ は、重さ $k \geq 2$ の算術的特殊化 $\kappa$ において Burungale と Magrone [Bur17, Mag22] によって構成された p-進 L 関数 $L_{f_\kappa, \xi_\kappa}$ を補間します。具体的には、算術的準同型 $\kappa$ に対して、特殊化 $L_{I, \xi}(\kappa)$ は、適切な環におけるイデアルとして、明示的な因子を除いて $L_{f_\kappa, \xi_\kappa}$ と一致します。

四元数モジュラー形式の積分理論:
本論文は、Serre–Tate 展開を用いた Shimura 曲線上のモジュラー形式の積分理論を展開します。モジュラー形式の逆極限の部分加群 $S^*_\infty$ を定義し、これらの加群が Iwasawa 代数上のべき級数環へ単射的に埋め込まれることを証明します。これは、$\text{GL}_2$ の場合の $\Lambda$-adic モジュラー形式の理論に類似する、四元数的設定における積分性の条件を研究するための枠組みを提供します。

制御定理と同型:
著者らは、コホモロジー群の逆極限を特定の重さにおける古典的モジュラー形式の空間に関連付ける制御定理（定理 5.3）を証明します。さらに、ガロア表現の普通成分と非普通成分に対応する部分にコホモロジーを分解する $J^*$-加群の完全系列（定理 5.7）を確立し、関連する商がランク 1 の自由加群であることを示します。

補間公式:
定理 6.3 は、明示的な補間公式を提供します：
$$(L_{I, \xi}(\kappa)) = (L_{f_\kappa, \xi_\kappa})$$
これは $\tilde{I}[[\Gamma_\infty]]$ におけるイデアルとして成り立ちます。系 6.4 は、反円分ヘッケ指標に対する補間性質をさらに詳細に記述し、p-進 L 値の二乗を複素 L 関数の中心臨界値に関連付けています。

4. 限界と主張の謙虚さ

著者らは明示的に、彼らの仕事が Wiles の $\Lambda$-adic モジュラー形式の理論の完全な類似、あるいは Ohta の [Oht95, Theorem 2.3.6] に対する完全な四元数対応物ではないことを認めています。

• 欠如した制御定理: 本論文は、[Hid93] や [Oht95] におけるような、加群 $S^*_\infty$ に対する完全な制御定理の証明ができないことを指摘しています。これにより、$S^*_\infty$ が Iwasawa 代数 $\Lambda_O$ 上の有限ランクの自由加群であることを示すことが妨げられています。
• 障害: ヘッケ作用と $T_x$-展開（Serre–Tate 展開）の間の明確な接続の欠如が、主要な障害として挙げられています。ヘッケ作用素の明示的な記述は存在しますが、Igusa 塔上の異なる点における Serre–Tate 展開との相互作用が、$U_p$ および $U_p^*$ の作用下での積分性の分析を複雑にしています。
• 範囲: 理論は普通の場合に限定されています。著者らは、完全な p-進幾何学的手法（例：[CHJ17]）が有限傾きの族へ Ohta の理論を拡張したものの、この構成に必要な特定の積分性条件へこれらを適応させることは依然として困難であると指摘しています。

5. 意義

本論文は、主にその方法論的アプローチと、Greenberg Selmer 群の研究への潜在的な応用において意義を主張しています。

• 重さ 2 との直接比較: 重さ 2 の特殊化との直接比較を回避する最近の p-進 L 関数の族の構成（例：[JLZ21, LRZ25, Sev25]）とは異なり、このアプローチは元の Ohta–Hida の哲学に従い、重さ 2 の特殊化に直接基づいて構築されています。
• Heegner 点と Selmer 群: 最終的な目的として、虚二次体 $K$ 上の Hida 大ガロア表現 $T$ に対する Greenberg Selmer 群 $\text{Sel}(K, T)$ の研究が挙げられています。Shimura 曲線（$D > 1$）を用いた構成により、Shimura 曲線の塔に付随する Heegner 点（または Heegner 巡回）の使用が可能になります。著者らは、$D > 1$ の場合、$\text{Sel}(K, T)$ を研究するためにモジュラー曲線上の Heegner 点（$D=1$ の場合）は適さないため、この特定の算術的応用には四元数的構成が必要であると論じています。
• 補完的な枠組み: この仕事は、既存の手法を補完するものとして提示されており、重さ 2 における Heegner 点を補間する直接的な道筋を提供します。これは、Castella [Cas13, Cas20] による結果の四元数的類似へと導く可能性があります。

要約すると、本論文は Serre–Tate 展開を通じて Ohta の理論を一般化することで、四元数上の普通族に対する大きな p-進 L 関数の構成に成功していますが、四元数 $\Lambda$-adic 形式の完全な構造理論が依然として未解決かつ困難な問題であることを率直に認めています。