[论文解读] A motivated introduction to character sheaves and the orbit method for unipotent groups in positive characteristic

Mitya Boyarchenko, Vladimir Drinfeld|arXiv (Cornell University)|Sep 27, 2006

Finite Group Theory Research参考文献 26被引用 45

一句话总结

本文引入了有限域上正特征的幂零群的特征层与${\mathbb{L}}$-包，将轨道方法扩展至特征零之外。即使轨道方法失效，该文证明特征层仍可作为余伴从轨道上等变局部系统的傅里叶变换出现，并揭示了诸如非连通稳定子与奇维轨道等新现象。

ABSTRACT

This article is based on lectures given by the authors in 2005 and 2006. Our first goal is to present an introduction to the orbit method with an emphasis on the character theory of finite nilpotent groups. The second goal (motivated by a recent work of G. Lusztig) is to explain several nontrivial aspects of character theory for finite groups of the form $G(F_{q^n})$, where $G$ is a unipotent algebraic group over a finite field $F_q$. In particular, we introduce the notion of a character sheaf for a unipotent group, and provide a toy model for the representation-theoretic notion of an L-packet.

研究动机与目标

• 为有限域上有限幂零群$G(\mathbb{F}_{q^n})$的特征理论建立几何框架。
• 将轨道方法推广至正特征，特别是针对幂零类$\geq p$的幂零群。
• 独立于轨道方法定义特征层与${\mathbb{L}}$-包，使其可应用于经典设定之外的情形。
• 阐明与特征零表示理论的关键差异，例如非平凡稳定子与非整数维轨道。
• 通过层论方法为幂零群的几何表示理论奠定基础。

提出的方法

• 将$G \otimes_{\mathbb{F}_q} \overline{\mathbb{F}}_q$上的特征层定义为余伴从轨道上不可约等变局部系统的逆傅里叶变换。
• 使用与幂零群$G$关联的李代数概形$\mathfrak{g}$，即使$G$不与它的李代数同构亦适用。
• 将${\mathbb{L}}$-包定义为与单个几何轨道相关的不可约表示集合，尤其在稳定子非连通时。
• 在正特征下应用Campbell-Hausdorff公式，分析李代数上的对数与指数映射。
• 利用等变导出范畴与傅里叶-Deligne变换，将层论构造与表示理论联系起来。
• 构造反例以表明标准轨道方法性质在正特征下失效，例如轨道函数中特征的非线性组合。

实验结果

研究问题

• RQ1 如何将轨道方法扩展至正特征下有限域上的幂零群，特别是当幂零类$\geq p$时？
• RQ2 在正特征下，幂零群的特征层的正确几何定义是什么，且独立于轨道方法？
• RQ3 为何正特征下的余伴从轨道有时具有奇维数，这对表示理论有何影响？
• RQ4 在何种条件下，一个几何轨道对应多个不可约表示（即${\mathbb{L}}$-包）？
• RQ5 特征层理论能否用于理解当$N \gg p$时，无扭上三角矩阵$UL_{N,q}$的表示理论？

主要发现

• 即使轨道方法不适用，$G \otimes_{\mathbb{F}_q} \overline{\mathbb{F}}_q$上的特征层（在上同调移位意义下）仍为余伴从轨道上不可约等变局部系统的逆傅里叶变换。
• 在$\mathfrak{g}^*$中一点的稳定子可能非连通，导致几何轨道对应多个不可约表示——形成${\mathbb{L}}$-包。
• 正特征下的余伴从轨道可具有奇维数，此现象在特征零中不存在。
• 函数$x \mapsto \lambda(\log(\gamma e^x))$不总是$\Gamma$-轨道中特征的线性组合，违反了经典轨道方法的关键性质。
• 反例表明，正特征下的Campbell-Hausdorff公式导致非线性项（如$c_2 = 1/12$），从而阻碍标准特征分解。
• Du Cloux定理由特征零推广：$S(\mathfrak{g})/J(\Omega) \cong U(\mathfrak{g})/I(\Omega)$作为$\mathfrak{g}$-模当且仅当$\dim \Omega = 2$且$\Omega$的次数$\leq 2$。