Program for computing cohomology of Lie superalgebras of vector fields

摘要

An algorithm and its C implementation for computing the cohomology of Lie algebras and superalgebras is described. When elaborating the algorithm we paid primary attention to cohomology in trivial, adjoint and coadjoint modules for Lie algebras and superalgebras of the formal vector fields. These algebras have found many applications to modern supersymmetric models of theoretical and mathematical physics. As an example, we present 3- and 5-cocycles from the cohomology in the trivial module for the Poisson algebra Po (2), as found by computer. 6 refs.