Poisson algebras play an important role in many branches of differential geometry, theoretical mechanics, and field theory. Thus this area of research is actively developing, as evidenced by various generalizations of the concept of Poisson algebra. One direction of development in the theory of Poisson algebras is the extension of the concept of Poisson algebra to structures with an n-ary multiplication law. Initially such a generalization was proposed by Nambu in his paper [7] and the model of quarks in the theory of elementary particles served as a stimulus for such a generalization. Later, this generalization called Nambu-Poisson algebra was studied in a number of papers, and an excellent survey of this direction in the development of the theory of Poisson algebras is the paper by Takhtajan [9]. A Nambu-Poisson algebra is a n-Lie algebra, where n-Lie algebra is based on an extension of binary Lie bracket to n-ary Lie bracket. The concept of a n-Lie algebra was proposed by Filippov [5]. The elements of a n-Lie algebra satisfy the Filippov-Jacobi identity, which is a generalization of Jacobi identity to n-ary bracket. The classification of simple linearly compact n-Lie superalgebras is given in [4]. A class of ternary Lie superalgebras constructed by means of the supertrace and applications of these ternary Lie superalgebras in BRST-supersymmetries are proposed in [1,2].

Recently, the notion of a transposed Poisson algebra has been proposed. A transposed Poisson algebra can be considered as a structure dual to the concept of a Poisson algebra. It was shown in [3] that a transposed Poisson algebra in its properties is very similar to a Poisson algebra. For example, the class of transposed Poisson algebras is closed under the tensor product of such algebras. In [3] it is also indicated that there is an important connection between transposed Poisson algebras and Novikov-Poisson algebras. More exactly, if we equip a Novikov-Poisson algebra with the Lie commutator constructed with the help of multiplication in Novikov-Poisson algebra, then the Novikov-Poisson algebra becomes a transposed Poisson algebra. In [3] it is shown that a transposed Poisson algebra possesses a number of identities and this is an important property of a transposed Poisson algebra. In [6] all structures of complex transposed Poisson algebras on Galilean type Lie algebras and superalgebras are described.

In this paper we propose the notion of a transposed Poisson superalgebra. In analogy with transposed Poisson algebra a transposed Poisson superalgebra is a vector space endowed with two structures, where one of them is a commutative associative superalgebra and the second is a Lie superalgebra. These two structures satisfy the graded compatibility condition. We prove that if $\mathfrak{G}$ is a commutative associative superalgebra and $\delta$ is an even derivation of $\mathfrak{G}$ then the graded Lie bracket where $u,v\in \mathfrak{G}$, $\left|u\right|,\left|v\right|$ are degrees of elements $u,v$ respectively, defines the structure of a transposed Poisson superalgebra on $\mathfrak{G}$. We propose the classification of transposed Poisson superalgebras in low-dimensional case, that is, in the case of (1,1)-superalgebras. We give two examples of transposed Poisson superalgebra based on the graded Lie bracket (1). The first example is a transposed Poisson superalgebra constructed with the help of graded differential algebra. Particularly, we show that the algebra of differential forms on a smooth finite-dimensional manifold $M^n$ can be equipped with a structure of a transposed Poisson superalgebra if we use (1), where $u,v$ are differential forms and $\delta$ is the Lie derivative ${\mathcal{L}}_{\mathtt{X}}$, $\mathtt{X}$ is a vector field on $M^n$. We prove that the graded Lie bracket of two differential forms induces a graded Lie bracket on the cohomology classes of differential forms. The second example of a transposed Poisson superalgebra is related to quantum Yang-Mills theory. The BRST-supersymmetry of the quantum Yang-Mills theory can be considered as an even derivation of the superalgebra of basic fields of theory. We construct the graded Lie bracket on this superalgebra with the help of operator of BRST-supersymmetry. Finally we prove that a transposed Poisson superalgebra possesses a rich class of identities which can be considered as graded versions of identities proposed in [3].

In this section we propose a notion of a graded transposed Poisson algebra. We construct an example of a graded transposed Poisson algebra by means of a graded differential algebra.

