[논문 리뷰] Exact Correlators of BPS Operators from the 3d Superconformal Bootstrap

Shai M. Chester, Jae‐Hoon Lee외 2명|arXiv (Cornell University)|2014. 12. 01.

Black Holes and Theoretical Physics참고 문헌 35인용 수 4

한 줄 요약

이 논문은 3차원 초등치대칭 부스팅을 사용하여 ${\cal N} \geq 4$ 초등치대칭 양자장론에서 BPS 연산자 간의 OPE 계수 간 정확한 관계를 유도한다. 비자명한 초등치대칭 연산자 $\mathcal{Q}$ 의 코homology 를 분석함으로써, $U(2)_2 \times U(1)_{-2}$ ABJ 이론에서 무한한 수의 OPE 계수를 고정하는 제약 조건을 규명하고, ${\cal N}=8$ SCFTs 에서 특정 초등치대칭 다중체의 부재를 추측하며, 수치적 부스팅 한계가 '굽은 부분(kink)'을 보이는 이유를 1/4-BPS 다중체의 부재와 연결지어 설명한다.

ABSTRACT

We use the superconformal bootstrap to derive exact relations between OPE coefficients in three-dimensional superconformal field theories with ${\cal N} \geq 4$ supersymmetry. These relations follow from a consistent truncation of the crossing symmetry equations that is associated with the cohomology of a certain supercharge. In ${\cal N} = 4$ SCFTs, the non-trivial cohomology classes are in one-to-one correspondence with certain half-BPS operators, provided that these operators are restricted to lie on a line. The relations we find are powerful enough to allow us to determine an infinite number of OPE coefficients in the interacting SCFT ($U(2)_2 imes U(1)_{-2}$ ABJ theory) that constitutes the IR limit of $O(3)$ ${\cal N} = 8$ super-Yang-Mills theory. More generally, in ${\cal N} = 8$ SCFTs with a unique stress tensor, we are led to conjecture that many superconformal multiplets allowed by group theory must actually be absent from the spectrum, and we test this conjecture in known ${\cal N} = 8$ SCFTs using the superconformal index. For generic ${\cal N} = 8$ SCFTs, we also improve on numerical bootstrap bounds on OPE coefficients of short and semi-short multiplets and discuss their relation to the exact relations between OPE coefficients we derived. In particular, we show that the kink previously observed in these bounds arises from the disappearance of a certain quarter-BPS multiplet, and that the location of the kink is likely tied to the existence of the $U(2)_2 imes U(1)_{-2}$ ABJ theory, which can be argued to not possess this multiplet.

연구 동기 및 목표

• 3차원 초등치대칭 양자장론에서 ${\cal N} \geq 4$ 초대칭을 가진 BPS 연산자 간의 OPE 계수 간 정확한 해석적 관계를 유도하는 것.
• 비자명한 초등치대칭 연산자 $\mathcal{Q}$ 의 코homology 를 사용하여 ${\cal N}=8$ SCFTs 의 연산자 스펙트럼에 대한 제약 조건을 규명하고, 특정 초등치대칭 다중체의 부재에 대한 추측을 이끌어내는 것.
• 수치적 부스팅 한계에서 관측되는 OPE 계수 한계의 굽은 부분 현상의 기원을 특정 1/4-BPS 다중체의 부재와 연결지어 설명하는 것.
• ABJ(M) 및 BLG 이론과 같은 알려진 ${\cal N}=8$ SCFTs 에서 초등치대칭 지수를 사용하여 이러한 추측을 검증하는 것.
• 단순 및 반단순 연산자에 대한 OPE 계수에 대한 수치적 부스팅 한계를 향상시키고, 이를 유도된 정확한 OPE 관계와 연결지어 해석하는 것.

제안 방법

