A Lie group is a group that has the structure of a smooth manifold, meaning its elements vary continuously and smoothly, allowing calculus to be performed them.
It is named after the Norwegian mathematician Sophus Lie, who developed the theory in the late 19th century. All SO(n) and SU(n) groups are Lie groups.
But what exactly is a manifold? It is a set of points describing a topological space that locally resembles Euclidean space 
. For example, a line is a one-dimensional manifold because every sufficiently small neighbourhood is indistinguishable from an interval in 
. Similarly, a circle is a collection of coordinates that satisfy the rule in which it closes back on itself globally, while every sufficiently small arc is locally indistinguishable from a straight line.
A sphere provides a two-dimensional example. Although the surface of a sphere is globally curved and closed, a sufficiently small patch of its surface looks flat, like a region of 
. This is exactly how we experience the Earth: because our perspective is limited to a small patch, the ground behaves locally like a two-dimensional flat plane, even though the planet is embedded in three-dimensional space.
This idea extends naturally to higher dimensions. A three-dimensional manifold is a space in which every point has a neighbourhood that resembles 
; a four-dimensional manifold locally resembles 
, and so on. In general, an 
-dimensional manifold can be curved, twisted, or have a complicated global structure, while still appearing locally like ordinary -dimensional Euclidean space. What matters is not the dimension of the surrounding space, but the number of coordinates needed to describe each local neighbourhood.
SO(n)
SO(n) is the special orthogonal group of degree 
, consisting of all orthogonal matrices with determinant 1. An example is SO(2), which consists of all 
proper rotation matrices. A finite rotation by an angle 
about the origin is represented by
=\begin{pmatrix}cos\theta&-sin\theta\\sin\theta&cos\theta\end{pmatrix})
,R(\theta_2),\cdots,)
, where 
, corresponds to a set of matrices that forms the defining representation of SO(2). Each rotation matrix can be viewed as a point in the SO(2) space, with all the points continuously parameterised by a single angle . As varies, the set of rotation matrices forms a space with the topology of a circle. Since every sufficiently small neighbourhood on this circle is locally indistinguishable from an interval in , SO(2), which is characterised by these set of points, is a one-dimensional manifold.
Calculus can be performed on )
because its matrix elements 
and 
are smooth functions of . For example, can be differentiated with respect to :
}{d\theta}=\begin{pmatrix}-sin\theta&-cos\theta\\cos\theta&-sin\theta\end{pmatrix})
Furthermore, composing two rotations corresponds to matrix multiplication, R(\theta_2)=R(\theta_1+\theta_2)=R(\theta_3))
, showing that the group operation is also smooth. A smooth group operation means that if the rotation angles are changed by small amounts R(\theta_2+d\theta_2))
, the resulting rotation also changes smoothly by the corresponding amount )
. These properties make SO(2) a Lie group.
One important consequence of a Lie group’s continuous structure is that finite transformations can be constructed by exponentiating infinitesimal generators 
, e.g. =e^{\theta J})
, where }{d\theta}\right| _{\theta=0})
. To elaborate on this, consider an infinitesimal rotation 
about the origin described by:
=\begin{bmatrix}cos(\delta\theta)&-sin(\delta\theta)\\sin(\delta\theta)&cos(\delta\theta)\end{bmatrix})
Applying the first-order Taylor expansions 
and 
yields
\approx\begin{pmatrix}1&-\delta\theta\\\delta\theta&1\end{pmatrix}=I+\delta\theta\begin{pmatrix}0&-1\\1&0\end{pmatrix})
Substituting }{d\theta}\right| _{\theta=0}=\begin{pmatrix}0&-1\\1&0\end{pmatrix})
and 
into the above equation, where 
is a large positive integer, gives
\approx I+\frac{\theta}{N}J)
A rotation by an angle 
applied sequentially times is equivalent to a single rotation by an angle . Therefore,
\right\]^N=R(\theta)\approx\left\(I+\frac{\theta}{N}J\right\)^N)
Taking the limit as 
,
=\lim_{N\rightarrow\infty}\left\(I+\frac{\theta}{N}J\right\)^N)
This limit defines the matrix exponential function 
(see this article for details). So,
To see explicitly how truly generates the matrix representation , consider the Taylor series of the matrix exponential:
Noting that 
, with 
and 
,
+J\left\(\theta-\frac{\theta^3}{3!}+\cdots\right\)\\&=Icos\theta+Jsin\theta=\begin{pmatrix}cos\theta&-sin\theta\\sin\theta&cos\theta\end{pmatrix}=R(\theta)\end{align})
In other words, , as part of the exponential function, generates the representation .
If we multiply by a scalar 
, so that 
, the same Taylor series argument results in )
, where 
. Therefore, 
is the general form of the infinitesimal generator of the matrix representation .
Expressing as a function of time, with 
, gives
=\begin{pmatrix}cos\omega t&-sin\omega t\\sin\omega t&cos\omega t\end{pmatrix})
where is the angular velocity.
As mentioned earlier, the SO(2) group is a one-dimensional manifold with the shape of a circle. A point on this manifold can represented by )
. As 
varies, traces out a curve on the manifold. The derivative of this curve with respect to time gives a tangent vector to the manifold at each point.
If we regard as a curve in the vector space of matrices, then the identity matrix corresponds to the point on the curve at 
because =I)
. Therefore, the derivative of with respect to time at the identity is
}{dt}\right| _{t=0}=\begin{pmatrix}0&-\omega\\\omega&0\end{pmatrix})
It follows that this derivative, which is the general form of the infinitesimal generator, is a tangent vector to SO(2) at the identity. Since can take any real value, the set of all possible tangent vectors at the identity is 
. Importantly, this set forms a vector space. For example, its elements are closed under addition:
\\\omega_1+\omega_2&0\end{bmatrix})
and scalar multiplication:
The significance of this is that although SO(2) is a nonlinear, curved manifold, its tangent space at the identity is a flat vector space that can be studied using linear algebra. This provides a linear approximation to the Lie group near the identity. We say that the tangent space, denoted by )
, is the Lie algebra associated with SO(2).
Regarding the SO(n) group in general, if we assume that represents any smooth curve through the identity, where , then }{dt}\right| _{t=0})
is a tangent vector to SO(n) at the identity. Since the elements of SO(n) are orthogonal matrices, 
. Differentiating ^TR(t)=I)
with respect to time gives
^TR(t)+R(t)^TR'(t)=0)
Substituting and =M)
into the above equation yields the definition of a skew-symmetric matrix:
It follows that every tangent vector at the identity of SO(n) is a skew-symmetric matrix. Therefore, the tangent space at the identity, which is the Lie algebra )
, is given by
=\{M\in\mathbb{R}^{n\times n}:M^T=-M\})
Let’s define =e^{tM})
, which satisfies ^TR(t)=e^{tM^T}e^{tM}=e^{-tM}e^{tM}=I)
. Then, =e^0=I)
and . Since every skew-symmetric matrix has zero trace, =e^{tr(M)t}=1)
, where we have used the identity =e^{Tr(H)})
(see property 15 of this article for the proof). Thus, )
.
Now, SO(n-1) is a subgroup of SO(n) such that if the matrices 
and the identity 
are elements of SO(n-1), then an element of SO(n) can be expressed generally as )
. So, if 
where )
, then an element of SO(n) is given by
where 
(see this article for details) is skew-symmetric because each 
is skew-symmetric.
Rewriting 
using the SO(2) infinitesimal generator , where 
and 
, gives 
, and hence,
}\\&=e^{t\theta_1J}\oplus\cdots\oplus e^{t\theta_kJ}\oplus I_{k+1}\oplus\cdots\oplus I_n\end{align*})
Since we have already established that \in SO(2))
,
&0&0&0&0&0\\0&\ddots&0&0&0&0\\0&0&R(t\theta_k)&0&0&0\\0&0&0&I&0&0\\0&0&0&0&\ddots&0\\0&0&0&0&0&I\end{bmatrix})
Hence, is an infinitesimal generator of SO(n). For example, the infinitesimal generator
generates the SO(3) element
=\begin{pmatrix}cos\theta&-sin\theta\\sin\theta&cos\theta\end{pmatrix}\oplus I=\begin{pmatrix}cos\theta&-sin\theta&0\\sin\theta&cos\theta&0\\0&0&1\end{pmatrix})
which describes rotations in the 
-plane.
SU(n)
In the case of the special unitary group SU(n) of degree, the elements are unitary matrices satisfying 
and =1)
. It follows that =e^{-itH}\implies e^{itH}e^{-itH}=I)
, where 
is a Hermitian matrix. By convention, is defined as an infinitesimal generator of SU(n).
Differentiating ^{\dagger}U(t)=I)
with respect to time gives
^{\dagger}U(t)+U(t)^{\dagger}U'(t)=0)
Evaluating at using =I)
and =M)
, where 
, yields the definition of a skew-Hermitian matrix:
Thus, every tangent vector at the identity of SU(n) is skew-Hermitian. Using the identity =e^{Tr(B)})
(see property 15 of this article for the proof),
]=det(e^{-itH})=e^{-itTr(H)})
Since every SU(n) matrix must satisfy , we require }=1)
for all , which implies that =0)
, or equivalently, =-iTr(H)=0)
. Therefore, the tangent space at the identity, which is the Lie algebra )
, is
=\{M\in\mathbb{C}^{n\times n}:M^{\dagger}=-M,Tr(M)=0\})
As 
consists of vectors in the inner product space , we can use the Gram-Schmidt process to orthogonalise the collection of matrices such that:
=h\delta_{ij}\;\;\;\;\;\;\;\;125)
where 
is a scaling constant.
Since 
, which is also known as a Lie bracket, is an element of , we can express it as a linear combination of :
where the coefficients 
are known as the structure constants.
Substituting 
into the commutator gives
Multiplying both sides by 
and taking the trace yields
=i\sum_kf_{ijk}Tr(H_kH_m))
Substituting and 
into =h\delta_{ij})
results in =Tr(H_iH_j)=h\delta_{ij})
. Thus,
=ih\sum_kf_{ijk}\delta_{km}=ihf_{ijm})
Multiplying both sides by 
and replacing the indices 
with 
gives
=-\frac{i}{h}Tr(H_aH_bH_c-H_bH_aH_c)\;\;\;\;\;\;\;\;126)
Swapping the first two indices 
results in
=\frac{i}{h}Tr([H_a,H_b]H_c)=-f_{abc})
Swapping the last two indices 
yields
=-\frac{i}{h}Tr(H_aH_cH_b)+\frac{i}{h}Tr(H_cH_aH_b))
Using the cyclic identity =Tr((CAB)=Tr(BCA))
(see property 14 of this article for the proof) gives
+\frac{i}{h}Tr(H_aH_bH_c)\\&=-\frac{i}{h}Tr([H_b,H_a]H_c)=\frac{i}{h}Tr([H_a,H_b]H_c)=-f_{abc}\end{align*})
Since 
, it is totally antisymmetric under the permutation of any pair of its indices. If any two indices of the structure constant are equal, such as 
, swapping the two a’s gives 
, which is only possible if 
. Therefore, 
becomes
We shall now explain how the structure constant is related to the Levi-Civita symbol 
, where
\;is\;an\;even\;permutation\;of\;(1,2,3)\\-1&when\;(a,b,c)\;is\;an\;odd\;permutation\;of\;(1,2,3)\\0&when\;any\;two\;or\;more\;indices\;are\;identical\end{matrix})
Consider the Taylor series (see this article for derivation)
=e^{tM}\approx I+tM)
If we regard )
as a moving particle on the curved manifold of the Lie group, its velocity vector at any time is found by taking the derivative. At , the first-order approximation gives
\right| _{t=0}=\left.\frac{d}{dt}(I+tM)\right| _{t=0}=M)
Since , 
represents the tangent vector, or instantaneous direction of motion, of the path as it leaves the identity. For example, 
may represent one tangent direction in the SU(n) manifold, while 
represents another. Because the number of independent variables in describes the particle’s degrees of freedom on the manifold, the number of independent 
, and hence the number of independent 
, must correspond to the number of independent variables in .
In the case of SU(2), an element can be written as: 
. Although 
initially contains four real variables because 
and 
, the condition gives 
, or equivalently,
It follows that the number of independent variables in is given by 
for SU(n). For SU(2), the constraint leaves three independent variables (or three degrees of freedom), corresponding to three independent . Therefore, the indices in 
can only take the values in the set 
. Because is totally antisymmetric, its value is determined by a single ordered triplet with all indices distinct, such as 
. Any other permutation of these indices will either gives , changes its sign, or yields a vanishing structure constant. Therefore,
To evaluate , consider an SU(2) rotation by an angle 
described by the operator =e^{-i\frac{\mu}{2}\hat{A}})
, where 
, and 
are the Pauli matrices:
If 
and 
, we have =e^{-i\mu\frac{\hat{\sigma}_3}{2})
. Using 
, setting 
and comparing )
with =e^{-itH})
gives 
. Since =0)
and , then . Hence, the matrices 
, which are Hermitian and traceless, are infinitesimal generators of SU(2).
Substituting and into eq125 yields
=\frac{1}{4}Tr(\hat{\sigma}_i\hat{\sigma}_j)=h\delta_{ij})
Since =2)
, the scaling constant is 
, giving
=\frac{1}{2}\delta_{ij}\;\;\;\;\;\;\;\;128)
Substituting back into eq126 results in )
. Now,
=2i\hat{\sigma}_3\end{align*})
So, 
. Substituting this back into gives
=2Tr(H_3H_3)\;\;\;\;\;\;\;\;128a)
From eq128, =1)
. Therefore, 
and eq127 becomes 
. Finally substituting this back into eq126a yields
This is the defining condition of the infinitesimal generators of SU(2) and is also the iconic commutation relation for angular momentum and spin operators in quantum mechanics.
For SU(3), the number of independent variables in increases to 
. Consequently, the indices 
now range from 1 to 8. While the structure constants remain totally antisymmetric, they can no longer be represented by a single Levi-Civita symbol. To analyse these structure constants, we refer to the set of SU(3) generators 
, where 
are the Gell-Mann matrices (see this article for details):
Since the Gell-Mann matrices are chosen to satisfy =2\delta_{ab})
,
=\frac{1}{4}Tr(\lambda_a\lambda_b)=\frac{1}{2}\delta_{ab})
Therefore, the scaling constant remains , and so )
. The first three Gell-Mann matrices 
contain Pauli matrices embedded in the their upper-left block. Evaluating the commutator for these matrices yields 
. Substituting this and into eq128a gives
Repeating the analysis for other permutations results in
Any permutation of the indices of the above structure constants changes the sign according to the parity of the permutation, such as 
and 
. All other combinations of indices that cannot be permutated into the sets above, and do not have distinct elements across these families, automatically vanish. Using eq125a, the general commutation relation defining the SU(3) generators is:
