[論文レビュー] An introduction to diagrammatic algebra and categorified quantum sl(2)

Aaron D. Lauda|arXiv (Cornell University)|Jun 10, 2011

Algebraic structures and combinatorial models参考文献 44被引用数 37

ひとこと要約

本稿では、1-射が基本的表現のテンソル積に一致する2カテゴリ―Uを用いて、量子sl(2)の図式的カテゴリファイケーションを提示する。2-射は図式的関係によって生成される。主な貢献は、コホロジー作用と整合する図式的計算が、追加の生成子を必要とせず、ゼロ・ズグ・アイデンティティ関係やホモトピー空間上の次数制約といった関係を通じて、構造を完全に捉えていることである。

ABSTRACT

This expository article explains how planar diagrammatics naturally arise in the study of categorified quantum groups with a focus on the categorification of quantum sl2. We derive the definition of categorified quantum sl2 and highlight some of the new structure that arises in categorified quantum groups. The expert will find a discussion of rescalling isomorphisms for categorified quantum sl2, a proof that cyclotomic quotients of the nilHecke algebra are isomorphic to matrix rings over the cohomology ring of Grassmannians, and an interpretation of `fake bubbles' using symmetric functions.

研究の動機と目的

• 図式的計算を用いて、量子sl(2)をカテゴリファイする図式的2カテゴリ―Uを構成すること。
• 部分フラッグ多様体のコホロジーリング上の作用と整合するように、Uにおける関係の正確な形を特定すること。
• ゼロ・ズグ図と恒等射から導かれるもの以外に、追加の生成2-射を必要としないことを示すこと。
• ホモトピー空間の次数ゼロ部分が、恒等2-射のスカラー倍によって完全に説明されることを確立すること、ただし課された関係を前提とする。
• 次数制約と対称性を用いて、図式的計算が整合的かつ合成について閉じていることを保証すること。

提案手法

• 1-射をnで添え字づけられた基本的表現のテンソル積として定義し、2-射をストランドとクロスオーバーを含む図式として定義する。
• HOM_U(EF1^n, FE1^n)およびHOM_U(FE1^n, EF1^n)におけるホモトピー空間上の次数を検討し、可能な2-射の次数を制約する。
• 関係式(3.19)を導入し、ゼロ・ズグ図を恒等射に等しくする。これにより図式的計算の整合性が保証される。
• 部分フラッグ多様体のコホロジーリング上の作用を用いて、関係式の正確な形を固定する。
• 図式的推論を適用し、計算内のすべての図式が、与えられた生成子と関係式のみで簡約可能であることを示す。
• 得られた2カテゴリ―が、シフト同値性やカノニカル基底対応を含む、カテゴリファイド量子sl(2)の必要な性質を満たしていることを検証する。

実験結果

リサーチクエスチョン

• RQ1 部分フラッグ多様体のコホロジーリング上の作用と整合するように、2カテゴリ―Uに必要な関係は何か？
• RQ2 Uの図式的計算は、新たな生成2-射を導入せずに合成について閉じているか？
• RQ3 HOM_U(EF1^n, FE1^n)およびHOM_U(FE1^n, EF1^n)におけるホモトピー空間上の次数制約は、2カテゴリ―の構造にどのように影響するか？
• RQ4 ゼロ・ズグ図はホモトピー空間の次数ゼロ部分にどの程度寄与しており、恒等2-射とどのように関係しているか？
• RQ5 与えられた図式的生成子と関係式のみで、2カテゴリ―Uは量子sl(2)を十分にカテゴリファイできるか？

主な発見

• HOM_U(EF1^n, FE1^n)におけるゼロ・ズグ図の次数はゼロであり、関係式(3.19)により恒等2-射と同一視される。
• 図式的計算は整合的かつ合成について閉じており、ゼロ・ズグ図と恒等写像以外の追加生成2-射は不要である。
• 関係式(3.19)により、特定のゼロ・ズグ図が恒等射に等しくなり、ホモトピー空間の次数ゼロ部分が恒等2-射のスカラー倍によって完全に説明される。
• 関係式の正確な形は、部分フラッグ多様体のコホロジーリング上の作用との整合性によって固定される。
• 与えられた生成子と関係式を用いた2カテゴリ―Uは、追加の生成子を必要とせず、量子sl(2)をカテゴリファイする。
• シフト同値性の下で、図式的構造はルシュチグのカノニカル基底と一致し、提示の完全性が確認される。