[論文レビュー] Categorical Fermionic Actions and Minimal Modular Extensions

César Galíndo, César F. Venegas-Ramírez|arXiv (Cornell University)|Dec 19, 2017

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

ひとこと要約

本稿は、フェルミオン的およびスピン・ブレード付き融合カテゴリ上の有限スーパーグループのフェルミオン的作用をカテゴリー的枠組みで展開し、コホモロジー的障害とタンナキアンの場合と類似した2同値を確立する。フェルミオン的設定におけるモジュラー拡張問題の主要な側面を解決するため、スーパータンナキアンカテゴリの最小モジュラー拡張の必要十分条件を提示し、そのような拡張を持たないブレード付き融合カテゴリの例を構成する。

ABSTRACT

We define fermionic actions of finite super-groups on fermionic fusion categories and establish necessary and sufficient conditions for their existence. Our main result characterizes when a braided fusion category admits a minimal non-degenerate extension in terms of cohomological obstructions. This characterization for braided fusion categories with non-Tannakian Müger center involves the fermionic structures and fermionic actions introduced in this work.

研究の動機と目的

• 有限スーパーグループがフェルミオン的およびスピン・ブレード付き融合カテゴリにカテゴリー的フェルミオン的作用をもつ理論を構築すること。
• タンナキアンの場合の結果をスーパーグループ設定に一般化すること、特にコホモロジー的障害と2同値を含むこと。
• スーパーグループ表現カテゴリおよび非タンナキアンなブレード付き融合カテゴリの最小モジュラー拡張の分類と構成を行うこと。
• フェルミオン的設定における最小モジュラー拡張の存在に必要な十分条件を特定すること。
• 最小モジュラー拡張を持たないブレード付き融合カテゴリの明示的例を提供すること。

提案手法

• カテゴリ的およびテンソルカテゴリ構造を用いて、スーパーグループがフェルミオン的融合カテゴリおよびスピン・ブレード付き融合カテゴリに作用する方法を定義する。
• フェルミオン的融合カテゴリにスーパーグループ作用をもつ2カテゴリと、Rep(Ḡ,z)上の融合カテゴリとの間の2同値を確立し、DGNO10の結果をスーパーグループ設定に一般化する。
• このような作用の存在に対するH^3(Ḡ, ℂ×)におけるコホモロジー的障害を導入し、ねじれドリンフェルト双対を介した群論的解釈を与える。
• ブレード付きG-クローズドカテゴリとミューゲル中心を用いて最小モジュラー拡張を分析する。
• 理論を応用してスーパーグループの最小モジュラー拡張を分類し、ランク4のポイント付きカテゴリにおけるH^4障害を研究する。
• キューンケンの公式とライランドのアルゴリズムを含む群コホモロジーの道具を用いて、直積群のコホモロジー類を計算する。

実験結果

リサーチクエスチョン

• RQ1 スーパーグループ(Ḡ,z)がフェルミオン的融合カテゴリにカテゴリー的フェルミオン的作用をもつために必要な十分条件は何か？
• RQ2 スーパータンナキアン融合カテゴリの最小モジュラー拡張はどのように分類され、構成されるか？
• RQ3 どのような条件下でブレード付き融合カテゴリは最小モジュラー拡張を持たないか？
• RQ4 H^3およびH^4コホモロジーは、フェルミオン的作用とモジュラー拡張を妨げる役割を果たすか？
• RQ5 Rep(Ḡ,z)の最小モジュラー拡張からSVecへの準同型が全射であるのはいつか？

主な発見

• フェルミオン的融合カテゴリにスーパーグループ(Ḡ,z)のフェルミオン的作用をもつ2カテゴリと、Rep(Ḡ,z)上の融合カテゴリとの間の2同値が確立され、DGNO10の定理がスーパーグループ設定に拡張された。
• フェルミオン的作用の存在に対するH^3(Ḡ, ℂ×)におけるコホモロジー的障害が特定され、ねじれドリンフェルト双対を介した群論的解釈が与えられた。
• 本稿では、Rep(Ḡ,z)の最小モジュラー拡張からSVecへの準同型が全射であることが、(Ḡ,z)が自明である場合にかつその場合にのみ成り立つことを証明した。
• 最小モジュラー拡張を持たないブレード付き融合カテゴリの明示的例が構成され、このような拡張が常に存在するわけではないことを示した。
• ランク4のポイント付きスピン・ブレード付き融合カテゴリに対して、H^4障害が計算され、一般には非自明であることが示され、作用の拡張が妨げられることを示した。