The Physical-process first law for a rotating black hole, in four-dimensional general relativity with , is
It applies to a small neutral matter influx into an initially stationary, nonextremal black hole that settles to another stationary state. The background surface gravity and angular velocity are and , and are the Killing energy and angular momentum delivered through the event horizon. Other conserved charges are held fixed. The perturbation must be small enough that its horizon generators do not develop caustics, and all equalities below are to first order.
Let be the stationary Killing vector field normalized at infinity, and the axial Killing vector field with -periodic orbits. The horizon generator is . Choose an affine tangent and parameter with zero at the past stationary limiting section, so affine horizon-generator scaling gives, on the background horizon
The background null expansion and null shear vanish, and null twist vanishes for the hypersurface-orthogonal horizon generators. Linearizing the Null Raychaudhuri equation and using the Einstein field equations gives
The quadratic null expansion and null shear terms are second order. With background cross-sectional measure , the first-order area change is . Multiplying the evolution equation by and integrating by parts gives the first-order horizon-area response to matter flux
The boundary term vanishes: at the past limiting section, and the final stationary boundary condition gives zero expansion in the settled future. Equivalently, assume a sufficiently localized influx with the required late-time decay.
The energy and angular-momentum fluxes have signs
These correspond to the particle conventions and . Their combination is
This proves the requested Physical-process first law of black-hole mechanics. For charged infall the corresponding law contains an additional horizon-potential term ; the energy-minus-angular-momentum version assumes that work term is absent.
A future trapped surface is a smooth compact spacelike two-surface without boundary whose two future-directed orthogonal null expansions are strictly negative. In four-dimensional general relativity, the Penrose singularity theorem states: a time-oriented globally hyperbolic spacetime with a noncompact Cauchy hypersurface, a trapped surface, and the null convergence condition for every null vector is future null-geodesically incomplete. With the Einstein field equations, the null energy condition implies this null convergence condition; a cosmological constant drops out of the null contraction.
The Kruskal spacetime is an example. In its black hole interior, use future null normals in Ingoing Eddington-Finkelstein coordinates:
For a round sphere of areal radius , its area is and its null expansions are
Both are negative for . The vacuum Einstein field equations give , and a two-ended Kruskal Cauchy hypersurface is noncompact. The future radial null geodesics reaching in finite affine parameter provide precisely the incompleteness predicted by the Penrose singularity theorem. A trapped surface at is strictly trapped; the horizon sphere has one zero null expansion instead.
The closed string already contains the particle required for quantum gravity. For bosonic string theory in its critical dimension of string theory, the mass-shell condition and closed-string level matching are
At , the states are massless. After imposing the Virasoro constraints and quotienting null string states, the transverse polarization tensor decomposes into symmetric trace-free, antisymmetric and scalar pieces under . They describe a graviton, the Kalb–Ramond field and the dilaton. In particular, the symmetric trace-free sector is a massless spin-two graviton. Its number of degrees of freedom is .
The state–operator correspondence associates each physical string state with a string vertex operator. For example, the matter part of a massless closed-string vertex operator is
Its conformal weights are , so its integrated form is invariant under changes of string worldsheet coordinates. At fixed insertion positions it is accompanied by from the worldsheet ghost fields. Physical vertices represent BRST cohomology classes; longitudinal changes of the polarization tensor are BRST-exact operators and decouple from physical scattering amplitudes. For the graviton, this string-state gauge redundancy becomes the linearized target-space diffeomorphism .
The Polyakov path integral computes a closed-string scattering amplitude by inserting the external string vertex operators, integrating their unfixed positions and the inequivalent worldsheet moduli, and including the worldsheet ghost fields. On a Riemann sphere three positions are fixed by the residual conformal group. For example, contractions of tachyon vertex operators produce the Koba-Nielsen factor, whose position integral gives the Virasoro–Shapiro amplitude.
The string dual resonance property means that one crossing-symmetric scattering amplitude has equivalent expansions in the different channels: its poles exhibit intermediate string states in each channel, rather than separate channel contributions being added again. The scattering-amplitude factorization at a pole identifies the intermediate particle and its couplings. Set , so and the closed-string tachyon has . For four such external states the Mandelstam variables obey . The Virasoro–Shapiro amplitude has generic -channel poles at , exactly the bosonic string mass spectrum in these units.
The massless pole gives an especially direct check. With overall normalization and , the Gamma function recurrence gives
Thus
The quadratic residue in contains a spin-two exchange. A scalar exchange alone could not give this angular dependence. Combined with the known massless spectrum and scattering-amplitude factorization, it identifies exchange of the graviton, with possible scalar contributions from the dilaton; the antisymmetric Kalb–Ramond field does not couple to two identical scalar tachyons here. Consequently the graviton participates in interactions, rather than being an isolated free state.
Decoupling longitudinal graviton polarizations forces a universal coupling to the conserved stress-energy tensor. Consistency of this massless spin-two gauge invariance extends the linearized coupling to the nonlinear dynamics of general relativity. At distances large compared with , the gravitational sector of the effective action begins with the Einstein-Hilbert action, alongside dilaton and Kalb–Ramond field terms and higher-derivative string corrections. The infinite tower of string states supplies the short-distance completion of this quantum gravity expansion.
Interactions are organized by string worldsheet topology. A constant dilaton gives the string coupling , and a connected oriented surface of genus has Euler characteristic . Its weight is ; with normalized external vertices,
The sphere is tree order, the torus is one loop, and each additional handle adds a factor . Each coefficient is an integral over worldsheet moduli, so this is string perturbation theory in , with an independent low-energy expansion in .
For the one-loop vacuum contribution, torus modular invariance identifies with , . Integration is over the standard fundamental domain of the modular group,
The potential short-proper-time region , responsible for a point-particle ultraviolet divergence, is absent. It would count metrics already represented elsewhere in . Torus modular invariance is therefore the geometric reason for one-loop ultraviolet finiteness. More explicitly, in the vacuum integrand is proportional to , with the Dedekind eta function; the complete expression is invariant under the modular group.
Ultraviolet finiteness does not make the bosonic one-loop vacuum energy finite. The remaining long-tube region is an infrared divergence from the tachyon: . It signals instability of the bosonic vacuum. Tachyon-free consistent backgrounds remove this particular obstruction, though other infrared effects must still be treated. The ultraviolet improvement comes from the extended string and the complete spectrum together with the worldsheet gauge identifications; the genus expansion remains a perturbative description of quantum gravity.
Spacetime Created 2026-09-28 Updated 2026-10-05
Spacetime combines spatial position and time into one geometric setting for physical events. In special relativity it is modeled by Minkowski spacetime; in general relativity its geometry is dynamical.