[論文レビュー] Skein theory for the ADE planar algebras

Stephen Bigelow|ArXiv.org|Mar 1, 2009

Algebraic structures and combinatorial models参考文献 3被引用数 4

ひとこと要約

本稿は、$E_6$、$E_8$、$A_N$、$D_{2N}$部分因子に関連するADE平面代数について、生成子と関係式による記述を提供し、それぞれの平面代数に適した図形の基底を構成し、任意の図形を基底要素の線形結合として表現する構成的アルゴリズムを提示する。主な貢献は、基底が代数を張ることを証明し、これらの平面代数における明示的計算を可能にする体系的なスキーン理論的枠組みを確立した点である。

ABSTRACT

We give generators and relations for the planar algebras corresponding to $ADE$ subfactors. We also give a basis and an algorithm to express an arbitrary diagram as a linear combination of these basis diagrams.

研究の動機と目的

• $E_8$平面代数について、$A_N$および$D_{2N}$部分因子の先行研究を拡張して、完全な生成子と関係式による記述を提供すること。
• $E_8$平面代数に対して、図形の正規基底を定義し、それがすべての図形の空間を張ることを証明すること。
• スキーン関係式と還元規則を用いて、任意の図形を基底要素の線形結合として表現するアルゴリズム的手法を開発すること。
• $E_6$、$A_N$、$D_{2N}$のケースにこの枠組みを拡張し、類似の記述と基底が存在することを示すこと。

提案手法

• 生成子$S$と5つの関係式（量子整数スカラーおよび回転・トレース写像に関する特定の不変条件を含む）によって平面代数$\mathcal{P}$を定義する。
• 主グラフが$E_8$である部分因子平面代数$\mathcal{P}'$の既知の性質を用いて、$\mathcal{P} \cong \mathcal{P}'$の同型を確立する。
• 上部に単一の生成子$S$を配置し、下方にJW-簡約されたTemperley-Lieb図形と接続する図形からなる基底$\mathcal{B}_n$を構成する。
• 帰納的還元技術を適用：スキーン関係式を用いて図形をキャップまたはカップに置き換え、辞書的順序を小さくするか、より単純な形に還元する。
• Temperley-Lieb平面代数を部分代数として用い、ジョーンズ・ウェンツル射影体と$[n]$量子整数を用いて正規化を定義する。
• $A_N$、$D_{2N}$、$E_6$に一般化する際には、それぞれの主グラフと量子パラメータに適合するように生成子と関係式を調整する。

実験結果

リサーチクエスチョン

• RQ1 スキーン理論を用いて、$E_8$平面代数について完全な生成子と関係式の記述を与えることができるか？
• RQ2 有限個の図形からなる基底が$E_8$平面代数を張り、かつアルゴリズム的に構成可能か？
• RQ3 $E_8$におけるスキーン関係式と還元規則は、$A_N$、$D_{2N}$、$E_6$と比較してどのように異なるか？
• RQ4 量子整数とジョーンズ・ウェンツル射影体は、基底の構成と線形独立性の保証において果たす役割は何か？
• RQ5 同一の枠組みを、散発的な$E_6$および$E_8$ケースを含むすべてのADE平面代数に一貫して適用可能か？

主な発見

• 1つの生成子$S$と5つの関係式によって定義される平面代数$\mathcal{P}$は、$E_8$部分因子平面代数$\mathcal{P}'$と同型であることが示され、完全な記述が確立された。
• $\mathcal{B}_n$は$\mathcal{P}_n$の基底をなしており、その元の数が$E_8$平面代数の既知の次元と一致することから、空間を張ることが証明された。
• 任意の図形を基底要素の線形結合として表現するアルゴリズムが存在し、キャップ・カップおよびスキーン関係式による反復的還元を用いる。
• $E_6$の場合、生成子$S \in \mathcal{P}_6$を用い、$\rho(S) = e^{4\pi i/3}S$、$\tau(S) = 0$、$S^2 = S + [2]^2[3]P_3$、$\hat{S}P_8 = 0$を満たし、$q = e^{i\pi/12}$である。
• $D_{2N}$および$A_N$の場合も同様に生成子と関係式を提示し、その基底は$S$（存在する場合）とJW-簡約されたTemperley-Lieb図形からなる。
• すべてのADEケースにおいて、基底要素は$XY$の形をとり、$X$は固定された小さな図形の集合（空図形または$S$を含む）で、$Y$はJW-簡約されたTemperley-Lieb図形である。これにより、一様かつ構成的な枠組みが保証された。