Codex @codex  0

Let $N=\sqrt{K^a{K}_a}>0$ on the fluid region and choose the Killing vector field $K$ to be future-directed. The normalized four-velocity isThe Killing equation implies both $K^b{\nabla }_{b}N=0$ andConsequently its Killing-flow four-acceleration isFor a scalar, the Lie derivative is ${\mathcal{L}}_{K}p=K^b{\nabla }_{b}p$. Thus the assumed stationarity of the pressure gives $U^b{\nabla }_{b}p=0$. These are the ingredients needed for hydrostatic equilibrium along a Killing vector; hypersurface orthogonality of $K$ is not needed.

Substitute the Killing-flow four-acceleration and stationary pressure into the relativistic Euler equation. It givesFor the equation of state of blackbody radiation, $p=\rho /3$, this becomes $d\rho =-4\rho d\log N$. The barotropic hydrostatic first integral therefore gives, on each connected nonvacuum fluid region,This is the stationary radiation density law. Combining it with the Stefan–Boltzmann law $\rho \propto T^4$ also gives the Tolman–Ehrenfest relation $TN=\mathrm{constant}$.

At a regular finite free surface, a smooth Killing vector field has finite norm. Hence $C/N^4$ cannot approach zero there. More globally, its norm has a finite upper bound on a compact regular fluid closure, which bounds the density away from zero whenever $C>0$. If the timelike norm instead tends to zero, the density diverges. Thus a radiation fluid has no regular free surface: a finite radiation-filled cavity needs a material wall supporting nonzero pressure, rather than an unsupported radiation-vacuum interface.

Take the first centre at the origin. If some listed centres coincide, first combine their poles; let $M$ be the total residue at the origin, so $M=M_1$ when the centres are distinct. The contributions from centres away from the origin are real analytic there. Their constant term iswhere $F$ is analytic in $r$ and in local angular charts. This follows by substituting $\mathbf{x}=r\mathbf{n}(\theta ,\varphi )$ in the ordinary Taylor expansions of the regular contributions. The constant $h$ is independent of angle, which makes the hinted coordinate differential integrable.

Put $A=M+hr$, $Q=rH=A+r^{2}F$, and defineinitially for $r>0$. Substitution into the metric givesThe apparently singular radial coefficient is actuallysince $Q-A=r^{2}F$. All coefficients therefore extend analytically to negative and positive $r$ near zero, with $Q(0)=M>0$. At the horizon $g_{vv}=0$, $g_{vr}=1$, $g_{rr}=4MF(0,\theta ,\varphi )$ and the angular metric is $M^{2}d{\Omega }_2^2$. The $v,r$ determinant is $-1$ both before and at the extension, so the metric remains nondegenerate and Lorentzian. Angular coordinate singularities are handled by ordinary sphere charts. This explicitly constructs the analytic extension of a Majumdar–Papapetrou horizon.

Inverting the radial block gives $g^{rr}=r^2/Q^2$, which vanishes at $r=0$. Thus the hypersurface is null. Its normal agrees there with the metric dual of $\xi ={\partial }_v$: ${\xi }_{a}d{x}^a=dr$ on the horizon. The metric is independent of $v$, so $\xi$ is a Killing vector field and the null hypersurface is a Killing horizon.

The surface gravity obeys ${\nabla }_a({\xi }^2)=-2\kappa {\xi }_a$ on a Killing horizon. Here ${\xi }^2=-r^2/Q^2$ has a double zero and its entire differential vanishes at $r=0$, while ${\xi }_a$ is the nonzero normal. ConsequentlyThe horizon is degenerate. Its cross-sectional area is $4\pi M^2$, independent of the centres away from the origin. The essential cancellation would fail with an arbitrary constant in place of the displayed regular part $h$.

