[논문 리뷰] Correspondences of categories for subregular W-algebras and principal W-superalgebras

Thomas Creutzig, Naoki Genra외 2명|arXiv (Cornell University)|2021. 04. 02.

Algebraic structures and combinatorial models참고 문헌 87인용 수 8

한 줄 요약

이 논문은 카자마–스즈끼 유형의 코셋 구성과 상대 무한대 코homology를 이용하여, $\mathfrak{sl}_n$에 대한 부분정규 $\mathcal{W}$-대수의 표현 범주와 $\mathfrak{sl}_{1|n}$에 대한 주요 $\mathcal{W}$-슈퍼대수의 표현 범주 사이에 모나이드 동치를 수립한다. 무게별 선형 동치를 증명하고, 이는 유리 및 로그리듬적 설정 모두에서 모나이드 동치로 확장되며, 로그리듬적 상호작용 연산자 공간의 동형과 단순 전류 확장에 의한 융합 규칙 분류를 포함한다.

ABSTRACT

Based on the Kazama-Suzuki type coset construction and its inverse coset between the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ and the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$, we prove weight-wise linear equivalences of their representation categories. Our main results are then improvements of these correspondences incorporating the monoidal structures. Firstly, in the rational case, we obtain the classification of simple modules and their fusion rules via simple current extensions from their Heisenberg cosets. Secondly, beyond the rational case, we use certain kernel VOAs together with relative semi-infinite cohomology functors to get functors from categories of modules for the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ to categories of modules for the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$ and vice versa. We study these functors and in particular prove isomorphisms between the superspaces of logarithmic intertwining operators. As a corollary, we obtain correspondences of representation categories in the monoidal sense beyond the rational case as well.

연구 동기 및 목표

• 부분정규 $\mathcal{W}$-대수의 표현 범주와 $\mathfrak{sl}_n$에 대한 주요 $\mathcal{W}$-슈퍼대수의 표현 범주 사이의 대응을 수립하기 위해.
• 기존의 코셋 구성이 유리 사례를 초월하여 모나이드 구조를 포함하도록 확장하기 위해.
• 상대 무한대 코homology를 통해 로그리듬적 상호작용 연산자 슈퍼공간 간의 동형을 증명하기 위해.
• 헤이젠베르크 코셋에서의 단순 전류 확장을 이용하여, 유리 사례에서 단순 모듈과 그 융합 규칙을 분류하기 위해.

제안 방법

• $\mathcal{W}^k(\mathfrak{sl}_n, f_{\text{subreg}})$와 $\mathcal{W}^\ell(\mathfrak{sl}_{1|n}, f_{\text{prin}})$ 사이의 카자마–스즈끼 유형 코셋 구성과 그 역을 이용하기 위해.
• 모듈 범주 간의 모나이드 동치를 수립하기 위해 상대 무한대 코homology 함자를 적용하기 위해.
• 두 대수의 표현 범주 간의 함자를 실현하기 위해 특정 핵심 버전 연산자 대수를 사용하기 위해.
• 버전 슈퍼대수 확장 이론과 단순 전류 확장 이론을 활용하여, 유리 사례에서 모듈을 분류하고 융합 규칙을 계산하기 위해.
• 프렌켈–카크 구성과 등온성 임bedding을 이용하여 격자 버전 대수와 그 분해를 실현하기 위해.
• $L_1(\mathfrak{sl}_{nm})$가 $L_m(\mathfrak{sl}_n) \otimes L_n(\mathfrak{sl}_m)$ 모듈로서의 분해 법칙을 적용하여 표현 환에서의 분해 공식과 동형을 도출하기 위해.

실험 결과

연구 질문

• RQ1 유리 사례를 초월하여 부분정규 $\mathcal{W}$-대수의 표현 범주와 $\mathfrak{sl}_n$에 대한 주요 $\mathcal{W}$-슈퍼대수의 표현 범주 사이에 모나이드 동치를 수립할 수 있는가?
• RQ2 제안된 대응 하에서 로그리듬적 상호작용 연산자는 어떻게 변환되는가?
• RQ3 유리 사례에서 단순 모듈의 융합 규칙의 구조는 어떻게 되며, 헤이젠베르크 코셋에서 유도될 수 있는가?
• RQ4 코homology 함자를 통해 이 대응을 로그리듬적 모듈로 확장할 수 있는가?
• RQ5 핵심 버전 대수는 두 범주 간의 모나이드 동치를 실현하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 코셋 구성에 의해 $\mathcal{W}^k(\mathfrak{sl}_n, f_{\text{subreg}})$와 $\mathcal{W}^\ell(\mathfrak{sl}_{1|n}, f_{\text{prin}})$의 표현 범주 간에 무게별 선형 동치를 수립한다.
• 유리 사례에서 단순 모듈의 분류와 융합 규칙은 헤이젠베르크 코셋에서의 단순 전류 확장을 통해 달성된다.
• 상대 무한대 코호몰로지 함자는 두 대수의 모듈 범주 간에 모나이드 함수를 유도하여 범주론적 대응을 제공한다.
• 로그리듬적 상호작용 연산자 슈퍼공간 간의 동형이 증명되어 로그리듬적 설정에서의 모나이드 동치가 확인된다.
• 핵심 버전 대수 $\mathcal{E}_{m,n}$는 $L_n(\mathfrak{sl}_m) \otimes V_{\sqrt{nm}\mathbb{Z}}$의 순서 $m$ 단순 전류 확장으로 식별되며, 이에 의해 대응이 실현된다.
• 표현 환의 동형 $\mathcal{K}(L_m(\mathfrak{sl}_n)) \simeq (\mathcal{K}(L_n(\mathfrak{sl}_m)) \otimes_{\mathbb{Z}[\mathbb{Z}_m]} \mathbb{Z}[\mathbb{Z}_{nm}])^{\mathbb{Z}_m}$ 가 도출되며, 여기서 $L_m(\lambda) \mapsto L_n(\lambda^t) \otimes [\ell(\lambda)]$.