[논문 리뷰] VOA[M4]

Boris Feigin, Sergei Gukov|arXiv (Cornell University)|2018. 06. 07.

Geometric and Algebraic Topology인용 수 7

한 줄 요약

이 논문은 매끄러운 4차원 다양체와 정점 연산자 대수(VOA) 사이의 새로운 대응을 제안한다. 여기서 4차원 다각체의 위상수학적 연산(예: 수술, 접합 등)은 VOA의 대수적 연산으로 반영된다. 주요 기여는 4차원 다각체와 ADE 루트 체계에 의해 레이블링된 VOA의 구축이며, 동일한 다각체에 대한 서로 다른 위상수학적 구성(예: 커비 이동, 다른 트리세션 등)이 동일한 VOA를 유도함으로써 나카지마의 인stanton 모듈리 공간에 대한 작업을 일반화한다.

ABSTRACT

We take a peek at a general program that associates vertex (or, chiral) algebras to smooth 4-manifolds in such a way that operations on algebras mirror gluing operations on 4-manifolds and, furthermore, equivalent constructions of 4-manifolds give rise to equivalences (dualities) of the corresponding algebras.

연구 동기 및 목표

• 4차원 다각체의 위상수학적 연산(예: 수술, 접합, 트리세션 등)과 정점 연산자 대수(VOA)의 대수적 연산 사이의 사전을 수립하는 것.
• ADE 유형의 리 대수 $\frak{g}$와 함께 매끄러운 4차원 다각체 $M_4$에 대해 VOA를 정의하여, ALE 공간에 대한 나카지마의 구성으로 일반화하는 것.
• 동일한 4차원 다각체에 대한 등가의 위상수학적 구성(예: 커비 이동 또는 다른 트리세션 등)이 동일한 VOA를 유도함을 보여, 위상수학적 이중성 관계를 대수적으로 실현하는 것.
• 2차 ${\mathcal{N}}=(0,2)$ 이론과 힉스 브랜치 기하학과의 관련성에서 $\text{VOA}[M_4]$의 관련 다양체의 기하학적 및 물리적 해석을 탐색하는 것.

제안 방법

• 4차원 다각체 $M_4$에서 $G$-인스탄턴트 또는 바파-위튼 방정식의 해의 모듈리 공간의 코homology로 $\text{VOA}[M_4]$를 구성하며, 플로어 호모로지 이론을 카테고리화된 코homology 이론으로 사용한다.
• $\mathbb{R} \times M_4$에서의 바파-위튼 방정식을 사용하여 플로어 복합체를 정의하고, 그 호모로지로 바파-위튼 불변량을 카테고리화하며, VOA의 구조에 대한 후보를 제공한다.
• 특히 $M_4$의 플러밍 그래프와 토릭 구조를 통해 접합 연산을 모델링하기 위해 BRST 축약과 확장을 적용한다.
• 4차원 다각체의 트리세션과 2차 ${\mathcal{N}}=(0,2)$ 이론 사이의 대응을 활용하여, $T[M_4]$ 구성에 의해 2차 디스크 앰피티드를 4차원으로 올리는 방식으로 접근한다.
• $C_2$-대수 $\mathcal{R}_{\mathcal{V}} = \mathcal{V}/C_2(\mathcal{V})$를 사용하여 관련 다양체 $X_{\mathcal{V}} = \text{Spec}((\mathcal{R}_{\mathcal{V}})_{\text{red}})$를 정의하고, VOA와 심플렉틱 기하학 및 힉스 브랜치를 연결한다.
• 특히 $M_4 = \mathbb{C}\mathbf{P}^1 \times \Sigma_{0,4}$ 이고 $G=SU(2)$일 경우, $X_{\mathcal{V}}$가 $\mathfrak{so}(8)$의 최소 노름 원소의 폐쇄임을 보이며, 이는 알려진 힉스 브랜치 기하학과 일치한다.

실험 결과

연구 질문

• RQ1 4차원 다각체에서의 위상수학적 연산(예: 수술, 접합 등)이 정점 연산자 대수(VOA)의 대수적 연산으로 체계적으로 어떻게 반영될 수 있는가?
• RQ2 일반적인 매끄러운 4차원 다각체 $M_4$에 대해 $\text{VOA}[M_4]$의 정확한 대수적 구조는 무엇이며, ADE 유형의 리 대수 $\frak{g}$의 선택에 따라 어떻게 달라지는가?
• RQ3 $\text{VOA}[M_4]$의 관련 다양체는 2차 ${\mathcal{N}}=(0,2)$ 이론 또는 4차원 ${\mathcal{N}}=2$ 이론의 힉스 브랜치 관점에서 기하학적으로 어떻게 해석될 수 있는가?
• RQ4 동일한 4차원 다각체에 대한 서로 다른 위상수학적 구성(예: 다른 트리세션 또는 커비 다이어그램 등)이 동일한 VOA를 어떻게 유도하는가? 이는 4차원 TFT에서의 이중성에 어떤 함의를 갖는가?

주요 결과

• VOA $\text{VOA}[M_4]$는 $M_4$에서 바파-위튼 방정식의 해의 모듈리 공간의 코homology로 구성되며, 플로어 호모로지 이론이 카테고리화된 불변량을 제공한다.
• $M_4 = \mathbb{C}\mathbf{P}^1 \times \Sigma_{0,4}$ 이고 $G=SU(2)$일 경우, $\text{VOA}[M_4]$의 관련 다양체는 $\mathfrak{so}(8)$의 최소 노름 원소의 폐쇄이며, 이는 해당 4차원 ${\mathcal{N}}=2$ 이론의 힉스 브랜치와 일치한다.
• 동일한 4차원 다각체에 대한 서로 다른 위상수학적 구성(예: 단순한 커비 이동 또는 다른 트리세션 등)이 동일한 VOA를 유도하며, 이는 대수적 구조와 위상수학적 구조 사이의 이중성 관계를 보여준다.
• $\text{VOA}[M_4]$의 $C_2$-대수 $\mathcal{R}_{\mathcal{V}}$는 관련 다양체 $X_{\mathcal{V}}$를 결정하며, $M_4$가 카일러 메트릭을 가질 경우 이 다양체는 헬로모르픽 심플렉틱 구조를 지닌다. 이는 2차 이론 $T[M_4]$에서 강화된 초대칭과의 연결을 시사한다.
• 이 구성은 ALE 공간에 대한 나카지마의 작업을 일반적인 4차원 다각체로 일반화하며, $M_4$의 곡선을 따라 게이지 bundle의 헤크 변형으로 생성된 VOA를 포함한다.