[論文レビュー] Graded cellular bases for the cyclotomic Khovanov-Lauda-Rouquier algebras of type A

Jun Hu, Andrew Mathas|arXiv (Cornell University)|Jul 17, 2009

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

ひとこと要約

この論文は、A型の巡回Khovanov-Lauda-Rouquier代数に対して、同次的なセルラー基底を明示的に構成し、分割順序に関してその代数がグレーディング付きセルラー代数であることを証明する。基底は多重分割上の標準テーブルックスによって添字付けられ、グレーディングは組合せ的次数関数によって与えられ、Brundan, Kleshchev, Wangの予想である、このような基底の存在に関する問題を解決する。

ABSTRACT

This paper constructs an explicit homogeneous cellular basis for the cyclotomic Khovanov--Lauda--Rouquier algebras of type $A$.

研究の動機と目的

• A型の巡回Khovanov-Lauda-Rouquier代数に対して、明示的な同次セルラー基底を構成すること。
• これらの代数が多重分割上の優位順序に関してグレーディング付きセルラー代数であることを証明すること。
• Brundan, Kleshchev, Wangの予想4.12（グレーディング付きセルラー基底の存在に関する）を解決すること。
• これらの代数のブロックがグレーディング付き対称代数であることを確立すること。これはさらなる予想を確認するものである。

提案手法

• 前人研究における整形式に関する結果を用いて、離散付値環 $\mathcal{O}$ 上の巡回ヘッケ代数の整形式へのKLR代数のidempotent $e(\mathbf{i})$ の上げを行う。
• 各多重分割 $\boldsymbol{\lambda}$ に対して、非ゼロの同次的要素 $e_{\boldsymbol{\lambda}} y_{\boldsymbol{\lambda}}$ の族を構成し、セルラー基底の骨格を形成する。
• Jucys-Murphy要素とブレード群生成子を用いて、$\psi_{\mathfrak{s}\mathfrak{t}} = \psi_{d(\mathfrak{s})^{-1}} e_{\boldsymbol{\lambda}} y_{\boldsymbol{\lambda}} \psi_{d(\mathfrak{t})}$ と定義する基底要素を構成する。
• 巡回KLR代数と巡回ヘッケ代数の間のグレーディング付き同型を用いて、セルラー構造を移行する。
• 帰納法と生成子の次数解析を用いて、$\deg(\psi_{\mathfrak{s}\mathfrak{t}}) = \deg \mathfrak{s} + \deg \mathfrak{t}$ を確認することで、基底の同次性を証明する。
• ヘッケ代数の自明表現と符号表現から構成される2つのセルラー基底の双対性を確立し、ブロックの対称性を導く。

実験結果

リサーチクエスチョン

• RQ1 A型の巡回Khovanov-Lauda-Rouquier代数は、同次セルラー基底をもつか？
• RQ2 BrundanとKleshchevが示唆したように、高レベルのFock空間における自己同型基底を用いて、これらの代数のグレーディング分解数を計算できるか？
• RQ3 BrundanとKleshchevが予想したように、巡回KLR代数のブロックはグレーディング付き対称代数か？
• RQ4 提示における隠れた関係を考慮すると、定義関係からKLR代数の明示的な同次基底をどのように構成できるか？
• RQ5 テーブルックスやJucys-Murphy要素といった組合せ的データに基づいて、基底要素の正確なグレーディングは何か？

主な発見

• 巡回Khovanov-Lauda-Rouquier代数 $\mathscr{R}^{\Lambda}_{n}$ は、多重分割上の優位順序に関してグレーディング付きセルラー代数である。
• 明示的な同次セルラー基底が $\{\psi_{\mathfrak{s}\mathfrak{t}} \mid \boldsymbol{\lambda} \in \mathscr{P}^{\Lambda}_{n}, \mathfrak{s}, \mathfrak{t} \in \operatorname{Std}(\boldsymbol{\lambda})\}$ として構成され、各基底要素の次数は $\deg \mathfrak{s} + \deg \mathfrak{t}$ である。
• 基底要素はJucys-Murphy要素、idempotent、ブレード群生成子の積から構成され、同次性とセルラー構造との整合性を保証する。
• $\mathscr{R}^{\Lambda}_{n}$ のブロックがグレーディング付き対称代数であることが示され、BrundanとKleshchevの予想が確認された。
• 自明表現から構成されるセルラー基底と符号表現から構成されるセルラー基底の2つを構成し、基底が高次の項を除いて自己双対であることを示した。
• 証明は、idempotent $e(\mathbf{i})$ をヘッケ代数の整形式に上げることに依拠し、基底展開における非ゼロ係数の確認に次数解析を用いる。