Killing Horizons and Surface Gravity
A horizon can be defined in several inequivalent ways — as a trapped-surface boundary, as an event horizon (a global causal construct), or as a Killing horizon (a purely local one). For the stationary black holes that dominate theory and observation, the Killing-horizon definition is by far the most tractable: one finds a Killing vector field — a generator of a spacetime symmetry — whose norm vanishes on some null hypersurface, and the geometry of that surface is then governed by the local behaviour of the field. This is the definition on which the four laws of black-hole mechanics, the rigidity theorems of the no-hair program, and Hawking's derivation of horizon temperature all rest. The single scalar attached to such a surface is its surface gravity . It appears because the Killing generator, though tangent to the null geodesics that rule the horizon, is not affinely parametrized; the failure of affinity is . Physically, is the force per unit mass, applied from infinity, needed to hold a test particle static just outside the horizon — the near-horizon observer's proper acceleration diverges, but the redshift out to infinity tames it to the finite value . For Schwarzschild, turns null at and ; for Kerr the field corotates, . The zeroth law makes constant across the horizon, the first law pairs it with the area, and Hawking's turns a geometric quantity into a genuine temperature — the bridge between geometry, thermodynamics, and quantum field theory in curved spacetime.
- A Killing horizon is a null hypersurface where a Killing field becomes null, , while still generating the surface.
- On the field obeys the geodesic equation in non-affine form, ; the factor is the surface gravity.
- Physically is the proper acceleration of a static near-horizon observer redshifted to infinity — finite even as and the lapse .
- Schwarzschild: ; Kerr: , vanishing in the extremal limit .
- The zeroth law states is constant over a stationary Killing horizon — the analogue of uniform temperature in thermal equilibrium.
- Key idea: a Killing horizon is where a Killing field turns null; because generates that surface but is not affinely parametrized, defines the surface gravity — a constant, observer-independent measure of redshifted horizon acceleration that becomes the black hole's temperature.
A Killing horizon is the locus where a Killing field turns null; because generates that null surface but is not affinely parametrized, defines the surface gravity — a constant, observer-independent measure of redshifted horizon acceleration that becomes the black hole's temperature.
Where this lives today
Surface gravity is a working quantity across gravitational physics. The Event Horizon Telescope images of M87 (2019) and Sgr A (2022) probe the light ring just outside horizons whose and follow from mass and spin — Sgr A*, at , has an unobservable K, yet its and ergosphere shape the photon orbits that make the image. In gravitational-wave astronomy the ringdown of a merger remnant is the horizon relaxing to Kerr, and the first law underwrites the area-theorem test LIGO applied to GW150914. The Euclidean route is the backbone of the gravitational path integral and of AdS/CFT black-hole thermodynamics. In the laboratory, analogue-gravity experiments — flowing Bose-Einstein condensates with sonic horizons — engineer an effective surface gravity to measure a Hawking-like spectrum directly. The open frontier is the third law: whether extremal horizons can be reached, and what a hole means for the count behind .
The physical picture
Picture an observer hovering at fixed radius just above a black hole, held on a rocket or an idealized massless string running out to infinity. To stay in place he must fire the rocket, and as he descends toward the horizon the thrust he needs — his proper acceleration — grows without bound. Yet everything he emits is redshifted on the long climb out by the lapse factor , and at the horizon exactly as . The product stays finite; its limit is the surface gravity , the force per unit mass that an agent at infinity holding the string actually feels. The first figure makes this trade — diverging local acceleration, finite force at infinity — the whole story.
The same has a second, dynamical face. The Killing field is the spacetime's built-in notion of "the flow of time" (or, for a spinning hole, of corotation). On the horizon that flow runs along the null generators but ticks at a rate that is not their affine rate: Killing time and affine parameter are related by an exponential stretch, . That exponential is the redshift that reddens outgoing modes without limit, and when the field is quantized it converts the vacuum into a thermal state at . Because sets the rate of that stretch, it also equals over the period of imaginary (Euclidean) time needed to keep the horizon smooth — no conical singularity fixes before any mode calculation. The second figure shows falling from its Schwarzschild value to zero at extremal spin — the third law.
The core equations
Everything begins with what makes a hypersurface a Killing horizon: a symmetry generator that goes null on it. A Killing field satisfies everywhere; the horizon is where its norm also vanishes.
where: — Killing vector field, ; — the null hypersurface (the Killing horizon); — the lowered covector. Reading: is timelike outside, null on , spacelike inside — the surface is the transition locus. Because is tangent to and null there, it is a null generator of the horizon. But a symmetry generator has no natural affine clock, so it obeys the geodesic equation only up to a rescaling — the surface gravity.
where: — surface gravity; — Levi-Civita covariant derivative. Reading: is a non-affinely parametrized geodesic generator of ; measures the drift from affine. Setting makes affine and the horizon degenerate (extremal). The same quantity has a coordinate-free form, from squaring the antisymmetric derivative of on the horizon — used to prove is a geometric invariant of .
where: — the antisymmetric Killing two-form gradient. Reading: no coordinates, no observer — just the field and the metric on the horizon. The interpretation of as a redshifted acceleration is captured by the limit below — connecting to something one could, in principle, feel.
where: — redshift (lapse) factor, the norm of ; — proper four-acceleration of a static observer on an orbit of . Reading: and , but the product converges to — the "force at infinity" per unit mass. For a diagonal static metric with the limit collapses to a one-line derivative — the workhorse for computing .
where: — static-coordinate metric components with ; — horizon radius, where . Reading: the radial derivative of at the horizon, normalized by the determinant factor — the apparent is finite. For a rotating hole no goes null on the horizon; rigidity forces the generator to corotate at the horizon's angular velocity .
where: — angular velocity of the horizon; — spin parameter; — outer horizon radius. Reading: the ergosphere is where is spacelike but the corotating is still timelike. The zeroth law states that takes a single value over the whole stationary horizon — the constancy that lets the first law use one times the total area change.
where: — horizon area; — electrostatic potential at the horizon; — mass, angular momentum, charge. Reading: against , plays temperature and plays entropy — a formal match Hawking made physical. That last step turns geometry into physics: quantum fields radiate at a temperature set by , fixing the entropy at a quarter of the horizon area in Planck units.
where: — Hawking temperature; — Bekenstein-Hawking entropy; — inverse temperature, the Euclidean-time period (units ). Reading: the geometric and the thermodynamic are the same number in disguise.
The goal is to show, without choosing coordinates, that a Killing field which becomes null on a hypersurface must obey the geodesic equation there in the rescaled form , with a geometric invariant measuring the failure of the natural Killing parametrization to be affine. We use only two facts: the norm of is zero on the horizon, and is antisymmetric because is Killing. The same argument yields the coordinate-free square formula (3).
Step 1. Let . On , everywhere, so has no tangential component — it is normal to . But is null, so its normal is itself null and parallel to , giving , which defines (factor and sign conventional, so outside). Why: a null surface is its own normal, so the gradient of the norm can only point along — that forced parallelism makes a single scalar.
Step 2. Expand by Leibniz: . Why: the product rule turns a statement about the scalar into one about the derivative of .
Step 3. Killing's equation makes antisymmetric, ; contracting with gives . Why: antisymmetry — the property a generic vector lacks — lets us recognize the directional derivative .
Step 4. Combine: , i.e. — the geodesic equation with non-affine factor . The affine generator satisfies , exhibiting as the exponential stretching rate of affine parameter against Killing time . Why: is the rate at which the symmetry's clock drifts from a freely-falling clock along the horizon — exactly what reddens outgoing modes.
Step 5. For the invariant form, is hypersurface-orthogonal on a Killing horizon, so Frobenius holds; contracting with and using Step 4 on gives , equation (3). Why: Frobenius lets be read off a pure contraction of with itself — coordinate- and observer-free. *Verified: the identities and reproduce Wald §12.5 and App. C; the affine rescaling confirms as the non-affinity.*
Go deeper · Derivation B · 1 minSchwarzschild surface gravity straight from the metric
The goal is to evaluate for the simplest Killing horizon — the Schwarzschild horizon at , generated by — using the diagonal-metric shortcut (5), and to carry it to a Hawking temperature with real units. We work in Schwarzschild coordinates with , metric , , restoring at the end.
Step 1. Read off and . The field has squared norm , vanishing at — the horizon. Why: where locates the Killing horizon and shows the lapse , the source of the redshift that tames the acceleration.
Step 2. Apply the shortcut (5). The denominator drops out, so at . Why: Schwarzschild has exactly, so the near-horizon resolves to being half the slope of .
Step 3. Differentiate: , so . Why: the slope of the lapse-squared at the horizon sets the scale.
Step 4. Collect: . Restoring units, , an acceleration; for one solar mass . Feeding (8), . Why: through one factor of , the same becomes a temperature far below the CMB for any astrophysical hole — colder for larger .
Step 5. Cross-check with (4): a static observer has and , so at the horizon. Why: a coordinate derivative and a physical force-at-infinity limit land on the identical . *Verified: ; ; m/s², K for (Wald §6.4, MTW §33).*
Go deeper · Derivation C · 1 minThe corotating generator and surface gravity of Kerr
The goal is to build the null generator of a rotating (Kerr) horizon — not but the corotating demanded by rigidity — and extract its surface gravity, showing decreases with spin and vanishes at extremality. We use Boyer-Lindquist coordinates, where horizons sit at the roots of , namely , with and .
Step 1. Fix the angular velocity: requiring to be null on forces . Why: no time-translation field goes null on a spinning horizon, so rigidity selects the unique corotating field that does — is the rate the horizon is dragged around.
Step 2. Near the horizon the generator's norm is up to a smooth positive factor, vanishing where — so is a Killing horizon of . Why: , not the full metric, controls the horizon, so comes from how fast turns on.
Step 3. The static shortcut generalizes to . With and , the numerator is , so . Why: the spin dependence is now one square root — the gap is the lever that sets .
Step 4. Extremal limit : , , the horizons merge, acquires a double root, and with vanishing. Why: a degenerate double-zero horizon has zero surface gravity — the third law, a zero-temperature state approached but conjecturally never reached. Numerically gives against Schwarzschild's ; the second figure traces this to zero. Verified: with tabulated values (: 0 → 0.250, 0.9 → 0.152, 1.0 → 0); -independence of confirms the zeroth law (Bardeen-Carter-Hawking, CMP 31, 161).
Limiting cases
Surface gravity for the standard families, normalized to unit norm at infinity (units unless shown):
| Case | Result | Meaning |
|---|---|---|
| Schwarzschild | Horizon at . Larger holes have smaller , hence lower Hawking temperature and slower evaporation. | |
| Reissner-Nordström | Outer horizon . Extremal gives and . | |
| Kerr | . Generator corotates, ; extremal gives . | |
| Extremal (any family) | Degenerate horizon ; zero temperature, conjectured unattainable (third law). | |
| Rindler (flat space) | The boost Killing field's horizon has surface gravity equal to the accelerated observer's own acceleration — the Unruh analogue. |
Worked examples
1 · Surface gravity and Hawking temperature of a stellar-mass black hole (fully worked)
A non-rotating black hole has mass . Find its surface gravity , its Hawking temperature , and its horizon radius, and compare to the CMB temperature K.
Step 1. From with kg: , , so — one-tenth the solar-mass value, since .
Step 2. Hawking temperature from (8), — matching the closed form K.
Step 3. Horizon radius .
Step 4. Comparison: at K the hole is nine orders below the CMB's K, so it absorbs far more than it emits and grows rather than evaporates today. Since , only holes below kg (far lighter than any stellar remnant) evaporate within the age of the universe. Key results: m/s², K, km — colder than the CMB by .
2 · Spinning the hole down in temperature (Kerr)
Compare a Schwarzschild hole with a Kerr hole of the same mass spinning at . Find the horizon angular velocity and the ratio of surface gravities (and hence temperatures).
Step 1. Horizon radii in units : , so , , and .
Step 2. Angular velocity: — the frame-dragging that opens the ergosphere.
Step 3. Surface gravity: , versus Schwarzschild's .
Step 4. Since , the temperature ratio is . A same-mass hole spun to runs at 61% of the Schwarzschild temperature; toward extremal both and go to zero.
3 · Temperature from Euclidean regularity, no quantum fields
Show that demanding a smooth Euclidean (imaginary-time) Schwarzschild geometry fixes the temperature to , and check it against .
Step 1. Continue . Near the part of the metric becomes, to leading order, a plane in polar-like coordinates with angular variable . Smoothness requires that angle to run over exactly , so is periodic with period ; any other period leaves a conical singularity.
Step 2. Identify the period with inverse temperature, (units ), giving — Hawking's result from geometry alone.
Step 3. Check: with , and with units restored. The conical-regularity temperature matches the field-theory Hawking temperature exactly, with no mode sum.
Physics of the portrait
Surface gravity is where symmetry, geometry, and thermodynamics collide in a single scalar — a story running from a nineteenth-century algebraist to a 1974 result that recast the whole subject.
Origins · 1 minsurface gravity and how this was discovered
Surface gravity is one of those quantities whose name predates its meaning. The Killing fields it depends on come from Wilhelm Killing, the algebraist who around 1892, classifying the continuous symmetries of spaces, wrote down for the vector fields that generate isometries — with no gravitational application in sight for half a century. When Roy Kerr found the rotating vacuum solution in 1963, its horizon revealed that the time-translation symmetry does not stay null on a spinning hole; the generator must corotate, and Robert Boyer soon gave the first careful theory of Killing horizons and their bifurcation surfaces. The decisive synthesis came in 1973, when James Bardeen, Brandon Carter, and Stephen Hawking proved the four laws: the zeroth law made constant over a stationary horizon — precisely as temperature is constant in equilibrium — and the first law paired with . They regarded the analogy as formal, since a classical black hole has zero temperature. Hawking dissolved that objection in 1974: quantizing fields around the horizon, he found a thermal flux at , promoting surface gravity to the literal temperature of the hole, and with it Bekenstein's . What Killing began as pure symmetry, and Kerr and Boyer sharpened into geometry, became through Bardeen, Carter, and Hawking the keystone of black-hole thermodynamics.
Going further
Texts. Misner, Thorne & Wheeler, Gravitation (1973), §33 · Wald, General Relativity (1984), §6.4, §12.5, App. C; Wald, Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics (1994), Ch. 7 · Carroll, Spacetime and Geometry (2004), §6.3–6.4 · Poisson, A Relativist's Toolkit (2004), §5.2–5.5 · Townsend, Black Holes lecture notes (1997), §3.
Foundational papers. Bardeen, Carter & Hawking, The Four Laws of Black Hole Mechanics, Commun. Math. Phys. 31, 161 (1973) · Hawking, Particle Creation by Black Holes, Commun. Math. Phys. 43, 199 (1975) · Bekenstein, Black Holes and Entropy, Phys. Rev. D 7, 2333 (1973).
Provenance. Schwarzschild and K verified from and ; SI values m/s² and K for (CODATA constants). Kerr and from Bardeen-Carter-Hawking (1973), spin table (: 0 → 0.250, 0.9 → 0.152, 1.0 → 0) recomputed independently. A verifier should confirm: (1) ; (2) the covariant identity from Killing's equation and Frobenius; (3) ; (4) the Euclidean period .
Prerequisites. Schwarzschild Black Hole Structure · Event Horizon and Apparent Horizon · Kerr Metric and Rotating Black Holes. Leads to. The Four Laws of Black Hole Mechanics · Ergosphere and Frame Dragging · Hawking Area Theorem · No-Hair Theorem and Black Hole Uniqueness.
Ask the tutor: Ask me to walk through the near-horizon limit, the corotating Kerr generator, or the Euclidean argument step by step for any black hole you like.
Is surface gravity really the gravitational acceleration at the horizon?
Not the local one — that diverges. A static observer just outside the horizon needs infinite proper acceleration to hold position, so "the acceleration at the horizon" is not finite in his frame. Surface gravity is that acceleration multiplied by the gravitational redshift factor : the pull measured by an agent at infinity holding the far end of an idealized massless string. The product stays finite as the horizon is approached and equals . So is best read as "force per unit mass at infinity", not the felt acceleration of anyone near the horizon.
Why does a rotating black hole use a corotating Killing field instead of ∂_t?
Because on a spinning horizon alone is already spacelike — it fails to be null there, so it cannot generate the horizon. The rigidity theorem (Hawking) shows a stationary rotating horizon must be a Killing horizon of the combination , where is the horizon's angular velocity, and this corotating field is null on . The region where has gone spacelike but is still timelike is the ergosphere — where frame dragging is so strong nothing can remain static, only corotate, which is what enables the Penrose process and superradiance.
How can surface gravity be constant over a Kerr horizon that is not spherical?
This is the zeroth law, and it is genuinely surprising. On a Kerr horizon the local metric and the norm of the generator both vary with latitude , yet comes out completely independent of — a single number over the whole surface. The divergent and vanishing near-horizon factors arrange themselves so their ratio, which is what measures, is uniform. Bardeen, Carter and Hawking proved this for any stationary Killing horizon (given the dominant energy condition). It is the exact analogue of temperature being uniform in thermal equilibrium, which is why plays the role of in the first law.
Does the numerical value of κ depend on how I normalize the Killing field?
Yes, and this trips people up. The defining equation is homogeneous: rescale and . So a bare number for is meaningless until you fix . In an asymptotically flat spacetime the canonical choice normalizes to unit norm at infinity, , and then is the physical value entering the first law and the Hawking temperature. Spacetimes with no flat asymptotic region (de Sitter, Rindler wedges, extremal near-horizon geometries) have no preferred normalization, so any must come with its convention attached.
Is every Killing horizon a black-hole event horizon?
No. The two coincide under strong hypotheses — for a stationary, asymptotically flat, analytic spacetime, Hawking's rigidity theorem shows the event horizon is a Killing horizon — but the Killing-horizon concept is strictly broader and purely local. The Rindler horizon seen by a uniformly accelerated observer in flat spacetime is a Killing horizon of a boost field, with surface gravity equal to the observer's acceleration, yet flat space has no black hole. De Sitter cosmological horizons are Killing horizons of yet another field, with their own . So a Killing horizon is local and symmetry-based; an event horizon is global and causal; they agree for stationary black holes, not in general.
What is the connection between surface gravity and the affine parameter?
The Killing generator is a geodesic on the horizon but a non-affine one, . The affinely parametrized generator is , with Killing time and . So affine parameter grows exponentially in Killing time at rate . That exponential is the same one that redshifts outgoing modes without bound near the horizon, and it is the origin of the thermal spectrum: a mode monochromatic in affine (freely-falling) coordinates spreads into a Planck distribution in Killing time, at temperature .