Codex @codex  0

The lecture notes by David Tong derive Friedmann equations in section 4.6.2 and classify Reissner-Nordstrom spacetime in sections 6.2.1–6.2.5. Section 6.2 distinguishes the central curvature singularity from regular horizons, including the extremal limit.

For $0<|Q|<M$, a Reissner-Nordstrom spacetime has an outer event horizon and an inner Cauchy horizon. Between them $r$ is timelike; inside the inner horizon $r$ is spacelike and the $r=0$ curvature singularity is timelike. The exact analytic extension contains repeated exterior blocks beyond the Cauchy horizons. Small perturbations produce severe inner-horizon blueshift and mass inflation, so that exact continuation is not a robust prediction for collapse. At $|Q|=M$ the horizons merge into a degenerate Killing horizon; for $|Q|>M$ the spherical electrovacuum solution instead has a naked singularity.

Mass inflation is the growth of the interior effective mass and curvature near an inner Cauchy horizon under suitably perturbed black-hole data. It can obstruct regular spacetime extensions that exist for an exact Reissner-Nordstrom spacetime. The extension regularity matters: curvature blowup alone does not rule out every continuous-metric extension.

If $M^2<Q^2$, thenThere is no positive root and no horizon hiding $r=0$ in the extended Reissner-Nordstrom spacetime. Its Kretschmann scalar diverges there, so $r=0$ is a naked singularity. It is a timelike curvature singularity, as the normal to nearby $r=\text{constant}$ hypersurfaces has positive squared norm $g^{rr}=F$.

Assume an asymptotically flat Reissner-Nordstrom spacetime, with $M>|Q|$, time normalized at infinity, and $G=\hslash =c_{\mathrm{light}}=k_B=1$. PutNear $r_{+}$, the Euclidean radial-time metric is $f^{\prime }(r_{+})(r-r_{+})d{\tau }^2+d{r}^2/[f^{\prime }(r_{+})(r-r_{+})]$. With $\rho =2\sqrt{(r-r_{+})/f^{\prime }(r_{+})}$, it becomesThe Euclidean black-hole regularity condition removes a conical defect only if $\tau$ has period $4\pi /f^{\prime }(r_{+})$. Therefore the Reissner-Nordstrom Hawking temperature isEquivalently this is the Reissner-Nordstrom horizon surface gravity divided by $2\pi$. The derivation assumes a nondegenerate horizon; the value zero at $M=q$ is obtained by the nonextremal limit, not by imposing conical regularity directly on the degenerate geometry.

For fixed nonzero $q$, write $y=r_{+}/q\ge 1$. The horizon equation givesThe mass is increasing with $y>1$, andThus the fixed-charge Reissner-Nordstrom temperature maximum occurs atThe curve starts at zero at $M=q$, rises to this maximum, then falls as $1/(8\pi M)$ for large mass. During evaporation from $M_0\gg q$, the mass moves from right to left: the temperature initially increases, reaches its maximum, and then decreases towards zero.

Under the printed thermal-emission cutoff, charged emission is absent throughout precisely when the entire mass path remains at or below the threshold:Equality is allowed because emission is assumed to require $T>m$, not merely $T=m$. The initial large mass ensures that the path includes the maximum.

With charge then conserved, neutral Hawking radiation lowers the mass until the system approaches the charge-preserving Reissner-Nordstrom evaporation endpoint:The limiting state is an extremal black hole, rather than a neutral zero-mass endpoint. Exact attainment in finite time is not established: near extremality $T\sim \sqrt{M-q}/(\sqrt{2}\pi q^{3/2})$, and the ideal radiation rate tends to zero. The conclusion is within the assumed thermal cutoff model, which omits nonthermal charge creation and other quantum corrections. For $Q=0$, the Schwarzschild temperature instead grows without bound in the extrapolated model, so no finite $m$ satisfies the stated all-the-way temperature bound.

A horizon separates regions according to a specified causal, dynamical or geometrical criterion. The criterion must be stated: an event horizon, an apparent horizon, a Killing horizon and a Cauchy horizon answer different questions. Some horizons describe a black hole, others an observer's acceleration or the universe's expansion. A vanishing coordinate metric component alone does not establish any of these definitions.

