Lie algebra of Lorentz group

The theory of special relativity revolutionized our understanding of space and time, uniting them into a single entity: spacetime. The symmetries of this spacetime—the rules ensuring that the laws of physics are the same for all uniformly moving observers—are described by a mathematical object known as the Lorentz group. But to truly grasp the deep, predictive power of this symmetry, we must look at its infinitesimal core: the Lie algebra of the Lorentz group. This algebraic structure addresses the fundamental question of how the basic building blocks of motion—rotations and boosts—combine and interact.

This article will guide you through the intricate yet elegant machinery of this algebra, revealing the hidden rules that govern our reality. In the "Principles and Mechanisms" chapter, we will dissect the algebra's generators, explore their commutation relations, and uncover the surprising origin of relativistic phenomena like Wigner rotation. We will also see how this complex structure simplifies into a beautiful unified form that is key to classifying the fundamental constituents of the universe. Following this, the "Applications and Interdisciplinary Connections" chapter will demonstrate how this abstract framework has profound, concrete consequences, dictating the properties of elementary particles, forming a crucial component of general relativity, and showing how our familiar classical world emerges as a special case.

Now that we have set the stage, let's peel back the curtain and look at the machinery that makes special relativity tick. At its heart lies a beautiful mathematical structure known as the ​​Lie algebra of the Lorentz group​​, denoted $\mathfrak{so}(1,3)$. Don't let the name intimidate you. A Lie algebra is simply the collection of "infinitesimal" transformations—the smallest possible rotations and boosts you can imagine. By understanding the rules that govern how these tiny steps combine, we can understand all possible Lorentz transformations. It’s like learning the fundamental rules of chess; once you know how the pieces move, you can begin to comprehend the infinite complexity and beauty of the game.

The Lorentz algebra has six "fundamental moves" or ​​generators​​. Three of these are the familiar generators of rotations about the three spatial axes, which we'll call $J_1, J_2, J_3$ (for rotations about the $x, y, z$ axes, respectively). The other three are the generators of Lorentz boosts, which we'll call $K_1, K_2, K_3$ (for boosts along the $x, y, z$ axes).

The entire structure of the algebra—the complete set of rules for the game of spacetime symmetry—is captured in the ​​commutation relations​​ between these generators. The commutator, written as $[A, B] = AB - BA$, tells us how the final state depends on the order in which we apply two transformations. If the commutator is zero, the order doesn't matter; if it's non-zero, it does, and the result reveals something deep about the structure of the symmetries.

Let's look at the rules one by one:

1. ​​Rotations with Rotations:​​ $[J_i, J_j] = i \epsilon_{ijk} J_k$ This is the familiar rule for combining rotations, well-known from the study of angular momentum in quantum mechanics. It tells us that rotating around the $x$-axis and then the $y$-axis is not the same as doing it in the reverse order; the difference is a rotation about the $z$-axis. The three rotation generators form a closed, self-contained system. They form their own little subalgebra, the Lie algebra $\mathfrak{so}(3)$.

2. ​​Rotations with Boosts:​​ $[J_i, K_j] = i \epsilon_{ijk} K_k$ This rule is also quite intuitive. It says that the set of boost generators $\{K_1, K_2, K_3\}$ transforms as a vector under rotations. For example, if you take a boost along the $x$-axis ($K_1$) and "rotate" it using $J_2$ (a rotation about the $y$-axis), the result is a boost along the $z$-axis ($K_3$). This makes perfect physical sense: if you have an apparatus that boosts particles in one direction and you rotate the entire laboratory, you would expect the boosted particles to now emerge in the new, rotated direction.

Now we come to the most fascinating and counter-intuitive rule, the one that truly separates the relativistic world from our everyday Galilean intuition.

