Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 62 4 Solution Created 2026-10-03 Updated 2026-10-14
Use geometrized units until converting the clock readings. By the Birkhoff theorem, the spherical vacuum exterior is a portion of the Schwarzschild spacetime with fixed mass :The exterior is not flat and is not radiating merely because the surface moves. When the surface crosses , this exterior must be represented in regular Ingoing Eddington-Finkelstein coordinates, rather than treating the Schwarzschild-coordinate divergence as a physical barrier.
The Oppenheimer-Snyder model has a homogeneous pressureless matter interior. Since its initial expansion vanishes but its density is positive, the Friedmann equation requires positive spatial curvature. Choose a comoving radial angle and the boundary's proper time , with the stopwatch set to zero at release. The interior FLRW metric and density areThe density law follows from the dust stress-energy tensor and its covariant conservation. The Friedmann equation and the initial rest condition giveIts contracting branch has the parameterizationIndeed and satisfy the displayed equation; is the turning point and is the final curvature singularity.
For homogeneous dust-ball matching, the boundary has areal radius . Matching its mass to the exterior givesThis is the gravitational mass parameter, not the integral of rest density over the curved proper-volume element. The matching can also be checked directly. The outward angular extrinsic curvature inside is ; outside it is . The boundary motion hasso these curvatures agree. The induced metric is on both sides and because the pressure-free boundary is geodesic. No artificial surface stress layer is required.
The observer moving with this boundary meets the event horizon when . From , the proper-time horizon crossing in homogeneous dust collapse occurs atThe singularity is reached at , so the remaining clock time isThese are finite proper times, even though the external static time diverges at horizon crossing.
Convert the supplied rounded units consistently: Planck masses and Planck lengths. Thus , , and in Planck units. Multiplying geometric times by seconds givesAt the accuracy justified by the rounded constants, these are about three milliseconds to horizon crossing and about seven microseconds more to the singularity. For , expanding gives , independently confirming the microsecond scale. The exact expression above retains the finite release-radius correction.
Strictly, this boundary clock reading is when the observer crosses the horizon, not when the horizon first exists anywhere. The event horizon inside an Oppenheimer-Snyder cloud is an outgoing radial null ray. Since , the interior metric is conformal to , and that ray has . Tracing it back from givesFor this cloud it starts at the centre after release, at comoving time seconds. This answers the literal global-formation interpretation as well; it is not an event on the outer observer's worldline. The distinction matters because an event horizon is defined by the entire future causal escape problem, not by a locally detectable signal of formation.
For the observer at infinity, use the boundary's conserved Killing energy in the exterior:As , and . Consequentlywhere fixes a harmless dimensionless logarithm. For actual outgoing light signals the relevant retarded time is . Since ,Therefore she never receives a signal showing the surface cross the horizon at any finite asymptotic time. Radiation emitted ever closer to crossing arrives ever later and is increasingly redshifted and diluted; photons emitted at or inside the event horizon cannot reach her. The formal crossing time at infinity is infinite, not the finite boundary stopwatch reading. Nor can the earlier global birth of the horizon be observed directly as a local flash from its central birth event.