Astrophysics — Review Article

On Curvature, Causality, and the Invariant Speed of Light:
A Brief Tour of Black Holes and the Constant That Built the Universe

Abstract We review two foundational pillars of modern physics — the existence and structure of black holes, and the invariance of the speed of light c — emphasizing the geometric viewpoint that unifies them. After deriving the Schwarzschild radius from the weak-field limit and noting the form of the full vacuum solution to the Einstein field equations, we summarize Hawking's semiclassical result for black-hole evaporation and the contemporary observational status following the LIGO/Virgo gravitational-wave detections and the Event Horizon Telescope (EHT) horizon-scale images of M87* and Sgr A*. We then recapitulate why \(c\) is most naturally understood not as the propagation speed of a particular field, but as a structural constant of spacetime itself. Open questions — the information paradox, the resolution of the singularity, and the status of Lorentz invariance at the Planck scale — are noted but not resolved.

§ 1Black Holes

1.1   The Schwarzschild solution

The simplest black-hole spacetime is the unique spherically symmetric vacuum solution to the Einstein field equations \(R_{\mu\nu} - \tfrac{1}{2} g_{\mu\nu} R = 0\), obtained by Karl Schwarzschild within months of the publication of general relativity[1]. In the standard \((t, r, \theta, \phi)\) coordinates the line element reads

$$ ds^{2} = -\left(1 - \frac{2GM}{rc^{2}}\right) c^{2} dt^{2} + \left(1 - \frac{2GM}{rc^{2}}\right)^{-1} dr^{2} + r^{2} d\Omega^{2}. $$
(1)

The coordinate singularity at \(r_{s} = 2GM/c^{2}\) — the Schwarzschild radius — marks the event horizon: a null hypersurface beyond which no future-directed timelike or null geodesic can return to spatial infinity. For a solar-mass black hole \(r_{s} \approx 2.95\) km; for Sgr A* (\(M \approx 4.15 \times 10^{6} M_{\odot}\)) it is \(\sim 1.2 \times 10^{10}\) m, comparable to the orbit of Mercury[2]. The genuine curvature singularity at \(r=0\) is shrouded behind the horizon — Penrose's cosmic censorship conjecture posits this is generic[3].

For astrophysical black holes the appropriate generalization is the two-parameter Kerr family, which carries angular momentum \(J\) and exhibits an ergosphere where frame-dragging forces \(\partial_{t}\) to become spacelike. The no-hair theorems[4] assert that, in vacuum, the entire exterior geometry is fixed by \((M, J, Q)\).

r_s photon sphere (3GM/c²) infalling null geodesic ISCO
Figure 1. Schematic of the exterior geometry of a Schwarzschild black hole, showing the event horizon at \(r_s = 2GM/c^2\), the photon sphere at \(3GM/c^2\), and the innermost stable circular orbit (ISCO) at \(6GM/c^2\) for a non-rotating hole.

1.2   Hawking radiation and black-hole thermodynamics

Treating quantum fields on the fixed Schwarzschild background, Hawking[5] showed that an asymptotic observer detects a thermal flux at temperature

$$ T_{H} = \frac{\hbar c^{3}}{8\pi G M k_{B}} \;\approx\; 6.17 \times 10^{-8}\,\text{K} \,\left(\frac{M_{\odot}}{M}\right). $$
(2)

The entropy is governed by the horizon area \(A\), giving the Bekenstein–Hawking relation[6] \(\,S_{BH} = k_{B} A c^{3}/(4 \hbar G)\,\), one quarter of the area in Planck units. The combination of unitary quantum evolution with the apparent thermality of Hawking emission is the source of the long-standing information paradox; the recent "island"-formula calculations of the Page curve[7] have reignited but not closed the question.

1.3   Observational status

Black holes are no longer hypothetical objects. The first direct detection of gravitational waves from a binary black-hole merger, GW150914[8], confirmed the existence of stellar-mass black holes in the predicted mass range and provided a template-independent test of the strong-field regime. The Event Horizon Telescope's 230-GHz VLBI images of M87* (2019) and Sgr A* (2022)[9] resolve structure on horizon scales and show the predicted shadow with diameter \(\approx 5.2\, r_{s}\), consistent with the Kerr metric within current systematics. The catalog of LIGO–Virgo–KAGRA mergers now exceeds 90 events through O3, and population studies have begun to constrain the pair-instability mass gap and the primary-spin distribution.

§ 2The Invariant Speed of Light

2.1   Definition and status

