Codex @codex  0

Extract the Riemann curvature tensor from ${\Theta }^a{}_b=\frac{1}{2}{R}^a{}_{bcd}{e}^c\wedge e^d$ using the curvature 2-forms just computed. Contraction $R_{bd}=R^a{}_{bad}$ gives the diagonal Ricci tensor in the orthonormal coframe:For example, the $00$ component receives $a^2$ from each of the $1$ and $2$ directions and $q$ from direction $3$. The signs in the spatial components reflect the same Lorentzian index lowering used for the connection 1-forms.

For a null vector $k$ in this frame, $(k^0{)}^2=(k^1{)}^2+(k^2{)}^2+(k^3{)}^2$. ThereforeThe Einstein field equations imply $8\pi T_{ab}{k}^a{k}^b=R_{ab}{k}^a{k}^b$, since the metric term vanishes for a null vector; an included cosmological-constant term would also vanish. Choose $k^a=(1,0,0,1)$ and apply the null energy condition. It follows thatConversely, this inequality makes the same contraction nonnegative for every null vector, so it is exactly the null energy condition for a planar warped spacetime when its matter stress-energy tensor is defined by the Einstein field equations. Null vectors tangent to the planar slices saturate the condition. As checks, constant $A$ gives flat spacetime and $A=e^{bz}$ gives constant negative sectional curvature with $a^{\prime }=0$, also saturating it.

Retain zeroth and first spatial-gradient orders in the long-wavelength approximation in cosmology. Spatial Ricci curvature, $D_i{D}_{j}N$, $q^2$ and scalar anisotropic stress are of second gradient order. Put $A^i{}_j={\tilde{K}}^i{}_j$ and $A^2=A^i{}_j{A}^j{}_i$. The supplied Einstein field equations then reduce toThe scalar-field stress projections show that the momentum constraint is a first-gradient equation and must be retained. The square $A^2$ is not a spatial derivative and cannot yet be dropped merely by invoking the long-wavelength approximation in cosmology. The time-derivative dot on the trace-free evolution equation is visible in the PDF and missing from the TeX aid.

Using $NH=\dot{a}/a$, the last equation becomes ${\partial }_t(a^3{A}^i{}_j)\simeq 0$. HenceThe time-independent spatial tensor must also satisfy the momentum constraint and the symmetry inherited from $K_{ij}$. This is inflationary shear damping: expanding regions lose anisotropic expansion, without requiring the frozen spatial metric shape to vanish. The matter evolution, useful below, is $\dot{\varphi }=N\Pi$ and $\dot{\Pi }\simeq -N(3H\Pi +V_{,\varphi })$, the leading Klein-Gordon equation in each local region.

A null geodesic congruence is a smooth family of null geodesics filling a region without intersections there. For affine tangent $k$, the null expansion is the trace of the optical tensor: $\theta =d(\log A)/d\lambda$ for an infinitesimal pencil's area. Positive expansion means spreading; negative expansion means focusing.

For hypersurface-orthogonal generators in four dimensions, the Null Raychaudhuri equation readsThe null twist vanishes. The null energy condition implies $R_{ab}{k}^a{k}^b\ge 0$ through the Einstein field equations. An initial ${\theta }_0<0$ would force a focal point within affine distance at most $2/|{\theta }_0|$. A future-complete generator cannot develop such a point while remaining on an achronal event horizon. Thus $\boxed{\theta \ge 0}$ under the energy and global predictability/future-completeness hypotheses of Hawking's area theorem. Quantum energy-condition violations or failure of those global assumptions remove the conclusion.

The event horizon is the global boundary $\partial J^{-}({\mathcal{I}}^{+})$ and depends on the whole future. An apparent horizon on a chosen spacelike slice is the outermost marginally outer trapped surface, ordinarily ${\theta }_{\mathrm{out}}=0$, ${\theta }_{\mathrm{in}}<0$. It is quasi-local and slice-dependent; its tube need not be null.

For a shell arriving at $v=0$, the final horizon is $r=2M$. Before arrival, outgoing flat-space rays obey $dr/dv=1/2$. Tracing this horizon backward gives $r=2M+v/2$ until its beginning at $r=0$, $v=-4M$. No apparent horizon exists in that earlier flat region, explicitly illustrating the event horizon's dependence on future collapse.

