[論文レビュー] The centre of the extended Haagerup subfactor has 22 simple objects

Scott Morrison, Kevin Walker|arXiv (Cornell University)|Apr 15, 2014

Algebraic structures and combinatorial models参考文献 7被引用数 6

ひとこと要約

この論文は、融合カテゴリの中心における単純対象の数とインダクション関手の組合せ的構造を、融合環と次元関数のみを用いて計算する手法を提示する。拡張ハーガープ部分因子に適用したところ、その中心に正確に22個の単純対象があることが確認され、偶数部からのインダクションを記述する明示的な行列が得られ、拡張ハーガープカテゴリのこのデータの完全な計算が初めて達成された。

ABSTRACT

We explain a technique for discovering the number of simple objects in $Z(C)$, the center of a fusion category $C$, as well as the combinatorial data of the induction and restriction functors at the level of Grothendieck rings. The only input is the fusion ring $K(C)$ and the dimension function $K(C) o \mathbb{C}$. The method is not guaranteed to succeed (it may give spurious answers besides the correct one, or it may simply take too much computer time), but it seems it often does. We illustrate by showing that there are 22 simple objects in the center of the extended Haagerup subfactor [arXiv:0909.4099].

研究の動機と目的

• 融合環と次元関数のみが与えられた場合に、融合カテゴリの中心における単純対象の数とインダクション関手データを計算する技術を開発すること。
• この手法を、長年の未解決問題であった拡張ハーガープ部分因子に適用すること。
• 特に単純対象の数と偶数部からのインダクション関手の振る舞いを含め、拡張ハーガープ部分因子の中心の構造を検証すること。
• ハーガープおよびアサダ・ハーガープの場合を含む既知の部分因子に対して、この手法の実行可能性と限界を示すこと。
• Grothendieck環のデータ $ Z(\mathcal{C}) $ を体系的かつアルゴリズム的に計算するアプローチを提供すること（ただし、完全な $ S $ および $ T $ 行列の計算は含まない）。

提案手法

• この手法は、$ \mathcal{M} = \mathcal{A} \mathcal{A}^T $ という式を用いる。ここで $ \mathcal{M} $ は、誘導対象間のホモトピー空間の次元の行列であり、$ \mathcal{A} $ はGroーディック環上のインダクション関手の行列である。
• 代数的数論に依存し、特にオストリクの定義に従い、$ \mathcal{A} $ の列の内積が与えられた代数的整数を割り切る $ d $-数でなければならない。
• 非負整数対称行列 $ \mathcal{M} $ を、$ \mathcal{A} \mathcal{A}^T $ に分解するアルゴリズムであり、内積から生じる代数的整数に制約を課す。
• 非特異な小行列を求めるために、ヒューリスティックな行および列の入れ替え戦略を用い、代数的分解に定理2.2を適用可能にする。
• 計算的に実装されており、辞書式順序による最適化と、一意性が検出された段階での早期終了が行われている。
• このアプローチは、拡張ハーガープ、ハーガープ、アサダ・ハーガープを含む既知の部分因子に対してテストされ、最初の2つのケースで成功した。

実験結果

リサーチクエスチョン

• RQ1 拡張ハーガープ部分因子の中心には、いくつの単純対象があるか？
• RQ2 拡張ハーガープ部分因子の偶数部から中心へのインダクション関手の組合せ的構造は何か？
• RQ3 代数的数論の制約を用いて、融合環と次元関数のみから中心の融合カテゴリを再構成できるか？
• RQ4 この手法は、主なグラフが複雑な部分因子に対しても、中心の構造を一意に特定できるほど頑健か？
• RQ5 より大きく、より対称性の高い融合環を持つ部分因子に適用した場合、この手法の限界は何か？

主な発見

• 拡張ハーガープ部分因子の中心には正確に22個の単純対象があることが、提案された計算手法により確認された。
• 6対象からなる偶数部からのインダクション関手は、整数成分をもつ6×22行列として記述され、論文に明示的に記載されている。
• 8対象からなる偶数部からのインダクション関手は、同様に8×22行列として明示的に計算され、提供されている。
• 両方のインダクション行列の5列目は、中心における単位対象 $ \mathbf{1} \in Z(\mathcal{C}) $ に対応しており、ラベル付けの整合性が確認された。
• 中心 $ Z(\mathcal{C}) $ の4セットの4対象が、6対象および8対象の融合カテゴリの両方に対して同一に制限され、共通の表現論的構造を示している。
• この手法はハーガープおよびアサダ・ハーガープ部分因子の組合せ的データを一意に特定できたが、4442部分因子に対しては1日以内に収束しなかったため、計算上の限界が示された。