Is a Lie algebra a complex or a real vector space?

1.1k Views Asked by At

I am trying to learn Lie theory and for this purpose I worked out the Lie algebras of some matrix groups. The examples I worked happened to be complex matrix groups and it lead me to wonder whether, when I try to determine a basis, I had to find a complex or a real basis.

Is there any convention, definition or otherwise a way to know whether a Lie algebra is to be understood as a complex or real vector space?

2

There are 2 best solutions below

6
On BEST ANSWER

A real Lie algebra is a real vector space and a complex Lie algebra is a complex vector space. Standard notations for standard Lie algebras usually implicitly specify which is which; for example, $\mathfrak{gl}_n(\mathbb{R})$ is naturally a real Lie algebra while $\mathfrak{gl}_n(\mathbb{C})$ is naturally a complex Lie algebra. If the author does not specify then you need to figure out which is intended from context.

Two warnings: $\mathfrak{u}(n)$ is a real Lie algebra. It does not have a natural complex structure. And people frequently take complexifications $\mathfrak{g} \otimes_{\mathbb{R}} \mathbb{C}$ of real Lie algebras, e.g. when determining their complex representation theory.

2
On

In general a Lie algebra is defined over an arbitrary field. For connection with $p$-groups, the field may be also a finite field $\mathbb{F}_q$ of characteristic $p>0$. Many results for Lie algebras, however, are only true over an algebraically closed field of characteristic zero, e.g., Lie's theorem for Lie algebras. Note that the classification of finite-dimensional simple Lie algebras in characteristic $p>0$ differs drastically from the one in characteristic $0$.