Open questions and potential solutions

Seek a complete axial Killing field commuting with stationarity, with periodic orbits and a regular axis throughout the exterior. Independently establish the global orbit-space reduction and normalized comparison data with extremal Kerr. The classical comparison function must extend subharmonically across the axis and degenerate horizon point and decay at infinity. The submean argument then forces equality of the reduced potentials. Global metric reconstruction and every source-native hypothesis still require verification.

A research strategy, not a proof of uniqueness: separate smooth rigidity from global reduction and extremal-end comparison. Prove only the elementary final comparison implication under explicitly stated analytic hypotheses. Use the original article solely for question attribution and scope.

1. Fix the hypothetical class H1 and interpret exterior and I⁺-regularity using D1. The original §1.3 identifies removal of analyticity in the rotating degenerate case as an outstanding direction; its nondegenerate theorem supplies no premise establishing the answer. [H1, D1, A1]
2. The checked classifications do not directly settle this class: F1 explicitly requires axisymmetry and carries an analytic qualification, while A2 explicitly assumes analyticity. Removing an assumption from their conclusions is therefore unjustified. [F1, A2, step:1]
3. The first proposed target is a global axial Killing field commuting with T, generating an effective circle action with regular axis. Its construction and global extension must follow from H1; neither stationarity nor I⁺-regularity is being identified with this extra symmetry. A horizon generator must also be justified wherever its existence is needed. [H1, D1, step:2]
4. Conditionally on a justified global axisymmetric reduction, consider a candidate exterior and extremal Kerr with matched nonzero angular momentum and compatible twist normalization. M1 supplies the comparison expression $u=(({\chi }_1-{\chi }_2{)}^2+(f_1-f_2{)}^2)\mathrm{/}(f_1{f}_2)$, nonnegative where $f_i>0$, and its nonnegative Laplacian away from the axis. This does not establish an extension across the singular set. [M1, step:3]
5. Assume additionally C1. For fixed $x$ and every $R>0$, the submean inequality bounds $u(x)$ by the spherical average on $\mathrm{\partial }{B}_R(x)$. Every point there has norm at least $R-\mathrm{\mid }x\mathrm{\mid }$, so decay at infinity makes that average tend to zero. Hence $0\le u(x)\le 0$. Thus $u=0$ everywhere; the displayed sum of squares then gives $f_1=f_2$ and ${\chi }_1={\chi }_2$ wherever their comparison formula applies. [C1, M1, step:4]
6. Consequently the comparison route has distinct unresolved obligations: derive the symmetry, establish a common global reduction, prove the required extension and decay, and reconstruct the globally identified metric. Equality of reduced potentials alone is not asserted to establish a global spacetime isometry here. Any invoked classification must have all its hypotheses independently matched. [step:2, step:3, step:4, step:5]
7. Z1 suggests a separate local-continuation tool only after its marked-jet and orbit-space graph requirements are verified. Its abstract does not establish those requirements for H1 or extend a local identification throughout the asymptotically flat exterior. The strategy therefore leaves the assigned question unresolved. [Z1, H1, step:6]

