[论文解读] Geometric Schur duality of classical type

Huanchen Bao, Jonathan R. Kujawa+2 more|arXiv (Cornell University)|Apr 15, 2014

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

一句话总结

该论文通过在部分旗流形上采用BLM型稳定化方法，首次构造了经典类型$B/C$的$Σ$-Schur对偶性的几何实现，为修正的余理想代数$̂{\mathbf{U}}^{\jmath}$和$̂{\mathbf{U}}^{\imath}$建立了单项基与典范基。证明了这些代数是量子一般线性代数的余理想子代数，并表明$̂{\mathbf{U}}^{\jmath}$与$̂{\mathbf{U}}^{\imath}$的典范基在自然同态下映射到Schur代数$Σ^{\jmath}$与$Σ^{\imath}$的典范基，从而解决了关于量子对称对几何构造的长期悬而未决的问题。

ABSTRACT

This is a generalization of the classic work of Beilinson, Lusztig and MacPherson. In this paper (and an Appendix) we show that the quantum algebras obtained via a BLM-type stabilization procedure in the setting of partial flag varieties of type $B/C$ are two (modified) coideal subalgebras of the quantum general linear Lie algebra, $\dot{\mathbf U}^{\jmath}$ and $\dot{\mathbf U}^{\imath}$. We provide a geometric realization of the Schur-type duality of Bao-Wang between such a coideal algebra and Iwahori-Hecke algebra of type $B$. The monomial bases and canonical bases of the Schur algebras and the modified coideal algebra $\dot{\mathbf U}^{\jmath}$ are constructed. In an Appendix by three authors, a more subtle $2$-step stabilization procedure leading to $\dot{\mathbf U}^{\imath}$ is developed, and then monomial and canonical bases of $\dot{\mathbf U}^{\imath}$ are constructed. It is shown that $\dot{\mathbf U}^{\imath}$ is a subquotient of $\dot{\mathbf U}^{\jmath}$ with compatible canonical bases. Moreover, a compatibility between canonical bases for modified coideal algebras and Schur algebras is established.

研究动机与目标

• 解决关于经典类型$B/C$的部分旗流形几何中出现的量子代数的未解问题。
• 在余理想代数$̂{\mathbf{U}}^{\jmath}$与$̂{\mathbf{U}}^{\imath}$和类型$B$的Iwahori-Hecke代数之间实现$Σ$-Schur对偶性的几何化。
• 通过两步稳定化程序，构造修正余理想代数$̂{\mathbf{U}}^{\jmath}$与$̂{\mathbf{U}}^{\imath}$的单项基与典范基。
• 建立修正余理想代数的典范基与其在Schur代数中像之间的相容性。

提出的方法

• 利用类型$B/C$的部分旗流形上的几何卷积代数，论文构造了Schur代数$Σ^{\jmath}$，并将其识别为修正余理想代数$̂{\mathbf{U}}^{\jmath}$的商代数。
• 对部分旗流形的几何结构应用BLM型稳定化程序，论文将$̂{\mathbf{U}}^{\jmath}$识别为一族Schur代数$Σ^{\jmath}$背后的量子代数。
• 在附录中引入更精细的两步稳定化程序，论文构造了代数$̂{\mathbf{U}}^{\imath}$及其典范基。
• 定义同态$φ_d: ̂{\mathbf{U}}^{\jmath} \to \u03a3^{\jmath}$，论文证明其保持典范基，将典范基元素映射为$Σ^{\jmath}$的典范基元素或零，具体取决于该基元素是否属于稳定化的像。
• 证明$̂{\mathbf{U}}^{\imath}$是$̂{\mathbf{U}}^{\jmath}$的子商代数，且其典范基在该商结构下保持相容。
• 证明在同态$φ_d^\imath$与$φ_d^\jmath$下典范基的相容性，表明它们是基于模的同态。

实验结果

研究问题

• RQ1 从类型$B/C$的部分旗流形的几何中会涌现出什么样的量子代数？
• RQ2 余理想代数与类型$B$的Iwahori-Hecke代数之间的$Σ$-Schur对偶性能否实现几何化？
• RQ3 能否使用几何方法构造修正余理想代数$̂{\mathbf{U}}^{\jmath}$与$̂{\mathbf{U}}^{\imath}$的单项基与典范基？
• RQ4 修正余理想代数$̂{\mathbf{U}}^{\jmath}$、$̂{\mathbf{U}}^{\imath}$与Schur代数$Σ^{\jmath}$、$Σ^{\imath}$的典范基之间是否存在相容关系？
• RQ5 $̂{\mathbf{U}}^{\jmath}$与$̂{\mathbf{U}}^{\imath}$之间有何关系？它们的典范基是否以相容方式相互作用？

主要发现

• 修正余理想代数$̂{\mathbf{U}}^{\jmath}$被实现为类型$B/C$的部分旗流形上几何卷积代数的稳定化极限，从而被识别为Schur代数$Σ^{\jmath}$背后的量子代数。
• 代数$̂{\mathbf{U}}^{\imath}$通过附录中的两步稳定化程序被构造，其单项基与典范基首次被显式构造。
• 同态$φ_d: ̂{\mathbf{U}}^{\jmath} \to \u03a3^{\jmath}$将典范基元素映射为$Σ^{\jmath}$的典范基元素或零，具体取决于该基元素是否位于稳定化的像中。
• 同态$φ_d^\imath: ̂{\mathbf{U}}^{\imath} \to \u03a3^{\imath}$同样保持典范基结构，将其映射为典范基或零。
• $̂{\mathbf{U}}^{\imath}$是$̂{\mathbf{U}}^{\jmath}$的子商代数，且在该商结构下其典范基保持相容。
• 在同态$φ_d$与$φ_d^\imath$下典范基的相容性确认了这些映射是基于模的同态，符合Lusztig框架中的要求。