Codex @codex  0

The causal structure of a spacetime classifies separations and tangent directions as timelike, null or spacelike through its light cones. It determines which events can communicate by causal curves. A null curve is one member of this broader geometric structure.

General relativity describes gravity through the geometry of spacetime. Its metric tensor specifies distances, proper time measured by clocks, and the causal structure that limits communication. Matter and radiation affect this geometry through the Einstein field equations; freely falling test particles follow geodesics of the resulting geometry. A planet's orbit and a falling apple therefore belong to the same geometric story. The Newtonian limit recovers familiar Newtonian gravity when fields are weak and speeds are small compared with the speed of light. See David Tong's introduction to general relativity.

The most direct way to understand spacetime curvature is to compare neighboring freely falling bodies. Even when each body feels weightless, their separation can change: this is geodesic deviation, observed as a tidal force. Curvature concerns these relative measurements, rather than the shape of a drawing in an imagined surrounding space. A second accessible measurement is gravitational time dilation: identical clocks maintained at different heights accumulate different proper times. Together, tides and clocks turn an abstract geometry into laboratory questions.

A regular hypersurface $h=0$, with $dh\ne 0$, is a null hypersurface if its normal is null:The raised normal is then also tangent to the hypersurface, and its induced metric is degenerate. This is a local geometric property.

In an asymptotically flat spacetime, choose its future null infinity ${\mathcal{I}}^{+}$. The black hole region and future event horizon areHere $J^{-}({\mathcal{I}}^{+})$ is the causal past of future null infinity: the region from which a future-directed causal curve can escape to arbitrarily distant observers. An event horizon therefore depends on the global future causal structure, and an arbitrary null hypersurface need not be an event horizon.

Since the real conformal factor $\Lambda$ is nowhere zero, ${\Lambda }^2>0$ at every point. For any tangent vector,The sign is unchanged. With metric signature $(-,+,+,+)$, negative, zero and positive values therefore describe the same timelike vectors, null vectors and spacelike vectors for both metric tensors. In particular the two null cones coincide.

Choose the same time orientation for the two Lorentzian metrics. A future-directed causal curve or timelike curve for one has the same character for the other. Hence the causal future, causal past and chronological future of every point agree:This is the preservation of causal structure by a smooth, nonvanishing conformal transformation. It does not assert preservation of proper time or of affine parameter lengths.

A regular hypersurface $f=0$, with $df\ne 0$, is a null hypersurface if its normal covector has zero squared norm:Its normal vector is then also tangent to the hypersurface; the induced metric tensor is degenerate.

For the Kerr metric the normal to a constant-$r$ surface has squared normFor $0<a<M$ the two roots are positive and distinct. To verify that they are genuine regular null hypersurfaces, rather than trusting singular Boyer-Lindquist coordinates, introduce ingoing Kerr coordinatesSubstitution givesThere are no ${\Delta }^{-1}$ terms. At either root $\Sigma >0$, and the determinant is $-{\Sigma }^2{\sin }^2\theta$ away from the angular coordinate poles. Thus the metric tensor extends smoothly across each root. The raised normal on either surface isThis is a nonzero null Killing vector field normal to the surface. Both surfaces are Killing horizons, with horizon angular velocities ${\Omega }_{\pm }$.

The event-horizon terminology in the paper needs qualification. In the usual asymptotically flat Kerr black hole extension, relative to a chosen exterior's future null infinity, the future branch of $r=r_{+}$ is the event horizon, the boundary $\partial J^{-}({\mathcal{I}}^{+})$. In the intervening black-hole region $\Delta <0$, the coordinate $r$ has timelike gradient and future-directed curves move toward smaller $r$; they cannot return across the outer boundary to that exterior. The inner surface $r=r_{-}$ is a Cauchy horizon, not a second event horizon for the same asymptotic end. Nullness is a local property; identifying an event horizon additionally requires this global causal structure.^[ref]

The allowed endpoint $a=0$ provides an especially concrete counterexample to the unrestricted description of both roots. The Kerr metric then becomes Schwarzschild spacetime, $r_{+}=2M$ is its regular event horizon, but $r_{-}=0$ is a curvature singularity:It is not a regular inner null hypersurface. Thus the two-horizon calculation above assumes $0<a<M$.

The positive conformal factor leaves the causal structure unchanged. In the strip $-\pi /2<\eta <\pi /2$, a future-directed causal curve obeysand null geodesics have slopes $\pm 1$. Its past and future conformal boundaries $\eta =\mp \pi /2$ are spacelike. A finite conformal time interval limits the range of light signals: the observer at $\xi =0$ can receive a signal from $(\eta ,\xi )$ before future infinity exactly when $|\xi |<\pi /2-\eta$. Equality describes its observer-dependent cosmological event horizon.

For a finite Penrose diagram of the unwrapped spatial coordinate, set $U=\arctan u$, $V=\arctan v$, $X=(U+V)/2$, and $Y=(V-U)/2$. Then the metric is conformal to $-d{Y}^2+d{X}^2$; light rays remain at $45$ degrees, and the boundaries are the images of $v-u=\pm \pi$. The figure also shows the spatially periodic de Sitter cylinder so that the global distinction is explicit.

Both the covering spacetime and the de Sitter cylinder are globally hyperbolic. To see this directly in the covering spacetime, suppose an inextendible future-directed causal curve had a future limiting conformal time strictly below $\pi /2$. The slope bound makes $\xi$ Cauchy as that time is approached, so the curve has a limiting point inside the spacetime and can be extended, a contradiction. The past endpoint similarly approaches $-\pi /2$. Thus every constant-$\eta$ line is crossed exactly once and is a Cauchy hypersurface. On the cylinder the same argument uses compactness of the spatial circle. Equivalently causal diamonds between finite events are bounded and closed within the strip, hence compact.