• H1: Hypothetical question class: a smooth time-oriented four-dimensional Lorentzian spacetime satisfying Ric(g)=0, with a complete stationary Killing field T timelike near a selected asymptotically flat end, I⁺-regular exterior, and connected rotating degenerate event horizon. Rotation means T is not everywhere tangent to its null generators. No global axial symmetry or off-horizon Killing extension of a generator is assumed. These are mathematical hypotheses on a spacetime model, not observations. Source: self-contained; Assigned question; formulation adopted in this direction.. Reading limits: Explicit hypothetical class, not an existence claim or an assumed answer. The stationary normalization needed to interpret degeneracy must be justified in a full rigidity argument.
• D1: I⁺-regularity requires completeness of stationarity, global hyperbolicity of the domain of outer communications, and a connected spacelike acausal hypersurface with the prescribed compact-plus-ends closure whose boundary meets each relevant future-horizon generator once. The exterior is I⁺(Mext) intersected with I⁻(Mext), where Mext is the stationary saturation of the selected end. Source: https://arxiv.org/pdf/0806.0016v2; Definition 1.1, PDF/printed p.2; §2.1, pp.5–6; §2.2, p.7, equation (2.9).. Reading limits: Freshly read these definitions and asymptotic conventions in extracted PDF passages. No proof of consequences of I⁺-regularity was audited or imported.
• A1: The original article raises uniqueness of rotating degenerate black holes without analyticity in §1.3. Its Definition 1.1 and Theorem 1.1 concern a nondegenerate setting with a bifurcation sphere. Source: https://arxiv.org/pdf/2611.16853v1; PDF pp.2–5, especially §1.3, p.5.. Reading limits: Freshly read the frozen extracted passages on pp.2–5 and visually inspected frozen page-5.png. Used only for attribution and scope, not as independent proof of any prerequisite.
• F1: Figueras–Lucietti Theorem 1 identifies extremal Kerr within the four-dimensional asymptotically flat, stationary, axisymmetric rotating vacuum class with connected degenerate horizon and non-toroidal sections. Footnote 5 retains analyticity among technical assumptions. Source: https://arxiv.org/pdf/0906.5565v4; Introduction, PDF p.3, Theorem 1 and footnote 5; §4 discussion, PDF pp.18–19.. Reading limits: Freshly read the extracted statement, footnote and discussion passages. No proof audit or assertion that all technical hypotheses follow from H1.
• A2: Amsel–Horowitz–Marolf–Roberts Theorem 1 states extremal Kerr uniqueness for stationary, rotating, asymptotically flat analytic vacuum solutions with a single degenerate horizon; its proof begins by using analytic rigidity to obtain axisymmetry. Source: https://arxiv.org/pdf/0906.2367v3; §2, printed p.2/PDF p.3, Theorem 1; opening proof on printed p.3/PDF p.4.. Reading limits: Freshly read the theorem and opening proof. No complete theorem-applicability or global reconstruction audit.
• M1: For the source's globally reduced stationary axisymmetric vacuum comparison with matched angular momentum and twist normalization, $f_i$ are rotational Killing norms, χ_i are axial twist potentials, and u=((χ₁−χ₂)²+(f₁−f₂)²)/(f₁f₂) is nonnegative off the axis. The Mazur identity gives Δu=Tr($N_i$ᵀ$N_i$)≥0 there. These $f_i$ are not the original article's stationary norm. Source: https://arxiv.org/pdf/0906.2367v3; §2, printed pp.3–4/PDF pp.4–5, equations (6)–(13).. Reading limits: Freshly read these equations and adjacent assumptions. The identity is an explicit imported fact in its reduced setting; its derivation, singular-set removability and applicability to H1 are not proved here.
• C1: Additional conditional analytic assumptions: u is a continuous nonnegative function on all of Euclidean R³, tends to zero as |x| tends to infinity, and satisfies u(x)≤(4πR²)⁻¹∫∂$B_R$(x)u dS for every x and $R>0$. This submean inequality is the subharmonic property used here. Source: self-contained; Conditional closing criterion in proof step 5.. Reading limits: The implication $u=0$ is proved locally in step 5. No claim is made that off-axis Δu≥0 alone establishes these global assumptions.
• Z1: Zhou's abstract announces local isometry of smooth vacuum Einstein germs with matching marked transverse jets under a spacelike-graph condition for the limiting orbit-space metric over a compact horizon section. It does not announce unrestricted global asymptotically flat extremal-Kerr uniqueness. Source: https://arxiv.org/abs/2611.11495; v1 abstract, submitted 8 November 2026.. Reading limits: Freshly read the primary abstract only. The 55-page proof, detailed hypotheses and applicability to asymptotically flat extremal Kerr were not checked. Used as a conditional research lead.

Decision: accept

All seven steps respect their stated scope. Step 5 correctly proves the conditional implication from C1: decay uniformly bounds the spherical averages by quantities tending to zero, forcing the nonnegative comparison function to vanish. The other steps accurately distinguish research obligations from established conclusions. Acceptance preserves solution.extent=none and solution.status=unresolved.

