[论文解读] Character sheaves on unipotent groups in positive characteristic: foundations

Mitya Boyarchenko, Vladimir Drinfeld|arXiv (Cornell University)|Oct 5, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 7

一句话总结

本文建立了在正特征代数闭域上，幂零代数群上特征层的基础理论。证明了在等变导出范畴中，每个极小闭幂等元均源自一个可接受对，且每个此类幂等元定义了一个具有平凡高阶Ext群和受控卷积性质的有限${\mathbb{L}}$-包，从而完成了李兹提在幂零情形下对特征层理论的猜想框架。

ABSTRACT

In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic p>0. In particular, we show that every admissible pair for such a group G gives rise to an L-packet of character sheaves on G, and that, conversely, every L-packet of character sheaves on G arises from a (non-unique) admissible pair. In the appendices we discuss two abstract category theory patterns related to the study of character sheaves. The first appendix sketches a theory of duality for monoidal categories, which generalizes the notion of a rigid monoidal category and is close in spirit to the Grothendieck-Verdier duality theory. In the second one we use a topological field theory approach to define the canonical braided monoidal structure and twist on the equivariant derived category of constructible sheaves on an algebraic group; moreover, we show that this category carries an action of the surface operad. The third appendix proves that the "naive" definition of the equivariant constructible derived category with respect to a unipotent algebraic group is equivalent to the "correct" one.

研究动机与目标

• 为李兹提在正特征域上幂零群上的特征层猜想理论提供严格的理论基础。
• 建立等变导出范畴中极小闭幂等元与${\mathbb{L}}$-包特征层之间的对应关系。
• 证明每个${\mathbb{L}}$-包均源自一个可接受对，且在此情形下极小闭幂等元与极小弱幂等元重合。
• 通过证明对于幂零群，朴素定义与正确定义在等变导出范畴中等价，解决等变导出范畴中的基础性问题。

提出的方法

• 理论在群$G$的等变导出范畴$\mathscr{D}_G(G)$内发展，该范畴由幂零群$G$上的可构造$\overline{\mathbb{Q}}_\ell$-复形构成，并配备卷积作为张量结构。
• 关键工具包括为闭子群$G' \subset G$构造具有紧支集的诱导函子，以及利用可接受对构建极小弱幂等元。
• 作者通过单位映射$\mathbbm{1} \to e$定义极小闭幂等元，该映射在与$e$卷积后成为同构，并证明其与极小弱幂等元重合。
• 采用拓扑场论方法定义$\mathscr{D}_G(G)$上的典范辫子张量结构与扭变，表明该范畴具有曲面操作子作用。
• 本文证明，对于幂零$G$，$G$-等变导出范畴的朴素定义与标准正确定义等价，从而解决了基础性问题。
• 在张量范畴的背景下，发展了对偶性模式，包括格罗滕迪克-维尔迪埃对偶性的推广，以支持该理论。

实验结果

研究问题

• RQ1 如何系统地构造并分类正特征域上幂零群的特征层？
• RQ2 可接受对与${\mathbb{L}}$-包特征层之间的确切关系是什么？
• RQ3 在$\mathscr{D}_G(G)$中，极小闭幂等元是否与极小弱幂等元重合？若然，其与轨道方法有何关联？
• RQ4 当$G$为幂零群时，$G$-等变导出范畴的正确定义是什么？其与朴素定义有何关系？
• RQ5 如何通过$\mathscr{D}_G(G)$上的对偶性与张量结构支持特征层理论？

主要发现

• 对于正特征$p > 0$的幂零群$G$，每个可接受对均在$\mathscr{D}_G(G)$中生成一个极小闭幂等元，从而定义一个${\mathbb{L}}$-包特征层。
• 每个${\mathbb{L}}$-包特征层均源自一个（非唯一）可接受对，从而实现完全分类。
• ${\mathbb{L}}$-包是有限的，且对于同一包中特征层$M$与$N$，有$\operatorname{Ext}^i(M,N) = 0$对所有$i > 0$成立，表明其为半单。
• 若$M$与$N$属于由极小闭幂等元$e$定义的${\mathbb{L}}$-包，则$M * N$在某个仅依赖于$e$的整数$n_e$的上同调移位下为 perverse。
• 若$M$与$N$属于不同的${\mathbb{L}}$-包，则$M * N = 0$，表明不同包之间正交。
• 对于幂零$G$，$G$-等变导出范畴的朴素定义与正确定义等价，从而解决了该理论中的基础性问题。