[논문 리뷰] 4d/2d $ ightarrow $ 3d/1d: A song of protected operator algebras

Mykola Dedushenko, Yifan Wang|arXiv (Cornell University)|2019. 12. 02.

Black Holes and Theoretical Physics참고 문헌 128인용 수 7

한 줄 요약

이 논문은 4차원 $υ=2$ 초등방형미분장이론(SCFT)에서의 연산자 대수와 3차원 $υ=4$ SCFT에서의 1차원 토폴로지 양자역학(TQM) 사이의 정확한 사전을 $S^1$ 위에서의 차원 감소를 통해 수립한다. 이는 $S^1 \times S^3$ 위에서의 4차원 이론의 카르디 근사에 기반한다. 4차원 W대수의 OPE 데이터와 3차원에서의 짧은 스타곱 사이의 명시적 사전을 제공하며, 국소화를 통해 검증하고, $(A_1,D_{2n+1})$ 및 $(A_1,A_{2n-2})$ 유형의 아르게이레스-다우거스 이론에 대한 새로운 3차원 미러 dual을 제안하여, 기존의 초순수 대수 제안에 대한 강력한 일致성 검증을 제공한다.

ABSTRACT

Superconformal field theories (SCFT) are known to possess solvable yet nontrivial sectors in their full operator algebras. Two prime examples are the chiral algebra sector on a two dimensional plane in four dimensional $\mathcal{N}=2$ SCFTs, and the topological quantum mechanics (TQM) sector on a line in three dimensional $\mathcal{N}=4$ SCFTs. Under Weyl transformation, they respectively map to operator algebras on a great torus in $S^1 imes S^3$ and a great circle in $S^3$, and are naturally related by reduction along the $S^1$ factor, which amounts to taking the Cardy (high-temperature) limit of the four dimensional theory on $S^1 imes S^3$. We elaborate on this relation by explicit examples that involve both Lagrangian and non-Lagrangian theories in four dimensions, where the chiral algebra sector is generally described by a certain W-algebra, while the three dimensional descendant SCFT always has a (mirror) Lagrangian description. By taking into account a subtle R-symmetry mixing, we provide explicit dictionaries between selected operator product expansion (OPE) data in the four and three dimensional SCFTs, which we verify in the examples using recent localization results in four and three dimensions. Our methods thus provide nontrivial support for various chiral algebra proposals in the literature. Along the way, we also identify three dimensional mirrors for Argyres-Douglas theories of type $(A_1, D_{2n+1})$ reduced on $S^1$, and find more evidence for earlier proposals in the case of $(A_1, A_{2n-2})$, which both realize certain superconformal boundary conditions for the four dimensional $\mathcal{N}=4$ super-Yang-Mills. This is a companion paper to arXiv:1911.05741.

연구 동기 및 목표

• 4차원 $υ=2$ SCFT에서의 초순수 대수(VOA)와 3차원 $υ=4$ SCFT에서의 TQM 부문 사이에 명시적이고 구체적인 대응 관계를 수립하기 위해 $S^1$ compactification을 통한 차원 감소를 수행한다.
• 양차원에서의 최신 국소화 결과를 활용하여 4차원과 3차원 사이의 OPE 데이터 간의 제안된 사전을 검증한다.
• $(A_1,D_{2n+1})$ 및 $(A_1,A_{2n-2})$ 유형의 아르게이레스-다우거스 이론에 대해 새로운 3차원 미러 dual을 제안하고 검증한다.
• 특히 W대수를 포함하는 경우에 해당하는 4차원 $υ=2$ SCFT의 VOA를 식별하는 기존 제안에 대한 일치성 검증을 제공한다.
• 비라그랑지안 이론에서 특히 중요한 R대칭 혼합의 감소 과정에서의 역할을 명확히 한다.

제안 방법

