論文「Lifting banal representations of classical groups」の技術的概要

Johannes Droschl によるこの論文は、局所非アルキメデス体上の古典群（対称群、直交群、ユニタリ群）における、有限体 $\mathbb{F}_\ell$ 係数の滑らかな既約表現から、$\ell$ 進体 $\mathbb{Q}_\ell$ 係数の表現への「持ち上げ（lifting）」問題に対する決定的な結果を提示しています。特に、$\ell$ が「banal（バナル）」な素数である場合に、すべての既約表現が持ち上げ可能であることを証明し、その応用として強バナルな場合のモジュラー・ハワード双対性（Howe duality）の証明を完成させました。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

---

1. 問題設定と背景

• 背景: 局所 Langlands 対応の局所側において、一般線形群（$GL_n$）の表現論は複素数体 $\mathbb{C}$ 係数および有限体 $\mathbb{F}_\ell$ 係数でよく理解されています（Bernstein-Zelevinsky, Vignéras, Mínguez-Sécherre など）。しかし、古典群（対称群、直交群、ユニタリ群）の場合、$\mathbb{C}$ 係数での tempered 表現の分類は Arthur によってなされていますが、$\mathbb{F}_\ell$ 係数の表現の挙動は未解決な部分が多く残っていました。
• banal 素数の定義: 有限群の表現論において、$\ell$ が群の位数を割らない場合（$\ell \nmid |G|$）、$\mathbb{F}_\ell$ 表現は $\mathbb{C}$ 表現と類似の振る舞いをします。本論文では、この概念を古典群の局所体上の表現に拡張し、$\ell$ が $G$ の剰余体 $k$ 上の点の集合 $G(k)$ の位数を割らないとき、$\ell$ を $G$ に関する「banal 素数」と呼ぶと定義しています。
• 核心的な問い: $\ell$ が banal であるとき、任意の滑らかな既約 $\mathbb{F}_\ell$ 表現 $\pi$ は、$\mathbb{Q}_\ell$ 上の滑らかな既約表現 $\tilde{\pi}$ から、$\mathbb{Z}_\ell$ 格子を $\mathbb{F}_\ell$ に縮約することで得られるか（すなわち、$\tilde{\pi}$ が $\pi$ の「持ち上げ」になるか）？

2. 手法と主要な道具立て

著者は、$\mathbb{F}_\ell$ 表現と $\mathbb{Q}_\ell$ 表現を再帰的かつ明示的に構成し、各段階で $\ell$ に関する縮約が期待通りに振る舞うことを確認するアプローチを採用しました。そのために以下の 4 つの柱（ツール）を組み合わせています。

2.1 絡み合い作用素（Intertwining Operators）

