[論文レビュー] Restriction of a character sheaf to conjugacy classes

G. Lusztig|arXiv (Cornell University)|Apr 16, 2012

Advanced Algebra and Geometry参考文献 11被引用数 24

ひとこと要約

本稿は、有限再帰的群 $ G^F $ の非可約ユニポテンツ表現と、パラボリック部分群およびカスピダル表現に関連する組合せ的データとの間で一意的な全単射を確立する。特性層の共役類への制限が、ホエッケ代数の変形と $ q $-アディックモノドロミーを通じて、これら表現と正確に対応することを示す。主な結果は、$ \tau_\lambda $-コセットと $ G^F $ 内のカスピダルデータを用いたユニポテンツ表現の分類であり、誘導表現における明示的な特性の重複度も得られる。

ABSTRACT

Let A be a character sheaf on a reductive connected group G over an algebraically closed field. Assuming that the characteristic is not bad, we show that for certain conjugacy classes D in G the restriction of A to D is a local system up to shift; we also give a parametrization of unipotent cuspidal character sheaves on G in terms of restrictions to conjugacy classes. Without restriction on characteristic we define canonical bijections from the set of unipotent character sheaves on G (and from the set of unipotent representations of the corresponding split reductive group over a finite field) to a set combinatorially defined in terms of the Weyl group.

研究の動機と目的

• 有限再帰的群 $ G^F $ のユニポテンツ非可約表現を、特性層と共役類への制限を用いて分類すること。
• パラボリック部分群およびカスピダルデータに関連する組合せ的データ $ (J, \epsilon, \zeta) $ とユニポテンツ表現との間の自然な全単射を確立すること。
• ホエッケ代数の変形を用いて、パラボリック部分群からの誘導表現におけるユニポテンツ表現の重複度を特定すること。
• $ \overline{\mathbb{Q}}_\ell^* $ における $ \tau_\lambda $-コセットを $ \{ q^r \mid r \in \mathbb{Z} \} $ で割ったものとして、特性層のモノドロミーを制御するものである。
• 群 $ G/Z_G $ が型 $ E_8 $ または $ F_4 $ の場合、カスピダル表現 $ \lambda' $ と $ \lambda'' $ が $ R_{w_*} $ において特定の重複度の性質を示し、$ (\lambda':R_{w_*}) = 1 $ かつ $ (\lambda'':R_{w_*}) = 0 $ となることの証明。

提案手法

• ユニポテンツ表現を $ G^F $-加群として、$ H^i_c(X_w, \overline{\mathbb{Q}}_\ell) $ のコhomological 実現を用いる。
• $ \overline{\mathbb{Q}}_\ell^* / \{ q^r \} $ を通じて、特性層のモノドロミーを制御する $ \tau_\lambda $-コセット構成を適用する。
• カスピダル表現 $ \lambda_0 $ を $ L_J^F $ から $ G^F $ に誘導する表現 $ I(J, \zeta) $ を構成し、$ U_q $ 内で直和として得る。
• $ U_{q,J,\zeta} $ と $ q $-パラメータを用いた $ W^S/J $ のホエッケ代数の変形による非可約表現との間の自然な全単射を確立する。
• カスピダル表現に対して $ S_W^0 \sim U_q^0 $ の自然な全単射を構成し、$ L_J/Z_{L_J} $ が単純または自明であることに起因する。
• ルスティグ（1984, 1993）の特性層と $ \tau_\lambda $-コセットに関する結果を応用し、重複度の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、特性層の共役類への制限を用いて $ G^F $ のユニポテンツ表現を分類できるか？
• RQ2 $ \overline{\mathbb{Q}}_\ell^* $ 内の $ \tau_\lambda $-コセットと特性層のモノドロミーの正確な関係は何か？
• RQ3 誘導表現 $ I(J, \zeta) $ は $ U_q $ 内の非可約ユニポテンツ表現にどのように分解されるか？
• RQ4 非可約ユニポテンツ表現 $ \lambda $ が仮想表現 $ R_w = \sum_i (-1)^i H^i_c(X_w, \overline{\mathbb{Q}}_\ell) $ に現れる重複度は何か？
• RQ5 $ G/Z_G $ が型 $ E_8 $ または $ F_4 $ の場合、$ R_{w_*} $ 内でのカスピダル表現 $ \lambda' $ と $ \lambda'' $ の挙動は何か？

主な発見

• すべての $ \lambda \in U_q^0 $ に対して $ \zeta \in \tau_\lambda $ となるような一意的な全単射 $ S_W^0 \sim U_q^0 $ が存在する。
• $ G/Z_G $ が型 $ E_8 $ または $ F_4 $ の場合、カスピダル表現 $ \lambda' $ は $ (\lambda': R_{w_*}) = 1 $ を満たし、$ \lambda'' $ は $ (\lambda'': R_{w_*}) = 0 $ を満たす。
• $ U_{q,J,\zeta} $ は、$ q $-パラメータを用いたホエッケ代数の変形を通じて $ \mathrm{Irr}(W^S/J) $ と自然な全単射を持つ。
• 誘導表現 $ I(J, \zeta) $ は $ U_q $ 内の非可約ユニポテンツ表現の直和であり、$ \lambda \in U_{q,J,\zeta} $ であることと $ \lambda $ が $ I(J, \zeta) $ に現れることは同値である。
• $ \tau_\lambda $-コセットは $ \{ q^r \} $ を法として正しく定義されており、$ \lambda $ が $ H^i_c(X_w, \overline{\mathbb{Q}}_\ell) $ に現れるすべてのモノドロミー固有値 $ \mu $ を含む。
• 分類は、Lusztigの[ L2, 3.9 ]および[ L3, 11.2 ]における以前の結果と整合しており、特に $ \tau_\lambda $ の性質と誘導表現の挙動が一致する。