[論文レビュー] On a uniqueness property of cuspidal unipotent representations

Yongqi Feng, Eric Opdam|arXiv (Cornell University)|Apr 14, 2015

Advanced Algebra and Geometry参考文献 18被引用数 9

ひとこと要約

本稿では、非アーチメデス的局所体上の古典的群に対して、超臨界的ユニポテンツ表現の形式的次数が、弱く非分岐特徴の下でのねじれを除き、そのルシュティグ＝ラングランズパラメータを一意に決定することを確立する。形式的次数とスペクトル転送写像を用いて、ユニポテンツなアフィンヘッケ代数間の極小スペクトル転送準同型の本質的唯一性を証明する。

ABSTRACT

The formal degree of a unipotent discrete series character of a simple linear algebraic group over a non-archimedean local field (in the sense of Lusztig), is a rational function of the cardinality q of the residue field. The irreducible factors of this rational function are $q$ and cyclotomic polynomials. We prove that the formal degree of a supercuspidal unipotent representation determines its Lusztig-Langlands parameter, up to twisting by weakly unramified characters. For split exceptional groups this result follows from the work of Mark Reeder, and for the remaining exceptional cases this is verified by the first name author in arXiv:1708.09547. In the present paper we treat the classical families. The main result of this article characterizes unramified Lusztig-Langlands parameters which support a cuspidal local system in terms of formal degrees. The result implies the uniqueness of so-called cuspidal spectral transfer morphisms (as introduced in arXiv:1310.7193) between unipotent affine Hecke algebras (up to twisting by unramified characters). In arXiv:1310.7790 the essential uniqueness of arbitrary unipotent spectral transfer morphisms was reduced to the cuspidal case.

研究の動機と目的

• 非アーチメデス的局所体上の古典的群の超臨界的ユニポテンツ表現のルシュティグ＝ラングランズパラメータの一意性を確立すること。
• 形式的次数を用いて、極小局所系を支える非分岐ルシュティグ＝ラングランズパラメータを特徴付けること。
• ユニポテンツなアフィンヘッケ代数間の極小スペクトル転送準同型が、非分岐特徴によるねじれを除き本質的に一意に定まることを証明すること。
• 例外的群を超える範囲にまで一意性結果を拡張し、古典的族の分類を完成させること。
• 古典的設定における離散的非分岐ラングランズパラメータの形式的次数に基づく特徴付けを提供すること。

提案手法

• 形式的次数を、$ q $ に関する有理関数として分析し、その既約因子が $ q $ およびシロトミック多項式であることを用いる。
• スペクトル転送写像とアイワホリ–ヘッケ代数の構造を用いて、問題をアイワホリ–球面の場合に還元する。
• カック図と残差点を用いて、古典的群の離散的非分岐ラングランズパラメータを分類する。
• $ \tilde{h}_{\bullet} $, $ \tilde{\rho} $, および $ \theta $-作用素を含む乗法的関数と畳み込み恒等式を適用し、形式的次数を計算する。
• $ \textup{mult}^{(\bullet)} $ 関数と $ \triangle $-作用素を用いて、形式的次数の表現の構造を分析する。
• $ \rho $-データのタイプ（a）〜（e）についてのケースバイケースの分析を行い、非極小形式的次数が生じないことを排除し、背理法により一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 超臨界的ユニポテンツ表現の形式的次数は、弱く非分岐特徴によるねじれを除き、そのルシュティグ＝ラングランズパラメータを一意に決定できるか？
• RQ2 どの非分岐ルシュティグ＝ラングランズパラメータが極小局所系を支え、形式的次数を用いてどのように特徴付けられるか？
• RQ3 ユニポテンツなアフィンヘッケ代数間の極小スペクトル転送準同型は、非分岐特徴によるねじれを除き一意に定まるか？
• RQ4 シロトミック多項式と乗法的関数は、超臨界的ユニポテンツ表現の形式的次数を区別するために果たす役割は何か？
• RQ5 スペクトル転送写像とヘッケ代数の構造は、古典的群における可能な形式的次数にどのような制約を課えるか？

主な発見

• 古典的群に対して、超臨界的ユニポテンツ表現の形式的次数は、弱く非分岐特徴によるねじれを除き、そのルシュティグ＝ラングランズパラメータを一意に決定する。
• 古典的群において、形式的次数方程式 (4.20) の唯一の解は極小ユニポテンツ表現に対応し、非極小型には解が存在しない。
• すべての $ \rho $-タイプ (b)〜(e) および混合タイプ (d,e) の組み合わせが除外され、非極小構成から有効な形式的次数は生じないことが示された。
• 乗法的関数 $ \textup{mult}^{(\bullet)} $ と、$ \triangle $-作用素および $ T_{\bullet} $-項によるその分解が、極小ケースを一意に特定する。
• 本結果により、[Opd3] で予想された、ユニポテンツなアフィンヘッケ代数間の極小スペクトル転送準同型の本質的唯一性が裏付けられた。
• $ p_{\bullet} $ および $ \rho $-タイプに関する包括的なケース解析により、唯一、特定の構成が $ 0, -1, -2, -3 $ の臨界点における有効な超臨界的形式的次数をもたらすことが示された。