[论文解读] The deformations of antibracket with even and odd deformation parameters

S. E. Konstein, I. V. Tyutin|arXiv (Cornell University)|Nov 26, 2010

Advanced Topics in Algebra被引用 4

一句话总结

该论文利用偶数和奇数形变参数，对 $ \mathbb{R}^n$ 上具有紧支集的光滑 Grassmann 值函数上的 antiPoisson 超代数的所有形变进行了分类。证明了对任意 $n$，存在一种仅含单个偶参数的形变，或一种仅含单个奇参数的形变，通过显式基构造和反括号结构的上同调分析，完全刻画了第二上同调空间 $H^2_{\mathbf{E}}$。

ABSTRACT

We consider antibracket superalgebras realized on the smooth Grassmann-valued functions with compact supports in n-dimensional space and with the grading inverse to Grassmanian parity. The deformations with even and odd deformation parameters of these superalgebras are presented for arbitrary n.

研究动机与目标

• 系统分类所有在 $ \mathbb{R}^n$ 上光滑 Grassmann 值函数且具有紧支集的 antiPoisson 超代数的所有可能形变。
• 分析偶数和奇数形变参数在 antiPoisson 超代数形变理论中的作用。
• 确定这些超代数的第二上同调空间 $H^2_{\mathbf{E}}$ 的完整结构。
• 建立形变的唯一性——对所有 $n \geq 1$，形变要么仅依赖于单个偶参数，要么仅依赖于单个奇参数，不能同时存在。

提出的方法

• 作者使用上同调技术分析 antiPoisson 超代数在伴随作用下的第二上同调空间 $H^2_{\mathbf{E}}$。
• 他们为 $H^2_{\mathbf{E}}$ 中独立的上同调类显式构造了基元素 $m_{2|i}(x|f,g)$，其中 $i=1,\dots,6$。
• 形变由乘以这些基元素的系数 $c_i$ 参数化，其约束条件由紧支集性与上同调封闭性导出。
• 分析区分了局部与非局部上同调类，后者与含 $\delta$-函数和 Heaviside 函数的积分核相关。
• 紧支集条件被应用于排除非紧支集的上同调类，得出结论：仅 $m_{2|3}$ 和 $m_{2|4}$ 作为非平凡紧支集上同调代表存活。
• 最终分类依赖于求解 $d^\mathrm{ad}_2 M_2 = 0$ 并在余边界模下识别独立解。

实验结果

研究问题

• RQ1 当允许偶数和奇数形变参数时，$ \mathbb{R}^n$ 上具有光滑 Grassmann 值函数和紧支集的 antiPoisson 超代数的完整形变集合是什么？
• RQ2 偶数和奇数形变参数如何影响 antiPoisson 超代数的结构及其上同调？
• RQ3 这些超代数的第二上同调空间 $H^2_{\mathbf{E}}$ 的显式结构是什么？哪些上同调类是非平凡且紧支集的？
• RQ4 形变是否可唯一分类为仅依赖于偶参数或仅依赖于奇参数，而不能同时依赖两者？
• RQ5 在 $i=1,\dots,6$ 的上同调类 $m_{2|i}$ 中，哪些是紧支集的，因而对应于物理上或代数上一致的形变？

主要发现

• 第二上同调空间 $H^2_{\mathbf{E}}$ 由六个基元素 $m_{2|i}$ 张成，但仅有两个——$m_{2|3}$ 和 $m_{2|4}$——是紧支集且非平凡的。
• 上同调类 $m_{2|1}, m_{2|2}, m_{2|5}, m_{2|6}$ 是非紧支集的，因此不产生物理形变。
• 唯一一致的形变是仅由单个偶参数或单个奇参数参数化的形变，不能同时存在两种形变。
• 偶参数形变对应于类 $m_{2|3}(x|f,g) = (-1)^{\varepsilon(f)}(1 - N_\xi)f(z)(1 - N_\xi)g(z)$，该类在 $\epsilon$-奇偶性下为偶。
• 奇参数形变对应于 $m_{2|4}(x|f,g) = (-1)^{\varepsilon(f)}[\Delta f(z)]\hat{l}_z g(z) + [\hat{l}_z f(z)]\Delta g(z)$，该类在 $\epsilon$-奇偶性下为奇。
• 上同调类 $m_{2|3}$ 和 $m_{2|4}$ 是独立且非平凡的，构成了紧支集、非余边界的形变空间的基。