[論文レビュー] The generator conjecture for $3^G$ subfactor planar algebras

Zhengwei Liu, David Penneys|arXiv (Cornell University)|Jul 16, 2015

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

ひとこと要約

本稿は、|G| が奇数の場合に、$3^G$ 部分因子平面代数の生成子予想を、$f^{(2)}$ における削減済み部分因子平面代数に $G$-作用を構成し、それがヤン・バクスター平面代数であることを示すことによって証明する。主な結果として、深さ4の低重量回転固有ベクトルおよびその固有値の明示的公式が確立され、平面代数の予想された構造が確認される。

ABSTRACT

We state a conjecture for the formulas of the depth 4 low-weight rotational eigenvectors and their corresponding eigenvalues for the $3^G$ subfactor planar algebras. We prove the conjecture in the case when $|G|$ is odd. To do so, we find an action of $G$ on the reduced subfactor planar algebra at $f^{(2)}$, which is obtained from shading the planar algebra of the even half. We also show that this reduced subfactor planar algebra is a Yang-Baxter planar algebra.

研究の動機と目的

• $3^G$ 部分因子平面代数の生成子予想を、特に深さ4の低重量回転固有ベクトルおよびその固有値について述べて証明すること。
• $3^G$ 平面代数の偶数部分から得られる、$f^{(2)}$ における削減済み部分因子平面代数に $G$-作用を構成すること。
• 削減済み部分因子平面代数がヤン・バクスター平面代数であることを示すこと。
• $|G|$ が奇数の場合の固有ベクトルおよび固有値の明示的公式を提供し、予想を確認すること。

提案手法

• 著者らは、$3^G$ 平面代数の偶数部分から導かれる、$f^{(2)}$ における削減済み部分因子平面代数に $G$-作用を定義する。
• 彼らは偶数部分の構造を用いて、色分けされた平面代数を構成し、$G$-作用の下での不変量を分析する。
• 証明は、商空間 $\mathcal{S}_{3,+} \ominus \mathcal{I}_{3,+}$ の基底 $\mathcal{B}_{3,+}^\prime$ を、$\xi_{h,k,\ell}$ と $\eta_{i,j}$ 間の関係を用いて構成することに依存する。
• 彼らは、構造定数 $\langle \beta_{h,k,\ell}, \xi_{h',k',\ell'} \rangle$ がヤン・バクスター関係を満たすことを示し、平面代数構造を確認する。
• 解析には、平面代数の深さ4層における回転固有ベクトルおよび固有値の明示的計算が含まれる。
• 予想は、$|G|$ が奇数のとき、構成された基底と $G$-作用が一貫した固有値公式をもたらすことを示すことによって検証される。

実験結果

リサーチクエスチョン

• RQ1 $3^G$ 部分因子平面代数における深さ4の低重量回転固有ベクトルおよびその固有値の明示的公式は何か？
• RQ2 $f^{(2)}$ における削減済み部分因子平面代数に $G$-作用をどのように構成できるか？
• RQ3 $f^{(2)}$ における削減済み部分因子平面代数はヤン・バクスター平面代数か？
• RQ4 生成子予想が成り立つ条件は何か、特に $|G|$ が奇数のときにはどうか？
• RQ5 商空間 $\mathcal{S}_{3,+} \ominus \mathcal{I}_{3,+}$ における基底 $\mathcal{B}_{3,+}$ と $\mathcal{B}_{3,+}^\prime$ の関係は何か？

主な発見

• $|G|$ が奇数の場合に、$3^G$ 部分因子平面代数の生成子予想が真であることが証明された。
• $3^G$ 平面代数の偶数部分から得られる、$f^{(2)}$ における削減済み部分因子平面代数に $G$-作用が成功裏に構成された。
• $f^{(2)}$ における削減済み部分因子平面代数がヤン・バクスター平面代数であることが示された。
• 基底 $\mathcal{B}_{3,+}^\prime = \{\eta_{i,j}\}_{i,j \in G \cup \emptyset} \cup \{\zeta_{h,k,\ell} = \xi_{h,k,\ell} - c_{h,\ell}\eta_{h,\ell}\}_{h,k,\ell \in G}$ は $\mathcal{S}_{3,+} \ominus \mathcal{I}_{3,+}$ を張る。
• 構造定数 $\langle \beta_{h,k,\ell}, \xi_{h',k',\ell'} \rangle$ はヤン・バクスター関係を満たし、平面代数構造が確認された。
• 深さ4の回転固有ベクトルおよび固有値の明示的公式が、$|G|$ が奇数のとき $G$-作用と一貫していることが検証された。