[论文解读] On Representations of Toroidal Lie Algebras

S. Eswara Rao|ArXiv.org|Mar 28, 2005

Algebraic structures and combinatorial models参考文献 34被引用 9

一句话总结

本文對環面李代數的表示理論提供了全面的闡述，專注於具有有限維權空間的不可約可積模。研究證明，此類模是仿射李代數的評價模的張量積，其特徵標為仿射特徵標的乘積，並透過環面代數與洛朗多項式環導子代數的半直積，引入了一種推廣的類似維拉索羅代數結構。

ABSTRACT

This is an expository article on representation theory of toroidal Lie algebras. We summerize all the results on representation theory of toroidal Lie algebras obtained in the last fifteen years. Apart from that a natural genaralization of Virasoro Lie algebra is introduced and the related results are stated. A genaralization of the semi direct product of affine Lie algebra and Virasoro Lie algebra is introduced which we call the full toroidal Lie algebra. The connection to the theory of Extended Affine Lie Algebras is explained.

研究动机与目标

• 提供近期關於具有有限維權空間的環面李代數表示理論結果的統一闡述。
• 釐清當 $ n \geq 2 $ 時，環面李代數的普遍中心擴張的結構，其為無限維。
• 研究導子代數 $ \text{Der}A $ 在擴張環面李代數中的角色，及其與頂點算子構造的互動。
• 解決擴張代數 $ \widehat{\tau} $ 的顯式模構造問題，特別是在 $ \mathcal{G} $-作用非平凡時的情境。
• 探討環面李代數與擴張仿射李代數（EALA）之間的關聯，並提出在更廣泛的 EALA 框架下分類可積模的計畫。

提出的方法

• 定義環面李代數 $ \tau = \mathcal{G} \otimes A \oplus \Omega_A / d_A $，其中 $ A = \mathbb{C}[t_1^{\pm1}, \dots, t_n^{\pm1}] $，利用 $ \mathcal{G} \otimes A $ 的普遍中心擴張。
• 使用頂點算子代數與 Fock 空間構造來實現環面李代數，推廣仿射李代數的 Sugawara 構造。
• 引入半直積 $ \widehat{\tau} = \tau \rtimes \text{Der}A $，其中 $ \text{Der}A $ 透過導子算子 $ D(u,r) $ 作用，並定義其在張量積模上的作用。
• 應用 Weyl–Kac 特徵標公式，並分析不可約模上零次數中心算子之比的有理性。
• 構造不可約可積模為 $ W \otimes V(\psi,b) \otimes A $，其中 $ W $ 為非平凡的 $ \mathcal{G} $-模，$ V(\psi,b) $ 為最高權模。
• 確立中心作用非純量，且僅特定中心商環允許具有有限維權空間的不可約模。

实验结果

研究问题

• RQ1 具有有限維權空間的環面李代數的不可約可積模具有何種結構？
• RQ2 環面代數的無限維中心如何影響此類模的存在性與分類？
• RQ3 導子代數 $ \text{Der}A $ 是否能以保持可積性與權空間有限維性的方法一致地作用於環面代數？
• RQ4 頂點算子代數在實現擴張代數 $ \widehat{\tau} $ 時扮演何種角色？此構造如何推廣 Sugawara 構造？
• RQ5 在更廣泛的擴張仿射李代數（EALA）類別中，可積模的分類可在多大程度上被推廣？

主要发现

• 具有有限維權空間的環面李代數的不可約可積模，同構於仿射李代數評價模的張量積。
• 此類模的特徵標為仿射特徵標的乘積，表示在此設定下表示理論並未比仿射情形更為豐富。
• 任何具有有限維權空間的不可約模上，零次數中心算子之比為有理數，此為關鍵的結構約束。
• 當 $ n \geq 2 $ 時，環面代數的普遍中心擴張為無限維，與仿射情形中的一維中心形成對比。
• 半直積 $ \widehat{\tau} = \tau \rtimes \text{Der}A $，其中 $ \text{Der}A $ 透過 $ D(u,r) $ 作用，形成自然的擴張；且對於 $ \widehat{\tau} $，中心為平凡且 $ \mathcal{G} $-作用非平凡的不可約可積模，其形式為 $ W \otimes V(\psi,b) \otimes A $。
• 導子代數 $ \text{Der}A $ 無非平凡中心擴張，但其生成的阿貝爾擴張與環面代數的中心一致，從而形成一致的半直積結構。