[论文解读] Categories O for Dynkin Borel Subalgebras of Root-Reductive Lie Algebras

Thanasin Nampaisarn|arXiv (Cornell University)|Jun 19, 2017

Algebraic structures and combinatorial models被引用 5

一句话总结

本文引入并研究了根约化李代数（如 $\mathfrak{gl}_\infty(\mathbb{K})$、$\mathfrak{sl}_\infty(\mathbb{K})$、$\mathfrak{so}_\infty(\mathbb{K})$ 和 $\mathfrak{sp}_\infty(\mathbb{K})$）在特征为零的代数闭域上的经典 Bernstein-Gelfand-Gelfand (BGG) 范畴 $\mathcal{O}$ 的类比。主要贡献在于为 Dynkin Borel 子代数构造了扩展范畴 $\bar{\mathcal{O}}$，尽管在某些注入包络缺失的情况下，仍建立了 BGG 对偶性与块分解结果。

ABSTRACT

The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary, infinite-dimensional Lie algebras $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, and $\mathfrak{sp}_\infty(\mathbb{K})$. Here, $\mathbb{K}$ is an algebraically closed field of characteristic $0$. We call these categories "extended categories $\mathcal{O}$" and use the notation $\bar{\mathcal{O}}$. While the categories $\bar{\mathcal{O}}$ are defined for all splitting Borel subalgebras of $\mathfrak{g}$, this research focuses on the categories $\bar{\mathcal{O}}$ for very special Borel subalgebras of $\mathfrak{g}$ which we call Dynkin Borel subalgebras. Some results concerning block decomposition and Kazhdan-Lusztig multiplicities carry over from usual categories $\mathcal{O}$ to our categories $\bar{\mathcal{O}}$. There are differences which we shall explore in detail, such as the lack of some injective hulls. In this connection, we study truncated categories $\bar{\mathcal{O}}$ and are able to establish an analogue of BGG reciprocity in the categories $\bar{\mathcal{O}}$.

研究动机与目标

• 将经典的 BGG 范畴 $\mathcal{O}$ 推广至如 $\mathfrak{gl}_\infty$、$\mathfrak{sl}_\infty$、$\mathfrak{so}_\infty$ 和 $\mathfrak{sp}_\infty$ 等无限维根约化李代数，定义在特征为零的域上。
• 为分裂 Borel 子代数（特别是 Dynkin Borel 子代数）定义并分析 $\mathcal{O}$ 的类比范畴，记为 $\bar{\mathcal{O}}$。
• 研究结构性质，如块分解、Kazhdan-Lusztig 多重性公式，以及在扩展设定中注入包络的缺失。
• 在截断范畴 $\bar{\mathcal{O}}$ 中建立 BGG 对偶性，尽管在有限维情形中存在但此处缺失某些注入对象。

提出的方法

• 通过要求分裂极大环形子代数的半单作用与 Borel 子代数的局部有限作用，为根约化李代数定义扩展范畴 $\bar{\mathcal{O}}$。
• 聚焦于 Dynkin Borel 子代数——即对应于 $\mathbb{Z}_{>0}$ 上局部有限全序的子代数——其分类由 Dynkin 图 $\mathrm{A}_\infty^{\text{1-sided}}$ 与 $\mathrm{A}_\infty^{\text{2-sided}}$ 决定。
• 利用权模理论与根空间分解分析 $\bar{\mathcal{O}}$ 中模的结构，特别是与最高权模的关系。
• 研究截断范畴 $\bar{\mathcal{O}}$ 以恢复 BGG 对偶性，该对偶性在完整范畴中因缺少注入包络而失效。
• 利用有限型李代数中分裂极大环形子代数与 Borel 子代数的已知分类，统一定义 $\mathfrak{sl}_\infty$、$\mathfrak{so}_\infty$ 与 $\mathfrak{sp}_\infty$ 上的范畴 $\bar{\mathcal{O}}$。
• 应用无限维李代数表示论中的技术，包括权空间分解与对偶性，分析块与合成列。

实验结果

研究问题

• RQ1 如何将经典的 BGG 范畴 $\mathcal{O}$ 推广至如 $\mathfrak{gl}_\infty(\mathbb{K})$ 等无限维根约化李代数？
• RQ2 哪些结构性质——如块分解与 Kazhdan-Lusztig 多重性——可从有限维 $\mathcal{O}$ 推广至扩展范畴 $\bar{\mathcal{O}}$？
• RQ3 为何 $\bar{\mathcal{O}}$ 中某些注入包络缺失？这对范畴结构有何影响？
• RQ4 能否通过限制至截断子范畴来在 $\bar{\mathcal{O}}$ 中恢复 BGG 对偶性？
• RQ5 由 $\mathbb{Z}_{>0}$ 上局部有限全序分类的 Dynkin Borel 子代数如何影响 $\bar{\mathcal{O}}$ 的表示理论？

主要发现

• 扩展范畴 $\bar{\mathcal{O}}$ 为所有根约化李代数的分裂 Borel 子代数定义，特别关注对应于 $\mathbb{Z}_{>0}$ 上局部有限全序的 Dynkin Borel 子代数。
• 在 $\bar{\mathcal{O}}$ 中，块分解由 Weyl 群对权的作用决定，类似于有限维情形，但因无限根系的存在而有所修正。
• Verma 模中合成因子的 Kazhdan-Lusztig 多重性公式可推广至 $\bar{\mathcal{O}}$，并保持与 Hecke 代数的联系。
• $\bar{\mathcal{O}}$ 缺少经典 $\mathcal{O}$ 中存在的某些注入包络，这阻碍了在未截断设定下的完整 BGG 对偶性。
• 通过限制至截断范畴 $\bar{\mathcal{O}}$，成功恢复了 BGG 对偶性，为有限维情形提供了结构类比。
• 在自同构意义下，$\mathfrak{sl}_\infty$ 中恰好存在两个 Dynkin Borel 子代数：一个对应 Dynkin 图 $\mathrm{A}_\infty^{\text{1-sided}}$，另一个对应 $\mathrm{A}_\infty^{\text{2-sided}}$，分别对应于 $\mathbb{Z}_{>0}$ 的自然序与双侧序。