Let $\mathbb{K}$ be a field either of real or complex numbers. A transposed Poisson algebra $\mathfrak{P}$[3] is a vector space over $\mathbb{K}$ with two algebraic operations. One of them will be denoted by $(x,y)\in \mathfrak{P}\times \mathfrak{P}\to x·y\in \mathfrak{P}$ and it defines a structure of associative commutative algebra on $\mathfrak{P}$. The second is a Lie bracket $(x,y)\in \mathfrak{P}\times \mathfrak{P}\to [x,y]\in \mathfrak{P}$, that is, bilinear, skew-symmetric mapping which satisfies the Jacoby identity. These two structures, i.e. an associative commutative algebra and a Lie algebra, define a structure of transposed Poisson algebra if they are compatible and the condition of compatibility of these two structures has the following form An important example of a transposed Poisson algebra [3] is an associative commutative algebra $\mathcal{A}$ endowed with the Lie bracket ${[u,v]}_{\delta }=u·\delta \left(v\right)-v·\delta \left(u\right)$, where $u,v\in \mathcal{A}$, $(u,v)\to u·v$ is a multiplication in $\mathcal{A}$ and $\delta :\mathcal{A}\to \mathcal{A}$ is a derivation. Particularly if $M^n$ is a smooth n-dimensional manifold, $\mathcal{F}\left(M^n\right)$ is the algebra of smooth functions on $M^n$ and $\mathtt{X}$ is a vector field then defines transposed Poisson algebra of smooth functions on a manifold $M^n$.

We extend the notion of transposed Poisson algebra to a super case by the following definition.

Obviously $({\mathfrak{G}}_0,·)$ is an associative commutative algebra and $({\mathfrak{G}}_0,[,])$ is a Lie algebra. In the case of even degree elements, i.e. elements of ${\mathfrak{G}}_0$, the compatibility condition (4) takes on the form (2). Hence $({\mathfrak{G}}_0,·,[,])$ is a transposed Poisson algebra.

An important example of a transposed Poisson algebra is an algebra constructed by means of an associative commutative algebra and its derivation. The next theorem shows that this construction can be extended to the case of superalgebras.

In this section we consider a low-dimensional case of a transposed Poisson superalgebra over the field of complex numbers and give a classification of transposed Poisson superalgebras in this case. We consider transposed Poisson superalgebras $\mathfrak{G}={\mathfrak{G}}_0\oplus {\mathfrak{G}}_1$, where $dim{\mathfrak{G}}_0=dim{\mathfrak{G}}_1=1$. Let $e_0,e_1$ be a basis for a super vector space $\mathfrak{G}$ such that $e_0$ is an even degree element which spans the even subspace ${\mathfrak{G}}_0$ and $e_1$ is an odd degree element which spans the odd subspace ${\mathfrak{G}}_1.$ We assume that there is a commutative associative multiplication on a super vector space $\mathfrak{G}$, which will be denoted by $(x,y)\to x·y,x,y\in \mathfrak{G}$. From the structure of superalgebra and commutativity of a multiplication it follows where $a,b$ are complex numbers. In this simple case there is only one combination of three generators which leads to a non-trivial condition derived from associativity. This combination is $e_0,e_0,e_1$. We have Hence a multiplication is associative in three cases $a=b=0$, $a=b\ne 0$ and $a\ne 0,b=0$.

Now we consider the second structure of a transposed Poisson superalgebra, that is, a Lie superalgebra. It is known that in the case of Lie superalgebras of (1,1)-type there are three non-isomorphic Lie superalgebras

In the case of the Abelian Lie superalgebra I we have two transposed Poisson superalgebras and In the case of the Lie superalgebra II we have $a=b=0$. Hence we have only one transposed Poisson superalgebra In the case of the Lie superalgebra III it follows from the compatibility condition $a=b$ and we get one more transposed Poisson superalgebra

In this section we apply Theorem (1) to construct a transposed Poisson superalgebra by means of differential forms on a smooth n-dimensional manifold $M^n$.

