[論文レビュー] Graphical Calculus on Representations of Quantum Lie Algebras

Dong‐Seok Kim|ArXiv.org|Oct 10, 2003

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

ひとこと要約

本稿は、量子リー代数の表現のための図式的記法を発展させ、ランク2のケースに焦点を当てる。Uq(sl(2,C))、Uq(sl(3,C))、Uq(sp(4))の単一クラフト展開を導入し、三つ組係数（3j記号）を計算するためのジョーンズ・ウェンツル射影への一般化を提示する。また、ウェブに基づく不変量とスキーン関係を用いて、Uq(sl(4,C))の完全な関係式の集合を予想する。

ABSTRACT

We develop graphical calculation methods. Jones-Wenzl projectors for U_q(sl(2,C)) are very powerful tools to find not only invariants of links but also invariants of 3-manifolds. We find single clasp expansions of generalized Jones-Wenzl projectors for simple Lie algebras of rank 2. Trihedron coefficients of the representation theory for U_q(sl(2,C)) has significant meaning and it is called 3j symbols. Using single clasp expansions for U_q(sl(3,C)), we find some trihedron coefficients of the representation theory of U_q(sl(3,C)). We study representation theory for U_q(sl(4,C)). We conjecture a complete set of relations for U_q(sl(4,C)).

研究の動機と目的

• Uq(sl(2,C))からのジョーンズ・ウェンツル射影の一般化を、Uq(sl(3,C)) や Uq(sp(4)) などの高ランク量子リー代数へと展開すること。
• Uq(sl(3,C))の表現論における三つ組係数（3j記号）を、図式的手法を用いて計算すること。
• スキーン関係を用いた、トゥールやウェブの不変量を体系的に構成するアプローチの開発。
• 三価ウェブ生成子と整合性条件を用いて、Uq(sl(4,C))の完全な関係式の集合を予想すること。
• クーパーバーグの組合せ的スパイト枠組みを、明示的なウェブ記法を用いて高ランク量子群へと拡張すること。

提案手法

• Uq(sl(2,C))、Uq(sl(3,C))、Uq(sp(4))における一般化されたジョーンズ・ウェンツル射影の逐次的分解に、単一クラフト展開を用いる。
• スキーン関係とウェブ記法を適用し、特に三つ組と四面体の不変量を計算する。
• ウェブ不変量の構成に、量子整数、量子階乗、q-二項係数を用いる。
• ウェブ関係式における正規化定数を固定するために、量子ウェイの特徴式を用いる。
• UターンとH移動を用いて、異なるウェブ配置を関連づけ、整合性条件を導出する。
• q-整数上の線形代数を用いて、Uq(sl(4,C))の予想される関係式における未知係数を解く。

実験結果

リサーチクエスチョン

• RQ1 Uq(sl(2,C))を超えてランク2の量子群、たとえばUq(sl(3,C)) や Uq(sp(4)) に対して、ジョーンズ・ウェンツル射影をどのように一般化できるか。
• RQ2 Uq(sl(3,C))の表現論における三つ組係数（3j記号）の構造は何か。
• RQ3 三価ウェブ生成子を用いて、Uq(sl(4,C))の量子群に対して完全なスキーン関係式の集合を導出できるか。
• RQ4 Uq(sl(3,C))およびUq(sp(4))の単一クラフト展開は、3j記号の計算をどのように容易にするか。
• RQ5 ウェブ図で完全に特徴づけるために、Uq(sl(4,C))-表現の圏を特徴付けるために必要な十分な関係式は何か。

主な発見

• Uq(sl(3,C))の単一クラフト展開は、分離された重みと非分離された重みの両方について導出され、三つ組係数の計算を可能にする。
• Uq(sl(3,C))において、三つ組係数 MΘ(0, i+j, l, j+m, i+m, j+l) は、MΘ(0, i+j, 0, j+m, i+m, j) に [j+l+1][i+j+l+m+2]/[j+1][i+j+m+2] を乗じたものに等しい。
• Y-頂点が2つのクラフトを接続するウェブの係数は、特定の条件下で消えることが示され、展開が簡略化される。
• Uq(sl(4,C))に対して6つの関係式の完全な集合が予想され、係数は整合性条件とUターン操作によって決定される。
• 予想される関係式の係数はすべて完全に決定されている：(4.3)で[3]、(4.7)で[2]と1、(4.8)、(4.9)、(4.10)で1。
• UターンとH移動から導かれる方程式系により、関係式における未知係数の値が確認され、量子整数を用いた一貫性のある解が得られる。