Kruskal–Szekeres Coordinates
The Schwarzschild metric describes the geometry outside any spherical mass, but in its familiar form it breaks down at the radius : the coefficient vanishes there and blows up. For four decades this looked like the edge of spacetime — the "Schwarzschild singularity" — and it stalled the physical interpretation of black holes. The resolution is that the curvature is perfectly finite at : the Kretschmann invariant is a plain number there, blowing up only at . The trouble is not the geometry but the chart. Kruskal–Szekeres coordinates are the cure: a single, maximally extended coordinate system in which the metric is manifestly regular across and which continues the geometry as far as it analytically goes. The construction is a chain of three moves. First the tortoise coordinate straightens the radial light rays; then null coordinates , put those rays at fixed values; finally an exponential reparametrization , spreads the infinite pile-up of coordinate time at the horizon onto a smooth, finite null line. The payoff is a diagram on which radial light cones sit at exactly everywhere, so causal structure can be read by eye. The full manifold splits into four regions — our exterior, the black-hole interior, a causally disconnected second exterior, and a white-hole interior — stitched together across a single smooth vacuum spacetime. This is the eternal Schwarzschild solution, the stage on which surface gravity, the bifurcate Killing horizon, and ultimately Hawking radiation are all written.
- Kruskal–Szekeres coordinates are the maximal analytic extension of the Schwarzschild geometry: one chart covering the exterior, the black-hole interior, a second asymptotic region, and a white-hole interior, all in a single smooth manifold.
- The coordinate breakdown at is removed — the metric coefficient never vanishes and never diverges there — so the horizon is exposed as a regular null surface, not a physical edge; the only true singularity is at .
- Radial light rays run on the lines at , so light cones, horizons and singularities can be read straight off the diagram: the horizon is , and is the spacelike hyperbola .
- The single conformal factor is smooth and strictly positive for all ; at the horizon , which is the whole proof that is a coordinate artefact.
- The Schwarzschild time acts on the diagram as a Lorentz boost with rapidity ; the horizon is the fixed-point set of that boost — a bifurcate Killing horizon with surface gravity , the classical seed of the Hawking temperature .
- Key idea: reparametrize the Schwarzschild null coordinates exponentially, and , so the offending factor in the metric is cancelled exactly by , leaving a smooth nonzero conformal factor everywhere but and mapping the horizon to the regular null lines or .
Reparametrize the Schwarzschild null coordinates exponentially, and , so that the factor multiplying the metric is exactly cancelled by ; the conformal factor becomes a smooth nonzero function of everywhere except , and the horizon maps to the regular null lines or .
Where this lives today
The Kruskal picture is the working backbone of black-hole physics, not a museum piece. Compactifying produces the Carter–Penrose diagram of the eternal black hole, the standard tool for global causal structure and the setting for Penrose's 1965 singularity theorem. The bifurcate Killing horizon and its surface gravity are the classical inputs to Hawking's 1974 calculation and to black-hole thermodynamics, where the same appears in the first law . The two-exterior structure of regions I and III realizes the thermofield-double state, and the ER=EPR proposal of Maldacena and Susskind (2013) reads the Einstein–Rosen bridge as the geometry of entanglement between two black holes. Observationally, the horizon whose regularity Kruskal coordinates established is now imaged directly: the Event Horizon Telescope resolved the shadow of M87\ in 2019 and Sgr A\ in 2022, both consistent with a Kerr-like horizon at the predicted scale.
The physical picture
Think of the Schwarzschild time as a clock that runs infinitely slow at the horizon. An outgoing light ray climbing toward takes an unbounded amount of coordinate time to get there, so successive crests pile up against the surface like logs jamming at a narrows — a purely bookkeeping congestion, since a falling observer sails through in finite proper time and notices nothing. The Kruskal reparametrization is exponential precisely because the jam is exponential: enters through , which squeezes the entire infinite pile-up onto the finite, smooth null line . Nothing physical happens at , and the Kruskal metric makes that mathematically manifest by staying finite and nondegenerate there. The first figure is the resulting map of the whole spacetime.
Because the two-dimensional – metric is conformally flat, , the light cones keep the flat-space opening at every point, including on and inside the horizon. That is the diagram's superpower: the future of any event is the wedge above it, and one sees at a glance that a worldline which crosses into region II is trapped, since the singularity is a spacelike hyperbola lying across its entire future. Hitting inside the hole is therefore not like falling onto a place — it is as unavoidable as reaching next Tuesday. The second figure shows the flip side of the same fact: an infall that looks frozen in Schwarzschild time is smooth and finite in Kruskal coordinates.
The Schwarzschild time-translation symmetry becomes, on this diagram, a Lorentz boost with rapidity : constant- surfaces are straight rays through the origin, and constant- surfaces are hyperbolae. The horizon lines are exactly the fixed-point set where the boost degenerates — the same algebra that governs a uniformly accelerated (Rindler) observer in flat space. That structural identity is why the Unruh effect for accelerated observers and Hawking radiation from black holes come from one derivation, and why the number that sets the boost scale is also the surface gravity that fixes the Hawking temperature.
The core equations
The starting point is the Schwarzschild line element, the unique static spherically symmetric vacuum solution. It is regular for but its coefficients misbehave at , which is the problem the rest of the article solves. We work in geometric units , so is a length.
where: — geometric mass ; — areal radius (a 2-sphere at fixed has area ); — Schwarzschild time, the proper time of a static observer at infinity; . Reading: the vanishing of and the divergence of at are the coordinate pathology we must remove. To straighten the radial light rays we introduce the tortoise coordinate, defined so that its differential absorbs the troublesome . It pushes the horizon out to , spreading the pile-up that the exponential map will later tame.
where: — tortoise coordinate; as and as . Reading: radial null rays now satisfy , so they are straight lines in . Building the two families of radial null rays into the coordinates themselves gives the Eddington–Finkelstein null coordinates, one constant along ingoing rays and one along outgoing rays.
where: — retarded (outgoing) null coordinate; — advanced (ingoing) null coordinate. Reading: in the metric is — still singular at , because there. The decisive step is the exponential reparametrization. In region I the outgoing coordinate carries a minus sign and the horizon sits at or ; the scale is fixed uniquely by the requirement that the horizon factor cancel.
where: — Kruskal null coordinates; future horizon at , past horizon at ; the constant is the inverse surface gravity. Reading: a shift rescales , — a boost, not a translation. Passing to a timelike and a spacelike combination puts the metric into its final, manifestly regular form. The prefactor is the conformal factor, and its smoothness across is the entire content of the resolution.
where: — conformal factor, finite and positive for all ; — Kruskal time; — Kruskal radial coordinate. Reading: , so the metric is smooth and nondegenerate at the horizon; light cones are because the bracket is conformally Minkowski. The radial coordinate is no longer a coordinate but a function of and , fixed implicitly by the relation below. It is this equation that assigns each region and locates the horizon and singularity.
where: is the exterior (); the horizon (); the interior; the singularity (, i.e. ). Reading: because maps to , a spacelike hyperbola, the singularity is a moment of time inside the hole, not a place. Finally, the Schwarzschild time is recovered as a boost angle, making explicit that surfaces of constant are rays through the origin and that the horizon is the boost's fixed set.
where: — Schwarzschild time; corresponds to , the horizon. Reading: the whole infinite range of is compressed into the finite wedge bounded by the null lines — the geometric statement of the coordinate freeze.
The goal is to show explicitly why the exponential reparametrization works: to start from the Schwarzschild metric written in null coordinates, where the factor still vanishes at the horizon, and to track that factor through the change of variables to and until it is cancelled term by term, leaving the smooth conformal prefactor . This is the calculation that converts the vague statement "the singularity is only in the coordinates" into an exact algebraic identity, and it pins down why the magic scale is and nothing else.
Step 1. Write the Schwarzschild metric in the Eddington–Finkelstein null coordinates of equation (3): . The two-dimensional radial part is now proportional to , but the coefficient still collapses at . Why: null coordinates already diagonalize the light-cone structure, so the only remaining defect is the scalar prefactor, which is what we now attack.
Step 2. Differentiate the definitions and to get and , so that . Since , this is . Why: the Jacobian of the exponential map is itself exponential in , and is exactly where the logarithm of the horizon factor lives — so the Jacobian is built to swallow that factor.
Step 3. Evaluate the Jacobian factor using the tortoise definition (2): . The factor has now appeared, on the same footing as the one in the metric. Why: this is the crux — the tortoise logarithm was chosen precisely so that exponentiating regenerates the horizon factor, ready to cancel.
Step 4. Invert Step 2 to write and substitute into the metric: the offending factor cancels, . Why: the from the metric and the from the inverse Jacobian annihilate exactly, and only the smooth, strictly positive prefactor survives for every .
Step 5. Pass to via ... more precisely from , giving the final form (5). The horizon now sits at the perfectly ordinary null lines , and only (where ) remains singular. Why: the surviving prefactor is analytic and nonzero across , so the chart is valid there and can be continued smoothly into the interior — the maximal extension. *Verified: the cancellation reproduces with , matching MTW §31.5 and Carroll §5.6.*
Go deeper · Derivation B · 1 minFinite proper time to reach the singularity
The goal is to demonstrate quantitatively that the horizon is no barrier by computing the proper time a freely falling observer logs on the way in, and to contrast it with the infinite Schwarzschild coordinate time. We take the simplest radial geodesic — a particle released from rest at infinity — reduce the equation of motion to a first-order form using the conserved energy, and integrate the elementary result down through all the way to , obtaining the celebrated finite answer from the horizon to the centre.
Step 1. For a radial timelike geodesic the normalization combined with the conserved energy gives . This holds smoothly across because and are good variables there. Why: proper time and the areal radius are geometric scalars, unaffected by the coordinate defect of , so the geodesic equation stays regular at the horizon.
Step 2. Choose the observer dropped from rest at infinity, which fixes . The radial equation collapses to , taking the negative root for infall. Why: remarkably this is identical to the Newtonian free-fall speed , one of the coincidences that makes Schwarzschild infall so clean; the general-relativistic content is hidden in which clock reads .
Step 3. Separate and integrate: . Every endpoint gives a finite result, including the crossing of and the descent to . Why: the integrand is finite and integrable across the horizon — nothing in the proper-time bookkeeping knows a horizon is there.
Step 4. Set , : . Compare with the Schwarzschild coordinate time, which diverges, as . Why: the physical, invariant duration is finite and short, while the apparent freeze in is an artefact of a clock adapted to a static observer who cannot exist inside — exactly the discrepancy Kruskal coordinates dissolve. *Verified: in geometric units, the standard textbook value (Hartle Ch. 12, MTW §25.5); for one solar mass this is s.*
Go deeper · Derivation C · 2 minSchwarzschild time translation as a Lorentz boost
The goal is to expose the deepest structural feature of the Kruskal picture: that the innocuous time-translation isometry of the Schwarzschild exterior acts on the maximal extension as a pure Lorentz boost, whose fixed-point set is the horizon and whose scale is the surface gravity. Establishing this turns the horizon from a metric curiosity into a bifurcate Killing horizon and provides the classical skeleton from which the Hawking temperature is later read off, by direct analogy with a Rindler observer in flat space.
Step 1. Apply to the definitions (4). Because and shift by ... by and respectively... more directly and . Why: a real translation of becomes a reciprocal rescaling of the null coordinates, which is the algebraic signature of a boost, not a translation — the isometry has changed character under the change of chart.
Step 2. Convert to using , . The reciprocal rescaling of turns into the hyperbolic rotation , — a boost of rapidity . Why: this is precisely the transformation of Minkowski coordinates under a Lorentz boost, confirming that generates boosts about the origin of the – plane.
Step 3. Locate the fixed points. The boost leaves invariant only the lines (mapped to themselves) and the single point ; the latter, the bifurcation 2-sphere, is where the Killing field vanishes, and on the lines is null. Its norm is , which is zero on . Why: a Killing horizon is by definition a null surface on which a Killing field is null, and here the boost structure makes that surface the two-sided (bifurcate) set .
Step 4. Read off the surface gravity from the boost scale: rapidity with , and quantizing a field in the smooth Kruskal vacuum restricted to region I gives a thermal spectrum at . Why: the periodicity in imaginary boost angle is , which sets a temperature — the same Euclidean argument that gives the Unruh temperature of a Rindler observer, transplanted to the black-hole horizon. *Verified: surface gravity and (geometric units) match Wald §12.5; the boost matrix has rapidity as in MTW §31.5.*
Limiting cases
Each region and limit of the Kruskal manifold reduces to a familiar geometry, which is the fastest way to sanity-check the construction.
| Case | Result | Meaning |
|---|---|---|
| Large radius | , | The physical light cones reopen to and regions I and III each approach asymptotically flat Minkowski space — two separate asymptotic infinities. |
| Horizon | The bifurcate Killing horizon: is the future horizon, the past horizon, and their crossing is the bifurcation 2-sphere where the boost Killing field vanishes. | |
| Singularity | Two spacelike hyperbolae (future in II, past in IV); the Kretschmann scalar diverges — genuine, coordinate-independent edges of spacetime. | |
| Collapse spacetime | regions I and II only | A star that actually collapses replaces regions III and IV with collapsing matter; by Birkhoff's theorem the Kruskal extension applies only in the exterior vacuum. |
Worked examples
1 · Infall time and Hawking temperature for real black holes (fully worked)
A test object falls radially from rest far away into a Schwarzschild black hole. Using for the horizon-to-centre proper time and for the Hawking temperature, evaluate both for a hole, for Sgr A\ (), and for M87\ (). Restore SI units.
Step 1. Convert the geometric result to seconds. In geometric units is a length; the physical time is with , so . The base scale s gives, for one solar mass, . The horizon-to-singularity fall of a solar-mass hole lasts under seven microseconds of the faller's own time.
Step 2. Scale linearly in , since . For Sgr A\: . For M87\: s . A faller crossing M87\*'s horizon has half a day of proper time before the singularity — the bigger the hole, the gentler and longer the interior.
Step 3. Now the Hawking temperature. In SI, . For one solar mass, . For Sgr A\: divide by to get . For M87\: .
Step 4. Read the physics. The interior lifetimes are macroscopic and grow with , while the Hawking temperatures are minuscule and shrink with — both because the only scale in the problem is itself, entering as and . A solar-mass hole: fall of 6.6 μs, temperature 6.2×10⁻⁸ K; M87\*: fall of 11.9 hours, temperature 9.5×10⁻¹⁸ K — the same surface-gravity scale underlies both.
2 · Locating an event on the Kruskal diagram
Find the Kruskal coordinates of the event at , in region I, and verify it against the implicit relation (6).
Step 1. Compute the tortoise coordinate at : , since . So here.
Step 2. At the null coordinates are and . Then and .
Step 3. Convert: and . The event sits on the line, as it must for (the moment-of-time-symmetry slice).
Step 4. Check relation (6): , while . They agree exactly. The event , maps to , and confirms via the implicit relation.
Physics of the portrait
Kruskal–Szekeres coordinates are named for two people who never collaborated and published the same idea, in the same year, in journals a world apart — the mark of an idea whose time had fully come.
Origins · 1 minMartin Kruskal and how this was discovered
Martin David Kruskal was one of the most versatile applied mathematicians of the twentieth century, remembered above all for co-discovering the soliton, but general relativists know his name from a single short paper. By the late 1950s the "Schwarzschild singularity" at had confused physicists for forty years; Eddington (1924) and Lemaître (1932) had written horizon-regular coordinates without grasping their significance. Kruskal saw how to do it once and for all, constructing in 1960 the exponential null coordinates that render the metric manifestly regular across the horizon and reveal the maximal, four-region extension. Characteristically, the paper was written up and submitted to Physical Review by John Wheeler, who had grasped its importance from Kruskal's private explanation. In the same year, entirely independently, the Hungarian-Australian mathematician George Szekeres published the identical construction in a Hungarian mathematics journal, where it went largely unnoticed by physicists; the joint name records both. The coordinates became a cornerstone of black-hole theory — the setting for Penrose diagrams, the singularity theorems, the bifurcate Killing horizon, and, a decade and a half later, Hawking's derivation of black-hole radiance.
Going further
Texts. Misner, Thorne & Wheeler, Gravitation (1973), §31.5–31.6 · Wald, General Relativity (1984), §6.4 and §12.5 · Carroll, Spacetime and Geometry (2004), §5.6–5.7 · Hartle, Gravity (2003), Ch. 12 · Schutz, A First Course in General Relativity (2nd ed., 2009), §11.3 · Kruskal, Phys. Rev. 119, 1743 (1960); Szekeres, Publ. Math. Debrecen 7, 285 (1960).
Provenance. The equations follow MTW §31.5–31.6, Wald §6.4 and §12.5, and Carroll §5.6–5.7. A verifier should recompute: (1) the tortoise integral ; (2) the cancellation giving with ; (3) the Kretschmann scalar , finite () at ; (4) the radial-infall proper time from to , i.e. s for ; (5) surface gravity and . All figures are standard textbook values in geometric units .
Prerequisites. The Schwarzschild Metric · Schwarzschild Radius and the Geometric Mass · Geodesics in Schwarzschild Spacetime · Killing Vectors and Conserved Quantities in Schwarzschild · Birkhoff's Theorem. Leads to. Penrose (Carter–Penrose) Diagrams · Hawking Radiation · Eddington–Finkelstein Coordinates · Einstein–Rosen Bridge and Wormholes.
Ask the tutor: Ask me to walk you through why the exponential map is the unique reparametrization that smooths the horizon, or to trace an infalling worldline across all four regions of the diagram.
If Schwarzschild coordinates are so misleading, why do we still use them?
Because outside the horizon they are excellent — they are adapted to static observers and to the time-translation symmetry, so the conserved energy, the redshift, and the orbits all take their simplest form in . The chart only fails at and inside , where no static observer can exist anyway. The right attitude is that different coordinates suit different questions: Schwarzschild coordinates for the exterior physics a telescope sees, Kruskal–Szekeres coordinates for the global causal structure and for anything that crosses the horizon. Neither is "more true"; they cover overlapping patches of one manifold, and Kruskal simply covers more of it.
If nothing special happens locally at the horizon, why can't you escape once inside?
The horizon is locally unremarkable but globally decisive, and these are not in tension. Locally, curvature is finite and a small freely falling laboratory measures nothing unusual as it crosses . Globally, the light cones have tipped so that inside region II every future-directed direction — including the one an outgoing photon takes — leads to larger and smaller , terminating on the spacelike singularity. Escape would require a spacelike (faster-than-light) worldline. So the impossibility of escape is not a local force you could fight; it is the shape of the future itself, which is exactly what the light cones of the Kruskal diagram display.
Are the white hole and the second universe physically real?
Not for a black hole that formed by collapse, which is every astrophysical one. The full four-region Kruskal manifold is the eternal vacuum solution, obtained by analytically continuing the geometry as far as it mathematically goes. For a real hole, the past horizon, the white hole (region IV), and the second exterior (region III) are replaced by the spacetime of the collapsing star and its earlier history, so they never occur. They are best regarded as a mathematical completion that reveals the symmetry of the vacuum equations, and as a useful idealization — for instance in the thermofield-double interpretation — rather than as places one could visit.
How do Kruskal coordinates differ from Eddington–Finkelstein coordinates?
Eddington–Finkelstein coordinates use one of the null coordinates ( or ) together with , and they already cross one branch of the horizon smoothly — ingoing EF coordinates cover regions I and II, so they are perfect for following infalling matter. But they are not symmetric: they regularize the future horizon while leaving the past horizon singular, and they cover only half the extension. Kruskal–Szekeres coordinates use both exponentiated null coordinates at once, so they regularize the future and past horizons simultaneously and reveal all four regions. EF is the practical half-measure; Kruskal is the full, symmetric, maximal extension.
Does a falling astronaut feel anything at the moment of crossing r = 2M?
Nothing marks the instant of crossing. What the astronaut feels is tidal force — the differential pull between head and feet — set by the curvature, i.e. by the Kretschmann scalar , which is finite and smooth at . For a stellar-mass hole that tidal force is already lethal well outside the horizon; for a supermassive hole like M87\* it is gentle at crossing and only grows dangerous much later, deep inside. In every case the crossing itself is a non-event locally: the astronaut cannot determine the moment of passage by any local measurement, which is the physical meaning of the horizon's regularity.
Why is r a function of T and X rather than a coordinate in its own right?
Because the two Kruskal coordinates and have already used up the two-dimensional radial-temporal plane, and is now a scalar field defined on it. Physically retains its invariant meaning — the areal radius, so that a 2-sphere at that event has area — but it is read off the diagram through the implicit relation . Curves of constant are hyperbolae: timelike hyperbolae in the exteriors, spacelike ones in the interior. That the same becomes a spacelike surface inside is precisely why the singularity is a future moment rather than a central place.
What is the link between Kruskal coordinates and Hawking radiation?
The link is the boost structure. On the Kruskal diagram the Schwarzschild time-translation acts as a Lorentz boost about the bifurcation point, exactly as uniform acceleration acts in flat Minkowski space. Restricting the smooth Kruskal vacuum to region I — the only region an exterior observer can access — traces out the modes behind the horizon and leaves a thermal density matrix, by the same argument that gives an accelerated (Rindler) observer the Unruh temperature. The temperature is set by the boost scale, the surface gravity , yielding . So the classical geometry Kruskal made regular is quite literally the stage on which the quantum radiance is derived.