[論文レビュー] Quiver Hecke superalgebras

Seok‐Jin Kang, Masaki Kashiwara+1 more|arXiv (Cornell University)|Jul 6, 2011

Algebraic structures and combinatorial models参考文献 20被引用数 29

ひとこと要約

この論文は、偶数頂点と奇数頂点を持つ Dynkin 図形でパrameter化された、Khovanov-Lauda-Rouquier 代数の超代数版として、クーヴァー・ヘック・スーパー代数を導入する。クーヴァー・ヘック・スーパー代数とクーヴァー・ヘック＝クリフォード・スーパー代数の間で弱いモラータ・スーパー同値性を確立し、完備化の後、アフィン・ヘック＝クリフォードおよびアフィン・セルゲエフ・スーパー代数がクーヴァー・ヘック＝クリフォード・スーパー代数に同型であることを証明することで、量子群のカテゴリフィケーションをスーパー群へ拡張する。

ABSTRACT

We introduce a new family of superalgebras which should be considered as a super version of the Khovanov-Lauda-Rouquier algebras. Let $I$ be the set of vertices of a Dynkin diagram with parity. To this data, we associate a family of graded superalgebras, the quiver Hecke superalgebras. When there are no odd vertices, these algebras are nothing but the usual Khovanov-Lauda-Rouquier algebras. We then define another family of graded superalgebras, the quiver Hecke-Clifford superalgebras, and show that they are weakly Morita superequivalent to the quiver Hecke superalgebras. Moreover, we prove that the affine Hecke-Clifford superalgebras, as well as their degenerate version, the affine Sergeev superalgebras, are isomorphic to the quiver Hecke-Clifford superalgebras after a completion.

研究の動機と目的

• 偶数頂点と奇数頂点を持つ Dynkin 図形に対して、クーヴァー・ヘック・スーパー代数を導入することで、Khovanov-Lauda-Rouquier 代数の超代数版を構成すること。
• インデックス集合上の組合せ的同値関係を介して、クーヴァー・ヘック・スーパー代数とクーヴァー・ヘック＝クリフォード・スーパー代数の間で弱いモラータ・スーパー同値性を確立すること。
• 完備化の後、アフィン・ヘック＝クリフォード・スーパー代数およびその退化版であるアフィン・セルゲエフ・スーパー代数がクーヴァー・ヘック＝クリフォード・スーパー代数に同型であることを示すこと。
• これらの代数を上位グローバル基底およびクリスタル構造と結びつけることで、量子群のカテゴリフィケーションをスーパー設定へ拡張すること。

提案手法

• 可換一般化 Cartan 行列と頂点を偶数集合と奇数集合に分解することにより、多項式関係 Q_{i,j}(u,v) を満たす条件を満たす多項式を用いて、R_n を定義する。
• 新しい添字集合 J とその対合 c を用いて、クーヴァー・ヘック＝クリフォード・スーパー代数 RC_n を定義し、関係 j ~_c j' が j = j' または j' = c(j) のとき成り立つという同値関係による商をとる。
• モラータ型の安定同値までを考慮したモジュール圏の同値性を示すことにより、R_n と RC_n の間で弱いモラータ・スーパー同値性を構成する。
• 完備化技術を用いて、適切な多項式 Q_{i,j}(u,v) の選択のもとで、アフィン・ヘック＝クリフォード・スーパー代数が RC_n に同型であることを示す。
• 完備化なしで、アフィン・セルゲエフ・スーパー代数が RC_n に同型であることを証明し、同型性の退化版を確立する。
• KLR代数および Varagnolo-Vasserot の結果を応用し、表現圏を上位グローバル基底およびクリスタル構造と結びつける。

実験結果

リサーチクエスチョン

• RQ1 偶数頂点と奇数頂点を持つ Dynkin 図形を用いて、Khovanov-Lauda-Rouquier 代数をどのように超代数的設定に一般化できるか？
• RQ2 クーヴァー・ヘック・スーパー代数とクーヴァー・ヘック＝クリフォード・スーパー代数の間には、表現論的同値性の観点からどのような関係があるか？
• RQ3 完備化の後、アフィン・ヘック＝クリフォード・スーパー代数はクーヴァー・ヘック＝クリフォード・スーパー代数に同型であるか？どのような条件下で成立するか？
• RQ4 アフィン・セルゲエフ・スーパー代数はクーヴァー・ヘック＝クリフォード・スーパー代数として実現可能か？これは退化カテゴリフィケーションに何を意味するか？
• RQ5 なぜ RC_n と KLR_n は特定のケース（例：D^{(2)}_2 型）ではモラータ同値でも弱いモラータ・スーパー同値でもないのか？

主な発見

• クーヴァー・ヘック・スーパー代数 R_n は、偶数頂点と奇数頂点を用いた Z/2Z-次数を組み込むことで KLR代数を一般化し、I_odd が空集合のとき R_n は KLR代数に同型である。
• クーヴァー・ヘック＝クリフォード・スーパー代数 RC_n は、添字集合 J 上の対合に基づく構成により、R_n と弱いモラータ・スーパー同値である。
• 完備化の後、適切な多項式 Q_{i,j}(u,v) の選択のもとで、アフィン・ヘック＝クリフォード・スーパー代数は RC_n に同型であり、これはスーパー群へのカテゴリフィケーションの拡張を実現する。
• アフィン・セルゲエフ・スーパー代数は完備化なしで RC_n に同型であり、退化ケースが同一の枠組みで捉えられることを示している。
• D^{(2)}_2 型（I = {0,1}, I_odd = I）において、RC_4 と KLR_4 はモラータ同値でなく、dim Z(RC_4) = 4 ≠ 5 = dim Z(KLR_4) によりそのことが示され、弱いモラータ・スーパー同値性も成立しない。
• スピン対称群表現と KLR表現の次元比は 2^{(1+γ₁(λ))/2} であり、λ = (6,4,1) のとき、dim V^spin_λ / dim V^KLR_λ = 4.4 であり、dim V^spin_λ = 2880、dim V^KLR_λ = 720 であることから、4倍の差が確認される。