2
$\begingroup$

Let $\frak{g}$ be a finite-dimensional complex nilpotent Lie algebra. What conditions on $\xi\in\frak{g}$ ensure the existence of a (canonical or non-canonical) surjective morphism $\frak{g}\rightarrow\frak{g}_{\xi}$ of complex Lie algebras? Also, what are some of the known decomposition theorems for finite-dimensional complex nilpotent Lie algebras?

$\endgroup$
5
  • $\begingroup$ What do you mean by $\mathfrak{g}_\xi$? $\endgroup$
    – MTS
    Jul 26, 2012 at 18:41
  • $\begingroup$ I am referring to the stabilizer of $\xi$ under the adjoint represenation of $\frak{g}$. (ie. $\frak{g}_{\xi}=\{\eta\in\frak{g}:[\eta,\xi]=0\}$. $\endgroup$ Jul 26, 2012 at 20:34
  • $\begingroup$ With no motivation, the first question seems a little senseless to me. For the second question, there is no general decomposition result in the spirit of the decompositions of semisimple Lie algebras, or the decomposition of an arbitrary finite-dimensional Lie algebra (in char 0) as a semidirect product of a semisimple by a solvable one. $\endgroup$
    – YCor
    Jul 27, 2012 at 6:44
  • $\begingroup$ Theorem 1.13.19 in Dixmier's "Enveloping algebras" is a decomposition theorem for representations of finite dimensional complex nilpotent Lie algebras. It states that every finite dimensional such representation is uniquely the direct sum of its generalised eigenspaces. $\endgroup$
    – user91132
    Jul 27, 2012 at 8:04
  • $\begingroup$ You can consider that if $\phi:\mathfrak{g}\to\mathfrak{g}_xi$ is an epimorphism of Lie algebras. Then $\mathfrak{g}\mid ker(\phi)\equiv \mathfrak{g}_\xi$. In conclusion $\mathfrak{g}\equiv \mathfrak{g}_\xi\oplus ker(\phi)$ as a vector space, where $ker(\phi)$ is an ideal and $\mathfrak{g}_\xi$ is a subalgebra. Is that the kind of decompositions you are looking for? As a direct sum of an ideal and a subalgebra? $\endgroup$
    – dan232
    Jul 27, 2012 at 9:06

1 Answer 1

2
$\begingroup$

A well-known decomposition theorem for nilpotent Lie algebras is the weight space decomposition, studied by R. Carles, L. J. Santharoubane and others (in the nilpotent case). Here $L$ is a finite-dimensional nilpotent Lie algebra over an algebraically closed field of characteristic zero, and $Der(L)$ its derivation algebra, $T$ a torus on $L$, that is, a commutative subalgebra of $Der(L)$ consisting of semisimple endomorphisms. This defines naturally a linear representation of $L$, and the elements of $T$ can be diagonalized simultaneously. Therefore we have the decomposition $$ L=\bigoplus_{\alpha \in T^{*}}L^{\alpha}, $$ where $L^{\alpha}$ is the set of $x\in L$ with $t(x)=\alpha (t)x$ for all $t\in T$. The equivalence class of a weight system is an invariant of $L$. It has been studied intensively for nilpotent Lie algebras, e.g., for the classification in low dimensions, and for the cohomology of nilpotent Lie algebras.

$\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.