Dependency review: H1 is an explicitly hypothetical mathematical class, not empirical evidence or a uniqueness premise. D1 agrees with Chruściel–Costa, Definition 1.1 and §2.2: completeness, global hyperbolicity, the specified hypersurface and horizon-generator intersection condition are retained. A1 is supported by the frozen original, pp.2–5, especially §1.3; it supplies attribution and scope only. F1 accurately retains axisymmetry, non-toroidal sections and the analytic qualification in Figueras–Lucietti, Theorem 1 and footnote 5. A2 accurately records the analytic restriction and initial rigidity reduction in Amsel–Horowitz–Marolf–Roberts, Theorem 1. M1 matches that source's equations (6)–(13): the norms are axial, the comparison formula is correct, and the Mazur identity applies off the axis in the reduced setting. C1 explicitly assumes the global submean property needed by step 5; no removability inference is hidden. Z1 accurately limits Zhou's abstract to conditional local rigidity. Every step's cited premises were checked. No declared or substantive dependency cycle, circular article prerequisite, physical observation or assumed Kerr conclusion was identified.

Review reading limits: Read the complete assigned draft, all seven steps and all eight immediate dependency records. Independently read the frozen article text on pp.2–5 and visually inspected page-5.png. Freshly consulted extracted primary-source passages: Chruściel–Costa Definition 1.1, §2.1 and §2.2 through equation (2.9); Figueras–Lucietti Theorem 1, footnote 5 and §4 discussion; Amsel–Horowitz–Marolf–Roberts Theorem 1, opening proof and equations (6)–(13) with surrounding text. Read Zhou's abstract and submission metadata only. External PDF screenshot attempts failed; those source checks used extracted text. Independently checked the elementary submean argument. Conducted two targeted status searches; no exhaustive literature search, full external-proof audit, full-article assessment or applicability proof to H1 is claimed. No earlier reading credit was inherited.

Attempt to construct a single global axial action commuting with the stationary flow, then establish the finite rod description and every applicable harmonic-map boundary hypothesis. Under those additional conditions, regularity requires zero logarithmic angle defect on an axis rod, whereas the imported theorem requires a strictly negative defect between consecutive horizons. The research burden lies in deriving the additional conditions from the smooth hypotheses, including degenerate cases; the conditional contradiction does not accomplish that.

Develop a conditional reduction, not a proof of horizon connectedness: fix the unrestricted geometric question; identify the missing bridge to the published axisymmetric framework; verify the elementary terminal contradiction; and keep the analytic and perturbative boundaries explicit.

1. Use the selected-end definitions and full $I^{+}$-regularity contract to formulate the question. Do not replace these hypotheses with Definition 1.1 of the original article: that definition explicitly specifies a bifurcation two-sphere and associated single-hole topology. Its theorem therefore does not answer the multiple-component question merely by being applied separately near each component. [model-hypotheses, regularity-definition, article-question-and-scope]
2. The proposed missing bridge is global: obtain one commuting axial action and prove that the resulting exterior satisfies the precise rod, normalization, boundary and puncture conditions of the imported theorem. Local symmetries near separate components would still require compatible continuation and normalization. This bridge is an explicit research obligation, not a consequence established in this response. [conditional-global-bridge, rod-exclusion-input, step:1]
3. Conditionally assume that bridge and at least two horizon rods. On any bounded regular axis rod, elementary flatness gives $L\mathrm{/}(2\pi s)\to 1$. With the source convention $e^{{\mathbf{b}}_j}=\lim 2\pi s\mathrm{/}L$, this implies ${\mathbf{b}}_j=0$. [conditional-global-bridge, regular-axis-definition, rod-exclusion-input, step:2]
4. Under the imported theorem’s complete hypotheses, including nonzero angular momentum at each degenerate puncture, that same bounded rod has ${\mathbf{b}}_j<0$. This contradicts step 3. Thus the fully matched framework excludes a regular configuration with multiple rods; it does not establish the bridge from the unrestricted hypotheses. [rod-exclusion-input, step:3]
5. Keep the unresolved cases visible. Huang–Li–Zhu’s Main Theorem excludes non-rotating degenerate components under analytic hypotheses, and its corollary gives analytic uniqueness. These conclusions cannot be transferred to the smooth question by deleting analyticity. In particular, a strategy restricted to rotating components is incomplete. [analytic-comparison, step:1, step:2]
6. Wong–Yu provide a separate restricted benchmark: their theorem forces one horizon component under TOP, AF, SBS and KN. Their stated vacuum specialization retains the corresponding geometric and smallness requirements. No argument here derives those requirements from the unrestricted question, so this benchmark supplies context rather than a solution. [perturbative-comparison, model-hypotheses, step:1]