• 비자명한 초등치대칭 연산자 $\mathcal{Q}$ 의 코homology 를 기반으로 교차 대칭 방정식의 일관된 절단을 사용하는 초등치대칭 부스팅을 활용한다.
• 외부 연산자를 선을 沿해 휘어붙임을 통해 1차원 토폴로지 양자역학을 구성함으로써 3차원 SCFT 를 보존된 OPE 구조를 가진 1차원 이론으로 축소시킨다.
• 비자명한 $\mathcal{Q}$-코homology 클래스를 ${\cal N}=4$ 에서의 반-BPS 연산자 및 ${\cal N}=8$ 이론에서의 휘어진 다중체와 식별한다.
• 특정 다중체의 부재를 검증하기 위해 초등치대칭 지수를 적용하며, 특히 $a_4$ 양자수 값이 0이 아닌 $(B,-)$, $(B,2)$, $(B,3)$ 유형의 다중체에 초점을 맞춘다.
• $\mathcal{Q}$-코homology 를 사용하여 $U(2)_2 \times U(1)_{-2}$ ABJ 이론에서 OPE 계수 간 정확한 관계를 도출하고, 이로 인해 무한한 수의 계수를 고정한다.
• 분석 결과를 수치적 등급 대칭 부스팅과 융합하여 단순 및 반단순 연산자에 대한 OPE 계수 한계를 향상시키고, 이로 인해 발생하는 굽은 부분 현상이 누락된 다중체의 신호임을 설명한다.

실험 결과

연구 질문

• RQ1 3차원 ${\cal N} \geq 4$ SCFT에서 BPS 연산자 간의 OPE 계수 간 정확한 관계는 무엇이 있는가?
• RQ2 코호몰로지 제약 조건에 기반해, 유일한 스트레스 텐서를 가진 ${\cal N}=8$ SCFTs 에서 어떤 초등치대칭 다중체가 금지되는가?
• RQ3 왜 수치적 부스팅에서 OPE 계수 한계에 굽은 부분 현상이 나타나며, 이는 특정 다중체의 부재로 설명될 수 있는가?
• RQ4 초등치대칭 지수와 $\mathcal{Q}$-코호몰로지 스펙트럼은 ABJ(M) 및 BLG 이론의 연산자 구성에 어떤 제약을 가하는가?
• RQ5 $U(2)_2 \times U(1)_{-2}$ ABJ 이론은 초등치대칭 부스팅으로 도출된 정확한 OPE 관계로 완전히 특징지어질 수 있는가?

주요 결과

• 3차원 ${\cal N} \geq 4$ SCFT에서 $\mathcal{Q}$-코호몰로지를 사용하여 BPS 연산자 간의 OPE 계수 간 정확한 관계를 도출하였으며, $U(2)_2 \times U(1)_{-2}$ ABJ 이론에서 이러한 관계의 무한한 집합이 실현된다.
• ${\cal N}=8$ 이론에서 $\mathcal{Q}$-코호몰로지는 휘어진 $(B,+)$ 다중체에 대응하며, 초등치대칭 지수에서 $p$-의존 기여가 없음을 고려하면 $a_4 \neq 0$ 인 $(B,-)$, $(B,2)_{[0a_2a_3a_4]}$, $(B,3)_{[00a_3a_4]}$ 다중체의 부재가 나타난다.
• 수치적 부스팅 한계에서 관측되는 OPE 계수 한계의 굽은 부분 현상은 1/4-BPS 다중체의 부재로 인해 발생하며, 그 위치는 이 다중체를 포함하지 않는 $U(2)_2 \times U(1)_{-2}$ ABJ 이론의 존재와 관련이 있다.
• ABJ(M) 및 BLG 이론의 초등치대칭 지수는 $p$-의존 변수에 영향을 받지 않으며, 이는 이러한 모델에서 특정 다중체의 부재를 확인한다.
• $U(2)_2 \times U(1)_{-2}$ ABJ 이론에서 지수의 $z^2$ 항은 $(B,2)_{[0200]}$ 다중체에 해당하는 $\chi_{\bf 3}(q)$ 기여를 포함하며, 이는 $c_T \gtrsim 22.8$ 와 일관된다.
• 이 방법은 단순 및 반단순 연산자에 대한 OPE 계수에 대한 수치적 부스팅 한계를 향상시키며, 정확한 OPE 관계가 제공하는 해석적 제약 조건이 한계의 구조를 설명하는 데 기여한다.