Quantization of Poisson superalgebras and speciality of Jordan Poisson superalgebras (Q1346916)

An associative commutative superalgebra \(A = A_0 + A_1\) over a scalar ring \(R\) is called a Poisson superalgebra if it has a second multiplication (Poisson bracket) \((f,g) \mapsto \{f,g\}\) under which \(A\) with the given \(\mathbb{Z}_2\)-grading is a Lie superalgebra which satisfies the Leibniz identity \[ \{fg, h\} = f\{g,h\} + (-1)^{p(g) p(h) \{f, h\}g}, \] where \(p(x) = i\) for \(x \in A_i\), \(i = 0,1\). Let \(A [t]\) be the \(R\)-module of polynomials in \(t\) with coefficients from \(A\). An algebraic quantization of the superalgebra \(A\) is an associative multiplication \(*\) on \(A[t]\) consistent with the grading \(A[t] = A_0[t] + A_1[t]\) and satisfying the following conditions: \[ a * b = ab \pmod t,\;a*b - (-1)^{p(a) p(b)} b * a = t\{a, b\} \pmod {t^2},\text{ and } f*t = t * f= ft, \] for all \(a,b \in A\) and \(f \in A[t]\). A Jordan superalgebra is called \(i\)-special if it is a homomorphic image of a special one. Theorem 1 of the paper states that if a superalgebra \(A\) admits an algebraic quantization then the Jordan superalgebra \(J(A)\) is \(i\)- special. Let \(L\) be a Lie superalgebra which is a free \(\mathbb{Z}_2\)-graded \(R\)- module and \(S(L)\) the supersymmetric algebra of the superbimodule \(L\). The author defines the Poisson bracket on the superalgebra \(S(L)\) which coincides on \(L\) with the Lie multiplication. It is proved that the Poisson superalgebra \(S(L)\) admits an algebraic quantization (Theorem 2). According to Theorem 3 if \(A\) is a Poisson superalgebra then the Jordan superalgebra \(J(A)\) is \(i\)-special. This result was obtained independently in the paper of \textit{V. G. Skosyrskij} [Algebra Logic 33, No. 3, 169-179 (1994); translation from Algebra Logika 33, No. 3, 301-316 (1994; Zbl 0826.17037)]. Theorem 4 states that if \(A\) is a unital Poisson superalgebra then the Jordan superalgebra \(J(A)\) is special if and only if \(\{\{x, y\}, z\} = 0\) for all \(x, y, z \in A\). The last Theorem 5 gives the full description of Lie superalgebras \(L = L_0 + L_1\) over a field \(F\) such that the Jordan superalgebra \(J(S(L))\) is special. Namely, \(J(S(L))\) is special if and only if one of the following holds: 1) \(L^2 = 0\); 2) \(L^2_0 = L^2_1 = 0\), the action of \(L_0\) on \(L_1\) is defined by \(ax = -xa = \varphi(a,x)e_1\) where \(\varphi : L_0 \times L_1 \to F\) is a bilinear form, \(e_1 \in L_1\), and \(\varphi(L_0, e_1) = 0\); 3) \(L^2_0 = L_0 L_1 = 0\), the multiplication on \(L_1\) is defined by \(xy = \varphi(x) \varphi (y) e_0\), \(ax = -xa = \psi(a) \varphi (x)e_1\) where \(x, y \in L_1\), \(a \in L_0\), \(\varphi \in L^*_1\), \(\psi \in L^*_1\), \(e_0 \in \text{ker } \psi\), and \(e_1 \in \text{ker } \varphi\).