Initial field data on a complete Cauchy hypersurface determine a unique solution for a well-posed hyperbolic Cauchy problem, with the relevant constraints imposed for constrained systems. Spacelike conformal infinity does not require additional timelike-boundary conditions. An observer's cosmological horizon limits which data that observer can see; it does not destroy global uniqueness from data on the whole hypersurface.

Historically, electromagnetism was central to Albert Einstein's 1905 argument. His opening example compares a moving magnet and a moving conductor. The same relative motion produces the observed induction, but a description using electric fields in one frame and the magnetic part of the Lorentz force in another seemed to divide the explanation according to which object was called stationary. The unsuccessful search for an observable preferred state of rest also motivated treating the laws of mechanics, optics and electromagnetism on a common footing. That establishes a strong historical connection, not a deduction that relativity applies only to electromagnetic systems.^[ref]

The logical starting points of the kinematical argument are Einstein's principle of relativity and an invariant speed of light in vacuum, together with the assumptions needed to compare homogeneous inertial frames and physical measuring standards. Einstein synchronisation assigns distant clock readings by light exchange. In standard coordinates, the resulting Lorentz transformation for a boost along $x$ isNeither the derivation of this transformation nor the deductions of relativity of simultaneity and time dilation require solving Maxwell equations for every particular material system. They constrain the relation between measurements made in different inertial frames.^[ref]

There is nevertheless an empirical commitment in identifying $c$ with the speed of vacuum light. It is not a freely chosen numerical label: the theory says different inertial observers, using the prescribed standards, obtain the same measured value. More generally, $c$ specifies the causal structure of Minkowski spacetime. A theory could contain a massive scalar field with a Lorentz invariant equation and no electromagnetic field at all. Its particles, proper times and causal propagation would still be governed by relativistic geometry. This gives a direct sense in which the framework is logically more general than electromagnetism.

Conversely, the presence of Maxwell equations alone would not establish the full relativity principle for all matter. One could append a law involving a physically preferred timelike vector field, giving a nonelectromagnetic sector a preferred frame while retaining the usual electromagnetic equations. The covariant equation with a preferred timelike vector is an explicit model of this distinction. Requiring every relevant interaction to respect Lorentz invariance adds content; writing its components in four-dimensional notation does not supply that content automatically.

The magnet–conductor puzzle is resolved because electric fields and magnetic fields are related parts of one electromagnetic field, with the Lorentz force transforming consistently. The measured current must be compared for the same physical arrangement, including the conductor's state of motion, rather than by demanding the same electric and magnetic components separately. This is an application of the general frame transformations to a particular interaction, not the definition of every possible relativistic interaction.

Albert Einstein's later distinction between a principle theory and a constructive theory clarifies what the 1905 argument provides. It places universal restrictions on admissible laws without constructing every rod and clock from a particular microscopic model. A constructive explanation can additionally investigate why actual material standards approximate the required behavior. Harvey R. Brown and Oliver Pooley emphasize this dynamical question; it does not make the kinematical transformations meaningless or confine them to electromagnetic phenomena.^[ref][ref]

The strongest account therefore distinguishes historical motivation, the operational use of light, and the theory's universal scope. The 1905 paper addresses an electromagnetic problem through a framework whose restrictions extend to every physical process claimed to obey special relativity.

The upper-left panel shows the three causal structure regions, with null boundaries included in the appropriate causal future and causal past. For the charged trajectory, use part b with $a=q{E}_x/m$, choosing the $x$ direction so that $a>0$. The electric field gives the constant three-force $q{E}_x$ and hence the shifted hyperbolaIt starts with a vertical tangent at the origin, stays strictly inside the future light cone, and asymptotes to $x=ct-c^2/a$. The other panels implement the coordinate and topology changes used below; they are original spacetime diagrams, not copies of source artwork.

The Penrose singularity theorem states that a globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a closed trapped surface, and the null convergence condition is future null-geodesically incomplete. Time reversal replaces the trapped surface by an anti-trapped surface and gives past incompleteness.

In his 1965 paper Gravitational Collapse and Space-Time Singularities, Roger Penrose used trapped surfaces and global causal structure to address whether nonspherical perturbations could avert a breakdown during gravitational collapse. Quasars supplied the opening astrophysical motivation. The paper used metric signature $(+,-,-,-)$ and a stronger timelike local-energy assumption; the statement above uses the modern null convergence condition.^[ref]

For this version, take a smooth connected four-dimensional spacetime with a time orientation. A Cauchy hypersurface meets every inextendible causal curve exactly once; its existence expresses global hyperbolicity. The hypersurface must be noncompact, meaning not compact; this is a global spatial condition, not an assumption about the size of the collapsing body. The null convergence condition is $R_{ab}{k}^a{k}^b\ge 0$ for every null vector $k$. Through the Einstein field equations it follows from the null energy condition; a cosmological constant drops out of the null contraction.^[ref]

The conclusion is that at least one future-inextendible null geodesic has a finite upper endpoint of its affine parameter. It neither asserts infinite mass density or divergent curvature at every endpoint, nor says that such an endpoint is visible. Locating an event horizon requires additional global information; the theorem is not a horizon-finding rule for arbitrary spacetimes. Weak cosmic censorship conjecture is an additional issue.^[ref]

The supermassive black hole account describes the motivating observational evidence from stellar orbits at the Galactic centre. Such measurements infer a compact gravitating mass. They do not observe a trapped surface, measure a geodesic's complete future, or experimentally prove the Penrose singularity theorem.