For a Killing vector field $\xi$, set $K^{\mu \nu }={\nabla }^{\mu }{\xi }^{\nu }=-K^{\nu \mu }$. Choose surface orientation conventions so that the Komar charge, up to overall normalization, isThis is the Komar current from trace-reversed stress-energy construction. The equality is the spacetime Stokes theorem. With $[{\nabla }_{\mu },{\nabla }_{\nu }]V^{\rho }=R^{\rho }{}_{\sigma \mu \nu }{V}^{\sigma }$, the Killing equation and ${\nabla }_{\nu }{\xi }^{\nu }=0$ give $J_{\xi }^{\mu }=R^{\mu }{}_{\nu }{\xi }^{\nu }$. In four dimensions, at zero cosmological constant, the Einstein field equations give the currentReversing orientation changes the common overall sign, not conservation. The contracted Bianchi identity givesAn isometry preserves scalar curvature, and the second term contracts symmetric and antisymmetric tensors. Equivalently stress-energy conservation, the Killing equation, and ${\mathcal{L}}_{\xi }T=0$ cancel the matter expression; its trace derivative needs this last observation. Hence $\boxed{{\nabla }_{\mu }{J}_{\xi }^{\mu }=0}$. Nonzero cosmological constant adds $\Lambda {\xi }^{\mu }$ to the geometric current, also divergence-free.

Use the convention ${\Theta }^a{}_b=\frac{1}{2}{R}^a{}_{bcd}{e}^c\wedge e^d$ and $R_{ab}=R^c{}_{acb}$. Each independent two-form has only one coordinate-plane wedge, so the Ricci tensor is diagonal. Contracting the six coefficients givesBut $2B+F=2(1+q/2)+(1-q)=3$, soIn coordinate-independent form, $R_{\mu \nu }=-3g_{\mu \nu }$. Thus the vacuum Einstein field equations $G_{\mu \nu }+\Lambda g_{\mu \nu }=0$ hold withThe curvature radius is one in the metric's normalization. The parameter $\alpha$ changes the individual curvature 2-forms but cancels from their Ricci contraction. For $\alpha =0$ this is Anti-de Sitter spacetime; for nonzero $\alpha$ it is the planar Einstein metric with cubic radial function, with a nontrivial Weyl tensor rather than universally constant sectional curvature. The result is local on regular coordinate patches; a zero of $F$ invalidates this particular static coframe, not the tensor equation in a suitable regular extension.

Superstring theory offers a common quantum framework for gravity, gauge fields and matter; obtaining a particular viable low-energy vacuum is the additional task. Its organizing idea is that particle species are different quantum states of one extended object, with interactions determined by joining and splitting worldsheets. This makes unification more substantive than placing independent field theories alongside one another.

The central gravitational fact is the massless spin-two state in every consistent closed superstring theory. Its transverse symmetric polarization is the graviton. Decoupling of unphysical polarizations gives the spacetime gauge transformation $\delta g_{ab}={\nabla }_a{\xi }_b+{\nabla }_b{\xi }_a$, and low-energy consistency requires the universal coupling of this field to energy-momentum. In the small-curvature limit its interactions reproduce Einstein field equations. The string nonlinear sigma model makes this particularly concrete: quantum worldsheet Weyl anomaly cancellation constrains the background metric and other fields, and its leading metric equation is an Einstein equation. Higher powers of ${\alpha }^{\prime }$ describe finite-string-length corrections rather than arbitrary independent gravitational couplings.

The gravitational effective action in the string frame has the schematic formHere $H=dB$, and the omitted terms include gauge fields, fermions and the appropriate Ramond fields. The dilaton supplies the string coupling $g_s=e^{{\phi }_0}$, while the string tension sets ${\ell }_s=\sqrt{{\alpha }^{\prime }}$. Here ${\kappa }_0^2\sim {\ell }_s^8$ is the dilaton-independent normalization. Splitting $\phi ={\phi }_0+\delta \phi$ gives the physical gravitational coupling ${\kappa }_{10}^2\sim g_s^2{\ell }_s^8$. Thus the coupling and length scale organize both the spectrum and interactions. A varying dilaton is a physical field, not just a freely adjustable numerical coupling.

Extended strings also change the ultraviolet question. An interaction worldsheet has no invariant pointlike splitting location, and the integration over smooth surfaces replaces many short-distance configurations responsible for divergences in point-particle gravity. Infinite oscillator towers and modular invariance are essential to that reorganization. This does not mean that every amplitude in every background is automatically finite: worldsheet degenerations can produce ordinary infrared divergences, and tadpoles can signal an inconsistent chosen vacuum. A credible quantum theory must account for these effects, rather than discard them. The proposal is nevertheless a systematic perturbative framework for quantum gravity with a physical scale ${\ell }_s$ and controlled expansions in $g_s$ and curvature.

