There is a saying that “groups, like men, will be known by their actions.” The groups we are interested in here are known by their actions as linear transformations on vector spaces (of finite dimension, over or ). Thus for every we must have for all scalars and . Since we require that , the group element must be invertible, so it lives in , the group of linear transformations with nonzero determinant. The term for this type of action, or equivalently a homomorphism , is a representation of .
Here’s a basic example of a representation: let for some . We can define by sending
.
This identifies as the group of rotations of order about the origin.
The group has additional structure. If as a vector space over , we can identify as a subset of , consisting of the -tuples whose determinant is nonzero. This means is an open subset of . This gives a geometric structure as a smooth manifold, which allows us to define things like tangent spaces, derivatives of functions, and vector fields in terms of . The important point here is that the group structure is compatible with this geometric structure, that is, the group law is a smooth function , and so is the inverse operation as a function .
This motivates a definition. If is both a group and a smooth manifold (think “open subset of “), and the operations and define smooth maps, then we call a Lie group. If is another Lie group, we can also define a map of Lie groups to be a group homomorphism which is also differentiable.
An obvious example of a Lie group is just itself. This has the normal Lie subgroup consisting of matrices with determinant 1.
Another example is the special unitary group , which consists of matrices with determinant 1 that preserve the complex inner product , where is the conjugate transpose of . If then we must have
,
so that . Writing , then since , we must have
,
.
Now if we let , we see that , so that is the 3-dimensional sphere .
The nice thing about Lie groups is that, although in theory their geometry might be complicated, their group operations give us extra tools that we can use, which makes working with them a lot easier. For example, left multiplication by is a smooth map with a smooth inverse – a diffeomorphism – such that , where is the identity. So every point in is topologically the same as the identity, thus is homogeneous. Further, if is connected, then any neighborhood of the identity element generates the whole group (you can show that the group generated by this neighborhood is both open and closed).
So a Lie group’s topology is described by the neighborhoods about the identity, and if it is connected, any arbitrarily small neighborhood gives us the whole group. We will go even further and consider infinitesimal transformations, which are vectors in the tangent plane of at the identity (these are “infinitesimally” close to ).
First, note that while left-multiplication is a diffeomorphism of to itself, it isn’t a group homomorphism. We can fix this by instead using conjugation, defining , which is an automorphism of , . In fact, , so that is a homomorphism into the automorphism group of .
We are one step away from finding a canonical representation of , an action on a vector space. The differential of at is a linear map denoted , that goes from , the tangent space of at , to (using local coordinates, the differential of a map is just the Jacobian matrix, ). Let . Then using the chain rule,
.
Thus, is a homomorphism , or in other words, a representation. We call this the adjoint representation of . Our last step is taking the differential of at . This gives a map
Since is an open subset of the vector space of linear maps from to itself, its tangent space at any point can be identified with . The map then assigns to every a linear transformation . This naturally gives an operation on , where we combine two tangent vectors by taking . We call the Lie bracket of and . The vector space together with the Lie bracket is the Lie algebra of .
What exactly is this Lie bracket? Let’s assume our group is a matrix group, that is, a subgroup of . Then the tangent space is a subspace of , the space of matrices. The nice thing is that the map is still just conjugation, so for any matrix . Now if , and is a curve such that , then using matrix derivatives,
,
and differentiating both sides of at shows that which gives us
.
So the bracket is just the commutator of matrices. With a little work, we can show two properties of from this definition:
- Bilinearity: , and
- Skew-symmetry:
Now since , and the latter space has a Lie bracket on it (the commutator of matrices), we should also expect that preserves the Lie bracket. That means that
.
Rearranging some terms using skew-symmetry gives us the third property:
- Jacobi identity:
These three properties define a general Lie algebra: any (real/complex) vector space with a skew-symmetric, bilinear form with the Jacobi identity is a Lie algebra. Note that in a general Lie algebra, the bracket is not necessarily the commutator . If we identify as a subalgebra of , then the bracket does become the commutator, but a priori there is no way to “multiply” elements of intrinsically: we could have even though .
The natural question is whether any general Lie algebra is the Lie algebra of some Lie group. The answer lies in the exponential function. First, we use Ado’s theorem to make our lives easier. This just says that any finite-dimensional Lie algebra is a Lie subalgebra (a subspace which contains the brackets of all its elements) of the matrix algebra equipped with the commutator bracket. If your Lie algebra is a subalgebra of , then the exponential function is just the matrix exponential, which is given by the power series
.
This converges for any . If and commute with each other, we get . This means that , so that has an inverse, and so has an image in . Also, since commutes with its scalar multples, for every , the map is a group homomorphism. In fact, for closed subgroups , the Lie algebra of is precisely the for which this homomorphism has an image in , so that .
This allows us to compute the Lie algebras of some Lie groups explicitly, by differentiating the exponential map and using the property that
.
For example consider the matrix group . For any matrix , is always invertible, so the Lie algebra of is just .
What about its subgroup ? It’s easy to check that the eigenvalues of are just where is an eigenvalue of . The determinant of is just the product of all these eigenvalues,
,
where is the sum of the eigenvalues, or trace of . If , then
.
So consists of all the traceless matrices. Similarly, by differentiating both sides of
at , we can show that the Lie algebra of the unitary group consists of skew-Hermitian matrices, that is, the matrices for which .
For in a small neighborhood of the identity, the exponential map has an inverse called the logarithm, which is again given by a power series
.
Suppose is connected. Then because the logarithm map exists in some neighborhood of , this neighborhood lives in the image of the exponential map. Since this neighborhood also generates , the image generates . So any abstract Lie algebra is the Lie algebra of the Lie group generated by the image in .
If are close to the origin, so that and are close to the identity in , then is the exponential of some vector . This is given by
,
and we use to denote .
This might be unsatisfying, because the definition of involves the map , which is not defined intrinsically in terms of the Lie algebra itself: we can’t take powers of and expect them to always be in . We would like to define in terms of the Lie algebra, which means only using the Lie bracket and linear combinations. However, the shocking result of the Baker-Campbell-Hausdorff formula is that although and don’t involve the Lie bracket in their definitions, can be written in terms of brackets. The first few terms are
The map and the Baker-Campbell-Hausdorff formula make the philosophy that the Lie algebra “locally” describes the nature of its Lie group precise. In a neighborhood of the identity, not only can we write everything as the exponential of something in the Lie algebra, but then using only the structure of the Lie bracket, we can also compute the product of elements in this neighborhood by Baker-Campbell-Hausdorff.