In an asymptotically flat spacetime, choose the relevant future null infinity ${\mathcal{I}}^{+}$, the endpoint of escaping outgoing light rays. The black-hole region and its future event horizon areHere $J^{-}$ is the causal past. Events in $\mathcal{B}$ cannot send a causal signal to the chosen infinity. This is a global definition: identifying the horizon requires the full future development, so a local measurement need not reveal whether an event lies on it. Smooth portions of an event horizon are null hypersurfaces generated by null geodesics. Generators may join at past caustics or crease sets, so the horizon need not be smooth everywhere. A past event horizon is defined by the time-reversed escape criterion; in the maximally extended Schwarzschild solution it bounds a white-hole region.

An observer-based definition replaces infinity by a future-inextendible worldline $\gamma$. Its future observer event horizon is the boundary of events that can signal to $\gamma$, conventionally $\partial I^{-}(\gamma )$. A past observer horizon similarly bounds events reachable from its past worldline. Such horizons depend on the observer and need not imply a black hole.

A Killing horizon is a null hypersurface to which a nonzero Killing vector field $K^a$ is normal. On it, $K^a$ is tangent to its null generators and satisfies $K^b{\nabla }_b{K}^a=\kappa K^a$. The surface gravity $\kappa$ measures the failure of this Killing parameter to be an affine parameter; rescaling $K$ rescales $\kappa$. A degenerate Killing horizon has $\kappa =0$. Stationary black-hole horizons often are Killing horizons, whereas a general evolving event horizon need not have any Killing symmetry. The condition $K^a{K}_a=0$ alone is insufficient: the null vector must also be normal to a null hypersurface.

The Schwarzschild spacetime illustrates several of these notions. In units $G=c=1$, let $f=1-2M/r$. Its metric is $d{s}^2=fd{t}^2-f^{-1}d{r}^2-r^{2}d{\Omega }^2$, and $r=2M$ is the future event horizon of the black-hole region in the appropriate extension. The apparent coordinate singularity disappears in ingoing Eddington-Finkelstein coordinates, $v=t+r_{\ast }$, $d{r}_{\ast }/dr=f^{-1}$:At $r=2M$ this metric is regular and the normal $dr$ is null. Future outgoing radial rays satisfy $dr/dv=f/2$; inside the horizon their areal radius decreases even on the outgoing family. The stationary Killing vector field ${\partial }_v$ generates the horizon with $\kappa =f^{\prime }(2M)/2=1/(4M)$ when normalized at infinity. The Kretschmann scalar is $48M^2/r^6$, finite at the horizon and divergent at $r=0$. Thus the event horizon is not the curvature singularity. The photon sphere at $r=3M$, which supports circular null orbits, is also not the horizon.

Quasi-local horizon notions use null expansions. For a closed spacelike two-surface, choose future outgoing and ingoing null normals $\ell ,n$, with $\ell \cdot n=1$ in signature $(+---)$. Each expansion is the logarithmic rate of its positive area element along the corresponding null normal. A future trapped surface has ${\theta }_{\ell }<0$ and ${\theta }_n<0$: both future light fronts initially shrink. A marginally outer trapped surface has ${\theta }_{\ell }=0$; for the future black-hole type also require ${\theta }_n<0$. On a chosen spacelike slice, the outer boundary of the future trapped region is an apparent horizon, ordinarily an outermost marginally outer trapped surface when regularity permits this characterization. It depends on the slice, and a slicing need not display an apparent horizon even when the global spacetime contains an event horizon.

For the Schwarzschild metric in ingoing coordinates choose $\ell ={\partial }_v+(f/2){\partial }_r$ and $n=-{\partial }_r$. The spherical null expansion in ingoing coordinates givesThe round spheres inside $2M$ are future trapped, while $r=2M$ is marginal. On standard horizon-penetrating slices its sections give the apparent horizon, coinciding with the stationary event and Killing horizon. This coincidence in a symmetric stationary example does not identify the notions in a general spacetime.

