[論文レビュー] Categorifying fractional Euler characteristics, Jones-Wenzl projector and $3j$-symbols

Igor Frenkel, Catharina Stroppel+1 more|arXiv (Cornell University)|Jul 27, 2010

Algebraic structures and combinatorial models参考文献 34被引用数 26

ひとこと要約

本稿は、完備交差環を用いて分数オイラー乗数のカテゴリフィケーションを開発し、有理数量子数をExt代数の次数付きオイラー乗数として実現する。Ext代数の単純ハリシュ・チャンドラ両側加群を用いてジョーンズ・ウェンツル射影子、3j-記号、6j-記号のカテゴリフィケーション版を提供し、量子不変量と代数的トポロジーの間のリンクを、量子$υ(\mathfrak{sl}_2)$の次数付き表現理論を通じて確立する。

ABSTRACT

We study the representation theory of the smallest quantum group and its categorification. The first part of the paper contains an easy visualization of the 3j-symbols in terms of weighted signed line arrangements in a fixed triangle and new binomial expressions for the 3j-symbols. All these formulas are realized as graded Euler characteristics. The 3j-symbols appear as new generalizations of Kazhdan-Lusztig polynomials. A crucial result of the paper is that complete intersection rings can be employed to obtain rational Euler characteristics, hence to categorify rational quantum numbers. This is the main tool for our categorification of the Jones-Wenzl projector, Theta-networks and tetrahedron networks. Networks and their evaluations play an important role in the Turaev-Viro construction of 3-manifold invariants, \cite{TV}. We categorify these evaluations by Ext-algebras of certain simple Harish-Chandra bimodules. The relevance of this construction to categorified colored Jones invariants and invariants of 3-manifolds will be studied in detail in subsequent papers.

研究の動機と目的

• 完備交差環上のExt代数の次数付きオイラー乗数を用いて、有理数量子数をカテゴリフィケーションすること。
• 単純ハリシュ・チャンドラ両側加群のExt代数を用いて、ジョーンズ・ウェンツル射影子のカテゴリフィケーション版を提供すること。
• 3j-記号および6j-記号をExt代数の次数付きオイラー乗数として解釈し、カジダン＝ルシュティグ多項式の一般化を行うこと。
• $υ(\mathfrak{sl}_2)$-表現理論と3次元多様体不変量の間の接続を、カテゴリフィケーションされたテンソルネットワークを通じて確立すること。
• $V_1^{\bigotimes n}$および$V_{\mathbf{d}}$の以前のカテゴリフィケーションを、適切なストラティフィケーションおよび次数付き$\mathcal{O}$カテゴリを用いて、インタウィナーおよび射影子を含む形に拡張すること。

提案手法

• グラスマンニアンのコホモロジー環など、完備交差環を用い、有理数量子数を次数付きオイラー乗数として実現する。
• 単純ハリシュ・チャンドラ両側加群の次数付きExt代数を適用し、ジョーンズ・ウェンツル射影子およびネットワーク評価のカテゴリフィケーションを達成する。
• 完備交差環上の最小の射影的解体を用いて、有理数$q$-数に収束する無限級数を計算する。
• カテゴリ$\mathcal{O}$および商関手に基づく幾何的・代数的枠組みを導入し、標準的および標準基底のカテゴリカル実現を行う。
• 関手および随伴関手を用いて、$\Theta$-ネットワークおよび四面体ネットワークを、次数付きベクトル空間の導来カテゴリ内のExt代数として解釈する。
• 3j-記号および6j-記号がExt代数の次数付きオイラー乗数として生じ、カジダン＝ルシュティグ多項式を一般化することを確立する。

実験結果

リサーチクエスチョン

• RQ1 有理数量子数、例えば$1/[n]_q$は、どのように次数付きオイラー乗数を用いてカテゴリフィケーション可能か？
• RQ2 ジョーンズ・ウェンツル射影子は、単純ハリシュ・チャンドラ両側加群のExt代数を用いてカテゴリフィケーション可能か？
• RQ3 3j-記号および6j-記号は、カテゴリフィケーションされた設定において、どのようにExt代数の次数付きオイラー乗数として現れるか？
• RQ4 完備交差環は、量子群表現における分数オイラー乗数を実現するために果たす役割は何か？
• RQ5 導来カテゴリにおける次数付きモジュールのカテゴリフィケーションされた$\Theta$-ネットワークおよび四面体ネットワークは、一貫して定義可能か？

主な発見

• 完備交差環$H$に対して、$\operatorname{Ext}^*_{H}(\mathbb{C},\mathbb{C})$の次数付きオイラー乗数は、$1/[n]_q$のような有理数量子数を、有理関数に収束する無限級数として実現する。
• ジョーンズ・ウェンツル射影子は、単純ハリシュ・チャンドラ両側加群$L$に対して、$\operatorname{Ext}^*_{A_{k,\mathbf{d}}}(L,L)$のExt代数として、次数付きシフトを除いてカテゴリフィケーションされる。
• 3j-記号は一般化されたカジダン＝ルシュティグ多項式として実現され、Ext代数の次数次元として現れ、三角形内の重み付き符号付き線分配置から明示的な二項係数表現が導かれる。
• $\Theta$-ネットワークの値は、$\operatorname{Ext}^*_{A_{k,\mathbf{d}}}(L,L)$の次数付き次元と、シフトを除いて同型であり、自然な代数構造を有する。
• 6j-記号は、特定のモジュール$M,N$に対して$\operatorname{Ext}^*_{A_{n,\mathbf{d}}}(M,N)$の次数付きオイラー乗数として実現され、図式的表現に依存せず、導来同値性の下で不変である。
• $n$色付きの輪のカテゴリフィケーションにより、$[n+1]_q$がExt代数の次数付き次元として得られ、色付きジョーンズ不変量との関係が裏付けられる。