The Penrose–Hawking Singularity Theorems

The Penrose–Hawking singularity theorems are a set of mathematical proofs, worked out in the 1960s, showing that singularities, points where the fabric of spacetime breaks down, are not exotic accidents but a generic, unavoidable feature of Einstein's general relativity. They are the rigorous foundation beneath two of the biggest ideas in modern physics: that black holes contain singularities, and that the universe began in one.

The problem they solved

A singularity is a place where the quantities general relativity deals with, the curvature and density of spacetime, become infinite, and the theory's equations stop giving sensible answers. Such points had turned up in solutions to Einstein's equations since the 1910s. But there was a widespread suspicion that they were artefacts: products of the unrealistically perfect, symmetrical situations physicists used to make the maths tractable.

The reasoning went like this. If you model a perfectly spherical, perfectly uniform collapsing star, of course everything funnels neatly to a single central point. But the real universe is lumpy and asymmetric. Surely a realistic, slightly irregular collapse would have the in-falling matter miss the exact centre, swirl around, and avoid forming a true singularity? Many physicists assumed singularities would vanish once the idealised symmetry was dropped.

Penrose's breakthrough

In 1965 Roger Penrose proved that assumption wrong. His insight was to stop trying to track the messy details of the collapse and instead use powerful, general arguments from geometry and topology, the global structure of spacetime, combined with a reasonable assumption that gravity always attracts and energy is never negative.

The key concept was the trapped surface: a region from which light itself can no longer escape outwards, because gravity has become strong enough to bend even outgoing light rays back inwards. Penrose showed that once a trapped surface forms, a singularity is inevitable, regardless of how irregular or asymmetric the collapse is. The lumpiness does not save you. Gravitational collapse to a singularity is a generic outcome, not a special case.

Hawking turns it around

This is where Hawking made his entrance. He realised that Penrose's argument could be run in reverse and applied not to a collapsing star but to the entire expanding universe.

If the universe is expanding now, as observation shows, then tracing that expansion backwards is mathematically much like watching a collapse in reverse. Hawking adapted Penrose's methods to show that the same logic forces a singularity in the universe's past: a beginning. Over several years the two combined and strengthened their results, culminating in a powerful joint theorem around 1970.

The conclusion was striking. Under general relativity and a few mild, physically reasonable conditions, both black holes and the universe as a whole must contain singularities. They are not avoidable by appealing to realistic, messy initial conditions. They are built into the theory.

Why it mattered

The theorems did two things at once. They put the Big Bang on a rigorous footing by showing that general relativity itself demands a beginning to time, not merely that one is plausible. And they established that singularities lie at the hearts of black holes as a matter of mathematical necessity.

But the deepest lesson is subtler. A singularity is the point where general relativity predicts its own failure, where its equations break down and can no longer describe what happens. By proving that singularities are unavoidable, Penrose and Hawking proved that general relativity is necessarily incomplete: there must be a deeper theory, a theory of quantum gravity, that takes over where Einstein's leaves off. Much of theoretical physics ever since has been the search for it.

The work was recognised as among the most important in twentieth-century physics. Roger Penrose received a share of the 2020 Nobel Prize in Physics for showing that black hole formation is a robust prediction of general relativity. Hawking, who had died in 2018, was not eligible, as the prize is not awarded posthumously, but the theorems bear both their names, and rightly so.

The proofs turn on the idea of a trapped surface, and on the breakdown of physics at the Planck scale.

The roots of this work lie in his PhD thesis, released publicly in 2017.

The original papers are summarised in Hawking's key scientific papers, and the visual tool behind them is the Penrose diagram explainer.

References

1. Penrose, R. "Gravitational Collapse and Space-Time Singularities." Physical Review Letters 14, 57 to 59 (1965). DOI: 10.1103/PhysRevLett.14.57. The paper that introduced the trapped-surface method.
2. Hawking, S. W. and Penrose, R. "The Singularities of Gravitational Collapse and Cosmology." Proceedings of the Royal Society of London A 314, 529 to 548 (1970). DOI: 10.1098/rspa.1970.0021. The definitive joint singularity theorem.
3. The 2020 Nobel Prize in Physics was awarded in part to Roger Penrose "for the discovery that black hole formation is a robust prediction of the general theory of relativity." Stephen Hawking, who died in 2018, was not eligible, as the prize is not awarded posthumously.

This page is an explanatory summary for general readers; the original papers above are technical.