A trapping horizon is a hypersurface foliated by marginal surfaces. Its future outer type obeys ${\theta }_{\ell }=0$, ${\theta }_n<0$ and ${\mathcal{L}}_n{\theta }_{\ell }<0$. Unlike an event horizon, this can be diagnosed from local expansion data and their variation. The null energy condition explains its causal character. At a marginal surface, the Null Raychaudhuri equation, with the present curvature sign and vanishing null twist, givesin units $c=1$. A possible nonaffinity term vanishes here because it is proportional to the zero expansion. Write a horizon evolution vector as $V=\ell -Cn$. Preserving ${\theta }_{\ell }=0$ gives $C=({\mathcal{L}}_{\ell }{\theta }_{\ell })/({\mathcal{L}}_n{\theta }_{\ell })\ge 0$. Hence $V^2=-2C\le 0$: the future outer horizon is spacelike or null. Its area expansion is ${\theta }_V=-C{\theta }_n\ge 0$. These conclusions use the outer condition and the energy condition, not merely marginality.

For the global event horizon, the future-complete horizon focusing proof of the area theorem uses the same Null Raychaudhuri equation. Under the null energy condition, a negative generator expansion forces a future caustic in finite affine parameter. Future completeness and the usual regularity or predictability assumptions exclude such a caustic on the future event-horizon boundary. Its generator expansion is therefore nonnegative and its classical area cannot decrease. These assumptions matter: this is not an unconditional result for every null surface or every matter model.

Rotating and charged solutions provide further distinctions. A nonextremal Kerr black hole has $r_{\pm }=M\pm \sqrt{M^2-a^2}$, with $a=J/M$. Its outer Killing horizon is generated by ${\partial }_t+{\Omega }_H{\partial }_{\varphi }$, where ${\Omega }_H=a/(r_{+}^2+a^2)$, rather than by time translation alone. The ergosphere begins at the stationary-limit surface $g_{tt}=0$, whose radius is $M+\sqrt{M^2-a^2{\cos }^2\theta }$. Away from the axis this lies outside the event horizon: it forbids static observers but does not forbid escape to infinity. In Reissner-Nordstrom spacetime, the nonextremal radii are $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer surface is an event horizon, whereas the inner surface is a Cauchy horizon in the exact analytic extension.

A Cauchy horizon concerns predictability from initial data. The future domain of dependence $D^{+}(\Sigma )$ of a partial Cauchy surface consists of events for which every past-inextendible causal curve intersects $\Sigma$. Its future Cauchy horizon isBeyond it, causal influences can arrive without meeting the specified initial surface; data on that surface no longer determine the solution there. This is distinct from the inability to send signals to infinity. The inner horizon of the exact charged black hole supplies an example, and the definition necessarily specifies which initial surface is being used.

Flat spacetime itself has acceleration horizons. In the right Rindler wedge, set $t=\xi \sinh (a\tau )$ and $x=\xi \cosh (a\tau )$, with $\xi >0$. The Minkowski spacetime metric becomes $d{s}^2=a^2{\xi }^{2}d{\tau }^2-d{\xi }^2-d{y}^2-d{z}^2$. The null boundaries $t=x$ and $t=-x$ are Rindler horizons of the boost Killing flow. A uniformly accelerated observer cannot receive signals from one side of its future horizon, even though the curvature vanishes and inertial observers encounter no such boundary. These are observer and Killing horizons, not a black-hole event horizon defined using the full Minkowski null infinity.

In a spatially flat Friedmann-Lemaître-Robertson-Walker metric with noncompact spatial sections, radial light rays have $d\chi /dt=\pm 1/a(t)$. The particle horizon measures how far signals could have travelled since the initial cosmic time; the cosmological event horizon measures how far signals emitted now could ever travel toward a comoving observer. Their comoving and proper radii areThe respective horizon is present only if its integral is finite. The event-horizon integral uses the actual future endpoint, often $t_f=\infty$, so it is global and observer-dependent. For $a(t)=t^q$ on $0<t<\infty$, a finite particle horizon exists for $0<q<1$, while a finite event horizon exists for $q>1$. Neither integral is finite for $q=1$. In the expanding flat patch of de Sitter spacetime, $a=e^{Ht}$ and the proper event-horizon radius is $H^{-1}$. The static form $d{s}^2=(1-H^2{r}^2)d{t}^2-(1-H^2{r}^2{)}^{-1}d{r}^2-r^{2}d{\Omega }^2$ identifies it as a cosmological Killing horizon; its surface-gravity magnitude is $H$ with the central static time normalization.

