[論文レビュー] On braided near-group categories

Josiah E. Thornton|arXiv (Cornell University)|Feb 22, 2011

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

ひとこと要約

本稿では、複素数体ℂ上の近群融合カテゴリがすべて球面的であることを証明し、1つの非可逆的単純対象を持つbraided near-groupカテゴリを分類する。非対称braided near-groupカテゴリが存在するのは、群Gが自明、ℤ/2ℤ、またはℤ/3ℤの場合に限り、Gが自明のとき4つ、G=ℤ/2ℤのとき2つ、G=ℤ/3ℤのとき1つ存在する。これはbraided tensor同値性の意味で成立する。

ABSTRACT

We prove that any fusion category over $\mathbb{C}$ with exactly one non-invertible simple object is spherical. Furthermore, we classify all such categories that come equipped with a braiding.

研究の動機と目的

• すべてのℂ上の近群融合カテゴリが球面的であることを証明し、すべての融合カテゴリが球面的構造を備えるという予想に対する肯定的証拠を提供すること。
• 正確に1つの非可逆的単純対象を持つすべてのbraided near-groupカテゴリを分類し、このようなカテゴリの分類を完成させること。
• 非対称braided near-groupカテゴリが存在する可能性のある有限群Gと非負整数kを特定すること。
• 非退化二次形式を用いて、metric群と群作用を用いてカテゴリのpointed部分の構造を特徴づけること。
• k≠0の対称近群カテゴリがp^l ≠ 2のときRep(𝔽_{p^l} ⋊ 𝔽_{p^l}^*)と同値であることを確立すること。

提案手法

• 有限群Gと整数kによってパrameter化される近群カテゴリのGrothendieck環構造を用い、近群融合規則(G,k)を定義する。
• 有限群の表現に関するDeligneとSeitzの結果を適用し、球面的性と擬ユニタリ構造を導出する。
• ENOによる球面化構成を用いて、任意の融合カテゴリに標準的な球面的構造を定義する。
• Aを有限アーベル群、qを非退化二次形式とするmetric群(A,q)を用いて、カテゴリのpointed braided部分を分析する。
• metric群への群作用を用い、非自明な群作用の固定点カテゴリを分類することで、非対称braided near-groupカテゴリの分類に至る。
• |∑_{a∈A} q(a)|² = |A|という条件を適用し、可能な群の位数と二次形式を制限し、Aをℤ/2ℤ⊕ℤ/2ℤまたはℤ/3ℤに限定する。

実験結果

リサーチクエスチョン

• RQ1 ℂ上のどの近群融合カテゴリが球面的構造を備えているか？
• RQ2 有限群Gと整数kについて、融合規則(G,k)を持つ非対称braided near-groupカテゴリが存在するのはいつか？
• RQ3 1つの非可逆的単純対象を持つbraided near-groupカテゴリの完全な分類結果は何か？
• RQ4 metric群への群作用は、非対称braided near-groupカテゴリをどのように分類するか？
• RQ5 k≠0のbraided near-groupカテゴリのpointed部分にどのような構造的制約があるか？

主な発見

• ℂ上のすべての近群融合カテゴリは球面的であり、ある体自己同型φに関するφ-擬ユニタリ構造を備える。
• k≠0の非対称braided near-groupカテゴリが存在するのは、群Gが自明、ℤ/2ℤ、またはℤ/3ℤの場合に限る。
• Gが自明のとき、融合規則(1,1)を持つbraided near-groupカテゴリは、braided tensor同値性の意味で4つ存在する。
• G=ℤ/2ℤのとき、融合規則(ℤ/2ℤ,1)を持つbraided near-groupカテゴリは2つ存在する。
• G=ℤ/3ℤのとき、融合規則(ℤ/3ℤ,2)を持つbraided near-groupカテゴリは正確に1つ存在する。
• Siehlerによる(G,0)ケースの分類および対称カテゴリの結果と組み合わせることで、すべてのbraided near-groupカテゴリの分類が完成する。