FIG.13 · SPACETIME GEOMETRY

LIGHT CONES AND CAUSALITY

Before, after, and elsewhere — three regions that partition every spacetime.

§ 01

The cone shape

Set off a flash of light from a single event — any event, anywhere in spacetime. At the precise moment of the flash, light begins spreading outward in every direction at speed cc. One second later the expanding shell of light is a sphere of radius c×1sc \times 1\,\text{s}. Two seconds later the sphere has radius c×2sc \times 2\,\text{s}. Plot this in a spacetime diagram with one spatial axis xx and vertical axis ctct: the expanding sphere traces out the surface of a cone. The 2D slice you can draw on paper gives two 45° rays, one going right (x=ctx = ct) and one going left (x=ctx = -ct). In full 3+1-dimensional spacetime those two rays are the cross-section of an actual cone opening upward — the future Light-cone.

By time-reversal symmetry there is a second cone opening downward: the past light cone. It is the locus of all events that could have sent a signal arriving at the apex exactly at t=0t = 0. Together the two cones divide all of spacetime into three regions: the interior of the future cone, the interior of the past cone, and everything else. That third region has a name borrowed from the interval algebra of §03.2: the elsewhere. The boundary between "reachable" and "unreachable," between "could have caused" and "could not have caused," is drawn at 45° in every Minkowski diagram. It is not a convention. It is the Invariant interval's geometric face.

introduced the language of light cones in his 1908 Cologne lecture as part of the same argument that called space and time "mere shadows." The language has not changed since. "Causal future," "causal past," "elsewhere" — three words that say in English what the sign of s2s^2 says in algebra.

§ 02

Future, past, elsewhere

Pick any event PP. Every other event QQ in spacetime falls into exactly one of three categories, determined by the invariant interval s2=c2(tQtP)2xQxP2s^2 = c^2 (t_Q - t_P)^2 - |\vec{x}_Q - \vec{x}_P|^2:

EQ.13.01
s2>0    timelike: Q is inside a light cone of Ps^2 > 0 \implies \text{timelike: } Q \text{ is inside a light cone of } P
EQ.13.02
s2=0    null: Q is on the cone itselfs^2 = 0 \implies \text{null: } Q \text{ is on the cone itself}
EQ.13.03
s2<0    spacelike: Q is in the elsewhere of Ps^2 < 0 \implies \text{spacelike: } Q \text{ is in the elsewhere of } P

When s2>0s^2 > 0 and tQ>tPt_Q > t_P, event QQ is in PP's absolute future. A physical signal — a photon, a particle, a gravitational wave — can travel from PP to QQ because QQ lies inside PP's future Light-cone. When s2>0s^2 > 0 and tQ<tPt_Q < t_P, the event is in PP's absolute past. The word "absolute" is deliberate: no Lorentz boost can flip the temporal ordering of two events with s2>0s^2 > 0. The future stays the future in every inertial frame. The past stays the past.

FIG.13a — Click anywhere in the diagram to place an event. The scene classifies it automatically: cyan for timelike-future, magenta for timelike-past, amber for null (on the cone), white for spacelike (elsewhere). The amber shading marks the interior of the future and past cones.
loading simulation

The null surface itself — the cone boundary — is the worldline of light. Every photon travels exactly on the cone. The Null interval s2=0s^2 = 0 is the invariant associated with massless particles. It is what keeps the speed of light the same in every inertial frame.

§ 03

What spacelike means

Spacelike-separated events — those with s2<0s^2 < 0 — live in the elsewhere. They are not in your future, not in your past, and not connected to you by any physical signal. Crucially, their temporal ordering is relative: there exists a Lorentz boost that makes them simultaneous, another boost that makes QQ precede PP, and another that reverses the order again. No one ordering is privileged because no physical signal can run between the events to establish one.

This is the Relativity of simultaneity of §02 given its invariant home. Two events that are simultaneous in the lab frame are spacelike-separated (the lab's t=constt = \text{const} slice is a flat hyperplane cutting through the elsewhere). Boost to a frame moving in the +x+x direction and the same pair of events acquires a temporal gap. Boost harder and the gap grows the other way. None of these descriptions is more real than any other, because no physical process connects the two events.

FIG.13b — The cyan pair (T1, T2) is timelike; drag β to any value and Δt' stays positive — T2 is always in T1's future. The amber pair (S1, S2) is spacelike; at β ≈ 0.067 they become simultaneous, and beyond that their order flips. The elsewhere has no frame-independent clock.
loading simulation

The Spacelike and Timelike labels are Lorentz invariants. Once classified, the classification does not change under any physical boost. This is why physicists speak of the "causal structure" of spacetime rather than "the order of events." The causal structure — which events can influence which — is the part of the geometry that is the same for every inertial observer.

§ 04

No superluminal signal

Suppose you could send a signal faster than light — say, at v=2cv = 2c. In the lab frame it would travel from event AA to event BB in half the time light would. The interval would be s2=c2Δt2Δx2=c2Δt2(2cΔt)2=3c2Δt2<0s^2 = c^2 \Delta t^2 - \Delta x^2 = c^2 \Delta t^2 - (2c \,\Delta t)^2 = -3c^2 \Delta t^2 < 0. The signal would be spacelike.

But spacelike intervals have no frame-independent temporal order. In the lab frame BB happens after AA — the signal goes forward in time. Boost to a frame moving at speed βc\beta c in the +x+x direction:

EQ.13.04
Δt=γ(ΔtβΔx/c)\Delta t' = \gamma (\Delta t - \beta\,\Delta x / c)

For the 2c2c signal, Δx=2cΔt\Delta x = 2c \,\Delta t, so Δt=γΔt(12β)\Delta t' = \gamma \Delta t (1 - 2\beta). When β>0.5\beta > 0.5 this changes sign — BB precedes AA. The "message" arrives before it is sent. An observer in this frame could use the signal to send a reply back to AA's past — preventing the original transmission. Causality — the requirement that causes precede effects in every inertial frame — is violated.

FIG.13c — In the lab frame a signal travels from A to B at v = 2c. Toggle to the boosted frame: at β > 0.5 the event B precedes A and the causal order inverts. The red shading marks the interval over which effect precedes cause. No boost that the physical scenario requires stays below this threshold.
loading simulation

The causal prohibition is clean: a signal between spacelike-separated events can always be made to run backward in time by choosing the appropriate boost. Causality — which is Lorentz-invariant — forbids such signals entirely. The light cone is not just the boundary of the "fast" region. It is the boundary of the causal region. Anything outside it is not merely unreachable at the moment — it is unreachable in principle, in every frame, for all time.

§ 05

The structure of now

There is no universal "now." Every inertial observer carries her own simultaneity hyperplane — a flat slice through spacetime at t=constt' = \text{const} — and two observers moving relative to each other define different slices. The slices disagree on which events are "happening at the same time." This is not a measurement error or a signalling delay; it is the geometry.

What IS universal is the light cone itself. Your future light cone — the set of all events your future self can ever influence — is the same in every inertial frame. Your past light cone — the set of all events that could have influenced your present — is equally invariant. The cone is a Lorentz-invariant structure stamped on every event in spacetime.

The three-fold partition — future, past, elsewhere — is the true causal grammar of the universe. "Now" is an artifact of low velocity, where the light cone is so nearly vertical that the elsewhere is invisibly thin in everyday experience. Measure precisely enough and the slicing becomes visible: GPS satellites must correct for simultaneity differences of tens of nanoseconds between their orbital frame and the ground. The light cone is always there. It is the geometry of cause and effect, drawn at 45°.