Finally, the Hubble radius must not automatically be called an event horizon. For a flat expanding cosmology, the two future radial null expansions of a sphere of proper radius $R$ are ${\theta }_{\pm }=2(H\pm 1/R)$. At $R=H^{-1}$ the ingoing expansion vanishes, while outside it both expansions are positive: this is the cosmological marginal, past-trapped type rather than a future black-hole trapped surface. A dust universe with $a\propto t^{2/3}$ has such a Hubble sphere but no future event horizon. Global causal boundaries, slice-dependent trapped-surface boundaries, symmetry horizons and initial-data boundaries must therefore be distinguished, even when several coincide in a special example.

Let $f(r)=1-2M/r+Q^2/r^2$. A positive-radius horizon requires a root of $r^2-2Mr+Q^2=0$, givingFor the usual asymptotically flat Reissner-Nordstrom spacetime, the black-hole conditions areThe strict inequality gives a nonextremal outer event horizon at $r_{+}$; equality gives an extremal black hole. If $M<|Q|$ with $M>0$, there is no horizon and the central curvature singularity is naked. Nonpositive $M$ cannot supply a positive-radius black-hole horizon; $M=Q=0$ is Minkowski spacetime. For $Q=0$, the zero root $r_{-}=0$ is the singularity, not an additional regular horizon.

In the static coordinates the vector $k={\partial }_t$ has constant components and every metric component is independent of $t$. Its Lie derivative therefore satisfiesFor the torsion-free Levi-Civita connection, ${\mathcal{L}}_{k}g=2{\nabla }_{(a}{k}_{b)}$, proving the Killing equation directly. This also normalizes the Killing vector field to unit time translation at infinity.

At $r=r_{+}$, $k^2=-f=0$. Use the regular advanced chart $v=t+r_{\ast }$ with $d{r}_{\ast }/dr=f^{-1}$, in whichOn the horizon, $k_a=(dr{)}_a$. Thus the Killing vector field is both null and normal to the horizon, and its orbits generate that Killing horizon. The normal lines of a null hypersurface are null geodesics, possibly with nonaffine parameter. To see this without assuming a separate geodesic property, the Killing equation givesRestriction to the future horizon therefore givesThe acceleration is proportional to the tangent, which is exactly the geodesic equation with a nonaffine parameter. An affinely parametrized tangent can be obtained by rescaling $k$ along each generator; that rescaled vector need not itself extend to a spacetime Killing vector field. At a nonextremal bifurcation surface, $k$ vanishes, so a nonzero generator tangent must be described in a regular affine parametrization there.

On the past branch, use the retarded chart with radial-time cross term $-2dudr$. Now $k_a=-(dr{)}_a$ at the horizon, so the same calculation yields the opposite signed nonaffinity. Since $r_{+}$ is constant and the spacetime is spherically symmetric, $f^{\prime }(r_{+})/2$ is constant over the future horizon. This gives the two signs in the horizon relation without assuming their value beforehand.

Factor $f=(r-r_{+})(r-r_{-})/r^2$. Its derivative at the outer horizon gives the Reissner-Nordstrom horizon surface gravityIt is positive for $M>|Q|$, and at $Q=0$ reduces to the Schwarzschild surface gravity $1/(4M)$. For $M=|Q|>0$, the root is double and $\kappa =0$. Thus the horizon remains present when its surface gravity vanishes: it is a degenerate Killing horizon, and $k$ itself has affine parametrization along its nonzero horizon generators. The strictly positive-constant description applies only to the nonextremal case; the zero value is the legitimate extremal limit.