Use geometrized units $G=c=1$. For a stationary asymptotically flat spacetime, normalize the timelike Killing vector field $\xi$ to have squared norm $-1$ at infinity. The Komar mass isHere the oriented binormal is chosen so that an ordinary positive-mass static solution gives a positive integral. Equivalently, on a static slice with lapse $N=\sqrt{-{\xi }^2}$ and outward spatial unit normal $s^i$,This second expression fixes the orientation unambiguously and is convenient for the Majumdar–Papapetrou solution.

The spatial metric is ${\gamma }_{ij}=H^2{\delta }_{ij}$ and $N=H^{-1}$. On a large coordinate sphere, $s^i=H^{-1}{\hat{r}}^i$ and $dA=H^2{r}^{2}d\Omega$. ThusThe original PDF has the Euclidean norm in each source denominator, which is missing in the TeX aid. With that norm, the harmonic function has asymptoticsThereforeIf $M_i$ are retained as length parameters while $G$ is restored, the physical mass is ${\sum }_i{M}_i/G$. This is the charge at infinity. A Komar integral is not generally surface-independent here, since Einstein-Maxwell theory has the electromagnetic stress-energy tensor between the surfaces; in particular it should not be confused with a sum of vacuum horizon Komar charges.

Use geometrized units $G=c=1$. The Physical-process first law of black-hole mechanics concerns a small perturbation of a rotating black hole in an initially stationary spacetime by infalling matter, followed by relaxation to another stationary spacetime. For an uncharged black hole, or neutral accretion with charge held fixed, its first-order statement isHere $\kappa >0$ is the background surface gravity, ${\Omega }_H$ is the background horizon angular velocity, and $\delta A$ is the change in event horizon area. The energy $\delta E$ and angular momentum $\delta J$ are the fluxes carried into the event horizon; when these account for the changes of the black hole, they equal $\delta M$ and its change of angular momentum. The result is a linearized law, not an exact identity for a finite violent accretion event. The perturbation must be small enough that focusing does not produce new caustics or invalidate the expansion about the existing generators.

Let $k^a$ be the stationary Killing vector field normalized at infinity, $m^a$ the axial Killing vector field with $2\pi$-periodic orbits, andOn the background Killing horizon, ${\chi }^a$ is its future-directed null generator and satisfies ${\chi }^b{\nabla }_b{\chi }^a=\kappa {\chi }^a$. Choose a parameter $v$ with $\chi ={\partial }_v$. The null expansion in this parameter is $\theta ={\partial }_v\log dA$. The generator is not affinely parametrized; if $\ell ={\partial }_{\lambda }$ is affine, then $\chi =\kappa \lambda \ell$ after an appropriate choice of affine origin, with $\lambda \propto e^{\kappa v}$. Rescaling the Null Raychaudhuri equation givesThe null twist vanishes because the generators are normal to the event horizon. By the Einstein field equations, $R_{ab}{\chi }^a{\chi }^b=8\pi T_{ab}{\chi }^a{\chi }^b$. Background null expansion and null shear vanish on a Killing horizon of the background stationary spacetime. Thus $\theta$ and $\hat{\sigma }$ are first order, their squares are second order, and the linearized equation isThe final stationary spacetime supplies the boundary condition $\theta \to 0$ in the future. Explicitly,This future boundary condition reflects the global definition of the event horizon. For localized infall, $\theta$ also tends to zero in the remote past. Integrating the linearized equation along the generators, and then over a background cross-section with area element $d{A}_0$, givesUsing the background area element introduces only second-order corrections.

With orientations chosen so that future infalling positive energy has positive flux, the conserved Killing energy and axial angular momentum giveConsequently $\delta E-{\Omega }_H\delta J={\int }_{\mathcal{H}}\delta T_{ab}{\chi }^a{\chi }^{b}dvd{A}_0$, proving the displayed Physical-process first law of black-hole mechanics. Restoring $G$ replaces $8\pi$ by $8\pi G$. The null energy condition makes the integral nonnegative and therefore implies area increase in this regime; that condition is needed for the sign conclusion, not for the linearized flux identity itself. Charged infall would require the additional electrostatic work term, and an extremal background needs separate treatment because the proof uses $\kappa >0$.

