I have taken a course on Lie algebras this semester and was reading a paper on classification of 3-dimensional Lie algebras. The main goal was to find a base of the Lie algebra with respect to which the structure constants of the bracket are orthonormal and such thing was achieved by working with the dimension of the derived algebra of the Lie algebra. However in class we are dealing with complex such algebras and so far I dont see why, so I wandered if the theory and results are richer when working over the field of complex numbers. Is there a way to "connect" a real Lie algebra with a complex one?
-
1You can always complexify a real Lie algebra $L$ by considering $L_{\mathbb{C}}=L\otimes_{\mathbb{R}} \mathbb{C}$. – Captain Lama Feb 23 '20 at 13:31
-
As for "Why complex Lie algebras?", you might find some insights in the answers to https://math.stackexchange.com/q/3677508/96384 (and mildly relatedly although seemingly in the reverse direction, https://math.stackexchange.com/a/3618376/96384). If you really want to go into the subtleties of "going up and down" between real and complex scalars, here are two rabbitholes of summaries with further links: https://math.stackexchange.com/a/3895802/96384 and https://math.stackexchange.com/a/4184237/96384. – Torsten Schoeneberg Aug 25 '21 at 16:51
2 Answers
For the classification, also in dimension $3$, the field is important. This is one reason why in class other fields have been considered than real numbers. In particular complex numbers are nice because the field is algebraically closed.
Over the real numbers, for example, both Lie algebras $\mathfrak{so}_3(\Bbb R)$ and $\mathfrak{sl}_2(\Bbb R)$ are simple, but not isomorphic. Their complexifications however become both isomorphic to $\mathfrak{sl}_2(\Bbb C)$, which is the only complex simple Lie algebra in dimension $3$.
In general we can "connect" the classifications by considering Galois cohomology. This is used, for example, to obtain a classification of all $3$-dimensional Lie algebras over $\Bbb Q$ - see for example this post.
- 140,055
Yes. If $\mathfrak g$ is a real Lie algebra, you can complexify it, taking the tensor produc (over $\mathbb R$) $\mathfrak g_{\mathbb C}=\mathfrak g\bigotimes\mathbb C$. It then becomes a complex Lie algebra, with the bracket $[X\otimes\lambda,Y\otimes\mu]=[X,Y]\otimes(\lambda\mu)$.
- 440,053