[논문 리뷰] Modular Exercises for Four-Point Blocks -- I

Miranda C. N. Cheng, Terry Gannon외 1명|arXiv (Cornell University)|2020. 02. 25.

Algebraic structures and combinatorial models참고 문헌 71인용 수 9

한 줄 요약

이 논문은 유리성 정점 연산자 대수에서 네점 채널 블록이 외부 연산자의 대칭성에 따라 $\mathrm{SL}_2(\mathbb{Z})$의 부분군인 $\Gamma(2)$, $\Gamma_0(2)$, 또는 $\mathrm{SL}_2(\mathbb{Z})$에서 벡터값 모듈라 형식으로 변환됨을 규명한다. 또한 전체 네점 상관함수는 모듈라 불변이며, 교차 대칭성이 모듈라 대칭성과 동치임을 보여, 채널 블록과 융합 계수를 제약하기 위해 모듈라 형식 기법을 활용할 수 있음을 시사한다.

ABSTRACT

The well-known modular property of the torus characters and torus partition functions of (rational) vertex operator algebras (VOAs) and 2d conformal field theories (CFTs) has been an invaluable tool for studying this class of theories. In this work we prove that sphere four-point chiral blocks of rational VOAs are vector-valued modular forms for the groups $Γ(2)$, $Γ_0(2)$, or $\mathrm{SL}_2(\mathbb{Z})$. Moreover, we prove that the four-point correlators, combining the holomorphic and anti-holomorphic chiral blocks, are modular invariant. In particular, in this language the crossing symmetries are simply modular symmetries. This gives the possibility of exploiting the available techniques and knowledge about modular forms to determine or constrain the physically interesting quantities such as chiral blocks and fusion coefficients, which we illustrate with a few examples. We also highlight the existence of a sphere-torus correspondence equating the sphere quantities of certain theories ${\mathcal T}_s$ with the torus quantities of another family of theories ${\mathcal T}_t$. A companion paper will delve into more examples and explore more systematically this sphere-torus duality.

연구 동기 및 목표

• 유리성 VOAs 및 2차원 CFT에서 네점 채널 블록에 대한 정밀한 모듈라 구조를 확립하는 것.
• 채널 블록이 외부 연산자의 분열성에 따라 $\Gamma(2)$, $\Gamma_0(2)$, 또는 $\mathrm{SL}_2(\mathbb{Z})$에서 벡터값 모듈라 형식으로 변환됨을 보여주는 것.
• 전체 물리적 네점 상관함수가 모듈라 불변이며, 교차 대칭성이 모듈라 변환과 동치임을 보여주는 것.
• 채널 블록과 융합 계수를 제약하기 위해 모듈라 형식 기법을 체계적으로 적용할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 핵심 블록—등각 대칭성 인자로부터 정리된 채널 블록—은 외부 연산자의 동일성 수에 따라 $\Gamma(2)$, $\Gamma_0(2)$, 또는 $\mathrm{SL}_2(\mathbb{Z})$에서 벡터값 모듈라 형식으로 변환됨을 보였다.
• 구멍이 있는 구성에 맞춘 $T$ 및 $S$ 행렬을 사용하여 핵심 블록의 모듈라 군 표현을 명시적으로 구성하였다.
• 전체 물리적 상관함수는 해석적 및 반해석적 벡터값 모듈라 형식을 조합하여 비해석적 모듈라 불변 함수로 구성되었다.
• 이 논문은 모듈라 형식을 구성하기 위해 라데마처 합, 리만-힐베르트 문제, 모듈라 선형미분방정식(MLDE) 등의 기법을 활용하였다.
• 구면-토러스 대응 관계를 제안하여 한 이론의 구면 네점 데이터를 다른 이론의 토러스 데이터와 연결하였다.
• 외부 연산자의 순열이 있는 경우를 고려하기 위해 표현을 $\mathrm{PSL}_2(\mathbb{Z})$로 유도하였다.

실험 결과

연구 질문

• RQ1 유리성 VOAs에서 네점 채널 블록은 어떤 모듈라 군에서 어떻게 변환되는가?
• RQ2 외부 연산자의 대칭성에 따라 채널 블록의 변환을 지배하는 정확한 모듈라 군(예: $\Gamma(2)$, $\Gamma_0(2)$, 또는 $\mathrm{SL}_2(\mathbb{Z})$)은 무엇인가?
• RQ3 네점 함수의 교차 대칭성을 모듈라 형식의 맥락에서 모듈라 대칭으로 해석할 수 있는가?
• RQ4 어떻게 하면 모듈라 형식 기법을 체계적으로 적용하여 CFT에서 채널 블록과 융합 계수를 제약할 수 있는가?
• RQ5 다른 이론의 구면 네점 데이터와 토러스 데이터 사이에 이중성이 존재하는가?

주요 결과

• 유리성 VOAs에서 네점 함수의 채널 블록은 외부 연산자의 분열성에 따라 $\Gamma(2)$, $\Gamma_0(2)$, 또는 $\mathrm{SL}_2(\mathbb{Z})$에서 벡터값 모듈라 형식으로 변환된다.
• 해석적 및 반해석적 블록을 조합한 전체 네점 상관함수는 모듈라 불변이며, 교차 대칭성이 모듈라 변환과 동치이다.
• 핵심 블록은 $P\Gamma_0(2)$ 또는 $P\Gamma(2)$에서 변환되며, 유도된 표현을 통해 $\mathrm{PSL}_2(\mathbb{Z})$-공변 형식으로 재표현될 수 있다.
• 모듈라 군 표현의 $S$-행렬은 베르린데 공식을 통해 융합 계수를 계산하며, 이는 모듈라 자료와 융합 규칙를 연결한다.
• 구면-토러스 대응 관계는 이론 $\mathcal{T}_s$의 구면 양상과 다른 이론 $\mathcal{T}_t$의 토러스 양상을 동치로 놓으며, 깊은 이중성을 시사한다.
• MLDE, 라데마처 합, 리만-힐베르트 방법을 통한 모듈라 형식의 명시적 구성은 채널 블록을 계산하는 데 효과적임을 보였다.