Finite length for unramified $\mathrm{GL}_2$: beyond multiplicity one, non-semisimple case

技術要約：非分岐型 $GL_2$ の有限長：多重度 1 を超えて、非半単純なケース

問題設定
本論文は、有限非分岐拡大 $K/\mathbb{Q}_p$ に対する $GL_2(K)$ の滑らかな mod $p$ 表現の構造を調査するものである。具体的には、大域的なガロア表現 $r$ に関連するシムラ曲線のコホモロジーから生じる表現 $\pi(V^v)$ に焦каスしている。中心となる問題は、「ジェネリック（genericity）」な仮定の下で、これらの表現が $GL_2(K)$-加群として有限長であることを確立することであるが、決定的なのは、それが「多重度 1」の性質（すなわち、多重度 $r \ge 1$ が 1 より大きくなることを許容する）を仮定せず、かつ局所的なガロア表現 $r|_{Gal(F_v/F_v)}$ が半単純であると仮定しない点にある。

先行研究（Calegari, Emerton らによる [10] など）は、多重度が 1 である「最小のケース（minimal case）」において有限長を確立した。また、伴随論文 [2] は、これらの結果を高次の多重度 ($r \ge 1$) へと拡張したが、局所的なガロア表現が半単純であるという仮定を保持していた。本論文は、残されたより困難なケース、すなわち非半単純な局所ガロア表現と任意の多重度 $r \ge 1$ のケースに対処するものである。

手法
著者らは局所・大域戦略を採用し、大域的な問題を、特定の 4 つの仮説（セクション 2.3）を満たす局所表現の研究へと還元する。その手法は、以下の要素間の相互作用に大きく依存している：

1. ダイアグラム理論（Diagram Theory）： ガロア表現 $\rho = r^\vee|_{Gal(K/K)}$ に関連するダイアグラム $D(\rho)$ を利用する。本論文は、特に $K_1$-不変量および $I_1$-不変量を分析することにより、$\pi$ の部分表現の構造をこれらのダイアグラムを用いて一般化している。
2. $(\phi, \Gamma)$-加群： 表現に随伴する巡回的 $(\phi, \Gamma)$-加群を対応させる関手 $D^\vee_\xi$ を用いる。これらの加群のランクは、重要な数値的不変量として機能する。
3. 可換代数： 完備群環 $\Lambda = \mathbb{F}[[I_1/Z_1]]$ 上の加群としての双対表現 $\pi^\vee$ の構造を分析する。著者らは、これらの加群のコーエン・マコーレー（Cohen-Macaulay）特性およびグレード（grade）を調査している。
4. [27] の拡張： 技術的な作業の大部分は、Paškūnas [27]（$r=1$ のケースを扱ったもの）の結果を $r \ge 1$ のケースへと拡張することである。これには、「混合項（mixed terms）」の厳密な管理と、ベクトル空間 $V = \mathbb{F}^r$（多重度を表す）を用いた構成がダイアグラムの構造と整合性を保ち続けることを保証するための、細心の注意深い作業が必要となる。

主要な貢献および結果

1. 有限長定理 (Theorem 1.1.1):
   主結果は、ジェネリックなガロア表現 $r$（基本文字の指数に関する特定の境界条件を満たすもの）に対して、表現 $\pi(V^v)$ が $GL_2(K)$-表現として有限長であることを証明している。これは、多重度 $r$ や素数 $v$ へのレベルに関わらず成立する。

2. 部分商の構造 (Theorem 1.1.2):
   本論文は、表現 $\pi$（およびその部分商 $\pi(V^v, \sigma^v_p)$）の正確な構造を記述している。$\pi$ が以下の完全列に適合することが示されている：
   $$0 \to V \otimes \pi_0 \to \pi \to \pi' \to 0$$
   ここで $\pi_0$ および $\pi_f$ は主系列表現であり、$\pi'$ はそのジョルダン・ヘルダー成分がすべて超特異（supersingular）であるような部分表現である。$\pi'$ の長さは $r \cdot (f-1)$ によって上から抑えられる。

3. コーエン・マコーレー特性 (Theorem 1.1.3 & Proposition 4.1.9):
   著者らは、任意の非ゼロの部分表現 $\pi_1 \subseteq \pi$ に対して、その線形双対 $\pi_1^\vee$ がグレード $2f$ のコーエン・マコーレー $\Lambda$-加群であることを証明している。これは、半単純なケースからの結果を、非半単純かつ高次の多重度設定へと一般化したものである。

4. $(\phi, \Gamma)$-加群のランク公式 (Theorem 3.2.13 & Corollary 3.2.15):
   重要な技術的成果は、部分表現 $\pi_1$ に随伴する $(\phi, \Gamma)$-加モジュールのランク $D^\vee_\xi(\pi_1)$ の計算である。ランクは以下の公式で与えられる：
   $$\text{rk}_A D_A(\pi_1) = \sum_{\ell=0}^f r(\pi_1, \ell) \binom{f}{\ell}$$
   ここで $r(\pi_1, \ell)$ は $\pi_1$ に関連するダイアグラムのフィルター化から導かれる数値的不変量である。この公式は [27, Theorem 9.2] を $r \ge 1$ へと一般化したものである。

5. 部分表現の特性付け (Theorem 4.2.1):
   本論文は、部分表現 $\pi_1 \subseteq \pi_0$ の包含関係が、$K_1$-不変量のレベル（あるいは、ベクトル部分空間の包含 $V(\pi_1, \ell) \subseteq V(\pi_0, \ell)$ を通じて）のみによって検出可能であることを確立している。これにより、部分表現の格子に対する組合せ論的な制御が可能となる。

意義および主張
著者らは、本研究が [10] の基礎的な結果を、これまで到達不可能であった「高次の多重度」および「非半単純」な領域へと拡張するものであると主張している。

• 一般化: 結果は、最小のケース（$r=1$, 半単純）から、一般的なケース（$r \ge 1$, 非半単純）へと、有限長特性および双対のコーエン・マコーレー性を一般化している。
• 技術的障壁: 本論文は、非半単純なケースが、自然な注入 $\pi_1^{K_1}/\pi_0^{K_1} \to (\pi_1/\pi_0)^{K_1}$ が一般には全射にならないといった、特有の困難をもたらすことを明示している。著者らは、これらの障害を克服するために、新しいメカニズム（特に $r \ge 1$ 用に適合させた「ウェイト・サイクリング（weight cycling）」の議論および [27] の拡張）を開発した。
• 限界: 著者らは、「中間」の部分 $\pi'$ の正確な構造に関して控えめな姿勢をとっている。$\pi'$ の長さの上限（$r(f-1)$）を提示し、その成分が超特異であることを証明してはいるものの、既約成分の正確な多重度（理想的には $r$）を証明することは「現時点では困難であると思われる」と述べている。同様に、ランク公式 (3) が部分商 $\pi_2$ に対しても成立することを期待しているが、執筆時点では非半単純な一般ケースにおける証明は欠いている。

要約すれば、本論文は、最小のケースから複雑な非半単純・高次多重度のシナリオへの架け橋となる、最も一般的な設定において、$GL_2(K)$ の mod $p$ 表現の有限長および構造的特性を理解するための厳密な枠組みを提供するものである。