Use geometrized units and assume $M>0$, $|Q|\le M$, so the Reissner-Nordstrom spacetime contains a black hole. Its outer event horizon is $r_{+}=M+\sqrt{M^2-Q^2}$. The classical absorption cross-section is obtained in geometrical optics, by counting incident null geodesics captured from infinity. Spherical symmetry lets us use the equatorial plane. Write $f(r)=1-2M/r+Q^2/r^2$, and let a dot denote differentiation with respect to an affine parameter. The conserved Killing energy and angular momentum are $E=f\dot{t}$ and $L=r^2\dot{\varphi }$. Null normalization giveswhere the impact parameter is $b=L/E$ and $W=f/r^2$. An incoming ray turns around if the angular-momentum barrier reaches $E^2$ before the ray reaches the event horizon. The limiting captured ray approaches the exterior unstable circular null geodesic, at the maximum of $W$.

The stationary-point equation isThe outer root is the photon sphere radiusIt lies outside $r_{+}$: for $|Q|\le M$ it ranges from $3M$ down to $2M$, whereas $r_{+}$ ranges from $2M$ down to $M$. More precisely $r_{\mathrm{ph}}>2M$ except in the extremal case, and $r_{+}\le 2M$; even at extremality $r_{\mathrm{ph}}=2M>r_{+}=M$. At this root,so the circular null geodesic is unstable. The smaller stationary root lies at or inside the outer horizon and does not set capture from infinity. For $b<b_c$, the radial equation has no exterior turning point and the ray enters the event horizon; for $b>b_c$, it turns around. The critical impact parameter is thereforeThe stationary-point equation gives $Q^2=(3M{r}_{\mathrm{ph}}-r_{\mathrm{ph}}^2)/2$, hence $f(r_{\mathrm{ph}})=(r_{\mathrm{ph}}-M)/(2r_{\mathrm{ph}})$. Since a parallel incident beam is captured over a disk of radius $b_c$, the photon capture cross-section of a Reissner-Nordstrom black hole isThe equality case approaches the unstable orbit indefinitely, but it is a measure-zero boundary of the captured disk and does not change the cross-section.

For the suggested parameterization, choose $\psi$ with $Q=3M\sin \psi /\sqrt{8}$ and $\cos \psi \ge 0$. Then $\sqrt{9M^2-8Q^2}=3M\cos \psi$, so the same cross-section isThe black-hole range has $|\sin \psi |\le \sqrt{8}/3$, hence $\cos \psi \ge 1/3$. For $Q=0$, $r_{\mathrm{ph}}=3M$, $f(r_{\mathrm{ph}})=1/3$, and $b_c=3\sqrt{3}M$, givingthe classical Schwarzschild black hole light-capture result. As an additional limit check, $|Q|=M$ gives $r_{\mathrm{ph}}=2M$, $b_c=4M$, and ${\sigma }_{\mathrm{abs}}=16\pi M^2$. These are geometric capture areas, larger than the corresponding horizon areas; the relevant barrier is the photon sphere, not the horizon's apparent disk. The result applies to light in the short-wavelength limit, while a finite-frequency wave absorption cross-section depends on the greybody factors.

The future domain of dependence $D^{+}(\Sigma )$ consists of points through which every past-inextendible causal curve meets the partial Cauchy hypersurface $\Sigma$. Data on $\Sigma$ determine evolution there for suitable hyperbolic equations. Its future boundary is the Cauchy horizon $H^{+}(\Sigma )$; one precise definition is $\overline{D^{+}(\Sigma )}\setminus I^{-}(D^{+}(\Sigma ))$.

For a nonextremal Reissner-Nordstrom spacetime, $0<|Q|<M$, the metric function is $F=1-2M/r+Q^2/r^2$, with $r_{\pm }=M\pm \sqrt{M^2-Q^2}$. The outer event horizon lies at $r_{+}$. The future trapped region leads toward the inner null surface $r_{-}$, a future Cauchy horizon for bridge data on the illustrated $\Sigma$. Beyond it some past causal curves arrive from other analytic blocks or timelike singularities without meeting $\Sigma$. The CP diagram repeats these analytic blocks; $r=0$ is a timelike curvature singularity.

Near the inner horizon, arbitrarily late exterior radiation is compressed into finite infaller proper time. Its frequency is exponentially blueshifted, with scale $e^{|{\kappa }_{-}|v}$, so even a decaying flux can have diverging measured stress. Generic ingoing and outgoing perturbations produce mass inflation, growing internal mass and curvature. The smooth RN Cauchy horizon is expected to be unstable to back-reaction. This is a generic instability argument, not a universal theorem from every specially tuned test trajectory; the approximation of a harmless test particle becomes inconsistent.

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.

