Irreducible complex skew-Berger algebras (Q1038518): Difference between revisions

A Lie subalgebra \(L\) of \(gl(V)\), where \(V\) is a finite-dimensional complex linear space, is called a skew-Berger algebra, if it coincides with the space \(\mathcal R(L)\), the linear span of elements of the form \(R(x,y)z\), where \(R\) is a linear map \(S^2(V) \to L\) satisfying the Bianchi-type condition \(R(x,y)z + R(z,x)y + R(y,z)x = 0\) for all \(x,y,z\in V\) Berger superalgebras (not skew ones!) are defined in a similar super setting, what involves a linear superspace \(V\), a variant of super-Bianchi identity and a super skew-symmetric product instead of the symmetric one. This way, a Berger superalgebra on a purely odd superspace \(V\) becomes a skew-Berger algebra on \(\Pi(V)\), where \(\Pi\) is a parity changing functor. In this paper, irreducible complex skew-Berger algebras are classified. The author employs an exact sequence connecting the first and second Cartan prolongations of \(L\), the second Spencer cohomology of \(L\), and \(\mathcal R(L)\), and skillful case-by-case considerations involving simple Lie algebras and superalgebras and their representations, with occasional appeal to computer calculations. The motivation comes from differential geometry -- a classification problem of holonomy algebras of connections on supermanifolds.