Since the 1983 redefinition of the metre, the vacuum speed of light is fixed by definition at

$$ c \equiv 299{,}792{,}458 \;\text{m s}^{-1}. $$
(3)

It is no longer a measured quantity; rather, the metre is the distance light travels in a specified fraction of a second. This codifies the operational status \(c\) had already attained through Einstein's 1905 second postulate[10].

2.2   Electromagnetic origin

In free space, Maxwell's equations

$$ \nabla \!\cdot\! \mathbf{E} = \tfrac{\rho}{\varepsilon_{0}}, \quad \nabla \!\cdot\! \mathbf{B} = 0, \quad \nabla \!\times\! \mathbf{E} = -\tfrac{\partial \mathbf{B}}{\partial t}, \quad \nabla \!\times\! \mathbf{B} = \mu_{0} \mathbf{J} + \mu_{0}\varepsilon_{0}\, \tfrac{\partial \mathbf{E}}{\partial t} $$
(4)

yield the wave equations \(\,\Box \mathbf{E} = \Box \mathbf{B} = 0\,\) with phase velocity \(c = 1/\sqrt{\mu_{0}\varepsilon_{0}}\). Maxwell himself remarked, in 1865, that the agreement with Fizeau's measurement left "scarcely any doubt that light is an electromagnetic disturbance"[11]. The deeper insight, however, came from Einstein: c is not the speed of a particular wave but a structural feature of the causal geometry — the slope of the light cone — and therefore the same in every inertial frame.

x ct p future past elsewhere
Figure 2. The Minkowski light cone at an event \(p\). The invariance of \(c\) is the statement that this null structure is preserved under Lorentz transformations.

2.3   Kinematic and dynamical consequences

From the invariance of the line element \(ds^{2} = -c^{2} dt^{2} + d\mathbf{x}^{2}\) follow, in standard fashion, time dilation and length contraction by the Lorentz factor \(\gamma = (1 - v^{2}/c^{2})^{-1/2}\), and the relativistic dispersion relation

$$ E^{2} = (pc)^{2} + (m c^{2})^{2}, $$
(5)

from which mass–energy equivalence, the masslessness of the photon, and the impossibility of superluminal signaling for any field carrying energy follow as corollaries. In curved spacetime \(c\) retains its role as the local conversion factor between time and space in any orthonormal frame; "varying-\(c\)" cosmologies typically reduce, on closer inspection, to redefinitions of other dimensionful constants[12].

2.4   Lorentz invariance under observational scrutiny

Lorentz invariance has been tested across a remarkable dynamic range: modern Michelson–Morley analogues using cryogenic optical resonators bound the anisotropy of \(c\) at the level \(\Delta c / c \lesssim 10^{-18}\)[13]; astrophysical bounds from gamma-ray-burst timing constrain the dispersion of photons up to and beyond the Planck energy in many parameterizations[14]. No statistically robust violation has been detected. The tension between this empirical robustness and the expectation that quantum gravity should somehow modify the small-scale causal structure is, at present, an active area of phenomenological research.

References

  1. K. Schwarzschild, Sitzungsber. Preuss. Akad. Wiss. Berlin, 189 (1916).
  2. GRAVITY Collaboration, A&A 657, L12 (2022).
  3. R. Penrose, Riv. Nuovo Cim. 1, 252 (1969).
  4. B. Carter, Phys. Rev. Lett. 26, 331 (1971); D. C. Robinson, Phys. Rev. Lett. 34, 905 (1975).
  5. S. W. Hawking, Comm. Math. Phys. 43, 199 (1975).
  6. J. D. Bekenstein, Phys. Rev. D 7, 2333 (1973).
  7. G. Penington, JHEP 09, 002 (2020); A. Almheiri et al., JHEP 05, 013 (2020).
  8. B. P. Abbott et al. (LIGO & Virgo), Phys. Rev. Lett. 116, 061102 (2016).
  9. EHT Collaboration, ApJL 875, L1 (2019); ApJL 930, L12 (2022).
  10. A. Einstein, Annalen der Physik 17, 891 (1905).
  11. J. C. Maxwell, Phil. Trans. R. Soc. 155, 459 (1865).
  12. G. F. R. Ellis & J.-P. Uzan, Am. J. Phys. 73, 240 (2005).
  13. M. Nagel et al., Nat. Commun. 6, 8174 (2015).
  14. V. Vasileiou et al., Phys. Rev. D 87, 122001 (2013).

— E. Nguyen  ·  Compiled in LuaTeX with MathJax fallback —