[论文解读] Lie superalgebras of differential operators

Janusz Grabowski, Alexei Kotov+1 more|arXiv (Cornell University)|Nov 8, 2010

Advanced Topics in Algebra参考文献 6被引用 3

一句话总结

本文分类了光滑超流形上一阶超微分算子代数之间的李超代数同构，证明其由超流形微分同胚及与偶数超散度相关的自同构诱导。自同构群被证明是微分同胚诱导自同构与散度诱导自同构的半直积，且通过贝瑞辛ian密度证明了任意超流形上全局存在超散度。

ABSTRACT

We describe explicitly Lie superalgebra isomorphisms between the Lie superalgebras of first-order superdifferential operators on supermanifolds, showing in particular that any such isomorphism induces a diffeomorphism of the supermanifolds. We also prove that the group of automorphisms of such a Lie superalgebra is a semi-direct product of the subgroup induced by the supermanifold diffeomorphisms and another subgroup which consists of automorphisms determined by even superdivergences. These superdivergences are proven to exist on any supermanifold and their local form is explicitly described as well

研究动机与目标

• 对光滑超流形上一阶超微分算子李超代数之间的李超代数同构进行分类。
• 确定此类李超代数自同构群的结构。
• 证明任意光滑超流形上存在偶数超散度。
• 刻画一阶超微分算子代数中幂零元素的唯一极大李超理想。
• 通过上同调数据将超微分算子代数的自同构与超向量场代数的自同构联系起来。

提出的方法

• 作者利用自然分解 $\mathcal{D}^1(\mathcal{M}) = \mathcal{X}(\mathcal{M}) \oplus \mathcal{A}(\mathcal{M})$，将自同构分解为微分同胚诱导与散度诱导的分量。
• 他们刻画了 $\mathcal{A}(\mathcal{M})$（光滑函数代数）为当 $\dim\mathcal{M} \neq 0|1$ 时 $\mathcal{D}^1(\mathcal{M})$ 中唯一极大李超理想，确保自同构保持该理想不变。
• 自同构被证明具有形式 $X + f \mapsto X + f + c(X)$，其中 $c: \mathcal{X}(\mathcal{M}) \to \mathcal{A}(\mathcal{M})$ 是一个1-上循环，将自同构与李超代数上同调联系起来。
• 通过贝瑞辛ian密度建立超散度的存在性：1-密度层 $\mathfrak{D}_1 = \mathrm{Ber} \otimes \mathrm{or}(M)$ 的全局处处非零截面 $\sigma$ 诱导一个散度 $\gamma_\sigma(X) = (\mathcal{L}_X \sigma)\sigma^{-1}$。
• 计算了 $\mathcal{X}(\mathcal{M})$ 以 $\mathcal{A}(\mathcal{M})$ 值的上同调，表明每个1-上循环均为一个闭的偶数1-形式与一个固定散度的组合。
• 该构造依赖于每个超流形微分同胚于某个向量丛 $V$ 的 $\Pi V$，从而实现 $\mathcal{A}(\mathcal{M}) \simeq \Gamma(\Lambda^\bullet V^*)$ 的全局识别。

实验结果

研究问题

• RQ1 光滑超流形上一阶超微分算子李超代数的自同构群结构是什么？
• RQ2 如何将 $\mathcal{D}^1(\mathcal{M})$ 的自同构与超向量场代数 $\mathcal{X}(\mathcal{M})$ 的自同构联系起来？
• RQ3 每个 $\mathcal{D}^1(\mathcal{M})$ 的自同构是否可分解为微分同胚诱导部分与散度诱导部分？
• RQ4 超散度在分类 $\mathcal{D}^1(\mathcal{M})$ 的自同构中起什么作用？
• RQ5 每个光滑超流形是否都存在全局定义的偶数超散度？

主要发现

• 自同构群 $\mathcal{D}^1(\mathcal{M})$ 同构于超流形微分同胚群与偶数超散度诱导自同构群的半直积。
• 任何 $\mathcal{D}^1(\mathcal{M})$ 的自同构均保持子代数 $\mathcal{A}(\mathcal{M})$（光滑函数代数）不变，当 $\dim\mathcal{M} \neq 0|1$ 时，该子代数是幂零元素的唯一极大李超理想。
• $\mathcal{D}^1(\mathcal{M})$ 的自同构完全由一个超流形微分同胚与一个1-上循环 $c: \mathcal{X}(\mathcal{M}) \to \mathcal{A}(\mathcal{M})$ 决定，且仅由微分同胚从 $\mathcal{X}(\mathcal{M})$ 延拓至 $\mathcal{D}^1(\mathcal{M})$ 的自同构才成立。
• 每个光滑超流形均存在全局定义的偶数超散度，其通过1-密度层 $\mathfrak{D}_1 = \mathrm{Ber} \otimes \mathrm{or}(M)$ 的处处非零截面 $\sigma$ 构造而成。
• $\mathcal{X}(\mathcal{M})$ 以 $\mathcal{A}(\mathcal{M})$ 值的上同调 $H^1(\mathcal{X}(\mathcal{M}), \mathcal{A}(\mathcal{M}))$ 同构于闭偶数1-形式空间与常数函数空间的直和，反映了1-上循环的分解结构。
• $\mathfrak{D}_1$ 的全局截面 $\sigma$ 关联的散度 $\gamma_\sigma$ 是良定义的，且与 $\sigma$ 的符号无关，其表达式为 $\gamma_\sigma(X) = (\mathcal{L}_X \sigma)\sigma^{-1}$。