[논문 리뷰] Introduction to a provisional mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ gauge theories

Hiraku Nakajima|arXiv (Cornell University)|2017. 06. 16.

Black Holes and Theoretical Physics참고 문헌 13인용 수 22

한 줄 요약

이 논문은 호모로지 군과 콘볼루션 곱을 이용해 3차원 $\mathcal{N}=4$ 초대칭 게이지 이론에서 쿨롱 브랜치의 일시적인 수학적 정의를 제안한다. 이는 교환자 좌표환 $$\mathbb{C}[\mathcal{M}_C]$$ 와 그 비가환 변형인 $\mathcal{A}_\hbar$, 즉 양자화된 쿨롱 브랜치를 모두 구성한다. 주요 결과는 $\mathcal{M}_C$ 가 $T^*T^\vee/W$ 와 유리적이고, 정규성과 평탄한 통합계를 통해 그 구조가 확인되며, 특히 유한하고 애질리프 $A$-형 퀘일 경우에서 성립한다.

ABSTRACT

This is an introduction to a provisional mathematical definition of Coulomb branches of $3$-dimensional $\mathcal N=4$ supersymmetric gauge theories, studied in arXiv:1503.03676, arXiv:1601.03586. This is an expanded version of an article arXiv:1612.09014 appeared in the 61st DAISUUGAKU symposium proceeding (2016), written originally in Japanese.

연구 동기 및 목표

• 물리적 기대에 기반하여 3차원 $\mathcal{N}=4$ 게이지 이론에서 쿨롱 브랜치에 대한 엄밀한 수학적 구성 방법을 제공하는 것.
• 기하학적 표현 이론에 영감을 얻어, 특정 호모로지 군과 콘볼루션 곱의 스펙트럼으로서 쿨롱 브랜치 $\mathcal{M}_C(G,\mathbf{M})$ 를 정의함으로써 기존의 대수적 구성 방법을 일반화하는 것.
• 클래식한 극한에서 $\mathcal{M}_C$ 를 복구하는 $\mathbb{C}[\mathcal{M}_C]$ 를 변형하는 비가환 변형 $\mathcal{A}_\hbar$인 양자화된 쿨롱 브랜치를 동시에 구성하는 것.
• 통합계와 국소화 정리를 이용하여 $\mathcal{M}_C$ 가 정규적이며 $T^*T^\vee/W$ 와 유리적임을 증명하는 것.
• 주요 사례, 즉 유한하고 애질리프 $A$-형 퀘일의 경우에서, 보 변형과 순간자 모듈리 공간을 통해 구성의 타당성을 검증하는 것.

제안 방법

• 기하학적 표현 이론에 영감을 얻어, 특정 공간의 호모로지 군과 콘볼루션 곱을 이용해 좌표환 $\mathbb{C}[\mathcal{M}_C]$ 를 구성하는 것.
• 비가환 대수 $\mathcal{A}_\hbar$ 를 $\mathbb{C}[\hbar]$ 위에서 정의하여 $\mathbb{C}[\mathcal{M}_C]$ 를 $\hbar=0$ 에서 파워슨 브라켓을 통해 변형하는 것.
• 등변 호모로지의 국소화 정리를 이용하여 $\mathcal{M}_C$ 와 $T^*T^\vee/W$ 사이의 유리적 동형을 확립하는 것.
• 통합계가 평탄함을 보여주는 방식으로 $\mathcal{M}_C$ 의 정규성을 검증함으로써, 여부가 2차원 이하의 보완에서 동형임을 유도하는 것.
• 애질리프 $A$-형 퀘일의 경우, 순간자 모듈리 공간을 체르키스의 보 변형으로 대체하고, 관계를 가진 퀘일 표현의 모듈리 공간으로 재표현하여 평탄성을 증명하는 것.
• 기하학적 사타케 대응과 아핀 그라스만만의 슈베르트 다양체를 활용하여 $\mathcal{M}_C$ 를 조각들의 교차로 묘사하는 것.

실험 결과

연구 질문

• RQ1 쿨롱 브랜치의 수학적 정의는 물리적 기원을 고려할 때 어떻게 구성될 수 있는가?
• RQ2 호모로지 군의 콘볼루션 곱이 좌표환 $\mathbb{C}[\mathcal{M}_C]$ 를 정의하는 데 어떤 역할을 하는가?
• RQ3 양자화된 쿨롱 브랜치 $\mathcal{A}_\hbar$ 가 알려진 대수들, 예를 들어 이동된 양얀 또는 구면 DAHA와 동형이 되는 조건은 무엇인가?
• RQ4 왜 $\mathcal{M}_C$ 의 정규성은 중요하며, 심플렉틱 감소 기술이 없을 경우 어떻게 증명되는가?
• RQ5 쿨롱 브랜치는 $\mathbb{R}^4$ 나 타브-누트 공간 위의 순간자 모듈리 공간과 일치할 수 있으며, 어떤 조건에서 그러한 일치가 성립하는가?

주요 결과

• 쿨롱 브랜치 $\mathcal{M}_C(G,\mathbf{M})$ 는 콘볼루션 곱을 갖는 호모로지 군의 스펙트럼으로 구성되며, 몫이나 영점의 집합이 아닌 새로운 대수기하학적 구성 방법을 제공한다.
• 양자화된 쿨롱 브랜치 $\mathcal{A}_\hbar(G,\mathbf{M})$ 는 $\mathbb{C}[\mathcal{M}_C]$ 의 비가환 변형이며, $\hbar=0$ 에서 심플렉틱 형식에 의해 유도된 파워슨 브라켓을 갖는다.
• $\mathbf{M} = \mathbf{N} \oplus \mathbf{N}^*$ 인 경우, [BFN16a] 를 통해 $\mathbb{C}[\mathcal{M}_C]$ 에서의 곱의 구성이 확립되어 핵심 기술적 격차가 해결된다.
• 쿨롱 브랜치는 $T^*T^\vee/W$ 와 유리적이고, 이 유리적 동치류는 표현 $\mathbf{M}$ 에 따라 달라지지 않고 오직 $G$ 에만 의존한다.
• 애질리프 $A$-형의 경우, 보 변형과 퀘일 표현을 통해 쿨롱 브랜치가 완전히 결정되며, $\mathcal{M}_C$ 가 정규임을 보였다.
• $G = \mathrm{GL}(k)$ 이고 $W = \mathbb{C}^r$ 인 경우, 양자화된 쿨롱 브랜치는 $\mathbb{Z}/r\mathbb{Z} \wr S_k$ 의 구면 부분과 동형이며, [KN16] 에서 이를 보였다.