[论文解读] Some homological properties of category O. III

Kevin Coulembier, Volodymyr Mazorchuk|arXiv (Cornell University)|Apr 13, 2014

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

一句话总结

本文证明了复半单李代数的厚范畴 𝒪 在所有模的范畴中是扩张完备的，证实了正则块及其相关哈里什-钱德拉双模的弱亚历山大猜想，同时否定了奇异块的情形。此外，本文进一步表明，当从有限版本过渡到无限版本时，厚范畴 𝒪 中的投射维数增加 dim 𝔥。

ABSTRACT

We prove that thick category $\mathcal{O}$ associated to a semi-simple complex finite dimensional Lie algebra is extension full in the category of all modules. We also prove the weak Alexandru conjecture both for regular blocks of thick category $\mathcal{O}$ and the associated categories of Harish-Chandra bimodules, but disprove it for singular blocks.

研究动机与目标

• 研究 BGG 范畴 𝒪 及其相关模范畴中子范畴的扩张完备性。
• 验证厚范畴 𝒪 中正则块及其相关哈里什-钱德拉双模的弱亚历山大猜想。
• 否证范畴 𝒪 中奇异块的弱亚历山大猜想。
• 计算厚范畴 𝒪 中结构模的投射维数，并将其与标准范畴 𝒪 中的投射维数相关联。
• 将结果推广至哈里什-钱德拉双模范畴，并分析其同调性质。

提出的方法

• 通过 Yoneda 扩张和 Serre 子范畴，发展了阿贝尔范畴中扩张完备性的抽象判别准则。
• 将准则应用于证明：范畴 𝒪 在权模范畴中扩张完备，厚范畴 𝒪 在所有模的范畴中扩张完备。
• 利用 Kazhdan-Lusztig 猜想及 Cline-Parshall-Scott 的结果，建立正则块中的扩张完备性。
• 在范畴 𝒪 的奇异块中构造显式反例，以否定弱亚历山大猜想。
• 推导出厚范畴 𝒪^∞ 中投射维数与有限厚版本 𝒪^I 中投射维数之间的关系公式：pd_{𝒪^∞}M = pd_{𝒪^I}M + dim 𝔥。
• 通过范畴等价及整体维数计算，将结果推广至哈里什-钱德拉双模。

实验结果

研究问题

• RQ1 厚范畴 𝒪 是否在复半单李代数的所有模的范畴中扩张完备？
• RQ2 弱亚历山大猜想是否对厚范畴 𝒪 的正则块及其相关哈里什-钱德拉双模范畴成立？
• RQ3 弱亚历山大猜想是否对范畴 𝒪 的奇异块成立？
• RQ4 有限厚版本 𝒪^I 中模的投射维数与无限厚范畴 𝒪^∞ 中的投射维数之间有何关系？
• RQ5 哈里什-钱德拉双模范畴是否在所有双模范畴中扩张完备？

主要发现

• 厚范畴 𝒪 在复半单李代数的所有模的范畴中扩张完备。
• 弱亚历山大猜想对厚范畴 𝒪 的正则块及其相关哈里什-钱德拉双模范畴成立。
• 弱亚历山大猜想在范畴 𝒪 的奇异块中不成立，如 𝔰𝔩(3) 中的反例所示。
• 对于任意在有限厚版本 𝒪^I 中具有有限投射维数的模 M，其在 𝒪^∞ 中的投射维数为 pd_{𝒪^∞}M = pd_{𝒪^I}M + dim 𝔥。
• 哈里什-钱德拉双模范畴 ${}_{ heta}^{ ext{∞}} ext{H}^{ ext{∞}}_{ ext{χ}}$ 具有有限整体维数，当 χ 为整权时，其值等于 dim 𝔤。
• 范畴 ${}_{ ext{χ}}^{ ext{∞}} ext{H}^{ ext{∞}}_{ ext{χ}}$ 不在所有 𝔤-双模范畴中扩张完备，如在度数 2dim 𝔤 处存在非同构所示。