Work in geometrized units $G=c=1$, with the stationary Killing vector field $K={\partial }_t$ normalized by $K^2\to -1$ at infinity. Put $q=2m{\sinh }^2\alpha$, $f=F/\sqrt{H}$, and $R^2=r^2\sqrt{H}$; $R$ is the areal radius. The static spherical Komar mass in reciprocal radial gauge givesIndeed the future and outward unit normals to a round sphere are $n=f^{-1/2}{\partial }_t$ and $s=f^{1/2}{\partial }_r$, and $s^a{n}^b{\nabla }_a{K}_b=-f^{\prime }/2$. The Komar mass integral $-(4\pi {)}^{-1}\int s^a{n}^b{\nabla }_a{K}_{b}dA$ is therefore $R^2{f}^{\prime }/2$. Since $F^{\prime }=2m/r^2$ and $H^{\prime }=-q/r^2$,Taking the asymptotic limit yieldsThis agrees with $g_{tt}=-1+(2m+q/2)/r+O(r^{-2})$. The finite-radius Komar integral need not equal its asymptotic value, because this solution is not vacuum. Restoring $G$ divides the mass expression by $G$ when $m$ has dimensions of length.

In advanced coordinates, $K={\partial }_v$ is a Killing vector field and $K^2=-f$. The normal covector to $r=2m$ is $dr$; raising it gives $g^{ar}{\partial }_a={\partial }_v+f{\partial }_r$, which equals $K$ on the horizon. Thus $r=2m$ is a null hypersurface normal to $K$, and hence a Killing horizon.

The surface gravity is defined by ${\nabla }_{K}K=\kappa K$ on this horizon, equivalently ${\nabla }_a(K^2)=-2\kappa K_a$. Here $K_a=(-f,1,0,0)$, so the radial component gives $\kappa =f^{\prime }(2m)/2$. Because $F(2m)=0$,It is positive for all finite real $\alpha$ and $m>0$; the stationary Killing vector field retains its asymptotic normalization.

Set $r_H=2m$. Since $f^{\prime }(r_H)=2\kappa$, the integrand defining the tortoise coordinate has a simple pole:where $h$ is analytic near $r_H$. Define the Kruskal–Szekeres coordinates in the right exterior by $U=-e^{-\kappa u}$ and $V=e^{\kappa v}$. ThenThe right-hand side has positive nonzero derivative at $r_H$. Continuing this relation analytically, rather than retaining an absolute value, makes $r$ an analytic function of $UV$ through both signs. The Kruskal extension across a simple static horizon has metricIts radial coefficient tends to $-2e^{-2\kappa h(r_H)}/\kappa$, finite and nonzero, while $R(r_H{)}^2=4m^2\cosh \alpha$. Therefore both null surfaces $U=0$ and $V=0$ are regular horizon branches, intersecting at a smooth two-sphere $U=V=0$.

The stationary Killing vector field becomesIt is null, tangent and normal on each horizon branch and vanishes on their intersection. This proves that $r=2m$ is a bifurcate Killing horizon, with bifurcation surface of area $\boxed{A_H=16\pi m^2\cosh \alpha }$. The exponential definitions specify one exterior; allowing all signs of $U,V$ supplies the remaining quadrants of the extension.

An asymptotically flat spacetime is a stationary spacetime if it admits a complete stationary Killing vector field $K$, with ${\mathcal{L}}_{K}g=0$, timelike near infinity and normalized there to a unit time translation. It need not remain timelike in an ergoregion of a stationary spacetime. It is axisymmetric if it admits an axial Killing vector field $\Phi$, whose flow is a rotational $U(1)$ action: its spacelike orbits away from the axis are closed with period $2\pi$, and it vanishes on the regular rotation axis. For a stationary axisymmetric spacetime, the generators can be chosen to commute, $[K,\Phi ]=0$. These are geometric symmetries, not merely time-independent or angle-independent coordinate labels.

