[논문 리뷰] Universal Non-Invertible Symmetries

Lakshya Bhardwaj, Sakura Schäfer‐Nameki외 1명|arXiv (Cornell University)|2022. 08. 11.

Black Holes and Theoretical Physics인용 수 11

한 줄 요약

이 논문은 양자장이론(QFT)에서 비가역 대칭에 대한 일반적인 프레임워크를 제안한다. 0형 대칭을 d차원 QFT에서 게이지화하면, 동일한 대칭을 가진 하위차원의 토폴로지적 양자장이론(TQFT)들로 구성된 (d−1)-분류(category)의 이중 대칭이 생성됨을 보여준다. 주요 기여는 이러한 (d−1)-분류가 고차 게이지화(higher-gauging)를 통해 비가역 대칭을 포함한 모든 이중 대칭을 포괄함을 보여주는 것으로, 2차원 응집 결함(condensation defects)의 2분류가 구체적인 실현을 제공하며, 이는 이산 또는 연속적인 비연결 게이지 군을 가진 게이지 이론에서 비가역 대칭을 통합하고 계산을 단순화하는 데 기여한다.

ABSTRACT

It is well-known that gauging a finite 0-form symmetry in a quantum field theory leads to a dual symmetry generated by topological Wilson line defects. These are described by the representations of the 0-form symmetry group which form a 1-category. We argue that for a d-dimensional quantum field theory the full set of dual symmetries one obtains is in fact much larger and is described by a (d-1)-category, which is formed out of lower-dimensional topological quantum field theories with the same 0-form symmetry. We study in detail a 2-categorical piece of this (d-1)-category described by 2d topological quantum field theories with 0-form symmetry. We further show that the objects of this 2-category are the recently discussed 2d condensation defects constructed from higher-gauging of Wilson lines. Similarly, dual symmetries obtained by gauging any higher-form or higher-group symmetry also form a (d-1)-category formed out of lower-dimensional topological quantum field theories with that higher-form or higher-group symmetry. A particularly interesting case is that of the 2-category of dual symmetries associated to gauging of finite 2-group symmetries, as it describes non-invertible symmetries arising from gauging 0-form symmetries that act on (d-3)-form symmetries. Such non-invertible symmetries were studied recently in the literature via other methods, and our results not only agree with previous results, but our approach also provides a much simpler way of computing various properties of these non-invertible symmetries. We describe how our results can be applied to compute non-invertible symmetries of various classes of gauge theories with continuous disconnected gauge groups in various spacetime dimensions. We also discuss the 2-category formed by 2d condensation defects in any arbitrary quantum field theory.

연구 동기 및 목표

• QFT에서 글로벌 대칭을 게이지화할 때 발생하는 이중 대칭의 전체 구조를 이해하기 위해, 기존의 표준적인 토폴로지적 윌슨 라인(Wilson lines)을 초월한 분석을 수행한다.
• 이중 대칭의 구조가 단순히 (d−2)-형 대칭이 아니라, 더 풍부한 (d−1)-분류의 토폴로지적 결함으로 이루어져 있음을 보여준다.
• 다양한 비가역 대칭의 구성 방식—예를 들어 이중성 결함(duality defects), 외부자기 대칭 게이지화(outer-automorphism gauging), 응집 결함—을 하나의 고차 분류 프레임워크 아래 통합한다.
• 유한 또는 연속적인 비연결 게이지 군을 가진 게이지 이론에서 비가역 대칭을 체계적으로 계산할 수 있는 방법을 제공한다.
• 2차원 응집 결함의 2분류가 고차 게이지화로부터 자연스럽게 유도되며, 비가역 대칭을 보편적으로 표현함을 보여준다.

제안 방법

