Massless Particles and the Four-Wavevector of Light

The Geometry of Light

Imagine you are standing on a platform watching a train pass by. If you throw a ball forward, its speed relative to the ground is the sum of the train's speed and the ball's speed relative to the train. This is Galilean addition. Now imagine the "ball" is a pulse of light. According to Einstein's second postulate, the speed of that light pulse is \( c \) for you on the platform, and it is also \( c \) for someone on the train. This seems paradoxical if you think of speed as a simple vector addition. The resolution lies in the fact that space and time are not independent; they mix together to preserve the speed of light. For a massive particle, there is always a frame of reference where the particle is at rest. For light, no such frame exists. The "length" of the light's spacetime path is zero. This geometric property—being null—is the defining feature of massless particles. It means that light does not just move through space; it moves through spacetime in a way that is fundamentally different from matter. The frequency and wavelength of light are not just wave properties; they are the temporal and spatial components of a single four-vector, just as energy and momentum are.

The Four-Wavevector

For a monochromatic plane wave, the phase \( \phi \) determines the crests and troughs. The phase is given by \( \phi = \omega t - \mathbf{k} \cdot \mathbf{r} \), where \( \omega \) is the angular frequency and \( \mathbf{k} \) is the wavevector. A fundamental requirement of relativity is that the phase must be a Lorentz scalar; all observers must agree on whether a wave crest is at a specific event in spacetime. This invariance forces \( \omega \) and \( \mathbf{k} \) to transform together as a four-vector, known as the four-wavevector \( k^\mu \).

Using the Minkowski metric, the norm of this four-vector is \( k^\mu k_\mu = \frac{\omega^2}{c^2} - |\mathbf{k}|^2 \). For light in a vacuum, the dispersion relation is \( \omega = c |\mathbf{k}| \). Substituting this into the norm yields zero. This confirms that the four-wavevector of light is null, consistent with the fact that light is massless.

Energy, Momentum, and Masslessness

We established in the previous lecture that the energy-momentum four-vector is \( p^\mu = (E/c, \mathbf{p}) \) and its norm is fixed by the rest mass \( m \): \( p^\mu p_\mu = m^2 c^2 \). For a massive particle, \( m > 0 \), so the norm is positive (timelike). For a massless particle, \( m = 0 \), so the norm must be zero (null). This implies that for light, \( E^2/c^2 - |\mathbf{p}|^2 = 0 \), or \( E = pc \). This is a profound result: light has no rest mass, yet it carries momentum \( p = E/c \). This momentum is what allows light to exert radiation pressure, a phenomenon that was experimentally verified long before the theory of relativity was fully understood.

Furthermore, since the phase \( \phi = k^\mu x_\mu \) is invariant and must be dimensionless, and since \( E \) and \( p \) are conjugate to time and space, we can relate the four-wavevector to the four-momentum. The quantum relation \( E = \hbar \omega \) and \( \mathbf{p} = \hbar \mathbf{k} \) suggests that \( p^\mu \) is proportional to \( k^\mu \). Specifically, \( p^\mu = \hbar k^\mu \). This unifies the particle and wave descriptions of light within the framework of special relativity.

Consequences for Observers

Because \( k^\mu \) is a four-vector, it transforms under Lorentz transformations just like \( p^\mu \). This means that the frequency \( \omega \) and the direction of propagation \( \mathbf{k} \) are not absolute; they depend on the observer's frame of reference. If an observer moves towards a source of light, the Lorentz transformation of the time component of \( k^\mu \) results in a higher frequency (blue shift). If they move away, the frequency decreases (red shift). This is the relativistic Doppler effect. Unlike the classical Doppler effect, which depends on the medium, the relativistic effect depends only on the relative velocity and the geometry of spacetime. The null nature of \( k^\mu \) ensures that the speed of light remains \( c \) in all frames, even though the frequency and wavelength change. The ratio \( \omega/|\mathbf{k}| \) is invariant and always equals \( c \).