[논문 리뷰] R-Twisting and 4d/2d Correspondences

Sergio Cecotti, Andrew Neitzke외 1명|arXiv (Cornell University)|2010. 06. 17.

Black Holes and Theoretical Physics참고 문헌 102인용 수 209

한 줄 요약

이 논문은 4차원 N=2 초등형 장 이론(SCFTs)과 2차원 유리형 등온장 이론(RCFTs) 사이의 대응을, BPS 이중자 스펙트럼으로부터 구성된 q-변형 콘스테비치-소이벨만 단일화 연산자에 의해 수립한다. R-전하가 유리수일 경우 단일화 연산자가 유한 차수를 가지며, 그 흔적은 관련된 2차원 RCFT의 특성과 일치함을 보여준다. 버린딘 대수는 하이퍼케일러 다양체 위의 R-대칭 고정점에서의 선 연산자 삽입으로부터 유도되며, 찬몰로프의 TBA 체계는 4차원 이론의 BPS 스펙트럼으로 자연스럽게 유도된다.

ABSTRACT

We show how aspects of the R-charge of N=2 CFTs in four dimensions are encoded in the q-deformed Kontsevich-Soibelman monodromy operator, built from their dyon spectra. In particular, the monodromy operator should have finite order if the R-charges are rational. We verify this for a number of examples including those arising from pairs of ADE singularities on a Calabi-Yau threefold (some of which are dual to 6d (2,0) ADE theories suitably fibered over the plane). In these cases we find that our monodromy maps to that of the Y-systems, studied by Zamolodchikov in the context of TBA. Moreover we find that the trace of the (fractional) q-deformed KS monodromy is given by the characters of 2d conformal field theories associated to the corresponding TBA (i.e. integrable deformations of the generalized parafermionic systems). The Verlinde algebra gets realized through evaluation of line operators at the loci of the associated hyperKahler manifold fixed under R-symmetry action. Moreover, we propose how the TBA system arises as part of the N=2 theory in 4 dimensions. Finally, we initiate a classification of N=2 superconformal theories in 4 dimensions based on their quiver data and find that this classification problem is mapped to the classification of N=2 theories in 2 dimensions, and use this to classify all the 4d, N=2 theories with up to 3 generators for BPS states.

연구 동기 및 목표

• 4차원 N=2 초등형 장 이론과 2차원 유리형 등온장 이론 사이의 4차원/2차원 대응을 수립하기 위해.
• 4차원 N=2 SCFT에서 R-전하가 유리수일 경우, q-변형 콘스테비치-소이벨만 연산자의 단일화가 유한 차수를 가짐을 보여주기 위해.
• 단일화 연산자의 흔적을 찬몰로프의 TBA 체계와 관련된 2차원 RCFT의 특성과 일치시키기 위해.
• 하이퍼케일러 모듈리 공간에서 R-대칭 고정점에서 평가된 선 연산자의 대수로서 버린딘 대수를 실현하기 위해.
• 특히 BPS 생성자가 최대 3개인 이론들을 포함한 4차원 N=2 SCFT의 분류를 퀘버 데이터를 통해 수행하고, 이를 2차원 N=2 이론의 분류로 연결하기 위해.

제안 방법

• 4차원 N=2 SCFT의 BPS 이중자 스펙트럼으로부터 q-변형 콘스테비치-소이벨만 단일화 연산자를 구성하기 위해.
• 반단일화 Y(q)와 분수 단일화 K(q)를 사용하여 양자 토러스 대수의 언어로 양자 단일화를 정의하기 위해.
• 클러스터 대수의 변형과 양자 다이로그함수 항등식을 통해 단일화를 찬몰로프의 Y-체계로 매핑하기 위해.
• 하이퍼케일러 모듈리 공간에서 R-대칭 작용의 고정점에서 평가된 선 연산자의 대수로서 버린딘 대수를 실현하기 위해.
• q가 단위근일 경우 양자 프로베니우스 성질을 적용하여 단일화 고유값의 중복도를 제약하고, 이를 RCFT 특성과 연결하기 위해.
• 단일화 연산자에 대한 표준 흔적을 적용하여 2차원 RCFT 특성을 추출하고, (An, A1) 및 (A3, A1) 모델에서 수치적으로 검증하기 위해.

실험 결과

연구 질문

• RQ1 4차원 N=2 SCFT의 q-변형 콘스테비치-소이벨만 단일화 연산자가 R-전하가 유리수일 경우 유한 차수를 가지는가?
• RQ2 단일화 연산자의 흔적은 찬몰로프의 TBA 체계와 관련된 2차원 RCFT의 특성과 일치하는가?
• RQ3 2차원 RCFT의 버린딘 대수는 4차원 N=2 이론의 선 연산자 구조에서 어떻게 유도되는가?
• RQ4 양자 클러스터 대수와 양자 다이로그함수 항등식은 4차원 BPS 스펙트럼과 2차원 TBA 체계를 어떻게 연결하는가?
• RQ5 퀘버 데이터를 통한 4차원 N=2 SCFT 분류는 2차원 N=2 SCFT 분류와 어떻게 관련이 있는가?

주요 결과

• R-전하가 유리수인 4차원 N=2 SCFT에서, q-변형 단일화 연산자 M(q)는 유한 차수를 가지며, q가 원분의 기본 N차근일 경우 M^N = 1을 만족한다.
• 단일화 연산자의 흔적 Tr[K(q)]는 해당 TBA 체계와 관련된 2차원 RCFT의 특성과 일치한다. 이는 (A2, A1), (A3, A1), (A4, A1) 모델에서 검증되었다.
• (A2, A1) 모델에서, M(q)의 표준 흔적은 (2,5) 최소 모델의 특성과 정확히 일치하며, M(q)의 고유값 중복도는 주기 6의 주기적 패턴을 따른다.
• (A3, A1) 모델에서, M(q)의 고유값 중복도는 N_k(N) = [N/3] + a_k(N)로 표현되며, |a_k(N)| ≤ 1 이고 주기 6을 가진다.
• (A4, A1) 모델에서, 단일화는 M^7 = 1을 만족하며, 고유값 중복도는 N_k(N) = [N²/7] + a_k(N)로 표현되며, |a_k(N)| ≤ 1 이고 강한 등분포를 보인다.
• (An, A1) 이론의 버린딘 대수는 하이퍼케일러 모듈리 공간에서 R-대칭 고정점에서 평가된 선 연산자의 대수로서 실현되며, 융합 규칙은 단일화 작용에 의해 암시된다.