Welcome to MathOverflow

Question

6

2

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 [Nijenhuis, 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?

[Nijenhuis, Richardson] Nijenhuis, Richardson - Deformations of Lie algebra structures

[Nijenhuis, Richardson 1] Nijenhuis, Richardson - Cohomology and deformations in Graded Lie algebras

[Nijenhuis, Richardson 2] Nijenhuis, Richardson - Cohomology and deformations of algebraic structure

edited Jun 14 2011 at 3:01

David Roberts
11.7k●2●18●55

asked Jun 14 2011 at 1:01

Hernán Raul Marín Correa
61●1

	I edited your latex - I guessed \mathds{C} meant to indicate the complex numbers, so substituted \mathbf{C}. – David Roberts Jun 14 2011 at 3:02
	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?" – Allen Knutson Jun 14 2011 at 4:00
	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. – Pasha Zusmanovich Jun 19 2011 at 5:35

Nicola Ciccoli · Answer 1 · 2011-06-14 05:18:17Z UTC

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).

Pasha Zusmanovich · Answer 2 · 2011-06-19 05:58:36Z UTC

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.

Lie algebras with trivial second cohomology group

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.