[Paper Review] 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 Algebra4 citations

TL;DR

This paper classifies all deformations of antiPoisson superalgebras on smooth Grassmann-valued functions with compact support on $\mathbb{R}^n$, using even and odd deformation parameters. It proves that for arbitrary $n$, there exists either one deformation with a single even parameter or one with a single odd parameter, fully characterizing the second cohomology space $H^2_{\mathbf{E}}$ via explicit basis constructions and cohomological analysis of antibracket structures.

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.

Motivation & Objective

• To systematically classify all possible deformations of antiPoisson superalgebras realized on smooth Grassmann-valued functions with compact support in $\mathbb{R}^n$.
• To analyze the role of even and odd deformation parameters in the deformation theory of antiPoisson superalgebras.
• To determine the complete structure of the second cohomology space $H^2_{\mathbf{E}}$ for these superalgebras.
• To establish the uniqueness of deformations—either one with a single even parameter or one with a single odd parameter—across all $n \geq 1$.

Proposed method

• The authors use cohomological techniques to analyze the second cohomology space $H^2_{\mathbf{E}}$ of the antiPoisson superalgebra under the adjoint action.
• They construct explicit basis elements $m_{2|i}(x|f,g)$ for $i=1,\dots,6$ representing independent cohomology classes in $H^2_{\mathbf{E}}$.
• The deformation is parametrized by coefficients $c_i$ multiplying these basis elements, with constraints derived from compactness and cohomological closure.
• The analysis distinguishes between local and non-local cohomology classes, with the latter tied to integral kernels involving $\delta$-functions and Heaviside functions.
• The compactness condition is applied to eliminate non-compact cohomology classes, leading to the conclusion that only $m_{2|3}$ and $m_{2|4}$ survive as nontrivial compact cohomology representatives.
• The final classification relies on solving $d^\mathrm{ad}_2 M_2 = 0$ and identifying independent solutions modulo coboundaries.

Experimental results

Research questions

• RQ1 What are the complete set of deformations of antiPoisson superalgebras on $\mathbb{R}^n$ with smooth Grassmann-valued functions and compact support, when both even and odd deformation parameters are allowed?
• RQ2 How do the even and odd deformation parameters affect the structure of the antiPoisson superalgebra and its cohomology?
• RQ3 What is the explicit structure of the second cohomology space $H^2_{\mathbf{E}}$ for these superalgebras, and which cohomology classes are nontrivial and compact?
• RQ4 Can the deformations be uniquely classified as either even or odd parameter-dependent, and not both simultaneously?
• RQ5 Which of the cohomology classes $m_{2|i}$ for $i=1,\dots,6$ are compact and thus correspond to physical or algebraically consistent deformations?

Key findings

• The second cohomology space $H^2_{\mathbf{E}}$ is spanned by six basis elements $m_{2|i}$, but only two—$m_{2|3}$ and $m_{2|4}$—are compact and nontrivial.
• The cohomology classes $m_{2|1}, m_{2|2}, m_{2|5}, m_{2|6}$ are non-compact and thus do not yield physical deformations.
• The only consistent deformations are those parameterized by a single even parameter or a single odd parameter, with no simultaneous deformations possible.
• The deformation with an even parameter corresponds to the class $m_{2|3}(x|f,g) = (-1)^{\varepsilon(f)}(1 - N_\xi)f(z)(1 - N_\xi)g(z)$, which is even under $\epsilon$-parity.
• The deformation with an odd parameter corresponds to $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)$, which is odd under $\epsilon$-parity.
• The cohomology classes $m_{2|3}$ and $m_{2|4}$ are independent and nontrivial, forming a basis for the space of compact, non-coboundary deformations.