[論文レビュー] Categorifying fractional Euler characteristics, Jones-Wenzl projector and $3j$-symbols with applications to Exts of Harish-Chandra bimodules

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

Algebraic structures and combinatorial models参考文献 36被引用数 12

ひとこと要約

本稿では、完全交差環を用いて有理数のオイラー乗数のカテゴリフィケーションを導入し、量子数の合理化を可能にすることで、ジョーンズ＝ウェンツル射影子、3j記号、ネットワーク評価のカテゴリフィケーションを、ハリシュ＝チャンドラ両側加群のExt代数を用いて実現する。主な貢献は、三角形内における重み付き符号付き直線配置を通じた3j記号の幾何的実現であり、新しい二項係数表現が、ある複体の次数付きオイラー乗数として実現され、カジダン＝ルシュツァー多項式の一般化を達成する。

ABSTRACT

Abstract. We study the representation theory of the smallest quan-tum 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 characteris-tics. 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 ra-tional quantum numbers. This is the main tool for our categorification of the Jones-Wenzl projector, Θ-networks and tetrahedron networks. Net-works and their evaluations play an important role in the Turaev-Viro construction of 3-manifold invariants. We categorify these evaluations by Ext-algebras of certain simple Harish-Chandra bimodules. The rel-evance of this construction to categorified colored Jones invariants and invariants of 3-manifolds will be studied in detail in subsequent papers.

研究の動機と目的

• 完全交差環を用いて有理量子数のカテゴリフィケーションを発展させること。
• 重み付き符号付き直線配置を用いた三角形内での3j記号の幾何的・代数的実現を提供すること。
• 3j記号の新しい二項係数表現を通じて、カジダン＝ルシュツァー多項式を一般化すること。
• 単純なハリシュ＝チャンドラ両側加群のExt代数を用いて、トゥラエフ＝ヴィロの構成におけるネットワーク評価のカテゴリフィケーションを実現すること。
• カテゴリフィケートドカラーモジュール・ジョーンズ多項式および3次元多様体不変量のための基盤を築くこと。

提案手法

• 完全交差環を用いて有理オイラー乗数を計算し、有理量子数のカテゴリフィケーションを可能にする。
• 3j記号を固定された三角形内における重み付き符号付き直線配置として可視化し、組合せ的・幾何的モデルを提供する。
• 特定の複体に関連する次数付きオイラー乗数として実現される、3j記号の新しい二項係数表現を導出する。
• 次数付きオイラー乗数を用いて、3j記号を一般化されたカジダン＝ルシュツァー多項式と関連付ける。
• 単純なハリシュ＝チャンドラ両側加群のExt代数を用いて、ネットワーク評価（例：Θネットワーク、四面体ネットワーク）をカテゴリフィケーションする。
• トゥラエフ＝ヴィロの枠組みを応用し、カテゴリフィケート構造を通じてネットワーク評価と3次元多様体不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 完全交差環などの代数的幾何の道具を用いて、有理量子数をどのようにカテゴリフィケーションできるか。
• RQ2 3j記号はどのようにして直線配置と二項式の公式を通じて幾何的に可視化され、代数的に表現できるか。
• RQ3 新しい3j記号の表現は、カテゴリフィケーションの文脈でカジダン＝ルシュツァー多項式とどのように関係するか。
• RQ4 トゥラエフ＝ヴィロの構成におけるネットワーク評価は、ハリシュ＝チャンドラ両側加群のExt代数を用いてカテゴリフィケーション可能か。
• RQ5 完全交差環は、カテゴリフィケート不変量のための有理オイラー乗数を実現するために果たす役割は何か。

主な発見

• 完全交差環は、有理オイラー乗数を計算するためのメカニズムを提供し、有理量子数のカテゴリフィケーションを可能にする。
• 3j記号は、三角形内に配置された重み付き符号付き直線配置に関連する複体の次数付きオイラー乗数として実現される。
• 3j記号の新しい二項係数表現が導出され、カテゴリフィケーションの文脈でカジダン＝ルシュツァー多項式を一般化することが示された。
• ジョーンズ＝ウェンツル射影子およびΘネットワークは、単純なハリシュ＝チャンドラ両側加群のExt代数を用いてカテゴリフィケーションされた。
• 四面体ネットワークの評価も同様のExt代数構成を用いてカテゴリフィケーションされ、トゥラエフ＝ヴィロ不変量と結びついた。
• 本フレームワークは、将来のカテゴリフィケートドカラーモジュール・ジョーンズ多項式および3次元多様体不変量に関する研究の基盤を確立した。