[논문 리뷰] Holomorphic primary fields in free CFT4 and Calabi-Yau orbifolds

Robert de Mello Koch, Phumudzo Rabambi외 2명|arXiv (Cornell University)|2017. 05. 18.

Black Holes and Theoretical Physics참고 문헌 45인용 수 3

한 줄 요약

이 논문은 $\mathfrak{so}(4,2)$ 특성을 사용하여 자유 4차원 등온장론(CFT4)의 스칼라, 벡터, 행렬에 대한 주요 장의 수를 세는 공식을 유도한다. 극한 주요 장은 순열 오비폴드 $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 위의 해석적 다항함수로 구성되며, 이들이 칼라비-야우 다양체임을 보여주어 극한 주요 장의 공간에 팔린드롬형 힐베르트 시리즈와 비자명한 관계를 포함하는 생성함수의 분자에 담긴 구조를 드러낸다.

ABSTRACT

Counting formulae for general primary fields in free four dimensional conformal field theories of scalars, vectors and matrices are derived. These are specialised to count primaries which obey extremality conditions defined in terms of the dimensions and left or right spins (i.e. in terms of relations between the charges under the Cartan subgroup of $SO(4,2)$). The construction of primary fields for scalar field theory is mapped to a problem of determining multi-variable polynomials subject to a system of symmetry and differential constraints. For the extremal primaries, we give a construction in terms of holomorphic polynomial functions on permutation orbifolds, which are shown to be Calabi-Yau spaces.

연구 동기 및 목표

• CFT4에서 주요 장의 일반적인 수를 세는 공식을 $\mathfrak{so}(4,2)$ 표현 이론을 사용하여 유도하기.
• 해석적 다항함수로 극한 주요 장을 대칭 오비폴드 $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 위에 구성하기, 이는 칼라비-야우 공간임을 보임.
• 이러한 오비폴드 위의 해석적 함수를 통해 극한 주요 연산자 공간에 링 구조 수립하기.
• 해석적 함수의 링의 힐베르트 시리즈를 분석하여 그 팔린드롬 성질을 증명하고 생성자 간의 관계와 시지지(관계의 관계)를 규명하기.
• 연산자 스펙트럼의 대수적 구조를 대칭군 표현과 오비폴드 링의 고렌스타인 성질과 연결하기.

제안 방법

• CFT4에서 복합 주요 장의 구성은 $\mathbb{R}^{4n}$ 위의 다변수 다항함수 $\ Psi(x_\mu^I)$로 매핑하며, 라플라스 방정식, 이동 불변성, $S_n$ 순열 대칭성에 따라 제약을 받는다.
• $\mathbb{R}^4 \cong \mathbb{C}^2$ 위에 복소 구조를 도입하여 $z,w$ 변수에서의 해석적 함수를 정의함으로써, 오비폴드 $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 위의 주요 장을 유도한다.
• $z$-의존성만 유지함으로써 $\mathbb{C}^n/S_n$ 위의 해석적 함수로 극한 주요 장을 구성함으로써 특수한 연산자 클래스에 해당한다.
• 오비폴드 위의 해석적 함수 링의 힐베르트 시리즈를 계산하여 대칭군 표현과 연결된 팔린드롬형 구조를 드러낸다.
• 힐베르트 시리즈의 분자에서 생성자와 관계(시지지)를 식별하며, 7개의 생성자와 3도에서 6개의 관계에 대한 명시적 표현을 제공한다.
• 연산자 스펙트럼의 표현 내용을 기술하기 위해 군 대수 $\mathbb{C}(S_n) \otimes \mathbb{C}(S_n) \otimes \mathbb{C}(S_k) \otimes \mathbb{C}(S_l)$를 사용한다.

실험 결과

연구 질문

• RQ1 자기 대칭 오비폴드 위의 해석적 함수를 사용하여 자유 CFT4의 극한 주요 장을 체계적으로 어떻게 구성할 수 있는가?
• RQ2 극한 주요 연산자 링의 대수적 구조는 무엇이며, 이는 기저 오비폴드의 기하학과 어떻게 관련되어 있는가?
• RQ3 왜 $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 위의 해석적 함수 링의 힐베르트 시리즈가 팔린드롬 성질을 보이는가?
• RQ4 생성자 간의 관계(시지지)는 힐베르트 시리즈의 분자에 어떻게 나타나며, 그 물리적 및 대수적 의미는 무엇인가?
• RQ5 대칭군 표현은 자유 CFT4에서 극한 주요 장의 스펙트럼을 어떻게 정리하는가?

주요 결과

• 자유 CFT4의 극한 주요 장은 오비폴드 $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 위의 해석적 다항함수로 구성되며, 이는 칼라비-야우 공간이다.
• 이 오비폴드 위의 해석적 함수 링은 고렌스타인이며 칼라비-야우 링으로서 팔린드롬형 힐베르트 시리즈를 가지며, 대칭군 표현 이론을 통해 증명된다.
• 세 스칼라 장에 대한 힐베르트 시리즈 $Z_3(s,x,y)$는 분자에 6개의 항을 포함하여 6개의 관계를 표현하며, 5개의 항은 관계의 관계(시지지)를 표현한다.
• 생성자 $G_1, \dots, G_7$는 $z_{ij}, w_{ij}$에 대한 대칭 다항식으로 명시적으로 식별되며, 힐베르트 시리즈의 단항식에 해당하는 차수를 가진다.
• 관계에는 $\chi_1 = 3G_3G_4 - 2G_2G_5 + G_1G_6 = 0$ 및 $\chi_6 = G_2^7 - G_1G_2^5G_3 + \frac{1}{9}G_2^4G_5G_6 - G_2^4G_4G_7 = 0$가 포함되며, 각각 차수 $s^5x^{5/2}\sqrt{y}$와 $s^{14}x^7$를 가진다.
• 시지지 관계인 $4\chi_5G_2 + \chi_4G_3 = 0$는 명시적으로 유도되었으며, $Z_3(s,x,y)$의 분자의 양항과 정확히 일치한다.