[논문 리뷰] Representation Theory of Superconformal Algebras and the Kac-Roan-Wakimoto Conjecture

Tomoyuki Arakawa|arXiv (Cornell University)|2004. 05. 06.

Algebraic structures and combinatorial models참고 문헌 10인용 수 4

한 줄 요약

이 논문은 초등이차 대수 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$에 대한 Kac-Roan-Wakimoto 추측을 증명한다. 이는 임의의 수준 $k\in\mathbb{C}$에서 이러한 ${\mathcal{W}}$-대수의 기저가장고 표현의 특성은 양자 BRST 축소를 통해 그에 대응하는 $\widehat{{\mathfrak{g}}}$ 위의 기저가장고 모듈의 특성에 의해 완전히 결정됨을 보여준다. 핵심 결과는 BRST 코hom로지 $H^i(V)$가 $i\neq0$일 때 0이 되며, $\langle\lambda,\alpha_0^\vee\rangle\notin\{0,1,2,\dots\}$이면 $H^0(L(\lambda))$가 기저가장고 ${\mathcal{W}}$-모듈을 생성함을 밝힌다.

ABSTRACT

We study the representation theory of the superconformal algebra $W_k(g,f_θ)$ associated with a minimal gradation of $g$. Here, $g$ is a simple finite-dimensional Lie superalgebra with a non-degenerate, even supersymmetric invariant bilinear form. Thus, $W_k(g,f_θ)$ can be one of the well-known superconformal algebras including the Virasoro algebra, the Bershadsky-Polyakov algebra, the Neveu-Schwarz algebra, the Bershadsky-Knizhnik algebras, the N=2 superconformal algebra, the N=4 superconformal algebra, the N=3 superconformal algebra and the big N=4 superconformal algebra. We prove the conjecture of V. G. Kac, S.-S. Roan and M. Wakimoto for $W_k(g,f_θ)$. In fact, we show that any irreducible highest weight character of $W_k(g,f_θ)$ at any level $k\in C$ is determined by the corresponding irreducible highest weight character of the Kac-Moody affinization of $g$.

연구 동기 및 목표

• 초등이차 대수 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$에 대한 Kac-Roan-Wakimoto 추측을 증명한다. 여기서 $f_\theta$는 단순 리 초대수 ${\mathfrak{g}}$의 최저 루트에 대응하는 루트 벡터이다.
• ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$의 기저가장고 표현과 $\widehat{{\mathfrak{g}}}$의 표현 사이에 정확한 대응 관계를 수립한다.
• BRST 코호몰로지 $H^\bullet(L(\lambda))$가 기저가장고 또는 0임을 보이며, 임의의 기저가장고 ${\mathcal{W}}$-모듈의 특성이 어떤 $\lambda$에 대해 $H^0(L(\lambda))$로부터 유도됨을 보여준다.

제안 방법

• 양자 BRST 축소를 활용하여, $\mathrm{Obj}\,{\mathcal{O}}_k$ 내의 $\widehat{{\mathfrak{g}}}$-모듈 $V$에서 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$-모듈로 가는 함자 $V \mapsto H^i(V)$를 구성한다.
• 스펙트럴 시퀀스 기법을 적용하여 BRST 코호몰로지를 분석하며, 특히 분해식 $E_1^{\bullet,q} \cong H^0(G^{-1}C_{-}(\lambda)^*) \otimes H^q(C_{-}(\lambda)^*_{\xi_\lambda}, d^{\mathrm{st}})$를 활용한다.
• 스펙트럴 시퀀스가 $E_1$에서 붕괴하고 고차 코호몰로지가 0이 됨을 보여, $H^i(V) = 0$ for $i \neq 0$임을 증명한다.
• 등식 $E_\infty \cong H^0(G^{-1}C_{-}(\lambda)^*) \otimes (E_\infty)_{\xi_\lambda}$를 이용하여 $L(\lambda)$의 코호몰로지와 $M(\lambda)^*$의 코호몰로지 사이의 관계를 규명한다.
• 어드미시블 웨이트 이론과 조건 $\langle \lambda, \alpha_0^\vee \rangle \notin \{0,1,2,\dots\}$을 적용하여 $H^0(L(\lambda))$의 기저가장고 성격을 분류한다.
• Cartan 부분대수를 확장하고, $K$와 $\mathbf{D}$를 포함하도록 $\widetilde{{\mathfrak{g}}}$를 재정의하여 $A(1,1)$의 경우에 이 틀을 적응시킨다.

실험 결과

연구 질문

• RQ1 어드미시블 웨이트 $\lambda$에 대해 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$의 BRST 코호몰로지 $H^\bullet(L(\lambda))$가 기저가장고 또는 0 모듈을 생성하는가?
• RQ2 임의의 기저가장고 표현의 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$ 특성은 해당 $\widehat{{\mathfrak{g}}}$-모듈 $L(\lambda)$의 특성으로만 결정될 수 있는가?
• RQ3 모든 $V \in \mathrm{Obj}\,{\mathcal{O}}_k$에 대해 $H^i(V)$가 $i \neq 0$일 때 0이 되는가?
• RQ4 $\lambda$에 어떤 조건이 성립할 경우 $H^0(L(\lambda))$가 기저가장고 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$-모듈과 동형이 되는가?
• RQ5 BRST 복합체의 스펙트럴 시퀀스 분석이 고차 코호몰로지의 붕괴와 $H^0(L(\lambda))$가 기저가장고 모듈로 식별되는 데 어떻게 기여하는가?

주요 결과

• 모든 $k \in \mathbb{C}$에 대해 BRST 코호몰로지 $H^i(V)$는 모든 $i \neq 0$ 및 모든 $V \in \mathrm{Obj}\,{\mathcal{O}}_k$에 대해 0이 되며, 이는 함자 $V \mapsto H^0(V)$가 정확하다는 것을 의미한다.
• $\widehat{{\mathfrak{g}}}$의 기저가장고 모듈 $L(\lambda)$는 $\langle \lambda, \alpha_0^\vee \rangle \in \{0,1,2,\dots\}$이면 $H^0(L(\lambda)) = 0$이며, 그렇지 않으면 기저가장고 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$-모듈과 동형이 된다.
• ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$의 모든 기저가장고 표현의 특성은 해당 $\widehat{{\mathfrak{g}}}$-모듈 $L(\lambda)$의 특성에 의해 결정되며, 대응 $H^0(L(\lambda)) \mapsto \mathrm{ch}(L(\lambda))$에 의해 유도된다.
• BRST 복합체의 스펙트럴 시퀀스는 $E_1$에서 붕괴하여 $E_\infty \cong H^0(G^{-1}C_{-}(\lambda)^*) \otimes (E_\infty)_{\xi_\lambda}$를 이룬다. 이는 코호몰로지를 제로 코호몰로지와 안정 코호몰로지의 텐서곱으로 식별한다.
• 결과적으로 Kac-Roan-Wakimoto 추측이 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$에 대해 확인되었으며, 이는 이전의 최소 시리즈 및 어드미시블 표현 결과를 확장한다.
• $\widetilde{{\mathfrak{g}}}$를 $\mathrm{Cartan}$ 부분대수 $\widehat{{\mathfrak{h}}} = {{\mathfrak{h}}} \oplus \mathbb{C}K \oplus \mathbb{C}\mathbf{D}$를 갖는 리 초대수로 정의함으로써 이 틀이 $A(1,1)$의 경우로 확장되었으며, 이는 코호몰로지적 구조가 일관되게 유지됨을 보장한다.