• 理論: [7] で開発された任意の代数閉体上の絡み合い作用素の理論を流用します。
• 技術的貢献: 誘導表現 $Ind_P^G(\pi)$ に対して、絡み合い作用素 $J_{P,P'}(\pi)$ が格子（integral structure）を保存し、その縮約が $\mathbb{F}_\ell$ 上の像と一致する条件を明らかにしました（Lemma 3.7）。
• banal 性の役割: $\ell$ が banal であるという仮定により、特定の条件（作用素が同型になることなど）が満たされることが保証され、これにより $\mathbb{Q}_\ell$ 表現の格子が $\mathbb{F}_\ell$ 表現に正しく縮約されることが示されます。

2.2 微分（Derivatives）

• 概念: 一般線形群および古典群における「微分」の理論（[20], [23], [3]）を用います。これは、表現から特定の尖頭表現（cuspidal representation）$\rho$ の成分を取り除く操作です。
• 役割: 任意の表現を、$\rho$-reduced（$\rho$ 成分を持たない）な表現と、$\rho$ の冪乗による誘導表現の積として分解する構造を提供します。これにより、複雑な表現の構成を、より単純な「尖頭表現」や「tempered 表現」の構成に帰着させることができます。

2.3 アーサー型表現（Representations of Arthur type）

• アーサー分類: 古典群の tempered 表現のアーサー分類（[1]）を利用します。
• 帰着: 任意の tempered 表現は、自己双対な尖頭表現 $\sigma$ を含むパラボリック誘導表現の部分表現として記述できることを示す補題（Lemma 3）を用いて、問題の核心を「自己双対な尖頭表現 $\sigma$ の誘導表現」の理解に絞り込みます。

2.4 プロジェネレーター（Progenerators）

• ブロック理論: Bernstein のアイデアに基づき、特定のブロック（block）の圏が、ある誘導表現の自己準同型環（Endomorphism ring）の加群圏と同値であることを利用します（[19], [28]）。
• banal 性の利点: $\ell$ が banal である場合、尖頭表現はそのブロック内で射影的（projective）になります。これにより、$\mathbb{F}_\ell$ 係数でも $\mathbb{Q}_\ell$ 係数と同様の構造定理が成り立ち、誘導表現の可約性・既約性を制御できます。

3. 主要な結果

定理 1（主定理）

$G$ を局所非アルキメデス体 $F$ 上の対称群または分裂直交群とし、$\ell$ を $G$ に関する banal 素数とする。このとき、$G(F)$ の任意の滑らかな既約 $\mathbb{F}_\ell$ 表現 $\pi$ は、$\mathbb{Q}_\ell$ への持ち上げ $\tilde{\pi}$ を持つ。

• 意味: $\ell$ が banal である限り、古典群の表現論において「modular 表現」は「$\ell$ 進表現」の縮約として完全に記述可能である。

補題と関連結果

• 尖頭表現の場合: 定理は尖頭表現に対して既に [9] で知られていましたが、これを一般の表現へ拡張しました。
• 積分構造と既約性: $\mathbb{Q}_\ell$ 上の積分表現 $\tilde{\pi}$ が banal な尖頭支持（cuspidal support）を持つ場合、その $\ell$ に関する縮約 $r_\ell(\tilde{\pi})$ は既約である（Corollary 6.1, 6.3）。
• 非分裂群への拡張: 分裂していない場合（non-split case）についても、適切な「banal 表現」の定義を導入し、同様の持ち上げ結果が成り立つことを示しました（Corollary 6.4）。

4. 応用：モジュラー・ハワード双対性（Modular Howe Duality）

本論文の重要な応用として、**強バナル（strongly banal）**な場合における、対称群・直交群およびユニタリ群の双対ペアに対するモジュラー・ハワード双対性の証明が挙げられます。

• 背景: [29] において、モジュラー・テータ対応（modular theta correspondence）の研究が進められていましたが、その証明には「Hypothesis (H)」と呼ばれる条件（ある主級数表現の既約性）が必要でした。
• 解決: 本論文の結果（Corollary 6.3）を用いることで、強バナルな素数 $\ell$ において、必要なテータリフト（Theta lift）が既約であることが示されました。これにより、[29] の Hypothesis (H) が満たされることが確認され、Type I の双対ペアに対するモジュラー・ハワード双対性が完全に証明されました（Theorem 7.1）。

5. 意義と貢献

1. 表現論の統一: 一般線形群で確立された $\mathbb{F}_\ell$ 表現の理論を、より複雑な古典群へと拡張しました。$\ell$ が banal である限り、古典群の表現も「複素数係数の理論と類似の振る舞い」を示すことを示しました。
2. 手法の革新: 絡み合い作用素の格子保存性、微分、アーサー分類、プロジェネレーターという 4 つの異なる強力なツールを統合し、再帰的な構成を通じて持ち上げ問題を解決した点に方法論的な革新があります。
3. Langlands 対応への寄与: 局所 Langlands 対応のモジュラー版（modular Local Langlands correspondence）の構築において、表現の存在と性質に関する重要な基礎的ステップを提供しました。
4. テータ対応の完成: 長年の課題であったモジュラー・ハワード双対性の証明を、強バナルな場合に完成させました。

結論

この論文は、$\ell$ が banal であるという条件下で、古典群の $\mathbb{F}_\ell$ 表現と $\mathbb{Q}_\ell$ 表現の間の完全な対応関係（持ち上げ可能性）を確立した画期的な成果です。これにより、数論的表現論におけるモジュラー表現の理解が飛躍的に進み、特にテータ対応や Langlands 対応の発展に不可欠な基盤が築かれました。