9
$\begingroup$

If $L$ is a semisimple lie algebra then $L=[L,L]$. Is the opposite true?

$\endgroup$

1 Answer 1

34
$\begingroup$

No. A Lie algebra satisfying that property is called perfect. For an example of a perfect Lie algebra that isn't semisimple, take a semisimple $L$ and a nontrivial irreducible representation $V$ of $L$, and define a bracket on $L \times V$ by $$ [(X,v),(Y,u)] := ([X,Y],Xu-Yv). $$ This turns $L \times V$ into a perfect Lie algebra with $\text{Rad}(L \times V) = V$.

(Note (YCor): this is a semidirect product, hence usually denoted $L\ltimes V$.)

$\endgroup$
6
  • 3
    $\begingroup$ Maybe it's also helpful to mention the substantial though often isolated literature on perfect Lie algebras and related structure theory? There are some interesting connections with other questions, as in the paper by Benkart and Zelmanov in Invent. Math. 126 (1996), 1-45. $\endgroup$ Apr 5, 2011 at 13:08
  • $\begingroup$ @JimHumphreys, you mention the substantial literature on this subject—where else would one look? $\endgroup$
    – LSpice
    Jun 11, 2015 at 18:49
  • 1
    $\begingroup$ @LSpice: Besides the paper I mentioned, there are many others listed on MathSciNet under "perfect Lie algebra" though I'm not sure what would interest you. I guess my point was that the purely algebraic theory of Lie algebras (often in characteristic 0) has been studied by many people over the past century; thus, much is known. A random example is the paper by Baranov and Zalesskii: Plain representations of Lie algebras, J. London Math. Soc. (2) 63 (2001), no. 3, 571–591. You can also find some related posts here by searching MO for "perfect Lie algebra". $\endgroup$ Jun 11, 2015 at 21:13
  • 3
    $\begingroup$ Note that the one-dimensional vector space $V$ for which $\rho : L \to \mathfrak{gl}(V)$ is zero is also a simple $L$-module, and in this case $[L \times V, L \times V] = L \subsetneq L \times V$. You need to exclude that case, otherwise it works fine since $[L,V]$ contains a non-zero vector, hence is equal to $V$. $\endgroup$ Feb 15, 2017 at 6:15
  • 4
    $\begingroup$ A remark on this answer, is that every non-semisimple perfect Lie algebra (fin. dim., in char 0) has a quotient of the form you're describing. So, in a sense, these are the minimal counterexamples (well, it's minimal if the representation is faithful, in the sense that in this case $L\ltimes V$ is not semisimple but all its proper quotients are semisimple). $\endgroup$
    – YCor
    May 2, 2022 at 7:59

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.