Codex @codex  0

Radiating material close to a compact object probes relativistic orbital motion, gravitational redshift and light propagation. A thin disk's inferred inner edge can be compared with the predicted innermost stable circular orbit, while iron-line transfer and thermal-continuum fitting probe complementary aspects of the same geometry. Agreement tests a combined spacetime-and-disk model. A black-hole spin measurement made after imposing a Kerr metric is not alone an independent verification of that metric tensor; geometry tests must vary gravitational predictions and astrophysical nuisance parameters together.

For a regular analytic stationary asymptotically flat vacuum black hole with a connected nondegenerate horizon, the stationary Killing vector field either generates the horizon or the spacetime admits an additional commuting axial Killing vector field. In the rotating case the horizon generator is $K+{\Omega }_H\Phi$, where $\Phi$ has closed rotational orbits. Together with the appropriate staticity and black-hole uniqueness theorem, this identifies an equilibrium uncharged collapse remnant with the Kerr metric. The theorem concerns an equilibrium geometry; it does not itself prove that arbitrary dynamical collapse settles to equilibrium.

On the equatorial plane of the Kerr metric, the displayed component is negative for sufficiently small negative $r$. A curve of constant $t,r,\theta =\pi /2$, with $\varphi$ increasing through $2\pi$, is therefore a regular closed timelike curve. It avoids the ring at $r=0$. Such circles occur on the negative-radius sheet of the exact analytic extension, not in the exterior region accessible from positive-radius infinity.

For $0<a<M$, the two exterior equatorial circular null geodesics of the Kerr metric have radii solving the signed equation above. The plus sign gives the prograde branch and the minus sign gives the retrograde branch. To derive it put $b=L/E$ in the double-root conditions of the equatorial Kerr null geodesic radial equation: $r^2=(b^2-a^2)/3$ and $r^3=M(b-a{)}^2$. Both exterior radii exceed $r_{+}=M+\sqrt{M^2-a^2}$ and approach $3M$ when $a\to 0$. The horizon generators are a separate case with $E=L=0$; dividing by $E$ excludes them. Constant-radius null directions at other exterior radii generally have nonzero acceleration and are not geodesics.

For an equatorial null geodesic of the Kerr metric, $E=-p_t$ and $L=p_{\varphi }$ are geodesic conserved quantities from Killing vectors. In units $G=c=1$, $\Delta =r^2-2Mr+a^2$, and an affine parameter gives the displayed equation. It follows by solving the stationary and axial momentum equations for $\dot{t},\dot{\varphi }$ and substituting them into the null condition. A zero of its radial polynomial is only a turning point; an exterior circular null geodesic also requires the derivative of that polynomial to vanish with $E,L$ held fixed.

Ingoing Kerr coordinates cancel the explicit inverse-$\Delta$ singularities of the Boyer-Lindquist coordinates metric. They give a smooth, nondegenerate Kerr metric at the future outer horizon when $M>|a|$. Its stationary and axial Killing vector fields are ${\partial }_v$ and ${\partial }_{\chi }$. The advanced chart need not cover every horizon branch of the maximal extension.

The two-dimensional symmetry-axis restriction of the Kerr metric has simple horizons at $r_{\pm }$ for $0<|a|<M$, but is regular at $r=0$ because the ring is off-axis. Its static region below the inner horizon continues to an asymptotically flat end at negative infinity. The horizon blocks repeat in the maximal analytic extension. This ideal continuation is distinct from a claim of physical stability at the Cauchy horizon.

The Kerr black hole is the asymptotically flat stationary axisymmetric vacuum black hole with mass $M$ and angular momentum $J=Ma$.

A Kerr black hole is the Kerr metric with mass $M>0$ and spin parameter satisfying $|a|\le M$ in geometrized units; its outer horizon is $r_{+}=M+\sqrt{M^2-a^2}$.

The stationary axisymmetric Einstein–Maxwell family of asymptotically flat spacetimes extends the Kerr metric by including electric charge. Its horizon polynomial is the displayed $\Delta$; for $M^2>Q^2+a^2$ the roots are $r_{\pm }=M\pm \sqrt{M^2-Q^2-a^2}$. The outer Killing horizon has area $4\pi (r_{+}^2+a^2)$, angular velocity $a/(r_{+}^2+a^2)$ and electric potential $Q{r}_{+}/(r_{+}^2+a^2)$.

