Reduced stationary uniqueness and explicit research boundaries

Let $d,n\in \mathbb{N}$ with $d,n\ge 1$. Let $\mathrm{\Omega }\subseteq {\mathbb{R}}^d$ be a nonempty bounded connected open set whose boundary is locally the graph of a smooth function. Here $C^{\mathrm{\infty }}(\bar{\mathrm{\Omega }})$ means restriction of a smooth function on an open neighborhood of $\bar{\mathrm{\Omega }}$. Use the matrix spaces $M_n(\mathbb{C})$ and ordinary matrix multiplication. For $A\in M_n(\mathbb{C})$ write $A^{†}:={\bar{A}}^{\mathsf{T}}$, and write $\mathrm{tr}A:={\sum }_{j<n}{A}_{jj}$. A matrix $\mathrm{\Phi }$ is positive definite Hermitian when ${\mathrm{\Phi }}^{†}=\mathrm{\Phi }$ and $v^{†}\mathrm{\Phi }v$ is a positive real number for every nonzero $v\in {\mathbb{C}}^n$. Define

${\mathcal{P}}_n:=\{\mathrm{\Phi }\in M_n(\mathbb{C}):\mathrm{\Phi }\text{ is positive definite Hermitian and }\det \mathrm{\Phi }=1\}\mathrm{.}$

The determinant is the determinant over $\mathbb{C}$. Every $\mathrm{\Phi }\in {\mathcal{P}}_n$ is invertible because $\det \mathrm{\Phi }=1$ is a unit; its inverse is smooth when $\mathrm{\Phi }$ is a smooth matrix field because the adjugate formula reduces to polynomial entries when $\det \mathrm{\Phi }=1$.

For a smooth map $\mathrm{\Phi }:\bar{\mathrm{\Omega }}\to {\mathcal{P}}_n$, define the matrix-valued one-form $d\mathrm{\Phi }={\sum }_{a=1}^d({\mathrm{\partial }}_a\mathrm{\Phi })d{x}^a$ by differentiating entries, and put $J:={\mathrm{\Phi }}^{-1}d\mathrm{\Phi }={\sum }_{a=1}^d{J}_{a}d{x}^a$. Its matrix harmonic-map equation in this item means exactly

$\mathrm{div}J:={\sum }_{a=1}^d{\mathrm{\partial }}_a{J}_a=0\text{on }\mathrm{\Omega }\mathrm{.}$

Fix a boundary datum $f:\mathrm{\partial }\mathrm{\Omega }\to {\mathcal{P}}_n$ that is the restriction of a smooth $M_n(\mathbb{C})$-valued map on an open neighborhood of $\bar{\mathrm{\Omega }}$. The positive matrix Dirichlet boundary problem is to find $\mathrm{\Phi }\in C^{\mathrm{\infty }}(\bar{\mathrm{\Omega }},{\mathcal{P}}_n)$ satisfying the displayed equation on $\mathrm{\Omega }$ and $\mathrm{\Phi }{\mathrm{\mid }}_{\mathrm{\partial }\mathrm{\Omega }}=f$. Its comparison problem concerns two such solutions with the same datum, so ${\mathrm{\Phi }}_0{\mathrm{\mid }}_{\mathrm{\partial }\mathrm{\Omega }}={\mathrm{\Phi }}_1{\mathrm{\mid }}_{\mathrm{\partial }\mathrm{\Omega }}=f$. No existence of a solution for a supplied datum is asserted. The Euclidean coordinates, matrix size, determinant normalization, and divergence convention are part of the definition. No spacetime metric, symmetry reduction, physical postulate, or spacetime uniqueness theorem is included.

The vector space $M_{m\times n}(F):=F^{m\times n}$ of $m$ by $n$ matrices over a field, with entrywise operations

Rectangular matrix multiplication and the identity matrix $I_n$, including zero-sized shapes

Invertible matrices and the general linear group ${\mathrm{GL}}_n(F)$

For $n\ge 1$, the determinant over a commutative ring by the Leibniz formula, and $\mathrm{\mid }\det A\mathrm{\mid }$ for a real matrix

