[논문 리뷰] Associated varieties and Higgs branches (a survey)

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

Algebraic structures and combinatorial models참고 문헌 19인용 수 5

한 줄 요약

이 종합 논문은 4차원 $N=2$ 초등방출장 이론(SCFTs)의 힉스 브랜치와 정점 대수의 관련 다양체 사이의 대응을 수립하며, 4차원 $N=2$ SCFT $\mathcal{T}$의 힉스 브랜치 $Higgs_{\mathcal{T}}$가 Beem-Lemos-Liendo-Peelaers-Rastelli-van Rees 사상에 의해 구성된 정점 대수 $\Phi(\mathcal{T})$의 관련 다양체 $X_{\Phi(\mathcal{T})}$와 동형임을 보여준다. 이 연결은 정점 대수 이론을 통해 슈어 지수의 모듈라 불변성을 암시하며, 대수적 구조를 이용해 힉스 브랜치와 슈어 지수를 순수하게 대수적으로 정의할 수 있는 수학적 프레임워크를 제공한다.

ABSTRACT

Associated varieties of vertex algebras are analogue of the associated varieties of primitive ideals of the universal enveloping algebras of semisimple Lie algebras. They not only capture some of the important properties of vertex algebras but also have interesting relationship with the Higgs branches of four-dimensional $N=2$ superconformal field theories (SCFTs). As a consequence, one can deduce the modular invariance of Schur indices of 4d $N=2$ SCFTs from the theory of vertex algebras.

연구 동기 및 목표

• 4D $N=2$ SCFT의 힉스 브랜치와 정점 대수의 관련 다양체 사이의 수학적 대응을 수립하기 위해.
• 4D $N=2$ SCFT $\mathcal{T}$의 힉스 브랜치 $Higgs_{\mathcal{T}}$가 그에 대응하는 정점 대수의 관련 다양체 $X_{\Phi(\mathcal{T})}$와 같음을 보여주기 위해.
• 정점 대수 이론을 활용하여 이러한 SCFT의 슈어 지수가 모듈라 불변임을 증명하기 위해.
• 물리적 정의를 회피하고 정점 대수를 이용해 힉스 브랜치와 슈어 지수를 순수하게 대수적으로 정의하기 위해.

제안 방법

• 정점 대수 $V$의 Zhu의 $C_2$-대수 $R_V = V/C_2(V)$를 통해 $X_V = \operatorname{Specm}(R_V)$로 정의되는 정점 대수 $V$의 관련 다양체를 정의하며, 이는 파울슨 대수적 구조를 지닌다.
• Beem-Lemos-Liendo-Peelaers-Rastelli 사상 $\Phi$를 사용하여 각 4D $N=2$ SCFT $\mathcal{T}$에 대해 정점 대수 $\Phi(\mathcal{T})$를 부여하며, $\Phi(\mathcal{T})$의 특성치가 $\mathcal{T}$의 슈어 지수와 일치하도록 한다.
• level $k = -h^\vee/6 - 1$에서 $\Phi(\mathcal{T}) = L_k(\mathfrak{g})$인 $\mathcal{T}$에 대해, 관련 다양체 $X_{L_k(\mathfrak{g})}$가 극소 노말화 궤도 닫힘 $\overline{\mathbb{O}_{\text{min}}}$과 일치함을 증명한다.
• Drinfeld-Sokolov 감소의 BRST 코hom올로지를 적용하여 $X_{H_{DS,f}^0(V)} = X_V \cap \mathcal{S}_f$를 도출함으로써 정점 대수의 구조와 Slodowy 절단 사이의 연결을 맺는다.
• 4D SCFT에서 유래한 정점 대수의 준-리스성( quasi-lisse property)을 활용하여 관련 다양체가 유한차원임을 보장하고, 특성치의 모듈라 불변성을 확보한다.
• 특수한 수준에서의 아핀 및 $W$-대수의 증거를 바탕으로, 모든 4D $N=2$ SCFT에 대해 $Higgs_{\mathcal{T}} = X_{\Phi(\mathcal{T})}$임을 추측한다.

실험 결과

연구 질문

• RQ1 4D $N=2$ SCFT의 힉스 브랜치는 $\Phi$ 사상 하에서 그에 대응하는 정점 대수의 관련 다양체와 동형인가?
• RQ2 4D $N=2$ SCFT의 슈어 지수의 모듈라 불변성은 그에 대응하는 정점 대수의 표현 이론으로부터 유도될 수 있는가?
• RQ3 4D $N=2$ SCFT에서 유래한 정점 대수들은 심플렉틱적 관련 다양체를 지닌 특별한 종류의 준-리스 정점 대수를 이룬다 할 수 있는가?
• RQ4 물리적 불변량인 힉스 브랜치는 관련 다양체를 통한 순수한 대수적 정의로 정의될 수 있는가?
• RQ5 $W$-대수와 Drinfeld-Sokolov 감소는 어떻게 힉스 브랜치를 파울슨 다양체로 실현하는가?

주요 결과

• 레벨 $k = -h^\vee/6 - 1$에서 단순 아핀 정점 대수 $L_k(\mathfrak{g})$의 관련 다양체 $X_{L_k(\mathfrak{g})}$는 $\mathfrak{g} = D_4, F_4, E_6, E_7, E_8$일 때 힉스 브랜치 $\overline{\mathbb{O}_{\text{min}}}$과 동형이며, 이는 힉스 브랜치를 파울슨 다양체로 구체적으로 실현한 것이다.
• 4D $N=2$ SCFT의 슈어 지수는 관련 정점 대수 $\Phi(\mathcal{T})$의 특성치의 모듈라 성질 때문일 때, 모듈라 불변임을 보인다. 이 정점 대수 $\Phi(\mathcal{T})$는 리스 또는 준-리스 성질을 지닌다.
• $\Phi$ 사상은 4D $N=2$ SCFT를 단위성 또는 정수성을 가지지 않는 정점 대수로 보낸다. 특히, 정수성 아핀 정점 대수를 포함하지 않는다.
• 보편 $W$-대수 $\mathscr{W}^k(\mathfrak{g},f)$의 관련 다양체 $X_{\mathscr{W}^k(\mathfrak{g},f)}$는 Slodowy 절단 $\mathcal{S}_f = f + \mathfrak{g}^e$와 동형이며, 이는 $W$-대수와 노말화 궤도 사이의 기하학적 연결을 수립한다.
• 추측 $Higgs_{\mathcal{T}} = X_{\Phi(\mathcal{T})}$는 힉스 브랜치가 관련 다양체를 통한 순수한 대수적 정의로 정의될 수 있음을 시사하며, 물리적 불변량에 대한 새로운 수학적 접근법을 제시한다.
• 허용 가능한 아핀 정점 대수에서 $W$-대수를 구성함으로써 모든 예외적 $W$-대수, 특히 최소 시리즈 주요 $W$-대수를 얻을 수 있으며, 이들의 유리성은 정점 대수 기법을 통해 확인된다.