[论文解读] Lie algebras of smooth sections

Hasan Gündoğan|arXiv (Cornell University)|Mar 19, 2008

Advanced Algebra and Geometry参考文献 4被引用 9

一句话总结

本文利用喷射微分学与幂零算子，对光滑向量丛截面上的 μ-结构建立了局部表示，并在特定条件下证明了映射 μ₀ 是双射。关键贡献在于：通过多指标的导数与结构常数，给出了一个局部公式，将 μφ(Aφ) 表示为求和形式；μ₀ 的双射性确保了截面上的相应李代数结构的同构性。

ABSTRACT

Lie algebras of smooth sections are Lie algebras obtained from bundles of Lie algebras, where the latter are vector bundles of which the fibers are Lie algebras. We also consider the $\operatorname{C}^k$-sections for $k \in \mathbb{N}$. This paper studies the derivations, the centroid and the isomorphisms of such Lie algebras and generalizes some facts from Pierre Lecomte's publications in 1979 and 1980 to the case where the fiber is perfect or centerfree and it gives some more explicit proofs.

研究动机与目标

• 刻画流形上向量丛光滑截面所构成的李代数结构。
• 利用喷射展开与幂零算子，推导出 μ-结构在光滑截面上作用的局部公式。
• 证明在基流形每一点上，诱导映射 μ₀ 是双射，从而确保 μ-结构在截面上诱导出良定义的李代数同构。

提出的方法

• 利用喷射微分学，将 μφ 在截面 Aφ 上的作用展开为 Aφ 的直到 e−1 阶导数的表达式。
• 通过结构常数 Nᵢ^αᵢ 与基映射 μ₀ 的乘积来表示 μ 作用，形成局部算子 N^α·(μ₀·∂ξ^αAφ)。
• 利用喷射代数的幂零性（当 |α| ≥ e 时 N^α = 0）截断级数，确保其收敛性。
• 通过涉及 ∂ξ^α 与 N^α 的多指标带符号求和，利用广义莱布尼茨法则构造形式逆。
• 利用恒等式 P(A) = Q(B) 验证在假设幂零性下，μ 作用与其逆的一致性。
• 通过证明 μ 作用与其逆的复合在截面上恒等，从而证明 μ₀ 的双射性。

实验结果

研究问题

• RQ1 如何利用喷射展开与幂零算子，对光滑截面上的 μ-结构作用建立局部表示？
• RQ2 在基流形每一点上，何种条件可确保诱导映射 μ₀ 是双射？
• RQ3 喷射代数的幂零性（当 |α| ≥ e 时 N^α = 0）如何限制 μ-结构在截面上的作用形式？
• RQ4 能否利用多指标导数与结构常数，构造出 μ-作用的形式逆？
• RQ5 μ-作用在光滑截面上的精确代数形式，如何用 μ₀ 与喷射导数表示？

主要发现

• μ-作用在截面 Aφ 上的局部表达式为 ∑|α|<e (1/α!) N^α · (μ₀ · ∂ξ^α Aφ)，提供了一个有限阶展开。
• 结构常数 Nᵢ^αᵢ 来源于 μφ 在喷射坐标单项式上的作用，编码了局部代数结构。
• 幂零性条件 N^α = 0（当 |α| ≥ e 时）确保级数终止，使公式良定义且有限。
• 逆映射通过带符号求和 ∑|α|<e (-1)^|α|/α! ∂ξ^α (N^α · Bφ) 构造，可恢复原始截面。
• 通过证明 μ 与其逆的复合在截面上恒等，证明了在每一点 x ∈ U 处 μ₀ 的双射性。
• 在幂零性与莱布尼茨法则的基础上，通过恒等式 P(A) = Q(B) 验证了 μ-作用与其逆的一致性。