A positive-sized square matrix over a commutative ring is invertible if and only if its determinant is a unit

If $\det (A)$ is a unit, then $A^{-1}=\det (A{)}^{-1}\mathrm{adj}(A)$

$C^k$ Euclidean maps and diffeomorphisms

Let $d,n\ge 1$ and let $\mathrm{\Omega }\subseteq {\mathbb{R}}^d$ be the nonempty bounded connected smooth domain of Positive matrix harmonic-map boundary problem. Let ${\mathrm{\Phi }}_0,{\mathrm{\Phi }}_1\in C^{\mathrm{\infty }}(\bar{\mathrm{\Omega }},{\mathcal{P}}_n)$ satisfy $\mathrm{div}{J}_i=0$, where $J_i:={\mathrm{\Phi }}_i^{-1}d{\mathrm{\Phi }}_i={\sum }_{a=1}^d{J}_{i,a}d{x}^a$ and $\mathrm{div}{J}_i:={\sum }_a{\mathrm{\partial }}_a{J}_{i,a}$. Define

$\mathrm{\Psi }:={\mathrm{\Phi }}_1{\mathrm{\Phi }}_0^{-1}-I_n,\mathrm{\Delta }{J}_a:=J_{1,a}-J_{0,a}\mathrm{.}$

Then, pointwise on $\mathrm{\Omega }$,

$\mathrm{\Delta }\mathrm{tr}\mathrm{\Psi }={\sum }_{a=1}^d\mathrm{tr}\text{\hspace{0.17em}⁣}((\mathrm{\Delta }{J}_a{)}^{†}{\mathrm{\Phi }}_1\mathrm{\Delta }{J}_a{\mathrm{\Phi }}_0^{-1})\ge 0,$

where $\mathrm{\Delta }={\sum }_a{\mathrm{\partial }}_a^2$ is the Euclidean Laplacian. If ${\mathrm{\Phi }}_1={\mathrm{\Phi }}_0$ on the entire boundary $\mathrm{\partial }\mathrm{\Omega }$, then ${\mathrm{\Phi }}_1={\mathrm{\Phi }}_0$ on $\bar{\mathrm{\Omega }}$. This is an abstract bounded-domain uniqueness result for the stated positive matrix equation.

Positive matrix harmonic-map boundary problem

Let $(M,g,N,o)$ be a smooth, Hausdorff, second-countable, boundaryless, oriented and time-oriented Lorentzian four-manifold of signature $(-,+,+,+)$, with smooth future timelike time-orientation field $N$, and let $U\subseteq M$ be a nonempty connected open set. A stationary field on $U$ is a specified smooth Killing field $k$ that is timelike on a specified nonempty open subset of $U$; no normalization or global timelikeness is inferred.

Here $U(1)=\{z\in \mathbb{C}:\mathrm{\mid }z\mathrm{\mid }=1\}$ with complex multiplication and the smooth circle-group structure fixed in Local potentials and smooth circle-bundle connection data. An axial $U(1)$ action on $U$ is a specified smooth map $\rho :U(1)\times U\to U$ satisfying $\rho (1,p)=p$ and $\rho (z_1{z}_2,p)=\rho (z_1,\rho (z_2,p))$, with $\rho (z,\cdot {)}^{\ast }g=g$ for every $z$; effective means that only $z=1$ acts identically on all of $U$. Its generator is the smooth vector field $m$ defined by $m_p=\frac{d}{d\theta }{\mathrm{\mid }}_{\theta =0}\rho (e^{i\theta },p)$; the parameter has period $2\pi$. Its axis is the fixed-point set $\mathcal{A}:=\{p\in U:\rho (z,p)=p\text{ for every }z\in U(1)\}$. For this page, an axisymmetric region is a region supplied with such an effective action and satisfying $g(m,m)>0$ on $U\setminus \mathcal{A}$. A stationary field and axial generator commute when their Lie bracket vanishes; in coordinates this means ${\sum }_a(k^a{\mathrm{\partial }}_a{m}^b-m^a{\mathrm{\partial }}_a{k}^b)=0$ for every component $b$.

