[论文解读] Quantum affine $\frak{gl}_n$ via Hecke algebras

Jie Du, Qiang Fu|arXiv (Cornell University)|Nov 8, 2013

Algebraic structures and combinatorial models参考文献 13被引用 5

一句话总结

本文通过仿射对称群的Hecke代数及其Schur代数，构造了量子仿射glₙ代数，为环路代数glₙ的量子包络代数提供了纯粹代数与组合的实现。关键贡献是通过生成元的显式乘法规则，构造了一种新基，独立于几何方法，证明了关于量子仿射glₙ的长期猜想。

ABSTRACT

We use the Hecke algebras of affine symmetric groups and their associated Schur algebras to construct a new algebra through a basis, and a set of generators and explicit multiplication formulas of basis elements by generators. We prove that this algebra is isomorphic to the quantum enveloping algebra of the loop algebra of $\mathfrak {gl}_n$. Though this construction is motivated by the work \cite{BLM} by Beilinson--Lusztig--MacPherson for quantum $\frak{gl}_n$, our approach is purely algebraic and combinatorial, independent of the geometric method which seems to work only for quantum $\mathfrak{gl}_n$ and quantum affine $\mathfrak{sl}_n$. As an application, we discover a presentation of the Ringel--Hall algebra of a cyclic quiver by semisimple generators and their multiplications by the defining basis elements.

研究动机与目标

• 提供环路代数glₙ的量子包络代数的纯粹代数与组合构造，避免先前工作中使用的几何方法。
• 通过仿射Hecke代数上v-置换模的自同态代数导出的新基，实现量子仿射glₙ代数。
• 通过建立具有显式乘法公式的新基，证明关于量子仿射glₙ实现的猜想。
• 证明由半单生成元生成的子代数同构于量子仿射slₙ，从而阐明量子仿射glₙ的结构。

提出的方法

• 构造使用以仿射对称群的双陪集为指标的仿射Hecke代数基。
• Schur代数被定义为仿射Hecke代数上v-置换模的自同态代数。
• 为量子包络代数U(ĝlₙ)定义了一组新基{A(j)}，其指标为矩阵A ∈ Θ⁻(n)与序列j ∈ ℤⁿ_△。
• 通过双陪集与伪矩阵的组合学，显式推导出基元素对生成元（0(j)，Sₐ(0)，和Sₐ(0)*）的乘法规则。
• 通过从矩阵的行和与列和导出的序列进行逐列读取，构造双陪集的最短代表元。
• 最短代表元的长度计算为∑_{i<k; j>l} a_ij a_kl，将组合学与代数结构联系起来。

实验结果

研究问题

• RQ1 能否在不依赖几何方法的前提下，纯粹以代数与组合方式构造量子仿射glₙ代数？
• RQ2 在量子仿射glₙ中，基元素与生成元之间的乘法规则的显式结构是什么？
• RQ3 如何利用半单生成元及其乘积，来表示循环quiver的Ringel–Hall代数？
• RQ4 关于通过Schur代数实现量子仿射glₙ的猜想是否成立？能否在量子设定下予以证明？
• RQ5 仿射对称群中双陪集的组合学与量子仿射glₙ的PBW型基之间的确切关系是什么？

主要发现

• 量子包络代数U(ĝlₙ)同构于由新基{A(j)}生成的代数，且对生成元0(j)，Sₐ(0)，Sₐ(0)*的乘法规则显式给出。
• 由半单生成元生成的子代数同构于量子仿射glₙ代数，确认了该代数的结构性质。
• 与矩阵A ∈ Θ⁻(n)相关的双陪集的最短代表元为排列ỹ_A，其通过从A导出的伪矩阵进行逐列读取构造而成。
• ỹ_A的长度恰好为∑_{i<k; j>l} a_ij a_kl，为最短代表元的长度提供了组合公式。
• 从反演到集合R_i^λ ∩ w(R_j^μ)的交集的映射φ_w是单射，且对ỹ_A的满射性证明了ℓ(ỹ_A) = N，从而确认了代表元的最小性。
• 该构造证明了量子仿射glₙ的实现猜想，建立了该代数的完整代数与组合表示。