The Nature of Space and Time — Chapter-by-Chapter Outline

Authors: Stephen W. Hawking and Roger Penrose First published: 1996 (Princeton University Press) Edition covered: Princeton Science Library edition with Afterword to the 2010 Edition, which adds a joint reflective essay "The Debate Continues" updating both authors' positions; the six lectures and debate chapter are identical across printings

---

Central thesis

Two of the twentieth century's most penetrating thinkers in theoretical physics — Stephen Hawking and Roger Penrose — agree on the broad outlines of general relativity and on the inevitability of spacetime singularities, but disagree sharply on how quantum theory should be interpreted and on what it implies for black holes, the origin of the universe, and the direction of time. The book records alternating lectures, three each, plus a joint debate and a 2010 afterword: Hawking speaks for a positivist, Euclidean path-integral approach in which information is genuinely lost and the universe has no boundary; Penrose argues for an asymmetric, time-irreversible quantum gravity in which the structure of singularities is physically distinct between past and future, and in which the measurement problem requires a real gravitational mechanism for wave-function collapse.

The organizing question running through every lecture is:

Can the laws of quantum mechanics and general relativity be unified into a single coherent picture of space, time, and the origin of the universe — and if so, what does that picture imply about information, determinism, and the arrow of time?

---

Chapter 1 — Classical Theory

Delivered by S. W. Hawking

Central question

What do the classical (non-quantum) equations of general relativity imply about the global structure of spacetime, and why do they force us to conclude that singularities — points where the theory breaks down — are inevitable?

Main argument

Causal structure and the future of sets

Hawking opens by crediting Penrose with introducing modern mathematical tools — spinors, global differential-topology methods — that transformed general relativity from a collection of exact solutions into a theory with provable, coordinate-independent properties. The key concept is the chronological future I⁺(S) of a set S: the collection of all spacetime events reachable from S by future-directed timelike curves. Hawking shows that the boundary of this future, İ⁺(S), can be neither timelike nor spacelike in general; it is generated by null geodesics. Generators can lose past end-points if they intersect other generators, and can acquire future end-points if they hit a caustic. This topological machinery underpins everything that follows.

Global hyperbolicity and Cauchy surfaces

A spacetime region U is globally hyperbolic if (i) for every pair of points p, q in U, the intersection I⁺(p) ∩ I⁻(q) has compact closure, and (ii) strong causality holds — no almost-closed timelike curves exist in U. Hawking argues that global hyperbolicity is physically important because it guarantees the existence of Cauchy surfaces Σ(t): spacelike slices that every timelike curve crosses exactly once. On a Cauchy surface one can specify initial data and evolve it deterministically. Crucially, Hawking resists simply assuming global hyperbolicity because gravity might be revealing something physically meaningful through departures from it.

The Raychaudhuri-Newman-Penrose equation

The engine of the singularity theorems is the focusing equation:

dρ/dv = ρ² + σᵢⱼσⁱʲ + (1/n)Rₐᵦlᵃlᵇ

where ρ is the convergence of a null (or timelike) geodesic congruence, σᵢⱼ is shear, and Rₐᵦlᵃlᵇ is the Ricci curvature contracted along the geodesic direction. The strong energy condition — Rₐᵦlᵃlᵇ ≥ 0 for all causal vectors l — is satisfied by ordinary matter and ensures that Rₐᵦlᵃlᵇ ≥ 0 adds positively to the right-hand side. This means convergence ρ can only increase; gravity is always focusing. If ρ reaches a positive value ρ₀ > 0, the geodesic congruence must develop a conjugate point (a caustic) within a finite affine distance 1/ρ₀. At a conjugate point the geodesic ceases to be a maximally-length curve, which generates the contradiction in singularity proofs.

Hawking-Penrose singularity theorems

The generic singularity theorem (joint 1970 paper) asserts: If the strong energy condition holds, every timelike or null geodesic contains a point where l[aRb]cd[elf]lᶜlᵈ ≠ 0 (a generic condition excluding exact symmetry), and either (a) the universe contains a trapped surface, or (b) there is a point whose past light cone starts to reconverge — then the spacetime contains at least one incomplete geodesic. Geodesic incompleteness is taken as the definition of a singularity. Hawking notes the theorem does not say what form the singularity takes — it might be a curvature blow-up, a topology change, or merely a missing point.

Black holes and the area theorem

A black hole is the region from which one cannot escape to future null infinity I⁺. Its boundary, the event horizon, is generated by null geodesics with no future end-points. Hawking's area theorem: assuming weak energy condition and cosmic censorship (naked singularities do not form), the total area of event horizons can never decrease. This follows because the focusing equation, applied to the generators of the horizon, would cause caustics — future end-points — if convergence became negative; but end-points on the horizon boundary would mean the horizon retreats inward, violating the condition that nothing escapes. The area theorem is the classical seed of black hole thermodynamics.

Key ideas

• General relativity, once equipped with global topological methods, predicts its own breakdown: singularities are theorems, not special solutions
• The strong energy condition — gravity focuses all matter — is the physical core of the singularity theorems
• Global hyperbolicity implies a clean initial-value formulation but should be derived, not assumed
• The area theorem for black holes is the classical precursor to the identification of black hole entropy with horizon area
• Conjugate points (caustics) are the geometric mechanism converting energy conditions into geodesic incompleteness
• Cosmic censorship — naked singularities are hidden — is assumed but unproved; it is the shield protecting predictability outside black holes

Key takeaway

Classical general relativity, interpreted through the global causal-structure methods pioneered by Penrose, proves unavoidably that the universe began and that black holes contain singularities — a triumph of the theory that simultaneously marks the limits of its own validity.

---

Chapter 2 — Structure of Spacetime Singularities

Delivered by R. Penrose

Central question

Are all spacetime singularities alike in structure, and does the observed asymmetry between the Big Bang and the final collapse of the universe require a new, time-asymmetric law governing quantum gravity?