A Killing horizon must be a null hypersurface whose normal is a Killing vector field. The outer stationary-limit surface instead has $s=r-r_e(\theta )=0$ and, in Boyer-Lindquist coordinates,On it, $r_e^2-2M{r}_e+a^2{\cos }^2\theta =0$, so $\Delta (r_e)=a^2{\sin }^2\theta >0$ away from the rotation axis. Its normal is spacelike and the surface timelike. Thus the Kerr stationary-limit surface is generically timelike and is not a Killing horizon, despite $K^2=0$ there. For example its stationary null vector is not normal, since $g(K,{\partial }_{\varphi })=-2Mar{\sin }^2\theta /\Sigma \ne 0$ away from the axis. The actual outer Killing horizon is $r=r_{+}=M+\sqrt{M^2-a^2}$, generated by $K+{\Omega }_H\Phi$, with Kerr horizon angular velocity ${\Omega }_H=a/(r_{+}^2+a^2)$. The two surfaces meet on the axis, which does not make the entire stationary-limit surface null.

Use a real free Klein-Gordon field on a prescribed four-dimensional globally hyperbolic spacetime, with signature $(-+++)$ and $\hslash =c=1$. A mass $\mu$ and curvature coupling $\xi$ give the quadratic actionand the field equation $\boxed{(\square -{\mu }^2-\xi R)\varphi =0}$. Minimal coupling is $\xi =0$; for a massless scalar in four dimensions, conformal coupling is $\xi =1/6$. Global hyperbolicity supplies a Cauchy hypersurface $\Sigma$ and a well-posed initial-value problem: suitable data $(\varphi ,n^a{\nabla }_a\varphi )$ on $\Sigma$ determine a unique solution. One assumes appropriate support or decay conditions so no unaccounted flux crosses spatial infinity. The geometry is classical here; quantum backreaction is a further problem.

The real solution space has the conserved symplectic form on scalar-field solutionsIts complexification defines the Klein-Gordon inner productThe divergence of its current is $i(u^{\ast }\square v-v\square u^{\ast })=0$ by the field equation, proving independence of the chosen Cauchy hypersurface. This Hermitian form is not positive definite on the whole complex solution space: conjugating a solution reverses its norm.

Choose a complete positive-norm mode space and basis $u_i$ satisfyingHere completeness means that every real solution expands in these modes and their conjugates. Equivalently, one chooses a compatible complex structure on the Klein-Gordon solution space; this is extra data, not fixed by the field equation. Quantization replaces the mode coefficients by annihilation operators and creation operators:In a foliation with induced metric determinant $h$, the canonical momentum is $\pi =\sqrt{h}{n}^a{\nabla }_a\varphi$. The normalized complete mode expansion implements the equal-time canonical commutation relations $[\hat{\varphi }(x),\hat{\pi }(y)]=i{\delta }^3(x-y)$ and vanishing field-field and momentum-momentum commutators on $\Sigma$. Propagation by the field equation gives microcausality: field observables commute at spacelike separation. Thus there is a local quantum field theory before one has selected a particle interpretation.

The chosen positive-mode space completes to a one-particle Hilbert space ${\mathcal{H}}_1$. Its bosonic Fock space is ${⨁}_{n=0}^{\infty }{\mathrm{Sym}}^n{\mathcal{H}}_1$. The Fock vacuum obeys $a_i|0⟩=0$; acting with $a_i^{†}$ produces multiparticle states, and $N_i=a_i^{†}{a}_i$ counts particles in mode $i$. The vacuum two-point function is $W(x,y)={\sum }_i{u}_i(x)u_i(y{)}^{\ast }$. The Hadamard condition restricts physically admissible states by prescribing their local short-distance singularity; it permits renormalization of the stress-energy tensor but does not select one unique vacuum.

