[論文レビュー] Some non-braided fusion categories of rank 3

Tobias Hagge, Seung-Moon Hong|ArXiv.org|Apr 2, 2007

Algebraic structures and combinatorial models参考文献 11被引用数 12

ひとこと要約

この論文は、特定の非ブレード化された融合則の集合の下で、3つの単純対象を持つすべての融合カテゴリを分類し、それらがちょうど4つのモノイダル的に同値でないカテゴリであることを証明している。非ブレード化の性質を確立し、球面的であることを検証し、明示的な結合性行列を提供するとともに、四重双対関手が恒等関手と自然同型であることを示す、新たな初等的証明を提示している。これにより、オストリクの仮説の下でのランク3の融合カテゴリの分類が完遂された。

ABSTRACT

We classify all fusion categories for a given set of fusion rules with three simple object types. If a conjecture of Ostrik is true, our classification completes the classification of fusion categories with three simple object types. To facilitate the discussion we describe a convenient, concrete and useful variation of graphical calculus for fusion categories, discuss pivotality and sphericity in this framework, and give a short and elementary re-proof of the fact that the quadruple dual functor is naturally isomorphic to the identity.

研究の動機と目的

• 与えられた非ブレード化された融合則の集合の下で、3つの単純対象を持つすべての融合カテゴリを分類すること。
• これらのカテゴリがブレード化された融合カテゴリとして実現可能でないことを確認すること。
• 明示的なピvォタル構造を用いて、4つのカテゴリが球面的であることを証明すること。
• 四重双対関手が恒等関手と自然同型であることを示す、新たな初等的証明を提供すること。
• オストリクの予想の下でのランク3の融合カテゴリの分類を完了すること。

提案手法

• スケルティズエーションとストレクト化を用いて、代数的計算を簡略化するための、融合カテゴリの厳密化されたスケルトンモデルを構築する。
• ストレクト化されたスケルトンにおける結合性行列を用いて、融合カテゴリの公理を複素数上での多項方程式系として定式化する。
• 正規化とグレブナー基底技術を用いて、得られた多項方程式系を解き、すべてのモノイダル的に同値でない解を特定する。
• 双対性を明示的に計算し、融合則との整合性を確認することで、剛性を検証する。
• 射空間への二重双対関手の作用を用いて球面的性をテストし、二重双対行列の立方が恒等写像であることを示す。
• 一つの解の係数にガロア自己同型を作用させることで、他の3つの同値でないカテゴリを生成する。

実験結果

リサーチクエスチョン

• RQ1 与えられた非ブレード化された融合則の集合と3つの単純対象を持つ場合、モノイダル的に同値でない融合カテゴリはいくつ存在するか？
• RQ2 本論文で分類された4つのカテゴリにブレードを導入できるか。もしそうでないなら、その理由は何か？
• RQ3 これらのカテゴリにおいて、四重双対関手が恒等関手と自然同型であるか。そして、その同型を初等的に証明できるか？
• RQ4 これらのカテゴリは球面的構造を備えているか。この文脈におけるピvォタル性の役割は何か？
• RQ5 ブレード化の欠如が、融合カテゴリにおける球面的構造の存在にどのように影響するか。

主な発見

• 与えられた融合則を満たし、3つの単純対象（1, x, y）を持つモノイダル的に同値でない融合カテゴリは、ちょうど4つ存在する。
• 4つのカテゴリは、結合性行列の係数に作用する非自明なガロア自己同型によって関連付けられている。
• 4つのカテゴリのいずれに対してもブレード化は実現できない。これは六角形方程式の解が存在しないことから確認できる。
• 4つのカテゴリはすべて球面的である。なぜなら、二重双対関手の立方が射空間上で恒等写像として作用するからである。
• 四重双対関手が恒等関手と自然同型であるという証明は初等的であり、厳密化されたスケルトン構成に依存している。
• 明示的な結合性行列は付録Aに記載されており、すべての融合則の行列が含まれており、単位根や代数的数を含む複素数成分を持つ。