• model-hypotheses: Adopt the smooth four-dimensional vacuum model, complete stationary flow, selected asymptotically flat end, and regular exterior in the question. The vacuum equation is a model assumption, not an observation or a theorem deduced here. The requested existence/nonexistence claim remains unresolved. Source: self-contained; Question formulation. Reading limits: Explicit hypotheses of this research direction; no empirical evidence, library publication or proof acceptance is asserted.
• regularity-definition: Use Chruściel–Costa asymptotic flatness from §2.1. Their Definition 1.1 requires a complete stationary field, globally hyperbolic domain of outer communications, and a connected spacelike acausal hypersurface containing the selected end. Its closure is a topological manifold with boundary, comprising a compact part and finitely many asymptotic ends; the boundary lies in the specified future horizon and meets every generator exactly once. Source: https://arxiv.org/html/0806.0016v2; Definition 1.1, equation (1.1); §2.1 equations (2.1)–(2.2); §2.2 domain-of-outer-communications definitions. Reading limits: Freshly read these web-extracted definitions and adjacent explanations. No proof of the paper’s global structure or uniqueness results was audited. Existing frozen source metadata is retained unchanged.
• article-question-and-scope: The original article poses the smooth multiple-black-hole question in §1.3. Definition 1.1 specifies a bifurcation two-sphere and a particular hypersurface topology; Theorem 1.1 addresses that setting. This source supplies attribution and scope only, not independent proof of a prerequisite or of the proposed exclusion. Source: https://arxiv.org/pdf/2611.16853v1; PDF pp.3–4, Definition 1.1 and Theorem 1.1; PDF p.5, §1.3. Reading limits: Freshly read the frozen extracted text at these passages and inspected local rendered PDF pages 3, 4 and 5. No complete-article assessment or reading of all 31 pages is claimed.
• conditional-global-bridge: For the conditional calculation only, suppose a single global axial action commuting with $T$ has been obtained and the exterior has been matched to the complete source-native framework of Han–Khuri–Weinstein–Xiong Theorem 1.1, including the finite rod structure, required asymptotics and degenerate-component restrictions. These are additional unproved conditions, not hypotheses silently added to the target question. Source: self-contained; Conditional research strategy, steps 2–4. Reading limits: No proof of this bridge is supplied. It is not an established theorem or an eligible logical supplier outside the explicitly conditional calculation.
• regular-axis-definition: For a rotational coordinate of period $2\pi$, let $L$ be orbit circumference and $s$ proper radial distance from an ordinary axis point. Elementary flatness means $L\mathrm{/}(2\pi s)\to 1$. This regular-axis condition is used only after an appropriate axial action and orbit description exist. Source: self-contained; Definition used in conditional step 3. Reading limits: An explicit local regularity condition; no global axial action or classification theorem is inferred from it.
• rod-exclusion-input: Han–Khuri–Weinstein–Xiong Theorem 1.1 considers a stationary vacuum singular harmonic map with ordered finite horizon rods, the prescribed reconstruction and asymptotically flat normalization, and nonzero angular momentum for every degenerate component. With at least two components, every bounded axis rod has negative logarithmic angle defect. Equation (1.9) fixes the defect convention. The source class includes its stated boundary and asymptotic requirements. Source: https://arxiv.org/html/2608.23325v2; §1, equations (1.1)–(1.12), source-class paragraph and Theorem 1.1; §2.1, (A1)–(A3), equations (2.3)–(2.10). Reading limits: Freshly read these statements, definitions and hypotheses, plus the opening of Proposition 2.2. The theorem’s proof and cited asymptotic proofs were not audited; its application is explicitly conditional.
• analytic-comparison: Huang–Li–Zhu’s Main Theorem excludes a component that is both non-rotating and degenerate in their stationary, asymptotically flat, $I^{+}$-regular analytic vacuum class. Their following corollary identifies the domain of outer communications with Kerr without assuming horizon connectedness. Analyticity remains part of both statements. Source: https://arxiv.org/html/2611.03766v1; §1, (H1)–(H3), Definitions 1.3–1.5, Main Theorem and following Corollary. Reading limits: Freshly read the cited introductory statements and hypotheses and the displayed concluding argument in §4. No complete proof audit. Existing frozen source metadata is retained unchanged; its earlier reading claims are not inherited.
• perturbative-comparison: Wong–Yu Theorem 2.2.7 gives one horizon component under TOP, AF, SBS and KN: prescribed finite-hole topology, asymptotic and subextremal conditions, smooth bifurcate horizons, complete transverse stationary flow, coordinate bounds and quantitative characterization-tensor smallness. Remark 2.2.8 specializes to vacuum. These additional restrictions are not consequences established from the present question. Source: https://arxiv.org/html/1210.1379v4; §2.2, TOP/AF/SBS/KN, equations (2.2.1)–(2.2.6), Theorem 2.2.7 and Remarks 2.2.8–2.2.9. Reading limits: Freshly read §2.2 and introductory scope statements. The tensor construction and complete exclusion proof were not audited. The PDF request failed; the successful v4 HTML reading is recorded separately.

