[論文レビュー] Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories

Thibault D. Décoppet, Matthew Yu|arXiv (Cornell University)|Jun 13, 2023

Carbohydrate Chemistry and Synthesis被引用数 11

ひとこと要約

この論文は群論的融合 2-カテゴリを定義・分類し、ファイバー 2-函子で融合 2-カテゴリを特徴づけ、Tambara-Yamagami (TY) 欠陥と TY 融合 2-カテゴリを、G-graded 2-vector space 構成と 4-cocycle twist を用いて分類する。

ABSTRACT

We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show that group-theoretical fusion 2-categories are completely characterized by the property that the braided fusion 1-category of endomorphisms of the monoidal unit is Tannakian. Then, we describe the underlying finite semisimple 2-category of group-theoretical fusion 2-categories, and, more generally, of certain 2-categories of bimodules. We also partially describe the fusion rules of group-theoretical fusion 2-categories, and investigate the group gradings of such fusion 2-categories. Using our previous results, we classify fusion 2-categories admitting a fiber 2-functor. Next, we study fusion 2-categories with a Tambara-Yamagami defect, that is $\mathbb{Z}/2$-graded fusion 2-categories whose non-trivially graded factor is $\mathbf{2Vect}$. We classify these fusion 2-categories, and examine more closely the more restrictive notion of Tambara-Yamagami fusion 2-categories. Throughout, we give many examples to illustrate our various results.

研究の動機と目的

• 群論的融合 2-カテゴリを、群論的融合 1-カテゴリのカテゴリー化として導入し、それらをグローバル対称性の部分群のゲージ化と関連づける。
• モノイダル単位のタンナカの自己準同型カテゴリを用いて、ファイバー 2-函子を受け入れる融合 2-カテゴリを特徴付ける。
• 有限群データと 4-cocycle を通じて、Tambara-Yamagami 欠陥をもつ融合 2-カテゴリと Tambara-Yamagami 融合 2-カテゴリを分類する。
• 群論的融合 2-カテゴリとそれらの bimodule 2-カテゴリの基盤となる 2-カテゴリおよび部分的融合則を記述する。

提案手法

• G-graded および π-ひねり構造をモデル化するために、2VectG および 2VectπG を構築・研究する。
• 剛性代数と双モジュール 2-カテゴリを用いて Morita 同値を実現し、融合 2-カテゴリにおけるモジュール、双モジュール、デュアルを定義する。
• ΩC は有限群 H に対する Rep(H) と braided 同値であることを示すことで、融合 2-カテゴリが群論的であることを証明する。
• 層 fiber 2-functors を分類するには、C が C(G,H,π,ψ) と同値であることを示す、正確な群分解と 2- cocycle データ π, ψ を備える。
• TY の分類の 2-カテゴリ的類推を、A ≀ Z/2 から 4-cocycle π を用いて TY 2-カテゴリを構築することによって展開し、いつファイバー 2-函子を受け入れるかを決定する。
• TY 欠陥を群グレード融合 2-カテゴリに関連づけ、凝縮像（condensation picture）を通じてそれらの融合則を記述する。

実験結果

リサーチクエスチョン

• RQ1 2-カテゴライズされた意味で、融合 2-カテゴリは群論的であるのか。
• RQ2 ファイバー 2-函子を受け入れるための必要十分条件は何か。
• RQ3 Tambara-Yamagami 欠陥を融合 2-カテゴリ設定でどのようにモデル化・分類できるのか。
• RQ4 TY 2-カテゴリとその同値を分類する具体的なデータ（群、コサイクル）は何か。
• RQ5 ファイバー 2-函子と TY 欠陥が存在する場合に、対称性と凝縮は (2+1)-次元理論でどのように振る舞うのか。

主な発見

• A fusion 2-category C is group-theoretical iff its ΩC is Tannakian, i.e., braided equivalent to Rep(H) for some finite group H.
• A fusion 2-category admits a fiber 2-functor if and only if it is equivalent to C(G,H,π,ψ) for a finite group G with an exact factorization by subgroups H and K, together with cocycle data π and ψ subject to specified constraints.
• Every Tambara-Yamagami 2-category can be constructed from data of a finite abelian group A and a class π in H4(A ≀ Z/2; k×) with restriction to A⊕A trivial; equivalence of TY 2-categories reduces to a group isomorphism respecting the wreath product structure and trivializing π/π′.
• A Tambara-Yamagami 2-category TY(A,π) is monoidally classified up to equivalence by A and π; the trivially graded factor is a direct sum of |A| copies of Mod(VectA).
• For odd-order A, TY(A,triv) admits a fiber 2-functor but is not equivalent to 2-representations of any finite 2-group when A is nontrivial; specific cases with A=Z/2 yield instances that are equivalent to 2-representations of a finite 2-group.