3. ​​Boosts with Boosts:​​ $[K_i, K_j] = -i \epsilon_{ijk} \frac{J_k}{c^2}$ Look at this carefully. What does it mean? Let’s take a specific example, the commutator of a boost along the $x$-axis and a boost along the $y$-axis: $[K_x, K_y]$. The rule tells us the result is proportional to $J_z$. This is astonishing! It means that applying a boost in one direction, followed by a boost in a perpendicular direction, is not the same as applying them in the reverse order. More surprisingly, the difference is not another boost, but a ​​rotation​​!

   This phenomenon, known as ​​Wigner rotation​​ or ​​Thomas precession​​, is a purely relativistic effect. It has no counterpart in classical mechanics. If you are in a rocket and you fire your thrusters to accelerate in the forward direction, and then fire side thrusters to accelerate to the right, you will find that your rocket has also inexplicably rotated. The sequence of two pure boosts results in a boost in a new direction plus a rotation. This minus sign in the commutation relation is not just a mathematical quirk; it is the seed of one of the deepest kinematical consequences of relativity. The fact that the full set of generators obeys the fundamental consistency check for any Lie algebra, the ​​Jacobi identity​​, confirms that this surprising structure is perfectly self-consistent.

Having two different types of generators, $J$ and $K$, with three different-looking rules can feel a bit clumsy. True elegance in physics often comes from unification. Can we describe all six generators as components of a single, unified object?

The answer is a resounding yes. We can define an ​​antisymmetric tensor of generators​​, $M^{\mu\nu}$, where the Greek indices $\mu, \nu$ run from 0 to 3 (for time and the three spatial dimensions). This single object contains all our generators:

• The ​​rotation generators​​ are the purely spatial components: $J_i = \frac{1}{2} \epsilon_{ijk} M^{jk}$.
• The ​​boost generators​​ are the space-time components: $K_i = M^{0i}$.

With this master object, the three separate commutation rules magically condense into a single, breathtakingly elegant equation: $[M^{\mu\nu}, M^{\rho\sigma}] = i(g^{\nu\rho}M^{\mu\sigma} - g^{\nu\sigma}M^{\mu\rho} - g^{\mu\rho}M^{\nu\sigma} + g^{\mu\sigma}M^{\nu\rho})$ Here, $g^{\mu\nu}$ is the Minkowski metric that defines the geometry of spacetime. This one equation contains all the physics of the previous three. It embodies the full symmetry of special relativity in a compact and manifestly covariant form—a form that looks the same to all inertial observers. You can test for yourself that all the previous rules can be derived from this one master equation. This is the kind of profound unity that physicists strive for.

The story gets even better. Let's play a game that mathematicians and physicists love: when an algebra looks complicated, try looking at it over the complex numbers. Let's define a new pair of generators, which are linear combinations of our old $J_i$ and $K_i$: $A_i = \frac{1}{2}(J_i + i c K_i)$ $B_i = \frac{1}{2}(J_i - i c K_i)$ Now, let's see what the commutation rules are for these new objects. A little bit of algebra yields a truly remarkable result: $[A_i, A_j] = i \epsilon_{ijk} A_k$ $[B_i, B_j] = i \epsilon_{ijk} B_k$ $[A_i, B_j] = 0$ This is absolutely stunning! The tangled commutation relations of the Lorentz algebra have completely unraveled. The algebra has split into two completely independent, non-interacting copies of the familiar algebra of rotations, $\mathfrak{su}(2)$. The $A$-generators talk only to other $A$-generators, and the $B$-generators talk only to other $B$-generators. They are completely oblivious to each other's existence.

This mathematical decomposition, $\mathfrak{so}(1,3)_{\mathbb{C}} \cong \mathfrak{su}(2)_L \oplus \mathfrak{su}(2)_R$, is the secret key to understanding the representations of the Lorentz group. It tells us that any object that transforms under Lorentz transformations can be classified by how it transforms under each of these two independent $\mathfrak{su}(2)$ "rotation" groups.

