[论文解读] Cohomology of Heisenberg-Virasoro conformal algebra

Lamei Yuan, Henan Wu|arXiv (Cornell University)|Jan 26, 2016

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

一句话总结

本文计算了在平凡模和特定共形模系数下，海森堡-维拉斯罗共形代数的上同调。通过使用约化复形和显式上边界算子，确定了低维上同调群，表明 $ H^3(\text{HV}, \mathbb{C}) $ 是5维的，$ H^4(\text{HV}, \mathbb{C}) $ 是2维的，而当 $ q \geq 0 $ 且 $ \beta \neq 0 $ 时，$ H^q(\text{HV}, M_{\triangle,\beta}) = 0 $。

ABSTRACT

In this paper, we compute the cohomology of the Heisenberg-Virasoro conformal algebra with coefficients in its modules, and in particular with trivial coefficients both for the basic and reduced complexes.

研究动机与目标

• 计算海森堡-维拉斯罗共形代数 $\mathcal{HV}$ 在平凡模和共形模系数下的上同调。
• 确定低维上同调群 $ H^q(\mathcal{HV}, \mathbb{C}) $ 和 $ H^q(\mathcal{HV}, M_{\triangle,\alpha,\beta}) $ 的结构。
• 建立当参数 $ \alpha \neq 0 $ 时，非平凡模上同调的消去结果。
• 应用约化复形和上边界算子以简化上同调计算。
• 将已知的维拉索罗代数与电流代数上同调结果推广至更复杂的海森堡-维拉斯罗情形。

提出的方法

• 利用文献 [2] 中提出的李共形代数在共形模系数下的上同调理论的一般方法。
• 应用约化复形构造以简化上同调群的计算。
• 引入算子 $ \tau_1, \tau_2, \tau_3 $ 以关联上边界映射，并将余链模去 $ \partial $-精确项。
• 利用雅可比恒等式和共形双线性性推导余链的递推关系。
• 利用恒等式 $ \partial \tilde{C}^q(\mathcal{HV}, V) = (\partial + \sum \lambda_i) \tilde{C}^q(\mathcal{HV}, V) $ 分析上边界等价性。
• 通过在 $ \lambda $-变量上对称多项式的求值，显式计算上同调类的代表元。

实验结果

研究问题

• RQ1 海森堡-维拉斯罗共形代数的低维上同调群 $ H^q(\mathcal{HV}, \mathbb{C}) $ 的结构是什么？
• RQ2 海森堡-维拉斯罗代数在平凡模 $ \mathbb{C} $ 和模 $ \mathbb{C}_a $ 系数下的上同调行为如何？
• RQ3 海森堡-维拉斯罗代数在秩一共形模 $ M_{\triangle,\alpha,\beta} $ 系数下的上同调是什么，特别是当 $ \alpha \neq 0 $ 时？
• RQ4 约化复形方法是否能有效计算非半单共形代数（如 $ \mathcal{HV} $）的上同调？
• RQ5 在平凡系数下，海森堡-维拉斯罗代数在度数3和4是否存在非平凡的上同调类？

主要发现

• 第三上同调群 $ H^3(\mathcal{HV}, \mathbb{C}) $ 是5维的，由五个显式上同调类 $ \phi_1, \phi_2, \phi_3, \bar{\psi}_1, \bar{\psi}_2 $ 张成。
• 第四上同调群 $ H^4(\mathcal{HV}, \mathbb{C}) $ 是2维的，由 $ \psi_1 $ 和 $ \psi_2 $ 生成。
• 对于 $ a \neq 0 $ 的模 $ \mathbb{C}_a $，通过算子 $ \tau_2 $ 证明所有 $ q \geq 0 $ 的上同调 $ H^q(\mathcal{HV}, \mathbb{C}_a) $ 均为零。
• 对于 $ \alpha \neq 0 $ 的模 $ M_{\triangle,\alpha,\beta} $，所有 $ q \geq 0 $ 的上同调 $ H^q(\mathcal{HV}, M_{\triangle,\alpha,\beta}) $ 恒为零，这是由于 $ \alpha \neq 0 $ 的条件。
• 上同调计算依赖于约化复形以及 $ \tau $-算子的使用，以证明余闭链在模去 $ \partial $-精确项后同调于零。
• 结果将已知的维拉索罗代数与电流代数上同调计算推广至海森堡-维拉斯罗共形代数，该代数既非单代数也非半单代数。