[論文レビュー] A Construction of the "2221" Planar Algebra

Richard Han|arXiv (Cornell University)|Feb 10, 2011

Advanced Topics in Algebra参考文献 5被引用数 4

ひとこと要約

本稿では、主グラフ '2221' のグラフ平面代数の部分代数として '2221' の部分因子平面代数を構成し、明示的な2次関係をもつ2つの生成子 T と Q による表示を行う。jellyfish アルゴリズムを用いて、部分因子性を証明し、随伴に関して一意性を確立し、主グラフ '2221' をもつ部分因子の存在を平面代数的証明する。

ABSTRACT

In this paper, we construct the "2221" subfactor planar algebra by finding it as a subalgebra of the graph planar algebra of its principal graph. In particular, we give a presentation of the "2221" subfactor planar algebra consisting of generators and relations. As a corollary, we have a planar algebra proof of the existence of a subfactor with principal graph "2221". To show the subfactor property, we use the jellyfish algorithm for evaluating closed diagrams. Lastly, we show uniqueness up to conjugation of "2221".

研究の動機と目的

• 生成子と関係式を用いた '2221' の部分因子平面代数の平面代数的構成を提供すること。
• 平面代数の表示を用いて、主グラフ '2221' をもつ部分因子の存在を証明すること。
• 閉じた図形の評価にjellyfishアルゴリズムを適用し、部分因子性を確立すること。
• 随伴に関して '2221' 平面代数の一意性を示すこと。
• 生成子と関係式の特定を支援するため、平面代数を既約成分に分解すること。

提案手法

• 主グラフ '2221' に関連するグラフ平面代数の部分代数として平面代数を構成する。
• 3-ボックス空間における既約モジュールへの分解に基づき、2つの生成子 T と Q を特定する。
• グラフの構造とトレース計算を用いて、3-ボックスと4-ボックスの間の2次関係を導出する。
• 平面代数における非自明なタングル合成を処理するため、1本のストランドのブレード置換を導入する。
• 閉じた図形の評価にjellyfishアルゴリズムを適用し、部分因子性を検証する。
• パス空間への生成子の作用の行列表現を用いてトレースを計算し、関係式の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 生成子と2次関係を用いた '2221' 平面代数の完全な表示は何か？
• RQ2 2つの生成子をもつ平面代数において、jellyfishアルゴリズムをどのように適用して部分因子性を検証できるか？
• RQ3 グラフ平面代数は、'2221' 平面代数の構成と検証において果たす役割は何か？
• RQ4 生成子およびその積のトレース値は、平面代数構造の整合性をどのように確認するか？
• RQ5 随伴に関して、'2221' 平面代数はどの程度一意的か？

主な発見

• '2221' 平面代数は、その主グラフ H のグラフ平面代数の部分代数として構成され、2つの生成子 T と Q および2次関係による表示を持つ。
• jellyfishアルゴリズムを用いて閉じた図形を評価し、部分因子性が正当化され、平面代数が必要な正定性およびトレース条件を満たすことが確認された。
• ρ₁/₂(T)² のトレースは [4] = 5 + √21 であり、ρ₁/₂(T)³ のトレースは 1/6(−3√3 + √7) であり、代数における T³ の期待値と一致する。
• ρ₁/₂(Q)² のトレースは ω[4] であり、ρ₁/₂(Q)³ のトレースは −2/3√(8 + 3√21) であり、代数における Q³ と整合的である。
• 混合トレース Z(ρ₁/₂(T)ρ₁/₂(Q)) = 0 および Z(ρ₁/₂(T)²ρ₁/₂(Q)²) = ωZ(T²Q²) は、代数的関係と整合的であることを確認する。
• 平面代数 PA(T, Q) が主グラフ H をもつことが示され、これは '2221' の部分因子に対応しており、随伴に関して一意性が確立された。