[论文解读] Massey products in graded Lie algebra cohomology

Dmitri V. Millionschikov|ArXiv.org|Aug 15, 2006

Advanced Topics in Algebra参考文献 11被引用 7

一句话总结

本文研究了 ${\mathbb{N}}$-分次李代数上 n 重 Massey 乘积的结构，重点关注韦特定代数的正部 $L_1$ 及其相应的分次李代数 $\mathfrak{m}_0$。证明了 $H^*(\mathfrak{m}_0)$ 由 $H^1(\mathfrak{m}_0)$ 中的非平凡 Massey 乘积生成，为 Buchstaber 对 $L_1$ 的猜想提供了有力证据，并将 Massey 乘积与表示理论及形式联络联系起来。

ABSTRACT

We discuss Massey products in a N-graded Lie algebra cohomology. One of the main examples is the positive part L_1 of the Witt algebra $W$. We consider an associated graded algebra m_0 of L_1 with respect to the descending central series and prove that H*(m_0) is generated with respect to non-trivial Massey products by one cohomology H^1(m_0).

研究动机与目标

• 研究 ${\mathbb{N}}$-分次李代数上 Massey 乘积的结构，特别是 $L_1$ 及其相应的分次代数 $\mathfrak{m}_0$。
• 验证 Buchstaber 的猜想，即 $H^*(L_1)$ 由 $H^1(L_1)$ 中的非平凡 Massey 乘积生成，当前工作将 $\mathfrak{m}_0$ 的结果作为关键步骤予以确立。
• 将 Massey 乘积与形式联络及 Maurer-Cartan 方程联系起来，特别是在 1-上同调类的背景下。
• 对 1-上同调类的平凡 Massey 乘积的等价类进行分类，并将其与 Benoist 对 $\mathfrak{m}_0$ 上不可约线性模的分类相联系。

提出的方法

• 使用 May 的框架来定义上同调中的 Massey 乘积，特别是涉及闭形式的 $n$ 重乘积。
• 应用形式联络及其相关矩阵的概念，以构造 Massey 乘积的定义系统。
• 利用 Maurer-Cartan 方程分析上同调复形的微分结构，并验证闭胞状的条件。
• 利用下降中心列滤子来定义相应的分次李代数 $\mathfrak{m}_0 = \mathrm{gr}_C L_1$，从而通过更简单的滤子结构研究上同调。
• 通过构造显式矩阵 $A$ 来编码定义系统，并利用涉及 $D_1$ 和 $D_{-1}$ 算子的递推微分关系计算相关的胞状 $c(A)$。
• 依赖代数恒等式，如 $d(D_{-1}^k \omega) = e^1 \wedge D_{-1}^{k-1}\omega$，以验证胞状条件并计算上同调代表。

实验结果

研究问题

• RQ1 上同调代数 $H^*(\mathfrak{m}_0)$ 是否由 $H^1(\mathfrak{m}_0)$ 中的非平凡 Massey 乘积生成？
• RQ2 1-上同调类的 Massey 乘积如何与 $\mathfrak{m}_0$ 的表示理论相关联？
• RQ3 1-上同调类的平凡 Massey 乘积的等价类能否被分类？它们与已知模分类有何关系？
• RQ4 形式联络及其矩阵表示在构造和分析 Massey 乘积中起什么作用？
• RQ5 $L_1$ 的相应分次代数 $\mathfrak{m}_0$ 如何反映原始无限维李代数 $L_1$ 的上同调结构？

主要发现

• 上同调代数 $H^*(\mathfrak{m}_0)$ 由 $H^1(\mathfrak{m}_0)$ 中的非平凡 Massey 乘积生成，如定理 5.7 所示。
• 该证明依赖于通过矩阵 $A$ 构造显式定义系统，并表明相关胞状 $c(A)$ 生成了所有上同调类，包括形如 $\omega(e^{i_1} \wedge \cdots \wedge e^{i_q} \wedge e^{i_{q+1}})$ 的类。
• 对于定义系统 $A$，相关胞状 $c(A)$ 被证明等于 $(-1)^{i_1} \sum_{k \geq 0} (-1)^k D_1^k e^{i_1} \wedge D_{-1}^k \omega$，从而确认了 Massey 乘积的结构。
• 引理 5.10 表明，任意一个 Massey 乘积 $\langle e^2, e^1, \dots, e^1, \omega(e^{i_2} \wedge \cdots \wedge e^{i_{q+1}}) \rangle$ 的定义系统所产生的胞状都包含项 $(-1)^{i_1} \omega(e^{i_1} \wedge \cdots \wedge e^{i_{q+1}})$，从而证明了其非平凡性。
• 1-上同调类的平凡 Massey 乘积的等价类已被分类，并与 Benoist 对 $\mathfrak{m}_0$ 上不可约有限维线性模的分类相联系，如定理 5.5 所示。
• 本文通过相同方法确认了 Massey 乘积 $\langle e^2, e^1, \dots, e^1, e^2 \rangle$ 的非平凡性，将结果推广至更广泛的乘积类。