[论文解读] The deformations of antibracket with even and odd deformation parameters, defined on the space DE_1

S. E. Konstein, I. V. Tyutin|arXiv (Cornell University)|Dec 7, 2011

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

一句话总结

本文研究了超代数 $\mathbf{DE}_1$ 上反括号的形变，该代数由 Grassmann 变量函数 $\xi f_0(x) + f_1(x)$ 构成，其中 $f_0$ 在 $\mathbb{R}^1$ 上具有紧支集。通过上同调方法，计算了 $H^2(\mathbf{DE}, \mathbf{DE})$，揭示其结构比 $H^2(\mathbf{D}_1, \mathbf{E}_1)$ 更为丰富，并对具有一个偶数形变参数及最多三个奇数形变参数的形变进行了分类，同时也对具有任意奇数参数的形变进行了分类。关键结果是通过 $\hbar$ 和 Grassmann 变量的形式幂级数中的递归解，对这类形变进行了完整分类。

ABSTRACT

We consider antiPoisson superalgebra realized on the smooth Grassmann-valued functions of the form ξf_0(x)+f_1(x), where f_0 has compact support on R, and with the parity opposite to that of the Grassmann superalgebra realized on these functions. The deformations with even and odd deformation parameters of this superalgebra are found.

研究动机与目标

• 将反括号形变的分类从 $\mathbf{D}_1$ 扩展到包含具有紧支集 Grassmann 分量的函数的更大空间 $\mathbf{DE}_1$。
• 计算第二上同调空间 $H^2(\mathbf{DE}, \mathbf{DE})$，该空间控制反括号的无穷小形变。
• 对 $\mathbf{DE}_1$ 上具有一个偶数形变参数及最多三个奇数形变参数的所有可能形变进行分类。
• 通过 $\hbar$ 和 Grassmann 变量中的递归幂级数，推导出具有任意数量奇数参数的形变的一般解。
• 通过识别 Jacobi 型恒等式与上同调条件所施加的形变参数约束，建立形变空间的结构。

提出的方法

• 作者通过分析超链链与推导闭链条件，计算了 $H^2(\mathbf{DE}, \mathbf{DE})$，表明其同构于 $\mathcal{D}'/C^\infty'$，即分布空间模光滑函数的商空间。
• 他们采用 $\hbar$ 和 Grassmann 变量 $\theta_i$ 的形式幂级数展开，利用形变参数 $c_{b|k}^l$、$m_{2|7|k}^l$ 和 $\Theta_{q|k}^{(3)}$ 参数化形变空间。
• 通过方程 $J(C^{(0)}, C^{(k)}) = 0$ 递归构造形变，确保在 $\hbar$ 的每一阶次中 Jacobi 恒等式得以保持。
• 他们将解分为三种情况分类：I（一个偶数，最多三个奇数参数）、II（一般奇数参数情形）和 III（三个 Grassmann 生成元），并利用对称性与张量约束。
• 该解涉及求解一组张量型与 Grassmann 代数约束，如 $\varepsilon^{ijk}c_{j|q}c_{k|3} = 0$、$c_{i|q}d_{i|4} = 0$ 和 $c_{i|3}d_{i|a} = 0$，这些约束源自 Jacobi 恒等式。
• 形变的最终形式表达为 $\hbar^k \theta^{2l}$ 和 $\hbar^k \theta^{2l+1}$ 项的和，其系数满足推导出的代数约束。

实验结果

研究问题

• RQ1 反括号在 $\mathbf{DE}_1$ 上的第二上同调空间 $H^2(\mathbf{DE}, \mathbf{DE})$ 的结构是什么？它与 $H^2(\mathbf{D}_1, \mathbf{E}_1)$ 有何不同？
• RQ2 在 $\mathbf{DE}_1$ 上，具有一个偶数和最多三个奇数形变参数的反括号的完整形变是什么？
• RQ3 当存在任意数量奇数参数时，如何系统地构造形变？
• RQ4 形变参数必须满足哪些代数约束以保持 Jacobi 恒等式？
• RQ5 在 $\hbar$ 和 Grassmann 变量 $\theta_i$ 中的递归解如何导致反括号的一致形变？

主要发现

• 第二上同调空间 $H^2(\mathbf{DE}, \mathbf{DE})$ 同构于 $\mathcal{D}'/C^\infty'$，表明其形变空间显著大于 $H^2(\mathbf{D}_1, \mathbf{E}_1)$（其维数为 $3|3$）。
• 所有具有一个偶数和最多三个奇数参数的形变均通过 $\hbar$ 和 Grassmann 变量中的递归解进行分类，其中约束如 $\varepsilon^{ijk}c_{j|q}c_{k|3} = 0$ 和 $c_{i|q}d_{i|4} = 0$ 确保了 Jacobi 恒等式的保持。
• 对于三个 Grassmann 生成元 $\theta_1, \theta_2, \theta_3$ 的情形，一般解为 $C^{III} = m_{2|0} + \hbar\theta_p c_{p|p'}m_{2|p'} + \hbar^2 \gamma^i (d_{i|a}m_{2|a} + m_{2|7,i}) + \hbar^3 \beta (e_p m_{2|p'} - c_{i|2}(d_{i|6}C_{26} + C_{27,i}))$，其中 $\beta = \theta_1\theta_2\theta_3$。
• 形变参数满足一组张量型与 Grassmann 代数约束：$\varepsilon^{ijk}c_{j|q}c_{k|3} = 0$、$c_{i|q}d_{i|4} = 0$、$c_{i|3}d_{i|a} = 0$ 和 $c_{i|3}\omega_i = 0$，这些约束源自 Jacobi 恒等式。
• 完整形变表达为 $C^{II} = \mathcal{N}^{II}(c_{b|[\ty]}^{[2]|[\ty]}, m_{2|7|[\ty]}^{[2]|[\ty]}, \Theta_{q|[\ty]}^{(3)|[k_0+1]}) + \hbar^4 C^{(4)II} + O(\theta^5)$，满足 $J(C^{(0)II}, C^{(4)II}) = 0$，最终解为 $\hbar$ 和 $\theta$ 的形式幂级数，且在阶次 $k_0$ 处系数非零。
• 分类结果表明，$c_{b|k_0}^0$ 或 $m_{2|7|k_0}^0$ 至少有一个非零，从而保证在展开的每一阶次中均存在非平凡形变。