[论文解读] Structure of the extended Schrodinger-Virasoro Lie algebra

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

Advanced Topics in Algebra参考文献 16被引用 20

一句话总结

本文全面刻画了扩展的 Schrödinger-Virasoro 李代数 $\widetilde{\mathfrak{sv}}$，证明其为完备代数（无中心且所有导子均为内导子），确定了其普遍中心扩张，并表明 $\widetilde{\mathfrak{sv}}$ 的自同构群同构于其普遍中心扩张的自同构群。关键结果为 $\mathrm{Aut}(\widetilde{\mathfrak{sv}}) \cong \mathrm{Aut}(\widehat{\mathfrak{sv}})$，通过李代数上同调与分次结构分析，明确给出了自同构与中心扩张的生成元和关系。

ABSTRACT

In this paper, we study the derivations, the central extensions and the automorphism group of the extended Schrodinger-Virasoro Lie algebra, introduced by J. Unterberger in the context of two-dimensional conformal field theory and statistical physics. Moreover, we show that the extended Schrodinger-Virasoro Lie algebra is an infinite-dimensional complete Lie algebra and the universal central extension of the extended Schrodinger-Virasoro Lie algebra in the category of Leibniz algebras is the same as that in the category of Lie algebras.

研究动机与目标

• 确定扩展的 Schrödinger-Virasoro 李代数 $\widetilde{\mathfrak{sv}}$ 的导子、中心扩张与自同构的完整结构。
• 通过证明其中心平凡且所有导子均为内导子，证明 $\widetilde{\mathfrak{sv}}$ 是完备李代数。
• 计算 $\widetilde{\mathfrak{sv}}$ 的普遍中心扩张，并确定其生成元与关系。
• 证明 $\widetilde{\mathfrak{sv}}$ 在 Leibniz 代数范畴中的普遍中心扩张与在李代数范畴中的一致。
• 显式描述 $\widetilde{\mathfrak{sv}}$ 及其普遍中心扩张 $\widehat{\mathfrak{sv}}$ 的自同构群，并证明二者同构。

提出的方法

• 利用 $\frac{1}{2}\mathbb{Z}$-分次分析李代数结构并分类齐次分量。
• 应用李代数上同调技术计算 $\mathrm{H}^1(\widetilde{\mathfrak{sv}}, \widetilde{\mathfrak{sv}})$，并证明所有导子均为内导子。
• 通过外代数 $\Lambda^2(\widetilde{\mathfrak{sv}})/J$ 构造普遍中心扩张 $\widehat{\mathfrak{sv}}$，并识别中心生成元 $C_L$、$C_{LN}$、$C_N$。
• 利用换位子恒等式与对称性约束，推导普遍中心扩张中的显式关系。
• 使用自同构提升技术：$\widetilde{\mathfrak{sv}}$ 的任意自同构诱导 $\widehat{\mathfrak{sv}}$ 上的自同构，反之亦然。
• 通过参数 $\epsilon \in \{\pm 1\}$、$\lambda \in \mathbb{Z}$、$a,d \in \mathbb{C}^*$ 推导自同构的一般形式，并验证其在李括号下封闭。

实验结果

研究问题

• RQ1 扩展的 Schrödinger-Virasoro 代数 $\widetilde{\mathfrak{sv}}$ 是否完备，即其中心是否平凡且所有导子是否均为内导子？
• RQ2 如何确定 $\widetilde{\mathfrak{sv}}$ 的普遍中心扩张？其与扭 Heisenberg-Virasoro 代数有何关系？
• RQ3 若 $\widetilde{\mathfrak{sv}}$ 上不存在非零的对称不变双线性型，是否意味着其在 Leibniz 代数范畴中的普遍中心扩张与在李代数范畴中的一致？
• RQ4 如何显式描述 $\widetilde{\mathfrak{sv}}$ 的自同构群结构？
• RQ5 是否 $\widetilde{\mathfrak{sv}}$ 与其普遍中心扩张 $\widehat{\mathfrak{sv}}$ 的自同构群同构？

主要发现

• 扩展的 Schrödinger-Virasoro 代数 $\widetilde{\mathfrak{sv}}$ 是完备的：其中心平凡，所有导子均为内导子，因此 $\mathrm{H}^1(\widetilde{\mathfrak{sv}}, \widetilde{\mathfrak{sv}}) = 0$。
• 普遍中心扩张 $\widehat{\mathfrak{sv}}$ 的基包含生成元 $L'_n$、$M'_n$、$N'_n$、$Y'_{n+1/2}$ 与中心元素 $C_L$、$C_{LN}$、$C_N$，并具有显式的换位子关系与中心扩张。
• 中心扩张被显式计算：$C_L = 2L_2 \vee L_{-2}$，$C_{LN} = \frac{1}{2}(L_1 \vee N_{-1} + L_{-1} \vee N_1)$，$C_N = N_{-1} \vee N_1$，其来源于 $\widetilde{\mathfrak{sv}}$ 的李代数上同调。
• 在 $\widetilde{\mathfrak{sv}}$ 上不存在非零的对称不变双线性型，这意味着其在 Leibniz 代数范畴中的普遍中心扩张与在李代数范畴中的一致。
• $\widetilde{\mathfrak{sv}}$ 的自同构群同构于其普遍中心扩张 $\widehat{\mathfrak{sv}}$ 的自同构群，即 $\mathrm{Aut}(\widetilde{\mathfrak{sv}}) \cong \mathrm{Aut}(\widehat{\mathfrak{sv}})$，自同构由参数 $\epsilon \in \{\pm 1\}$、$\lambda \in \mathbb{Z}$、$a,d \in \mathbb{C}^*$ 参数化。
• 自同构在生成元上的作用为 $\tilde{\theta}(L'_n) = a^n \epsilon L'_{\epsilon n} + a^n \lambda N'_{\epsilon n} - \lambda \delta_{n,0} C_{LN} + \frac{\epsilon}{2}\lambda^2 \delta_{n,0} C_N$，并对其他生成元类似定义，保持完整的李代数结构。