[논문 리뷰] Intermediate Defect Groups, Polarization Pairs, and Non-invertible Duality Defects

Craig Lawrie, Xingyang Yu외 1명|arXiv (Cornell University)|2023. 01. 01.

Physics of Superconductivity and Magnetism인용 수 3

한 줄 요약

이 논문은 자기 dual인 (k−1)-형 군사장이 있는 2k차원 양자장이론에서 비가역적 이중성 결함을 분류하고 구성하기 위해 편광 쌍을 사용하는 통합 형식을 제안한다. (k−1)-형 결함 군과 그 대칭성을 편광 쌍을 통해 표현함으로써, 격자 자기동형사상으로서의 게이지화와 반항항 스택킹과 같은 위상적 연산을 간결하게 기술할 수 있다. 주요 기여는 비가역 대칭을 체계적으로 구성하는 규정을 제공하며, 4차원 N=4 SYM과 같은 알려진 예제를 재구성하고, 특히 타입 IIB 끈 이론 임bedding을 통해 6차원 (S)CFT에서 새로운 종류의 이중성 결함을 구성한다.

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에서 (k−1)-형 전하 격자의 자기동형사상에 기반하여 비가역 이중성 결함을 구성하는 것.
• 특히 타입 IIB 컴actification에서 유도되는 대칭성 TFT를 통해 끈 이론에 이 형식을 임베딩하여 6차원 (S)CFT에서 기하학적으로 이중성 결함을 실현하는 것.

제안 방법

• 결함 군 D의 이중적 기술로써 편광 쌍 (ℓ, ℓ) 을 도입하며, 여기서 ℓ 와 ℓ 는 D = ℓ ⊕ ℓ 를 만족하는 D의 라그랑주 하위군이다.
• 헤이젠베르크 군 구성법을 사용하여 위상적 데이터를 모두 포함하는 경계 상태 |ℓ, ℓ, B⟩ 를 정의한다.
• 반항항 스택킹과 대칭의 게이지화와 같은 위상적 조작을 편광 쌍의 변환으로 모델링한다: 이차 반항항을 흡수하기 위해 ℓ 를 이동시키고, 게이지화를 위해 편광 쌍을 뒤집는다.
• 편광 쌍과 관련된 대칭성 위상장이론(TFT)을 사용하여 이중성 결함을 결함 군 격자의 자기동형사상으로 기술한다.
• 동일한 상대적 QFT에서 유도되는 절대 QFT들 사이의 이중성을 수행하는 (k−1)-형 전하 격자의 자기동형사상에 의해 비가역 이중성 결함을 구성한다.
• 타입 IIB 끈 이론에 이 형식을 임베딩하기 위해 대칭 연산자를 브레인 구성으로 실현하고, 압축 기하학에서 대칭성 TFT를 유도한다.

실험 결과

연구 질문

• RQ1 편광 쌍 (ℓ, ℓ) 은 절대 QFT의 (k−1)-형 결함 군의 구조, 그 대칭성, 전역 구조, 반항항을 어떻게 완전하고 대칭적으로 특정할 수 있는가?
• RQ2 (k−1)-형 전하 격자의 자기동형사상은 절대 QFT들 사이의 이중성으로서 어떻게 작용하며, 이를 비가역 이중성 결함을 구성하는 데 어떻게 활용할 수 있는가?
• RQ3 이 형식은 반항항 스택킹과 전역 대칭의 게이지화와 같은 위상적 연산을 체계적으로 설명할 수 있는가?
• RQ4 편광 쌍 형식은 특히 타입 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 이론에서, 이 방법은 명시적인 비가역 이중성 결함의 가족을 구성하며, 타입 IIB 컴팩티피케이션에서 유도된 대칭성 TFT는 그 일관성을 확인한다.
• 이 형식은 브레인 실현을 통해 끈 이론에 이중성 결함를 성공적으로 임베딩하며, 대칭성 TFT가 컴팩티피케이션의 기하학적 자료와 일치하여 추상적 형식의 물리적 실현을 제공한다.