[논문 리뷰] OPE of Wilson-'t Hooft operators in N=4 and N=2 SYM with gauge group G=PSU(3)

Ruxandra Moraru, Natalia Saulina|arXiv (Cornell University)|2012. 06. 28.

Black Holes and Theoretical Physics참고 문헌 20인용 수 7

한 줄 요약

이 논문은 게이지 군 $G=PSU(3)$인 ${\mathcal{N}}=4$ 및 ${\mathcal{N}}=2$ 초대칭 양-밀스 이론에서 윌슨-'트 후프 루프 연산자들의 첫 번째 비자명한 연산자 곱 전개(OPE)를 호로몰로픽-위상적 휘감김과 BPS 상태 모듈리 공간을 이용해 계산한다. OPE의 구조는 컴act 및 비콤팩트 모듈리 공간 위의 벡터(bundle)에 대한 호로몰로픽 오일러 지표를 계산하여 전기 및 자기 표현으로의 명시적 분해를 얻으며, 이는 코homological 자료로부터 유도된 부호를 포함한다.

ABSTRACT

We compute the simplest non-trivial Operator Product Expansion of Wilson-'t Hooft loop operators in N=4 and N=2 Super-Yang-Mills theory with gauge group G=PSU(3). This amounts to finding the Euler characters of certain vector bundles, describing electric degrees of freedom of loop operators entering the OPE, over moduli spaces of BPS states in the presence of loop operators.

연구 동기 및 목표

• 게이지 군 $G=PSU(3)$인 ${\mathcal{N}}=4$ 및 ${\mathcal{N}}=2$ SYM 이론에서 윌슨-'트 후프 연산자들의 첫 번째 비자명한 OPE를 계산하여 이전의 $G=SU(2)$ 결과를 확장한다.
• BPS 상태의 모듈리 공간 위에서 벡터(bundle)의 호로몰로픽 오일러 지표를 계산하여 OPE에 기여하는 전기 및 자기 상태의 스펙트럼을 규명한다.
• S-duality와 표현 이론, 특히 랑글랜즈 쌍대 군 ${{}^{L}G}=SU(3)$의 역할과 일관성을 검증한다.
• 비아벨 게이지 군을 가진 초대칭 게이지 이론에서 OPE를 계산하기 위한 기하학적 및 코homological 프레임워크를 제공한다.

제안 방법

• ${\mathcal{N}}=2$ 게이지 이론의 호로몰로픽-위상적 휘감김을 이용하여 문제를 리만 곡면 위의 초대칭 양자역학으로 축소한다.
• 콤팩트 모듈리 공간 ${\mathcal{M}}$에서의 호로몰로픽 오일러 지표 $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}{\mathcal{M}},{\mathcal{V}}_{a,b}\bigr{)}$ 및 $\mathbf{I}_{{\mathcal{N}}=2}\bigl{(}{\mathcal{M}},{\mathcal{V}}_{a,b}\bigr{)}$를 계산하여 양자역학의 기본 상태를 캡슐화한다.
• 모듈리 공간의 비콤팩트 '바디' 부분 $X$를 $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}X,{\mathcal{V}}^{bulk}_{a,b}\bigr{)}$ 및 $\mathbf{I}_{{\mathcal{N}}=2}\bigl{(}X,{\mathcal{V}}^{bulk}_{a,b}\bigr{)}$를 통해 분석하며, 특이 공간 위의 $L^2$ 도르베오-코homology를 사용한다.
• BPS 구성과 자기 소스를 가진 3차원 보고몰니 방정식의 해 사이의 연결성을 이용하여 모듈리 공간 ${\mathcal{M}}$과 $X$를 정의한다.
• $L^2$ 도르베오-코homology 기법을 적용하여 코homology 군 $H^{j}_{\overline{D},L^2}(X, {\mathcal{O}}_X(n))$을 계산하고, 제곱-integrable 조화 형식이 존재하는지 확인하여 물리적 상태를 결정한다.
• 미분 형식에 대한 명시적 앤사츠를 사용하고 노름 수렴성을 점검하여 임의의 상태를 배제한다. 특히 $H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(-3))$ 및 $H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(3))$에서 그러한 상태가 존재하지 않음을 확인한다.

실험 결과

연구 질문

• RQ1 게이지 군 $G=PSU(3)$인 ${\mathcal{N}}=4$ SYM 이론에서 윌슨-'트 후프 연산자들의 OPE는 어떤 구조를 가지며, S-duality는 어떻게 반영되는가?
• RQ2 OPE의 중간 상태의 전기 및 자기 양자수는 BPS 모듈리 공간의 기하학으로부터 어떻게 유도되는가?
• RQ3 콤팩트 모듈리 공간 ${\mathcal{M}}$과 그 비콤팩트 '바디' 부분 $X$는 OPE 계수를 계산하는 데 어떤 역할을 하는가?
• RQ4 어떤 불변 표현들이 $L^2$ 코homology 군에 나타나지 않는가? 이는 물리적 스펙트럼에 어떤 영향을 미치는가?
• RQ5 $L^2$ 도르베오-코homology를 특이 공간 위에서 일관되게 계산하여 물리적 상태를 추출하는 방법은 무엇인가?

주요 결과

• 자기 전하가 $w_1$이고 전기 전하가 $\nu = aw_1 + bw_2$인 두 윌슨-'트 후프 연산자($a+2b \equiv 0 \mod 3$)의 OPE는 $WT_{w_1,\nu} \times WT_{w_1,0} = WT_{2w_1,\nu} + \sum_j (-)^{s_j} WT_{w_2,\nu_j}$로 분해되며, 특정 $a,b$에 대해 $\nu_j$와 부호 $(-)^{s_j}$가 명시적으로 결정된다.
• $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}{\mathcal{M}},{\mathcal{V}}_{a,b}\bigr{)}$는 $R^p\pi_*\Omega^q_{{\mathcal{M}}}$ 및 $H^j({\mathcal{M}}, \Omega^p \otimes {\mathcal{V}})$를 통해 계산되며, 결과는 기대되는 표현 이론적 구조와 일치한다.
• $L^2$ 도르베오-코homology $H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(-3))$에는 $\mathbb{V}_{(0,0)}$ 표현이 포함되어 있지 않으며, $s \to 0$ 및 $s \to \infty$ 극한에서의 노름 발산 행동으로 확인된다.
• 마찬가지로 $H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(3))$에는 $\mathbb{V}_{(3,0)}$, $\mathbb{V}_{(1,1)}$, 또는 $\mathbb{V}_{(0,0)}$ 표현이 포함되어 있지 않으며, 제곱-integrable 해가 존재하지 않기 때문이다.
• $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}X, {\mathcal{V}}^{bulk}_{a,b}\bigr{)}$의 계산은 $T\mathbb{P}^2$ 위의 $L^2$ 코homology에 기반하며, $m \geq 1$에 대해 $\Omega^j_X(3m)$의 $L^2$ 코homology에 대한 명시적 공식이 존재한다.
• 노름 적분은 극좌표와 표준 삼각함수 적분을 사용하여 평가되며, $\int d\Phi / (a + b\cos\Phi)^n$ 및 $T_v$ 위의 근방 적분 공식이 핵심이며, 물리적 상태의 수렴성을 확인한다.