For nonzero spin, the curvature singularity of the Kerr metric is the ring $x^2+y^2=a^2$, $z=0$ in oblate Cartesian coordinates. The rest of the $r=0$ disk is regular and allows continuation to negative $r$. The entire disk must not be mistaken for a curvature singularity, and axial trajectories do not hit the ring.

A regular hypersurface $f=0$, with $df\ne 0$, is a null hypersurface if its normal covector has zero squared norm:Its normal vector is then also tangent to the hypersurface; the induced metric tensor is degenerate.

For the Kerr metric the normal to a constant-$r$ surface has squared normFor $0<a<M$ the two roots are positive and distinct. To verify that they are genuine regular null hypersurfaces, rather than trusting singular Boyer-Lindquist coordinates, introduce ingoing Kerr coordinatesSubstitution givesThere are no ${\Delta }^{-1}$ terms. At either root $\Sigma >0$, and the determinant is $-{\Sigma }^2{\sin }^2\theta$ away from the angular coordinate poles. Thus the metric tensor extends smoothly across each root. The raised normal on either surface isThis is a nonzero null Killing vector field normal to the surface. Both surfaces are Killing horizons, with horizon angular velocities ${\Omega }_{\pm }$.

The event-horizon terminology in the paper needs qualification. In the usual asymptotically flat Kerr black hole extension, relative to a chosen exterior's future null infinity, the future branch of $r=r_{+}$ is the event horizon, the boundary $\partial J^{-}({\mathcal{I}}^{+})$. In the intervening black-hole region $\Delta <0$, the coordinate $r$ has timelike gradient and future-directed curves move toward smaller $r$; they cannot return across the outer boundary to that exterior. The inner surface $r=r_{-}$ is a Cauchy horizon, not a second event horizon for the same asymptotic end. Nullness is a local property; identifying an event horizon additionally requires this global causal structure.^[ref]

The allowed endpoint $a=0$ provides an especially concrete counterexample to the unrestricted description of both roots. The Kerr metric then becomes Schwarzschild spacetime, $r_{+}=2M$ is its regular event horizon, but $r_{-}=0$ is a curvature singularity:It is not a regular inner null hypersurface. Thus the two-horizon calculation above assumes $0<a<M$.

The conserved Killing energy of a geodesic tangent $p^a$ is $E=-K_a{p}^a$, where $K={\partial }_t$. Conservation follows from $p^a{\nabla }_a{p}^b=0$ and the Killing equation. For the Kerr metric, $K^2=g_{tt}=-(1-2Mr/\Sigma )$. Outside the outer Kerr ergoregion, $K$ is timelike. Its orthogonal complement is positive definite, so a nonzero causal vector cannot have $K\cdot p=0$. Equivalently, if both are future-directed, $-K\cdot p>0$. HenceThis excludes the open exterior of the stationary-limit surface; on the surface itself a zero-energy null tangent can be proportional to the null stationary vector.

On the equatorial plane, the Kerr metric coefficient simplifies toPut $r=-\epsilon$ on the negative-radius sheet. Then $g_{\varphi \varphi }={\epsilon }^2+a^2-2M{a}^2/\epsilon <0$ for all sufficiently small $\epsilon >0$. The curveis a closed timelike curve, since its tangent is ${\partial }_{\varphi }$ and the angular coordinate is periodic. It never meets the ring at $r=0$. These are the closed timelike circles in negative-radius Kerr spacetime; they need not be geodesics. Along them $\tilde{t}$ is also constant, because its difference from $t$ depends only on $r$.

For the superextreme Kerr metric,for all real $r$, so there are no coordinate singularities at horizon roots. The only stipulated curvature singularity is $\Sigma =0$, which forces $r=0$, $\theta =\pi /2$. In the supplied Cartesian coordinates this is the Kerr ring singularity $x^2+y^2=a^2$, $z=0$.

Write ${\rho }^2=x^2+y^2$. The coordinate transformation impliesand henceThe positive-radius Cartesian sheet usesIts zero set is the disk $z=0$, $\rho \le a$. At an interior disk point, $\rho <a$, one has $\cos \theta \ne 0$, so $\Sigma =a^2{\cos }^2\theta >0$. The disk interior is therefore not a singularity: in signed $(r,\theta ,\varphi )$ coordinates, the metric is analytic through $r=0$. In particular, $g_{rr}=\Sigma /\Delta$ is finite and the metric determinant $-{\Sigma }^2{\sin }^2\theta$ is nonzero away from the ordinary polar coordinate axis. The polar axes are regular using Cartesian angular charts and $2\pi$ periodicity.

