[論文レビュー] Lifting shadings on symmetrically self-dual subfactor planar algebras

Zhengwei Liu, Scott Morrison+1 more|arXiv (Cornell University)|Sep 15, 2017

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

ひとこと要約

本稿は、対称的自己双対な部分因子平面代数の影付けを、${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きユニタリ融合カテゴリの構成へと持ち上げる手法を確立する。このような平面代数が、$\Phi_{\mp} \circ \Phi_{\pm} = \mathbf{1}_{\pm}$ を満たす自己双対性同型写像を備えることを証明することで、4442および3333の融合グラフをもつユニタリ融合カテゴリの構成を完了し、こうしたカテゴリの分類における重要な空白を解消する。

ABSTRACT

In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.

研究の動機と目的

• 部分因子平面代数から${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きユニタリ融合カテゴリを構成することを完了すること。
• 影付けのある平面代数の対称的自己双対性が、影付けを影なしの因子平面代数へ持ち上げることを可能にすることを証明すること。
• 以前に主張された構成を完了することで、4442および3333の融合グラフをもつユニタリ融合カテゴリの存在を確立すること。
• 持ち上げ構成が正しい偶数部と奇数部をもつ、well-defined な${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きテンソルカテゴリを生じることを確認すること。

提案手法

• 平面代数同型写像$\Phi$を用いて、$\mathcal{P}_\bullet = (\mathcal{P}_+, \mathcal{P}_-)$ からその双対$\overline{\mathcal{P}}_\bullet = (\mathcal{P}_-, \mathcal{P}_+)$ への対称的自己双対性を定義し、$\Phi_{\mp} \circ \Phi_{\pm} = \mathbf{1}_{\pm}$ を満たすようにする。
• $\Phi$を用いて、部分因子平面代数の影付けを、影なしの因子平面代数へ持ち上げ、${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きユニタリ融合カテゴリを構成する。
• $\mathfrak{F}_S$と$\Phi_{-}$を含むトレース恒等式を用いて、$\Phi^2 = 1$ が成り立つのは、関連する双字函数$\chi$が対称であるときに限りであることを示す。
• $\chi(g,h)$ が対称であることは、$(\Phi_{-}\mathfrak{F}_S)^2 = \mathfrak{F}_S^2$ が成り立つことと同値であることを証明する。
• 得られた影なし平面代数$\mathcal{P}^A_\bullet$ が対称的自己双対であることを確認し、次数の整合性を保証する。
• 得られたカテゴリが、偶数部$\mathcal{P}_+$ と奇数部$\mathcal{P}_-$ をもつユニタリ融合カテゴリであることを確認し、望ましい融合グラフと一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 対称的自己双対な部分因子平面代数の影付けを、${\mathbb{Z}}/2{\mathbb{Z}}$-次数付きユニタリ融合カテゴリに持ち上げることができるか。
• RQ2 同型写像$\Phi$が$\Phi^2 = 1$ を満たす条件は何か。
• RQ3 平面代数に関連する双字函数$\chi(g,h)$ が対称であることは、$\Phi^2 = 1$ であることと同値であるか。
• RQ4 持ち上げ構成が、融合グラフ4442または3333をもつwell-defined なユニタリ融合カテゴリを生じるか。
• RQ5 基礎となる群がアーベル群であるとき、得られた${\mathbb{Z}}/2{\mathbb{Z}}$-次数付き融合カテゴリは、タマラ・ヤマガミカテゴリと同型であるか。

主な発見

• 対称的自己双対な部分因子平面代数の影付けを、影なしの因子平面代数へ持ち上げる構成は、完全に正当化され、以前に主張された構成を完了した。
• $\Phi^2 = 1$ が成り立つのは、関連する双字函数$\chi$ が対称であるときに限りであることが、$\mathfrak{F}_S$ と$\Phi_{-}$ を含むトレース恒等式を用いて示された。
• 有限アーベル群$A$ と非退化な対称双字函数$\chi$ に対して、得られる${\mathbb{Z}}/2{\mathbb{Z}}$-次数付き融合カテゴリはタマラ・ヤマガミカテゴリである。
• この構成により、4442および3333の融合グラフをもつユニタリ融合カテゴリの存在が確認され、こうしたカテゴリの分類における重要な未解決問題が解消された。
• 影なし平面代数$\mathcal{P}^A_\bullet$ は対称的自己双対であるため、${\mathbb{Z}}/2{\mathbb{Z}}$-次数の整合性が保証される。
• 得られた融合カテゴリの偶数部と奇数部は、それぞれ$\mathcal{P}_+$ と$\mathcal{P}_-$ に正確に一致し、持ち上げが元の部分因子データを保存することを保証する。