[논문 리뷰] On the 6d Origin of Non-invertible Symmetries in 4d

Vladimir Bashmakov, Michele Del Zotto외 1명|arXiv (Cornell University)|2022. 06. 14.

Algebraic structures and combinatorial models인용 수 6

한 줄 요약

이 논문은 6차원 $(2,0)$ 이론을 리만 곡면 위에 compactify하여 4차원 $\upsilon=2$ 초등방출장 이론에서 비가역 대칭의 6차원 기원을 규명한다. 매핑 클래스 군의 작용에 대한 모듈리 공간에서의 안정자들이 0형 대칭을 생성하며, 이는 1형 대칭과 혼합된 애너멀리를 유도하여 크라머스-반너 유사 비가역 결함을 초래한다. 주요 기여는 클래스 $\mathcal{S}$ compactification의 기하학적 구조에서 유래하는 소수 $p$와 $k \geq 1$에 대해 $p^k$-대칭 결함을 갖는 무한한 4차원 이론의 가족을 제시하는 것이다.

ABSTRACT

It is well-known that six-dimensional superconformal field theories can be exploited to unravel interesting features of lower-dimensional theories obtained via compactifications. In this short note we discuss a new application of 6d (2,0) theories in constructing 4d theories with Kramers-Wannier-like non-invertible symmetries. Our methods allow to recover previously known results, as well as to exhibit infinitely many new examples of four dimensional theories with "M-ality" defects (arising from operations of order $M$ generalizing dualities). In particular, we obtain examples of order $M=p^k$, where $p>1$ is a prime number and $k$ is a positive integer.

연구 동기 및 목표

• 6차원 $(2,0)$ 초등방출장 이론을 이용하여 4차원 양자장론에서 비가역 대칭의 기하학적 기원을 규명하는 것.
• 리만 곡면 위에 compactified된 클래스 $\mathcal{S}$ 이론의 전반적 구조에서 0형 대칭과 1형 대칭 간 혼합된 애너멀리가 어떻게 유도되는지 설명하는 것.
• 6차원 compactification을 통해 소수 $p$와 $k \geq 1$에 대해 $M = p^k$의 순서를 갖는 무한한 4차원 이론의 가족을 구성하는 것.
• 6차원 분할 벡터와 매핑 클래스 군 고정점에서 전역 구조와 애너멀리를 읽어내는 체계적인 방법을 제공하는 것.
• 6차원 초등방출장 이론을 이용하여 4차원 이론에서 카테고리 대칭의 광범위한 분류 체계를 마련하는 데 기초를 다지는 것.

제안 방법

• 6차원 $(2,0)$ 이론의 $A_{n-1}$ 형식을 종수-$g$ 리만 곡면 $\Sigma_g$ 위에 compactify하여 클래스 $\mathcal{S}$의 4차원 $\mathcal{N}=2$ 초등방출장 이론을 구성하는 것.
• 0형 대칭을 $\Sigma_g$의 복소 기하학 모듈리 공간 위에서 매핑 클래스 군 작용의 안정자로 식별하며, 이는 특별한 점에서 강화된 전역 대칭과 대응된다.
• 6차원 결함 군과 결과적으로 유도된 4차원 이론의 전반적 구조 간의 상호작용을 분석하여 0형 대칭과 1형 대칭 간 혼합된 애너멀리를 탐지하는 것.
• 타치카와의 방법을 적용하여 6차원 분할 벡터와 단조이 동작의 작용으로부터 클래스 $\mathcal{S}$ 이론의 전역 구조를 추론하는 것.
• 혼합된 애너멀리가 존재하는 조건에서 1형 대칭의 게이지화를 통해 비가역 차원-1 결함을 구성하는 것. 이는 [61]의 프레임워크를 따름.
• 종수-$g$ 곡면에서 $\mathbb{Z}_{4g+2}$ 등장성 대칭을 활용하여 $p=2$, $k\geq1$에 대해 $p^k$-대칭 결함을 생성하고, 적절한 곡면의 분리 구조를 통해 다른 소수로 일반화하는 것.

실험 결과

연구 질문

• RQ1 6차원 $(2,0)$ 초등방출장 이론은 어떻게 4차원 $\mathcal{N}=2$ 이론에서 비가역 대칭을 생성할 수 있는가?
• RQ2 클래스 $\mathcal{S}$ compactification에서 0형 대칭과 1형 대칭 간 혼합된 애너멀리의 기하학적 기원은 무엇인가?
• RQ3 6차원 프레임워크는 소수 $p$에 대해 $M = p^k$의 순서를 갖는 무한한 4차원 이론의 가족을 생성할 수 있는가?
• RQ4 리만 곡면 위에서 매핑 클래스 군의 고정점은 어떻게 0형 대칭의 강화와 혼합된 애너멀리 기구를 유도하는가?
• RQ5 리만 곡면의 외부 자동형사상은 어떻게 게이지화를 통해 비가역 2형 대칭을 생성하는가?

주요 결과

• 논문은 6차원 $(2,0)$ 이론을 종수-$g$ 리만 곡면 위에 compactify하여, 소수 $p > 1$와 양의 정수 $k$에 대해 $M = p^k$의 순서를 갖는 비가역 대칭을 가진 무한한 4차원 $\mathcal{N}=2$ 초등방출장 이론의 가족을 구성한다.
• 비가역 차원-1 결함는 0형 대칭과 1형 대칭 간 혼합된 애너멀리에서 기인하며, 이때 0형 대칭은 $\Sigma_g$의 모듈리 공간 위에서 매핑 클래스 군 작용의 안정자로 표현된다.
• $\tau = i$에서 $SO(3)_{-}$ 이론의 $\mathbb{Z}_2^{(0)} \times \mathbb{Z}_2^{(1)}$ 혼합된 애너멀리는 6차원 compactification으로부터 복원되며, 기존 결과와의 일관성을 확인한다.
• 종수-$g$ 곡면에서 $\mathbb{Z}_{4g+2}$ 등장성 대칭을 갖는 경우, $p=2$에 대해 $p^k$-대칭 결함이 유도되며, 이는 순서 $2^k$의 비가역 대칭에 대한 명시적 예를 제공한다.
• 종수와 다른 소수로의 일반화는 $\Sigma_g$의 순환 $\mathbb{Z}_g$ 작용을 갖는 수체의 분리 구조를 고려함으로써 가능해지며, 이는 외부 자동형사상의 게이지화를 통해 비가역 2형 대칭을 도출한다.
• 이 프레임워크는 4차원에서 비가역 대칭의 기하학적이고 체계적인 기원을 제공하며, 이는 이전의 애너멀리 기반 및 이중성 기반 구성 결과들을 통합하고 확장한다.