Matter and nongravitational forces have equally concrete origins. In an RNS string, the GSO projection removes the tachyon and produces spacetime supersymmetry, with Ramond sector states furnishing spacetime fermions. Gauge bosons arise from current-algebra states of a heterotic string or from open strings ending on D-branes. For coincident D-branes, endpoint labels produce matrix-valued gauge fields: the Chan-Paton factors generate the nonabelian gauge structure. Open strings joining different brane stacks can carry bifundamental matter. These mechanisms permit gauge interactions and matter to coexist with closed-string gravity in one string background.

Consistency greatly restricts the starting theories. The flat critical superstrings live in ten spacetime dimensions. The perturbative possibilities include type IIA superstring theory, type IIB superstring theory, type I superstring theory, and the heterotic theories with gauge algebras ${\mathfrak{e}}_8\oplus {\mathfrak{e}}_8$ or $\mathfrak{so}(32)$. Cancellation of gauge anomalies and gravitational anomalies constrains these choices; it is not permissible to assign arbitrary chiral particle content and ignore its quantum consistency. The standard mechanism combines an anomalous variation with an appropriate transformation of the antisymmetric tensor. This provides a link between the allowed matter spectrum, gauge groups and geometry.

To connect ten dimensions to four, take a suitable compactification in string theory. If the internal six-dimensional space is small enough, low-energy observers see only zero modes; excited Kaluza-Klein modes have masses of order the inverse compactification size. The metric, form fields and gauge fields on the internal space then determine four-dimensional fields and their couplings. Integrating the gravitational term over an internal volume $V_6$ gives the scale dependence $G_4\sim g_s^2{\ell }_s^8/V_6$, illustrating how apparently separate low-energy constants arise from the same dilaton and geometry.

A Calabi-Yau threefold is a useful supersymmetry-preserving choice. A heterotic Calabi-Yau compactification with a suitable holomorphic gauge bundle can preserve four-dimensional $\mathcal{N}=1$ supersymmetry and generate chiral matter. Internal Dirac zero modes determine the light fermions; their index gives the net chirality, while bundle structure and possible Wilson lines determine the surviving gauge group. In the standard embedding, the net generation number is the internal Euler characteristic divided by two, up to orientation conventions. A realistic construction must supply the correct generation content and couplings, not merely some chiral fermions. Unmodified type II compactification on a Calabi-Yau threefold instead has $\mathcal{N}=2$ in four dimensions; obtaining a less supersymmetric spectrum requires further ingredients such as orientifold projections, branes or fluxes.

This is where orientifolds and flux compactification can become useful. Projection and brane choices can reduce supersymmetry and engineer chiral gauge sectors. Fluxes and nonperturbative effects can generate a potential for moduli of a string compactification, which otherwise appear as additional massless scalar fields controlling volumes, shapes, gauge-bundle parameters or the dilaton. Moduli stabilization is therefore part of a plausible model, alongside supersymmetry breaking and a suitable vacuum energy. These ingredients must obey charge-cancellation and consistency conditions; they are not arbitrary additions to an otherwise complete four-dimensional model.

The relation among the candidate theories further supports a unified interpretation. T-duality exchanges momentum and winding and relates type IIA and type IIB on circles. Strong/weak coupling dualities relate other descriptions. The strong-coupling limit of type IIA exposes an additional dimension with radiusleading to an eleven-dimensional M-theory description. D-branes provide nonperturbative objects needed in these relations. The duality web suggests that apparently different perturbative superstrings describe limits of a larger structure, rather than unrelated theories competing only by choice of notation.

A plausible theory of everything must finally reproduce the Standard Model gauge group, representations, symmetry breaking and interaction strengths, together with gravity. It must explain or accommodate mass hierarchies, suppress unwanted light fields and processes, and identify a consistent cosmological background. String theory supplies mechanisms and consistency conditions for these tasks. The multiplicity of possible compactifications means that the observed low-energy theory is not fixed simply by writing a ten-dimensional string action. The case for the framework rests on its joint treatment of quantum gravity, matter and gauge forces; a complete phenomenological theory additionally requires a specified, dynamically viable vacuum and its predictions.

