On the $I(1)$-invariants: Non-abelian Hecke algebra case

この論文「ON THE I(1)-INVARIANTS: NON-ABELIAN HECKE ALGEBRA CASE（I(1)-不変量について：非可換ヘッケ代数の場合）」は、$p$ 進体 $F$ 上の一般線形群 $G = \mathrm{GL}_2(F)$ の mod $p$ 表現論、特に**超特異表現（supersingular representations）**の構造に関する研究です。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて詳細に記述します。

1. 問題設定と背景

• 背景: $G = \mathrm{GL}_2(F)$ の滑らかな mod $p$ 表現は、Barthel-Livné によって 4 つの族（指標、Steinberg 表現の twist、主系列表現、超特異表現）に分類されます。その中で、超特異表現は最も基本的かつ複雑な構成要素です。
• 既存の知見: $F = \mathbb{Q}_p$ の場合、Breuil は普遍モジュール $\pi_r$ が既約であることを示し、その $I(1)$-不変量（$I(1)$ はプロ $p$-イワホリ部分群）が 2 次元であることを証明しました。その後、Schein や Hendel などが $F$ が一般の有限拡大の場合や、$r$ の $p$ 進桁の条件が異なる場合にこの結果を拡張しました。
• 未解決の課題: これまでの研究の多くは、対応するイワホリ・ヘッケ代数が可換である場合（$r \neq 0, q-1$）に焦点を当てていました。しかし、$r = 0$ または $r = q-1$ の場合、ヘッケ代数は非可換になり、従来の手法が適用できなくなります。特に、$F$ が $\mathbb{Q}_p$ の真の完全分岐拡大（totally ramified extension）である場合、$I(1)$-不変量の explicit な記述は未完成でした。
• 本研究の目的: $r = 0, q-1$ の場合、非可換ヘッケ代数の枠組みを用いて、普遍超特異表現 $\pi_r$ の $I(1)$-不変量空間の明示的な記述を行い、その上でのヘッケ代数の作用を決定すること。さらに、この結果を用いて Ollivier の定理を拡張し、$\pi_r$ をその $I(1)$-不変量から関手的に復元することです。

2. 手法とアプローチ

• イワホリ・ヘッケモデルの活用: 著者らは、Anandavardhanan, Borisagar, Chitrao, Jana, Soneji などの先行研究で構築された「イワホリ・ヘッケモデル」$\tau = \mathrm{ind}_{IZ}^G 1 / (\mathrm{Im} T_{1,2}, \mathrm{Ker} T_{1,2})$ を出発点とします。これは $\pi_0$ と同型な表現です。
• 非可換ヘッケ代数の解析: $r=0, q-1$ の場合、ヘッケ代数は生成元 $T_{1,0}, T_{1,2}$ によって生成され、関係式 $T_{1,0}^2 = \mathrm{Id}$ および $T_{1,2}T_{1,0}T_{1,2} = -T_{1,2}$ を満たします。この非可換性を考慮した演算子 $T_{1,2}$ と $T_{-1,0}$ の作用を詳細に解析します。
• Bruhat-Tits 木上の関数の減縮: 表現空間を Bruhat-Tits 木上の関数として捉え、半径 $n$ の球 $B(n)$ における関数の挙動を調べます。特に、$T_{1,2}$ の像と核を法として、木上の関数がどのように「減縮（reduction）」するかを明らかにする補題（Lemma 3.4, 3.5, 3.7 など）を証明します。
  • 具体的には、特定の多項式係数を持つ関数 $s_n^k$ や $t_n^k$ が、$T_{1,2}$ の像や核に含まれる条件（$k$ が $q-1$ かどうか、$p$ の冪かどうか）を厳密に判定します。
• 不変性の検証: 得られた候補となるベクトル（$s_n^l$ など）が実際に $I(1)$ 不変であるかを、$I(1)$ の生成元（上三角、下三角、対角部分）による作用を直接計算することで確認します。特に $q > 3$ および $ef > 1$の条件下で、$n \ge 2$における$s_n^l$ の不変性を証明します。

3. 主要な貢献と結果

論文の核心的な結果は以下の定理に集約されます。

定理 2.1: $I(1)$-不変量の明示的な基底

