[論文レビュー] Intermediate Defect Groups, Polarization Pairs, and Non-invertible Duality Defects

Craig Lawrie, Xingyang Yu+1 more|arXiv (Cornell University)|Jan 1, 2023

Physics of Superconductivity and Magnetism被引用数 3

ひとこと要約

本論文は、自己双対な (k−1)-形式ゲージ場を伴う 2k次元量子場理論における非可逆双対性デフェクトの分類および構成のための統一的枠組みを、偏光ペアを用いて提案する。 (k−1)-形式デフェクト群とその対称性を偏光ペアによって符号化することで、格子自己同型を介してゲージ化やカウンターテルムスタックといった位相的操作を簡潔に記述する。主な貢献は、非可逆的対称性を体系的に構成するための手続きであり、4次元 N=4 SYM や 6次元 (S)CFT における新しい双対性デフェクト族の構成に成功。特に Type IIB シュレーディンガー理論の埋め込みによって実現される。

ABSTRACT

Within the framework of relative and absolute quantum field theories (QFTs), we present a general formalism for understanding polarizations of the intermediate defect group and constructing non-invertible duality defects in theories in $2k$ spacetime dimensions with self-dual gauge fields. We introduce the polarization pair, which fully specifies absolute QFTs as far as their $(k-1)$-form defect groups are concerned, including their $(k-1)$-form symmetries, global structures (including discrete $ heta$-angle), and local counterterms. Using the associated symmetry TFT, we show that the polarization pair is capable of succinctly describing topological manipulations, e.g., gauging $(k-1)$-form global symmetries and stacking counterterms, of absolute QFTs. Furthermore, automorphisms of the $(k-1)$-form charge lattice naturally act on polarization pairs via their action on the defect group; they can be viewed as dualities between absolute QFTs descending from the same relative QFT. Using this formalism, we present a prescription for building non-invertible symmetries of absolute QFTs. A large class of known examples, e.g., non-invertible defects in 4D $\mathcal{N}=4$ super-Yang--Mills, can be reformulated via this prescription. As another class of examples, we identify and investigate in detail a family of non-invertible duality defects in 6D superconformal field theories (SCFTs), including from the perspective of the symmetry TFT derived from Type IIB string theory.

研究の動機と目的

• 絶対的 QFT における (k−1)-形式グローバル対称性、グローバル構造、局所的カウンターテルムを、中間のデフェクト群を用いて一般化された形式主義で分類すること。
• カウンターテルムのない基準理論の選択における曖昧さを解消するため、すべてのラグランジュ部分群を平等に扱う偏光ペアを導入すること。
• ゲージ化やカウンターテルムスタックといった位相的操作を、デフェクト群の自己同型として統一的に記述する枠組みを提供すること。
• (k−1)-形式電荷格子の自己同型を活用して、絶対的 QFT における非可逆的双対性デフェクトを構成すること。
• 特に Type IIB 縮約から得られる対称性 TFT を通じて、6次元 (S)CFT における双対性デフェクトを幾何学的に実現するため、形式主義を弦理論に埋め込むこと。

提案手法

• (k−1)-形式デフェクト群 D の双対的記述として、D = ℓ ⊕ ℓ を満たすラグランジュ部分群 ℓ と ℓ を持つ偏光ペア (ℓ, ℓ) を導入する。
• ヘイゼンベルク群の構成を用いて、絶対的 QFT の完全な位相的データを符号化する境界状態 |ℓ, ℓ, B⟩ を定義する。
• カウンターテルムスタックやグローバル対称性のゲージ化といった位相的操作を、偏光ペアへの変換としてモデル化する：二次的カウンターテルムを吸収するため ℓ をシフトし、ゲージ化を実現するため偏光ペアを反転する。
• 偏光ペアに関連する対称性トポロジカル場理論 (TFT) を用いて、デフェクト群格子の自己同型として双対性デフェクトを記述する。
• 同じ相対的 QFT から導かれる絶対的 QFT 間の双対性を果たす (k−1)-形式電荷格子の自己同型を用いて、非可逆的双対性デフェクトを構成する。
• 弦理論への埋め込みとして、対称性オペレータをブレーン配置として実現し、縮約幾何から対称性 TFT を導出する。

実験結果

リサーチクエスチョン

• RQ1 偏光ペア (ℓ, ℓ) は、絶対的 QFT の (k−1)-形式デフェクト群構造、その対称性、グローバル構造、カウンターテルムを完全かつ対称的に指定できるか？
• RQ2 (k−1)-形式電荷格子の自己同型は、絶対的 QFT 間の双対性としてどのように作用するか？ また、非可逆的双対性デフェクトの構成にどのように利用できるか？
• RQ3 この形式主義は、カウンターテルムスタックやグローバル対称性のゲージ化といった位相的操作を体系的に扱えるか？
• RQ4 偏光ペア形式主義は、特に Type IIB 縮約から得られる 6次元 (S)CFT において、どのように実現可能か？
• RQ5 ブレーン配置や対称性 TFT を用いた幾何的解釈として、非可逆的双対性デフェクトはどのように理解できるか？

主な発見

• 偏光ペア (ℓ, ℓ) は、 (k−1)-形式デフェクト群を完全かつ対称的に記述し、カウンターテルムのない標準理論の選択を不要にする。
• 形式主義では、すべてのラグランジュ部分群 L の選択が同等に扱われ、境界状態における位相因子 exp(2πi ∫ϵ(B)) を通じて、ℓ のシフトが任意の二次的カウンターテルムを吸収できることを示す。
• 4次元 N=4 so(8) SYM における Z2 × Z2 1-形式対称性の Z2 部分群のゲージ化は、単一の偏光ペアの反転に対応し、一般規則と整合的である。
• 4次元 N=4 su(N) SYM に対して、形式主義は Z42 の15個のラグランジュ部分群とそれに対応する8つの適合補完群を含む、合計120通りの異なる偏光を再現し、形式主義の完全性を確認する。
• 6次元 N=(2,0) D4 および A4⊕A4 理論において、本手法は明示的な非可逆的双対性デフェクト族を構成し、Type IIB 縮約から得られる対称性 TFT がその整合性を裏付けている。
• 形式主義はブレーン実現を通じて弦理論に自然に埋め込まれ、対称性 TFT が縮約幾何から得られる幾何的データと一致しており、抽象的枠組みの物理的実現を提供する。