[论文解读] The combinatorics of category O for symmetrizable Kac-Moody algebras

Peter Fiebig|arXiv (Cornell University)|May 27, 2003

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

一句话总结

该论文证明，对称化 Kac-Moody 代数上范畴 𝒪 的非临界块的结构完全由积分 Weyl 群及其在权上的作用的组合学决定。它证明了具有同构作用于参数空间的等价 Coxeter 系统将导出等价的范畴，从而通过范畴等价将有限型与仿射型中非积分块的 Kazhdan-Lusztig 猜想约化为已知的积分情形。

ABSTRACT

We show that the structure of blocks outside the critical hyperplanes of category O over any symmetrizable Kac-Moody algebra depends only on the corresponding integral Weyl group and its action on the parameters of the Verma modules by giving a combinatorial description of the projective objects. As an application we derive the Kazhdan-Lusztig conjecture for non-integral blocks from the integral case in finite and affine situations.

研究动机与目标

• 将 Soergel 的有限维半单李代数范畴等价结果推广至对称化 Kac-Moody 代数。
• 证明在临界超平面之外，范畴 𝒪 的结构仅取决于 Weyl 群及其在权上的作用。
• 通过余不变代数与转移函子，建立非积分块中投射对象的组合描述。
• 通过范畴等价，将有限型与仿射型中非积分块的 Kazhdan-Lusztig 猜想约化为积分情形。

提出的方法

• 将与 Coxeter 系统 $ ({ m W}( ext{L}), { m S}( ext{L})) $ 关联的余不变代数 $ C = C({ m W}( ext{L}), { m S}( ext{L})) $ 作为块结构的关键不变量。
• 构造一个从范畴 𝒪 到 $ C $-mod 的函子 $ b{V} = { m Hom}(P(w_0. ext{L}), ullet) $，其保持 Hom 空间并与转移函子对易。
• 通过 Weyl 群元素长度的归纳法，证明当 $ ext{L} $ 为正则时，$ b{V} $ 诱导出范畴等价 $ { m O}_ ext{L} o C{ m -mod} $。
• 利用倾斜函子与截断函子，将等价关系从正级别块扩展至负级别块。
• 通过 Coxeter 系统的同构应用该等价关系，将非积分块的 Kazhdan-Lusztig 猜想约化为积分情形。
• 利用关于积分块的已知结果（Beilinson-Bernstein, Brylinski-Kashiwara, Kashiwara-Tanisaki）得出非积分情形下猜想成立的结论。

实验结果

研究问题

• RQ1 对称化 Kac-Moody 代数上范畴 𝒪 在临界超平面之外的结构是否仅取决于 Weyl 群及其在权上的作用？
• RQ2 有限型与仿射型 Kac-Moody 代数中非积分块的 Kazhdan-Lusztig 猜想能否约化为积分情形？
• RQ3 能否通过余不变代数与转移函子，对非积分块中的投射对象给出组合描述？
• RQ4 在何种条件下，Coxeter 系统的同构会诱导出范畴 𝒪 块的等价？
• RQ5 倾斜函子能否用于将范畴等价从正级别块扩展至负级别块？

主要发现

• 当关联的 Coxeter 系统 $ ({ m W}( ext{L}), { m S}( ext{L})) $ 与 $ ({ m W}'( ext{L}'), { m S}'( ext{L}')) $ 同构且其在权上的作用兼容时，范畴 𝒪 的块 $ { m O}_ ext{L} $ 与 $ { m O}'_{ ext{L}'} $ 等价。
• 在 $ { m O}_ ext{L} $ 中的投射对象完全由余不变代数 $ C $ 与 Weyl 群的作用决定，且 $ { m Hom}(P(w. ext{L}), ullet) $ 构成一个完全、忠实且正合的函子到 $ C{ m -mod} $。
• 对于在临界超平面之外的正则有限型或仿射型块，Kazhdan-Lusztig 多项式 $ P_{y,w} $ 与 $ Q_{w,y ext{}} $ 决定 Verma 模中单模的合成列。
• 等价关系 $ { m O}_ ext{L} o { m O}'_{ ext{L}'} $ 保持了 Verma 模与单模的类，因此 $ [M(x. ext{L}):L(y. ext{L})] = [M(x. ext{L}'):L(y. ext{L}')] $。
• 当 Weyl 群为有限型或仿射型且块为正则时，Kazhdan-Lusztig 猜想在有限型与仿射型对称化 Kac-Moody 代数的非积分块中成立。
• 该结果通过范畴等价将已知的 Kazhdan-Lusztig 猜想证明（例如 Kashiwara 与 Kashiwara-Tanisaki 的证明）从积分情形推广至非积分情形。