[论文解读] The derivations, central extensions and automorphism group of the Lie algebra $W$

Shoulan Gao, Cuipo Jiang+1 more|ArXiv.org|Jan 25, 2008

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

一句话总结

本文研究了无限维李代数 $W$ 的导子、中心扩张及自同构群，其中 $W$ 定义为威特定代数与其伴随模的半直积。利用上同调技巧和霍奇施尔德-塞尔谱序列，作者确定 $H^2(W, \mathbb{C})$ 为二维，推导出包含一个外导子的完整导子代数，并完全刻画了 $\mathrm{Aut}(W)$ 为 $\mathbb{C}^\infty \rtimes (\mathbb{Z}_2 \ltimes (\mathbb{C}^* \times \mathbb{C}^*))$，且其通用中心扩张 $\widetilde{W}$ 具有相同的自同构群。

ABSTRACT

In this paper, we study the derivations, central extensions and the automorphisms of the infinite-dimensional Lie algebra W which appeared in [8] and Dong-Zhang's recent work [22] on the classification of some simple vertex operator algebras.

研究动机与目标

• 确定李代数 $W$ 的第二上同调群 $H^2(W, \mathbb{C})$，其对中心扩张进行分类。
• 计算 $W$ 与 $\widetilde{W}$ 的完整导子代数，识别外导子的数量。
• 完全刻画自同构群 $\mathrm{Aut}(W)$，并证明其同构于 $\mathrm{Aut}(\widetilde{W})$。
• 建立从通用覆盖代数 $\widetilde{W}$ 到顶点算子代数理论中研究的代数 $W(2,2)$ 的自然满同态。

提出的方法

• 利用霍奇施尔德-塞尔谱序列，通过半直积结构 $W \cong \mathcal{L} \ltimes \mathcal{I}$ 计算 $H^2(W, \mathbb{C})$。
• 应用 R. Farnsteiner 关于带模扩张的李代数导子的定理。
• 通过参数 $\epsilon = \pm 1$，$\lambda \in \mathbb{C}$，$a \in \mathbb{C}^*$ 和 $\mu \in \mathbb{C}^*$ 构造 $W$ 的自同构，从而导出半直积分解。
• 通过 $\mathrm{ad}(I_k)$-导子上的指数映射，识别子群 $\mathfrak{Z}\mathfrak{t} \subset \mathrm{Aut}(W)$ 同构于 $\mathbb{C}^\infty$。
• 利用 $W$ 无中心的性质，根据文献 [18] 中的推论 6 推出 $\mathrm{Aut}(\widetilde{W}) \cong \mathrm{Aut}(W)$。
• 通过显式计算自同构的复合与共轭关系，验证群关系与半直积结构。

实验结果

研究问题

• RQ1 李代数 $W$ 的第二上同调群 $H^2(W, \mathbb{C})$ 的维数是多少？
• RQ2 导子代数的外导子有多少个？其完整结构如何？
• RQ3 自同构群 $\mathrm{Aut}(W)$ 的完整结构是什么？它与通用中心扩张 $\widetilde{W}$ 的自同构群有何关系？
• RQ4 是否存在从 $\widetilde{W}$ 到代数 $W(2,2)$ 的自然同态？其像为何？

主要发现

• $H^2(W, \mathbb{C})$ 为二维，表明 $W$ 允许一个两参数族的非等价中心扩张。
• 导子代数拥有且仅有一个外导子，$\widetilde{W}$ 同样如此，该结论通过霍奇施尔德-塞尔谱序列与 Farnsteiner 定理确定。
• $\mathrm{Aut}(W)$ 同构于 $\mathbb{C}^\infty \rtimes (\mathbb{Z}_2 \ltimes (\mathbb{C}^* \times \mathbb{C}^*))$，其中 $\mathbb{C}^\infty$ 对应于子群 $\mathfrak{Z}\mathfrak{t}$。
• 通用中心扩张 $\widetilde{W}$ 的自同构群同构于 $\mathrm{Aut}(W)$，原因在于 $W$ 无中心。
• 自同构群由三个子群生成：$\mathfrak{a} \cong \mathbb{Z}_2$（符号翻转），$\mathfrak{t} \cong \mathbb{C}$（平移），以及 $\mathfrak{b} \cong \mathbb{C}^* \times \mathbb{C}^*$（缩放与扭变）。
• 存在一个从 $\widetilde{W}$ 到 $W(2,2)$ 的自然满同态，将 $W$ 的结构与顶点算子代数的分类联系起来。