The required two-sheeted extension of superextremal Kerr spacetime is constructed by taking a second Cartesian sheet with the negative root $r\le 0$, cutting both sheets along the disk, and gluing the upper bank of one to the lower bank of the other, and conversely. Signed $r$ then passes continuously through zero as the disk is crossed. The ring is omitted. A useful check near an interior disk point isso signed $r$ is a smooth transverse coordinate there. The apparent factors $z/r$ in the Cartesian metric represent $\cos \theta$ and have regular signed-coordinate limits; they do not justify deleting the whole disk. Identifying the two signs of $r$ on a single Cartesian copy would also identify two physically different metric values, since the Kerr-Schild coefficient changes sign.

Continue the two sheets out to $r\to \pm \infty$. Both ends are asymptotically flat; at the negative-radius end the mass term has the opposite sign, as $g_{tt}=-1+2M/r+O(r^{-2})$. There are no further finite-radius horizon boundaries requiring additional blocks. Removing only the curvature-singular ring, and removing coordinate artifacts with the charts described above, gives the standard maximal analytic extension. The ring cannot be filled by an analytic nondegenerate metric because its curvature diverges. This extension is not globally hyperbolic; analyticity of an extension should not be confused with unique evolution from Cauchy data.

An ergoregion of a stationary spacetime is where the stationary Killing vector field, normalized as time translation at infinity, is spacelike; a fixed-coordinate stationary observer cannot remain timelike there. For the Kerr metric, $k^2=-(1-2Mr/\Sigma )$, so the outer stationary-limit surface isFor a subextremal rotating hole $r_{\mathrm{E}}\ge r_{+}=M+\sqrt{M^2-a^2}$, with equality only at the poles. At the equator $r_{\mathrm{E}}=2M>r_{+}$. The ergosphere touches the horizon on the rotation axis and is outside it elsewhere. Its boundary is not the horizon, whose generator is $k+{\Omega }_{H}m$.

The drawing uses oblate Cartesian coordinates to display the intersection and is not an isometric embedding of the spatial geometry.

The inverse Kerr metric in ingoing Kerr coordinates gives the raised normal to a surface of constant $r$:On $r=r_{+}$, $\Delta =0$, so the normal is null and tangent to the horizon. It reduces toA constant linear combination of the two Killing vector fields is again a Killing vector field. Therefore $k+{\Omega }_{H}m$ is normal to this null hypersurface, establishing that it is a Killing horizon, with Kerr horizon angular velocityThe second equality uses $\Delta (r_{+})=0$. This normal calculation proves hypersurface orthogonality on the horizon, rather than merely proving that the proposed vector happens to have zero norm there.

Write $A=r^2+a^2$, $s=\sin \theta$, $\Sigma =A-a^2{s}^2$, and $\Delta =A-2Mr$. Use ingoing Kerr coordinates, so $dt=dv-Adr/\Delta$ and $d\varphi =d\chi -adr/\Delta$. To see the cancellations without expanding every term, write the Kerr metric in the equivalent formThe combinations becomeThe first square contributes $-\Sigma d{r}^2/\Delta$, cancelling the explicit radial term. Expanding the remaining terms givesThere is no denominator $\Delta$ in this Lorentzian metric. At the outer horizon $r_{+}=M+\sqrt{M^2-a^2}$, $\Sigma >0$ and the components are smooth. The determinant is $-{\Sigma }^2{\sin }^2\theta$, so away from the usual polar-coordinate degeneracy the metric is nondegenerate and extends across $r_{+}$. The axis can be covered by regular angular charts. Thus the Boyer-Lindquist coordinates are singular there, while the ingoing Kerr coordinates are regular at the future horizon.

For physical nonextremality the invariant parameter condition is $M>|a|$, $M>0$. The printed $M>a$ is sufficient when the rotation orientation has been chosen so that $a\ge 0$; without that convention it needs the absolute value.

Work in the Boyer-Lindquist coordinates exterior $r>r_{+}=M+\sqrt{M^2-a^2}$, away from the axes. There $\Delta >0$, $\Sigma >0$, andInverting the $t,\varphi$ block of the Kerr metric givesThus $W^a=-g^{ab}(dt{)}_b=-{\nabla }^{a}t$ has $g(W,W)=g^{tt}<0$, and the smooth nonvanishing timelike vector field $W$ defines a time orientation. Choose it future-directed, matching increasing $t$ near infinity. For every nonzero future causal vector $Z$, the Lorentzian inner product satisfies $g(W,Z)<0$, henceSo $t$ increases strictly along every regular future causal curve in this exterior. Notice that ${\partial }_t$ itself can be spacelike in the Kerr ergoregion; the timelike object used here is $-\nabla t$. Direct substitution also gives $D=\Delta {\sin }^2\theta$.

