Interpolation of generalized Heegner classes along quaternionic Coleman families

E. Rocha Walchek の論文「Interpolation of Generalized Heegner Classes Along Quaternionic Coleman Families」の詳細な技術的概要を以下に示す。

1. 問題の定義と背景

本論文は、算術幾何学における中心的な課題、すなわち、モジュラー形式に付随するガロア表現に対するBloch–Kato 予想を研究するためのオイラー系の構成という課題に取り組んでいる。

• 背景: Bloch–Kato 予想は、$L$-関数の消滅次数と Selmer 群の大きさを関連付ける。これらの群を評価するための主要な道具は、オイラー系（ノルム互換的なコホモロジー類の族）の構成である。
• 既存の研究:
  • 楕円曲線（$GL_2$）の場合、Heegner 点がそのような系を提供する（Kolyvagin）。
  • より高い重みのモジュラー形式に対して、一般化された Heegner 巡回（Bertolini–Darmon–Prasanna、[BDP13]）が導入された。
  • 補間: Howard、Büyükboduk–Lei、および Jetchev–Loeffler–Zerbes（[JLZ21]）は、これらクラスをHida 族（普通、傾き 0）およびColeman 族（有限傾き）の楕円モジュラー形式に沿って補間することに成功し、「Big Heegner 類」を創出した。
• ギャップ: 一般化された Heegner 巡回の理論は、Brooks [HB15] によって開発されたように、四元数モジュラー形式（不定四元数代数および Shimura 曲線に関連するもの）に対しては存在するが、Coleman 族に沿ったこれらのクラスの$p$-進補間は、四元数設定において確立されていなかった。
• 目的: [JLZ21] の手法を不定四元数設定に適合させ、Coleman（有限傾き）族に沿って四元数モジュラー形式に付随する一般化された Heegner 類を$p$-進的に補間することにより、Big 一般化 Heegner 類を構成すること。

2. 手法

著者は、モティーフおよび Shimura 多様体の理論を通じて古典的モジュラー形式と$p$-進族の間のギャップを埋める、幾何学的かつコホモロジー的なアプローチを採用している。

A. 幾何学的設定

• 不定四元数設定: 本作業は、判別式 $N^- > 1$ を持つ不定四元数代数 $B$ 上で行われる。モジュラー形式は、古典的なモジュラー曲線ではなく、QM アーベル曲面を分類するShimura 曲線 $\tilde{X}_m$ 上で定義される。
• 一般化された Kuga–Sato 多様体: 著者は、Shimura 曲線上の普遍アーベル曲面 $\tilde{A}_m$ のファイバー積として、一般化された Kuga–Sato 多様体 $W_{k,m}$ を定義する。
• 一般化された Heegner 巡回: 固定された CM アーベル曲面 $A$ と曲面 $A_{cp^n}$ の間の同次写像 $\phi$ を用いて、著者は $W_{k,m}$ の Chow 群内の巡回 $\Delta^{[k]}_{\phi, m}$ を構成する。
• Lieberman のトリック: コホモロジーを簡略化するために、著者は Lieberman のトリックを用いて、巡回を高次元多様体 $W_{k,m}$ から Shimura 曲線 $\tilde{X}_m$ へ写像する。これには、アーベル曲面の étale 実現の対称テンソルを含むより複雑な係数層を扱う代償が必要となる。

B. 補間戦略

核心的な手法は、Jetchev–Loeffler–Zerbesのアプローチに従う：

1. Heegner 点からの基底ベクトル: 巡回を直接補間するのではなく、著者はモティーフに関連する表現空間内の基底ベクトルを補間する。これらのベクトルは、Shimura 曲線上の Heegner 点から構成される。
2. 過収束射影: 著者は、基底ベクトル $e^{[k,j]}_{cp^n}$（重み $k$ に依存）を、重み空間 $U$ 上で定義された分布値ベクトル $e^{[U,j]}_{cp^n}$ に補間するために、Loeffler–Zerbes 過収束射影（$\Pi_j$）を利用する。
3. Big Gysin 写像: これらの補間された基底ベクトルを Shimura 曲線のコホモロジーへ押し出すために、「Big Gysin 写像」が構成され、Big 一般化 Heegner 類が得られる。
4. 分布モジュール: 補間は、ガロア表現の対称テンソル冪を補間する分布モジュール（$D_U$）内で行われる。

C. $p$-進 Jacquet–Langlands 対応

