What remains before a stationary electrovacuum uniqueness theorem

The positive-matrix theorem on this page is an abstract Euclidean boundary result. Its matrices and Dirichlet boundary do not encode a spacetime, a horizon, or a global Einstein–Maxwell solution. The geometry terms used for any possible application have the exact local conventions of the stationary-axisymmetric setup defined earlier on this page. In particular, the stationary field is specified and is required to be timelike on its declared nonempty open subset, with no causal character asserted elsewhere; the axial symmetry is a specified periodic isometric $U(1)$ action; and circularity, as defined on this page, is the integrability of the rank-two distribution orthogonal to the two supplied generators on $U_{\ast }$. A spacetime application must separately establish that those generators commute.

The draft local charged Birkhoff theorem is conditional on ${\mathrm{A}\mathrm{C}}_{\omega }$ and the exact spherical Einstein–Maxwell–$\mathrm{\Lambda }$ datum of the spherical-quotient definition on its connected, simply connected orbit patch. It requires $dr$ and $z:=q^{-1}(dr,dr)$ to be nowhere zero on that patch. Its conclusion is local: the charged mass is constant and around each point the quotient fields have the stated RN–(A)dS coordinate form. Constant-radius patches, null-gradient patches, global extensions and stationary-axisymmetric uniqueness are outside its Statement. It is a separate spherical result, not the missing global orbit-space theorem.

The published sphere-winding lemma's product-circle calculation has zero curvature and nontrivial principal holonomy for a nonintegral parameter, while the published local-potential definition allows chartwise potentials and records their transition data. Thus a future reduction must state each one-form whose primitive is used, prove the required local or global exactness, or retain the relevant bundle sectors. This includes scalar functions conventionally used in Ernst and twist reductions; their specific differential definitions and existence conditions must be stated before use. Stationarity alone does not supply global scalar potentials.

The source treatments show why the matrix identity cannot be transferred by name alone. The general comparison identity can be written before imposing a second symmetry, but the black-hole uniqueness application also needs the axial reduction and positivity conditions. Reduction using a stationary Killing field can change the target signature where that field becomes null or spacelike; the positive Hermitian representation therefore needs proof on the actual domain. A spacetime argument must separately establish symmetry inheritance (for example, invariance of the Maxwell two-form under both specified generators), commutation, circularity, the global smooth quotient and its boundary structure, regularity on the axis and any selected null horizon, and the falloff conditions on any declared asymptotic end. It must then control the boundary terms in the comparison argument under those exact hypotheses. The 1996 textbook presents a uniqueness argument for a restricted Kerr–Newman class with its own axis, horizon and infinity analysis; that argument is not imported here. The 2012 review distinguishes the local identity from the global boundary step and warns in Section 8.4.1 that complete derivative control at the singular axis and horizon had not been supplied in the literature it reviewed; Section 8.4.2 discusses a distance-function alternative. These are dated source assessments, not current-status claims.

This page asserts no stationary electrovacuum uniqueness theorem, no dynamical stability result, and no cosmic-censorship conclusion. It makes no blanket current-status claim about broader uniqueness or stability questions.

Positive matrix harmonic-map boundary problem

Positive-matrix comparison identity

Stationary-axisymmetric geometry and circularity domain

Local charged Birkhoff rigidity away from critical areal gradients

Spherical electrovacuum quotient and charged mass

Sphere winding, nonexact curvature and flat holonomy

Local potentials and smooth circle-bundle connection data

Causal solutions, Killing horizons, escape and metric extensions