$p$-adic rigidity for $\mathrm{GSp}_4$

技術要約：$GSp_4$ における $p$ 進剛性

1. 問題設定と動機
本論文は、$GSp_4(\mathbb{A}_{\mathbb{Q}})$ の特定の非尖点（noncuspidal）自己共役表現に関する $p$ 進剛性（$p$-adic rigidity） の問題を扱う。固有変多様（eigenvariety：固有ヘッケ固有値の系を補間する $p$ 進解析的空間）の構成や、$p$ 進自己共役形式の $p$ 進的な族の研究において多大な進展が見られる一方で、非尖点かつ非ホロモーフィックな領域の幾何学的構造については未だ理解が進んでいない。

中心となる問いは、特定の「$p$ 修正された（$p$-refined）」自己共役表現が、非自明な正次元の $p$ 進的な族の中で補間され得るかという点である。本論文は、サイト・黒河（Saito–Kurokawa, SK）点、すなわち $GL_2$ 表現の $GSp_4$ へのリフトに焦点を当てる。具体的には、これらの点が（ボレル・トーラスの到達可能な指標を伴う場合に）固有変多様の中で変形可能であるかどうかを調査する。本研究は、Bellaïche による $U(2, 1)$ の剛性定理に対する $GSp_4$ 版の試みであり、$GSp_4$ 固有変多様における $p$ 進的な変化に対する障害を特定することを目的としている。

2. 手法と枠組み
証明戦略は、既存の全域的な固有変多様の存在に依存するのではなく、$p$ 進的な族が満たすべきとされる性質を抽象化し、Bellaïche による $U(2, 1)$ の枠組みを適応させたものである。

• 族および点の定義:

  • $p$ 進的な族 $X(\phi)$ は、重み写像、ヘッケ代数の準同型、および古典的な点の Zariski 稠密集合 $Z$ を備えた、$\mathbb{Q}_p$ 上の簡約された分離された既約な剛解析空間として定義される。
  • サイト・黒河（SK）点 $z_0 = (\pi, \psi_R)$ は、到達可能な修正を持つ非尖点 SK 表現 $\pi$ に対応する。
  • 本論文では、局所的な SK 因子の 4 つの可能な修正（$\psi_1, \dots, \psi_4$）を区別する。主要な結果は、特に $\psi_2$ および $\psi_3$ で修正された 点に適用される。これらは $U(2, 1)$ の設定における「アンチ・オーディナリー（anti-ordinary）」な点に類似している。

• 主要な技術的入力:

  1. アーサーの分類（Arthur's Classification）: $GSp_4$ の離散自己共役表現に関するアーサーの分類の構造的役割を利用して、関連するガロア表現の既約性を分析する。
  2. 擬特性（Pseudocharacters）と既約性: 族に付随する生成的擬特性 $T_\eta$ を分析するために、擬特性の理論（Taylor および Bellaïche–Chenevier に従う）を用いる。$T_\eta$ が $(2, 1, 1)$-既約（2次元の表現と 2 つの1次元の表現に分解されること）であるかどうかを調査する。
  3. キジン（Kisin）の性質: 点 $z_0$ において、結晶的フロベニウス固有値の補間特性が保持されることが仮定される。これにより、この族から生じる拡大が $p$ で結晶的であることが保証される。
  4. モノドロミー制御（SK–P2）: $p$ 以外でのガロア・モノドロミーを制御するための条件が課される。具体的には、局所因子が Steinberg のねじれである素数 $\ell \neq p$ において、族におけるモノドロミー作用素が $z_0$ におけるモノドロミーの共役類の Zariski 閉包内に存在しなければならない。
  5. ブロック・カトー（Bloch–Kato）セレール群: 証明は、特定のセレール群 $H^1_f(\mathbb{Q}, \rho_\mu(2))$ および $H^1_f(\mathbb{Q}, \mathbb{Q}_p(1))$ の消滅から導かれる矛盾に帰着する。

3. 主要な結果