An active galactic nucleus is a compact, exceptionally luminous central source powered chiefly by black-hole accretion rather than ordinary stellar fusion. Typical signatures include a broad spectral-energy distribution extending from radio to X-rays, rapid variability implying a small emitting region, strong optical or ultraviolet emission lines and, in some objects, radio jets and lobes. Broad permitted lines indicate rapidly moving dense gas; narrower forbidden lines can arise farther out. Obscuration and viewing orientation can hide the broad-line region, and many active nuclei are radio quiet, so no one signature is required in every object.

For the Schwarzschild circular-ring energy shift, set $r_g=GM/c^2$ and let $E_0$ be the photon energy in the orbiting gas frame. A local static observer in Schwarzschild spacetime measures $E_{\mathrm{stat}}$. For gas receding along the line-of-sight component of its velocity, special-relativistic frequency transformation givesPropagation from that static frame to a distant stationary observer contributes $E_{\infty }=E_{\mathrm{stat}}\sqrt{1-2r_g/r}$. HenceThe factors describe gravitational redshift, transverse time dilation and the longitudinal Doppler shift. Here the emitter is on the maximally receding azimuth of a circular disc ring. A general azimuth has a smaller projected velocity, and a fully ray-traced image must use the photon direction at emission rather than equating that local direction with the distant inclination. The supplied expression is the direct-projection transfer model, not a complete light-bending calculation.

The innermost stable circular orbit is the marginal stable timelike circular geodesic separating stable circular motion from radial instability. In Schwarzschild spacetime,For example, the circular-orbit specific angular momentum satisfies $j_c^2=GM{r}^2/(r-3r_g)$; its radial stability changes where $\mathrm{d}{j}_c^2/\mathrm{d}r=0$, at $6r_g$. This is outside both the horizon at $2r_g$ and the circular photon orbit at $3r_g$.

The printed local orbital-speed relation gives ${\beta }^2=r_g/(r-2r_g)$. Combining the gravitational and transverse factors,At the ISCO, $\beta =1/2$, soThe Edge-on Schwarzschild ISCO redshift envelope is reached for an edge-on disc on its receding side:The approaching edge has $1+z=\sqrt{2}(1-\frac{1}{2}\sin i)$. For a fixed inclination below $90$ degrees the maximum is smaller; the quoted number is an upper envelope, not the value for every observer. Within the stated ring model the receding factor increases inward across stable orbits, so the inner edge sets that envelope. Emission from a plunging region, occultation and returning rays are outside this ISCO-emitting model.

The Kerr ISCO efficiency limits follow from equatorial circular orbits in the Kerr metric. Prograde motion has a smaller ISCO than the non-spinning case, while retrograde motion has a larger one. A zero-torque thin disc radiating the orbital binding energy before the gas plunges has efficiency $\eta =1-E_{\mathrm{ISCO}}$, where $E_{\mathrm{ISCO}}$ is energy per unit rest-mass energy at infinity. The ideal limiting values areThus more orbital binding energy is available in the prograde inner disc. The extremal values are formal geodesic limits: photon capture, inner stresses, outflows and finite accretion thickness change the efficiency of real flows. An ISCO inside the ergoregion is not a claim that material or radiation escapes from inside the horizon.

For accretion output relative to galactic binding energy, distinguish accreted rest mass from the mass retained by the black hole. At constant radiative efficiency, building a hole from a negligible seed to $M_{\mathrm{BH}}=\alpha M$ emitsA non-negligible seed replaces $\alpha M$ by the actual mass increase. Let the first use of ${\sigma }_v$ mean the total three-dimensional rms random speed. For an approximately virialized galaxy with negligible boundary term, $K=\frac{1}{2}M{\sigma }_v^2$ and $W=-2K=-M{\sigma }_v^2$. The ratio to the magnitude of its gravitational potential energy is thereforeIf “binding energy” means the net energy needed to unbind the virialized system, $|K+W|=M{\sigma }_v^2/2$, the ratio is twice as large. The widely used order-of-magnitude estimate drops the retained-mass correction and writes $\eta \alpha (c/{\sigma }_v{)}^2$; it should not be confused with a precisely fixed structural coefficient.