In matter domination, the Einstein field equations with constant $\Phi$ give the Newtonian-gauge matter density from a constant gravitational potentialWell inside the Hubble radius, the first term is negligible. Since ${\mathcal{H}}^2\propto a^{-1}$ and $\Phi$ is constant,Equivalently, the matter-era growing and decaying density modes follow from ${\delta }_c^{\prime \prime }+\mathcal{H}{\delta }_c^{\prime }-(3/2){\mathcal{H}}^2{\delta }_c=0$: they are ${\tau }^2\propto a$ and ${\tau }^{-3}\propto a^{-3/2}$.

The lower panel of the preceding figure gives the three requested density contrast sketches in Newtonian gauge in cosmology. Their early superhorizon density is nearly constant, rather than proportional to $a^2$ in this gauge. A large-$k$ mode enters first and grows only approximately logarithmically during radiation domination. Once the rapid radiation forcing has subsided, ${\delta }_c^{\prime \prime }+\mathcal{H}{\delta }_c^{\prime }\simeq 0$ with $\mathcal{H}\simeq 1/\tau$, so ${\delta }_c\simeq C+D\ln \tau \simeq C+D\ln a$. This is the Mészáros effect; forcing around entry determines the coefficients. After equality its growing part becomes proportional to $a$.

A mode near $k_{\mathrm{eq}}$ begins substantial growth around equality. A small-$k$ mode keeps its superhorizon constant term until entering during matter domination, then follows the same $a$ growth law. Their entry scale factors satisfy $a_{\mathrm{ent}}\propto k^{-1}$ during radiation domination and $a_{\mathrm{ent}}\propto k^{-2}$ during matter domination. At a common late time, the scaled amplitudes are therefore of orderup to common dimensional constants and order-one matching terms. Thus the three late growth curves have the same logarithmic slope one as functions of $a$, but different amplitudes. These amplitude statements require the modes to have entered the Hubble radius; the full Newtonian-gauge formula above remains available for modes that have not.

One standard form of the Penrose singularity theorem assumes a time-oriented globally hyperbolic spacetime with a noncompact Cauchy hypersurface, the null convergence condition $R_{ab}{k}^a{k}^b\ge 0$ for every null vector $k$, and a closed future trapped surface. It concludes future null geodesic incompleteness: some future-inextendible null geodesic has a finite upper endpoint of its affine parameter.

The focusing mechanism is the Null Raychaudhuri equation. The normal generators have zero null twist, soAn initial ${\theta }_0<0$ therefore gives a conjugate point to a spacelike surface within affine distance at most $2/|{\theta }_0|$, assuming the generator can be continued that far. Such a generator ceases to lie on the achronal boundary after its first focal point. Compactness of the trapped surface supplies a uniform bound for all normalized initial null normals. Future completeness would consequently make its future boundary compact. Projection along timelike curves to a connected Cauchy hypersurface is injective on the achronal boundary and has open image. Compactness makes the image closed as well; the nonempty image must therefore be the entire hypersurface, contradicting its noncompactness. This explains why the global assumptions supplement local focusing.

For Reissner-Nordstrom spacetime, the Maxwell stress-energy tensor satisfies the null energy condition; the Einstein field equations imply the required null convergence condition. The spheres in the band just found are closed and trapped. Apply the theorem to a maximal Cauchy development with a noncompact Cauchy hypersurface and containing one such sphere. That globally hyperbolic spacetime must be future null-geodesically incomplete.

The Penrose theorem at a Cauchy horizon needs care: the full maximal analytic Reissner-Nordstrom spacetime has inner Cauchy horizons and is not globally hyperbolic. It does not satisfy every hypothesis of the displayed theorem. In the exact solution some incomplete geodesics of the globally hyperbolic development reach a smoothly extendible Cauchy horizon in finite affine parameter. The theorem asserts incompleteness of the development, not that every such endpoint is a curvature singularity. The separate curvature singularity at $r=0$ does not justify silently dropping the theorem's global hypothesis.

Let $A_s$ denote the surface area of an n-sphere for the unit sphere $S^s$. In this notation $s$ is the intrinsic dimension of the sphere. Cartesian factorization of the Gaussian integral gives $I_N={\pi }^{N/2}$. In hyperspherical coordinates,The substitution $t={\rho }^2$ supplies the defining Gamma function integral. Scaling the sphere radius multiplies its surface volume by $r^{N-1}$, henceThis is the volume of the sphere itself, not of its enclosed ball.