Let us consider a graded commutative differential algebra $(\mathfrak{A},d)$, where $\mathfrak{A}={\oplus }_{p\in \mathbb{Z}}{\mathfrak{A}}^p$, and $d:{\mathfrak{A}}^i\to {\mathfrak{A}}^{i+1}$ is a differential of $\mathfrak{A}$, that is, an anti-derivation of degree 1. Let us denote a multiplication in $\mathfrak{A}$ by $(u,v)\to u·v$, where $u,v\in \mathfrak{A}$ and the degree of a homogeneous element u by $\left|u\right|$. Then for $u\in {\mathfrak{A}}^p$ we have $\left|u\right|=p$ and Assume that $\delta$ is a degree (-1) anti-derivation of $\mathfrak{A}$, i.e. $\delta :{\mathfrak{A}}^p\to {\mathfrak{A}}^{p-1}$ and $\delta (u·v)=\left(\delta u\right)·v+{(-1)}^{\left|u\right|}u·\delta v$. Then $D=d\circ \delta +\delta \circ d$ is the 0-degree derivation of $\mathfrak{A}$. We can consider $\mathfrak{A}$ as a commutative superalgebra if we define the parity of a homogeneous element u as $\left|u\right|\left(mod2\right)$. Then $d,\delta$ are odd derivations and D is the even derivation of $\mathfrak{A}$. Define the bracket by Then according to Theorem 1 the triple $(\mathfrak{A},·,{[,]}_D)$ is a transposed Poisson superalgebra.

As an example of the structure described above we consider the algebra of differential forms on a smooth n-dimensional manifold $M^n$. Let $\Omega \left(M^n\right)={\oplus }_p{\Omega }^p\left(M^n\right)$ be the graded algebra of differential forms on $M^n$. If we denote by $\mathcal{F}\left(M^n\right)$ the commutative algebra of smooth functions on a manifold $M^n$ then ${\Omega }^0\left(M^n\right)$ is identified with the algebra of functions $\mathcal{F}\left(M^n\right)$, i.e. ${\Omega }^0\left(M^n\right)=\mathcal{F}\left(M^n\right)$. The graded algebra of differential forms $\Omega \left(M^n\right)$ can be considered as a superalgebra if we define the degree of p-form $\omega$ by $\left|\omega \right|=p\left(mod2\right)$. Then it follows from the property of the wedge product of two forms $\omega \wedge \theta ={(-1)}^{pq}\theta \wedge \omega$, where $\omega \in {\Omega }^p\left(M^n\right),\theta \in {\Omega }^q\left(M^n\right)$, that $\Omega \left(M^n\right)$ is a commutative superalgebra. Let $\mathtt{X}$ be a smooth vector field on a manifold $M^n$. Then the operator of contraction of a differential form with a vector field $i_{\mathtt{X}}:{\Omega }^p\to {\Omega }^{p-1}$ and the exterior differential $d:{\Omega }^p\to {\Omega }^{p+1}$ are odd derivations of the commutative superalgebra of differential forms. Then the Lie derivative is an even degree derivation of the commutative superalgebra of differential forms, that is, ${\mathcal{L}}_{\mathtt{X}}:{\Omega }^p\left(M^n\right)\to {\Omega }^p\left(M^n\right)$ and ${\mathcal{L}}_{\mathtt{X}}(\omega \wedge \theta )={\mathcal{L}}_{\mathtt{X}}\left(\omega \right)\wedge \theta +\omega \wedge {\mathcal{L}}_{\mathtt{X}}\left(\theta \right)$. Then the bracket (8) takes on the form and the commutative superalgebra of differential forms $\Omega \left(M^n\right)$ endowed with the bracket (9) is a transposed Poisson superalgebra. Particularly if we consider two 0-forms, that is, two functions $f,g\in \mathcal{F}\left(M^n\right)$ then the graded Lie bracket (9) takes on the form Hence the graded bracket (9) restricted to the subalgebra of smooth functions $\mathcal{F}\left(M^n\right)$ makes it a transposed Poisson algebra (3). Let ${\Omega }_{\mathtt{c}}^p\left(M^n\right)$ be the vector space of closed p-differential forms and ${\Omega }_{\mathtt{e}}^p\left(M^n\right)\subset {\Omega }_{\mathtt{c}}^p\left(M^n\right)$ be the vector space of exact p-differential forms.

