A complex for the cohomology of restricted Lie algebras (Q942969)

Let \({\mathfrak g}\) be a finite-dimensional Lie algebra. The ordinary cohomology \(H^k({\mathfrak g},M)\) of a \({\mathfrak g}\)-module \(M\) may be identified with the cohomology \(H^k(U({\mathfrak g}),M)\) of the universal enveloping algebra. Further, it is well known that this cohomology can be a computed by a finite complex involving terms of the form \(\text{Hom}(\Lambda^k({\mathfrak g}),M)\). In the case that \({\mathfrak g}\) is a \(p\)-restricted Lie algebra over a field of characteristic \(p > 0\) (and \(M\) is a restricted \({\mathfrak g}\)-module), the restricted cohomology of \(M\) can be identified with \(H^k(u({\mathfrak g}),M)\), where \(u({\mathfrak g})\) is the restricted enveloping algebra. Such cohomology groups have seen significant study, and the goal of this paper is to construct an analogous cochain complex from which this cohomology could be computed. The work here is based in part on the seminal work of \textit{G. Hochschild} [Am. J. Math. 76, 591--603 (1954; Zbl 0055.26505)]. In the case that \({\mathfrak g}\) is abelian, the authors construct a cochain complex up to degree \(p\) involving the tensor product of exterior powers of \({\mathfrak g}\) with symmetric powers on the Frobenius twist of \({\mathfrak g}\). The differentials are given explicitly, and the first main result is that the homology of this complex gives the restricted cohomology of \({\mathfrak g}\) in degrees less than \(p\). In the general (not necessarily abelian) case, the beginnings of a cochain complex are developed through degree 3. The cochains are defined in part in terms of the classical cochains for ordinary (not restricted) cohomology. Through degree 2, this construction is a reformulation of Hochschild's work. The authors also recover some of Hochschild's identifications of certain cohomology groups with certain equivalence classes of extensions. In that vein, a new identification of the second (restricted) cohomology group \(H^2(u({\mathfrak g}), {\mathfrak g})\) is given in terms of restricted infinitesimal deformations of \({\mathfrak g}\).