[論文レビュー] Classification of some fusion categories of rank 4

Hannah Larson|arXiv (Cornell University)|Jan 9, 2014

Carbohydrate Chemistry and Synthesis被引用数 1

ひとこと要約

この論文は、Grothendieck環の解析を通じて、ランク4で正確に2つの自己双対的対象を持つ融合カテゴリを分類し、7つの可能なベースリングが生じうることを示している。そのうち6つは既知のカテゴリフィケーションを備えている。このようなリングの擬等長カテゴリフィケーションについてほとんど完全な分類がなされ、またℤ/3ℤの近似群カテゴリに関連するベースリングについても完全な分類がなされている。

ABSTRACT

A fusion category of rank $4$ has either four self-dual objects or exactly two self-dual objects. We study fusion categories of rank $4$ with exactly two self-dual objects, giving nearly a complete classification of those based ring that admit pseudo-unitary categorification. More precisely, we show that if $\mathcal{C}$ is such a fusion category, then its Grothendieck ring $K(\mathcal{C})$ must be one of seven based rings, six of which have know categorifications. In doing so, we classify all based rings associated with near-group categories of the group $\mathbb{Z}/3\mathbb{Z}$.

研究の動機と目的

• ランク4で正確に2つの自己双対的対象を持つ融合カテゴリを分類すること。
• このようなカテゴリに関連するベースリングのうち、どのものが擬等長カテゴリフィケーションを許容するかを特定すること。
• 群ℤ/3ℤの近似群カテゴリに関連するベースリングを完全に分類すること。
• ランク4で2つの自己双対的対象を持つ擬等長融合カテゴリについて、ほぼ完全な分類を提供すること。
• 代数的およびカテゴリカルな技術を用いて、このような融合カテゴリのGrothendieck環に課される制約を確立すること。

提案手法

• ランク4で正確に2つの自己双対的対象を持つ融合カテゴリのGrothendieck環の構造を分析すること。
• 擬等長カテゴリフィケーションからの制約を適用して、可能なベースリングを制限すること。
• 表現論的および環論的技術を用いて、ℤ/3ℤの近似群カテゴリに関連するベースリングを分類すること。
• 6つの7つの候補ベースリングのうち、既知のカテゴリフィケーションを用いて候補の実現可能性を検証すること。
• 近似群カテゴリの分類を活用して、関連する融合カテゴリの構造的性質を導出すること。
• 代数的数論および融合則の一貫性条件を用いて、実現不可能なベースリングを除外すること。

実験結果

リサーチクエスチョン

• RQ1 ランク4で正確に2つの自己双対的対象を持つ融合カテゴリのGrothendieck環として生じうるベースリングはどれか？
• RQ2 そのようなベースリングのうち、どのものが擬等長カテゴリフィケーションを許容するか？
• RQ3 ℤ/3ℤの近似群カテゴリは、このような融合カテゴリの分類にどのように寄与するか？
• RQ4 ランク4で2つの自己双対的対象を持つ融合カテゴリのGrothendieck環に課される構造的制約は何か？
• RQ5 ランク4で2つの自己双対的対象を持つ完全な擬等長融合カテゴリの分類を達成できるか？

主な発見

• ランク4で正確に2つの自己双対的対象を持つ融合カテゴリのGrothendieck環として生じうるベースリングは、ちょうど7つである。
• 7つの候補ベースリングのうち6つは既にカテゴリフィケーションが知られており、残りの1つはまだ実現されていない。
• 本研究では、ℤ/3ℤの近似群カテゴリに関連するベースリングの分類が完全に完了している。
• 本研究では、6つの7つの候補ベースリングが擬等長カテゴリフィケーションを許容することが示された。
• このような融合カテゴリのGrothendieck環は、自己双対性とランク条件から導かれる厳密な代数的制約を満たす必要がある。
• 本研究の結果は、ランク4で2つの自己双対的対象を持つ擬等長融合カテゴリについて、ほぼ完全な分類を提供している。