Mathematica 9 is now available

Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Mathematica-aided study of Lie algebras and their cohomology--from supergravity to ballbearings and magnetic hydrodynamics

Pavel Grozman
Organization: University of Stockholm
Department: Mathematics
Dimitry Leites
Organization: University of Stockholm
Department: Mathematics
Journal / Anthology

Innovation in Mathematics: Proceedings of the Second International Mathematica Symposium
Year: 1997
Page range: 185-192

We describe applications of a Mathematica-based package for the study of Lie algebras and their cohomology such as (1) the possibility to write Supergravity Equations for any N-extended Minkowski superspace and to find out the possible models for these superspaces; (2) the possibility of studying stability of nonholonomic systems (ballbearings, gyroscopes, electromechanical devices like a rotor collector with a gliding contact; waves in plasma, etc.); (3) 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; (4) a new method for the study of integrability of dynamical systems. The above problems are particular instances of the general problem to compute cohomology of homology of the given Lie algebra or superalgebra with various coefficients. the package SuperLie makes it possible to determine (1) Lie algebras via defining relations, from the Cartan matrix, realized via vector fields, as polynomials with Poisson or contact (Legendre) bracket, etc., (2) various modules over these Lie algebras (tensors, with vacuum vector, etc.), (3) list central extensions and deformations and even (4) back up the Leites conjecture (an analog Kostrikin-Shafarevich conjecture) classifying simple Lie algebras over the algebraically closed field of characteristic 2 with new examples. For the details see references.

*Applied Mathematics
*Mathematics > Algebra > Group Theory
*Science > Physics