[論文レビュー] Pivotal fusion categories of rank 3 (with an Appendix written jointly with Dmitri Nikshych)

Victor Ostrik|arXiv (Cornell University)|Sep 18, 2013

Algebraic structures and combinatorial models参考文献 22被引用数 15

ひとこと要約

この論文は、特性0の代数的に閉じた体上のランク3のピvォタル融合カテゴリを分類し、それらが5つのタイプのいずれかに同値であることを証明している：群 ℤ/3ℤ に関するポイント付きカテゴリ、7乗根の単位根における量子 sl₂ の偶数部、イジンカテゴリ、S₃ の表現カテゴリまたはそのねじれ、および E₆ の部分因子カテゴリとそのガロア共役。分類は、多くのランク3のベース付き環がカテゴリファイブル化可能でないことを除外するための新しい理論的道具、特に擬等長不等式に依存している。

ABSTRACT

We classify all fusion categories of rank 3 that admit a pivotal structure over an algebraically closed field of characteristic zero. Also in the Appendix (joint with D.Nikshych) we give some restrictions on Grothendieck rings of near-group categories.

研究の動機と目的

• 代数的に閉じた特性0の体上に、ピvォタル構造を備えたランク3の融合カテゴリをすべて分類すること。
• ランク1およびランク2の融合カテゴリの分類におけるギャップを埋め、小規模な融合カテゴリの分類を拡張すること。
• 特に、ベース付き環のカテゴリファイブル化可能性を制約するための新しい理論的道具、特に擬等長不等式を開発すること。
• グローテンディーク環の制限を用いて、特に整数的および非整数的ケースにおいて、近似群カテゴリを調査すること。
• ピvォタル構造を持たない融合カテゴリの存在と構造を調査し、それらが大きな融合係数を持つ必要があることを示すこと。

提案手法

• 擬等長不等式（式5）を用いて、正の次元値を持つ球面的融合カテゴリのグローテンディーク環に非自明な制約を課す。
• 単位対象の誘導に関する定理2.13（ドリンフェルト中心への）を適用し、カテゴリカル構造と次元の増大を分析する。
• ドリンフェルト中心構成とタンカリアン部分カテゴリを介したファイバーカテゴリを用いて、融合カテゴリを群的構造に関連付ける。
• ブレッド化同値と中心的ファンクターを用いて、特定のファイバーカテゴリが有限群の表現カテゴリに同値であることを示す。
• NgおよびSchauenburgのフロベニウス＝シュール指標に関する結果を適用し、分類における困難なケースを除外する。
• 弱いモラータ同値性とモジュールカテゴリ理論を活用し、近似群カテゴリを群的カテゴリに、形式 𝒞(Ḡ, H̃, ω, ψ) を介して関連付ける。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた特性0の体上に、ピvォタル構造を備えたランク3の融合カテゴリはどれか？
• RQ2 擬等長不等式は、ランク3のベース付き環のカテゴリファイブル化可能性にどのような制約を課えるか？
• RQ3 非整数次元を持つ近似群カテゴリは分類可能か？また、それらがどのような構造的性質を持つのか？
• RQ4 特に、可逆的対象のなす群の位数が2であるとき、近似群カテゴリが群的である条件は何か？
• RQ5 ピvォタル構造を持たないランク3の融合カテゴリは存在するか？それらの融合係数にどのような制約が適用されるか？

主な発見

• 代数的に閉じた特性0の体上に、ランク3のピvォタル融合カテゴリはすべて、5つの既知のタイプのいずれかに同値である：ℤ/3ℤ-ポイント付き、7乗根の単位根における量子 sl₂ の偶数部、イジンカテゴリ、Rep(S₃) またはそのねじれ、E₆ の部分因子カテゴリおよびそのガロア共役。
• 擬等長不等式（式5）は、ランク3のベース付き環の大部分がカテゴリファイブル化可能でないことを排除するのに十分強く、主要な障害の道具となっている。
• 0 < n < |G|−1 を満たす近似群カテゴリは非アーベル群 G を持つ必要があり、n = |G|−1 の場合は G が巡回群でなければならないことが、次元および特性指標の分析により示された。
• 非整数次元の近似群カテゴリは可換なグローテンディーク環を持つ必要があり、整数次元の近似群カテゴリは弱く群的理論的である。
• ドリンフェルト中心のタンカリアン部分カテゴリに関連するファイバーカテゴリ 𝒟 ⨂_{𝒟′} Vec は群的理論的であるため、ラグランジュ部分カテゴリの存在を示唆する。
• n = |G|−1 のとき、カテゴリ 𝒞(G,n) は群的理論的であり、|Ḡ| = |G|(|G|+1) を満たすポイント付きカテゴリ Vec_{Ḡ}^ω と弱いモラータ同値である。また、Ā は補完部分群 H̃ が |G| の位数を持つフロベニウス群である。