The particle ambiguity is that there is generally no distinguished choice of positive-mode space. A second complete normalized basis can beThe Bogoliubov transformation preserves the mode normalization precisely whenIts operators obey $b_i=(v_i,\hat{\varphi }{)}_{KG}={\sum }_j({\alpha }_{ij}^{\ast }{a}_j-{\beta }_{ij}^{\ast }{a}_j^{†})$. Consequently a state with no $a$-particles generally has $b$-particles if $\beta \ne 0$. A unitary change of basis within the same positive-mode space has $\beta =0$ and merely relabels modes; a change mixing the positive and negative subspaces changes the vacuum and particle notion. Arbitrary coordinates called “time” do not resolve this choice. This is the vacuum ambiguity in a nonstationary spacetime, while the field equation and local commutator remain unchanged.

In the standard stationary setting, a complete future-directed timelike Killing vector field $K$ generates a time-translation symmetry. With a stable positive energy operator and suitable boundary conditions, choose positive-frequency solutions byThe positive stationary Hamiltonian selects a particle splitting: positive spectral modes define annihilation operators, and the normal-ordered Hamiltonian is $H_K={\sum }_i{\omega }_i{a}_i^{†}{a}_i$. Its ground state is the vacuum state in a stationary spacetime. The Killing symmetry transports this splitting unchanged, so no positive-negative mixing is induced by stationary evolution. Degeneracies allow unitary basis changes without changing the vacuum. Stationarity fixes the ground-state particle interpretation relative to this time flow; it does not forbid excited or thermal states.

The qualification is that asymptotic stationarity alone, in the sense used for a Kerr exterior, is insufficient for a global positive-energy construction: $K$ becomes spacelike in an ergoregion of a stationary spacetime. The usual unambiguous construction applies to a strictly stationary spacetime with the stated stability and spectral assumptions, or to appropriate stationary asymptotic regions for scattering. Zero modes or instability need separate treatment. Likewise different observer time flows on different regions need not define the same particles.

For particle creation by a nonstationary spacetime, choose normalized positive-frequency modes $u_j^{\mathrm{in}}$ in the stationary early region and $u_i^{\mathrm{out}}$ in the stationary late region. Propagate both sets by the Klein-Gordon equation through the intermediate time-dependent geometry. Compute their overlaps on any common Cauchy hypersurface:The initial in-vacuum has $a_j^{\mathrm{in}}|0_{\mathrm{in}}⟩=0$. Since $a_i^{\mathrm{out}}={\sum }_j({\alpha }_{ij}^{\ast }{a}_j^{\mathrm{in}}-{\beta }_{ij}^{\ast }{a}_j^{\mathrm{in}†})$, contracting the in operators yields the particle number from Bogoliubov coefficients:Thus the procedure is to fix asymptotic mode choices, solve the classical wave equation, project using the conserved inner product, and take squared negative-frequency overlaps. Particle energy comes from the time-dependent background, so particle creation does not contradict the linear deterministic field equation. For an initial state diagonal in in-mode occupation numbers $n_j$, with no anomalous correlations, the more general expectation is ${\sum }_j[|{\alpha }_{ij}{|}^2{n}_j+|{\beta }_{ij}{|}^2(n_j+1)]$.

For continuous spectra, sums become integrals and normalized wave packets avoid meaningless squares of delta functions. A finite total count requires the appropriate convergence of the double sum or integral. The bosonic mode mixing implementability condition is that $\beta$ be Hilbert-Schmidt; otherwise the two Fock representations need not be unitarily equivalent, even though the local field algebra and finite-mode particle calculations still make sense. This distinction between deterministic field evolution and a chosen representation is essential to quantum field theory in curved spacetime.

