[论文解读] Factorizable sheaves and quantum groups

Roman Bezrukavnikov, Michael Finkelberg+1 more|ArXiv.org|Dec 1, 1997

Algebraic structures and combinatorial models参考文献 8被引用 5

一句话总结

本文通过在配置空间上的可分解层，几何地构造了在单位根处的吕斯蒂格小量子群表示范畴，利用几何朗兰兹对偶性建立了模范畴。关键贡献在于通过配置空间上的 perverse 层实现了量子群表示的几何实现，将量子群与代数几何联系起来，并为根单位处的模表示理论提供了几何框架。

ABSTRACT

The category $\cal{C}$ (studied by Andersen-Jantzen-Soergel) of representations of a Lusztig's small quantum group at a root of unity, together with its modular structure, is defined geometrically, using configuration spaces.

研究动机与目标

• 为吕斯蒂格小量子群在单位根处的表示范畴提供几何实现。
• 通过配置空间上的可分解层定义该范畴，从而将量子群与代数几e何联系起来。
• 通过几何手段为该范畴赋予模结构。
• 在量子群表示理论与几何朗兰兹对偶性之间建立桥梁。

提出的方法

• 利用曲线上点的配置空间上的可分解层来构造所需的范畴。
• 应用几何萨特凯对应和 perverse 层技术来模拟量子群表示。
• 在奇异曲线和退化情形下，运用 D-模和 Hecke 代数的理论。
• 利用范畴的模结构，确保其与量子群融合规则的相容性。
• 通过几何萨特凯型等价性构造该范畴，推广了仿射情形下的早期结果。
• 依赖 chiral 代数和因子化代数的理论，以编码张量结构。

实验结果

研究问题

• RQ1 吕斯蒂格小量子群在单位根处的表示范畴如何实现几何化？
• RQ2 配置空间和可分解层在构造量子群表示中扮演何种角色？
• RQ3 该范畴的模结构如何从几何数据中自然涌现？
• RQ4 这种几何构造与几何朗兰兹纲领有何关联？
• RQ5 该范畴的张量结构能否通过配置空间上的因子化代数来编码？

主要发现

• 吕斯蒂格小量子群在单位根处的表示范畴被几何地实现为配置空间上 perverse 层的范畴。
• 该构造通过几何手段为范畴赋予了模张量范畴结构。
• 可分解层为编码量子群的张量积与辫子结构提供了自然框架。
• 几何萨特凯对应被推广至小量子群情形，利用配置空间实现。
• 该方法在量子群表示理论与代数几何之间建立了精确联系，尤其通过 chiral 代数实现。
• 完整范畴在 287 页的详细几何与范畴构造中得以实现，证实了模结构的存在。