This hidden $\mathfrak{su}(2) \oplus \mathfrak{su}(2)$ structure provides a powerful system for classifying all elementary particles. The irreducible representations are labeled by a pair of numbers $(j_L, j_R)$, which correspond to the "spin" in the left-handed ($\mathfrak{su}(2)_L$) and right-handed ($\mathfrak{su}(2)_R$) sectors.

• ​​Scalars $(0,0)$:​​ An object like the Higgs boson is a scalar. It doesn't transform under either group, remaining unchanged by rotations and boosts.

• ​​Weyl Spinors:​​ These are the most fundamental building blocks.

  • A ​​left-handed Weyl spinor $(1/2, 0)$​​ is a two-component object that transforms as a spin-$1/2$ particle under $\mathfrak{su}(2)_L$ but is a scalar under $\mathfrak{su}(2)_R$. In this representation, the generators take the form of simple $2\times2$ matrices built from the Pauli matrices, $J_i = \frac{1}{2}\sigma_i$ and $K_i = \frac{i}{2c}\sigma_i$.
  • A ​​right-handed Weyl spinor $(0, 1/2)$​​ is its mirror image, transforming under $\mathfrak{su}(2)_R$ but not $\mathfrak{su}(2)_L$.

• ​​Dirac Spinors:​​ An electron is described by a ​​Dirac spinor​​, which is the combination of a left- and a right-handed Weyl spinor: a $(1/2, 0) \oplus (0, 1/2)$ representation. These are the four-component objects on which the famous gamma matrices act. The generators of Lorentz transformations in this representation are built directly from the gamma matrices, $\sigma^{\mu\nu} = \frac{i}{2}[\gamma^\mu, \gamma^\nu]$, and they flawlessly obey the Lorentz algebra's commutation rules.

• ​​Four-Vectors:​​ A familiar four-vector, like position $x^\mu$ or momentum $p^\mu$, lives in the $(1/2, 1/2)$ representation. It's a beautiful and non-obvious fact that combining a spin-1/2 left-hander with a spin-1/2 right-hander gives you a four-vector!

• ​​The Electromagnetic Field:​​ The antisymmetric electromagnetic field tensor $F^{\mu\nu}$ provides another gorgeous example. It lives in the six-dimensional $(1,0) \oplus (0,1)$ representation. This means the field can be decomposed into a "self-dual" part that transforms as a spin-1 object under $\mathfrak{su}(2)_L$ (and is a scalar under $\mathfrak{su}(2)_R$) and an "anti-self-dual" part that does the opposite. This decomposition provides deep insights into the structure of Maxwell's equations from a symmetry perspective.

Finally, one can even define a notion of "geometry" on the algebra itself. A tool called the ​​Killing form​​, $\kappa(X, Y)$, acts like a metric, allowing us to measure "lengths" and "angles" between generators. A direct calculation reveals that the "length-squared" of a rotation generator is negative, $\kappa(J_i, J_i) \lt 0$, while the "length-squared" of a boost generator is positive, $\kappa(K_i, K_i) \gt 0$. This difference in sign is the mathematical fingerprint of the fact that the Lorentz group is ​​non-compact​​: while rotations are bounded (you always come back to where you started), boosts are not (you can boost to ever-increasing velocities approaching the speed of light).

From simple rules about combining boosts and rotations, we have uncovered a rich, unified structure that elegantly classifies the fundamental constituents of our universe. This is the power and beauty of symmetry in physics.

After our journey through the formal structure of the Lorentz algebra, you might be left with a feeling of mathematical satisfaction, but also a nagging question: What is all this abstract machinery for? It is a fair question. The commutation relations we derived, like $[K_i, K_j] = -i\epsilon_{ijk} \frac{J_k}{c^2}$, can seem like a sterile exercise in symbol manipulation. But nothing could be further from the truth. This algebra is not just a mathematical curiosity; it is the fundamental blueprint for the geometry of spacetime. Its relations are not arbitrary rules; they are physical laws, dictating how reality is stitched together. In this chapter, we will see this algebra come to life, reaching into nearly every corner of modern physics, from the quirky behavior of a spinning top to the very definition of a particle, and from the realm of classical mechanics to the grand stage of general relativity.

