[논문 리뷰] Irregular Singularities in the H3+ WZW Model

Davide Gaiotto, Joël Lamy-Poirier|arXiv (Cornell University)|2013. 01. 22.

Black Holes and Theoretical Physics참고 문헌 27인용 수 6

한 줄 요약

이 논문은 $H_3^+$ WZW 모델에서 비정칙 정점 연산자를 체계적으로 정의하며, 이는 이전의 바이랄로스 비정칙 벡터에 대한 연구를 일반화한다. 표준 최고 무게 연산자들의 충돌 극한을 통해, 랭크-$r$ 비정칙 벡터에 대한 워드 항등식과 등각 블록을 유도하며, 리우빌 이론과의 이중성과 함께 상호작용 함수의 명시적 표현을 제공한다. 이는 비정칙 연산자가 포함된 한점 함수를 포함한다.

ABSTRACT

We propose a definition of irregular vertex operators in the H3+ WZW model. Our definition is compatible with the duality [1] between the H3+ WZW model and Liouville theory, and we provide the explicit map between correlation functions of irregular vertex operators in the two conformal field theories. Our definition of irregular vertex operators is motivated by relations to partition functions of N=2 gauge theory and scattering amplitudes in N=4 gauge theory

연구 동기 및 목표

• Liouville--$H_3^+$ 이중성과 호환되는 방식으로 $H_3^+$ WZW 모델에서 비정칙 정점 연산자를 정의하는 것.
• 바이랄로스 대칭에서 비정칙 벡터의 형식을 $\widehat{sl}(2)$ 전류 대칭으로 일반화하는 것.
• 표준 정점 연산자의 충돌 극한을 통해 랭크-$r$ 비정칙 연산자에 대한 명시적 워드 항등식과 등각 블록을 도출하는 것.
• 비정칙 연산자를 포함한 $H_3^+$ WZW 모델과 리우빌 이론 간 상호작용 함수 간의 사상 수립.
• 비정칙 특이점이 존재하는 끈 세계면 이론에서의 모델링이 가능한 비정칙 등각 블록의 프레임워크 제공 — 이는 $\mathcal{N}=4$ SYM 산란 진폭과 관련이 있다.

제안 방법

• $H_3^+$ WZW 모델에서 $r+1$개의 표준 최고 무게 정점 연산자들의 충돌 극한으로 비정칙 정점 연산자를 정의한다.
• $H_3^+$ WZW와 리우빌 이론 간의 이중성을 활용하여 비정칙 연산자를 포함한 상호작용 함수를 매핑한다.
• 세미고전적 영역에서 충돌 극한을 계산하기 위해 $\Upsilon_b$ 함수와 삼점 상수의 점근적 분석을 적용한다.
• $\widehat{sl}(2)$ 전류 대칭의 구조를 이용하여 비정칙 등각 블록에 대한 워드 항등식을 도출한다.
• 이중 적분 $D^H$ 내에서 변수 변경을 통해 랭크-2 비정칙 벡터의 한점 함수를 평가하여 파라볼릭 실린더 함수 적분으로 이어진다.
• 충돌 극한 결과와 직접 계산된 비정칙 벡터의 한점 함수를 일치시켜 정규화 인자 $C(j_0)$를 고정한다.

실험 결과

연구 질문

• RQ1 비정칙 정점 연산자를 $H_3^+$ WZW 모델에서 바이랄로스 경우를 일반화하여 일관적으로 정의할 수 있는가?
• RQ2 $\widehat{sl}(2)$ 전류 대칭에서 비정칙 연산자를 포함한 등각 블록이 만족하는 워드 항등식의 정확한 형태는 무엇인가?
• RQ3 $H_3^+$ WZW 모델에서 비정칙 연산자의 상호작용 함수는 알려진 이중성에 따라 리우빌 이론의 것과 어떻게 관련이 있는가?
• RQ4 $H_3^+$ 모델에서 랭크-2 비정칙 벡터의 한점 함수의 명시적 구조는 무엇인가?
• RQ5 표준 정점 연산자의 충돌 극한이 양자장 이론과 양자역학 이론에서 알려진 물리적 해석을 가진 비정칙 등각 블록을 일관되게 유도할 수 있는가?

주요 결과

• 랭크-2 비정칙 벡터의 한점 함수는 파라볼릭 실린더 함수 적분으로 표현된다: $\int_{\mathcal{C}} d\eta d\bar{\eta}~{}|\eta|^{-2(j_0+2)} e^{-\frac{1}{2}\eta^2 + \frac{1}{2}\bar{\eta}^2 - u\eta + u^*\bar{\eta}}$, 여기서 $u$는 3.1절에서 정의된다.
• 충돌 극한에서의 구조 상수 $C^H(j^1,j^2,j^3)$ 의 점근적 행동은 $|q_{ij}|$ 에 대한 거듭제곱 의존성을 보이며, 이는 $D^H$ 적분과 상쇄되어 유한한 결과를 낳는다.
• 랭크-2 비정칙 벡터의 정규화 인자 $C(j_0)$ 는 충돌 극한 결과와 직접 계산된 비정칙 벡터의 한점 함수를 일치시켜 고정되며, 일관성 확인된다.
• $H_3^+$ WZW와 리우빌 이론 간의 이중성 맵이 비정칙 연산자를 포함하도록 일반화되었으며, 기존의 삼점 상수의 구조를 유지한다.
• 세미고전적 극한에서 $\Upsilon_b$ 함수의 행동을 사용하여 구조 상수의 점근적 행동을 도출하였으며, 이는 충돌 극한에 있어 핵심적이다.
• 한점 함수의 최종 표현에는 비정칙 연산자의 복잡한 구조를 반영하는 위상 인자 $e^{2i(b^2(j_0+2)+1)\text{Im}(j_1^2/j_2)}$ 가 포함되어 있다.