• 논문은 d차원 QFT에서 0형 대칭 Γ(0)를 가지며, 동일한 Γ(0) 대칭을 가진 하위차원 TQFT(예: 1차원 또는 2차원)와의 대각선 대칭을 게이지화하여 이중 대칭을 구성한다.
• 고차 게이지화를 사용하여 코디멘션 1 이하의 토폴로지적 결함을 생성하며, 이는 객체가 Γ(0) 대칭을 가진 TQFT이고, 사상이 인터페이스 결함인 (d−1)-분류의 대칭을 형성한다.
• 2차원 응집 결함의 2분류는 2-representation category 2Rep(Γ(0))에서 유도되며, 단순 객체들은 타원형 섹터( twisted sectors)에 대응하고, 사상은 표현 또는 진공 쌍의 궤적(orbit)으로 표기된다.
• 사상의 복합 규칙은 인터페이스 결함의 융합을 통해 계산되며, 결과는 (3.31) 및 (3.34)와 같은 범주론적 공식을 통해 유도된다. 이는 종단 사상 범주와 인터페이스 복합의 계산을 제공한다.
• 유한 2군 대칭에 대한 적용을 통해, 0형 대칭이 (d−3)-형 대칭에 작용할 경우 비가역 대칭이 2분류로 기술됨을 보여준다.
• Γ(0)=Z2×Z2의 경우에 대해 명시적인 계산을 수행하였으며, 6개의 단순 객체를 가지며, 표현 이론과 슈어 승수(Schur multipliers)를 통해 사상 범주를 계산하였다.

실험 결과

연구 질문

• RQ1 d차원 QFT에서 0형 대칭을 게이지화할 때 생성되는 이중 대칭의 완전한 대수적 구조는 무엇인가?
• RQ2 고차 게이지화를 통해 유도된 윌슨 라인에서 비롯하는 비가역 대칭은 하위차원의 토폴로지적 결함의 구조와 어떻게 관련되는가?
• RQ3 2차원 응집 결함의 2분류는 고차 게이지화로부터 유일하게 유도될 수 있으며, 비가역 대칭을 어떻게 표현하는가?
• RQ4 스푸어 승수와 타원형 표현은 (d−1)-분류 내에서 TQFT 간 사상의 분류에 어떤 역할을 하는가?
• RQ5 이 프레임워크는 비연결 연속 게이지 군을 가진 게이지 이론에서 비가역 대칭의 계산을 어떻게 단순화하는가?

주요 결과

• 0형 대칭을 게이지화한 후의 이중 대칭 구조는 단순히 (d−2)-형 대칭이 아니라, 동일한 0형 대칭을 가진 하위차원 TQFT들이 객체로 있는 보편적인 (d−1)-분류의 토폴로지적 결함로 이루어져 있음을 보여준다.
• 2차원 응집 결함의 2분류는 0형 대칭군의 2표현 범주 2Rep(Γ(0))와 동형임을 보여주며, 이는 비가역 대칭의 구체적인 실현을 제공한다.
• Γ(0)=Z2×Z2의 경우, 2분류는 6개의 단순 객체를 가지며, 진공 궤적의 구조에 따라 Rep(Z2) 또는 Vec의 직접 합으로 사상 범주가 계산된다.
• 몫 대칭 Γ(0)/⟨x⟩와 Γ(0)/⟨y⟩를 가진 TQFT 간 1차 사상의 복합은 Rep(Z2)의 두 복사본과 동형인 종단 사상으로 이어지며, 이는 다수의 진공 궤적을 반영한다.
• 다른 게이지 고정 조건(예: T(id)에서 T(Γ(0)/⟨xy⟩))으로의 인터페이스 간 복합과 그 다음 T(Γ(0))로의 복합은 표현이나 궤적에 관계없이 항상 하나의 1차 사상으로 수렴하며, 이는 비자명한 융합 규칙을 보여준다.
• 이 프레임워크는 다른 접근 방식에서 알려진 비가역 대칭 결과를 재현하지만, 계산을 훨씬 더 단순하고 체계적인 방법으로 제공한다.