[논문 리뷰] Representation theory of W-algebras and Higgs branch conjecture

Tomoyuki Arakawa|arXiv (Cornell University)|2017. 12. 20.

Algebraic structures and combinatorial models참고 문헌 43인용 수 6

한 줄 요약

이 논문은 W-대수의 표현 이론과 4차원 N=2 초등방출 미세장 이론(SCFT)의 힉스 브랜치 사이의 깊은 연결 고리를 확립한다. 특히 클래스 $\sigma$ 이론에 대해, 이러한 이론으로부터 유도된 정점 대수의 관련 다양체가 단순한 함자를 통해 힉스 브랜치와 동형임을 증명함으로써, 힉스 브랜치 추측을 확인하고, 준-리스 정점 대수를 통해 슈어 지수의 모듈라 불변성을 드러낸다.

ABSTRACT

We survey a number of results regarding the representation theory of $W$-algebras and their connection with the resent development of the four dimensional $N=2$ superconformal field theories in physics.

연구 동기 및 목표

• 4차원 $N=2$ 초등방출 미세장 이론의 힉스 브랜치와 W-대수 표현 이론을 연결하는 수학적 프레임워크를 수립하기 위해.
• 정점 대수의 구조와 관련 다양체를 이용해 클래스 $\sigma$ 이론에 대한 힉스 브랜치 추측을 증명하기 위해.
• 4차원 $N=2$ SCFT로부터 유도된 정점 대수가 준-리스 조건을 만족함을 보여주어, 유한한 표현 카테고리와 슈어 지수의 모듈라 불변성을 유도하기 위해.
• 2-경계의 카테고리에서 정점 대수의 카테고리로 가는 단순함자 $\eta_G: \mathbb{B}_2 \to \mathbb{V}$를 구성하여, 치르랄 미분 연산자로 힉스 브랜치 기하학을 실현하기 위해.

제안 방법

• 정점 대수의 관련 다양체 구성 기법을 활용하여, 이를 파울슨 다양체로 매핑하고, 관련 다양체에 대해 유한한 심플렉틱 잎을 가진 정점 대수를 준-리스 정점 대수로 정의한다.
• Zhu 감소와 Etingof-Schelter 정리를 적용하여, $V_0 = \mathbb{C}$인 준-리스 정점 대수에서 단순한 일반 모듈러의 수가 유한함을 보인다.
• 2-경계의 카테고리 $\mathbb{B}_2$에서 정점 대수의 카테고리 $\mathbb{V}$로 가는 단순함자 $\eta_G: \mathbb{B}_2 \to \mathbb{V}$를 구성하며, $S^1$을 복소 단순군 $G$로 보낸다.
• 상대적인 무한한 코homology를 사용하여 $\mathbb{V}$ 내의 사상의 복합을 정의함으로써 기하 Langlands 프로그램과 힉스 브랜치 기하학과의 호환성을 확보한다.
• 최근 [BFN17]에서 증명된 Moore-Tachikawa 추측에 기반하여, 힉스 브랜치를 심플렉틱 다양체로 실현하는 함자 $\eta^{BFN}_G$를 이용한다.
• 치르랄 대수 $\eta_G(B)$의 관련 다양체 $X_{\eta_G(B)}$와 클래스 $\mathcal{S}$ 이론의 힉스 브랜치 $\eta^{BFN}_G(B)$ 사이에 등장하는 동형사상 $X_{\eta_G(B)} \cong \eta^{BFN}_G(B)$를 수립한다.

실험 결과

연구 질문

• RQ1 4차원 $N=2$ SCFT로부터 유도된 정점 대수의 관련 다양체는 해당 이론의 힉스 브랜치와 일치하는가?
• RQ2 W-대수의 표현 이론을 활용하여 클래스 $\mathcal{S}$ 이론에 대한 힉스 브랜치 추측을 증명할 수 있는가?
• RQ3 4차원 $N=2$ SCFT로부터 유도된 정점 대수들은 준-리스 조건을 만족하는가? 이는 슈어 지수의 모듈라 불변성을 이끌어내는가?
• RQ4 2-경계에서 정점 대수의 카테고리로 가는 단순함자가 존재하는가? 이는 치르랄 미분 연산자로 임계 수준에서 힉스 브랜치 기하학을 실현하는가?

주요 결과

• 클래스 $\mathcal{S}$ 이론에 대해 힉스 브랜치 추측이 확인됨: 치르랄 대수 $\eta_G(B)$의 관련 다양체 $X_{\eta_G(B)}$는 힉스 브랜치 $\eta^{BFN}_G(B)$와 동형임을 입증함.
• 정점 대수 $\eta_G(B)$는 준-리스임을 보여주며, 이는 관련 다양체에 유한한 심플렉틱 잎이 있음을 의미함. 이는 모듈라 불변성에 있어 핵심적 성질이다.
• 준-리스 정점 대수 위의 일반 모듈러의 카테고리가 유한함을 보여주며, 이는 모듈라 선형 미분방정식에 관한 정리 12의 직접적 결과이다.
• 4차원 $N=2$ SCFT의 슈어 지수는 모듈라 불변 성질을 만족함을 확인하여, 물리학자들이 제기한 [BR17]의 추측을 확인함.
• 클래스 $\mathcal{S}$ 이론의 치르랄 대수는 2-경계에서 정점 대수의 카테고리로 가는 단순함자 $\eta_G$의 이미지로 실현되며, $\eta_G(S^1) = G$ 및 $\eta_G(\text{cap}) = H^0_{DS,f_{prin}}(\mathcal{D}_G^{ch})$를 만족함.
• 카테고리 $\mathbb{V}$ 내의 항등 사상은 임계 수준에서 치르랄 미분 대수 $\mathcal{D}_G^{ch}$로 실현되며, 그 관련 다양체는 $T^*G$이다.