Introduction to Lie Groups and Their Physical Examples

1. From Continuous Parameters to Smooth Manifolds

Intuitively, a continuous group is one whose elements can be labeled by parameters that vary smoothly. For example, a rotation in a plane is specified by a single angle $\theta \in [0,2\pi )$. As you change $\theta$ continuously, the rotation matrix changes continuously. This simple idea suggests that the group elements themselves form some kind of continuous space.

The correct mathematical object to describe such a space is a smooth manifold. You can think of a manifold as a space that, on a small enough scale, "looks like" standard Euclidean space ${\mathbb{R}}^n$. For example, the surface of the Earth is a 2-dimensional manifold; while globally it is a curved sphere, any small patch of it can be mapped to a flat plane (a map). A Lie group is, at its heart, a set that is simultaneously a group and a smooth manifold, with an additional requirement that these two structures are compatible.

The formal definition is as follows: A Lie group is a set $G$ that is:

1. A group, with a multiplication operation and an inverse.
2. A smooth manifold, meaning it is a space that is locally smooth and can be covered by a set of coordinate charts, much like mapping the globe.
3. Compatible, such that the group operations—multiplication $m(g_1,g_2)=g_1{g}_2$ and inversion $i(g)=g^{-1}$—are smooth functions with respect to the manifold's coordinates.

This compatibility is crucial; it ensures that the geometric smoothness and the algebraic group law work together seamlessly.

To see this definition presented with mathematical precision, the following short video segment is very helpful.

2. The Protagonists: Key Lie Groups in Physics

With the formal definition in hand, let's meet the main characters. Most of the Lie groups we encounter in physics are matrix Lie groups, which are groups whose elements are matrices. This provides a concrete way to represent and work with them.

The Unitary Group U(1) and the Special Orthogonal Group SO(2)

These two groups provide the simplest non-trivial example of a Lie group and illustrate a deep connection between different physical ideas.

• U(1): The Group of Phases. In quantum mechanics, the absolute phase of a wavefunction is unobservable. This corresponds to a symmetry under phase transformations $\psi \to e^{i\alpha }\psi$. The set of all such phase factors, $\{e^{i\alpha }\mid \alpha \in \mathbb{R}\}$, forms a group under multiplication. This is the unitary group in one dimension, U(1).

  • Group Structure: The elements are complex numbers $z$ with $|z|=1$. Multiplication is standard complex multiplication. The identity is 1, and the inverse of $e^{i\alpha }$ is $e^{-i\alpha }$.
  • Manifold Structure: Geometrically, the set of complex numbers with modulus 1 forms the unit circle, $S^1$, in the complex plane. This is a one-dimensional manifold. The single parameter is the angle $\alpha$.

• SO(2): The Group of Plane Rotations. The set of rotations in a two-dimensional plane also forms a group. We can represent these rotations by $2\times 2$ matrices. A rotation matrix $R$ must preserve lengths, which means it must be an orthogonal matrix ($R^{T}R=I$). We also exclude reflections by requiring the determinant to be +1. The group of such matrices is the special orthogonal group in two dimensions, SO(2).

  • Group Structure: The elements are matrices of the form: $$R(\theta )=\left(\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right)$$ The group operation is matrix multiplication, which corresponds to adding the angles: $R({\theta }_1)R({\theta }_2)=R({\theta }_1+{\theta }_2)$.
  • Manifold Structure: Like U(1), the group is parameterized by a single angle $\theta$, so its manifold is also a circle.

It's clear that U(1) and SO(2) have the same structure. They are isomorphic, $U(1)\cong SO(2)$, via the map $e^{i\theta }\mapsto R(\theta )$. This reveals that the abstract symmetry of quantum phase is identical to the geometric symmetry of rotations in a plane.

The Special Orthogonal Group SO(3): Rotations in Our World

This is arguably the most intuitive Lie group: the group of all rotations in three-dimensional space. Your experience with angular momentum in quantum mechanics is precisely the study of the consequences of this symmetry.

• Definition: SO(3) is the group of $3\times 3$ real matrices $R$ such that $R^{T}R=I$ and $\det (R)=1$.
• Manifold Structure: A general $3\times 3$ matrix has 9 real parameters. The orthogonality condition $R^{T}R=I$ is a condition on a symmetric matrix, so it imposes $n(n+1)/2=3(4)/2=6$ independent constraints. This leaves $9-6=3$ free parameters. These can be chosen, for example, as the three Euler angles. SO(3) is therefore a 3-dimensional manifold. Its global structure is more complex than a sphere, but locally it behaves like ${\mathbb{R}}^3$.

The Special Unitary Group SU(2): The Symmetry of Spin

While SO(3) describes rotations of objects in space, quantum mechanical spin is governed by a closely related but distinct group, SU(2). This group is fundamental to the Standard Model and condensed matter systems with spin-1/2 electrons.

• Definition: SU(2) is the group of $2\times 2$ complex unitary matrices $U$ with determinant 1. That is, $U^{†}U=I$ and $\det (U)=1$.

The structure of this group contains a beautiful geometric surprise. Let's see how.

As the notes demonstrate, any matrix in SU(2) can be written in the form:

If we write the complex numbers $a$ and $b$ in terms of four real numbers, $a=x_0+i{x}_1$ and $b=x_2+i{x}_3$, the condition becomes:

This is the equation for a 3-sphere ($S^3$), the sphere in four-dimensional Euclidean space. Thus, the group SU(2) is a 3-dimensional manifold that is topologically a 3-sphere. Like SO(3), it is a 3-dimensional Lie group, but its global manifold structure is different. The deep connection between SO(3) and SU(2) will be the subject of a future lesson.

3. A Glimpse of Mathematical Rigor

We've identified our groups as sets of matrices satisfying certain equations, and we've determined their dimensionality by counting parameters. How does one rigorously prove that these sets are actually smooth manifolds?

For matrix groups, a powerful technique is to use the implicit function theorem. If a group is defined by an equation $F(A)=c$, where $F$ is a smooth function from the space of matrices to some other space, and $c$ is a "regular value" of $F$, then the set of solutions $F^{-1}(c)$ is guaranteed to be a smooth submanifold. The optional resource below shows how this works for SL(n,R) and O(n). This is a beautiful application of differential geometry that puts our physical examples on a firm mathematical foundation.

Conclusion

In this lesson, we have taken the crucial step from discrete to continuous symmetries. We established the formal definition of a Lie group as a space that is both a group and a smooth manifold, with compatible structures.

Key Takeaways:

• A Lie group is a smooth manifold endowed with a group structure such that the group operations (multiplication and inversion) are smooth maps.
• U(1) is the 1D group of phase transformations, isomorphic to the group of 2D rotations, SO(2). They are both topologically a circle, $S^1$.
• SO(3) is the 3D group of rotations in three-dimensional space. It is a 3-dimensional manifold.
• SU(2) is the 3D group of $2\times 2$ special unitary matrices. It is also a 3-dimensional manifold, but one that is topologically equivalent to the 3-sphere, $S^3$.
• These matrix groups provide the mathematical framework for fundamental physical symmetries like rotation, quantum phase, and spin.

The smoothness property of Lie groups is what makes them so powerful. It allows us to study their structure by linearizing them—that is, by examining infinitesimal transformations near the identity element. This "linear approximation" of a Lie group is a vector space known as its Lie algebra. In our next lesson, we will see how to derive the Lie algebra from its parent group and begin to uncover the profound connection between the two.