Let's begin with the most direct physical consequence of the algebra's structure: the nature of Lorentz boosts. In our everyday, low-speed world, boosts are simple. If you run forward on a moving train, your velocity relative to the ground is just the sum of your running velocity and the train's velocity. But relativity tells a different story.

Imagine you are in a spaceship, and you perform two successive boosts that are not in the same direction. First, a powerful boost along the x-axis, then another along the y-axis. You would naturally expect to find yourself moving diagonally, and that's it. But an astronaut inside the ship would notice something bizarre: the ship has also rotated! This is not due to some imperfection in the engines; it is a fundamental feature of our universe's geometry, known as ​​Wigner rotation​​ or ​​Thomas precession​​. Where does this twisting come from? It comes directly from the commutation relations. The fact that the commutator of two boost generators gives a rotation generator, $[K_x, K_y] = -i \frac{J_z}{c^2}$, means that the sequence "boost-x then boost-y" is not the same as "boost-y then boost-x". Their difference is precisely a rotation. A detailed calculation can give the exact angle of this rotation, which depends on the magnitude of the boosts.

A more profound way to see this is to consider how the generators themselves transform under a Lorentz transformation. This is described by the "adjoint action" of the group on its own algebra. If we apply a boost along the x-axis, we find that the generators for y-rotations ($J_2$) and y-boosts ($K_2$) get mixed. The transformed y-rotation generator becomes a combination of the original $J_2$ and a z-boost generator $K_3$, while the transformed y-boost generator becomes a combination of the original $K_2$ and a z-rotation generator $J_3$. The space of generators is not rigid; a boost "rotates" boost axes into rotation axes and vice versa. This intimate mixing, hard-wired into the algebra, is the deep origin of the Wigner rotation.

This effect is a direct consequence of living in a world with more than one spatial dimension, which allows for non-collinear boosts. If we imagine a "flatland" universe with only one dimension of space and one of time, the Lorentz algebra simplifies dramatically. There is only one boost generator, $K$, and since any generator commutes with itself, we have $[K, K] = 0$. The algebra becomes abelian. In such a universe, there is no such thing as a non-collinear boost, and the phenomenon of Thomas precession vanishes completely. The structure of the Lie algebra reflects the dimensionality of the world it describes.

You might wonder if this is all just some esoteric feature of quantum mechanics and special relativity. It is not. The very same structure is already hidden within classical mechanics. If we describe a free relativistic particle using the Hamiltonian framework, we can define classical quantities that correspond to the boost generators. By calculating the Poisson bracket—the classical analogue of the quantum commutator—between two of these boost generators, we find that it is proportional to the classical angular momentum. The algebra is the same! This tells us something remarkable: the strange geometry of spacetime is not an invention of quantum theory. It is a fundamental property of reality, which quantum mechanics inherits and expresses in its own language of commutators.

The Lorentz algebra's most significant role is perhaps in particle physics. In the modern view, an elementary particle is not just a tiny billiard ball; it is a manifestation, or what mathematicians call a ​​representation​​, of the fundamental symmetries of spacetime. The Lorentz group is the symmetry of "what you see depends on how you move," and its algebra is the book of rules that any particle must obey.

The most fundamental inhabitants of this world are the spinors—objects that are, in a sense, the "square root" of vectors. The electron, the quark, and the neutrino are all described by spinors. When we ask how a spinor transforms under a Lorentz boost or rotation, the abstract generators $J_i$ and $K_i$ take on a concrete form as simple $2 \times 2$ or $4 \times 4$ matrices. For example, for the simplest type of spinor, a "right-handed" Weyl spinor, the generators are built from the famous Pauli matrices. An abstract transformation from the Lie algebra becomes a concrete matrix multiplication acting on a two-component column vector, changing its values in a precise way.