Define

$U_{\ast }:=\{p\in U\setminus \mathcal{A}:k_p,m_p\text{ are linearly independent and }{g}_p{\mathrm{\mid }}_{\mathrm{span}\{k_p,m_p\}}\text{ is nondegenerate}\}\mathrm{.}$

Because $M$ is Hausdorff, each fixed set $\{p:\rho (z,p)=p\}$ is closed in $U$: it is the preimage of the closed diagonal in $U\times U$ under $p\mapsto (\rho (z,p),p)$. Their intersection $\mathcal{A}$ is closed, so $U\setminus \mathcal{A}$ is open. In a chart, linear independence is witnessed by a nonzero $2\times 2$ minor of the $4\times 2$ coordinate matrix with columns $k$ and $m$, and nondegeneracy is $\det G\mathrm{\ne }0$ for the continuous Gram matrix $G_{ij}:=g(K_i,K_j)$, where $K_1:=k$ and $K_2:=m$. These are open conditions, so $U_{\ast }$ is open. On $U_{\ast }$ the matrix $G$ is invertible. Its inverse entries are smooth by the cofactor-over-determinant formula. The smooth map

${\mathrm{\Pi }}_p(v):={\sum }_{i,j=1}^2{K}_i(p)(G(p{)}^{-1}{)}_{ij}{g}_p(K_j(p),v)$

is a projection onto $\mathrm{span}\{k,m\}$, since it fixes each $K_i$ and $v-{\mathrm{\Pi }}_p(v)$ is orthogonal to both generators. Therefore

${\mathcal{D}}_p:=\ker {\mathrm{\Pi }}_p=\{v\in T_{p}M:g_p(v,k_p)=g_p(v,m_p)=0\}$

is a smooth rank-two distribution on $U_{\ast }$: the projection has rank two in each tangent space, and its kernel has dimension $4-2=2$. The kernel varies smoothly because, locally, a nonzero two-by-two minor lets one solve its two linear equations smoothly for two components in terms of the other two.

An immersed surface through $p$ here means the image of a smooth immersion $\sigma :S\to U_{\ast }$ from a two-dimensional smooth manifold $S$, with $p\in \sigma (S)$; immersion means that $d{\sigma }_q:T_{q}S\to T_{\sigma (q)}{U}_{\ast }$ is injective for every $q\in S$. Its tangent plane at $\sigma (q)$ is $d{\sigma }_q(T_{q}S)$. Circularity on $U_{\ast }$ means that through every point of $U_{\ast }$ there is such a local immersed surface with $d{\sigma }_q(T_{q}S)={\mathcal{D}}_{\sigma (q)}$ at every point of its domain.

These are supplied geometric data and definitions. The specified smooth isometric $U(1)$ action has smooth generator $m$ and flow $p\mapsto \rho (e^{i\theta },p)$. Differentiating $\rho (e^{i\theta },\cdot {)}^{\ast }g=g$ at $\theta =0$ gives ${\mathcal{L}}_{m}g=0$, so $m$ is an axial Killing field on $U$ under Killing fields of a Lorentzian metric. This axial field is additional data, not derived from $k$. The definition does not assume that $k$ and $m$ commute or that $\mathcal{D}$ is integrable. The set $U_{\ast }$ may be empty; no nonemptiness is assumed. No symmetry inheritance from matter equations, global smooth quotient or orbit-space boundary structure, or Einstein–Maxwell solution is asserted. Any use of the causal or horizon terms follows Causal solutions, Killing horizons, escape and metric extensions. A future spacetime theorem must state any extra asymptotic, horizon, axis-regularity, analyticity, connectedness and nondegeneracy hypotheses it uses.

Oriented Lorentzian fields, observers and coordinate conventions

Killing fields of a Lorentzian metric

Causal solutions, Killing horizons, escape and metric extensions

Local potentials and smooth circle-bundle connection data

$C^r$ and smooth maps between smooth manifolds

The Lie derivative of a tensor field

Directional derivatives and partial derivatives of a map $U\subseteq {\mathbb{R}}^m\to {\mathbb{R}}^n$

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