[论文解读] The classification of blocks in BGG category O

Kevin Coulembier|arXiv (Cornell University)|Mar 7, 2019

Algebraic structures and combinatorial models参考文献 7被引用 4

一句话总结

该论文通过证明两个块在重李代数的BGG范畴𝒪中等价当且仅当它们的抛物商在Bruhat序下作为偏序集同构，从而对重李代数的BGG范畴𝒪中块之间的等价性进行了分类。关键结果表明，Bruhat序完全决定了块的等价类，推广了Soergel定理，并揭示了不同李型之间罕见的同构关系，例如𝒪(A_{2n+1},A_{2n}) ≅ 𝒪(B_{n+1},B_n)。

ABSTRACT

We classify all equivalences between the indecomposable abelian categories which appear as blocks in BGG category O for reductive Lie algebras. Our classification implies that a block in category O only depends on the Bruhat order of the relevant parabolic quotient of the Weyl group. As part of the proof, we observe that any finite dimensional algebra with simple preserving duality admits at most one quasi-hereditary structure.

研究动机与目标

• 对重李代数的BGG范畴𝒪中作为不可约阿贝尔范畴出现的块之间的所有等价性进行分类。
• 在Soergel定理的范围之外，确定BGG范畴𝒪中两个块何时等价，后者仅涵盖Coxeter群同构的情形。
• 证明抛物商上的Bruhat序完全分类了块等价性，即使在非平凡情况下亦然。
• 证明任何具有简单保持对偶性的有限维代数至多具有一个拟旗结构，这是关键的技术工具。
• 从抛物商W/W'上的Bruhat序重构Coxeter对(W, W')，从而实现块等价性的分类。

提出的方法

• 利用标准对象和余标准对象的唯一性，证明任何具有简单保持对偶性的有限维代数至多具有一个拟旗结构。
• 利用BGG定理证明，Bruhat序是范畴𝒪中块的最高权结构的不变量。
• 使用组合与偏序集理论方法，从抛物商W/W'上的Bruhat序重构Coxeter群及其抛物子群(W, W')。
• 对有限Weyl群的抛物商的Bruhat序之间的所有同构进行分类，重点聚焦于不可约类型。
• 将Bruhat序同构的分类结果应用于确定范畴𝒪中哪些块是等价的，结合已知的等价关系与对偶性结果。
• 利用Weyl群向不可约分量的分解，通过张量积等价性将分类问题约化为不可约情形。

实验结果

研究问题

• RQ1 在什么条件下，BGG范畴𝒪中的两个块作为阿贝尔范畴是等价的？
• RQ2 抛物商上的Bruhat序在多大程度上决定了范畴𝒪中块的结构？
• RQ3 是否存在超出Weyl群同构诱导的、不同李型之间块的非平凡等价？
• RQ4 对于有限Weyl群，能否从W/W'上的Bruhat序重构对(W, W')？
• RQ5 不可约有限Weyl群的范畴𝒪中，块之间所有非平凡等价的完整列表是什么？

主要发现

• 块𝒪(W, W')与𝒪(U, U')等价当且仅当偏序集(W/W', ≤_B)与(U/U', ≤_B)作为偏序集同构。
• 块等价性的分类完全归结为对有限Weyl群的抛物商上Bruhat序同构的分类。
• 非平凡等价仅存在于特定情形：𝒪(A_{2n+1}, A_{2n}) ≅ 𝒪(B_{n+1}, B_n)（n ≥ 2），𝒪(B_n, A_{n-1}) ≅ 𝒪(D_{n+1}, A_n)（n ≥ 3），𝒪(A_3, A_2) ≅ 𝒪(B_2, A_1)，以及𝒪(A_5, A_4) ≅ 𝒪(G_2, A_1) ≅ 𝒪(B_3, B_2)。
• 最大奇异块𝒪(W, W)对任意Weyl群W都与向量空间范畴等价，这是一个平凡但普遍成立的例子。
• 确立了具有简单保持对偶性的代数上拟旗结构的唯一性，这意味着任何块之间的等价都必须保持最高权结构。
• 对于不可约Weyl群，块等价性恰好对应于其Bruhat-ordered抛物商的同构，且此类同构极为罕见，并已被完全分类。