[论文解读] On Categories $\mathcal{O}$ for Root-Reductive Lie Algebras

Thanasin Nampaisarn|arXiv (Cornell University)|Nov 30, 2017

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

本文为代数闭域上特征零的无限维根约化李代数引入了伯恩斯坦-盖尔范德-盖尔范德范畴 $\mathcal{O}$ 的类比。通过聚焦于狄尼金博雷尔子代数，建立了具有良好结构的范畴 $\bar{\mathcal{O}}$，其包含韦尔玛模、合成列类比以及广义的卡兹丹-卢斯蒂格理论，尽管在全范畴中缺乏内射对象，仍证明了截断子范畴的 BGG 对偶性。

ABSTRACT

Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We study the category $\bar{\mathcal{O}}$ consisting of all $\mathfrak{h}$-weight $\mathfrak{g}$-modules which are locally $\mathfrak{b}$-finite and have finite-dimensional $\mathfrak{h}$-weight spaces. The focus is on very special Borel subalgebras called the Dynkin Borel subalgebras. This paper serves as an initial passage to the understanding of categories $\mathcal{O}$ for infinite-dimensional root-reductive Lie algebras.

研究动机与目标

• 将经典的 BGG 范畴 $\mathcal{O}$ 推广至无限维根约化李代数，这些代数是满足特定限制的约化李代数的直接极限。
• 定义并研究一个广义范畴 $\bar{\mathcal{O}}$，其由 $\mathfrak{h}$-半单模组成，具有局部有限的 $\mathfrak{b}$-作用以及有限维的 $\mathfrak{h}$-权空间。
• 聚焦于狄尼金博雷尔子代数——一种特殊的博雷尔子代数，其赋予 $\bar{\mathcal{O}}$ 增强的结构性质，如存在韦尔玛模和合成列类比。
• 将卡兹丹-卢斯蒂格理论推广至 $\bar{\mathcal{O}}$，并建立尽管全范畴中缺乏内射对象，但截断子范畴中存在 BGG 对偶性的版本。

提出的方法

• 为根约化李代数 $\mathfrak{g}$ 关于包含分裂极大环形子代数 $\mathfrak{h}$ 的分裂博雷尔子代数 $\mathfrak{b}$ 定义扩展范畴 $\bar{\mathcal{O}}$，要求满足 $\mathfrak{h}$-半单性、局部有限的 $\mathfrak{b}$-作用以及有限维的 $\mathfrak{h}$-权空间。
• 聚焦于狄尼金博雷尔子代数，其特征为根系是有限根系的并集并具有特定排序，从而支持更强的结构性结果。
• 利用李代数 $[\mathfrak{g}, \mathfrak{g}]$ 的结构，其为有限维单李代数与单拟有限李代数（如 $\mathfrak{sl}_\infty$、$\mathfrak{so}_\infty$、$\mathfrak{sp}_\infty$）的直和。
• 将韦尔玛模构造为从 $\mathfrak{b}$-模诱导的模，并证明当 $\mathfrak{b}$ 为狄尼金博雷尔子代数时，这些模属于 $\bar{\mathcal{O}}$。
• 通过 Weyl 群作用及由 Weyl 群胚诱导的权空间上的等价关系，分析 $\bar{\mathcal{O}}$ 的块分解。
• 应用 [RCW] 中的技术，为 $\bar{\mathcal{O}}$ 的截断子范畴建立 BGG 对偶性，从而规避全范畴中缺乏内射对象的问题。

实验结果

研究问题

• RQ1 如何将经典的 BGG 范畴 $\mathcal{O}$ 推广至无限维根约化李代数？
• RQ2 当以狄尼金博雷尔子代数为基准定义时，范畴 $\bar{\mathcal{O}}$ 具有哪些结构性质？
• RQ3 卡兹丹-卢斯蒂格理论能否推广至根约化李代数的 $\bar{\mathcal{O}}$？
• RQ4 $\bar{\mathcal{O}}$ 的块结构如何反映根系与 Weyl 群胚作用的关系？
• RQ5 尽管缺乏内射对象，$\bar{\mathcal{O}}$ 中是否存在 BGG 对偶性的版本？

主要发现

• 以狄尼金博雷尔子代数为基准的范畴 $\bar{\mathcal{O}}$ 包含所有韦尔玛模，这些模在李代数表示论中具有根本重要性。
• 所有 $\bar{\mathcal{O}}$ 中的对象均具有合成列类比，其有限长度商模为不可约模或韦尔玛模。
• 卡兹丹-卢斯蒂格理论可推广至 $\bar{\mathcal{O}}$，使得卡兹丹-卢斯蒂格多项式可用于描述韦尔玛模中的合成因子。
• $\bar{\mathcal{O}}$ 的块分解由 Weyl 群胚在权格上的作用控制，块由该作用下的轨道索引。
• 尽管 $\bar{\mathcal{O}}$ 缺乏内射对象，但通过 [RCW] 方法证明其截断子范畴中存在 BGG 对偶性的版本。
• 根约化李代数 $\mathfrak{g}$ 的导出理想 $[\mathfrak{g}, \mathfrak{g}]$ 是有限维单李代数与单拟有限李代数的直和，每类至多以可数重数出现。