Main argument

Two kinds of singularity

Penrose begins by sharpening the question the first lecture leaves open: singularity theorems establish incompleteness but say nothing about what the singularity looks like. Penrose distinguishes radically different singularity types based on their conformal (causal) structure. Past singularities — the Big Bang — are extraordinarily smooth and geometrically constrained. Future singularities — those inside black holes or at a Big Crunch — are expected to be violently chaotic, oscillatory, and geometrically wild. This asymmetry is the central empirical fact demanding explanation.

The Weyl curvature hypothesis

The Riemann curvature tensor splits into the Ricci part Rₐᵦ (determined locally by the matter distribution via Einstein's equations) and the Weyl tensor Cₐᵦᶜᵈ (the "free" gravitational field encoding tidal distortions and gravitational waves). Penrose's Weyl curvature hypothesis (WCH) states: at any initial singularity, the Weyl tensor Cₐᵦᶜᵈ = 0 (or at least is constrained to be small), while at a final singularity the Weyl tensor is generically large and divergent. The microwave background's near-perfect isotropy is the observational manifestation of the WCH: the Big Bang was extraordinarily uniform. Future collapse (black holes, Big Crunch) has no such constraint — the Weyl tensor diverges chaotically, producing the violent oscillations described by Belinski, Khalatnikov, and Lifshitz (the BKL scenario).

Cosmic censorship revisited

Penrose introduces both the weak and strong forms of the cosmic censorship conjecture. Weak cosmic censorship asserts that, in an asymptotically flat spacetime evolving from generic initial conditions, any singularities forming in gravitational collapse are hidden behind event horizons — naked singularities accessible to distant observers do not form. Strong cosmic censorship asserts more broadly that the maximal Cauchy development of generic initial data is inextendible (no Cauchy horizon forms). Penrose argues these conjectures, though unproved, are essential to protect the predictability of physics outside black holes. He explains that if weak censorship holds, trapped surfaces and their associated singularities are causally sealed off, and the conformal structure at null infinity I⁺ remains well-defined.

Conformal diagrams and singularity structure

Penrose employs his conformal diagrams (also called Penrose–Carter diagrams) — compactified representations of the full causal structure where null lines run at 45 degrees — to display the drastic difference between the conformal geometry of an initial singularity (a spacelike boundary with Weyl tensor constrained to zero) and the expected conformal geometry of a final singularity (irregular, with diverging Weyl tensor). He argues that quantum gravity must incorporate a fundamental time asymmetry: the laws that govern past singularities must be genuinely different from those that govern future singularities, in contrast to the CPT invariance of known microphysics.

BKL oscillatory behaviour near final singularities

Near a generic final singularity, the BKL analysis shows the metric undergoes an infinite sequence of Kasner epochs — alternating anisotropic contractions — producing chaotic, oscillatory behaviour in the Weyl tensor. This is qualitatively unlike the smooth, Weyl-constrained Big Bang. Penrose argues this asymmetry cannot be explained by initial conditions alone (the entropy argument of his Weyl hypothesis); it must be built into the fundamental equations.

Key ideas

• The Weyl curvature, not the Ricci curvature, distinguishes smooth from chaotic singularities
• The Big Bang's Weyl tensor was effectively zero — an extraordinarily special initial condition corresponding to vanishing gravitational entropy
• Future singularities (inside black holes, Big Crunch) will have large, divergent Weyl tensors — high gravitational entropy
• Cosmic censorship protects observers from naked singularities and preserves the causal structure needed for determinism
• BKL oscillatory behaviour is the generic structure of final singularities, contrasting sharply with the Big Bang's smoothness
• A truly time-asymmetric law of quantum gravity is required: the Weyl tensor condition at initial singularities is not derivable from CPT-symmetric microphysics

Key takeaway

Penrose argues that the profound asymmetry between the smooth Big Bang and the chaotic structure of future singularities — encoded in the Weyl curvature hypothesis — cannot be explained by initial conditions alone and demands a fundamentally time-irreversible law at the level of quantum gravity.

---

Chapter 3 — Quantum Black Holes

Delivered by S. W. Hawking

Central question

When quantum field theory is applied to spacetime containing a black hole, what happens to information about the initial quantum state of infalling matter, and does its fate reveal a new kind of physical unpredictability beyond ordinary quantum uncertainty?

Main argument

Trapped surfaces and the classical setup

Hawking reviews the classical picture from Lecture 1: the singularity theorems guarantee that once a trapped surface forms (an area of spacetime where even outgoing light rays converge), a singularity must follow. Cosmic censorship implies the singularity is hidden behind an event horizon. The event horizon's area cannot decrease classically (area theorem). Bekenstein observed that this area theorem is structurally parallel to the second law of thermodynamics, suggesting a black hole has entropy proportional to its horizon area.

Hawking radiation from quantum fields on curved spacetime

The key move is to treat the matter fields quantum mechanically while treating the spacetime geometry classically (the semi-classical approximation). Hawking's 1974 calculation shows that, because of the mixing of positive- and negative-frequency modes near the horizon induced by the collapse of matter, an observer at infinity sees a steady flux of thermal radiation. The Hawking temperature of a black hole of mass M is:

T = ℏc³ / (8πGMk_B)

where k_B is Boltzmann's constant. A solar-mass black hole has T ≈ 10⁻⁷ K, utterly undetectable. But a primordial black hole of 10¹² kg (roughly asteroid mass) would be at its final stages of evaporation today. As the black hole radiates, it loses mass and temperature rises, leading eventually to complete evaporation.

Carter-Penrose diagrams for black hole formation and evaporation

Hawking uses Carter-Penrose (conformal) diagrams to display the causal structure of black hole formation and evaporation. The diagram shows a singularity at the top, an event horizon forming from infalling matter, the radiation going outward, and — crucially — a future singularity inside the black hole. The key topological fact is that the interior of the black hole is causally disconnected from future null infinity: no signal from inside can reach I⁺.

The information loss paradox

Hawking's central claim: the radiation is exactly thermal — it carries only the black hole's mass, charge, and angular momentum, nothing about what fell in. After complete evaporation, the black hole is gone. The information about the quantum state of the infalling matter — the specific particle content, entanglement structure, everything except the three classical charges — is irretrievably lost. This means the evolution from an initial pure quantum state to a final mixed (thermal) state is not describable by a unitary operator. Hawking insists this is not an approximation — the global causal structure forces it. He directly confronts particle physicists' intuition that information must be conserved, arguing they have produced no mechanism for recovery. The loss of quantum coherence is, he argues, an intrinsically gravitational effect with no analogue in other field theories.

Black hole pair creation

Hawking introduces an additional mechanism — the quantum creation of black hole pairs in external fields — using Euclidean methods. In the Euclidean (imaginary-time) framework, a black hole of temperature T has the geometry of a space periodic in imaginary time with period β = 1/T. This connects the Hawking temperature to the geometry of the Euclidean black hole and motivates his broader use of Euclidean path integrals in subsequent lectures.

Gravitational entropy and its meaning

Because the radiation is thermal, one can assign an entropy to the black hole: S_BH = A/4 (in Planck units), where A is the horizon area. This is the Bekenstein-Hawking entropy. For a solar-mass black hole it is vastly larger than any other form of entropy associated with the same amount of matter. Hawking interprets this as gravitational entropy arising from the topology of the spacetime manifold — the fact that no observer outside the black hole can ever access the interior. The entropy is not a result of coarse-graining over microstates we merely fail to observe; it is irreducible, a permanent feature of the causal structure.

Key ideas

• Quantum fields on classical curved spacetime predict that black holes radiate thermally at a temperature inversely proportional to their mass
• Hawking radiation is not a surface effect but arises from the global causal structure — the mixing of modes across the event horizon
• Complete black hole evaporation destroys information about the initial quantum state: pure states evolve to mixed states
• The Bekenstein-Hawking entropy S = A/4 is proportional to horizon area and is vastly larger than any thermal entropy for the same mass
• This gravitational entropy is irreducible — not the result of ignorance but of irreversible causal disconnection
• The Euclidean (imaginary-time) geometry encodes the black hole's temperature as the period of a thermal circle

Key takeaway

Hawking argues that the quantum evaporation of black holes introduces a new, irreducible form of unpredictability: information about initial quantum states is permanently destroyed, and entropy is created by the topology of spacetime itself — not by coarse-graining or ignorance.

---

Chapter 4 — Quantum Theory and Spacetime

Delivered by R. Penrose

Central question

Does quantum mechanics, as currently formulated, provide a complete description of physical reality — or does the measurement problem (the collapse of the wave function) require a real physical mechanism, and might that mechanism involve gravity?

Main argument

The measurement problem

Penrose opens with what he regards as the central unsolved problem in all of physics: quantum mechanics describes a system as evolving via a linear, deterministic, unitary wave function ψ that can be in a superposition of macroscopically distinct states. Yet when we measure the system we always find it in a single definite state (Schrödinger's cat is alive or dead, never both). The conventional response — the Copenhagen interpretation's "collapse of the wave function" — is, Penrose argues, a mere bookkeeping device that papers over a real physical discontinuity. Decoherence (the entanglement with environmental degrees of freedom) explains why macroscopic superpositions are hard to observe but does not, in Penrose's view, resolve the ontological question: is the wave function real, and if so, what physically selects one branch?

Superpositions and spacetime geometry

Penrose's key move: in general relativity, the spacetime metric g_μν is a dynamical field. If a mass can exist in quantum superposition between two spatial locations, then the associated spacetime geometries are also in superposition. But two distinct spacetime geometries cannot be consistently superposed using ordinary quantum mechanics: the notion of "time" is different in each branch, and the usual framework of quantum field theory on a fixed background cannot accommodate this. Penrose argues this incompatibility is not merely a technical difficulty — it is a fundamental clash between the principles of general relativity and quantum mechanics, and it demands a physical resolution.

Objective reduction (OR) and its timescale

Penrose proposes objective reduction (OR): the superposition of two spacetime geometries is genuinely unstable due to the gravitational self-energy of the difference between the two mass distributions. The timescale for collapse is:

τ ≈ ℏ / E_G

where E_G is the gravitational self-energy of the difference between the mass distributions in the two branches. For an electron, τ is cosmologically long — superpositions are stable. For a dust grain of Planck mass (about 10 micrograms), τ ≈ 1 second. For a macroscopic object, τ is negligibly short — which is why macroscopic objects appear classical. This is not an environmental decoherence but an intrinsic gravitational process. The OR mechanism is thus testable: precisely engineered superpositions of mesoscopic masses should collapse in predicted timescales.

Time asymmetry and the CPT violation

Penrose connects OR to the asymmetry of singularities: he argues that the WCH (Weyl Curvature Hypothesis, from Lecture 2) implies a fundamentally CPT-violating quantum gravity. The laws governing wave-function collapse at a past singularity must differ from those at a future singularity. This is a much more radical departure from standard physics than Hawking's information-loss proposal: Hawking maintains CPT symmetry (the loss of information is symmetric), while Penrose argues that nature itself distinguishes past from future at the level of fundamental law.

Schrödinger's cat and the need for new physics

Penrose distinguishes three layers of quantum description: (U) unitary evolution by Schrödinger's equation; (R) the reduction of the state on measurement; and (C) the classical world we actually see. All conventional interpretations (Copenhagen, many-worlds, decoherence) take (U) as fundamental and treat (R) as derivative or illusory. Penrose insists (R) is a real physical process requiring a real physical explanation, and that explanation lies in the domain of quantum gravity — specifically in the OR mechanism rooted in gravitational self-energy. He explicitly contrasts his view with Hawking's, who adopts a positivist stance that the quantum state is merely a tool for computing probabilities and that asking what is "really happening" is meaningless.

Key ideas

• The measurement problem is a genuine physical problem, not a philosophical artifact; the wave function is ontologically real for Penrose
• General relativity and quantum mechanics clash at a foundational level because the spacetime metric is dynamical and cannot be superposed without conflict
• Objective reduction provides a gravitational mechanism for wave-function collapse with a testable timescale τ ≈ ℏ/E_G
• Macroscopic objects appear classical because their OR timescale is negligibly short; microscopic superpositions persist because their τ is enormous
• A genuinely time-asymmetric quantum gravity is required — not merely different boundary conditions but different fundamental laws at past vs. future singularities
• Penrose and Hawking directly disagree: Hawking holds CPT invariance is inviolable; Penrose argues black hole and cosmological evidence requires its violation

Key takeaway

Penrose argues that quantum mechanics is incomplete: the reduction of the wave function is a real physical event driven by gravitational instability in superposed spacetime geometries, implying that any successful quantum theory of gravity must be genuinely time-asymmetric and must provide an objective mechanism for the collapse that Schrödinger's equation cannot supply.

---

Chapter 5 — Quantum Cosmology

Delivered by S. W. Hawking

Central question

Can quantum gravity explain the origin of the universe — including why it began in such a smooth, low-entropy state — without invoking a boundary condition at the Big Bang, and can it predict the observed spectrum of density fluctuations?

Main argument

The problem with the classical Big Bang

Classical general relativity, combined with the observed expansion of the universe and positive energy density, implies a past singularity — the Big Bang — at which predictability breaks down. One cannot specify initial conditions at the singularity because general relativity has no predictive content there. Hawking frames this as the central problem: quantum gravity must replace the classical singularity with a well-defined initial quantum state.

The Euclidean path integral

Hawking's approach is the Euclidean (imaginary-time) path integral for quantum gravity. One computes the wave function of the universe Ψ[hij] by summing over all compact Euclidean 4-geometries (no Lorentzian signature, no boundary conditions in the past) with the three-metric hij as the boundary:

Ψ[hij] = ∫ D[gμν] exp(−IE[gμν])

where I_E is the Euclidean gravitational action. The crucial feature is that the compact Euclidean metrics have no boundary — there is no Big Bang boundary to specify conditions on. The initial state is determined by the geometry itself.

The no-boundary proposal (Hartle-Hawking state)

The no-boundary proposal (Hartle and Hawking, 1983) identifies Ψ as the sum over compact Euclidean metrics without boundary. In the simplest model (de Sitter space with a cosmological constant Λ), the dominant saddle point is a Euclidean 4-sphere smoothly joined at its equator to the Lorentzian de Sitter solution — a "spontaneous creation" of an exponentially expanding universe from nothing. The universe does not come from a prior Lorentzian geometry; it nucleates from the Euclidean regime just as a particle can tunnel through a classically forbidden barrier.

Inflation and the prediction of perturbations

Hawking introduces a scalar field φ with potential V(φ) to model inflation. The no-boundary proposal predicts that the universe nucleates with φ near the top of the potential hill (large V(φ) acts as an effective cosmological constant), then rolls slowly down, driving exponential expansion. The wave function for perturbations of the 3-metric (tensor harmonics, corresponding to gravitational waves, and scalar harmonics, corresponding to density perturbations) is computed from the no-boundary condition. The result is that perturbations begin in their ground state — a near-scale-invariant (Harrison-Zel'dovich) spectrum. The scalar density perturbations are amplified over tensor perturbations by a factor ∝ (expansion rate / rate of change of φ), consistent with COBE observations of the CMB angular power spectrum.

The arrow of time and Hawking's earlier mistake

Hawking confronts the thermodynamic arrow of time: why does entropy increase toward the future? The local laws of physics are CPT-symmetric, so the arrow must come from boundary conditions. For a closed universe (which the no-boundary proposal requires) that expands and then contracts, Hawking had earlier claimed (in a published paper) that the arrow of time would reverse in the contraction phase — cups would spontaneously reassemble. He then recounts his discussion with Don Page and Raymond Laflamme that convinced him this was his "greatest mistake in physics": the no-boundary proposal predicts a different boundary condition at each end of time. One end (the Big Bang) has small perturbations because it corresponds to a short Euclidean cap with strongly damped perturbations; the other end (Big Crunch) has large perturbations because the perturbations evolve unconstrained through the long Lorentzian period. The arrow of time therefore does not reverse. This directly addresses Penrose's Weyl curvature hypothesis: the no-boundary proposal provides a derivation of why initial conditions are smooth (small Weyl tensor) without requiring a separate law.

Cosmological entropy and the event horizon

In a closed universe, no observer can ever see the entire spacelike slice Σ — the past light cone limits what is accessible. The unobserved portion of Σ introduces irreducible ignorance: when one traces over the unseen part, the observable region is described by a mixed state, even if the universe is in a pure state globally. Hawking argues this is the reason we observe classical behaviour (decoherence without an external heat bath) and that the cosmological event horizon has an intrinsic entropy analogous to the Bekenstein-Hawking entropy of a black hole.

Key ideas

• The classical Big Bang singularity is replaced by a smooth Euclidean cap in the no-boundary proposal — the universe spontaneously nucleates from nothing
• The no-boundary wave function Ψ[h_ij] is computed as a sum over compact Euclidean 4-geometries with no boundary in the past
• Inflation is naturally predicted: the universe nucleates with a large scalar field, which drives exponential expansion
• The near-scale-invariant spectrum of density perturbations — confirmed by COBE — follows from the no-boundary ground state for perturbations
• The thermodynamic arrow of time is explained by the asymmetry of the two Euclidean saddle points at each end of time, not by a new fundamental law
• Cosmological event horizons create irreducible entropy because observers can never see the full Cauchy slice; the universe appears classical for the same reason

Key takeaway

Hawking's no-boundary proposal replaces the singular Big Bang with a smooth Euclidean geometry, derives inflation, predicts an observed perturbation spectrum, and explains the thermodynamic arrow of time — all from a single quantum boundary condition — without invoking either a fundamental time asymmetry in the laws or separate initial conditions.

---

Chapter 6 — The Twistor View of Spacetime

Delivered by R. Penrose

Central question

Can spacetime and quantum theory be unified by reversing the usual priority — treating the complex geometry of null rays (light paths) as primary, and deriving spacetime points as secondary structures — and if so, what does this approach reveal about the nature of quantum gravity?

Main argument

The motivation: conflict at the foundations

Penrose opens by articulating his dissatisfaction with both existing approaches to quantum gravity. The standard approach — quantize the metric perturbation on a fixed classical background — is technically intractable and philosophically unsatisfying. String theory (Hawking's alternative) has made no testable predictions from first principles. Penrose's alternative is to start over with geometry, specifically to replace the spacetime manifold (a set of points with a metric) with a description built on null geodesics (light rays), since it is light-cone structure that physics actually depends on.

Twistors: the basic construction

A twistor Z^α is a four-component complex object (in flat spacetime, effectively a pair of two-component spinors: Z^α = (ω^A, π_{A'})) encoding the geometry of a null ray — its direction and closest approach to the origin. Twistor space T is a four-dimensional complex manifold CP³ (complex projective 3-space in the projective version). The correspondence is:

• A point in Minkowski spacetime corresponds to a line (CP¹ = Riemann sphere) in projective twistor space PT
• A null ray corresponds to a point in PT
• Two spacetime points are null-separated if and only if the corresponding lines in PT intersect

This is the Penrose correspondence (or Klein correspondence in its original form). The causal structure of Minkowski spacetime is thus encoded in the intersection pattern of complex lines in PT.

Massless fields and the Penrose transform

Penrose's central mathematical result is the Penrose transform: solutions to the zero-rest-mass field equations on spacetime — including the Maxwell equations (spin 1), linearized gravity (spin 2), and neutrinos (spin ½) — correspond to holomorphic cohomology classes on regions of twistor space. Concretely, a massless field of helicity s on a region of Minkowski spacetime is equivalent to an element of a sheaf cohomology group H¹(U, O(−2s−2)) on the corresponding region of PT. This is a profound simplification: differential equations on spacetime become purely algebraic (cohomological) objects in twistor space.

Conformal invariance and the positive-frequency condition

Twistor theory is naturally conformally invariant — it sees only the null cone structure, not the metric scale. This is appropriate for massless fields (which are conformally invariant) and for the description of the gravitational field at null infinity. Penrose argues that twistor space is the natural home for the positive-frequency condition of quantum field theory (the distinction between particles and antiparticles), which in ordinary spacetime formulations must be imposed as an external constraint but emerges naturally from the holomorphic structure of twistor space.

Non-linear graviton and full quantum gravity

Penrose discusses the non-linear graviton construction: the deformation of the complex structure of twistor space encodes the self-dual part of the gravitational field. A curved spacetime with self-dual Weyl tensor corresponds to a deformation of the flat twistor space complex structure. This is Penrose's approach to full (not linearized) quantum gravity: quantize by deforming the complex geometry of twistor space rather than by perturbing the metric. Though technically incomplete as a full theory, the construction reveals that spacetime curvature has a natural home in the complex geometry of twistor space, and that the Weyl tensor — whose smallness characterizes the Big Bang and whose largeness characterizes future singularities — is the fundamental gravitational degree of freedom in the twistor picture.

Connection to the Weyl curvature hypothesis

Penrose closes by connecting the twistor programme to his central physical thesis: the Weyl tensor, which vanishes at initial singularities and diverges at final ones, is the entity most naturally described in twistor language. If quantum gravity is formulated as a twistor theory, then the time-asymmetric condition on the Weyl tensor at singularities may become a statement about the complex geometry of twistor space near singular boundaries — a genuinely geometric formulation of why the universe began smooth and will end chaotic.

Key ideas

• Twistor theory takes null rays (light paths) as primary and derives spacetime points as secondary objects — an inversion of ordinary geometry
• Twistor space is a four-dimensional complex manifold (CP³ in the projective version); a spacetime point is a CP¹ line in twistor space
• The Penrose transform maps zero-rest-mass field equations to holomorphic cohomology — algebraic objects replacing differential equations
• Conformal invariance is built into the twistor framework, making it natural for massless fields and gravitational radiation
• The non-linear graviton construction encodes self-dual gravitational fields as deformations of the complex structure of twistor space
• The Weyl curvature — whose time asymmetry is Penrose's central physical claim — is the fundamental gravitational variable in the twistor picture

Key takeaway

Penrose proposes that the right language for quantum gravity is not the quantization of the metric but a complex-geometric reformulation in terms of twistors, in which spacetime is secondary, massless fields are cohomology classes, and the time-asymmetric Weyl curvature hypothesis may become a precise geometric condition on the boundary of twistor space.

---

Chapter 7 — The Debate

Delivered jointly by S. W. Hawking and R. Penrose

Central question

After six lectures outlining their respective programmes, where do Hawking and Penrose actually agree, where do they genuinely disagree, and can either side resolve the other's deepest objections?

Main argument

Areas of agreement

Both authors endorse the global methods and singularity theorems of classical general relativity as the correct foundation. Both accept that black holes radiate (Hawking radiation) and that this process generates entropy. Both agree that the observed smoothness of the early universe — reflected in the uniformity of the CMB — requires explanation. Both also agree that the particle physics community has been too quick to dismiss general relativity as merely a low-energy effective theory without taking its structural consequences seriously.

The information loss disagreement

The sharpest exchange concerns information loss. Hawking maintains: the global causal structure of a black hole spacetime entails that a pure state evolves to a mixed state upon complete evaporation. This is not an approximation; it is a consequence of topology. Penrose does not endorse Hawking's specific mechanism (the Euclidean path integral) but agrees that the formalism of quantum field theory on a fixed classical background already suggests something radical must happen. Penrose prefers to say that quantum gravity must resolve the paradox through objective reduction — the loss of coherence is real but arises from his OR mechanism, not from Hawking's information-loss picture.

CPT symmetry

Hawking defends CPT invariance as inviolable: the fundamental laws are symmetric between past and future, and the arrow of time is a consequence of boundary conditions, not fundamental asymmetry. Penrose rejects this: the Weyl curvature hypothesis, he argues, cannot be merely a boundary condition — the structural difference between initial and final singularities reflects a genuine time asymmetry in the laws of quantum gravity. Neither side fully concedes.

Cosmological geometry: open vs. closed

Hawking's no-boundary proposal requires a spatially closed universe (positive curvature). Penrose prefers an open (negative curvature) universe, for which his twistor approach to quantum gravity is more natural and which meshes with conformal cyclic cosmology (outlined only in later works). The two programmes rest on different preferred geometries.

Inflation

Hawking is an advocate of inflation, deriving it from the no-boundary proposal's scalar field dynamics. Penrose is skeptical: inflation requires choosing initial conditions (a nearly flat potential for the scalar field and a nearly homogeneous starting state) that are themselves extremely special — merely pushing the fine-tuning problem back one step without solving it. Penrose's preferred solution is the Weyl curvature hypothesis as a law, not inflation as an effect.

The Euclidean approach vs. Lorentzian reality

Penrose is skeptical of Hawking's Euclidean path integral: the analytic continuation to imaginary time is a useful computational trick in flat space but, he argues, lacks a clear physical meaning when applied to dynamical curved spacetime. In particular, what justifies the selection of a particular Euclidean section? Hawking replies that the positivist criterion suffices: the Euclidean method makes correct predictions (Hawking temperature, perturbation spectrum) and that is all that can be asked of a physical theory.

Key ideas

• Agreement on classical GR, singularity theorems, and Hawking radiation as a baseline
• Disagreement on information loss: Hawking says pure states evolve to mixed states; Penrose prefers OR as the resolution
• Disagreement on CPT: Hawking holds it inviolable; Penrose says singularity structure requires its violation
• Disagreement on cosmological geometry: Hawking favors closed (no-boundary); Penrose favors open (twistor / conformal cyclic)
• Disagreement on inflation: Hawking derives it from no-boundary; Penrose finds it question-begging and prefers the Weyl hypothesis as law
• Disagreement on Euclidean methods: Hawking treats them as physically real; Penrose treats them as useful but physically provisional

Key takeaway

The debate makes clear that the two programmes are not minor variants of a single approach but rest on fundamentally different philosophical commitments — Hawking's positivist, CPT-symmetric, Euclidean path-integral cosmology versus Penrose's realist, time-asymmetric, twistor-geometric quantum gravity — and that the empirical and mathematical stakes of resolving their disagreements are correspondingly deep.

---

Afterword to the 2010 Edition — The Debate Continues

Delivered jointly by S. W. Hawking and R. Penrose

Central question

In the fourteen years since the original lectures, have any of the key disagreements been resolved — and how have the stakes changed given new observations and theoretical developments?

Main argument

Hawking on information loss: a partial reversal

In 2004 Hawking publicly changed his mind on information loss, conceding that the ADS/CFT correspondence (a duality relating string theory on anti-de Sitter space to a conformal field theory on its boundary) implies that information is not permanently lost: the boundary CFT is unitary, and so the bulk gravitational evolution must be too. He now believes the Euclidean path integral over all topologies, including non-black-hole topologies, allows information to leak back. He acknowledges this retreat but insists the general framework of Euclidean quantum gravity remains sound. He does not think this vindicates Penrose's OR mechanism.

Penrose on conformal cyclic cosmology (CCC)

Penrose has developed a new cosmological framework — conformal cyclic cosmology — in which an "aeon" (a complete cosmic history from Big Bang to an infinitely expanding future) has its remote future conformally matched to the Big Bang of the next aeon. The key is that in the very remote future, all massive particles have decayed (or annihilated), and the universe becomes conformally equivalent (identical up to an overall scale factor) to a smooth initial singularity. The Weyl curvature hypothesis thus gets a new formulation: the remote future of one aeon is conformally regular, matching onto the smooth initial singularity of the next. This is a cyclic model but without time-reversal: each aeon expands from a smooth beginning to a cold, conformally flat end. Penrose claims certain concentric ring-like anomalies in the CMB might be "imprints" of gravitational wave bursts from supermassive black hole mergers in the previous aeon, though this claim is disputed.

Spatial geometry: cosmological observations

Observational evidence from the CMB (WMAP data available by 2010) indicates that the universe is spatially very close to flat — consistent with both a closed universe (as Hawking's no-boundary proposal prefers) and an open one (as Penrose's twistor approach prefers), since flat is the common limit. Neither side can claim a decisive observational victory on this point.

Key ideas

• Hawking's 2004 concession on information loss — driven by ADS/CFT unitarity — marks one of the most publicized reversals in modern theoretical physics
• Penrose's conformal cyclic cosmology rephrases the Weyl curvature hypothesis as a cyclic boundary condition between aeons
• Both authors confirm that their broader philosophical differences (time asymmetry, the measurement problem, the role of Euclidean geometry) remain unresolved
• WMAP observations constrain but do not decisively settle the open vs. closed geometry question

Key takeaway

The 2010 afterword shows that the debate has matured but not concluded: Hawking's partial reversal on information loss narrows one disagreement, while Penrose's conformal cyclic cosmology deepens the time-asymmetry dispute — with both authors still committed to fundamentally different visions of quantum gravity.

---

The book's overall argument

1. Chapter 1 (Classical Theory) — Hawking establishes that classical general relativity, via global causal-structure methods and the Raychaudhuri focusing equation, proves the inevitability of singularities; the area theorem for black holes is the classical seed of thermodynamics.
2. Chapter 2 (Structure of Spacetime Singularities) — Penrose sharpens the picture: not all singularities are alike; the Weyl curvature hypothesis encodes the profound asymmetry between the smooth Big Bang and chaotic future singularities, demanding a time-irreversible quantum gravity.
3. Chapter 3 (Quantum Black Holes) — Hawking quantizes fields on a classical black hole background, derives Hawking radiation and the Bekenstein-Hawking entropy S = A/4, and argues that complete evaporation destroys information — pure states become mixed, introducing irreducible unpredictability.
4. Chapter 4 (Quantum Theory and Spacetime) — Penrose responds that the measurement problem is itself the central unsolved issue; he proposes objective reduction (OR) as a gravitational collapse mechanism with timescale τ ≈ ℏ/E_G, requiring a genuinely CPT-violating quantum gravity.
5. Chapter 5 (Quantum Cosmology) — Hawking presents the no-boundary proposal (Euclidean path integral over compact geometries) as a complete origin story: no boundary means no initial condition to specify; inflation and the perturbation spectrum follow; the thermodynamic arrow of time is explained without a new law.
6. Chapter 6 (The Twistor View of Spacetime) — Penrose offers his alternative unification programme: twistor space, built on null geodesics rather than spacetime points, naturally houses massless fields as cohomology classes; the Weyl tensor — time-asymmetric by hypothesis — is the fundamental gravitational variable.
7. Chapter 7 (The Debate) — The authors confront each other directly: agreements on classical GR and Hawking radiation, disagreements on information loss, CPT invariance, cosmological geometry, inflation, and the validity of Euclidean methods — revealing two coherent but fundamentally incompatible programmes.
8. Afterword to the 2010 Edition (The Debate Continues) — Hawking partially concedes on information loss under pressure from ADS/CFT; Penrose extends his framework to conformal cyclic cosmology; the deep philosophical divisions remain intact.

---

Common misunderstandings

Misunderstanding: Hawking and Penrose are presenting a unified theory

The book is a debate, not a joint synthesis. The two authors disagree sharply on quantum measurement, time-reversal symmetry, information loss, and the foundations of quantum gravity. They agree on classical general relativity and on the reality of Hawking radiation, but their quantum programmes are incompatible.

Misunderstanding: Hawking radiation means information escapes the black hole

In the original lectures Hawking argues precisely the opposite: the radiation is thermal and carries no information about the initial state. Information is genuinely lost. His 2004 reversal (acknowledged in the 2010 afterword) shifts this position, but the reversal is based on string-theoretic arguments (ADS/CFT), not on any identified mechanism in the semi-classical framework of the lectures.

Misunderstanding: The no-boundary proposal means there was "nothing before the Big Bang"

The no-boundary proposal eliminates the question of what came "before" by replacing the real-time Big Bang singularity with a smooth Euclidean 4-sphere. There is no moment of creation and no prior time; the concept of "before the Big Bang" simply does not apply. But this is not a claim about nothingness — it is a claim about the appropriate geometry for quantum gravity at extreme conditions.

Misunderstanding: Penrose's twistor theory is an established alternative to string theory

Twistor theory is a research programme, not a complete theory of quantum gravity. It has produced deep mathematical results (the Penrose transform, the non-linear graviton construction) but remains incomplete, especially in treating massive particles and full quantum gravity beyond the self-dual sector. Penrose presents it as a promising framework, not a finished theory.

Misunderstanding: The Weyl curvature hypothesis is an observational fact

The WCH is a conjecture about what the correct quantum theory of gravity must imply about initial conditions. The smoothness of the CMB is the observational evidence it is designed to explain, but the hypothesis itself — that the law of quantum gravity singles out vanishing Weyl curvature at initial singularities — is theoretical, not directly observed.

Misunderstanding: Both authors accept quantum mechanics as complete

Penrose explicitly does not. He regards the measurement problem (wave-function reduction) as a sign that quantum mechanics is incomplete and requires a gravitational extension through objective reduction. Hawking, by contrast, is a positivist: he regards the quantum state as a tool for predicting outcomes, and the question of "what really happens" as outside the domain of physics.

---

Central paradox / key insight

The deepest tension in the book is this: the two most spectacular achievements of theoretical physics in the twentieth century — general relativity and quantum mechanics — are not merely technically difficult to combine. They are philosophically incompatible at the foundations. General relativity is a theory of curved spacetime geometry; it is deterministic, geometrical, and describes a single classical metric. Quantum mechanics is a theory of superpositions evolving by a linear equation and collapsing unpredictably on measurement; it is probabilistic, abstract, and depends on a fixed background spacetime. When a black hole forms and evaporates, or when the universe nucleates at the Big Bang, neither theory alone is adequate — and when they are combined, contradictions emerge (loss of information, unbounded entropy, a real physical process of collapse with no dynamical description).

What happens to the information content of the universe when the geometry of spacetime itself participates in quantum evolution — and is the irreversibility we observe a feature of the laws or a consequence of the boundary conditions?

Penrose's answer is: irreversibility is a law, encoded in the Weyl curvature hypothesis, requiring a time-asymmetric quantum gravity. Hawking's answer is: irreversibility is a boundary condition, derivable from the no-boundary proposal, within a CPT-symmetric framework. The book does not resolve this — it makes the stakes precise.

---

Important concepts

Causal structure

The global organization of spacetime into past and future, encoded in the light-cone at each point. Penrose and Hawking's methods study the topology of causal sets rather than solving differential equations in specific coordinates.

Singularity (geodesic incompleteness)

A spacetime is singular if it contains an inextendible timelike or null geodesic — a trajectory that simply ends in finite proper time or affine parameter. The Penrose-Hawking theorems show such incompleteness is generic under the energy conditions.

Strong energy condition

The requirement that Rₐᵦlᵃlᵇ ≥ 0 for all causal vectors l — equivalently, that gravity focuses all matter. Satisfied by classical matter fields; potentially violated by quantum effects (Casimir effect, inflationary scalar fields).

Event horizon

The boundary of the region of spacetime from which no causal signal can reach future null infinity I⁺. In a stationary black hole it is a null hypersurface generated by null geodesics with no future end-points.

Hawking radiation

Thermal radiation emitted by a black hole of mass M at temperature T = ℏc³/(8πGMk_B), arising from the mixing of positive- and negative-frequency quantum field modes across the event horizon during gravitational collapse.

Bekenstein-Hawking entropy

S = A/(4lP²), where A is the horizon area and lP is the Planck length. Proportional to the horizon area rather than to the volume, it is the entropy associated with irreducible ignorance about the black hole interior.

Weyl curvature hypothesis (WCH)

Penrose's proposed law: at any initial singularity the Weyl tensor vanishes (or is small); at final singularities the Weyl tensor diverges. Encodes the observed smoothness of the Big Bang versus the expected chaos of a Big Crunch or black hole interior.

Weyl tensor

The trace-free part of the Riemann curvature tensor; it encodes tidal distortions and gravitational waves, and is zero for any conformally flat metric. It is nonzero in the gravitational field of an isolated mass and diverges in generic singularities.

No-boundary proposal (Hartle-Hawking state)

The wave function of the universe is computed by a Euclidean path integral over compact 4-geometries with no past boundary. The universe nucleates from a smooth Euclidean 4-sphere with no initial singularity; the Big Bang is a smooth beginning in imaginary time.

Euclidean path integral

A formulation of quantum gravity in which one sums over Riemannian (positive-definite signature) 4-metrics, weighting each by exp(−IE) where IE is the Euclidean action. The Hawking temperature of a black hole corresponds to the periodicity of the Euclidean black hole geometry in imaginary time.

Objective reduction (OR)

Penrose's proposed mechanism for wave-function collapse: a superposition of two spacetime geometries is gravitationally unstable and collapses to a single state on a timescale τ ≈ ℏ/EG, where EG is the gravitational self-energy of the difference between the two mass distributions.

Twistor

A four-component complex object Z^α = (ω^A, π_{A'}) encoding the geometry of a null ray in spacetime. Twistor space is a four-dimensional complex manifold in which spacetime points are complex lines (CP¹ ≅ S²) and null rays are points.

Penrose transform

The correspondence between zero-rest-mass fields on spacetime (Maxwell, linearized gravity, massless Dirac) and holomorphic cohomology classes on twistor space. Converts differential equations on spacetime into algebraic (sheaf-cohomological) objects on twistor space.

Cosmic censorship conjecture

Penrose's conjecture (weak form): singularities forming in gravitational collapse are hidden behind event horizons and cannot be seen by distant observers (no naked singularities). Strong form: the maximal Cauchy development of generic initial data is inextendible (no Cauchy horizons in generic settings).

Conformal cyclic cosmology (CCC)

Penrose's cyclic cosmological model: each "aeon" runs from a smooth Big Bang to an infinitely expanding cold future; the future conformal geometry of one aeon is matched to the initial conformal geometry of the next, making the sequence cyclic without time-reversal.

CPT symmetry

The combined symmetry of charge conjugation (C), parity inversion (P), and time reversal (T). All known fundamental forces respect CPT. Hawking holds it inviolable; Penrose argues that quantum gravity at singularities must violate it.

BKL (Belinski-Khalatnikov-Lifshitz) scenario

The prediction that near a generic spacelike singularity the spacetime metric undergoes an infinite sequence of Kasner (anisotropic power-law) epochs separated by chaotic bounces — the "oscillatory" singularity. The generic behaviour expected at final (future) singularities, in contrast to the smooth Big Bang.

---

References and Web Links

Primary book and edition information

• Hawking, S. W. and Penrose, R. The Nature of Space and Time. Princeton University Press, 1996; Princeton Science Library edition with new Afterword, 2010.
  • Princeton University Press book page
  • Project MUSE — full table of contents
  • Open Library entry

The original arxiv preprint (Hawking's three lectures)

• Hawking, S. W. "The Nature of Space and Time." arXiv:hep-th/9409195, 1994. (Contains only Hawking's three lectures, not Penrose's)
  • arXiv abstract page
  • Internet Archive full-text scan

Background and overview

• Wikipedia article on The Nature of Space and Time
• Wikipedia: Penrose-Hawking singularity theorems
• Preskill, John. Review of The Nature of Space and Time. 1996. — A lucid expert review, concisely identifying the core disagreements

Key foundational concepts

• Hartle-Hawking no-boundary proposal — Wikipedia
• Bekenstein-Hawking entropy — Wikipedia
• Weyl curvature hypothesis — Wikipedia
• Penrose diagram — Wikipedia
• Twistor theory — Wikipedia
• Cosmic censorship conjecture — Wikipedia
• Diósi-Penrose model (objective reduction) — Wikipedia
• Conformal cyclic cosmology — Wikipedia

Scholarly review and context

• Lukács, B. et al. "Singularities, black holes, and cosmic censorship: A tribute to Roger Penrose." Foundations of Physics 51, 42 (2021).
  • arXiv:2101.02687
• Senovilla, J.M.M. "The 1965 Penrose singularity theorem." arXiv:1410.5226 (2014).
  • arXiv:1410.5226

Additional study resources

These are secondary summaries and should be used alongside, rather than instead of, the original book.

• Goodreads page with reader discussion
• Quanta Magazine: "Physicists Debate Hawking's Idea That the Universe Had No Beginning"