We have decided to discontinue the publication of preprints on our preprint server as of 1 March 2024. The publication culture within mathematics has changed so much due to the rise of repositories such as ArXiV (www.arxiv.org) that we are encouraging all institute members to make their preprints available there. An institute's repository in its previous form is, therefore, unnecessary. The preprints published to date will remain available here, but we will not add any new preprints here.
Technical Report
7/2006
SuperLie. A package for Lie algebra and Super Algebra computations in Mathematica software system
Pavel Grozman and Dimitry A. Leites
Abstract
A Mathematica-based package SuperLie for the study of Lie (super)algebras and their cohomology is offered. Among applications we find:
(1) calculation of the analogs of the Riemannian curvature tensors needed to write Supergravity Equations for any $N$-extended Minkowski superspace and to classify possible models for these superspaces; (2) description of the analogue of the curvature tensor for nonlinear nonholonomic constraints and the fields of solids or their surfaces, e.g., cones, as in optimal control; (3) a new method for the study of formal integrability of differential equations (numerical methods can provide with individual solutions but are unable, generally, to study qualitative behavior, e.g., stability).
All the above problems can be expressed in terms of Lie algebra cohomology and SuperLie makes it possible to (1) determine Lie algebras as subalgebras over integers as well as over various fields of any characteristic, via defining relations, from Cartan matrix, realize via vector fields, as polynomials with Poisson or contact (Legendre) bracket, and so on, (2) determine various modules over these Lie algebras (tensors; modules with a vacuum vector; submodules, quotients, duals, and so on), and calculate the bracket as well as the action of the Lie algebra on its module, (3) solve systems of equations with scalar and (linear) vector unknowns; find the kernel and the image of a linear operator; (4) calculates the exterior differential in various complexes; (5) lists of "natural" operators, i.e., the operators between sections of tensor fields (or jets) invariant with respect to the group of diffeomorphism or its subgroup; (6) list central extensions and deformations of Lie algebras and Lie suepralgebras.
A partial list of open problems, currently under study, is offered (separately): the students in search of a topic for a M.S. or a Ph.D. thesis, as well as other interested, are invited to join forces.
