[論文レビュー] 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代数の自由解体として、非退化および退化 affine Hecke代数のDG-enhanced版を構成する。完成化されたDG-enhanced affine Hecke代数が、cyclotomicパラメータで定義されるquiverに対応する完成化されたDG-enhanced KLR代数と同型であることを証明し、これらのDG代数のホモロジーが次数0に集中しており、それらが対応する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.

研究の動機と目的

• 本稿の目的は、cyclotomic Hecke代数の自由解体として、退化および非退化 affine Hecke代数のDG-enhanced版を構成することにある。
• Brundan–Kleshchev–Rouquier (BKR) 同型がDG-enhanced代数へと拡張されるかどうかを調査すること。
• これらのDG代数のホモロジーが次数0に集中することを証明すること。
• 特定のquiverに対応する、DG-enhanced affine Hecke代数とDG-enhanced KLR代数の完成化された同型を確立すること。
• DG-enhanced代数のホモロジーが標準的なcyclotomic Hecke代数に回復されることを示すこと。

提案手法

• 著者たちは、次数1の生成子θ（θ² = 0）を導入し、T₁とθに関する特定の関係を用いて、退化 affine Hecke代数にDG代数構造を定義する。
• BQ(θ) = ∏ᵣ(X₁ − Qᵣ) と定義することで、この代数に微分BQを導入する。ここでQ = (Q₁, ..., Qₗ) ∈ kˡ である。
• 無限次元構造を扱うために、kᵈの列aに依存するイデアルでの完成化を用いる。
• KLR側では、頂点集合I ⊆ k、辺i → j がj+1=iを満たすとき存在するquiverを用い、dΛをcyclotomic条件を模倣する微分として定義する。
• Sd-不変な代数同型αを用いて、完成化されたHecke代数とKLR代数の間の同型を確立する。この同型はDG構造を保存する。
• 証明は、同型αが微分BQとdΛを具に intertwine することを示すことにより行われ、αを生成子に作用させる明示的公式を用いる。

実験結果

リサーチクエスチョン

• RQ1 DG-enhanced版のaffine Hecke代数は、affine Hecke代数上のcyclotomic Hecke代数の自由解体として構成可能か？
• RQ2 BKR同型は、完成化されたDG-enhanced affine Hecke代数と完成化されたDG-enhanced KLR代数の間の同型に拡張可能か？
• RQ3 これらのDG代数のホモロジーは次数0に集中するか？
• RQ4 DG-enhanced affine Hecke代数のホモロジーは、対応するcyclotomic Hecke代数に同型か？
• RQ5 同型は、退化および非退化（q- affine）の場合の両方で確立可能か？

主な発見

• 本稿では、次数1の生成子θを代数に拡張し、BQ(θ) = ∏ᵣ(X₁ − Qᵣ) と定義することで、退化および非退化 affine Hecke代数の両方のDG-enhanced版を構成する。
• 完成化されたDG-enhanced affine Hecke代数 (x¯Ha, BQ) が、パラメータQで定義されるquiverに対応する完成化されたDG-enhanced KLR代数 (pRpν), dΛ) と同型であることを証明している。
• 同型は、DG構造を保存するSd-不変な代数同型αを明示的に構成することで確立されている。
• DG-enhanced退化 affine Hecke代数 (sHd, BQ) のホモロジーは次数0に集中しており、退化 cyclotomic Hecke代数 sHQd に同型である。
• DG-enhanced q-affine Hecke代数 (Hd, BQ) のホモロジーは次数0に集中しており、cyclotomic Hecke代数 HQd に同型である。
• 結果は任意の体k上で成り立ち、DG構造を自明化した場合、同型は古典的なBKR同型に制限される。