[论文解读] A Class of Strongly Homotopy Lie Algebras with Simplified sh-Lie Structures

Samer Al-Ashhab|ArXiv.org|Aug 17, 2003

Advanced Topics in Algebra参考文献 4被引用 4

一句话总结

本文构建了一类强同伦李（sh-Lie）代数，其中高阶结构映射（$n > 3$ 时的 $l_n$）消失，且 $l_2$ 与 $l_3$ 仅在度数 0 处非平凡。通过利用链同伦等价性以及 $l_2 l_1$ 的边界条件，作者表明 sh-Lie 结构显著简化：仅在度数 0 处 $l_2$ 与 $l_3$ 非零，所有更高阶映射均消失，即使 $l_2(c,b)$ 不为零——在更弱的假设下推广了先前的结果。

ABSTRACT

It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie algebra is nontrivial (it is not a Lie algebra); however we show that one can obtain an sh-Lie algebra where the only nonzero mappings defining it are the lower order mappings. This structure applies to a significant class of examples. Moreover in this case the graded space can be replaced by another graded space, with only three nonzero terms, on which the same sh-Lie structure exists.

研究动机与目标

• 构建一类具有简化高阶结构映射的 sh-Lie 代数。
• 在最小假设下，证明 $l_n \equiv 0$ 对于 $n > 3$，且在度数 $> 0$ 时 $l_2 = l_3 = 0$。
• 通过将条件 $l_2(c,b) = 0$ 放宽为仅要求 $l_2(c,b)$ 是边界，推广先前的结果。
• 证明此类 sh-Lie 结构可存在于仅含三个非零项的极小分次空间上。
• 在几何背景中提供显式构造，包括辛流形与上同调复形。

提出的方法

• 通过 $l_2 = -s \circ l_2 l_1$ 递归定义 $l_2$，其中 $s$ 为满足在度数 0 处 $\lambda \circ \eta - \text{id} = l_1 \circ s$，在更高度数处 $-\text{id} = l_1 \circ s + s \circ l_1$ 的链同伦。
• 利用引理 2.1 确认 $l_2 l_1$ 是边界，从而保证 $l_2$ 作为链映射是良定义的。
• 通过证明 $l_2 l_1$ 在这些分量上消失，证明 $l_2 = 0$ 在 $X_1 \otimes X_1$ 与 $X_2 \otimes X_0$ 上成立。
• 通过验证 Jacobi 恒等式与李导数恒等式，证明 $l_2 l_2 + l_3 l_1$ 消失，从而得出 $l_3 = 0$ 在 $X_1 \otimes X_0 \otimes X_0$ 及更高度数上。
• 利用辛流形上的泊松括号与上同调复形构造显式例子。
• 证明 sh-Lie 结构可传递至仅含三个非零项的极小模型，且在度数 0 处保持相同的 $l_2$ 与 $l_3$ 映射。

实验结果

研究问题

• RQ1 能否构造一个 sh-Lie 代数，使得所有高阶结构映射 $l_n$（$n > 3$）消失，即使 $l_2(c,b) \neq 0$？
• RQ2 在何种条件下，$l_2$ 与 $l_3$ 仅在度数 0 处非零，而所有更高阶映射消失？
• RQ3 是否可能将给定的 sh-Lie 代数约化为仅含三个非零分次分量的极小模型，同时保持其本质结构？
• RQ4 链同伦 $s$ 与条件 $l_2 l_1$ 为边界如何促成 sh-Lie 结构的简化？
• RQ5 该构造能否应用于几何例子，如具有泊松括号的辛流形？

主要发现

• 本文构造的 sh-Lie 代数满足 $l_n \equiv 0$ 对于 $n > 3$，且在所有度数 $> 0$ 处 $l_2 = l_3 = 0$，显著简化了结构。
• $l_2$ 映射仅在度数 0 处非零，定义为 $l_2(P\nu, Q\nu) = \omega(\mathbf{E}(Q), \mathbf{E}(P))\nu$，且在 $X_1 \otimes X_1$、$X_2 \otimes X_0$ 及其对称形式上消失。
• $l_3$ 映射仅在度数 0 处非零，$l_3(P\nu, Q\nu, R\nu)$ 非零，而在所有更高度数上 $l_3 = 0$。
• sh-Lie 结构可传递至仅含三个非零项的极小模型：$X_0$、$X_1$ 与 $X_2$，且在度数 0 处保持相同的 $l_2$ 与 $l_3$ 映射。
• 在辛流形例子中，$l_2(f, \beta) = L_{\beta^\#}f$ 在度数 1 处成立，且在更高度数上 $l_2 = 0$，而由于 Jacobi 恒等式与李导数恒等式，$l_3 = 0$ 在 $X_1 \otimes X_0 \otimes X_0$ 上成立。
• 该构造在更弱的条件 $l_2(c,b)$ 为边界而非为零下依然成立，推广了先前要求 $l_2(c,b) = 0$ 的结果。