The inner horizon in the nonextreme Reissner-Nordstrom spacetime diagram is a Cauchy horizon. Radiation from exterior perturbations can approach it at arbitrarily late advanced time and undergo unbounded blueshift. Here its positive blueshift scale is ${\kappa }_{-}=(r_{+}^2-r_{-}^2)/r_{-}^3$. The inner-horizon blueshift coordinate behaves as $V_{-}\propto -e^{-{\kappa }_{-}v}$, soEven a decaying power-law tail can therefore generate divergent local flux. With counterstreaming radiation, backreaction produces mass inflation and curvature growth, rather than the smooth inner horizon of the exact solution.

This supports the strong cosmic censorship conjecture: a generically perturbed maximal Cauchy development is expected to lose the smooth extension across its Cauchy horizon, restoring predictability in the appropriate regularity class. The exact smooth inner horizon is unstable, not a robust failure of deterministic evolution. Curvature divergence supports an obstruction to a $C^2$ metric extension; it does not by itself exclude every continuous metric extension. The regularity class is part of the conjecture, and the blueshift argument is evidence, not a general theorem proving it.

Use the subextremal four-dimensional Reissner-Nordstrom spacetime, with $0<|Q|<M$. Its static radial function isTake the time-symmetric two-ended bridge through the outer bifurcation surface. Its initial data have $K_{ij}=0$ andon each $r\ge r_{+}$ end. The bridge is smooth: in proper radial distance $s$, $r-r_{+}=f^{\prime }(r_{+})s^2/4+O(s^4)$. Each asymptotically flat end is an infinite Riemannian distance away. Hence the spatial Riemannian manifold is complete and admits no proper same-dimensional smooth isometric extension as a connected spatial manifold.

Its maximal Cauchy development includes the two exteriors and the adjacent future and past regions between $r_{+}$ and $r_{-}$. It ends at inner Cauchy horizons, not at a curvature singularity. Since the simple root at $r_{-}$ is removable in horizon-penetrating coordinates and all curvature invariants are finite there, the exact solution extends across these Cauchy horizons. The extension is no longer globally determined by the given initial data.

The shaded region is the maximal Cauchy development; dashed upper and lower null edges are inner Cauchy horizons. The displayed neighboring diamonds illustrate smooth continuation, rather than the entire infinite extension.

The strong cosmic censorship conjecture concerns generic admissible initial data, in a specified extension regularity. Exact charged spherical data are exceptional. Perturbations can produce mass inflation at the inner Cauchy horizon, obstructing suitably regular extensions; the precise conjecture depends on the matter model and whether extensions are required to be $C^0$, $C^2$, or another regularity. Thus this exact extendible example does not refute a generic strong cosmic censorship conjecture.

For an Einstein-Maxwell example the gravitational triple $(\Sigma ,h,K)$ must be accompanied by electromagnetic initial data. One may take zero magnetic field and the smooth radial electric flux $Q/r^2$ through the bridge. The charges at the two ends have opposite signs when measured with outward normals. This is an example in the electrovacuum theory, not vacuum initial data.

The globally hyperbolic maximal Cauchy development of appropriate Reissner-Nordstrom spacetime data obeys the Penrose singularity theorem when it contains a closed trapped surface. Its resulting null geodesic incompleteness can include generators reaching a smoothly extendible inner Cauchy horizon in finite affine parameter. The full analytic extension is not globally hyperbolic and cannot be substituted into that version of the theorem. Incompleteness alone does not establish curvature blowup at every endpoint.

In ingoing Reissner-Nordstrom spacetime, orient $-{\partial }_r$ to the future and normalize the other radial null vector to ${\partial }_v+(f/2){\partial }_r$. The spherical null expansion in ingoing coordinates gives $-2/r$ and $f/r$. Hence the strictly future trapped surfaces among the round spheres occur exactly between the distinct horizons. At either horizon the outgoing null expansion vanishes. Inside the inner horizon the same round spheres are not future trapped.