[논문 리뷰] Line operators in supersymmetric gauge theories and the 2d-4d relation

Takuya Okuda|arXiv (Cornell University)|2014. 12. 22.

Black Holes and Theoretical Physics인용 수 6

한 줄 요약

이 논문은 2차원-4차원 관계를 통해 4차원 $σ=2$ 초대칭 게이지 이론의 선 연산자와 2차원 등각장 이론 간의 정확한 대응을 수립한다. 국소화 및 CFT 기법을 사용하여 BPS 윌슨 및 't Hooft 선 연산자의 정확한 기대값을 계산한다. 선 연산자의 대수는 양자화된 히친 모듈리 공간과 동형이며, 비가환적 융합 규칙은 심플렉틱 dualities와 S-duality와 연결되며, $σ=4$ 및 $σ=2$ 이론에 대해 $ℝ^4$ 및 $ℝ^3$에서 정확한 결과를 제공한다.

ABSTRACT

This is the sixth article in the collection of reviews "Exact results on N=2 supersymmetric gauge theories", ed. J.Teschner. It is discussed how to use localisation techniques for the calculation of expectation values of Wilson and 't Hooft line operators. The results establish direct connections between supersymmetric line operators in gauge theories and the Verlinde line operators known from conformal field theory. Similar results can be used to strongly support connections to the quantum theories obtained from the quantisation of the Hitchin moduli spaces.

연구 동기 및 목표

• 2차원-4차원 관계를 통해 4차원 $σ=2$ 초대칭 게이지 이론과 2차원 등각장 이론 간의 정확한 수학적·물리적 대응을 수립한다.
• 국소화 기법을 사용하여 $ℝ^4$ 및 $ℝ^3$에서 BPS 윌슨 및 't Hoo프 선 연산자의 정확한 기대값을 계산한다.
• 무게 라티스와 쌍대 무게 라티스의 전하를 통해 선 연산자의 스펙트럼을 분류하고, 리만 곡면의 기하학적 자료와 연결한다.
• 선 연산자의 비가환 대수를 유도하고, 이가 양자화된 히친 모듈리 공간과 동형임을 보인다.
• 이산 θ 각도와 상호 국소성 조건이 $\mathcal{N}=2$ 이론에서 선 연산자 스펙트럼과 S-duality 분류에 미치는 역할을 명확히 한다.

제안 방법

• Pestun의 국소화 방법을 적용하여 $ℝ^4$에서 윌슨 및 't Hoo프 선 연산자의 정확한 경로 적분을 계산함으로써, 4차원 게이지 이론을 유한 차원 행렬 모형으로 축소시킨다.
• AGT 대응을 사용하여 4차원 선 연산자 기대값을 2차원 리우빌 CFT의 상관 함수로 매핑하고, 버린드 연산자가 융합 규칙을 코딩한다.
• 모노폴의 모듈리 공간에서 초대칭 양자역학을 사용하여 선 연산자의 곱셈 연산자 전개(OPE)를 구성한다.
• 선 연산자의 비가환 대수를 리만 곡면 $C$와 게이지 군 $G$에 대한 히친 모듈리 공간 $\mathcal{M}_H(C, G)$의 양자화된 함수 대수와 연결한다.
• 구멍이 있는 리만 곡면 위에서 6차원 $(0,2)$ 이론을 compactify하여 $Ν=2$ 클래스 $\mathcal{S}$ 구성법을 사용하여 2차원-4차원 대응을 실현한다.
• $\mathbb{S}^3_b$ 경계에서 $\mathcal{A}_b$와 $\mathcal{A}_{1/b}$의 칼라링 라티스 간의 심플렉틱 dualities를 활용하여, $(-1)^{\langle \gamma_1, \gamma_2 \rangle}$ 통계를 가진 비아벨 융합 규칙을 유도한다.

실험 결과

연구 질문

• RQ1 4차원 $\mathcal{N}=2$ 게이지 이론의 BPS 선 연산자는 2차원 CFT의 연산자와 2차원-4차원 대응을 통해 어떻게 대응되는가?
• RQ2 선 연산자의 대수의 정확한 구조는 무엇이며, 히친 모듈리 공간의 양자화와 어떻게 관련되는가?
• RQ3 이산 θ 각도와 상호 국로성 조건은 $\mathcal{N}=2$ 이론에서 선 연산자 스펙트럼을 어떻게 제약하는가?
• RQ4 국소화 결과가 $ℝ^4$에서 2차원 리우빌 CFT 상관 함수와 정확히 어떻게 관련되는가?
• RQ5 S-duality 변환이 선 연산자 스펙트럼과 그 융합 규칙에 어떻게 작용하는가?

주요 결과

• 초대칭 양형군 이론인 $\mathcal{N}=4$ 슈퍼 양형군 이론에서 반-BPS 원형 윌슨 루프의 기대값은 가우시안 행렬 모형을 통해 정확히 계산되며, [4]의 추측이 $1/N$ 및 't Hooft 결합 상수의 모든 차수에서 확인된다.
• $\mathbb{S}^4$에서의 국소화는 윌슨 및 't Hoo프 루프 모두 정확한 결과를 제공하며, 인스탄턴/모노폴 대응은 전기 및 자기 연산자 간의 이중성을 제공한다.
• 2차원-4차원 대응은 4차원 선 연산자를 2차원 리우빌 CFT의 버린드 연산자로 매핑하며, 융합 규칙은 리우빌 이론의 $F$-기호에 의해 코딩된다.
• 선 연산자의 비가환 대수는 양자화된 히친 모듈리 공간 위의 함수 대수와 동형이며, 교환관계는 $L_{\gamma_1}^{(b)} \cdot L_{\gamma_2}^{(1/b)} = (-1)^{\langle \gamma_1, \gamma_2 \rangle} L_{\gamma_2}^{(1/b)} \cdot L_{\gamma_1}^{(b)}$이다.
• 서로 국로인 선 연산자의 스펙트럼은 $\langle \gamma_1, \gamma_2 \rangle$ 가 짝수여야 한다는 조건에 의해 제약을 받으며, 이는 히친 모듈리 공간을 유한군 $\Delta$로 약분함으로써 유도된다.
• $A_1$-형 클래스 $\mathcal{S}$ 이론의 경우, 2차원-4차원 대응은 리만 곡면 위의 삼중 그래프 $\Gamma$를 통해 실현되며, 내부 간선에는 $SU(2)$ 게이지 군이, 정점에는 삼중 기본 표현 물질이 존재한다.