2
$\begingroup$

I have elementary questions about Lie groups and their associated Lie algebras.

Let $G=GL(n,\mathbb{C})$. Then associated to this Lie group is the Lie algebra $M_n(\mathbb{C})$ with the commutator relation $[x,y]=xy-yx$ or we can define its Lie algebra to be $M_n(\mathbb{C})$ with left-invariant vector fields.

  1. When would we want to use one over the other? Are they equivalent? Is the Lie algebra with left-invariant vector fields only defined over $\mathbb{R}$?

  2. Why aren't we working with right-invariant vector fields?

  3. $M_n(\mathbb{C})$ can be thought of as $n^2$-dimensional complex Lie algebra or $2n^2$-dimensional real Lie algebra with complex structure. What is an example of an even dimensional real Lie algebra that cannot have a complex structure? Does there exist such an example using a subset of matrices?

  4. Could there exist other Lie algebras (other than the ones mentioned above) for $GL(n,\mathbb{C})$?

Thank you.

  • 4
    You could be more explcit about what you mean by "with left-invariant vector fields": vector fields are not part of the language of Lie algebras in the way the Lie bracket is (although some sets of vector fields do have a natural Lie algebra structure). Then if you make explicit how the Lie bracket is defined in terms of left-invariant vector fields, it is merely an exercise to check whether this Lie bracket is the same as the one defined by the commutator (it is). Can you do it?2012-07-09

1 Answers 1

9

Let me answer each of your questions:

(1) The first characterization of the Lie algebra of $G$ is convenient because it is concrete, i.e., it is very useful in practice. For example, one would use the first characterization of the Lie algebra of $G$ when one explictly wishes to compute the differentials of Lie algebra homomorphisms. However, the second characterization of the Lie algebra of $G$ is convenient because it is abstract, i.e., it is very useful in theory.

The two characterizations are equivalent. The proof of this equivalence is a standard result in Lie theory. The Lie algebra of $G$ is a complex Lie algebra (because, for example, $G$ is a complex Lie group).

(2) We could certainly work with right-invariant vector fields and the theory would remain the same. The reason for the preference of "left" in place of "right" is the same as the reason for the preference of composing functions from right to left rather than from left to right; however, this is more a matter of tradition than a matter of mathematics.

(3) Let $\mathfrak{u}(n)$ denote the real vector space consisting of all $n\times n$-matrices with complex entries that are skew-hermitian.

Exercise 1: Prove that $\mathfrak{u}(n)$ is a real Lie algebra but that it is not even a complex vector space and thus cannot be a complex Lie algebra.

Exercise 2: Prove that $\mathfrak{u}(n)$ is the Lie algebra of $U(n)$.

Exercise 3: Prove that the dimension of the real Lie algebra $\mathfrak{u}(n)$ is $\frac{n(n+1)}{2}$. In particular, the real Lie algebra $\mathfrak{u}(n)$ is even-dimensional if and only if $n\equiv 0,3 \pmod 4$.

(4) No. A Lie group $G$ has a unique Lie algebra by definition. Edit: Jim Conant (rightly) pointed out below in the comments that one can associate more than one Lie algebra to a Lie group. In addition to the "standard Lie algebra of a Lie group", one can associate the Lie algebra consisting of all smooth vector fields on the Lie group $G$. In fact, this construction is valid even when $G$ is not necessarily a Lie group but only a smooth manifold.

Exercise 4: Prove that the Lie algebra consisting of all smooth vector fields on the smooth manifold $M$ is equivalent to the Lie algebra consisting of all derivations $C^{\infty}(M)\to C^{\infty}(M)$.

Exercise 5: Prove that the Lie algebra of a Lie group $G$ is a subalgebra of the Lie algebra of $G$ consisting of all smooth vector fields on $G$.

I hope this helps! I appreciate that some of my explanations are probably not as complete as is required for someone asking these questions. Please feel free to ask for further explanation if you wish.

  • 1
    @Qiaochu The problem of determining whether or not a real Lie algebra possesses a complex structure appears to be an interesting one. I found [the following paper](http://arxiv.org/abs/math/9808025) which is relevant in this connection.2012-07-13