Divided power (co)homology. Presentations of simple finite dimensional modular Lie superalgebras with Cartan matrix

Abstract

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..Comment: Expounds math/0611391 and math/0611392, it contains new theorems, new material on relations for p=2, and - most important - on div. power (co)homology.To appear in Homol. Homot. App