One of the most profound consequences of the algebra emerges when we consider the concept of ​​chirality​​, or "handedness." There is an operator, called $\gamma^5$, which can distinguish between left-handed and right-handed particles. A crucial calculation shows that all the generators of the Lorentz group, $S^{\mu\nu}$, commute with this chirality operator: $[S^{\mu\nu}, \gamma^5] = 0$. This seemingly formal result has a gigantic physical implication: Lorentz transformations do not mix left-handed and right-handed particles. An electron that is left-handed will appear left-handed to any observer in any inertial frame, no matter how fast they are moving or in what direction. This invariance is the bedrock upon which the Standard Model of Particle Physics is built. It allows Nature to write laws, like those governing the weak nuclear force, that treat left-handed and right-handed particles in completely different ways.

This idea generalizes into a grand classification scheme, pioneered by Eugene Wigner. He realized that the definition of a particle—its intrinsic properties like mass and spin—is mathematically equivalent to finding the irreducible representations of the full spacetime symmetry group (the Poincaré group). The key to this classification is the concept of a "little group": the subgroup of Lorentz transformations that leaves a particle's four-momentum vector unchanged. For a massive particle at rest, this is simply the group of rotations, $SO(3)$, and its representations give us the familiar concept of spin ($0, 1/2, 1, \ldots$). For a hypothetical particle moving faster than light (a tachyon), its momentum would be "spacelike," and the little group turns out to be $SO(1,2)$, a non-compact group with a fascinatingly different Lie algebra. The Lie algebra of the Lorentz group provides the tools and the language to answer one of the deepest questions in physics: "What kinds of elementary particles can possibly exist?"

The influence of the Lorentz algebra extends even further, forming a web of connections that unifies disparate areas of physics.

What happens when we move from the flat spacetime of special relativity to the curved spacetime of ​​general relativity​​? The Lorentz group doesn't disappear; it goes local. At every point in a curved spacetime, one can set up a local inertial reference frame—a tiny patch of spacetime that feels flat. General relativity can be understood as the physics of how these local frames relate to one another as you move from point to point. For a spinor field, like an electron, living in this curved universe, we need a way to compare its value at one point to its value at another. This is done through a "spin connection," $\Gamma_\mu$. And what is this connection built from? Its components are none other than the generators of the Lorentz algebra, $\sigma^{ab}$, weighted by coefficients, $\omega_{\mu ab}$, that encode the curvature of spacetime: $\Gamma_\mu = \frac{1}{2} \omega_{\mu ab} \sigma^{ab}$. The generators of the Lorentz algebra act as the fundamental gears that couple matter to the geometry of the universe.

Finally, if the Lorentz algebra is so fundamental, where did our comfortable, intuitive Newtonian world go? It is hidden within the Lorentz algebra as a special limit. There is a beautiful mathematical procedure known as the ​​Inönü-Wigner contraction​​, which allows one to explore the limit of an algebra as a parameter is taken to infinity. If we apply this to the Poincaré algebra and take the speed of light $c \to \infty$, something magical happens. The commutation relation $[K_i, K_j] = -i\epsilon_{ijk} \frac{J_k}{c^2}$ goes to zero. The non-commuting boosts of relativity become the commuting Galilean boosts of classical mechanics! The entire relativistic algebra gracefully "contracts" into the Galilean algebra that governs the Newtonian world. This is a deep and stunning result. It shows that Galilean physics is not "wrong," but is a perfectly well-defined and consistent approximation of the deeper relativistic reality. The Lie algebra provides a bridge between these two worlds, revealing a profound unity in our description of nature.

From the dizzying spin of a boosted gyroscope to the catalogue of all possible particles, and from the deep structure of curved spacetime to the gentle emergence of the classical world, the Lie algebra of the Lorentz group is a central thread. Its simple set of commutation relations is a Rosetta Stone, allowing us to translate between the fundamental principles of symmetry and the rich, diverse phenomena of the physical universe.