The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

アモル・フジイによる論文「非連結簡約群のための本質的に単一超特異表現の局所ラングランズ対応」の詳細な技術的要約を以下に示す。

1. 問題提起

局所ラングランズ対応（LLC）は、$p$ 進簡約群 $G(F)$ の既約滑らか表現を $L$ パラメータ（ウェール・デルィーニュ群からラングランズ双対群への準同型）によってパラメータ化することを目的としている。連結簡約群については大きな進展が見られている（特に非特異超特異表現についてはカレタ、単一表現についてはフィンツェン、オイ、ソルヴェルドによるもの）。しかし、2 つの主要なギャップが残されている：

1. 本質的に単一表現： 単一超特異表現に対する既存の構成は、外自己同型下での等変性や rigidification の変化に関して、十分な関手性や rigid inner twist との両立性を欠くことが多い。
2. 非連結簡約群： $G$ が連結で $A$ が $G$ に作用する有限群である形式 $\tilde{G} = G \rtimes A$ なる非連結簡約群に対して、LLC は体系的に拡張されていない。これは、自己同型を持つ一般線形群やウェール制限などの群の表現を理解する上で不可欠である。

本論文は、rigid inner twists の枠組み内で、本質的に単一超特異表現 に対する LLC の構成を扱い、必要な両立性を証明し、この対応を非連結簡約群 に拡張することを目的としている。

2. 手法

著者は、還元技法、超コホモロジー、および同伴群の理論を組み合わせた多段階の戦略を採用している。

A. 枠組みと要請事項