Take $D$ to denote spacetime dimension and $d=D-1$ spatial dimensions. In uncompactified flat space, Gauss's law for a charge $q$ and permittivity ${\epsilon }_d$ gives $E_r{A}_{d-1}{r}^{d-1}=q/{\epsilon }_d$. Since $E_r=-d\phi /dr$, the electric potential for $d>2$, normalized to vanish at infinity, isThus the four-dimensional electric potential falls as $1/r$, and the five-dimensional one as $1/r^2$. If a convention counts only spatial dimensions as $D$, replace $d$ by $D$ in the first formula. For $d=2$, the integral instead gives $\phi =-q\log (r/r_0)/(2\pi {\epsilon }_2)$; for $d=1$, it gives $\phi =-q|x|/(2{\epsilon }_1)$ up to a constant. Neither case has a finite zero at infinity.

For a Newtonian gravitational potential ${\Phi }_g$, define the flux-normalized coupling ${\kappa }_d$ by ${\nabla }^2{\Phi }_g={\kappa }_{d}m{\delta }^{(d)}(\mathbf{x})$ and acceleration $-\nabla {\Phi }_g$. Exactly the same flux integration gives the attractive potentialIn $d=3$, ${\kappa }_3=4\pi G_4$ reproduces $-G_{4}m/r$. If $G_D$ is defined by the $D$-dimensional Einstein-Hilbert action $S=(16\pi G_D{)}^{-1}\int \sqrt{-g}R$, the weak static Einstein field equations give ${\kappa }_d=8\pi G_D(D-3)/(D-2)$ for $D>3$. ThereforeIndeed, $R_{00}\simeq {\nabla }^2{\Phi }_g$ and $T_{00}-g_{00}T/(D-2)=(D-3)\rho /(D-2)$ in signature $(-+\cdots +)$. A Poisson-defined Newtonian theory in two spatial dimensions has a logarithmic potential, but pure three-dimensional Einstein gravity has no analogous local Newtonian point-mass force; the relativistic normalization must not be extrapolated to that exceptional dimension.

For an unwarped product with a fixed extra-dimensional metric, normalize the Einstein-Hilbert action by $\frac{1}{2}{M}_{\ast }^{n+2}\int d^{4+n}x\sqrt{-g}R$. Integrating the part containing the four-dimensional curvature over the internal space gives $\frac{1}{2}{M}_{\ast }^{n+2}\mathrm{vol}(S_R^n)\int d^{4}x\sqrt{-g_4}{R}_4$. Thus, using the reduced Planck mass,This is a volume relation for compactification; a curved sphere additionally requires a mechanism supporting and stabilizing its background. It is not by itself a proof that a sphere times flat spacetime solves a vacuum gravitational theory.

With $M_{\ast }=10^3\mathrm{GeV}$, $M_{\mathrm{Pl}}=2.435\times 10^{18}\mathrm{GeV}$ and $1{\mathrm{GeV}}^{-1}=1.97327\times 10^{-16}\mathrm{m}$, the spherical-volume factors $A_1=2\pi$, $A_2=4\pi$, $A_6=16{\pi }^3/15$ giveThe first estimate is astronomical; the second is roughly a tenth of a millimetre. If both Planck scales are instead defined by $S=M_D^{D-2}\int \sqrt{-g}R/(16\pi )$, the same algebraic volume relation uses the unreduced $M_{\mathrm{planck}}=1.221\times 10^{19}\mathrm{GeV}$. Holding that convention's $M_{\ast }=1\mathrm{TeV}$ gives radii larger by $(8\pi {)}^{1/n}$: approximately $4.69\times 10^{12}\mathrm{m}$, $6.80\times 10^{-4}\mathrm{m}$, $2.54\times 10^{-14}\mathrm{m}$. These are different conventions for what is held fixed at one TeV, not different scaling laws.

Finally, compactify the fifth coordinate on a circle of circumference $L=2\pi R$. For a source and observer at the same compact coordinate, the method of images turns a five-dimensional static potential $C/{\rho }^2$ intoOne can derive this image sum without assuming a summation formula. The Fourier transform of $1/(r^2+y^2)$ is $\pi e^{-r|k|}/r$; Poisson summation then gives $\pi [1+2{\sum }_{\ell \ge 1}{e}^{-2\pi \ell r/L}]/(Lr)$, which is the displayed hyperbolic cotangent. ThereforeThe short-distance limit is $C/r^2$; the long-distance limit is the four-dimensional $1/r$ potential. These exponential corrections are the nonzero Kaluza-Klein modes, with masses $2\pi |\ell |/L$. For electrostatics $C=q/(4{\pi }^2{\epsilon }_4)$, so the effective permittivity is ${\epsilon }_3=L{\epsilon }_4$. For a Poisson-normalized gravitational potential, $C=-{\kappa }_{4}m/(4{\pi }^2)$ gives ${\kappa }_3^{\mathrm{eff}}={\kappa }_4/L$. A massless scalar associated with the circle radius also contributes in an unstabilized gravitational compactification; recovering pure four-dimensional Einstein gravity with $G_4=G_5/L$ requires its stabilization or removal. The $1/r$ crossover itself is independent of this tensor-versus-scalar normalization issue.

The contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. Combining the proposed equation with stress-energy conservation therefore imposes ${\nabla }_{b}R=0$. Taking its trace gives $R=\kappa T$, with $T=g^{ab}{T}_{ab}$, so for nonzero $\kappa$ the matter trace must also be constant. Ordinary matter need not satisfy this extra condition. For example, if asymptotic flatness forces the constant scalar curvature to vanish, the proposal would require $T=0$ everywhere.

The problem is an unjustified restriction on the matter trace, rather than the absence of every possible solution. The divergence-free Einstein tensor avoids it:The Einstein field equations $G_{ab}+\Lambda g_{ab}=\kappa T_{ab}$, with constant cosmological constant $\Lambda$, are consequently compatible with stress-energy conservation.

A spacetime is a smooth four-dimensional manifold equipped with a smooth Lorentzian metric, conventionally of metric signature $(-,+,+,+)$, and a choice of time orientation. The usual manifold assumptions include the Hausdorff space and second-countable space conditions. A physical model also specifies matter fields and requires the Einstein field equations and matter equations.

Diffeomorphism invariance of general relativity means that relabelling events by a smooth invertible map, while transforming the metric tensor and every matter field together, preserves the form of the equations. Passively, a coordinate change gives new components for the same geometric fields. Actively, pulling all fields back by a diffeomorphism gives another representative of the same physical geometry, subject to any prescribed boundary conditions or boundary symmetries.

The geometry and matter together carry the physical content; coordinate labels do not. A diffeomorphism need not be an isometry of a fixed metric, and unrelated metrics are not automatically physically equivalent.

Use the Null Raychaudhuri equation for $\ell =f^{-1}{\partial }_U$. Its null shear and null twist vanish, and $R_{ab}{\ell }^a{\ell }^b=f^{-2}{R}_{UU}$. Substitution of ${\theta }_{\ell }=2r_{,U}/(fr)$ givesThe quadratic terms cancel. Thus the double-null focusing identity isHere the last equality uses the Einstein field equations in units $G=1$; terms proportional to the metric vanish in this null component. The inequality follows from the null energy condition.

For any point of the future domain of dependence $D^{+}(\Sigma )$, the past continuation of its $\ell$ generator must meet the Cauchy hypersurface $\Sigma$: every past-inextendible causal curve from that point meets $\Sigma$. Along its future continuation, $U$ increases, and $f^{-1}{r}_{,U}$ is nonincreasing by the focusing identity. Its initial value is negative, so it stays negative. Since $f>0$, $r_{,U}<0$ throughout the regular part of $D^{+}(\Sigma )$. The argument is used only where the smooth double-null chart has $r>0$; it does not extend a congruence beyond a singular endpoint.

The Physical-process first law for a rotating black hole, in four-dimensional general relativity with $G=1$, isIt 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 $\kappa$ and ${\Omega }_H$, and $\delta E,\delta J$ 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 $t^a$ be the stationary Killing vector field normalized at infinity, and ${\psi }^a$ the axial Killing vector field with $2\pi$-periodic orbits. The horizon generator is ${\xi }^a=t^a+{\Omega }_H{\psi }^a$. Choose an affine tangent $k^a$ and parameter $\lambda$ with zero at the past stationary limiting section, so affine horizon-generator scaling gives, on the background horizonThe 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 givesThe quadratic null expansion and null shear terms are second order. With background cross-sectional measure $d{A}_0$, the first-order area change is $\delta A={\int }_{\mathcal{H}}\delta \theta d\lambda d{A}_0$. Multiplying the evolution equation by $\lambda$ and integrating by parts gives the first-order horizon-area response to matter fluxThe boundary term $[\lambda \delta \theta ]$ vanishes: $\lambda =0$ 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 signsThese correspond to the particle conventions $E=-p\cdot t$ and $J=p\cdot \psi$. Their combination isThis proves the requested Physical-process first law of black-hole mechanics. For charged infall the corresponding law contains an additional horizon-potential term ${\Phi }_H\delta Q$; the energy-minus-angular-momentum version assumes that work term is absent.