$F$ が $\mathbb{Q}_p$ の有限拡大で $ef > 1$かつ$q > 3$と仮定する。普遍超特異表現$\pi_0$のイワホリ・ヘッケモデル$\tau$における$I(1)$-不変量空間$\tau^{I(1)}$ の基底は以下の集合で与えられる：
$$\left\{ [id, 1], [\beta, 1], s_n^l, \beta s_n^l \mid n \ge 2, 0 \le l \le f-1 \right\}$$
ここで、$s_n^l$ は特定の多項式係数を持つ木上の関数であり、$f$ は $F$ の剰余体次数です。

• 意義: 従来の可換な場合とは異なり、$I(1)$-不変量空間は無限次元であり、その構造が $f$（剰余次数）に依存して記述されました。

定理 2.2: $\pi_0$ の既約性（Endomorphism 代数）

$\pi_0$ の自己準同型代数は、$\mathrm{End}_G(\pi_0) \cong \mathbb{F}_p$ である。

• 意義: これは $\pi_0$ が**既約（indecomposable）**であることを意味します。$I(1)$-不変量の基底構造とヘッケ代数の作用を詳細に調べることで、この結果が導かれました。

定理 2.3: 関手的な復元と Ollivier の定理の拡張

Ollivier は $F=\mathbb{Q}_p$ の場合、$I(1)$-不変量から表現を復元する関手が圏の同値を誘導することを示しましたが、$q > p$ の場合、単純なヘッケ加群 $M$ に対して $(M^{I(1)} \otimes_H \mathrm{ind}_{I(1)Z}^G 1)^{I(1)}$ が無限次元になるという反例を示していました。

• 結果: 本研究では、得られた $I(1)$-不変量空間を用いて、$\pi_0$ が逆関手（Vigneras, Ollivier などが研究した $M \mapsto M \otimes_H \mathrm{ind}_{I(1)Z}^G 1$）の像の直和因子として実現されることを示しました。
  $$\pi_0^{I(1)} \otimes_H \mathrm{ind}_{I(1)Z}^G 1 \simeq \pi_0 \oplus M$$
• 拡張: この結果は、$F$ が $\mathbb{Q}_p$ 以外の完全分岐拡大である場合にも Ollivier の定理（定理 1.2(b)）を拡張するものです。

4. 技術的詳細とヘッケ代数の作用

• 作用の計算: 基底ベクトルに対するヘッケ代数 $H$ の生成元 $T_\beta, T_{ns}, e_\chi$ の作用を明示的に計算し、表にまとめました。
  • $T_\beta$ は $[id, 1]$と$[\beta, 1]$を入れ替え、$s_n^l$と$\beta s_n^l$ を入れ替えます。
  • $T_{ns}$ は $[id, 1]$を 0 にし、$[\beta, 1]$を$-[\beta, 1]$に写します。また、$s_n^l$に対しては$n \ge 3$で 0 となり、$s_2^l$に対しては$-s_{n+1}^l$ などの非自明な作用を持ちます。
  • 射影 $e_\chi$ は、特定の指標 $\chi$ に対してのみ非ゼロの作用を持ちます。
• 非可換性の扱い: 非可換ヘッケ代数における annihilator（零化理想）を特定し、それが $\pi_0$ の構造を決定する上で決定的であることを示しました。

5. 意義と結論

この論文は、$p$ 進表現論における重要な未解決問題の一つである「非可換ヘッケ代数の場合の超特異表現の $I(1)$-不変量の構造」を解決しました。

1. 明示的記述の達成: $r=0, q-1$ という特殊かつ重要なケースにおいて、$I(1)$-不変量の完全な基底を構成しました。
2. 理論の拡張: 既知の結果（$F=\mathbb{Q}_p$ や可換な場合）を、完全分岐拡大を含むより一般的な局所体 $F$ に拡張しました。
3. 関手的理解の深化: 表現をその不変量から復元するプロセスにおいて、$\pi_0$ が直和因子として現れることを示すことで、Ollivier の反例の文脈における表現の振る舞いをより深く理解する道を開きました。
4. 将来への展望: 得られた明示的な記述は、$p$ 進ガロワ表現の mod $p$ 減少（reduction）の研究や、Langlands 対応の mod $p$ 版の構築において、重要な道具となる可能性があります。

総じて、この論文は非可換ヘッケ代数の複雑な構造を巧みに扱い、$p$ 進表現論の基礎的な構成要素を明確に定式化した重要な成果です。