Reported comparison and Bertotti–Robinson strategy

PDF p. 6: §1.4, comparison with [36]; PDF p. 7: §1.4, comparison with [36]

In §1.4 the article reports the following strategy of Radu [36]. In the mass-one Harrison family $g_q$, one compares suitable spheres $C_q$ with a stable minimal two-sphere in a maximal spacelike slice bounded by the bifurcation sphere and $C_q$. The article reports a lower bound $4\pi (1-q^2)$ for the stable sphere's area, arising from the electric flux, and says that $T$ must be timelike at $C_q$ to control the slice's slope there. It explains that constructing the slice directly for $g_0$ may fail because the end is asymptotically cylindrical, so the comparison is made for sufficiently small positive $q$ and then passed to the limit.

The article further reports that the spheres can be arranged so their limiting sphere $C$ has a future $g_0$ null cone extending to infinity without focal or cut points and with limiting area $4\pi$. Its account uses the Raychaudhuri equation and the dominant energy condition to obtain equality of the area of $C$ with $4\pi$, zero expansion and zero shear. It then reports an identification of the transformed asymptotic region with Bertotti–Robinson geometry and recovery of Kerr by the inverse transformation. In this account angular-momentum smallness is not imposed in that step; it is imposed later to obtain a smallness condition on the bifurcation sphere and invoke [3]. These are reported steps of a strategy, not a proof here of the comparison, its limiting construction, or the rigidity conclusion.

Regular Harrison Einstein–Maxwell family

Spacelike sections, maximality and lapse–shift data

Null expansions, screen quotients and focal data

Geometric electrovacuum equations and charge convention

Stationary Lorentzian data and tensor conventions

Kerr metric, parameters, exterior and extremality

Bifurcate Killing horizons, rotation and normalization

Mean curvature vector

Null Raychaudhuri and focal-point bound

The pointwise energy conditions WEC, NEC, DEC and SEC

Chodosh, §1, Definition 1.4

The family supplier specifies the mass-one hypotheses and its actual scope: $g_q$ and the Maxwell form are constructed for $0\le q\le 1$, with the electrovacuum equations asserted on the exterior. It does not by itself supply the maximal slices, comparison spheres, limiting cone, or rigidity argument described above. Here the bifurcation sphere is the spacelike two-sphere where the two smooth null Killing-horizon branches meet transversely and their common horizon Killing field vanishes; that field need not be the stationary field $T$. The stationary field $T$ is Killing, meaning that its local flow preserves the metric; timelike at a point means $g_q(T,T)<0$ there. A spacelike slice has positive-definite induced metric, and it is maximal when its mean curvature vanishes. For the smooth inclusion of a two-sphere in the slice with its induced Riemannian metric, mean curvature is the averaged mean curvature vector, one half of the trace of its second fundamental form. A minimal two-sphere in that slice has zero mean curvature vector; stability means that the second variation of its area is nonnegative for every smooth compactly supported normal variation. Variations here are within the Riemannian slice, through smooth immersions that agree with the inclusion at parameter zero and outside a fixed compact subset. The comparison sphere is closed and two-sided, with a smooth unit normal. These conditions do not assert that such a sphere exists.

The electric charge of an oriented closed surface is $Q_E=(4\pi {)}^{-1}{\int }_S{\star }_{g_q}{F}_q$, with the orientation and Hodge-star conventions of the charge supplier. The family supplier gives $Q_E=\sqrt{1-q^2}$ on the stated outward end spheres. This normalization explains the numerical charge-squared expression in the reported area bound; it does not establish the bound for the comparison sphere or the required flux identification.

For a null congruence normal to a spacelike two-surface, expansion is the trace of its null second fundamental form and shear is its trace-free part. A focal point is a point at which the normal screen Jacobi map loses rank. A boundary cut point is defined using the endpoint of the segment remaining on the future causal boundary; absence of focal points and absence of cut points are distinct conditions. A non-expanding cone has vanishing expansion along its regular generators. For a smooth symmetric stress-energy tensor $\mathsf{T}$ on an open matter domain in the time-oriented Lorentzian four-spacetime, the energy-momentum flux vector for a future timelike observer $v$ is $J_v=-(\mathsf{T}(v,\cdot ){)}^{{\mathrm{♯}}_{g_q}}$. The dominant energy condition requires $J_v$ to be future causal or zero at every point for every such $v$. This uses the energy-condition supplier only for terminology; it does not assume or prove that the transformed fields satisfy that condition. The Bertotti–Robinson product referred to in the comparison has a two-dimensional Lorentzian factor of constant curvature $-1$ and a unit round two-sphere in this normalization; Kerr denotes the metric family in the cited definition.

The null Raychaudhuri supplier gives the evolution identity for a smooth, affinely parametrized null geodesic hypersurface congruence from a spacelike two-surface, on the regular interval before its first focal instant. Its focusing bound additionally assumes a nonnegative null Ricci contraction, negative initial expansion and existence through the comparison parameter. No energy condition or field equation is inferred by that mathematical supplier, and it does not by itself establish the reported limiting construction or equality-case rigidity.

Radu's cited equality discussion retains the normalization of the stationary field when recovering Kerr. The brief account above does not assert that a product geometry alone determines the Kerr angular momentum, nor that the source's detailed hypotheses follow solely from the terminology given here.

Chodosh’s §1 setup and Definition 1.4 supply the stability terminology for the smooth closed two-sided sphere in its Riemannian slice. This imports only the definition for compactly supported normal variations, not the existence of a comparison sphere or an area inequality.