On Lie $p$-algebras of cohomological dimension one (Q2312696): Difference between revisions

Let \(K\) be a field of characteristic \(p > 0\). A \textit{Lie \(p\)-algebra} (also known as \textit{restricted Lie algebra}) is a Lie algebra \(L\) over the field \(K\) endowed with a map \(\cdot^{[p]} : L \to L\) satisfying the following conditions: \begin{itemize} \item[(i)] \(\mathrm{ad}(x^{[p]}) = \mathrm{ad}(x)^p \in \mathfrak{gl}(L)\), \item[(ii)] \((\lambda x)^{[p]} = \lambda^p x^{[p]} \in L\), \item[(iii)] \((x+y)^{[p]} = x^{[p]} + y^{[p]} + \sum_{i=1}^{p-1} s_i(x,y) \in L\), \end{itemize} where \(s_i(x,y)\) is the coefficient of \(t^{i-1}\) in the expansion of the polynomial \(\mathrm{ad}(xt + y)^{p-1}(y)\) in \(L[t]\), for all \(i \in \{1, \dotsc, p-1\}\), \(x, y \in L\) and \(\lambda \in K\). Given a Lie algebra (and, in particular, a Lie \(p\)-algebra) \(L\), denote its universal enveloping algebra by \(U(L)\). Then, define its \textit{cohomological dimension} \(\mathrm{cd}(L)\) to be: the minimal length of a (left) projective resolution of the trivial \(U(L)\)-module \(K\), in case one such finite projective resolution exists; and to be infinite otherwise. It is known that, when \(\mathrm{cd}(L)\) is finite, it equals the integer \(n\) such that: \begin{itemize} \item there exists an \(L\)-module \(M\) such that \(\mathrm{H}^n (L, M) \ne 0\) and \item \(\mathrm{H}^i (L, N) = 0\) for all \(i > n\) and all \(L\)-module \(N\). \end{itemize} In this paper, the author proves that a Lie \(p\)-algebra of cohomological dimension \(1\) must be one-dimensional (Theorem~1.3). Moreover, he studies restricted cohomological dimensions of Lie \(p\)-algebras. Given a Lie \(p\)-algebra, define its \textit{restricted enveloping algebra} \(u(L)\) to be the quotient of \(U(L)\) by the (two-sided) ideal generated by \(\{ x^{[p]} - x^p \mid x \in L \}\). Then, define the \textit{restricted cohomological dimension} of \(L\) (similarly to its cohomological dimension) to be: the minimal length \(\mathrm{cd}_*(L)\) of a (left) projective resolution of the trivial \(u(L)\)-module \(K\), in case one such finite projective resolution exists; and to be infinite otherwise. In Section~3 of this paper, the author proves that a Lie \(p\)-algebra of finite restricted cohomological dimension must be either a torus (that is, abelian) or infinite dimensional (Proposition~3.3). Moreover, he conjectures that: if a Lie \(p\)-algebra \(L\) has restricted cohomological dimension \(1\), then \(L\) must be isomorphic to a semi-direct product of a free Lie \(p\)-algebra with finitely many finite-dimensional tori (Conjecture~3.2).