[论文解读] Derivations and automorphism groups of the original deformative Schrödinger-Virasoro algebras

Qifen Jiang, Song Wang|arXiv (Cornell University)|Sep 14, 2012

Algebraic structures and combinatorial models参考文献 17被引用 3

一句话总结

本文确定了原始变形的Schrödinger-Virasoro代数的导代数和自同构群，该代数是Witt代数与张量密度模的半直积。通过使用分次李代数技巧和上同调分析，本文将自同构群分类为包含无限维阿贝尔群和有限对称性的半直积，其结构因参数 $ a $ 是否为整数而异。

ABSTRACT

In this paper, we determine the derivation algebra and the automorphism group of the original deformative ${ m Schr\ddot{o}dinger}$-{ m Virasoro} algebras which is the semi-direct product Lie algebra of the Witt algebra and its tensor density module ${ m I^g}(a,b)$.

研究动机与目标

• 确定原始变形Schrödinger-Virasoro代数 $\mathbf{W}^g(a,b)$ 的完整导代数，该代数是Witt代数与张量密度模的半直积。
• 对 $\mathbf{W}^g(a,b)$ 的自同构群进行分类，识别其结构成分和对称性。
• 通过其 $\frac{1}{2}\mathbb{Z}$-分次结构分析 $\mathbf{W}^g(a,b)$ 的代数结构，并推导出其完备性和中心等性质。
• 建立参数 $a$ 经偶数平移下的同构不变性，从而简化分类。
• 通过求解由李代数括号关系导出的递推关系，明确自同构群的结构。

提出的方法

• 利用 $\frac{1}{2}\mathbb{Z}$-分次结构将导数和自同构分解为齐次分量。
• 应用上同调技术，特别是分次分量的 $H^1$-群，以分析导数并消除非平凡外导数。
• 利用由李括号关系 (1.1)–(1.6) 导出的递推关系，确定自同构在基元素上的作用。
• 通过求解参数 $\lambda_{\epsilon m-1}, \mu_{\epsilon m-1}$ 的多项式方程组，对可能的自同构进行分类。
• 根据参数 $a$（整数与非整数）和 $b$ 的取值区分不同情况，导致自同构群结构不同。
• 使用计算机辅助计算求解 $\lambda_{\epsilon m-1}$ 的高阶归纳步骤中的递推关系。

实验结果

研究问题

• RQ1 原始变形Schrödinger-Virasoro代数 $\mathbf{W}^g(a,b)$ 的导代数结构是什么？
• RQ2 自同构群 $\mathbf{W}^g(a,b)$ 如何依赖于参数 $a$ 和 $b$？
• RQ3 $\frac{1}{2}\mathbb{Z}$-分次在导数和自同构分类中起什么作用？
• RQ4 是否存在非平凡的外导数？它们如何依赖于 $a$ 和 $b$？
• RQ5 当 $a \in \mathbb{Z}$ 与 $a \notin \mathbb{Z}$ 时，自同构群有何不同？

主要发现

• 当 $a \notin \mathbb{Z}$ 时，$\mathbf{W}^g(a,b)$ 的导代数是平凡的；当 $a \in \mathbb{Z}$ 时，其导代数非平凡，且其结构依赖于 $b$。
• 当 $a \notin \mathbb{Z}$ 时，$\mathbf{W}^g(a,b)$ 的自同构群同构于 $(\mathbb{C}^\infty \rtimes \mathbb{C}^\infty) \rtimes (\mathbb{C}^* \times \mathbb{C}^*)$，其中 $\mathbb{C}^\infty$ 表示几乎为零的序列空间。
• 当 $a \in \mathbb{Z}$ 时，自同构群同构于 $(\mathbb{C}^\infty \rtimes \mathbb{C}^\infty) \rtimes (\mathbb{Z}_2 \ltimes (\mathbb{C}^* \times \mathbb{C}^*))$，表明存在额外的 $\mathbb{Z}_2$ 对称性。
• 当 $b = 5$ 时，自同构群结构由关系 $\mu_{\epsilon m-1} = m \mu_{\epsilon-1}$ 和 $\lambda_{\epsilon m-1} = m \lambda_{\epsilon-1}$ 完全确定，其群结构与非整数 $a$ 情况相同。
• 当 $b = 3$ 时，出现两个不同的解分支：一个满足 $\mu_{\epsilon m-1} = m \mu_{\epsilon-1}$，另一个满足 $\mu_{\epsilon m-1} = m^2 \mu_{\epsilon-1}$，但两者由于对称性约束，均导致相同的自同构群结构。
• $\mathbf{W}^g(a,b)$ 的中心为 $\mathbb{C}I_0$ 当且仅当 $a = b = 0$，否则为平凡，这一性质影响了自同构群的结构。