• 4차원 $υ=2$ SCFT를 $S^1$에 대해 감소시켜 3차원 $υ=4$ SCFT를 유도하고, $S^1 \times S^3$ 위에서의 카르디 근사를 통해 초순수 대수 부문을 TQM 부문으로 매핑한다.
• $(A_1,D_{2n+1})$ 및 $(A_1,A_{2n-2})$ 아르게이레스-다우거스 이론에 대한 3차원 미러 dual을 매트릭스 모델 기법과 푸리에 변환을 통해 명시적으로 구성한다.
• 맛이 있는 슈어 지수와 그 3차원 감소를 활용하여 4차원과 3차원 간의 OPE 데이터를 매칭하고, 국소화 결과를 기반으로 한다.
• 3차원 TQM에서의 짧은 스타곱 형식을 적용하여 최소 노름원 궤도의 필터링 양자화를 묘사한다.
• 구면 분할 함수의 푸리에 변환을 통한 미러 사전 유도를 통해 $Z_{\text{SQED}_n}^{\text{mirror}}$ 를 특정 매개변수 재정의 하에 $Z_{\text{SQED}_n}$ 과 동일하게 식별한다.
• 삼각함수 및 쌍곡함수 항등식의 확인을 통해 분할 함수가 일치하고 3차원 미러 사전의 일관성이 확인됨을 검증한다.

실험 결과

연구 질문

• RQ1 4차원 $υ=2$ SCFT에서의 초순수 대수는 $S^1$ compactification을 통해 유도된 3차원 $υ=4$ SCFT의 TQM 부문으로 어떻게 매핑되는가?
• RQ2 특히 R대칭 혼합이 존재할 경우, 4차원 W대수의 OPE 계수와 3차원 짧은 스타곱의 계수 사이의 정확한 사전은 무엇인가?
• RQ3 이러한 감소 메커니즘을 통해 $(A_1,D_{2n+1})$ 및 $(A_1,A_{2n-2})$ 유형의 아르게이레스-다우거스 이론에 대해 새로운 3차원 미러 dual을 제안할 수 있는가?
• RQ4 4차원과 3차원에서의 국소화 결과는 OPE 데이터 및 분할 함수 간의 제안된 사전을 어떻게 지지하는가?
• RQ5 R대칭 혼합은 4차원 초순수 대수와 3차원 TQM 구조 간의 일관성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $(A_1,D_{2n+1})$ 아르게이레스-다우거스 이론에 대해 $n-1$개의 $U(1)$ 게이지 노드를 가진 선형 퀘버로 구성된 3차원 미러 dual을 제안하며, 이는 4차원 이론의 $S^1$ 감소로부터 명시적으로 유도되었다.
• $(A_1,A_{2n-2})$ 이론의 경우, 3차원 미러는 $n$개의 $U(1)$ 노드를 가진 퀘버로 식별되었으며, 푸리에 변환을 통한 구면 분할 함수의 매칭을 통해 미러 사전이 검증되었다.
• 맛이 있는 슈어 지수를 활용하여 4차원 $SU(3)$ SQCD의 W대수 OPE 데이터와 3차원 짧은 스타곱 간의 매칭을 수행하였고, 매트릭스 모델 계산에서 명시적인 일치가 확인되었다.
• $(A_1,D_{2n+2})$의 3차원 미러 분할 함수는 $Z_{(A_1,D_{2n+2})}^{\text{mirror}} = \frac{1}{4(n+1)} \frac{\sinh(2\pi m / (n+1))}{\cosh(\pi(m-u)/(n+1)) \cosh(\pi(m+u)/(n+1)) \sinh(2\pi m)}$ 로 계산되었으며, 이는 이중성의 확인을 보여준다.
• 논문은 $Z_{\text{SQED}_n}$ 의 미러 사전이 $\xi_a = m_a - m_{a-1}, u = \eta$ 라는 조건 하에 $Z_{\text{SQED}_n}(\eta,\{m_a\}) = Z_{\text{SQED}_n}^{\text{mirror}}(\{\xi_a\},u)$ 를 만족함을 보여 $Z_{\text{SQED}_n}$ 의 타당성을 확인하였다. 이는 항등식 $1/\text{ch}(x) = \int dy e^{2\pi i x y}/\text{ch}(y)$ 를 활용하였다.
• 논문은 $\prod_{a=1}^n \sin(\pi a / (n+1)) = (n+1)/2^n$ 와 같은 삼각함수 항등식을 유도하고 검증하였으며, 이는 $S^1$ compactification에서 분할 함수를 매칭하는 데 핵심적인 역할을 한다.