本論文は、カレタのrigid inner twists $(G', \xi, z)$ の枠組み内で運用される。著者は、有効な LLC が満たすべき 3 つの基本的な条件（要請事項）を定義する：

• 条件 2.A（関手性）： 核と余核がアーベルである準同型との両立性。
• 条件 2.B（指標のねじれ）： 表現を指標でねじることとの両立性。
• 条件 2.C（rigidification の変化）： コトヴィッツ写像と超コホモロジーを含む特定のペアリングによって支配される rigidification $z$ の変化との両立性。

B. 随伴群および単連結群への還元

命題 3.1 を用いて、著者は一般の連結簡約群 $G$ に対する対応の構成を、$G$ が随伴群 ($G_{ad}$) または単連結群 ($G_{sc}$) である場合に還元する。

• これは、任意の本質的に単一表現が指標のねじれを通じて単一表現と関連付けられ得るという事実に依存している。
• $G_{ad}$ および $G_{sc}$ に対する対応の存在は（フィンツェン・オイ・ソルヴェルド [FOS20] およびソルヴェルド [Sol23] による先行作業に基づき）仮定されるが、著者はこれらの既存の対応が rigid inner twist に必要なより厳格な等変条件を満たすことを検証しなければならない。

C. 等変性の検証（核心的な技術的課題）

[FOS20] および [Solleveld] における既存の対応はアーサーの枠組みを用いて構成されたものであり、rigid inner twist が要求する外自己同型下での特定の等変性（特に条件 3.A および条件 3.B）を自然に扱わない。

• 戦略： 著者は、既存の対応が調整可能であることを、または非分岐群に還元し、同伴群（$\hat{H} \cong \hat{G}^{I_F}$ となる群 $H$）を用いることで、これらの条件を満たすことを示す。
• 主要な道具： 著者は [Kal22] で導入された超コホモロジー群を用いて、$L$ パラメータの成分群および表現に対する外自己同型の作用から生じる 2- cocycle を明示的に計算する。
• 分裂群と非分裂群の場合： 証明は、分裂群の場合（[FOS20] を用いた直接計算）、非分岐非分裂群の場合（同伴群 $H$ とルスティグの単一表現に関する結果を用いる）、およびウェール制限の場合を扱う。

D. 非連結群への拡張

非連結群 $\tilde{G} = G \rtimes A$ に対して、著者は群側とガロア側の相互作用を分析することで対応を構成する：

• 群側： $\tilde{G}'(F)$ の表現はクリフォード理論を通じて解析され、連結成分 $G'(F)$ の表現および $A$ の作用と関連付けられる。これには、表現の安定化子に関連するねじれ群代数 $C[A; \alpha]$ の研究が含まれる。
• ガロア側： $L$ パラメータは、拡張された成分群 $\tilde{S}^+_\phi = \pi_0 Z^+_{\hat{G}}(\phi)$ の表現によって強化される。
• 対応付け： 証明の核心（第 5.4 節）は、群側から生じる 2- cocycle $\alpha$ とガロア側から生じる 2- cocycle $\beta$ の間で補間する明示的な1- コチェーン $h$ を構成することである。これにより自己準同型環の同型が確立され、双射が証明される。

3. 主要な貢献と結果

定理 1.1（系 4.2）：連結群に対する等変 LLC

著者は、rigid inner twist $(G', \xi, z)$ の本質的に単一超特異表現と強化された $L$ パラメータとの間の双射を確立する：
$$\text{Irr}(G'(F))_{euc} \xrightarrow{\sim} \Phi_e(G; [z])_{euc}$$
この双射は以下の性質を本質的に満たす：

• 核および余核がアーベルである準同型に関する関手性。
• 指標のねじれに関する等変性。
• より強い等変性： 外自己同型下での等変性および rigidification の変化との両立性。これは [FOS20] などの先行作業では完全に確立されていなかった性質である。

定理 1.2（定理 5.2）：非連結群への拡張

導来部分群 $G_{der}$ が単連結であると仮定すると、対応は非連結群 $\tilde{G} = G \rtimes A$ に拡張される：
$$\text{Irr}(\tilde{G}'(F))_{euc} \xrightarrow{\sim} \Phi_e(\tilde{G}; [z])_{euc}$$
この対応は連結成分への制限を尊重する：$G'(F)$ の表現 $\pi$ が $\tilde{\pi}|_{G'(F)}$ の成分であるための必要十分条件は、$L$ パラメータ $\phi_\pi$ が $\phi_{\tilde{\pi}}$ の制限であり、かつ強化 $\rho(z, \pi)$ が $\rho(z, \tilde{\pi})$ の制限の成分であることである。

技術的補題：超コホモロジーと cocycle

重要な技術的貢献は、表現の拡張（群側）を支配する 2- cocycle と強化の拡張（ガロア側）を支配する 2- cocycle との間の関係の明示的な計算である。著者は（命題 5.9 で）これらの cocycle が超コホモロジーペアリングから導かれるコバウンダリーによってのみ異なり、双射が適切に定義され標準的であることを証明する。

4. 意義

1. 単一の場合の完全性： この作業は、連結群における本質的に単一超特異表現の全クラスに対する局所ラングランズ対応を確立し、すべての必要な関手性（特に等変性）が満たされることを保証する。これは異なる枠組みに依存していた以前の構成が残したギャップを埋めるものである。
2. 非連結性の処理： これは rigid inner twists の文脈における非連結簡約群に対する LLC の最初の体系的な構成である。これは、非連結群に対するより一般的な表現クラス（例えば非特異なもの）への対応の拡張にとって先決条件である。
3. 将来の作業への基盤： 著者は明示的に、これらの結果が [Kal21]（非特異表現を扱う）における明示的な LLC を、より広範な群のより広範な表現クラス（潜在的にはすべての超特異表現を含む）へ拡張するために使用されることを意図していると述べている。
4. 方法論的進展： 群論的およびガロア論的 2- cocycle を一致させるための超コホモロジーの厳密な使用は、ラングランズプログラムの他の文脈における同様の両立性の問題に対処するための堅牢なテンプレートを提供する。

要約すると、フジイの論文は、単一表現の確立された理論と rigid inner twists の現代的枠組みの間のギャップを埋めると同時に、この対応を非連結群に拡張することで新たな地平を開き、より包括的な局所ラングランズ対応への道筋を築いている。