[論文レビュー] The classification of $3^n$ subfactors and related fusion categories

Masaki Izumi|arXiv (Cornell University)|Sep 24, 2016

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

ひとこと要約

本稿は、Cuntz代数の手法を用いて、$3^n$ 素子およびそれに関連する融合カテゴリを分類し、やや弱い仮定の下で分類問題を明示的な多項方程式の解法に還元する。この手法により、中間的素子をもたない $3 + \sqrt{5}$ のインデックスをもつ4つの有限深さ素子を一様に構成でき、Asaeda-Haagerup素子の新たな構成への重要な一歩を提供する。

ABSTRACT

We investigate a (potentially infinite) series of subfactors, called $3^n$ subfactors, including $A_4$, $A_7$, and the Haagerup subfactor as the first three members corresponding to $n=1,2,3$. Generalizing our previous work for odd $n$, we further develop a Cuntz algebra method to construct $3^n$ subfactors and show that the classification of the $3^n$ subfactors and related fusion categories is reduced to explicit polynomial equations under a mild assumption, which automatically holds for odd $n$.In particular, our method with $n=4$ gives a uniform construction of 4 finite depth subfactors, up to dual,without intermediate subfactors of index $3+\sqrt{5}$. It also provides a key step for a new construction of the Asaeda-Haagerup subfactor due to Grossman, Snyder, and the author.

研究の動機と目的

• すべての $n$ に対して $3^n$ 素子およびそれらに関連する融合カテゴリを分類すること。これは、奇数 $n$ に対する以前の結果を一般化する。
• 分類問題を明示的な多項方程式の解法に還元する Cuntz代数に基づく手法を開発すること。
• 中間的素子をもたない $3 + \sqrt{5}$ のインデックスをもつ4つの有限深さ素子を一様に構成すること。
• $3^4$ 素子の枠組みを用いて Asaeda-Haagerup素子の新たな構成への重要な一歩を確立すること。
• 一般化された Haagerup カテゴリおよびその $Q$-システムの理論を任意の有限群 $G$ にまで拡張すること。

提案手法

• Cuntz代数の枠組みを用いて、von Neumann代数 $\tilde{M}$ 上の自己準同型を構成し、Haagerup素子から既知の構造を拡張する。
• 群作用および $G$-カーネルを用いて、Haagerup素子における $\mathbb{Z}_3$ 対称性を任意の有限群 $G$ に一般化する。
• Cuntz代数の設定における代数的関係から導かれる多項方程式系の解法に還元することで、$3^n$ 素子の分類問題を簡略化する。
• 融合カテゴリからの素子の再構成を保証する $Q$-システム理論を用い、カテゴリカルデータから元の素子の存在を保証する。
• de-equivariantization および equivariantization を用いたオルビフォールド構成により、$G$-不変構造と非真正の素子を関連付ける。
• 誘導・還元技術およびグラフ論的データ（主グラフ）を用いて、構成の整合性と有限性を検証する。

実験結果

リサーチクエスチョン

• RQ1 やや弱い仮定の下で、$3^n$ 素子の分類を明示的な多項方程式の解法に還元できるか？
• RQ2 Cuntz代数手法を奇数 $n$ からすべての $n$（特に $n=4$）に一般化できるか？
• RQ3 $G$ 対称性は $3^n$ 素子の構成において果たす役割は何か？ そして、有限深さ素子の一様な構成を可能にする仕組みは何か？
• RQ4 $3^4$ の構成により、$3 + \sqrt{5}$ のインデックスをもつ中間的素子をもたない4つの有限深さ素子を構成できるか？
• RQ5 $3^n$ フレームワークは、$3^4$ 素子を介して Asaeda-Haagerup素子の新たな構成をどのように支援するか？

主な発見

• やや弱い仮定の下で、$3^n$ 素子およびそれらに関連する融合カテゴリの分類は、明示的な多項方程式の解法に還元される。この仮定は、奇数 $n$ の場合には自動的に成立する。
• $n=4$ の場合、本手法により、中間的素子をもたない $3 + \sqrt{5}$ のインデックスをもつ4つの有限深さ素子を一様に構成できる。
• 本構成は、Grossman, Snyder および著者らが提唱したように、$3^4$ フレームワークを用いた Asaeda-Haagerup素子の新たな実現への重要な一歩を提供する。
• Cuntz代数手法により、Haagerup素子の構成が $n$ の高い場合へと自然に拡張され、$\mathbb{Z}_3$ 対称性が任意の有限群 $G$ に一般化された。
• id $\oplus \rho$ の $Q$-システムの存在は、特定の多項方程式の可解性に依存し、カテゴリカルデータと素子の存在の間の関係を結ぶ。
• de-equivariantization および equivariantization を用いたオルビフォールド構成により、$G$-不変構造から非真正の素子を回復でき、分類全体の整合性が確認された。