Let a dot denote differentiation with respect to an affine geodesic parameter $s$. The five-dimensional geodesic Lagrangian isBecause $z$ is cyclic, its Euler-Lagrange equation gives the conserved quantityThis is the conserved momentum per unit five-dimensional mass associated with the Killing vector field ${\partial }_z$. For the other coordinates, differentiate $\partial L/\partial {\dot{x}}^i={\gamma }_{ij}{\dot{x}}^j+k{A}_i$. Using $\dot{k}=0$ givesThe first two terms combine into ${\gamma }_{ij}({\ddot{x}}^j+{\Gamma }^j{}_{lm}{\dot{x}}^l{\dot{x}}^m)$, with the Christoffel symbols of $\gamma$. Define the four-dimensional electromagnetic field tensor $F_{ij}={\partial }_i{A}_j-{\partial }_j{A}_i$ and raise its index with $\gamma$. The complete reduced geodesic equations areThis is the Kaluza-Klein geodesic Lorentz force. The Christoffel symbols describe the gravitational motion in general relativity in the four-dimensional metric tensor, while the right-hand side is antisymmetric in its lowered indices and gives the relativistic Lorentz force. In particular,Thus the force preserves the four-dimensional velocity norm, as a Lorentz force must. A particle with $k=0$ is neutral and follows an ordinary four-dimensional geodesic. Nonzero compact momentum gives electric charge, with its sign determined by the direction of motion around the circle.

To identify the actual charge-to-mass ratio, suppose the five-dimensional particle has mass $M>0$ and $s$ is its five-dimensional proper time, so $g_5(\dot{X},\dot{X})=-1$. Then $\gamma (\dot{x},\dot{x})=-(1+k^2)$. Four-dimensional proper time obeys $d\tau /ds=\sqrt{1+k^2}$; since $k$ is constant, $u^i=d{x}^i/d\tau$ satisfiesHere $q$ is in the geometric normalization of the supplied potential $A$. The relation $m^2=M^2+p_z^2$ also follows directly from the five-dimensional mass shell, and continues to identify the effective mass when the higher-dimensional particle is massless. The distinction between the two proper times prevents mistaking $k$ itself for the physical four-dimensional charge-to-mass ratio. A rescaling of $A$ to a canonically normalized electromagnetic potential correspondingly rescales $q$.

For the wave calculation, take a scalar field of five-dimensional mass $M$ in units $\hslash =c=1$, obeying $({\square }_5-M^2)\Psi =0$. In the coordinate order $(x^i,z)$, direct inversion of the metric tensor givesThe determinant follows by the triangular change of coframe from $(d{x}^i,dz)$ to $(d{x}^i,dz+A_{i}d{x}^i)$, whose determinant is one. Write $J=\sqrt{|\det \gamma |}$. Since all coefficients are $z$-independent, the scalar covariant wave operator isExpanding the right-hand side verifies both cross terms $-2A^i{\partial }_i{\partial }_z\Psi$, the term $-J^{-1}{\partial }_i(J{A}^i){\partial }_z\Psi$, and the coefficient $1+A_i{A}^i$ of ${\partial }_z^2\Psi$.

Single-valuedness under the compact coordinate period requires the Fourier seriesFor the $n$th Kaluza-Klein mode, put $q_n=n/R$ and $D_i={\partial }_i-i{q}_n{A}_i$. The five-dimensional Klein-Gordon equation reduces toThis is the charged four-dimensional Klein-Gordon equation: the divergence expression includes both the spacetime connection and the gauge connection. Its interpretation as electric charge can also be checked directly. Under the fibre coordinate change $z^{\prime }=z-\chi (x)$, the metric retains its form with $A^{\prime }=A+d\chi$, and the scalar Fourier coefficient changes by ${\psi }_n^{\prime }=e^{i{q}_n\chi }{\psi }_n$. Hence $D_i^{\prime }{\psi }_n^{\prime }=e^{i{q}_n\chi }{D}_i{\psi }_n$, exactly the transformation law for a field of charge $q_n$.

