[논문 리뷰] Towards a mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories, II

Alexander Braverman, Michael Finkelberg외 1명|arXiv (Cornell University)|2016. 01. 14.

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

한 줄 요약

이 논문은 3차원 $\mathcal{N}=4$ 양자장 이론에서 물질이 코탄제ント 타입($\mathbf{M} = \mathbf{N} \oplus \mathbf{N}^*$)인 경우, 코울롱 브랜치를 코homology를 통해 정의하며, 이는 아핀 그라스만이안에 기반한 모듈리 스택의 코homology를 사용하여 $\mathbb{C}^\times$-작용을 갖는 아핀 대수다양체로 정의된다. 주요 기여는 코homology 위에 가환 곱을 기하학적으로 구성하여, 코울롱 브랜치를 함수의 스펙트럼으로 실현하는 것이다.

ABSTRACT

Consider the $3$-dimensional $\mathcal N=4$ supersymmetric gauge theory associated with a compact Lie group $G_c$ and its quaternionic representation $\mathbf M$. Physicists study its Coulomb branch, which is a noncompact hyper-Kähler manifold with an $\mathrm{SU}(2)$-action, possibly with singularities. We give a mathematical definition of the Coulomb branch as an affine algebraic variety with $\mathbb C^ imes$-action when $\mathbf M$ is of a form $\mathbf N\oplus\mathbf N^*$, as the second step of the proposal given in arXiv:1503.03676.

연구 동기 및 목표

• 3차원 $\mathcal{N}=4$ 게이지 이론에서 퀼터니언 물질이 코탄제ント 타입일 경우에 대해 코울롱 브랜치에 대한 엄밀한 수학적 정의를 제공하는 것.
• 복소수 $G$- bundles과 $\mathbb{P}^1$ 위의 섹션을 포함하는 모듈리 스택과 관련된 코homology에 가환 대수적 구조를 정의하는 것. 이는 임계 코homology를 컴act 지지 코homology로 대체하는 것이다.
• 베일린슨-드린펠드 그라스만이안의 맥락에서 컨볼루션을 통해 양자 힐버트 공간의 기하학적 실현을 확립하는 것.
• 3차원 TQFT의 융합 과정에 해당하는 물리적 개념과 대응하는 코hom로의 곱을 구성하는 것.

제안 방법

• 코울롱 브랜치를 컴팩트 지지 코homology의 스펙트럼으로 모델링하기 위해, $\mathscr{P}$가 복소수 $G$- bundles이고 $s$가 $\mathscr{P} \times_G \mathbf{N}$ 위의 섹션인 쌍 $(\mathscr{P}, s)$의 모듈리 스택을 사용하는 것.
• 원래의 모듈리 스택을 두 개의 형식적 디스크를 구멍이 있는 디스크를 통해 붙여 얻는 비분리 스킴 $\tilde{D}$ 기반의 것으로 대체하여 아핀 그라스만이안 기하학의 기법에 접근하는 것.
• 3차원 TQFT의 그림에서 3차원 볼에 두 개의 구멍이 있는 것과 유사한 다이어그램을 사용하여, 코어프로덕트를 피보트의 곱과 함께 정의하는 것.
• 기저 변경 정리와 유도 범주 내의 적절한 기저 변경을 적용하여 컨볼루션 곱의 결합법칙과 잘 정의됨을 검증하는 것.
• 베일린슨-드린펠드 그라스만이안의 구조를 활용하여 컨볼루션을 코울롱 브랜치의 곱과 연결하는 것.
• 새로운 모듈리 스택의 컴팩트 지지 코hom로가 원래의 임계 코hom로와 동형이 되며, 그 차수의 차원이 유지된다는 추측을 제기하는 것.

실험 결과

연구 질문

• RQ1 물질 표현이 코탄제ント 타입일 경우, 3차원 $\mathcal{N}=4$ 게이지 이론의 코울롱 브랜치를 어떻게 엄밀하게 정의할 수 있는가?
• RQ2 코울롱 브랜치의 함수 공간 위에 존재하는 가환 곱의 기하학적 기원은 무엇인가?
• RQ3 물리적 정의에서 사용된 임계 코hom로를, 더 작은 모듈리 스택의 일반 코hom로와 컴팩트 지지 코hom로로 대체할 수 있는가?
• RQ4 두 개의 경계 성분을 갖는 3차원 다양체의 3차원 TQFT 그림은 아핀 그라스만이안의 컨볼루션 구조와 어떻게 관련이 있는가?
• RQ5 새로운 모듈리 스택의 코hom로가 원래의 임계 코hom로와 동형이 되는가? 이때 차수의 차원은 유지되는가?

주요 결과

• 코탄제ント 타입의 가정 하에, 코울롱 브랜치는 $\mathbb{P}^1$ 위의 $G$- bundles와 섹션을 갖는 모듈리 스택의 컴팩트 지지 코hom로의 스펙트럼으로 엄밀히 정의된다.
• 베일린슨-드린펠드 그라스만이안을 모델로 삼은 컨볼루션 다이어그램을 통해, 이 코hom로 링 위에 가환 곱이 구성된다.
• 이 구성은 3차원 TQFT의 그림에서 형식적 디스크 위에서의 시간 진화로 해석되는, 경계가 두 개인 작은 3차원 볼을 기반으로 기하학적으로 동기화된 것이다.
• 모듈리 스택의 교체 후에도 코hom로의 차수의 차원이 그대로 유지되며, 이는 원래의 임계 코hom로와의 동형에 대한 추측을 지지한다.
• 기저 변경 정리와 유도 범주 내의 추론을 통해 곱의 결합법칙이 증명되었으며, 추론 다이어그램을 통해 당김과 밀림의 호환성이 확인되었다.
• 저자들은 새로운 모듈리 스택의 코hom로가 자연스럽게 임계 코hom로와 동형이 되며, 물리적 정의와 수학적 정의 사이의 다리를 놓는 데 기여한다고 추측한다.