Two Lie algebras associated to $GL(n,\mathbb{C})$

452 Views Asked by At

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.

1

There are 1 best solutions below

15
On BEST ANSWER

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.