[论文解读] Representation Theory of Superconformal Algebras and the Kac-Roan-Wakimoto Conjecture

Tomoyuki Arakawa|arXiv (Cornell University)|May 6, 2004

Algebraic structures and combinatorial models参考文献 10被引用 4

一句话总结

本文證明了超共形代數 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$ 的 Kac-Roan-Wakimoto 猜想，顯示這些 ${\mathcal{W}}$-代數在任意複數層次 $k\in\mathbb{C}$ 下的不可約最高權特徵，完全由其對應的 $\widehat{{\mathfrak{g}}}$-模不可約最高權模的特徵透過量子 BRST 降低來決定。關鍵結果表明，BRST 上同調 $H^i(V)$ 在 $i\neq0$ 時消失，且當 $\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))$ 為不可約或零，且任一不可約 ${\mathcal{W}}$-模的特徵皆來自某個 $\lambda$ 的 $H^0(L(\lambda))$。

提出的方法

• 利用量子 BRST 降低構造函子 $V \mapsto H^i(V)$，將 $\widehat{{\mathfrak{g}}}$-模的範疇 ${\mathcal{O}}_k$ 映射至 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$-模。
• 應用譜序列技術分析 BRST 上同調，特別是利用分解式 $E_1^{\bullet,q} \cong H^0(G^{-1}C_{-}(\lambda)^*) \otimes H^q(C_{-}(\lambda)^*_{\xi_\lambda}, d^{\mathrm{st}})$。
• 透過證明譜序列在 $E_1$ 段收斂且高階上同調消失，證實 $H^i(V) = 0$ 對所有 $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 子代數並重新定義仿射李超代數 $\widetilde{{\mathfrak{g}}}$ 以包含 $K$ 和 $\mathbf{D}$，將此框架適用于 $A(1,1)$ 情形。

实验结果

研究问题

• RQ1 在 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$ 的背景下，對於可適權 $\lambda$，BRST 上同調 $H^\bullet(L(\lambda))$ 是否產生不可約或零模？
• RQ2 任一不可約最高權表示的特徵是否僅由對應的 $\widehat{{\mathfrak{g}}}$-模 $L(\lambda)$ 的特徵決定？
• RQ3 對於所有 $V \in \mathrm{Obj}\,{\mathcal{O}}_k$，BRST 上同調 $H^i(V)$ 是否在 $i \neq 0$ 時消失？
• RQ4 在何種 $\lambda$ 條件下，$H^0(L(\lambda))$ 同構於不可約 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$-模？
• RQ5 BRST 複形的譜序列分析如何導致高階上同調收斂，並識別出 $H^0(L(\lambda))$ 為不可約模？

主要发现

• 對於任意 $k \in \mathbb{C}$，所有 $i \neq 0$ 時 BRST 上同調 $H^i(V)$ 消失，且對所有 $V \in \mathrm{Obj}\,{\mathcal{O}}_k$ 成立，表示函子 $V \mapsto H^0(V)$ 是正合的。
• 不可約 $\widehat{{\mathfrak{g}}}$-模 $L(\lambda)$ 滿足 $H^0(L(\lambda)) = 0$ 當且僅當 $\langle \lambda, \alpha_0^\vee \rangle \in \{0,1,2,\dots\}$，否則同構於不可約 ${\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}$，此式將上同調識別為零階上同調與穩定上同調的張量積。
• 此結果確認了 ${\mathcal{W}}_k({\mathfrak{g}},f_\theta)$ 的 Kac-Roan-Wakimoto 猜想，並擴展了先前關於極小系列與可適表示的研究。
• 透過定義 $\widetilde{{\mathfrak{g}}}$ 為具有 Cartan 子代數 $\widehat{{\mathfrak{h}}} = {{\mathfrak{h}}} \oplus \mathbb{C}K \oplus \mathbb{C}\mathbf{D}$ 的李超代數，將此框架延伸至 $A(1,1)$ 情形，確保上同調結構的一致性。