Thus the proved proposition shows that the graded Lie bracket (9) induces the graded Lie bracket on the graded algebra of de Rham cohomologies, which defines the structure of transposed Poisson superalgebra.

Our next example of a transposed Poisson superalgebra is related to the quantum theory of Yang-Mills fields [8]. The gauge group of the Yang-Mills theory is $SU\left(2\right)$. Let $\mathfrak{su}\left(2\right)$ be the Lie algebra of $SU\left(2\right)$, $t_a$ be a basis for $\mathfrak{su}\left(2\right)$ and $[t_a,t_b]=K_{ab}^c{t}_c$, i.e. $K_{ab}^c$ are structure constants of $\mathfrak{su}\left(2\right)$. The basic fields of the quantum Yang-Mills theory are $\mathfrak{su}\left(2\right)$-valued functions $A_{\mu },c,\overline{c}$ defined on a space-time, where $A_{\mu }$ ($\mu =0,1,2,3$) are Yang-Mills fields, $c,\overline{c}$ are ghost fields. Since the basic fields are $\mathfrak{su}\left(2\right)$-valued functions we can express them in the terms of a basis as follows $A_{\mu }=A_{\mu }^a{t}_a,c=c^a{t}_a,\overline{c}={\overline{c}}^a{t}_a$. We consider the algebra of fields of the quantum Yang-Mills theory as an algebra generated by $A_{\mu }^a,b^a,c^a,{\overline{c}}^a$, their all orders partial derivatives with respect to coordinates of space-time and Grassmann variables $\xi ,\eta ,\dots$ which do not depend on a point of space-time. We assume that the gauge fields $A_{\mu }^a$ and an auxiliary field $b^a$ and all their partial derivatives are commuting generators of algebra and they also commute with ghost fields, their partial derivatives and Grassmann variables $\xi ,\eta ,\dots$. The ghost fields $c^a,{\overline{c}}^a$, their partial derivatives and $\xi ,\eta ,\dots$ are generators of Grassmann type, that is, they anticommute with each other. Now attributing degree zero to the gauge fields $A_{\mu }^a$ and an auxiliary field $b^a$ (and their all partial derivatives), degree one to ghost fields (and their partial derivatives) and Grassmann variables $\xi ,\eta ,\dots$, we turn the algebra of the fields of quantum Yang-Mills theory into a commutative superalgebra. An important role in the quantum theory of Yang-Mills fields is played by BRST supersymmetry, which has the form [8] where and $D_{\mu }{c}^a={\partial }_{\mu }{c}^a+K_{bd}^a{A}_{\mu }^b{c}^d$ is the covariant derivative. The BRST supersymmetry can be considered as an even derivation of the commutative superalgebra of the fields of the quantum Yang-Mills theory. Indeed let us define the mapping s on the basic fields as follows and extend this mapping to the odd derivation of the commutative superalgebra of fields by assuming that it acts on products of fields according to the graded Leibniz rule. We also assume that the derivation s commutes with partial derivatives and Grassmann variables $\xi ,\eta ,\dots$, i.e. $s\circ {\partial }_{\mu }={\partial }_{\mu }\circ s,s\xi =\xi s$. It can be verified that the odd derivation s has a very important property $s^2=0$. Then $\delta =\xi s$ is the even derivation of the commutative superalgebra of fields. Indeed for any product of basic fields $\varphi ,\psi$ we have Let $\Phi ,\Psi$ be two elements of the commutative superalgebra of the fields of quantum Yang-Mills theory, that is, finite polynomials on the basic fields and their partial derivatives. We define the graded Lie bracket of these two polynomials by Then the algebra of the fields of quantum Yang-Mills theory endowed with the graded Lie bracket (13) is a transposed Poisson superalgebra.

The aim of this section is to show that the identities, which hold in the case of a transposed Poisson algebra [3], can be extended to a transposed Poisson superalgebra if we modify the identities proposed in [3] with the help of the rule of signs.