Irreductible representations of the simple Jordan superalgebra of Grassmann Poisson bracket (Q267409): Difference between revisions

A dot-bracket superalgebra \(A = (A_0 + A_1, \cdot, \{\,,\,\})\) is an associative supercommutative superalgebra \((A, \cdot)\) together with a super-skew-symmetric bilinear product \(\{\,,\,\}\). One can construct the Kantor superalgebra \(J(A)\) via the Kantor doubling process: take the vector space direct sum \(J(A) = A \oplus \bar A\), where \(\bar A\) is a copy of \(A\), and the product in \(J(A)\) is given by: \[ f \bullet g = f \cdot g, \;f \bullet \bar g =\overline{ f \cdot g}, \;\bar f \bullet g = (-1)^{| g| } \overline{f\cdot g}, \;\bar f \bullet \bar g = (-1)^{| g|}\{f, g\} \] for \(f,g\in A_0\cup A_1\). Then, \(J(A)\) is \(\mathbb Z_2\)-graded where the even part is \(J_0 =A_0+\bar A_1\) and the odd part is \(J_1 = A_1 +\bar A_0\). With this grading, \(J(A)\) is a supercommutative superalgebra. Under suitable conditions: \[ \{f, (g \bullet h)\}= \{f, g\} \bullet h + (-1)^{|f||g|}g\bullet \{f, h\} -D(f) \bullet g \bullet h, \] \[ \begin{multlined} \{f,\{g, h\}\,\} - \{\,\{f, g\},h\}-(-1)^{|f||g|} \{g,\{f, h\}\,\} =\\ D(f) \bullet \{g, h\}+ (-1)^{|g|(|f|+|h|)}D(g) \bullet\{h, f\} + (-1)^{|h|(|f|+|g|)}D(h)\bullet \{f, g\}, \end{multlined} \] \[ \{\{x, x\}, x\} = -\{x, x\} \bullet D(x), \] \(J(A)\) is a Jordan superalgebra. A bracket \(\{\,,\,\}\) that satisfies the above identities is called a Jordan bracket. A dot-bracket superalgebra \(P\) is called a Poisson superalgebra if it satisfies the identities of the above theorem with \(D=0\). The above construction was first introduced by I. Kantor for the Grassmann Poisson superalgebras. Let \(G_n\) be the Grassmann superalgebra generated by \(n\geq 2\) odd generators \(e_1,\ldots, e_n\) such that \(e_ie_j+e_je_i=0\) and \(e_i^2=0\). Define on \(G_n\) superderivations \[ {\partial e_i\over \partial e_j}=\delta_{ij},\quad {\partial(uv)\over\partial e_j}={\partial u\over e_j}v+(-1){| u|}u{\partial v\over e_j} \] as well as the superbracket \[ f,g=(-1)^{| f|}\sum_{i=1}^n {\partial f\over e_i}{\partial g\over e_j}. \] One can check that the dot-bracket superalgebra \(G_n\) is a Poisson superalgebra, and that the superalgebra \(\text{Kan}(n) = J(G_n)\) is a simple Jordan superalgebra for all \(n\geq 2\). In this work, it is obtained a classification of the irreducible bimodules over the Jordan superalgebra \(\text{Kan}(n)\), for all \(n\geq 2\) and an algebraically closed field of characteristic \(\neq 2\). This generalizes some previous results of \textit{C. Martínez} and \textit{E. Zelmanov} for \(n > 4\) and over a field of characteristic zero (see [ ``Representation theory of Jordan superalgebras'', Contemp. Math. 483, 179--194 (2009; Zbl 1189.17026)]). One of main tools used in classical literature is the Tits-Kantor-Koecher functor (TKK-functor) which associates with a Jordan (super)algebra \(J\) a certain Lie (super)algebra \(\text{TKK}(J)\). Using the known classification of irreducible Lie bimodules over \(\text{TKK} (J)\), it is possible to recover the structure of irreducible bimodules over \(J\). But this method may be used only in the characteristic zero case since classification of irreducible Lie supermodules is not known for positive characteristic. The paper under review gives a direct proof which does not use the structure of Lie modules over the Lie superalgebra \(L = \text{TKK}(\text{Kan}(n))\). This allows them to work over fields of characteristic other than \(2\).