[论文解读] A new construction of the semi-infinite BGG resolution

Sergey Arkhipov|ArXiv.org|May 29, 1996

Algebraic structures and combinatorial models参考文献 6被引用 9

一句话总结

本文提出了一种利用仿射 Weyl 群索引的半正则双模和扭 functor，对仿射李代数的半无限 BGG 分解进行新构造。通过将这些 functor 作用于 Verma 模，作者生成了扭曲的 BGG 分解，这些分解构成一个归纳系统，其极限即为 Wakimoto 模的复形形式的半无限 BGG 分解。

ABSTRACT

We introduce the techniques of semiregular bimodules over a Lie algebra with respect to a Lie subalgebra. Using this techniques in the case of affine Lie algebras we introduce twisting functors on the categories of modules. These functors are enumerated by elements of the affine Weyl group corresponding to the chosen affine Lie algebra and map Verma modules to so called twisted Verma modules. Applying twisting functors to the BGG resolution of an integrable simple module we obtain a sequence of complexes called the twisted BGG resolutions. We show that the twisted BGG resolutions form an inductive system of complexes. It turns out that the limit complex of the inductive system is exactly the semi-infinite BGG resolution introduced by B. Feigin and E. Frenkel and consisting of direct sums of Wakimoto modules.

研究动机与目标

• 开发一种新的代数框架，用于在仿射李代数的背景下构造半无限 BGG 分解。
• 定义并研究基于李代数子代数的半正则双模的模类范畴上的扭 functor。
• 通过归纳极限构造，建立扭曲 BGG 分解与半无限 BGG 分解之间的联系。
• 证明扭曲分解的极限复形同构于涉及 Wakimoto 模的半无限 BGG 分解。
• 通过函子和范畴方法，提供对半无限 BGG 分解的观念性和结构性理解。

提出的方法

• 引入关于李代数子代数的半正则双模概念，以促进模类范畴上的运算。
• 在仿射李代数模类范畴上定义由仿射 Weyl 群元素索引的扭 functor。
• 将这些 functor 作用于 Verma 模，生成扭曲 Verma 模，推广了标准 Verma 模的构造。
• 将扭曲 Verma 模构成的复形作为扭曲 BGG 分解，形成一系列链复形。
• 证明扭曲 BGG 分解在复形之间的包含或态射映射下构成一个归纳系统。
• 取该系统的归纳极限，得到半无限 BGG 分解，证明其由 Wakimoto 模的直和构成。

实验结果

研究问题

• RQ1 如何通过 Verma 模上的函子运算系统地构造半无限 BGG 分解？
• RQ2 仿射 Weyl 群在通过扭 functor 生成模类范畴自同构中起什么作用？
• RQ3 扭曲 BGG 分解能否组织成一个归纳系统，其极限即为半无限分解？
• RQ4 Wakimoto 模如何自然地作为扭曲分解极限中的组成部分出现？
• RQ5 半正则双模在定义和控制扭 functor 行为方面有何重要意义？

主要发现

• 由仿射 Weyl 群索引的扭 functor 将 Verma 模映射为扭曲 Verma 模，提供了一种系统生成新模的方法。
• 扭曲 BGG 分解序列构成一个归纳系统，即在连续复形之间存在相容的态射。
• 扭曲 BGG 分解的归纳极限同构于 Feigin 和 Frenkel 定义的半无限 BGG 分解。
• 极限复形被实现为 Wakimoto 模直和的复形，证实了其在半无限分解中的结构性作用。
• 该构造提供了一种新的、函子化的半无限 BGG 分解推导方法，独立于早期的几何或上同调方法。
• 半正则双模的使用使得扭 functor 的代数表述更加清晰，增强了仿射李代数表示论中的范畴清晰度。