[논문 리뷰] N=4 Superconformal Bootstrap of the K3 CFT

Ying-Hsuan Lin, Shu-Heng Shao외 3명|arXiv (Cornell University)|2015. 11. 12.

Black Holes and Theoretical Physics참고 문헌 60인용 수 29

한 줄 요약

이 논문은 K3 비선형 시그마 모형에 ${\cal N}=4$ 초등방형 블록 부스팅 기법을 적용하여, $c=28$에서 ${\cal N}=4$ 초등방형 블록과 보존 비라소로 블록 간의 정확한 대응 관계를 활용해 비-BPS 스펙트럼을 제약한다. 끈 이론의 효과적 작용에서 유도된 통합된 네점함수를 통해 모듈리 의존성을 표현함으로써, 비-BPS 갭과 임계 차원 $\widehat{\Delta}_{\text{crt}}$ 에 대한 엄밀한 경계를 도출한다. 이는 $A_{1111}$ 이 수렴하지 않으면서도 $\widehat{\Delta}_{\text{crt}} < \Delta_{\text{crt}}$ 가 성립하지 않으면, 이는 실루엣 점에서 모순을 일으키므로 스펙트럼을 제약한다.

ABSTRACT

We study two-dimensional (4,4) superconformal field theories of central charge c=6, corresponding to nonlinear sigma models on K3 surfaces, using the superconformal bootstrap. This is made possible through a surprising relation between the BPS N=4 superconformal blocks with c=6 and bosonic Virasoro conformal blocks with c=28, and an exact result on the moduli dependence of a certain integrated BPS 4-point function. Nontrivial bounds on the non-BPS spectrum in the K3 CFT are obtained as functions of the CFT moduli, that interpolate between the free orbifold points and singular CFT points. We observe directly from the CFT perspective the signature of a continuous spectrum above a gap at the singular moduli, and find numerically an upper bound on this gap that is saturated by the $A_1$ N=4 cigar CFT. We also derive an analytic upper bound on the first nonzero eigenvalue of the scalar Laplacian on K3 in the large volume regime, that depends on the K3 moduli data. As two byproducts, we find an exact equivalence between a class of BPS N=2 superconformal blocks and Virasoro conformal blocks in two dimensions, and an upper bound on the four-point functions of operators of sufficiently low scaling dimension in three and four dimensional CFTs.

연구 동기 및 목표

• 모듈리 공간의 특수점 외에는 잘 이해되지 않는 $\mathcal{N}=4$ 초등방형 이론의 K3 표면에서 비-BPS 스펙트럼을 제약하기 위해.
• ${\cal N}=4$ 초등방형 블록과 $c=28$에서의 보존 비라소로 블록 간의 정확한 연결 고리를 설정하여 분석적 및 수치적 부스팅 기법을 가능하게 하기 위해.
• 타입 IIB 끈 이론의 효과적 작용에서 유도된 정확한 결과를 활용하여 K3 CFT의 모듈리 의존성을 부스팅 프레임워크에 통합하기 위해.
• 비-BPS 스펙트럼의 가장 가벼운 주요 연산자($\Delta_{\text{gap}}$)의 스케일링 차원과 OPE 수렴을 지배하는 임계 차원 $\widehat{\Delta}_{\text{crt}}$ 에 대한 엄밀한 경계를 도출하기 위해.

제안 방법

• 외부 스핀이 1이고 내부 스핀이 $h+1$인 ${\cal N}=4$ 초등방형 블록(여기서 $h=1/2$ BPS 연산자 포함)과 $c=28$에서의 보존 비라소로 블록 간의 정확한 대응 관계를 활용한다.
• 부스팅 분석에서 블록을 수치적으로 평가하기 위해 자모로드치코프의 재귀 관계를 적용한다.
• 타입 IIB 효과적 작용에서 유도된 4차 및 6차 도함수 항의 비임계적 결과를 바탕으로, 통합된 네점함수 $A_{ijkl}$ 를 통해 K3 CFT의 모듈리 의존성을 표현한다.
• OPE 기여가 그 이하의 기여로 유한하게 제약되는 임계점 이하의 차원 $\widehat{\Delta}_{\text{crt}}$ 를 정의한다. 이는 네점함수 적분의 수렴을 보장한다.
• 교차 대칭성을 활용하여 복소 평면을 대칭 영역 $D_1, D_2, D_3$ 로 분할하고, $D_1$ 에 집중함으로써 $z$-적분을 정규화한다.
• 다양한 영역에서 네점함수의 성장률을 제어하기 위해 $L(\Delta) \sim |16q_{1/2}|^{\Delta}$ 과 코시-슈바르츠 부등식을 통한 블록 경계를 사용한다.

실험 결과

연구 질문

• RQ1 K3 CFT에서 두 개의 $\frac{1}{2}$-BPS 연산자 OPE에서 가장 가벼운 비-BPS 주요 연산자의 스케일링 차원에 대한 엄밀한 상한 및 하한은 무엇인가?
• RQ2 OPE 기여 수렴을 지배하는 임계 차원 $\widehat{\Delta}_{\text{crt}}$ 는 K3 CFT의 모듈리에 따라 어떻게 달라지는가?
• RQ3 모듈리 공간의 특수점에서 통합된 네점함수 $A_{1111}$ 이 발산하는 것을 부스팅 일致성 조건을 통해 스펙트럼을 제약하는 데 사용할 수 있는가?
• RQ4 ${\cal N}=4$ 초등방형 블록과 $c=28$에서의 보존 비라소로 블록 간의 정확한 관계는 무엇이며, 이를 통해 부스팅 방정식을 어떻게 단순화할 수 있는가?

주요 결과

• 논문은 $A_{1111}$ 이 수렴하기 위해서는 $\widehat{\Delta}_{\text{crt}} < \Delta_{\text{crt}}$ 가 성립해야 하며, 이 조건이 $A_1$ 실루엣 CFT 점에서 모순을 일으키므로 $\widehat{\Delta}_{\text{crt}}$ 는 $\Delta_{\text{crt}}$ 보다 엄격히 작아야 한다고 증명한다.
• 비-BPS 스펙트럼의 갭에 대한 비자명한 하한이 $f(1/2)$, 즉 $z=1/2$ 에서 네점함수의 값에 따라 함수적으로 유도된다.
• 분석적 및 수치적 부스팅 기법을 사용하여 임계 차원 $\widehat{\Delta}_{\text{crt}}$ 의 상한이 유계로 제약되며, 기능 최적화를 통해 개선된 경계가 유도된다.
• 이 방법은 $\Delta > \widehat{\Delta}_{\text{crt}}$ 인 비-BPS 주요 연산자의 OPE 계수들이 $\Delta \leq \widehat{\Delta}_{\text{crt}}$ 인 것들에 의해 유한하게 제약됨을 보여주며, 네점함수 적분의 수렴을 보장한다.
• 분석은 OPE 계수가 유한하고 스펙트럼 밀도가 유계라는 가정 하에 K3 CFT의 비-BPS 섹터에 갭 $\Delta_{\text{gap}} > 0$ 이 존재해야 한다고 확인한다.