[論文レビュー] The sl(N)-web algebras and dual canonical bases

Marco Mackaay|arXiv (Cornell University)|Aug 2, 2013

Algebraic structures and combinatorial models参考文献 30被引用数 9

ひとこと要約

本稿では、N ≥ 2 に対して sl(N)-ウェブ代数を導入し、カテゴライズ化された量子スケュー・ハウ双対性を用いて、レベル-N の巡回的 KLR 代数のブロックとモラータ同値性を確立する。主な結果は、sl(N)-ウェブの空間とウェブ代数のスプリットグローテンディック群の間の同型であり、双対正規基底要素が、正確な次数正規化を伴う非分解的射影加群のグローテンディック類へ写像されることである。

ABSTRACT

In this paper, which is a follow-up to my paper with Yonezawa "sl(N)-web categories", I define and study sl(N)-web algebras for any N greater than one. For N=2 these algebras are isomorphic to Khovanov's arc algebras and for N=3 they are Morita equivalent to the sl(3)-web algebras which I defined and studied with Pan and Tubbenhauer. The main result of this paper is that the sl(N)-web algebras are Morita equivalent to blocks of certain level-N cyclotomic KLR algebras, for which I use the categorified quantum skew Howe duality from the aforementioned paper with Yonezawa. Using this Morita equivalence and Brundan and Kleshchev's work on cyclotomic KLR algebras, I show that there exists an isomorphism between a certain space of sl(N)-webs and the split Grothendieck group of the corresponding sl(N)-web algebra, which maps the dual canonical basis elements to the Grothendieck classes of the indecomposable projective modules (with a certain normalization of their grading).

研究の動機と目的

• 任意の N ≥ 2 に対して sl(N)-ウェブ代数を定義・研究し、N=2 の場合のクラスカルのアーキ・代数（Khovanov）や N=3 の既存の sl(3)-ウェブ代数を一般化すること。
• カテゴライズ化された量子スケュー・ハウ双対性を用いて、sl(N)-ウェブ代数とレベル-N 巡回的 KLR 代数のブロックとの間のモラータ同値性を確立すること。
• sl(N)-ウェブの空間とウェブ代数のスプリットグローテンディック群の間の同型を構成し、双対正規基底要素を非分解的射影加群のグローテンディック類へ写像すること。
• ウェブ代数の中心が、KLR 代数とのモラータ同値性を介して、スパルテンシュタイン多様体のコホモロジーと同型であることを示すこと。
• レクラーク＝トフィンの基底を標準的正規化として用いることで、任意の N に対してウェブ基底と双対構造を一般化する枠組みを提供すること。

提案手法

• sl(N)-ウェブ代数 H_Λ を、sl(N)-ウェブの基底を選び、そのウェブ圏の有限な完全部分圏によって、有限次元の次数付き代数として定義する。
• 文献[38]におけるカテゴライズ化された量子スケュー・ハウ双対性を用い、ウェブ圏を巡回的 KLR 代数の次数付き射影加群の圏と関連付ける。
• ブルンダンとクレシュチェフの巡回的 KLR 代数に関する研究を活用し、可約モジュール V_Λ と split Grothendieck 群 K_0^q(V_Λ^p) の間の U_q(sl_m)-インターツェプターを全単射に確立する。
• 双対性によって誘導されるモラータ同値性を用いて、ウェブ圏 H_Λ-pmod_gr と KLR 代数の次数付き射影加群の圏の同値を構成する。
• KLR 代数上の双対性を引き戻すことにより、ウェブ代数 H_Λ 上に双対性 * を定義し、グローテンディック群の同型と整合性を持つように保証する。
• 同値性と双対性を用いて、同型 δ′: W_Λ → K_0^q(W_Λ^p) が双対正規基底を非分解的射影加群の類へ写像することを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の N ≥ 2 に対して、N=2 や N=3 の既知の構成を一般化する形で、sl(N)-ウェブ代数を体系的に定義する方法は何か？
• RQ2 sl(N)-ウェブ代数と巡回的 KLR 代数との間の明確な関係は何か？そして、モラータ同値性によって形式化可能か？
• RQ3 sl(N)-ウェブの空間における双対正規基底は、適切な同型のもとで、非分解的射影加群のグローテンディック類に対応するか？
• RQ4 KLR 代数圏上の双対性は、ウェブ代数へどのように持ち上がり、グローテンディック群にどのような構造を誘導するか？
• RQ5 sl(N)-ウェブ代数の中心は何か？そして、部分旗多様体のコホモロジーといった幾何的不変量とどのように関係するか？

主な発見

• sl(N)-ウェブ代数 H_Λ は、レベル-N の巡回的 KLR 代数のブロックとモラータ同値であり、ウェブ代数と KLR 代数の間のカテゴリカルなブリッジを確立する。
• sl(N)-ウェブの空間 W_Λ とスプリットグローテンディック群 K_0^q(H_Λ-pmod_gr) の間には、次数付き代数同型が存在し、双対正規基底要素が非分解的射影加群のグローテンディック類に正確に写像される。
• H_Λ の中心は、モラータ同値性を介して、タイプ k の部分旗をパラメトライズするスパルテンシュタイン多様体 X_Λ^k のコホモロジー代数 H^*(X_Λ^k) と同型である。
• H_Λ 上の双対性 * は KLR 代数からの引き戻しで定義され、グローテンディック群の同型のもとで、正規基底のバー作用素に対応し、正規基底と双対正規基底との整合性を保証する。
• 同型 δ′: W_Λ → K_0^q(W_Λ^p) は等長的 U_v(sl_m)-インターツェプターであり、量子スケュー・ハウ双対性のもとで、V_Λ のレクラーク＝トフィン基底が W_Λ の双対正規基底へ写像される。
• この構成は基底の選択に対して頑健である：フォンタインの基底を用いても、同様の構造的結果を持つモラータ同値なウェブ代数が得られる。