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

Replacing the exterior superalgebra in the usual Chevalley--Eilenberg complex computing the (co)homology of Lie superalgebras by the superalgebra of divided powers (what involves one more dimension -- the shearing parameter), the authors introduce a notion of divided power (co)homology of Lie superalgebras. This notion is especially useful in characteristic \(2\): the usual interpretation of relations of a Lie (super)algebra as the second homology with coefficients in the trivial module does not work in this case, as the relations of the form \(x^2 = 0\) for \(x\) odd are not taken into account. Divided power homology fixes this deficiency. On this way, the authors give presentations of finite-dimensional Lie superalgebras with indecomposable Cartan matrix in characteristic \(2\). A more complete version of the paper -- including an analogous treatment in characteristic \(p>2\) (where, however, the divided power cohomology is not essential and can be replaced by the usual cohomology) -- is available as \url{arXiv:0911.0243}. In \(p=2\), unlike in higher characteristic, non-Serre relations appear even between Chevalley generators. The proofs are largely given by reference to the Mathematica-based SuperLie package written by one of the authors (Grozman). The paper also features a thorough discussion of pecularities of symmetric and antisymmetric bilinear forms and associated Lie algebras in characteristic \(2\), due to another author (Lebedev).