[论文解读] Highest weight categories arising from Khovanov's diagram algebra III: category O

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|Dec 5, 2008

Algebraic structures and combinatorial models参考文献 40被引用 23

一句话总结

本文通过高阶施瓦茨-外尔对偶性，建立了 gl_{m+n}(C) 的抛物型 O 类别中积分块与广义柯瓦罗夫代数的拟赫尔德覆盖之间的直接代数等价性。关键贡献在于在二维有限型 A 中实现了 2-卡姆-穆迪表示的显式、图示化实现，通过图示与 O 类别中投影函子的显式对应关系，解决了关于函子式辫子不变量的猜想。

ABSTRACT

We prove that integral blocks of parabolic category O associated to the subalgebra gl(m) x gl(n) of gl(m+n) are Morita equivalent to quasi-hereditary covers of generalised Khovanov algebras. Although this result is in principle known, the existing proof is quite indirect, going via perverse sheaves on Grassmannians. Our new approach is completely algebraic, exploiting Schur-Weyl duality for higher levels. As a by-product we get a concrete combinatorial construction of 2-Kac-Moody representations in the sense of Rouquier corresponding to level two weights in finite type A.

研究动机与目标

• 通过直接代数方法而非间接的几何方法，提供抛物型 O 类别中积分块与广义柯瓦罗夫代数的拟赫尔德覆盖之间等价性的直接代数证明。
• 利用图代数，在二维有限型 A 中实现 2-卡姆-穆迪表示的显式组合构造。
• 将柯瓦罗夫代数上图示定义的投影函子与抛物型 O 类别中的标准投影函子对应起来。
• 通过该等价性，验证 [S2] 中的猜想 2.9，该猜想关联了柯瓦罗夫与鲁奎耶的函子式辫子不变量。
• 将莫里塔等价性从主块推广至抛物型 O 类别中所有积分块。

提出的方法

• 利用高阶施瓦茨-外尔对偶性，将一般线性李代数 gl_{m+n}(C) 的表示与标准表示的对称幂与外幂张量积联系起来。
• 通过无交叉匹配与定向圆图，为广义柯瓦罗夫代数 K^{n}_{m} 构造一个分次细胞基。
• 通过与无交叉匹配相关的几何双模，定义 K^{n}_{m}-模范畴上的投影函子。
• 通过权字典与组合索引，建立 rep(K^{n}_{m}) 与抛物型 O 类别中所有积分块之和的范畴等价。
• 通过比较其在标准模与不可约模上的作用，证明 [BS2] 中的图示函子精确对应于 O 类别中的标准投影函子。
• 利用柯瓦罗夫-劳达-鲁奎耶代数的循环商与退化仿射赫克代数，实现张量空间的自同态代数，并将等价性提升至分次设定。

实验结果

研究问题

• RQ1 能否通过直接代数方法而非几何或 perverse sheaf 技术，建立抛物型 O 类别中积分块与广义柯瓦罗夫代数的拟赫尔德覆盖之间的等价性？
• RQ2 在 K^{n}_{m}-模上图示定义的投影函子是否与抛物型 O 类别中的标准投影函子相对应？
• RQ3 能否利用图代数实现二维有限型 A 中 2-卡姆-穆迪表示的显式组合构造？
• RQ4 通过该代数等价性，能否验证 [S2] 中的猜想 2.9 —— 该猜想关联了柯瓦罗夫与鲁奎耶的辫子不变量？
• RQ5 Λ(m,n) 中权的组合学与广义柯瓦罗夫代数中杯、帽与圆的图示演算之间有何关系？

主要发现

• gl_{m+n}(C) 的抛物型 O 类别中与 gl_m(C) ⊕ gl_n(C) 相关的积分块，通过直接代数构造，与广义柯瓦罗夫代数 K^{n}_{m} 的拟赫尔德覆盖之间存在莫里塔等价。
• 来自 [BS2] 的图示定义的投影函子与 O 类别中的标准投影函子同构，确认了函子式辫子不变量研究中的关键对应关系。
• 通过 K^{n}_{m}-模的图示演算，实现了二维有限型 A 中 2-卡姆-穆迪表示的显式组合构造。
• 该等价性通过高阶施瓦茨-外尔对偶性建立，避免了使用格拉斯曼流形上的 perverse sheaves 等间接几何方法。
• 通过将 λ ∈ Λ(m,n) 与定向圆图关联的权字典，显式匹配了两个范畴中的不可约模、标准模与投影模。
• 两个设定中张量空间的自同态代数分别同构于退化仿射赫克代数的循环商与柯瓦罗夫-劳达-鲁奎耶代数。