Skip to main content
Nubint
QUICK REVIEW

[論文レビュー] Gauging Non-Invertible Symmetries: Topological Interfaces and Generalized Orbifold Groupoid in 2d QFT

Oleksandr Diatlyk, Conghuan Luo|arXiv (Cornell University)|Nov 28, 2023
Homotopy and Cohomology in Algebraic Topology被引用数 5
ひとこと要約

本稿は、トポロジカルなインターフェースと一般化されたオルビフォールド群コアを用いて、2次元量子場理論における非可逆的対称性を測定するフレームワークを開発する。一般化されたゲージ理論—以前は圏論で形式化されていた—が、QFT間のトポロジカルなインターフェースを通じて物理的に実現可能であることが示され、体系的な分類が可能となり、特にイジング² CFTにおける無限個の非可逆的自己双対性を導出する。

ABSTRACT

Gauging is a powerful operation on symmetries in quantum field theory (QFT), as it connects distinct theories and also reveals hidden structures in a given theory. We initiate a systematic investigation of gauging discrete generalized symmetries in two-dimensional QFT. Such symmetries are described by topological defect lines (TDLs) which obey fusion rules that are non-invertible in general. Despite this seemingly exotic feature, all well-known properties in gauging invertible symmetries carry over to this general setting, which greatly enhances both the scope and the power of gauging. This is established by formulating generalized gauging in terms of topological interfaces between QFTs, which explains the physical picture for the mathematical concept of algebra objects and associated module categories over fusion categories that encapsulate the algebraic properties of generalized symmetries and their gaugings. This perspective also provides simple physical derivations of well-known mathematical theorems in category theory from basic axiomatic properties of QFT in the presence of such interfaces. We discuss a bootstrap-type analysis to classify such topological interfaces and thus the possible generalized gaugings and demonstrate the procedure in concrete examples of fusion categories. Moreover we present a number of examples to illustrate generalized gauging and its properties in concrete conformal field theories (CFTs). In particular, we identify the generalized orbifold groupoid that captures the structure of fusion between topological interfaces (equivalently sequential gaugings) as well as a plethora of new self-dualities in CFTs under generalized gaugings.

研究の動機と目的

  • 2次元QFTにおける可逆的対称性にとどまらず、非可逆的一般化対称性へのゲージ理論の概念を拡張すること。
  • QFT間のトポロジカルなインターフェースを通じて、融合圏における代数的対象やモジュールカテゴリの物理的解釈を提供すること。
  • ブートストラップ解析とトポロジカルなインターフェースの融合を用いて、一般化されたゲージ理論の体系的分類法を確立すること。
  • 一般化されたゲージ理論の下で、自己双対性や隠れた構造が conformal field theories にどのように現れるかを示すこと。
  • QFTの物理的公理（トポロジカルなインターフェースを含む）から、圏論における数学的定理（例えばモジュールカテゴリの性質）を導出すること。

提案手法

  • 一般化されたゲージ理論を、QFT間のトポロジカルなインターフェースを介する物理的プロセスとして定式化し、代数的対象やモジュールカテゴリといった数学的構造を、観測可能なQFT現象と結びつける。
  • 2次元QFTにおけるトポロジカルな欠損線（TDL）を用いて非可逆的対称性を表現し、その融合則を融合圏に符号化する。
  • ブートストラップ法を適用してトポロジカルなインターフェースを分類し、可能な一般化ゲージ理論の列挙とその整合性条件の特定を可能にする。
  • 一般化されたオルビフォールド群コアを導入し、トポロジカルなインターフェースの逐次的ゲージ化と融合を記述する。これにより、複数のゲージ理論の代数的構造を捉える。
  • 次元制約と量子次元条件を用いて、ゲージ化に適した代数的対象を絞り込む。例えば、WZWモデルにおける2元代数を例に挙げる。
  • F記号と乗法的自己準同型を、完全なF記号データがなくても、物理的整合性条件によって固定する。
Figure 1 : Positive configurations of TDLs in the positive gauge ( $\theta_{ijk}>0$ ) for the F-matrices.
Figure 1 : Positive configurations of TDLs in the positive gauge ( $\theta_{ijk}>0$ ) for the F-matrices.

実験結果

リサーチクエスチョン

  • RQ12次元QFTにおける非可逆的対称性はどのようにゲージ化可能であり、その背後にある物理的メカニズムは何か？
  • RQ2トポロジカルなインターフェースは、一般化されたゲージ理論の実現と、異なるQFTの間の接続にどのような役割を果たすか？
  • RQ3一般化されたオルビフォールド群コアは、どのようにして逐次的ゲージ化とトポロジカルなインターフェースの融合を記述できるか？
  • RQ4一般化されたゲージ理論がCFTにおいて自己双対性を生じる条件は何か？
  • RQ5QFTの物理的公理（トポロジカルなインターフェースを含む）を用いて、モジュールカテゴリの性質といった圏論の数学的定理をどのように導出できるか？

主な発見

  • 本稿では、非可逆的TDLをもつランク4の融合圏の一般化されたゲージ理論から生じる、イジング² CFTにおける無限個の非可逆的自己双対性の族を同定した。
  • スピン(5)₁ CFTにおいて、二重代数 B = 1 ⊕ D₁′′ が構成され、量子次元 ⟨D₁′′⟩ = 2 − √3 を満たす。この代数をBメッシュ装飾に用いることで、SU(2)₁₀ CFTの対角モジュラー不変量が再現される。
  • 乗法的自己準同型を物理的整合性条件を用いて明示的に計算し、F記号データが完全に与えられていなくても m₄₄⁴ = √(√3 − 1) および m₄₄¹ = 1/√(3 + √3) を得た。
  • Rep(H₈)およびRep(D₈)に対して一般化されたオルビフォールド群コアが導出され、トポロジカルなインターフェースの融合が、群的理論的融合圏上のモジュールカテゴリに対応することが示された。
  • イジング² CFTでは、連続的な非可逆的対称性の存在が、無限次元の一般化ゲージ理論の空間をもたらし、豊かな双対性のネットワークを示唆する。
  • SU(2)₁₀ CFTにおける双対代数の構成が、正しいトーラス分配関数を再現することを確認し、フレームワークの物理的整合性が裏付けられた。
Figure 4 : The separability, associativity, Frobenius, and unit conditions on the algebra object $(A,m,m^{\dagger},u,u^{\dagger})$ . Here we have written them in the positive gauge. In the general gauge, the comultiplication morphism $m^{\dagger}$ and the counit $u^{\dagger}$ should be replaced by $
Figure 4 : The separability, associativity, Frobenius, and unit conditions on the algebra object $(A,m,m^{\dagger},u,u^{\dagger})$ . Here we have written them in the positive gauge. In the general gauge, the comultiplication morphism $m^{\dagger}$ and the counit $u^{\dagger}$ should be replaced by $

より良い研究を、今すぐ始めましょう

論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。

クレジットカード登録不要

このレビューはAIが作成し、人間の編集者が確認しました。