重要な技術的ステップは、$p$-進 Jacquet–Langlands 対応（命題 4.11）の使用である。これは、楕円モジュラー形式に対する Coleman–Mazur 固有曲線と、四元数モジュラー形式に対する Brasca–Buzzard 固有曲線の間の同型を確立する。これにより、著者は Coleman 族の存在とその性質を楕円の場合から四元数の場合へ移すことができる。

3. 主要な貢献

1. Big 類の構成: 本論文は、四元数モジュラー形式の Coleman 族 $F$ に付随するBig 一般化 Heegner 類 $z^{[F,j]}_{cp}$ の定義に成功している。このクラスはガロアコホモロジー群 $H^1(F_{cp}, V^*_F \otimes \dots)$ に属し、ここで $V^*_F$ は $F$ の特殊化の双対表現を補間する「Big」ガロア表現である。
2. 明示的相互法則（特殊化）: 本論文は、これらの Big 類が古典的な一般化 Heegner 類に正しく特殊化することを証明している。具体的には、族内の古典的重み $k$ に対して、Big 類の特殊化は、二項係数 $\binom{2r}{j}^{-1}$ と $U_p$ 作用素の固有値を掛けた係数で、古典的類 $z^{[F_k, \chi]}_{cp^n, 1}$ に比例する。
3. オイラー系の性質: 著者は、構成されたクラスがノルム互換性関係（命題 5.17）を満たすことを確立している。具体的には、レベル $n+1$ におけるクラスの核心制限は、双対 Hecke 作用素 $U'_p$（これは固有値 $a_p$ として作用する）の作用によってレベル $n$ におけるクラスと関連付けられる。これにより、Big 類がオイラー系を形成することが確認される。
4. 定義体: 本論文は、これらの類の定義体を精緻化し、中間段階に必要なより大きな体ではなく、重み空間の普遍指標を利用することで、基本体 $K$（または類体）上で定義できることを示している。

4. 主要な結果

定理 5.21（Big 類の特殊化）:
$F_0$ を $p$-安定化された四元数モジュラー形式とする Coleman 族 $F$ とする。$z^{[F,j]}_{cp}$ をこれに付随する Big 一般化 Heegner 類とする。族内の任意の古典的重み $k = 2r+2$ と、無限型 $(2r-j, j)$ を持つ Hecke 指標 $\chi$ に対して、特殊化は以下のようになる：
$$\text{Spec}_k(z^{[F,j]}_{cp}) = a_p(F_k)^{-n} \binom{2r}{j}^{-1} z^{[F_k, \chi]}_{cp^n, 1}$$
ここで、$a_p(F_k)$ は特殊化 $F_k$ の $U_p$-固有値である。

命題 5.17（オイラー関係）:
これらのクラスはノルム互換性を満たす：
$$\text{Norm}_{F_{cp^{n+1}}/F_{cp^n}}(z^{[F,j]}_{cp^{n+1}, 1}) = a_p \cdot z^{[F,j]}_{cp^n, 1}$$

5. 意義

• Bloch–Kato 予想の道具箱の拡張: この作業は、オイラー系の強力な機構を楕円設定から四元数設定へ拡張する。これは、楕円曲線から生じるのではなく、四元数モジュラー形式（例えば、四元数乗法を持つ特定のアーベル曲面）から生じるモティーフの$L$-関数や Selmer 群を研究する上で不可欠である。
• 明示的相互法則の基礎: これらの Big 類の構成は、四元数設定における明示的相互法則を証明するための必要な第一歩である。そのような法則は、Big Heegner 類を Coleman 族に沿って補間された$p$-進$L$-関数（具体的には、BDP $p$-進$L$-関数）に関連付けるものである。著者は、この相互法則が将来の作業の主題であると述べている。
• 設定の統合: [JLZ21] のアプローチを不定四元数場合に適合させることで、本論文は「Big 類」手法の堅牢性を示しており、それがモジュラー曲線ではなく Shimura 曲線および QM アーベル曲面を含む基礎幾何学の場合にも適用可能であることを実証している。
• 技術的進展: 本論文は、四元数設定で必要とされる「次元の半減」（射影 $e$ および $\bar{e}$ を通じて）の厳密な扱いと、$p$-進族の文脈における類体の特定の算術の処理を提供している。

要約すると、本論文は古典的四元数 Heegner 巡回と$p$-進族の間のギャップを成功裡に埋め、より広範な自己同型表現に対する Bloch–Kato 予想に挑むために必要な幾何学的対象（Big 一般化 Heegner 類）を提供している。