[论文解读] Affine flag varieties and quantum symmetric pairs

Zhaobing Fan, Chun‐Ju Lai+3 more|arXiv (Cornell University)|Feb 13, 2016

Algebraic structures and combinatorial models参考文献 27被引用 12

一句话总结

本文通过仿射旗流形相关的施图尔姆代数与吕斯蒂格代数，构建了八类仿射型C的量子对称对的几何实现。它为这些代数建立了单项基与典范基，并证明了典范基在乘法、共乘法及双线性配对下的正性性质，从而通过稳定化程序，首次以几何方式构造了幂等化仿射量子gl的典范基。

ABSTRACT

The quantum groups of finite and affine type $A$ admit geometric realizations in terms of partial flag varieties of finite and affine type $A$. Recently, the quantum group associated to partial flag varieties of finite type $B/C$ is shown to be a coideal subalgebra of the quantum group of finite type $A$. In this paper we study the structures of Schur algebras and Lusztig algebras associated to (four variants of) partial flag varieties of affine type $C$. We show that the quantum groups arising from Lusztig algebras and Schur algebras via stabilization procedures are (idempotented) coideal subalgebras of quantum groups of affine $\mathfrak{sl}$ and $\mathfrak{gl}$ types, respectively. In this way, we provide geometric realizations of eight quantum symmetric pairs of affine types. We construct monomial and canonical bases of all these quantum (Schur, Lusztig, and coideal) algebras. For the idempotented coideal algebras of affine $\mathfrak{sl}$ type, we establish the positivity properties of the canonical basis with respect to multiplication, comultiplication and a bilinear pairing. In particular, we obtain a new and geometric construction of the idempotented quantum affine $\mathfrak{gl}$ and its canonical basis.

研究动机与目标

• 通过施图尔姆代数与吕斯蒂格代数，实现仿射型C的量子对称对的几何构造。
• 为型C的仿射旗流形所导出的余理想子代数构造单项基与典范基。
• 为幂等化余理想代数的仿射sl建立典范基在乘法、共乘法及双线性配对下的正性。
• 通过稳定化程序，提供幂等化仿射量子gl及其典范基的新几何构造。
• 将有限型构造推广至仿射型C，扩展了已知的量子对称对与典范基结果。

提出的方法

• 利用型C的仿射旗流形的格子表示，定义施图尔姆代数与吕斯蒂格代数。
• 对施图尔姆代数与吕斯蒂格代数应用稳定化程序，构造量子仿射sl与gl的幂等化余理想子代数。
• 通过卷积与转移映射在施图尔姆代数与吕斯蒂格代数上定义共乘法映射，确保与几何结构的相容性。
• 通过同伦的同调代数构造单项基，并验证其与典范基的相容性。
• 通过分析乘法与共乘法公式中的首项，证明典范基的正性。
• 通过映射ψ建立有限型与仿射型施图尔姆代数之间的代数同构，保持典范基不变。

实验结果

研究问题

• RQ1 如何利用型C的仿射旗流形相关的施图尔姆代数与吕斯蒂格代数，实现仿射型量子对称对？
• RQ2 幂等化余理想子代数的典范基在仿射sl中的结构如何？其在乘法与共乘法下是否具有正性？
• RQ3 稳定化程序如何将施图尔姆代数与吕斯蒂格代数转化为幂等化量子群？其结果的典范基为何？
• RQ4 转移映射与共乘法在有限型与仿射型之间保持代数与几何结构的角色是什么？
• RQ5 在同构ψ下，有限型B/C的施图尔姆代数典范基与仿射型C的典范基之间关系如何？

主要发现

• 本文通过仿射旗流形上施图尔姆代数与吕斯蒂格代数的几何实现，构造了八类不同的仿射型C量子对称对。
• 证明了幂等化余理想代数的典范基在乘法、共乘法及双线性配对下具有正性。
• 通过施图尔姆代数的稳定化，首次实现了幂等化仿射量子gl及其典范基的新几何构造。
• 为所有由型C仿射旗流形导出的施图尔姆代数、吕斯蒂格代数与余理想代数，显式构造了单项基与典范基。
• 有限型与仿射型施图尔姆代数之间的同构ψ保持了典范基，确保了几何与代数结构的一致性。
• 稳定化过程得到代数9Kc_n，其同构于幂等化仿射量子gl，且其典范基被证明是稳定且正的。