No Arabic abstract
Finite dimensional modular Lie superalgebras over algebraically closed fields with indecomposable Cartan matrices are classified under some technical, most probably inessential, hypotheses. If the Cartan matrix is invertible, the corresponding Lie superalgebra is simple otherwise the quotient of the derived Lie superalgebra modulo center is simple (if its rank is greater than 1). Eleven new exceptional simple modular Lie superalgebras are discovered. Several features of classic notions, or notions themselves, are clarified or introduced, e.g., Cartan matrix, sever
For modular Lie superalgebras, new notions are introduced: Divided power homology and divided power cohomology. For illustration, we give presentations (in terms of analogs of Chevalley generators) of finite dimensional Lie (super)algebras with indecomposable Cartan matrix in characteristic 2 (and in other characteristics for completeness of the picture). We correct the currently available in the literature notions of Chevalley generators and Cartan matrix in the modular and super cases, and an auxiliary notion of the Dynkin diagram. In characteristic 2, the defining relations of simple classical Lie algebras of the A, D, E types are not only Serre ones; these non-Serre relations are same for Lie superalgebras with the same Cartan matrix and any distribution of parities of the generators. Presentations of simple orthogonal Lie algebras having no Cartan matrix are also given..
For each of the exceptional Lie superalgebras with indecomposable Cartan matrix, we give the explicit list of its roots of and the corresponding Chevalley basis for one of the inequivalent Cartan matrices, the one corresponding to the greatest number of mutually orthogonal isotropic odd simple roots. Our main tools: Grozmans Mathematica-based code SuperLie, and Python.
A way to construct (conjecturally all) simple finite dimensional modular Lie (super)algebras over algebraically closed fields of characteristic not 2 is offered. In characteristic 2, the method is supposed to give only simple Lie (super)algebras graded by integers and only some of the non-graded ones). The conjecture is backed up with the latest results computationally most difficult of which are obtained with the help of Grozmans software package SuperLie.
For the exceptional finite-dimensional modular Lie superalgebras $mathfrak{g}(A)$ with indecomposable Cartan matrix $A$, and their simple subquotients, we computed non-isomorphic Lie superalgebras constituting the homologies of the odd elements with zero square. These homologies are~key ingredients in the Duflo--Serganova approach to the representation theory. There were two definitions of defect of Lie superalgebras in the literature with different ranges of application. We suggest a third definition and an easy-to-use way to find its value. In positive characteristic, we found out one more reason to consider the space of roots over reals, unlike the space of weights, which should be considered over the ground field. We proved that the rank of the homological element (decisive in calculating the defect of a given Lie superalgebra) should be considered in the adjoint module, not the irreducible module of least dimension (although the latter is sometimes possible to consider, e.g., for $p=0$). We also computed the above homology for the only case of simple Lie superalgebras with symmetric root system not considered so far over the field of complex numbers, and its modul
In the article at hand, we sketch how, by utilizing nilpotency to its fullest extent (Engel, Super Engel) while using methods from the theory of universal enveloping algebras, a complete description of the indecomposable representations may be reached. In practice, the combinatorics is still formidable, though. It turns out that the method applies to both a class of ordinary Lie algebras and to a similar class of Lie superalgebras. Besides some examples, due to the level of complexity we will only describe a few precise results. One of these is a complete classification of which ideals can occur in the enveloping algebra of the translation subgroup of the Poincare group. Equivalently, this determines all indecomposable representations with a single, 1-dimensional source. Another result is the construction of an infinite-dimensional family of inequivalent representations already in dimension 12. This is much lower than the 24-dimensional representations which were thought to be the lowest possible. The complexity increases considerably, though yet in a manageable fashion, in the supersymmetric setting. Besides a few examples, only a subclass of ideals of the enveloping algebra of the super Poincare algebra will be determined in the present article.