[论文解读] Restriction of a character sheaf to conjugacy classes

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

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

一句话总结

本文建立了有限环化群 $ G^F $ 的不可约单根表示与涉及抛物子群和 cuspidal 表示的某些组合数据之间的唯一双射，表明特征层在共轭类上的限制通过 Hecke 代数变形和 $ q $-进 monodromy 恰好对应于这些表示。关键结果是利用 $ \tau_\lambda $-共轭类和 $ G^F $ 中的 cuspidal 数据对单根表示进行分类，并明确给出了诱导表示中特征的重数。

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 $ 的单根不可约表示进行分类。
• 建立单根表示与与抛物子群和 cuspidal 数据相关的组合数据 $ (J, \epsilon, \zeta) $ 之间的典范双射。
• 通过 Hecke 代数变形，确定从抛物子群诱导表示中单根表示的重数。
• 刻画 $ \overline{\mathbb{Q}}_\ell^* $ 模 $ \{ q^r \mid r \in \mathbb{Z} \} $ 的 $ \tau_\lambda $-共轭类，这些共轭类控制特征层的 monodromy。
• 证明当 $ G/Z_G $ 为 $ E_8 $ 或 $ F_4 $ 型时，cuspidal 表示 $ \lambda' $ 和 $ \lambda'' $ 在 $ R_{w_*} $ 中具有特定的重数行为，其中 $ (\lambda':R_{w_*}) = 1 $ 且 $ (\lambda'':R_{w_*}) = 0 $。

提出的方法

• 使用 $ G^F $-模的上同调实现 $ H^i_c(X_w, \overline{\mathbb{Q}}_\ell) $ 来表示单根表示。
• 应用 $ \tau_\lambda $-共轭类构造，通过 $ \overline{\mathbb{Q}}_\ell^* / \{ q^r \} $ 控制特征层的 monodromy。
• 从 $ L_J^F $ 的 cuspidal 表示 $ \lambda_0 $ 诱导表示 $ I(J, \zeta) $ 到 $ G^F $，在 $ U_q $ 中形成直和。
• 在 Hecke 代数变形 $ W^S/J $ 与 $ q $-参数下，建立 $ U_{q,J,\zeta} $ 与不可约表示之间的自然双射。
• 利用 cuspidal 表示的典范双射 $ S_W^0 \sim U_q^0 $，其来源于 $ L_J/Z_{L_J} $ 为单群或平凡群。
• 应用 Lusztig（1984, 1993）关于特征层和 $ \tau_\lambda $-共轭类的结果，推导出重数公式。

实验结果

研究问题

• RQ1 如何通过特征层在共轭类上的限制，对 $ G^F $ 的单根表示进行分类？
• RQ2 $ \overline{\mathbb{Q}}_\ell^* $ 的 $ \tau_\lambda $-共轭类与特征层的 monodromy 之间的确切关系是什么？
• 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 $ 型时，cuspidal 表示 $ \lambda' $ 和 $ \lambda'' $ 在 $ R_{w_*} $ 中的行为如何？

主要发现

• 存在唯一的双射 $ S_W^0 \sim U_q^0 $，使得对 $ \lambda \in U_q^0 $，有 $ \zeta \in \tau_\lambda $ 对应于 $ \zeta \in S_W^0 $。
• 当 $ G/Z_G $ 为 $ E_8 $ 或 $ F_4 $ 型时，cuspidal 表示 $ \lambda' $ 满足 $ (\lambda': R_{w_*}) = 1 $，而 $ \lambda'' $ 满足 $ (\lambda'': R_{w_*}) = 0 $。
• $ I(J, \zeta) $ 中单根表示的集合 $ U_{q,J,\zeta} $ 通过带有 $ q $-参数的 Hecke 代数变形，与 $ \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) $ 中的 monodromy 特征值 $ \mu $。
• 该分类与 Lusztig 在 [L2, 3.9] 和 [L3, 11.2] 中的早期结果一致，特别是关于 $ \tau_\lambda $ 和诱导表示的行为。