Minkowski Spacetime and Special Relativity

1. Special Relativity as a Flat Manifold

In your prior studies, you've worked with Special Relativity (SR) in ${\mathbb{R}}^4$, using coordinates $(t,x,y,z)$. We've already seen in Module 1 that ${\mathbb{R}}^n$ is the simplest example of a manifold. It can be trivially covered by a single chart—the identity map from ${\mathbb{R}}^4$ to itself.

So, what makes the spacetime of SR special? It's not the underlying set of points, but the additional structure we put on it: a metric.

The Minkowski Metric

The defining feature of the spacetime of Special Relativity is the Minkowski metric, typically denoted ${\eta }_{\mu \nu }$. In a standard inertial coordinate system $(x^0,x^1,x^2,x^3)=(ct,x,y,z)$, its components are given by the matrix:

This is known as the (-,+,+,+) signature. You may also encounter the (+,-,-,-) signature in other texts; the physics is identical as long as one is consistent. We will use the (-,+,+,+) convention throughout this course.

Minkowski spacetime, denoted $({\mathbb{R}}^4,\eta )$, is the four-dimensional manifold ${\mathbb{R}}^4$ equipped with the Minkowski metric $\eta$.

This structure is an example of a Lorentzian manifold, which is the mathematical stage for both Special and General Relativity. The crucial feature distinguishing it from the Riemannian manifolds we've mostly considered is that the metric is not positive-definite. That single minus sign is the source of all the unique physics of relativity.

To begin building your intuition, the following resource provides an excellent definition and discussion of Minkowski spacetime.

The invariant quantity under the Minkowski metric is the square of the spacetime interval, $d{s}^2$:

This is the relativistic replacement for the squared Euclidean distance. The following video beautifully contrasts the geometry implied by this interval with the familiar Euclidean geometry.

2. The Causal Structure of Spacetime

The non-positive-definite nature of the Minkowski metric allows us to classify any tangent vector $V^{\mu }$ at a point $p$ based on its "length-squared", ${\eta }_{\mu \nu }{V}^{\mu }{V}^{\nu }$. This classification defines the fundamental causal structure of spacetime.

A vector $V^{\mu }$ is called:

• Timelike if ${\eta }_{\mu \nu }{V}^{\mu }{V}^{\nu }<0$
• Spacelike if ${\eta }_{\mu \nu }{V}^{\mu }{V}^{\nu }>0$
• Null (or lightlike) if ${\eta }_{\mu \nu }{V}^{\mu }{V}^{\nu }=0$ (and $V^{\mu }\ne 0$)

A vector is called causal if it is either timelike or null. This classification extends to curves: a curve is timelike if its tangent vector is everywhere timelike, and so on.

At every point in spacetime, the set of all null vectors forms a double cone, known as the light cone.

• Timelike vectors lie inside the light cone. They connect events that are causally related. The worldline of any massive particle (like an observer) must be a timelike curve.
• Null vectors lie on the surface of the light cone. The worldline of any massless particle (like a photon) is a null curve.
• Spacelike vectors lie outside the light cone. Events separated by a spacelike interval are causally disconnected—neither can influence the other without exceeding the speed of light.

This structure is absolute. While different observers may disagree on the time and space separating two events, they will always agree on whether the interval is timelike, spacelike, or null.

Let's return to the resources to formalize these ideas.

3. Dynamics and Symmetries

Now, let's put objects into our manifold and see how they move.

Geodesics and Inertial Motion

In Module 2, you learned that freely-falling particles follow geodesics. In the context of SR, "freely-falling" simply means "inertial" (not subject to any non-gravitational forces). The geodesic equation is:

In Minkowski spacetime, using standard inertial (Cartesian) coordinates, the metric components ${\eta }_{\mu \nu }$ are constant everywhere. This immediately implies that all the Christoffel symbols are zero: ${\Gamma }_{\nu \rho }^{\mu }=0$. The geodesic equation thus simplifies beautifully to:

The solutions are straight lines, $x^{\mu }(\tau )=V^{\mu }\tau +P^{\mu }$, confirming that inertial motion in SR corresponds to straight-line trajectories (worldlines) in Minkowski spacetime. This also means Minkowski spacetime is flat; its Riemann curvature tensor is zero, so the geodesic deviation we studied last lesson is zero.

Isometries and Lorentz Transformations

What are the symmetries of Minkowski spacetime? In the language of differential geometry, we are looking for the isometries—the diffeomorphisms that leave the metric unchanged. As you know from Module 2, the infinitesimal generators of isometries are Killing vector fields, which satisfy the Killing equation ${\mathcal{L}}_{K}g=0$.

For Minkowski spacetime, solving this equation yields 10 linearly independent Killing vector fields. They correspond to:

• 4 translations (in time and the 3 spatial directions)
• 3 spatial rotations
• 3 Lorentz boosts

These transformations form a group called the Poincaré group. A Lorentz transformation (a rotation or a boost) is a linear transformation $\Lambda$ such that the coordinates of two inertial frames, $x^{\mu }$ and $x^{\prime \mu }={\Lambda }^{\mu }{}_{\nu }{x}^{\nu }$, are related in a way that preserves the spacetime interval. This means the transformation matrix $\Lambda$ must satisfy:

This is the rigorous, geometric definition of a Lorentz transformation. The Principle of Relativity is the statement that the laws of physics must be written in a form that is invariant under the Poincaré group. In our geometric language, this means physical laws must be expressed as tensor equations, which hold true in any coordinate system related by an isometry.

The following resources provide the rigorous definition of these isometries and a stunning visualization of how Lorentz transformations act on the spacetime diagram.

Now for the visualization. Watch how the coordinate axes of a moving observer are depicted in a Minkowski diagram.

To solidify this, here is a classic Minkowski diagram showing two reference frames.

Conclusion

In this lesson, we have reframed Special Relativity as the physics of a specific geometric object: Minkowski spacetime. This is a 4D, flat, Lorentzian manifold.

Key Takeaways:

• Minkowski spacetime $({\mathbb{R}}^4,\eta )$ is the manifold ${\mathbb{R}}^4$ endowed with the non-positive-definite Minkowski metric ${\eta }_{\mu \nu }=\text{diag}(-1,1,1,1)$.
• The metric defines the spacetime interval and partitions spacetime into timelike, spacelike, and null regions via the light cone at every point, establishing the laws of causality.
• Inertial motion corresponds to following timelike geodesics, which are straight lines in Minkowski space because it is flat (its Riemann tensor is zero).
• The symmetries of Special Relativity are the isometries of Minkowski spacetime, which form the Poincaré group. Lorentz transformations are the isometries that leave the origin fixed.

We now have a complete geometric description of a universe without gravity. This flat stage is crucial, because our next step is to see how the presence of matter and energy curves it.

Preview of Next Lesson: We will state the Principle of Equivalence, the conceptual bridge that Einstein used to leap from the flat manifold of SR to the curved manifolds of General Relativity. This principle will lead to profound immediate consequences, such as gravitational time dilation, and set us on the path to the Einstein Field Equations.