[论文解读] DG-Enhanced Hecke and KLR Algebras

Ruslan Maksimau, Pedro Vaz|arXiv (Cornell University)|Jun 7, 2019

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

一句话总结

该论文通过引入一个解析cyclotomic Hecke代数的微分，构建了退化与非退化仿射Hecke代数的DG增强版本。证明了完成的DG增强仿射Hecke代数同构于由cyclotomic参数定义的quiver的完成DG增强KLR代数，并表明这些DG代数的同调集中在度数零，同构于相应的cyclotomic Hecke代数。

ABSTRACT

We construct DG-enhanced versions of the degenerate affine Hecke algebra and of the affine Hecke algebra. We extend Brundan-Kleshchev and Rouquier's isomorphism and prove that after completion DG-enhanced versions of affine Hecke algebras (degenerate or nondegenerate) are isomorphic to completed DG-enhanced versions of KLR algebras for suitably defined quivers. As a byproduct, we deduce that these DG-algebras have homologies concentrated in degree zero. These homologies are isomorphic respectively to the degenerate cyclotomic Hecke algebra and the cyclotomic Hecke algebra.

研究动机与目标

• 该论文旨在构建退化与非退化仿射Hecke代数的DG增强版本，作为cyclotomic Hecke代数在仿射Hecke代数上的自由解析。
• 研究Brundan–Kleshchev–Rouquier（BKR）同构是否可推广至DG增强代数。
• 目标包括证明这些DG代数的同调集中在度数零。
• 旨在建立DG增强仿射Hecke代数与特定quiver的DG增强KLR代数之间的完成同构。
• 旨在证明DG增强代数的同调恢复标准的cyclotomic Hecke代数。

提出的方法

• 作者通过引入一个度数为1的生成元θ（满足θ² = 0）并定义涉及T₁与θ的特定关系，在退化仿射Hecke代数上定义了一个DG代数结构。
• 通过设定BQ(θ) = ∏ᵣ(X₁ − Qᵣ)，其中Q = (Q₁, ..., Qₗ) ∈ kˡ，定义了该代数上的微分BQ。
• 通过在依赖于序列a ∈ kᵈ的理想上完成，处理无限维结构。
• 在KLR侧，通过定义一个带有顶点I ⊆ k和边i → j当且仅当j+1=i的quiver，构造了DG增强KLR代数(pRpν), dΛ)，并通过模仿cyclotomic条件的微分dΛ来定义dΛ。
• 通过一个Sd-不变代数同构α，建立完成Hecke代数与KLR代数之间的同构，该同构保持DG结构。
• 证明依赖于显式计算α在生成元上的公式，表明同构α与微分BQ和dΛ相容。

实验结果

研究问题

• RQ1 能否在仿射Hecke代数上构造出作为cyclotomic Hecke代数自由解析的DG增强仿射Hecke代数版本？
• RQ2 BKR同构是否可推广为完成DG增强仿射Hecke代数与完成DG增强KLR代数之间的同构？
• RQ3 这些DG代数的同调是否集中在度数零？
• RQ4 DG增强仿射Hecke代数的同调是否同构于相应的cyclotomic Hecke代数？
• RQ5 该同构是否在退化与非退化（q-仿射）情形下均成立？

主要发现

• 该论文通过在代数中增加一个度数为1的生成元θ并定义满足BQ(θ) = ∏ᵣ(X₁ − Qᵣ)的微分BQ，构建了退化与非退化仿射Hecke代数的DG增强版本。
• 证明了完成DG增强仿射Hecke代数(x¯Ha, BQ)同构于由参数Q定义的quiver的完成DG增强KLR代数(pRpν), dΛ)。
• 通过一个保持DG结构的Sd-不变代数同构α，显式构造了该同构。
• DG增强退化仿射Hecke代数(sHd, BQ)的同调集中在度数零，且同构于退化cyclotomic Hecke代数sHQd。
• DG增强q-仿射Hecke代数(Hd, BQ)的同调集中在度数零，且同构于cyclotomic Hecke代数HQd。
• 结果在任意域k上成立，当DG结构被平凡化时，该同构退化为经典BKR同构。