[论文解读] A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs

Huanchen Bao, Weiqiang Wang|arXiv (Cornell University)|Oct 1, 2013

Algebraic structures and combinatorial models参考文献 34被引用 138

一句话总结

本文通过量子对称对偶，为正交辛李超代数 𝔪(2m+1|2n) 的 BGG 类 O 建立了新的 Kazhdan-Lusztig 理论。通过 Hecke 代数类型 B 与类型 A 量子群的余理想子代数之间的双重中心化性质，引入了 𝔪-规范基与 𝔪-Kazhdan-Lusztig 多项式，推广了 Schur-Jimbo 对偶性，并为类型 B/C 李代数提供了新的表述形式。

ABSTRACT

We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.

研究动机与目标

• 为类型 B/C 李超代数，特别是正交辛李超代数 𝔪(2m+1|2n)，发展 Kazhdan-Lusztig 理论的新方法。
• 通过建立类型 B Hecke 代数与类型 A 量子群余理想子代数之间的双重中心化性质，将 Schur-Jimbo 对偶性从类型 A 推广至类型 B。
• 从量子对称对偶出发，启动一种新规范基理论，特别是 𝔪-规范基，以解决李超代数 BGG 类 O 中的不可约特征标问题。
• 利用此新框架，独立于标准 Hecke 代数方法，重新表述经典类型 B/C 李代数的 Kazhdan-Lusztig 理论。

提出的方法

• 在类型 B 的 Hecke 代数 𝒫Bm 与类型 A 量子群 𝒰 的余理想子代数 𝒰𝔪 之间建立双重中心化性质。
• 构造一个互换算子 Υ 和一个同构 𝒯，以实现 𝒰𝔪 与 𝒫Bm 之间的对偶性。
• 为量子对称对偶 (𝒰, 𝒰𝔪) 定义一个归一化的 quasi-R-矩阵 Θ𝔪，用于在 𝒰𝔪-模上定义共轭对合。
• 通过共轭不变的拓扑基构造，在完成的 Fock 空间上引入 𝔪-规范基与对偶 𝔪-规范基。
• 利用关于 Bruhat 顺序的 B-完成 Fock 空间，定义 𝔪-Kazhdan-Lusztig 多项式 t𝔟gf(q) 与 ℓ𝔟gf(q)。
• 将该理论应用于 𝔪(2m+1|2n) 的 BGG 类 O，证明其 Grothendieck 群与完成的 Fock 空间之间存在同构，通过映射 Ψ 将单模与倾斜模的类分别映射至 𝔪-规范基与对偶 𝔪-规范基。

实验结果

研究问题

• RQ1 能否通过量子对称对偶，为正交辛李超代数 𝔪(2m+1|2n) 的 BGG 类 O 构建新的 Kazhdan-Lusztig 理论？
• RQ2 类型 B Hecke 代数与类型 A 量子群余理想子代数之间的双重中心化性质，是否可推广 Schur-Jimbo 对偶性至类型 B？
• RQ3 能否从量子对称对偶出发，构建一种新规范基理论——特别是 𝔪-规范基——以解决李超代数中的不可约特征标问题？
• RQ4 𝔪-Kazhdan-Lusztig 多项式 t𝔟gf(q) 与 ℓ𝔟gf(q) 如何与 𝔪(2m+1|2n) 的 BGG 类 O 中单模与倾斜模的特征标相关联？
• RQ5 该框架能否为经典类型 B/C 李代数提供一种独立于标准 Hecke 代数方法的新 Kazhdan-Lusztig 理论表述？

主要发现

• 类型 B 的 Hecke 代数与类型 A 量子群的余理想子代数 𝒰𝔪 满足双重中心化性质，推广了 Schur-Jimbo 对偶性。
• 通过量子对称对偶，启动了一套新规范基理论——特别是 𝔪-规范基——其基元素定义为完成 Fock 空间中关于共轭不变的拓扑基。
• 𝔪-Kazhdan-Lusztig 多项式 t𝔟gf(q) 与 ℓ𝔟gf(q) 定义为 𝔪-规范基与对偶 𝔪-规范基在标准单项基展开中的系数。
• 𝔪(2m+1|2n) 的 BGG 类 O 的 Grothendieck 群 [𝒪Δb] 通过映射 Ψ 同构于完成的 Fock 空间 ̂𝕋b，该映射将单模类 [Lb(λ)] 映射至 𝔪-规范基元素 L𝔟f𝔟λ(1) 的像。
• 倾斜模类 [Tb(λ)] 被映射至 𝔪-规范基元素 T𝔟f𝔟λ(1)，从而通过 𝔪-规范基建立特征标公式。
• 该理论通过量子对称对偶实现规范基，为类型 B/C 李代数提供了独立于标准 Hecke 代数方法的新 Kazhdan-Lusztig 理论表述。