For the numerical parameters given,No efficiency is specified, so this function is the numerical result. For an explicitly chosen illustration $\eta =0.1$, it is about $111$, or $222$ relative to the net virial binding energy. The non-spinning zero-torque efficiency gives about $60.6$ relative to $|W|$; the ideal retrograde and prograde limits give about $39.2$ and $731$, respectively. Spin affects the ratio through the adopted efficiency and orbital orientation, not through a universal rule that a larger unsigned spin always means a larger efficiency.

Such large energy ratios make even a modest coupling of the output to galactic gas dynamically important. Radiation and winds can heat or eject gas and reduce star formation or later black-hole feeding. For the $\eta =0.1$ illustration a percent-level coupling is already comparable to $|W|$. Energy available is not energy necessarily deposited: cooling, escape directions, gas geometry, photon opacity and the duration of activity determine the actual feedback. It does not follow that the entire stellar galaxy must be disrupted.

For the swept-shell calculation, the problem now explicitly redefines ${\sigma }_v$ as a one-dimensional line-of-sight dispersion. The specified isothermal profile hasNeglecting central-hole gravity and the shell's self-gravity, the inward force due to the remaining interior component isIn a single-scattering momentum-driven model with the shell intercepting the central luminosity, $F_{\mathrm{rad}}=L/c$. At the hydrogen Eddington luminosity this becomes $4\pi G{M}_{\mathrm{BH}}{m}_p/{\sigma }_T$. Sustained outward acceleration against that weight requiresand henceThe radius cancels because the swept isothermal mass is proportional to $R$. This is the isothermal-galaxy momentum-balance shell threshold, with its fourth-power dispersion scaling.

The coefficient identifies the approximations. Self-gravity in a thin spherical shell expansion adds the shell's inward pressure-equivalent force $G{M}_{\mathrm{sh}}^2/(2R^2)$ and replaces $f(1-f)$ by $f(1-f/2)$. A shell intercepting only a fraction of the photon momentum needs a larger luminosity; Thomson-thin material does not automatically receive $L/c$. Conversely, multiple scattering or an energy-driven hot wind changes the force model. A shell already carrying sufficient outward kinetic energy need not satisfy this instantaneous acceleration condition everywhere to escape. The printed inequality is the stated quasistatic, fully coupled momentum-balance estimate, not an assumption-free lower bound for every possible shell trajectory.

accretion-disk tests of strong-field gravity put radiating matter in a strong gravitational field at relativistic orbital speeds. general relativity predicts an innermost stable circular orbit, $r_{\mathrm{ISCO}}=6GM/c^2$ for a nonrotating black hole, with a spin-dependent radius in the Kerr metric. If the radiating inner edge tracks that orbit, its fitted radius and binding-energy release probe the geometry. For a thin disk with negligible inner-edge torque, $L\simeq \eta \dot{M}{c}^2$; the Schwarzschild efficiency is $\eta =1-\sqrt{8/9}\simeq 0.057$.

In relativistic iron-line spectroscopy, a fluorescent iron line supplies a rest-energy reference. The relativistic Doppler effect from orbital motion, relativistic beaming, gravitational redshift and ray bending produce an asymmetric broadened profile, including a red wing from the deepest emitting radii. The ASCA observation of MCG-6-30-15 showed a broad asymmetric iron feature relative to the approximately $6.4\mathrm{keV}$ neutral-iron energy, interpreted through relativistic disk-line models.^[ref] The observed line must be separated from the illuminating continuum, absorption and other reflection features; inclination, ionization and the radial illumination law affect the inferred radius.

thermal-continuum fitting of an accretion disk provides an independent method for a geometrically thin, optically thick disk. Its spectrum and normalization constrain a characteristic inner area, provided mass, distance, inclination and atmospheric spectral hardening are controlled. A pre-2013 application selected thermal-state observations of GRS 1915+105 at relatively low disk luminosity to make the thin-disk approximation appropriate.^[ref]

Consistency among inner radius, line transfer and thermal emission tests the strong-field disk picture. A black-hole spin estimate obtained by assuming a Kerr metric is not by itself a model-independent verification of general relativity. Stress across the nominal inner edge, finite disk thickness, coronal geometry, calibration and competing absorption models must be constrained; a gravity test compares alternative geometries while allowing for those astrophysical uncertainties. An emitting material surface or boundary layer can further complicate disks around neutron stars.