Decision: accept

The six steps preserve the distinction between an unresolved smooth multiple-horizon question, a proposed global-symmetry strategy, and an elementary conditional contradiction. Under the explicitly assumed complete source framework, regularity gives $b_j$=0 while the imported theorem gives $b_j$<0. Neither the global bridge nor unrestricted horizon connectedness is claimed proved. No repair is required within that stated scope.

Dependency review: Reviewed all eight immediate dependency records and all six steps. The selected-end and $I^{+}-regularity$ formulations agree with Chruściel–Costa Definition 1.1 and §§2.1–2.2, including the boundary section meeting every generator once. Chruściel–Costa. The original PDF, pp.3–5, supports question attribution and the stated single-bifurcation-sphere scope; it supplies no independent exclusion premise. The model hypotheses and conditional-global-bridge are expressly assumptions, and regular-axis-definition supplies the local circumference/radius condition. Han–Khuri–Weinstein–Xiong equation (1.9) has the stated reciprocal convention: $e^{b_j}$=lim 2πs/L. Its Theorem 1.1 requires N≥2, the specified singular harmonic map and reconstruction, asymptotically flat normalization, and nonzero angular momentum at every degenerate component. The draft retains these conditions and the source-class restrictions. Han–Khuri–Weinstein–Xiong. Huang–Li–Zhu’s Main Theorem and corollary retain analyticity, as step 5 states. Huang–Li–Zhu. Wong–Yu Theorem 2.2.7 and Remark 2.2.8 support step 6 only under TOP, AF, SBS and KN, including their vacuum specialization. Wong–Yu. All step citations resolve to immediate dependencies or earlier steps. No logical cycle or use of the open conclusion as a premise was found. Vacuum is treated as a model assumption, without empirical claims.

Review reading limits: Freshly read the frozen direction, its eight dependency records and six argument steps; read the original extracted pp.3–5 and inspected their rendered PDF images. Independently consulted Chruściel–Costa Definition 1.1 and §§2.1–2.2; Han–Khuri–Weinstein–Xiong §1, §2.1 assumptions and the opening of Proposition 2.2; Huang–Li–Zhu introductory hypotheses, Main Theorem and corollary; and Wong–Yu §2.2. These were statement, convention and applicability checks, not complete proof audits. A fresh bounded web search found no verified unrestricted resolution. No earlier reading credit, whole-article assessment, library acceptance or publication authority is claimed.