• SK 剛性 (Proposition 6.3):
  もし $p$ 進的な族 $X(1)$ が、$\psi_i$-修正された SK 点 $z_0$（ただし $i \in \{2, 3\}$ かつ、$i=3$ の場合は傾斜条件 $v(\alpha(z_0)) \neq k(z_0)-2$ を満たす）を通り、かつ SK 点の集合が $z_0$ に集積する場合、その族 $X(1)$ は単一の点とならなければならない。これは、$\psi_2$ および $\psi_3$ で修正された SK 点は、他の SK 点を含む族の中で変形しないことを確立している。

• 非 (2, 1, 1)-既約性 (Proposition 7.10):
  SK 点を通る正次元の族において、生成的擬特性 $T_\eta$ は $(2, 1, 1)$-既約ではあり得ない。この証明は、タイプ (e)/(f) の点（$(1, 1, 1, 1)$-既約）と SK 点（$(2, 1, 1)$-既約）が、生成的既約性を保ったまま互いに集積することは、矛盾なくには不可能であるという事実を用いている。

• 完全な剛性 (Theorem 8.4):
  $z_0$ を、Steinberg 条件 (St) および傾斜条件を満たす非尖点 $\psi_i$-修正 SK 点（$i \in \{2, 3\}$）とする。このとき、$z_0$ を通る $p$ 進的な族 $X(1)$ がキジン（Kisin）の性質およびモノドロミー制御条件 (SK–P2) を満たすならば、$X(1)$ は一点である。

  証明の概略: $\dim X > 0$ と仮定する。これは $T_\eta$ が $(2, 1, 1)$-既約ではないことを意味する。しかし、この族の存在は、$\text{Ext}_T(\epsilon^{-2}, \epsilon^{-1})$ または $\text{Ext}_T(\epsilon^{-2}, \rho_\mu)$ のいずれかにおける非分裂拡大の存在を強制する。

  • $\text{Ext}_T(\epsilon^{-2}, \rho_\mu)$ における拡大は、$p$ 外部で一（unramified）であり、$p$ で結晶的であることが示される。$\epsilon^2$ によるねじれにより、$H^1_f(\mathbb{Q}, \rho_\mu(2))$ のクラスが得られるが、$L(1/2, \mu) \neq 0$ であるため、これは消滅する。
  • $\text{Ext}_T(\epsilon^{-2}, \epsilon^{-1})$ における拡大も同様に、$H^1_f(\mathbb{Q}, \mathbb{Q}_p(1))$ のクラスをもたらすが、これはクンマー理論（Kummer theory）により消滅する。
  • これらのセレール群の消滅は、非自明な拡大の存在と矛盾するため、族は 0 次元でなければならない。

4. 意義と主張
本論文は、$GSp_4$ 上の特定の非尖点自己共役表現の $p$ 進剛性 を確立したと主張している。

• $U(2, 1)$ との類似: 本研究は Bellaïche の剛性定理の $GSp_4$ 版を提供しており、「アンチ・オーディナリー」（具体的には $\psi_2$ および $\psi_3$）修正された点に対する $p$ 進的な変化の障害を特定している。
• 尖点との区別: 本論文は、尖点 SK 点は剛性を持たない（例えば、セミ・オーディナリーな族の中で変形可能である）ことを明示的に述べている。剛性の結果は、非尖点 の場合に特異である。
• 修正の役割: 結果は、修正の選択が決定的な役割を果たすことを強調している。本論文は、$\psi_1$ および $\psi_4$ で修正された点（オーディナリーな点に相当）は変形可能であることを予想しており、剛性定理はこれらのケースを明確に除外している。
• 障害の特定: 本研究は、特定のブロック・カトー（Bloch–Kato）セレール群の消滅（中心 $L$ 値 $L(1/2, \mu) \neq 0$ およびクンマー理論によって駆動される）が、これらの非尖点における $p$ 進的な変化に対する根本的な障害であることを明らかにしている。

本論文は、その仮定（非尖点性や特定のモノドロミー条件など）の必要性については控えめな姿勢を保っており、手法自体は一般的な尖点の場合の剛性を示唆しているものの、証明に必要なモノドロミー条件は一般的な尖点においては成立しない可能性があると述べている。