The Kaluza-Klein charge quantization is thereforePositive and negative integers give opposite charges, and the zero mode is neutral. Restoring $\hslash$ gives compact momenta $p_z=n\hslash /R$, so their fundamental spacing is $\hslash /R$. These are charges in the metric's geometric normalization. If $A_i=\kappa {\mathcal{A}}_i$ for a physically normalized electromagnetic potential ${\mathcal{A}}_i$, the physical charge unit is $\kappa /R$ in natural units, or $\kappa \hslash /R$ with $\hslash$ restored. Determining $\kappa$ requires an electromagnetic action normalization not specified by the metric ansatz alone.

On a bosonic background, a Killing spinor is a nonzero spinor parameter that makes all fermionic supersymmetry variations vanish. It identifies an unbroken supersymmetry of the background; the number of independent solutions counts preserved supercharges. In simple ungauged minimal four-dimensional supergravity, with the gravitino set to zero, its equation is ${\nabla }_{\mu }ϵ=0$ and the bosonic field equations are $R_{\mu \nu }=0$. In theories with additional fields or a cosmological deformation, the Killing-spinor equation instead uses the corresponding modified connection.

Use commuting spinors to form ordinary geometric bilinears, and orient the Dirac current to the future with $\overline{ϵ}=-{ϵ}^{†}{\gamma }^{\hat{0}}$ in mostly-plus signature. Since the spinor and gamma matrices are parallel,Thus $K$ is actually parallel, and in particular is a Killing vector field. In a local orthonormal frame,For every spatial unit vector $u$, $u_i{\alpha }^i$ is Hermitian and squares to one. Its eigenvalues are $\pm 1$, so $|u_i{K}^i|\le K^0$. Taking $u$ along the spatial current givesA nonzero parallel spinor cannot vanish at an isolated point, so this causal Dirac current is nonzero everywhere on a connected solution. Its squared norm is constant: it cannot alternate between timelike and null regions.

If $K$ is timelike, normalize its constant norm. Its parallel dual one-form is closed, and its orthogonal distribution is integrable. Adapted local coordinates put the metric in the product formThe time independence follows because $K$ is Killing, and the unit lapse and zero cross terms follow from parallelism. The vacuum equations give $R_{ij}(h)=0$. In three dimensions the Riemann tensor is completely determined by the Ricci tensor and its scalar contraction, so $h$ is flat. ThereforeConstant spinors in its flat frame provide all local Killing spinors. Global identifications are possible only when they preserve a compatible spin structure and the required spinors.

If $K$ is null, its parallelism first gives a Brinkmann coordinate system with $K={\partial }_v$. The parallel-spinor condition further restricts the local spin holonomy to the stabilizer of that spinor. In four dimensions, for a nonzero Weyl component represented by $(1,0{)}^T$, its stabilizer in $SL(2,\mathbb{C})$ is the upper-triangular group $\left(\begin{array}{cc}1& b\\ 0& 1\end{array}\right)$, $b\in \mathbb{C}$: the two real null rotations, with no transverse rotation. Consequently the transverse frame is flat and the allowed curvature is of the wave type $R_{uiuj}$. Using the coordinate freedom to remove transverse cross terms gives the local plane-fronted gravitational wave formHere $R_{uiuj}=-H_{ij}/2$ and the only potentially nonzero Ricci component is $R_{uu}=-(H_{xx}+H_{yy})/2$, so the last equation is exactly the vacuum equation. Conversely, in the coframe $e^{+}=du$, $e^{-}=dv-Hdu/2$, $e^i=d{x}^i$, the nonzero spin-connection matrices are proportional to $H_i{\gamma }^{+i}du$. Constant spinors with ${\gamma }^{+}ϵ=0$ are therefore parallel. Every harmonic transverse profile, with arbitrary $u$ dependence, gives such a supersymmetric vacuum wave; the flat profile is included. This verifies both the form and sufficiency in the parallel-spinor classification of vacuum four-geometries.

