[論文レビュー] Gauging Noninvertible Defects: A 2-Categorical Perspective

Thibault D. Décoppet, Matthew Yu|arXiv (Cornell University)|Nov 15, 2022

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

この論文は、2-圏的枠組みを用いて、非可逆対称性として実現される表面演算子としての量子場理論における異常現象の一般化を試みる。多融合2-圏におけるbraidedまたはsymmetricな分離可能代数の凝縮が、制御されたモノイダル構造を持つ新しい多融合2-圏を生じることを確立し、すべての対称的融合2-圏が2SVecへのファイバー2-関手を備えることを証明する。これはフェルミオン的凝縮によって障害を解消する。

ABSTRACT

We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of monoidality, we prove theorems about the structure of the 2-category obtained by condensing a suitable algebra object. We give examples where the resulting category displays grouplike fusion rules and through a cohomology computation, find the obstruction to condensing further to the vacuum theory.

研究の動機と目的

• トポロジカル場理論における可逆対称性からの異常現象の概念を、表面演算子として実現される非可逆対称性へと拡張すること。
• 多融合2-圏における分離可能代数を用いた非可逆対称性の凝縮を扱う2-圏的枠組みの構築。
• 非可逆対称性が真空理論へ完全に凝縮可能となる条件の特定。
• braidedまたはsyllepticな2-圏における、真空理論への凝縮の障害を、コhomology類の観点から分類すること。
• すべての対称的融合2-圏が2SVecへのファイバー2-関手を備えることの証明を示し、特にフェルミオン的状況下で障害が消えること。

提案手法

• 非可逆対称性を多融合2-圏における分離可能代数的対象としてモデル化する2-圏における凝縮の枠組みを用いる。
• 2-関手およびファイバー列の理論を適用し、凝縮後のカテゴリの構造を分析する。
• スペクトル系列、特にAtiyah-Hirzebruchスペクトル系列を用いて、有限アーベル群Eに対する超コhomology群SH7(E[4])を計算する。
• Eilenberg-MacLaneスペクトルおよびホモトピー論的道具を用いて、スペクトル間の写像を分類し、それらを障害類に関連付ける。
• コhomology群H7(E[4]; C×)およびSH7(E[4])を分析し、ボソン的およびフェルミオン的状況下での障害の消滅を決定する。
• Deligne型の定理およびsyllepsisデータを用いて、特に対称的およびsyllepticな場合に、凝縮カテゴリのモノイダル構造を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 表面演算子として実現される非可逆対称性に対する2-圏的異常現象の一般化とは何か？
• RQ2 braidedまたはsyllepticな多融合2-圏における分離可能代数の凝縮が、適切に定義された融合2-圏を生じる条件は何か？
• RQ3 braided 2-圏における、さらに真空理論への凝縮を妨げるコhomological障害は何か？
• RQ4 任意の対称的融合2-圏は、対称的強く融合2-圏に凝縮可能であり、2SVecへのファイバー2-関手を備えるか？
• RQ5 なぜフェルミオン的状況（2SVec）では障害が消えるのか？そしてこれはどのようにして出現するフェルミオンに関連するか？

主な発見

• braidedな多融合2-圏におけるbraided分離可能代数の凝縮は、定理Aで示されるように、多融合2-圏をもたらす。
• syllepticな多融合2-圏におけるsymmetric分離可能代数の凝縮は、定理Bで述べられるように、braided多融合2-圏をもたらす。
• sylleptic 2-圏の対称中心におけるsymmetric分離可能代数の凝縮は、sylleptic多融合2-圏をもたらし、もとの圏が対称的であれば結果も対称的になる。これは定理Cによる。
• 強く融合的2-圏を真空理論に凝縮する障害は、H7(E[4]; C×)におけるコhomology類によって記述され、フェルミオン的状況では消える。
• 任意の有限アーベル群Eに対して、超コhomology群SH7(E[4])は消える。これは、すべての対称的融合2-圏が2SVecへのファイバー2-関手を備えることを示唆する。
• すべての対称的強く融合2-圏は、命題5.2で示されるように、ある有限アーベル群Eに対して2SVec[E]と同値である。