[论文解读] Non-unipotent representations and categorical centres

G. Lusztig|arXiv (Cornell University)|Nov 24, 2016

Mathematics and Applications被引用 8

一句话总结

本文在单值 Hecke 代数与几何表示论的框架下，研究了范畴中心中非单值表示的问题。通过旗流形的几何结构以及 Weyl 群在环面上的作用，本文建立了范畴 $ C^c\tilde{G}_s $ 与 $ C^c\tilde{B}^2 $ 的 $ e^s $-中心之间的等价关系，通过 $ \tilde{B}^2 $ 和 $ Z_s $ 上的层论构造，实现了非单值表示的范畴化实现。

ABSTRACT

Let G be a connected reductive group defined over a finite field F_q. We give a parametrization of the irreducible representations of G(F_q) in terms of (twisted) categorical centres of various monoidal categories associated to G. (Results of this type were known earlier for unipotent representations. Analogous results for the parametrization of character sheaves on G were also known earlier.)

研究动机与目标

• 理解几何表示论与范畴中心背景下的非单值表示。
• 在范畴 $ C^c\tilde{G}_s $ 与 $ C^c\tilde{B}^2 $ 的 $ e^s $-中心之间建立范畴等价。
• 将单值 Hecke 代数理论推广至包含渐近与截断诱导/限制函子的情形。
• 利用 $ \bar{\mathbb{Q}}_l $-层与 Weyl 群的作用，分析 $ \tilde{B}^2 $、$ Z_s $ 与 $ \tilde{G}_s $ 的几何结构。
• 通过范畴中心构造，实现非单值表示的层论实现。

提出的方法

• 利用单值 Hecke 代数及其渐近版本，描述有限域上半单群的表示。
• 通过 Weyl 群作用与 $ G $ 中极大环面 $ T $ 的正规化子作用，在 $ \tilde{B}^2 $ 和 $ Z_s $ 上构造层。
• 应用截断诱导、限制与卷积函子，定义 $ C^c\tilde{B}^2 $ 上的张量结构。
• 通过单个反射 $ \sigma \in S $ 的提升，为 $ w \in W $ 定义 $ \dot{w} \in N_T $，并利用 Tits 的结果确保其良定义性。
• 利用由 $ \{ \dot{\sigma} \mid \sigma \in S \} $ 生成的群 $ N_0 T $，控制层的单值性与结构。
• 应用极限 $ s_\infty = \bigcup_{n \in \mathbb{N}^*} s_n $ 参数化特征标，并构造相关的 $ \bar{\mathbb{Q}}_l $-层。

实验结果

研究问题

• RQ1 如何通过旗流形上的层论构造，范畴化地实现非单值表示？
• RQ2 范畴 $ C^c\tilde{G}_s $ 与 $ C^c\tilde{B}^2 $ 的 $ e^s $-中心之间的确切关系是什么？
• RQ3 截断诱导与限制函子如何与 $ C^c\tilde{B}^2 $ 上的张量结构相互作用？
• RQ4 由 $ \dot{\sigma} $ 生成的群 $ N_0 T $ 在定义单值 Hecke 代数中起什么作用？
• RQ5 渐近 Hecke 代数在非单值情形下与范畴中心有何关联？

主要发现

• 本文建立了 $ C^c\tilde{G}_s $ 与 $ C^c\tilde{B}^2 $ 的 $ e^s $-中心之间的典范等价，为非单值表示提供了范畴化框架。
• 通过单个反射的提升构造 $ \dot{w} \in N_T $ 对所有 $ w \in W $ 良定义，确保了单值 Hecke 代数的一致性。
• 当 $ X $ 与 $ T $ 定义在 $ \mathbb{F}_q $ 上时，层 $ L = \alpha_! \bar{\mathbb{Q}}_l \in D(X) $ 自然属于 $ D_m(X) $，将几何与表示论联系起来。
• 在 $ W $ 上的偏序满足 $ \bar{G}_w = \bigcup_{y \leq w} G_y $，控制了 $ G $ 中轨道的闭包性质。
• 通过 $ w \cdot t = \omega t \omega^{-1} $（其中 $ \omega \in \kappa^{-1}(w) $）定义的 $ W $ 在 $ T $ 上的作用是良定义的，且在构造中起核心作用。
• 极限 $ s_\infty = \bigcup_n s_n $ 为 $ T_n $ 的特征标提供了参数空间，从而实现了 $ \tilde{B}^2 $ 上 $ \bar{\mathbb{Q}}_l $-层的构造。