[论文解读] Kazhdan-Lusztig Theory of super type D and quantum symmetric pairs

Huanchen Bao|arXiv (Cornell University)|Mar 16, 2016

Algebraic structures and combinatorial models参考文献 1被引用 9

一句话总结

本文通过引入基于不等参数量子对称对的全新框架，建立了正交辛李超代数 𝔪(2m|2n) 的 BGG 类 O 的 Kazhdan-Lusztig 理论。利用 𝕌_q(𝔰ₗ_k) 的自然表示的张量积上的 𝔦-典范基，作者通过中央化不等参数 B 型 Hecke 代数作用的余代数子代数重新表述了该理论，最终解决了该范畴中不可约特征标的长期悬而未决的问题。

ABSTRACT

We reformulate the Kazhdan-Lusztig theory for the BGG category $\mathcal{O}$ of Lie algebras of type D via the theory of canonical bases arising from quantum symmetric pairs initiated by Weiqiang Wang and the author. This is further applied to formulate and establish for the first time the Kazhdan-Lusztig theory for the BGG category $\mathcal{O}$ of the ortho-symplectic Lie superalgebra $\mathfrak{osp}(2m|2n)$.

研究动机与目标

• 建立正交辛李超代数 𝔪(2m|2n) 的 BGG 类 O 的 Kazhdan-Lusztig 理论，该问题自 1970 年代以来一直悬而未决。
• 将量子对称对的典范基理论从等参数情形推广至不等参数情形，使其可应用于超代数 D 型。
• 通过中央化不等参数 B 型 Hecke 代数作用的 𝕌_q(𝔰ₗ_k) 的余代数子代数，为 D 型提供 Kazhdan-Lusztig 理论的新重表述。
• 通过超对偶、截断和 Fock 空间实现中的诱导，解决 𝔪(2m|2n) 类 O 中的特征标问题。

提出的方法

• 作者构造了 𝕌_q(𝔰ₗ_k) 的一个余代数子代数 𝕌_q^𝔦(𝔰ₗ_k)，使其中央化不等参数 B 型 Iwahori-Hecke 代数 ℋ_B^p_m（参数为 p 和 q）的作用。
• 他们利用 𝕍^⊗m ⊗ 𝕎^⊗n 的 Fock 空间实现来建模 𝔪(2m|2n) 的类 O，其中 ℋ_B^1_m（在 p=1 处的特殊化）包含 D 型 Hecke 代数 ℋ_D_m 作为子代数。
• 该理论依赖于 Fock 空间上 𝔦-典范基的存在性，该基通过对合运算构造，并与余代数子代数结构相适应。
• 诱导过程通过一系列步骤完成：改变 Borel 子代数、过渡到抛物子范畴、取无穷极限（k→∞）、应用超对偶，并截断以恢复完整的类 O。
• 关键技术工具包括将 𝕌_q^𝔦(𝔰ₗ_k) 的 Chevalley 生成元识别为 𝔰𝔬(2m) 类 O 上的平移函子，以及通过 D 型的 isotropic 部分旗流形实现余代数子代数的几何实现实现。
• 证明通过关于 m 和 n 的归纳法进行，其基例分别等价于 𝔰𝔬(2m) 和 𝔰𝔪(2n) 的原始 Kazhdan-Lusztig 猜想，且依赖于 [BW13]、[CLW15] 和 [BLW] 的结果。

实验结果

研究问题

• RQ1 如何将 Kazhdan-Lusztig 理论扩展至缺乏 Weyl 群对连锁关系控制的正交辛李超代数 𝔪(2m|2n) 的 BGG 类 O？
• RQ2 不等参数的量子对称对在构造控制超代数 D 型特征公式之典范基中起何作用？
• RQ3 能否利用 𝕌_q^𝔦(𝔰ₗ_k) 作为 𝕌_q(𝔰ₗ_k) 的余代数子代数，来中央化 B 型 Hecke 代数 ℋ_B^1_m 的作用，从而实现一种独立于 D 型 Hecke 代数的 Kazhdan-Lusztig 理论的新表述？
• RQ4 Fock 空间构造中使用张量积 𝕍^⊗m ⊗ 𝕎^⊗n 及无穷极限（k→∞）如何促进特征公式归纳证明的实现？
• RQ5 Fock 空间上的 𝔦-典范基与 𝔪(2m|2n) 类 O 中的不可约特征标之间的确切关系为何？

主要发现

• 本文首次为正交辛李超代数 𝔪(2m|2n) 的 BGG 类 O 建立了完整的 Kazhdan-Lusztig 理论，解决了超表示论中长期悬而未决的难题。
• 不可约特征标公式为 Ψ([L_b(λ)]) = L_b^{f_b^λ}(1) 和 Ψ([T_b(λ)]) = T_b^{f_b^λ}(1)，对所有 λ ∈ X_ev(m|n) 成立，其中 Ψ 是 Grothendieck 群与 𝔦-典范基之间的同构。
• 归纳的基例 𝔦KL(m|0) 等价于 𝔰𝔬(2m) 的原始 Kazhdan-Lusztig 猜想，而 𝔦KL(n|0) 等价于 𝔰𝔪(2n) 的猜想起，两者均已知成立。
• 归纳步骤通过 Fock 空间同构实现：改变 Borel 子代数、过渡到抛物子范畴、取 k→∞ 极限、应用超对偶，并通过截断恢复完整类 O。
• 证明显示余代数子代数 𝕌_q^𝔦(𝔰ₗ_k) 中央化 ℋ_B^1_m 在 𝕍^⊗m 上的作用，其作用对应于 𝔰𝔬(2m) 类 O 上的平移函子，从而为超代数情形提供了几何与代数上的桥梁。
• 该理论与超对偶完全兼容，并将量子对称对的框架扩展至不等参数情形，为超代数 D 型提供了 Kazhdan-Lusztig 理论的新、内在的表述。