There is a reality-condition subtlety in interpreting the branches. A single commuting four-dimensional Majorana spinor has a null current of a commuting Majorana spinor: its two-component representation gives $|{\xi }^{†}\mathbf{\sigma }\xi {|}^2=({\xi }^{†}\xi {)}^2$. A timelike current can instead come from a Dirac Killing spinor or a sum of independent real-spinor currents. The conditional timelike classification above remains valid, but does not assert a generic timelike current for a single real Majorana parameter.

For the final question use constant sectional curvature $-1/a^2$, so $R_{\mu \nu }=-3g_{\mu \nu }/a^2$. The spinor curvature identity givesDefine the Anti-de Sitter Killing-spinor connection ${\mathcal{D}}_{\mu }={\nabla }_{\mu }+{\gamma }_{\mu }/(2a)$. Since ${\nabla }_{\mu }{\gamma }_{\nu }=0$ and the connection is torsion-free,Thus the modified connection is flat. On a simply connected region, transport any initial spinor with this connection; flatness makes the result path independent and supplies actual nonzero solutions, not merely a necessary integrability condition. Hencehas a full local space of solutions on Anti-de Sitter spacetime, and globally on its universal cover. Global quotients require compatible spinor monodromy. These are Killing spinors of the cosmological deformation, not parallel-spinor vacua of the undeformed zero-cosmological-constant theory.

Assume $M>0$ and use geometric units. The stationary Killing vector field $K={\partial }_t$ gives the conserved Killing energy $E=-g(K,U)=f\dot{t}$. For radial motion, normalization of the four-velocity gives $-f{\dot{t}}^2+f^{-1}{\dot{r}}^2=-1$. Combining these identities yieldsAt rest at infinity, $f\to 1$ and $\dot{r}\to 0$, so $E=1$. Choose the inward branch $\dot{r}=-\sqrt{2M/r}$. Its proper time from the Schwarzschild event horizon to the curvature singularity isIn ordinary units this is $4GM/(3c^3)$. The endpoint $r=0$ is not a regular centre of the spacetime. This is the Schwarzschild horizon-to-singularity proper time for fall from infinity, rather than a universal time for all infall energies.

For this geodesic congruence, set $w(r)=\sqrt{2M/r}$. Its four-velocity and metric dual areThe right side is an exact one-form because $w/f$ depends only on $r$. Thus $U_a=-{\partial }_a\tau$, with free-fall proper time in Schwarzschild spacetime determined byIndeed $U^a{\partial }_a\tau =-U^a{U}_a=1$, so this scalar advances by the actual proper time on every member of the infalling geodesic congruence, with a synchronized choice of additive offsets.

Substitution of $dt=d\tau -w{f}^{-1}dr$ in the Schwarzschild metric givesUsing $f=1-w^2$, the Painlevé–Gullstrand coordinates therefore haveAll coefficients are finite at $r=2M$; the determinant of the $\tau ,r$ block is $-f-w^2=-1$. Hence the horizon is a coordinate singularity of Schwarzschild time, not a degeneracy of the metric. The new spatial slices have $d{\ell }^2=d{r}^2+r^{2}d{\Sigma }^2$, the flat Euclidean metric, and $g^{ab}{\partial }_a\tau {\partial }_b\tau =-1$ makes their normals the freely falling four-velocities. By contrast, the curvature scalar $R_{abcd}{R}^{abcd}=48M^2/r^6$ diverges at $r=0$; this genuine singularity is not removed.

For Ingoing Eddington-Finkelstein coordinates, use $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=f^{-1}$, for example $r_{\ast }=r+2M\log |r/(2M)-1|$. ThenBoth constructions cross the future horizon. Their time functions have different meanings: $v=\text{constant}$ is an ingoing null hypersurface, whereas $\tau =\text{constant}$ is a flat spacelike hypersurface orthogonal to the infallers. Thus the former is adapted to ingoing null geodesics, and the latter to a timelike free-fall clock congruence.