[논문 리뷰] A-models in three and four dimensions

Anton Kapustin, Ketan Vyas|arXiv (Cornell University)|2010. 02. 23.

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

한 줄 요약

이 논문은 3차원 실수 다양체 $X$ 를 목표로 하는 3차원 위상적 장 이론(3D A-모델)을 2D A-모델의 유사체로 구성한다. 이 이론은 보존장이 3차원 다양체에서 $X$ 로 매핑되고, 그 위에 값이 있는 1형식이 인플로우 탄젠트 번들의 풀백을 구성하며, BRST-정확한 작용으로 정의된다. 이론은 구간 위에서의 컴actification을 통해 $T^*X$ 상에서 2D A-모델로 감소하고, 4D A-모델은 4차원 민코프스키 공간에서 $ olimits\mathcal{N}=2$ 선형 $\sigma$-모델을 휘어붙여 확장되며, 3D 미러 대칭과 기하학적 롱랜즈 대칭에 대한 프레임워크를 제공한다.

ABSTRACT

We introduce and study a new 3d Topological Field Theory which can be associated to any compact real manifold X. This TFT is analogous to the 2d A-model and reduces to it upon compactification on an interval with suitable boundary conditions. It plays a role in 3d mirror symmetry as well as in the physical approach to the geometric Langlands duality. A similar TFT can be defined in four dimensions.

연구 동기 및 목표

• 3차원 다양체 위에서 실수 다양체 $X$ 를 목표로 하는 2D A-모델의 유사체인 3D 위상적 장 이론을 구성하는 것.
• 보조장이 포함된 BRST-정확한 작용을 정의하여, 비온-쉘에서 BRST 연산자의 담비성(=nilpotency=)을 보장하는 것.
• 적절한 경계 조건 하에서 구간 위의 컴팩티피케이션을 통해 3D A-모델이 $T^*X$ 상에서 2D A-모델로 감소함을 보이는 것.
• 4차원 민코프스키 공간에서 $ olimits\mathcal{N}=2$ 선형 $\sigma$-모델을 휘어붙여 4차원 A-모델로 확장하는 것.
• 3D A-모델이 3D 미러 대칭과 기하학적 롱랜즈 대칭의 물리적 접근법에 어떻게 관련되는지 설정하는 것.

제안 방법

• 3D A-모델은 보존장 $\phi: M \to X$ 와 $\tau \in T^*M \otimes \phi^*TX$ 를 포함하며, BRST 변환은 보조장 $P$ 와 $\tilde{P}$ 를 도입하여 $\delta^2 = 0$ 이며, 이는 BRST 대칭이 비온-쉘에서 담비성을 보장한다.
• 작용은 $S = \tilde{S} + S_{\text{top}}$ 로 구성되며, $\tilde{S}$ 는 BRST-정확하고, $S_{\text{top}} = \int_M D\tilde{\tau}_i \wedge d\phi^i$ 는 위상적 항으로서, 보존장의 작용에서 나타나는 병리적 항을 상쇄시킨다.
• BRST 변환은 3D $ olimits\mathcal{N}=2$ 이론의 초대칭 대수학에서 유도되며, 보조장 덕분에 $\delta^2 = 0$ 이 비온-쉘에서 명백해진다.
• 4D A-모델은 4차원 민코프스키 공간에서 $ olimits\mathcal{N}=2$ 선형 $\sigma$-모델을 휘어붙여 구성되며, $SU(2)_L$ 회전 대칭과 $SU(2)_{\mathcal{R}} \times SU(2)_X$ 의 대각 부분군을 사용한다.
• 완곡화된 장의 내용에는 스칼라 $\sigma^I$, 반자기적 2형식 $\tau^{I-}_{\mu\nu}$, 그리고 페르미온 $\eta^I, \psi^{I-}_{\mu\nu}, \chi^I_\mu$ 가 포함되며, 이들은 $SU(2)_{L'} \times SU(2)_R$ 에 따라 변환된다.
• 4D 작용은 $S = \int_{\mathbb{R}^4} \left( \frac{1}{4}\delta_{IJ}\partial^\mu \sigma^I \partial_\mu \sigma^J + \delta_{IJ}\partial^\nu \tau^{I-}_{\mu\nu} \partial_\lambda \tau^{J\mu\lambda -} + \frac{i}{2}\delta_{IJ}\chi^I_\mu \partial^\mu \eta^J - i\delta_{IJ}\chi^\mu \partial_\nu \psi^{J\mu\nu -} \right)$ 로 유도된다.

실험 결과

연구 질문

• RQ1 2D A-모델을 고차원으로 일반화할 수 있는 3D 위상적 장 이론을 어떻게 구성할 수 있는가?
• RQ2 3D A-모델에서 보조장은 비온-쉘에서 BRST 연산자의 담비성을 보장하는 데 어떤 역할을 하는가?
• RQ3 특정 경계 조건 하에서 구간 위의 컴팩티피케이션을 통해 3D A-모델이 2D A-모델로 감소하는 방식은 어떻게 되는가?
• RQ4 A-모델의 4D 유사체는 무엇이며, 어떻게 4D $ olimits\mathcal{N}=2$ 선형 $\sigma$-모델을 휘어붙여 얻을 수 있는가?
• RQ5 3D 및 4D A-모델은 3D 미러 대칭과 기하학적 롱랜즈 대칭과 어떻게 관련되는가?

주요 결과

• 3D A-모델은 보조장 $P$ 와 $\tilde{P}$ 를 포함한 BRST-정확한 작용으로 구성되며, 이는 비온-쉘에서 $\delta^2 = 0$ 이며 BRST 대칭이 명백해지게 한다.
• 적절한 경계 조건 하에서 구간 위의 컴팩티피케이션을 통해 3D A-모델은 $T^*X$ 상에서 2D A-모델로 감소한다.
• 4D A-모델은 4차원 민코프스키 공간에서 $ olimits\mathcal{N}=2$ 선형 $\sigma$-모델을 휘어붙여 얻어지며, 이는 휘어진 장 $\sigma^I$, $\tau^{I-}_{\mu\nu}$, $\eta^I$, $\psi^{I-}_{\mu\nu}$, $\chi^I_\mu$ 로 표현된 작용을 포함한다.
• 4D 작용은 휘어진 $SU(2)_{L'} \times SU(2)_R$ 대칭에 대해 불변이며, 휘어진 후에도 $ olimits\mathcal{N}=2$ 초대칭 대칭 대수학을 유지한다.
• 3D A-모델은 3D 미러 대칭에서 중심적인 역할을 하며, 4D $N=4$ 수퍼양-밀스 이론을 원형으로 컴팩티피케이션할 때 나타나며, 기하학적 롱랜즈 대칭과 연결된다.
• 위상적 항 $S_{\text{top}} = \int_M D\tilde{\tau}_i \wedge d\phi^i$ 는 물리적 내용에서 메트릭에 무관하며, 이는 $\tilde{\tau}_i = g_{ij}\tau^j$ 의 쌍대 1형식으로 다시 쓸 수 있기 때문이다.