[论文解读] The Character Theory of a Complex Group

Dani Ben‐Zvi, David Nadler|arXiv (Cornell University)|Apr 8, 2009

Advanced Algebra and Geometry参考文献 53被引用 59

一句话总结

本文证明了复数拟李代数群 G 的旗流形上 Borel-等变 D-模的 Hecke 类是一个两重对偶化的 Calabi-Yau 幂等范畴，其范畴化了有限 Hecke 代数。它证明了该类的 Drinfeld 中心与迹通过 Springer 对应同构于 Lusztig 的幂零特征标层，从而范畴化了 Harish-Chandra 的特征标理论，并通过 Koszul 对偶性为幂零特征标层提供了 Langlands 对偶性。

ABSTRACT

We apply the ideas of derived algebraic geometry and topological field theory to the representation theory of reductive groups. Our focus is the Hecke category of Borel-equivariant D-modules on the flag variety of a complex reductive group G (equivalently, the category of Harish Chandra bimodules of trivial central character) and its monodromic variant. The Hecke category is a categorified analogue of the finite Hecke algebra, which is a finite-dimensional semi-simple symmetric Frobenius algebra. We establish parallel properties of the Hecke category, showing it is a two-dualizable Calabi-Yau monoidal category, so that in particular, its monoidal (Drinfeld) center and trace coincide. We calculate that they are identified through the Springer correspondence with Lusztig's unipotent character sheaves. It follows that Hecke module categories, such as categories of Lie algebra representations and Harish Chandra modules for G and its real forms, have characters which are themselves character sheaves. Furthermore, the Koszul duality for Hecke categories provides a Langlands duality for unipotent character sheaves. This can be viewed as part of a dimensionally reduced version of the geometric Langlands correspondence, or as S-duality for a maximally supersymmetric gauge theory in three dimensions.

研究动机与目标

• 通过证明 G/B 上 Borel-等变 D-模的 Hecke 类是一个两重对偶化的 Calabi-Yau 幂等范畴，来范畴化有限 Hecke 代数。
• 通过 Springer 对应，建立 Hecke 类的 Drinfeld 中心与迹同 Lusztig 的幂零特征标层的等价性。
• 证明可对偶的 Hecke 模范畴（如 (g,K)-模范畴和 Category O）的特征为特征标层，从而范畴化 Harish-Chandra 的特征标理论。
• 在维度约化的几何 Langlands 或 3D S-对偶性的背景下，通过 Koszul 对偶性推导出幂零特征标层的 Langlands 对偶性。
• 将此框架扩展至 Hecke 类的单值变体，并在该设定下证明中心与迹的等价性结果。

提出的方法

• 利用导出代数几何与拓扑场论（TFT）分析 Hecke 类，将其视为有限 Hecke 代数的范畴化类比。
• 应用 ∞-范畴理论、幂幺结构与对偶性理论，证明 Hecke 类是两重对偶化且为 Calabi-Yau 的。
• 通过旗流形上 D-模的积分变换与卷积实现 Hecke 类的幂幺结构。
• 利用循环 bar 构造与转置的 Hochschild 对象计算 Hecke 类的 Drinfeld 中心与迹。
• 应用 Verdier 对偶性与 D-模在堆上的凝聚性条件，关联环路空间与 horocycle 对应的几何结构。
• 建立原始 Hecke 类与单值 Hecke 类之间的 Morita 不变量，证明在单值扭变下核与正交子类保持不变。

实验结果

研究问题

• RQ1 Borel-等变 D-模在复数拟李代数群 G 的旗流形上的 Hecke 类如何范畴化有限 Hecke 代数？
• RQ2 Hecke 类的 Drinfeld 中心与迹之间的精确关系是什么？它们如何与 Lusztig 的幂零特征标层相关联？
• RQ3 如 (g,K)-模与 Category O 等 Hecke 模范畴的特征标理论能否通过特征标层实现范畴化？
• RQ4 在此框架下，Koszul 对偶性如何诱导出幂零特征标层的 Langlands 对偶性？
• RQ5 单值 D-模在将中心与迹结果推广至单值 Hecke 类中的作用是什么？

主要发现

• Borel-等变 D-模在 G/B 上的 Hecke 类是一个两重对偶化的 Calabi-Yau 幂等范畴，其范畴化了有限 Hecke 代数。
• Hecke 类的 Drinfeld 中心与迹均通过 Springer 对应同构于 Lusztig 的幂零特征标层。
• 可对偶的 Hecke 模范畴（如 (g,K)-模范畴与 Category O）的特征本身即为特征标层。
• Hecke 类的单值变体中，其中心与迹同样同构于相同的幂零特征标层，且该同构在 Morita 不变性下保持不变。
• Koszul 对偶性为幂零特征标层提供了 Langlands 对偶性，实现了维度约化的几何 Langlands 对应。
• Hecke 类的中心与迹之间的等价性通过涉及环路空间上积分变换与核的自然伴随交换图实现。