[论文解读] On the Cohomology of the Lie Superalgebra of Contact Vector Fields on $S^{1|2}$

Boujemaâ Agrebaoui, Nizar Ben Fraj+1 more|HAL (Le Centre pour la Communication Scientifique Directe)|Mar 23, 2006

Advanced Topics in Algebra被引用 15

一句话总结

本文计算了在超级圆 $S^{1|2}$ 上的接触向量场的李超代数 ${\mathcal{K}}(2)$ 关于超级伪微分算子 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 的一阶上同调空间。通过借鉴 Ovsienko 和 Roger 的谱序列技术，作者证明该空间为十维且完全为偶性，为所有十个同调类提供了显式基胞复形式。

ABSTRACT

We investigate the first cohomology space associated with the embedding of the Lie superalgebra $\cK(2)$ of contact vector fields on the (1,2)-dimensional supercircle $S^{1\mid 2}$ in the Lie superalgebra $\cSΨ\cD \cO(S^{1\mid 2})$ of superpseudodifferential operators with smooth coefficients. Following Ovsienko and Roger, we show that this space is ten-dimensional with only even cocycles and we give explicit expressions of the basis cocycles.

研究动机与目标

• 计算李超代数 $\mathcal{K}(2)$ 在 (1,2)-维超级圆上的接触向量场的一阶上同调空间 $H^1({\mathcal{K}}(2), {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$。
• 将 Ovsienko 和 Roger 在超级圆 $S^{1|1}$ 上的方法扩展至 $S^{1|2}$ 的情形，利用谱序列与滤子模结构。
• 对一阶胞复形式空间进行分类，并确定其为偶性或奇性，特别关注上同调空间的结构。
• 提供上同调空间基的显式表达式，刻画所有非平凡胞复形式。
• 为嵌入 ${\mathcal{K}}(2) \hookrightarrow {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 的多项式形变分类做出贡献。

提出的方法

• 采用滤子李超代数上同调的谱序列方法，将其应用于 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 按伪微分算子阶数的滤子结构。
• 利用分次商 $\mathrm{Grad}^p({\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$ 计算谱序列的 $E_1$-页，识别出 $E_1^{p,q} = H^{p+q}({\mathcal{K}}(2), \mathrm{Grad}^p({\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})))$。
• 分析候选胞复形式 $\Upsilon_1, \ldots, \Upsilon_{10}$ 在连续微分 $d_r$ 作用下的行为，确定哪些能存活至 $E_\infty$-页。
• 通过将胞复形式上抬至 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 并提取其微分的首项系数，符号化地计算微分 $d_1$。
• 应用 $S^{1|2}$ 上加权密度的理论作为上同调结构的模型，与 $S^{1|1}$ 情形进行类比。
• 使用 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 中的超交换子与复合规则，其定义基于 $x$、$\theta_i$ 以及 $\xi$、$\bar{\theta}_i$ 的偏导数。

实验结果

研究问题

• RQ1 一阶上同调空间 $H^1({\mathcal{K}}(2), {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$ 的维数与奇偶性结构为何？
• RQ2 在 ${\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 中，哪些一阶胞复形式在 ${\mathcal{K}}(2)$ 作用下非平凡且线性无关？
• RQ3 谱序列微分 $d_r$ 如何作用于候选胞复形式？哪些能存活至 $E_\infty$-页？
• RQ4 上同调空间能否由显式构造的偶性胞复形式张成？是否存在奇性胞复形式？
• RQ5 嵌入 ${\mathcal{K}}(2) \hookrightarrow {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 的多项式形变结构如何？

主要发现

• 一阶上同调空间 $H^1({\mathcal{K}}(2), {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2}))$ 为十维。
• 整个上同调空间完全为偶性；不存在奇性胞复形式。
• 该空间由十个显式一阶胞复形式 $\Theta_1, \ldots, \Theta_{10}$ 的同调类张成，每个均通过涉及 $F$ 及其导数、算子 $\eta_i$、$\xi$ 和 $\zeta_i$ 的特定公式定义。
• 胞复形式 $\Theta_1, \Theta_2, \Theta_3$ 位于谱序列的度数 $-1$，$\Theta_4, \ldots, \Theta_9$ 位于度数 $0$，$\Theta_{10}$ 位于度数 $1$。
• 谱序列分析确认所有十个胞复形式均存活至 $E_\infty$-页，证实其线性无关性与非平凡性。
• 结果推广了先前在 $S^{1|1}$ 上的工作，并为上同调空间提供了完整基，支持了嵌入 ${\mathcal{K}}(2) \to {\mathcal{S}}\Psi{\mathcal{D}}{\mathcal{O}}(S^{1|2})$ 的多项式形变分类。