8
$\begingroup$

Let $\mathfrak{L}_n(\mathbf{C})$ be the set of all $n$-dimensional complex Lie algebras. One know that in $\mathfrak{L}_n(\mathbf{C})$ there exist only a finite number of Lie algebras with trivial second cohomology group with coefficients in the adjoint representation (by using a rigidity argument of Nijenhuis and Richardson).

Question: Fixing $n$, are Lie algebras $\mathfrak{g} \in \mathfrak{L}_n(\mathbf{C})$ such that $H^2(\mathfrak{g},\mathfrak{g})=0$ classified?

References:

  1. Nijenhuis, Richardson - Deformations of Lie algebra structures
  2. Nijenhuis, Richardson - Cohomology and deformations in Graded Lie algebras
  3. Nijenhuis, Richardson - Cohomology and deformations of algebraic structure
$\endgroup$
2
  • 2
    $\begingroup$ Could one equivalently ask "Of the finitely many components of the scheme of Lie brackets on ${\bf C}^n$, how many have an open set of Lie algebras with $H^2=0$, and how many of those are not pairwise isomorphic?" $\endgroup$ Jun 14, 2011 at 4:00
  • $\begingroup$ No, such algebras were not classified and I agree with Nicola Ciccoli that this seems to be a hopeless task. There are lot of works, though, devoted to such algebras (often coupled with some other conditions), see, for example, references in arXiv:math/0211416. $\endgroup$ Jun 19, 2011 at 5:35

3 Answers 3

9
$\begingroup$

Classifying them for any $n$ seems to me an hopeless task, as every classification problem in Lie algebras that extends out of semisemplicity. However some classification results for rigid Lie algebras in dimension up to 8 (also something in dim. 9) were obtained, mainly by Ancochea-Bermudez and Goze. Lie algebras such that $H^2(\mathfrak g,\mathfrak g)=0$ are also called cohomologically (or sometimes algebraically) rigid and form a subclass of rigid Lie algebras; in the papers by the authors mentioned above it is usually specified which rigid Lie algebras are also cohomologically rigid.

See:

Ancochea-Bermudez, Goze On the classification of rigid Lie algebras Journal of Algebra 245, 68-91 (2001).

Results are based on some structural properties of rigid Lie algebras that may be found in works by Roger Carles published in the 80's (I can provide the exact reference if needed).

$\endgroup$
5
$\begingroup$

This is merely an additional comment, too long for a comment field. To see that classification of finite-dimensional Lie algebras $L$ with $H^2(L,L) = 0$ is unfeasible, consider, for example, Lie algebras of the form $g \otimes A$, for a classical simple $g$ and finite-dimensional associative commutative algebra $A$. By (cohomological interpretation of) the result of J.-L. Cathelineau, Homologie de degre trois d'algebres de Lie simple deployees etendues a une algebre commutative, Enseign. Math. 33 (1987), 159-173 http://dx.doi.org/10.5169/seals-87889 , $H^2(g\otimes A, g\otimes A)$ is isomorphic either to Hochschild of dihedral cohomology of $A$, depending on the type of $g$. So, the purported classification would include, as a very particular case, classification of associative commutative algebras with the vanishing second Hochschild cohomology. By modification of this tensor product construction, one possible to get other variants of this classification problem which seem to be out of reach.

$\endgroup$
4
$\begingroup$

Even if we consider more generally cohomologically rigid Lie algebras $L$, which satisfy $H^i(L,L)$ for all $i\ge 0$, a classification is not possible. Roger Carles proved in 1985 in his paper "Sur certain classes d'algebres de Lie rigides", that every complete Lie algebra $L$ with abelian nilradical ${\rm nil}(L)$ is cohomologically rigid. He proves a lower bound of the number $s_n$ of non-isomorphic solvable cohomologically rigid Lie algebras of dimension $n$, which is indeed $$ \Gamma(\sqrt{n})\le s_n, $$ for all $n\ge 81$, with the Gamma function. This shows that a classification is more or less hopeless.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.