Note on a certain category of mod $p$ representations

Reinier Sorgdrager による論文「Note on a certain category of mod p representations」の技術的な要約を以下に示します。

1. 研究の背景と問題設定

背景:
$p > 3$ を素数、$K = \mathbb{Q}_{p^f}$ とする。$p$-進 Langlands 対応（特に mod $p$ 版）の文脈において、$\mathrm{GL}_2(K)$ または $K$ 上の四元数代数 $D$ の単位群 $D^\times$ の滑らかで許容的な mod $p$ 表現のなす圏における特定の部分圏 $\mathcal{C}$ が、BHH+23a および HW24 によって導入された。この圏 $\mathcal{C}$ は、Galois 表現から予想される Langlands 対応の像に含まれるべき「良い」表現を特定する試みとして重要視されている。

問題点:
$f > 1$ の場合、$\mathrm{GL}_2(K)$ の滑らかで許容的な mod $p$ 表現は、Galois 側の表現に比べて非常に多くなり、Langlands 対応の像に含まれる表現を同定することが困難である。
圏 $\mathcal{C}$ の定義は、表現 $\pi$ をある部分群 $G_1$（$I_1/Z_1$ または $U_1/Z_1$）に制限した際の不変量に基づいて行われる。しかし、$\mathcal{C}$ の性質は未解明な部分が多く、特に「$\pi$ が $\mathcal{C}$ に属するかどうか」を、$\pi$ 全体ではなく、その任意に小さな開部分群への制限だけで判定できるかどうかは不明であった。

本研究の目的:
$\pi$ が $\mathcal{C}$ に属するかどうかという性質が、$\pi$ を任意に小さな開部分群 $H$ に制限した情報だけで完全に決定されることを証明すること。

2. 主要な結果（定理）

定理 1:
$G_{\text{big}}$（$\mathrm{GL}_2(K)$ または $D^\times$）の滑らかな表現 $\pi, \pi'$ が同じ中心指標を持ち、$\pi' \in \mathcal{C}$ であり、ある開部分群 $H \subset G_{\text{big}}$ に対して $\pi|_H \cong \pi'|_H$ が成り立つならば、$\pi \in \mathcal{C}$ である。

これは、$\mathcal{C}$ に属するかどうかという性質が「局所的」な情報（任意に小さな開部分群での振る舞い）によって決定されることを意味する。

3. 手法と技術的アプローチ

著者は、表現の双対 $\pi^\vee$ に対する完備化された群環 $\mathbb{F}[[G]]$ の構造と、その関連する付値（valuation）を用いて証明を行った。

3.1 $p$-付値と順序基底 (Ordered Basis)

• $G$（$G_{\text{big}}$ の中心で割ったもの）は次元 $3f$ のプロ $p$-群である。
• $G$ 上に $p$-付値 $\omega$ を定義し、これにより $G$ の位相を記述する。この付値は飽和（saturated）であり、$G^{p^N}$ が開部分群をなす。
• $G$ は順序基底 $(g_1, \dots, g_{3f})$ を持ち、これにより $\mathbb{F}[[G]]$ は形式冪級数環と同型になる。
• この基底を用いて、$\mathbb{F}[[G]]$ 上の付値 $\nu$ を定義し、$\mathfrak{m}_G$-進フィルトレーションと一致することを示す。

3.2 関連する graded 環と加群の構成

表現 $\pi$ の双対 $\pi^\vee$ に対して、以下の 3 つの graded 加群を構成する（$N \ge 1$ を固定）：

1. $\mathrm{gr}\, M$: $\mathbb{F}[[G]]$ 上の標準的な $\mathfrak{m}_G$-進フィルトレーションによる graded 加群。
2. $\mathrm{gr}_{N, \text{int}}\, M$: $G^{p^N}$ に関連するフィルトレーションによる中間的な graded 加群。
3. $\mathrm{gr}_{N, \text{res}}\, M$: $G^{p^N}$ 上の完備化群環 $\mathbb{F}[[G^{p^N}]]$ への制限を反映した graded 加群。

3.2 消滅条件の同値性の証明

圏 $\mathcal{C}$ の定義は、$\mathrm{gr}\, \pi^\vee$ が特定の両側イデアル $J_C$ の冪によって消滅することと同値である。
著者は、以下の同値性を示すことで、局所的な情報（$G^{p^N}$ への制限）から大域的な性質を導く：

1. $\mathrm{gr}\, M$ と $\mathrm{gr}_{N, \text{int}}\, M$ の関係:
   $\mathrm{gr}\, M$ が $J_C$ の冪で消滅することと、$\mathrm{gr}_{N, \text{int}}\, M$ が $G^{p^N}$ 上の対応するイデアル $J_N$ の冪で消滅することは同値である（Lemma 2）。
2. $\mathrm{gr}_{N, \text{int}}\, M$ と $\mathrm{gr}_{N, \text{res}}\, M$ の関係:
   フィルトレーションの間の包含関係（Lemma 3）を用いて、$\mathrm{gr}_{N, \text{int}}\, M$ と $\mathrm{gr}_{N, \text{res}}\, M$ が同じ消滅条件を満たすことを示す（Lemma 4）。
3. イデアルの構造:
   $G^{p^N}$ 上の関連する graded 環 $\mathrm{gr}_\nu \mathbb{F}[[G^{p^N}]]$ が可換多項式環であることを示し（Proposition 4）、これにより消滅条件の扱いを容易にする。

4. 結論と意義

結論:
表現 $\pi$ が $\mathcal{C}$ に属するかどうかは、$\pi$ を任意に小さな開部分群 $H$（具体的には十分大きな $N$ に対する $G^{p^N}$）に制限した情報だけで完全に決定される。したがって、$\pi$ と $\pi'$ が $H$ 上で同型であれば、片方が $\mathcal{C}$ に属するならば他方も必ず属する。

学術的意義:

1. 圏 $\mathcal{C}$ の理解の深化: 圏 $\mathcal{C}$ が「局所的」な性質で特徴づけられることを示すことで、この圏の構造理解が前進した。
2. Langlands 対応への応用: 大域的な構成（Shimura 多様体のコホモロジーなど）を通じて得られる表現が、局所的な条件を満たすことで $\mathcal{C}$ に属することが保証されるため、Langlands 対応の候補となる表現の同定に有用な基準を提供する。
3. 一般化の可能性: 証明の核心は、イデアル $J_C$ の具体的な記述ではなく、商環が可換であるという性質にあるため、同様の構成を持つ他の圏 $\mathcal{C}'$ に対してもこの定理が一般化可能である。

この論文は、mod $p$ Langlands プログラムにおける表現論的な障壁を克服するための重要なステップであり、表現の「局所性」と「大域性」の関係を明確にした点で意義深い。