{"id":"53ce9a78-00f2-47ff-8f7a-ff9d8a2c51cb","arxiv_id":"2509.05789","paper_version":1,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":3,"one_line_summary":"Under compatibility conditions on both horizons, every smooth stationary vacuum solution with positive cosmological constant is claimed to be isometric to Kerr-de Sitter in its stationary region.","lead":"A mathematical proof claiming that rotating black holes in a universe with positive cosmological constant are uniquely Kerr-de Sitter, provided both horizons are compatible with that family and the solution is smooth rather than analytic. The argument runs unique continuation from both the event and cosmological horizons, a two-sided scheme needed because no single pseudo-convex foliation covers the whole exterior region.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Final step overstates Mars-Senovilla: local isometry and unverified polynomial condition do not yield the global isometric diffeomorphism claimed in Theorem 2.2.","rationale":"The reader's weakest-assumption identification (T-pseudoconvexity of y-level sets, Proposition 6.5) is certainly a load-bearing part of the proof, and the reader also flags the Mars-Senovilla import as unverified in the rationale. I focus on the latter because it is textually decisive: the paper's Theorem 4.27 states a local isometry, while Theorem 2.2 claims a global isometric diffeomorphism. The proof of Theorem 2.2 jumps from S=0 to the global conclusion with no verification of the 'Moreover' hypothesis and no covering/globalization argument. This is not a matter of analytic bookkeeping or a possible typo in an estimate; it is a missing logical step at the point where the central theorem is concluded. It may be fixable, but as written the central claim is not established by the quoted result. I therefore keep the reader's CONDITIONAL verdict rather than upgrading to ACCEPT or hardening to REJECT, and I note partial agreement because the reader did identify this step as unverified.","tokens_in":84329,"tokens_out":22896,"duration_ms":263985,"concrete_test":"Check the exact statement of Theorem 1 in Mars-Senovilla [31]. If it is local only: (1) verify from (E1)/(C1) and subextremality that the constants produced by S=0 satisfy V(zeta)/((zeta-zeta0)(zeta+zeta0))<0 on [-zeta0,zeta0] and z in [-zeta0,zeta0]; (2) prove that E is simply connected and that the local isometry extends to a global isometric diffeomorphism onto the stationary region of Kerr-de Sitter. If either step fails, Theorem 2.2 must be weakened to local isometry or supplied with the missing argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2.2 hinges on the terminal inference: once S=0 on E, the paper invokes \"Theorem 1 of [31]\" and concludes that E is isometrically diffeomorphic to the stationary region of Kerr-de Sitter. But the paper's own imported statement, Theorem 4.27, concludes only that (M,g) is locally isometric to Kerr-(a)dS, and only under an additional \"Moreover\" hypothesis involving the polynomial V(\\zeta) and a z-range condition. The proof of Theorem 2.2 neither verifies that hypothesis nor supplies a globalization argument converting a local isometry into a diffeomorphism of the stationary region. If the cited Mars-Senovilla theorem is truly local, then the conclusion of Theorem 2.2 is stronger than the proof supports. This gap is independent of the intricate pseudoconvexity estimates and directly affects the central uniqueness claim; the same issue affects Theorem 2.6.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a smooth (C^∞, non-analytic) uniqueness theory for Kerr–de Sitter spacetimes in four dimensions with positive cosmological constant. The main results are: Theorem 2.2, asserting that a stationary Λ-vacuum spacetime with regular null-bifurcate event and cosmological horizons, subextremal in a sense formulated through the function y and the polynomial Δ, and satisfying the compatibility conditions (E1) and (C1) at the two bifurcate spheres, must have its stationary region E isometrically diffeomorphic to the stationary region of Kerr–de Sitter with the same parameters; Theorem 2.4, giving a rotational Killing field under Mars–Simon smallness at both horizons; and Theorem 2.6, a mixed rigidity statement. The proof introduces a Mars–Simon tensor adapted to Λ>0, shows that it vanishes on the horizons under the compatibility conditions, uses Carleman estimates and T-pseudoconvexity to propagate the vanishing into E, and constructs a second Killing field from the cosmological horizon under smallness assumptions. The overall structure follows the Ionescu–Klainerman program, adapted to the two-sided, Λ>0 setting.","tokens_in":84414,"tokens_out":5474,"duration_ms":67222,"significance":"If correct, this would be a substantial contribution: it would extend the stationary, non-analytic Kerr rigidity program to Λ>0 without asymptotic flatness, introduce a natural two-sided rigidity hypothesis replacing ADM data, and provide the first smooth uniqueness theorem for Kerr–de Sitter beyond perturbative regimes. The paper also makes a serious effort to be self-contained, including reproductions of Carleman estimates and much of the spin-frame formalism, and it is careful in many places to state where assumptions are used. However, the central claim depends on a long analytic chain and, as printed, contains an internal sign inconsistency in Lemma 5.8 and an unjustified final globalization step in the proof of Theorem 2.2. These issues are load-bearing, so the current version does not establish the advertised theorems.","major_comments":[{"comment":"After deriving S=0 on Σ0∩E, the proof states: 'Then, Theorem 1 of [31] concludes that M must be isometrically diffeomorphic to g_{M,a,Λ}.' But the paper's own imported statement of that result, Theorem 4.27, concludes only that (M,g) is locally isometric to Kerr-(a)dS, and only under an additional 'Moreover' hypothesis on the polynomial V(ζ) and on the range of z. Neither the polynomial condition V(ζ)/((ζ−ζ0)(ζ+ζ0))<0 on [−ζ0,ζ0] nor the condition z:M→[−ζ0,ζ0] is verified in the proof, and no globalization argument is supplied to pass from a local isometry to an isometric diffeomorphism of the entire stationary region E. The same terminal inference is used in the proof of Theorem 2.6. This is a gap in the central claim, independent of the Carleman/pseudoconvexity machinery.","section":"§7.3, proof of Theorem 2.2; Theorem 4.27"},{"comment":"The proof of Lemma 5.8 contains a sign contradiction. It cites assumption (2.8), which states B_y Δ(y_{S0})>0, and then immediately says: 'However, we know that Δ(y) can only have three positive roots, only one of which satisfies B_yΔ>0. Thus, we must have that for ε_S sufficiently small, B_yΔ|_{p∈S0}<0.' The conclusion B_yΔ<0 is the opposite of the cited hypothesis. The subsequent estimate |y−y_{S0}|≲ε_S^{1/40} identifies y with a root of the opposite monotonicity. This is not a harmless typo: (5.18)–(5.20), Lemma 5.11 and Proposition 6.5 rely on this control to construct the T-pseudoconvex foliation, which is the engine of every interior unique continuation argument. The sign convention and the distinction between the two bifurcate spheres S_0 and S_0 must be corrected before the main theorems can be assessed.","section":"§5.2.1, Lemma 5.8 (proof)"},{"comment":"The T-pseudoconvexity of the y-level sets throughout E is presented as a proposition, but its proof depends on the assumed subextremal root structure, the Mars–Simon smallness (E2)/(C2), and crucially on the asserted timelike character of T on {y=y*}. The latter is an assumption in §2.1, not a derived statement. Since Proposition 6.5 is used to justify every Carleman-based extension in Lemmas 7.14, 8.18 and 9.3, the paper should state explicitly which parts of the subextremality assumption are used to guarantee that the timelike condition holds in the bootstrap region and how the constants are chosen so that the pseudoconvexity estimates are uniform under the bootstrap. As written, the proof gives the impression that this is an assumption being relabeled as a proposition.","section":"§6.2, Proposition 6.5 and §2.1"}],"minor_comments":[{"comment":"The compatibility conditions (E1) and (C1) prescribe the same triplet (M,a,γ) at both bifurcate spheres. Consequently, the conclusion of Theorem 2.2 that the spacetime has 'black hole parameters (M,a)' is a restatement of the input rather than an identification derived from the geometry. This is analogous to the role of the technical condition in [20], but it should be stated explicitly so that the reader does not over-read the theorem as producing a parameter-free uniqueness statement.","section":"§2.1, (E1)/(C1) and Theorem 2.2"},{"comment":"The statement of Lemma 5.8 says 'Similarly, we have that on the bifurcation sphere S_0' twice; the underlined/overlined notation distinguishing S_0 and S_0 appears corrupted in a number of places. Please normalize the notation throughout, especially in the statements of Lemmas 5.8, 5.11 and Propositions 7.1, 8.1.","section":"§5.2.1, Lemma 5.8 statement"},{"comment":"The step 'S=0 on Σ0∩E' is used to conclude S=0 on all of E before invoking [31]. This uses L_T S=0 and the assumption that every orbit of T intersects Σ0; this should be spelled out, since the final theorem is global in E and the local statement of [31] applies to the spacetime region where S vanishes.","section":"§7.3, proof of Theorem 2.2"},{"comment":"The statement of the Carleman estimate includes terms of the form ∥V_i(φ)∥_{L^2} without a weight e^{-λf_ε}. The proof later derives a weighted version. To avoid confusion, the final displayed estimate should be the weighted one consistently, as in (3.35).","section":"§3.5, Proposition 3.12"},{"comment":"There are numerous typos and minor inconsistencies, e.g., the label 'QF 2−4Λ' in (2.8)–(2.11) versus the text around (4.28), and the use of 'Tphq' and 'pT' in §§5–6. A careful editorial pass would improve readability.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"For the editor: The paper is extremely ambitious and contains a plausible multi-stage argument, but I could not verify the full analytic chain. The most serious issue is the final step of Theorem 2.2: the cited Mars–Senovilla theorem, as imported by the authors themselves, is local and carries extra hypotheses, while the conclusion of Theorem 2.2 is global. If the authors have access to a stronger global statement in [31], they need to quote it precisely and prove the polynomial/range conditions; otherwise the central uniqueness claim is not established. The sign contradiction in Lemma 5.8 also needs to be fixed before the pseudoconvexity machinery can be trusted. I would recommend asking for a revised version that addresses these two points directly, and for a detailed proof of the globalization step."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Big picture: this is the most substantial attempt I know at non-perturbative, smooth (non-analytic) rigidity for stationary vacuum black holes with Λ>0. The genuinely new content is the two-sided strategy—seeding unique continuation from both the event and cosmological horizons, using the y-function (a Λ>0 analogue of the Boyer-Lindquist r) to build a foliation that is only piecewise T-pseudoconvex, and then gluing across the overlap. The care in defining subextremality and compatibility conditions is honest, and the paper is explicit that the parameters (M,a) enter through the bifurcate-sphere assumptions, mirroring Ionescu-Klainerman's technical condition rather than claiming a parameter-free classification.\n\nWhere it's good: the wave-equation structure for the Mars-Simon tensor is adapted cleanly; the mixed Theorem 2.6 using a second Killing field is a nice piece of machinery; and the paper doesn't overclaim near-conjecture status—it calls the full rigidity conjecture open.\n\nWhere I'd push: the final step of Theorems 2.2 and 2.6 invokes Mars-Senovilla (Theorem 4.27) to conclude a global isometric diffeomorphism, but the statement as imported only yields a local isometry and requires an extra condition on V(ζ) and the range of z. The proof of Theorem 2.2 doesn't verify that condition or supply a covering/globalization argument. If the extra hypothesis follows from (E1)/(C1) and S=0, that needs to be shown; as printed, there is a genuine logical jump.\n\nAlso, Lemma 5.8's proof as printed contains a sign inconsistency: it starts with ∂_yΔ(y_{S0})>0 and later concludes ∂_yΔ|_{S0}<0. It looks like a typo rather than a fatal flaw, but it's in a load-bearing place—the closeness of y to y_{S0} on S0—so a referee will want it cleaned up. The 100-page chain of Op(ε_S) estimates is not machine-checked and is beyond quick verification; that's my main reason for keeping confidence low.\n\nProportionately: the architecture is plausible and the hard analytic work is substantial. The two-sided framework is a real advance if the details hold. The paper deserves a serious referee, not a desk reject. I'd send it out, expecting major revisions and a request that the authors close the local-to-global gap and double-check the sign in Lemma 5.8.","headline":"A serious two-sided smooth rigidity program for Kerr-de Sitter, with real gaps at the terminal Mars-Senovilla step and a few unverified analytic details.","tokens_in":85090,"tokens_out":7125,"would_cite":true,"duration_ms":80438,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C15"],"pacs":[],"model":"deepseek-v4-flash","headline":"A smooth stationary black hole with positive cosmological constant is forced to be Kerr-de Sitter, provided the event and cosmological horizons carry the same Kerr-de Sitter data — with no real-analyticity assumption.","keywords":["Kerr-de Sitter","black hole rigidity","unique continuation","Mars-Simon tensor","pseudoconvexity","cosmological constant","stationary spacetimes"],"falsifier":"Compute, on a subextremal Kerr-de Sitter metric with the paper's chosen T = ∂t + (a/(r_*²+a²))∂φ, a T-orthogonal trapped null geodesic crossing a level set {y = const} inside the stationary region; the existence of such a geodesic would violate the definition of T-pseudoconvexity and invalidate Proposition 6.5, collapsing the interior extension step. Equivalently, exhibit a smooth non-analytic stationary Λ-vacuum spacetime satisfying (E1)+(C1) whose stationary region is not isometric to Kerr-de Sitter.","tokens_in":84010,"feed_emoji":"🕳️","tokens_out":8225,"duration_ms":87468,"temperature":0.7,"pith_summary":"This paper proves that smooth (C∞, not necessarily analytic) stationary solutions of the vacuum Einstein equations with positive cosmological constant Λ are rigid: if the event horizon and the cosmological horizon are regular null bifurcate surfaces whose geometric data agree with a single subextremal Kerr-de Sitter background, then the whole stationary region between them is isometric to that Kerr-de Sitter region. The result is a two-sided rigidity theorem: because Λ>0 spacetimes have no asymptotic flatness to supply mass, angular momentum, or a canonical stationary vector field, the proof inputs that data through compatibility conditions on the two bifurcate spheres. The argument removes the real-analyticity assumption that earlier black-hole rigidity results required, replacing it with unique continuation based on a stationary-adapted notion of pseudoconvexity. Since subextremal Kerr-de Sitter admits no globally pseudoconvex radial foliation, the proof runs from both horizons inward and uses subextremality to show the two propagated regions overlap, covering the entire stationary region. Companion results show that smallness of the Mars-Simon tensor alone forces axisymmetry, and that mixing compatibility at one horizon with smallness at the other still yields full rigidity.","feed_headline":"Two horizons pin down Kerr-de Sitter among smooth stationary black holes","feed_subtitle":"Proof drops real analyticity: smooth Λ-vacuum black holes with matching bifurcate horizons must be Kerr-de Sitter.","key_machinery":"The central object is the Mars-Simon tensor S = W − Q·U, with W the complexified Weyl tensor and U built from the Killing two-form of the stationary vector field T: its vanishing characterizes Kerr-de Sitter and it satisfies a wave-type equation. The function y = Re(1/J), assembled from the Ernst-potential quantities, plays the role of a radial coordinate whose level sets provide the foliation along which unique continuation is run. The engine of the interior propagation is T-pseudoconvexity — a weakening of Hörmander pseudoconvexity in which the defining quadratic inequality is relaxed by penalizing components along the stationary Killing field T — together with tT,Ku-pseudoconvexity in the","core_discovery":"On the paper's own terms, the central claim is Theorem 2.2: under assumptions of stationarity, regular null-bifurcate event and cosmological horizons, subextremality, and compatibility conditions (E1) and (C1) holding at the two bifurcate spheres for the same parameters (M,a,γ), any smooth solution of Ric(g)=Λg with Λ>0 has its stationary region E isometrically diffeomorphic to the stationary region of the Kerr-de Sitter spacetime with black hole parameters (M,a). The proof works by showing the Mars-Simon tensor S vanishes on each horizon — the compatibility conditions force its P-component to vanish at the bifurcate sphere and the null Bianchi equations transport that along the horizon — th","pith_inferences":["Strictly speaking, Theorem 2.2 is conditional: the compatibility conditions (E1)+(C1) already encode that both horizons are compatible with the same (M,a), so the paper reduces the full Kerr-de Sitter rigidity conjecture to proving that any subextremal stationary Λ-vacuum spacetime with two regular bifurcate horizons must satisfy these compatibility conditions for a single (M,a).","The delicate premise is the T-pseudoconvexity of the level sets of y throughout the inter-horizon region; that property is derived from subextremality, smallness of S, and the timelike character of T on {y=y*}, and if it degenerates between the horizons the two unique-continuation regions cannot be glued and E is not covered.","A reader checking the printed proof should pay particular attention to Lemma 5.8, whose displayed derivation appears to contain a sign inconsistency; if that lemma cannot be repaired, the quantitative control of y near the bifurcation sphere — and hence the initialization of the bootstrap — would be weaker than claimed. This flag is editorial, not a verdict on the paper.","The methods suggest a testable route to the full Λ>0 rigidity conjecture: prove that for any smooth subextremal stationary solution the two bifurcate spheres automatically yield equal parameters (M,a), using the Mars-Simon transport equations combined with the geometry of the cosmological horizon."],"forward_implications":["If Theorem 2.2 is correct, Kerr-de Sitter is the unique smooth stationary vacuum black hole with positive cosmological constant whose two bifurcate horizons carry matching Kerr-de Sitter data — no real-analyticity assumption is needed.","Theorem 2.4 implies that any smooth stationary solution satisfying the smallness conditions (E2)+(C2) admits a rotational Killing field, so stationarity plus Mars-Simon smallness forces axisymmetry; the paper explicitly notes this does not by itself imply isometry to Kerr-de Sitter, since no Carter-Robinson analogue is known for Λ≠0.","Under (E1)+(C2), full rigidity follows, meaning a single compatibility condition at the event horizon together with smallness of S at the cosmological horizon is already enough to pin down the metric.","The proof structure shows that the obstruction to a one-sided (event-horizon-only) rigidity theorem in Λ>0 is precisely the absence of a global T-pseudoconvex foliation: the subextremality assumption is what guarantees the two propagation regions meet.","For the Λ>0 programme, the result moves beyond perturbative rigidity: it allows arbitrary rotation and replaces stability-type input with horizon compatibility conditions."],"supporting_citations":[{"why":"Supplies the template for C∞ Kerr rigidity: vanishing Mars-Simon tensor propagated by T-pseudoconvex unique continuation, which this paper generalizes to Λ>0.","marker":"[20]"},{"why":"Introduces the Λ≠0 Mars-Simon tensor and proves its vanishing implies local isometry to Kerr-de Sitter, the characterization theorem used to conclude Theorem 2.2.","marker":"[31]"},{"why":"Provides the divergence identity for S from which the wave equation (4.43) is derived.","marker":"[32]"},{"why":"The smooth Kerr rigidity proof whose wave-transport system and Carleman framework are adapted to extend the Hawking vectorfield in the Λ>0 setting.","marker":"[3]"},{"why":"Supplies the characteristic initial-value construction of the Hawking vectorfield along the bifurcate sphere, reused for the cosmological horizon.","marker":"[2]"},{"why":"Establishes absence of T-trapped null geodesics in subextremal Kerr-de Sitter, the geometric fact motivating the T-pseudoconvexity assumptions.","marker":"[33, 34]"},{"why":"Source of the classical pseudoconvexity–Carleman framework that the T-pseudoconvex and tT,Ku-pseudoconvex variants generalize.","marker":"[18]"},{"why":"Provides the deformation-tensor wave-transport system (Lemmas 2.6 and Proposition 2.7) used to extend the Hawking vectorfield through unique continuation.","marker":"[19]"}],"fun_headline_variants":["Two horizons force Kerr-de Sitter uniqueness","Smooth Λ-vacuum black holes: only Kerr-de Sitter","Analyticity dropped: horizons still fix Kerr-de Sitter","Horizon conditions uniquely pin Kerr-de Sitter","Rigid result: Kerr-de Sitter identified by two horizons"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The whole argument hinges on the level sets of the constructed function y being T-pseudoconvex throughout the region between the two horizons: if that null-convexity degenerates anywhere in the stationary region, the two unique-continuation fronts from the event and cosmological horizons cannot be glued and the region is never fully covered.","fun_headline_variants_meta":{"raw":{"variants":["Two horizons force Kerr-de Sitter uniqueness","Smooth Λ-vacuum black holes: only Kerr-de Sitter","Analyticity dropped: horizons still fix Kerr-de Sitter","Horizon conditions uniquely pin Kerr-de Sitter","Rigid result: Kerr-de Sitter identified by two horizons"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000202,"raw_usage":{"total_tokens":1157,"prompt_tokens":617,"completion_tokens":540,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":361,"completion_tokens_details":{"reasoning_tokens":458}},"tokens_in":361,"tokens_out":540,"duration_ms":6091,"temperature":1.0,"reasoning_tokens":458,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T04:59:26.586663+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, on a subextremal Kerr-de Sitter metric with the paper's chosen T = ∂t + (a/(r_*²+a²))∂φ, a T-orthogonal trapped null geodesic crossing a level set {y = const} inside the stationary region; the existence of such a geodesic would violate the definition of T-pseudoconvexity and invalidate Proposition 6.5, collapsing the interior extension step. Equivalently, exhibit a smooth non-analytic stationary Λ-vacuum spacetime satisfying (E1)+(C1) whose stationary region is not isometric to Kerr-de Sitter.","supporting_citations":[{"cited_title":"and Klainerman, Sergiu.On the Uniqueness of Smooth, Stationary Black Holes in Vacuum","cited_arxiv_id":null,"evidence_quote":"Supplies the template for C∞ Kerr rigidity: vanishing Mars-Simon tensor propagated by T-pseudoconvex unique continuation, which this paper generalizes to Λ>0."},{"cited_title":"M.A Spacetime Characterization of the Kerr-NUT- (A)de Sitter and Related Metrics","cited_arxiv_id":null,"evidence_quote":"Introduces the Λ≠0 Mars-Simon tensor and proves its vanishing implies local isometry to Kerr-de Sitter, the characterization theorem used to conclude Theorem 2.2."},{"cited_title":"Classical and Quantum Gravity33(15) (2016)","cited_arxiv_id":null,"evidence_quote":"Provides the divergence identity for S from which the wave equation (4.43) is derived."},{"cited_title":"Communica- tions in Mathematical Physics299(1) (2010), pp","cited_arxiv_id":null,"evidence_quote":"The smooth Kerr rigidity proof whose wave-transport system and Carleman framework are adapted to extend the Hawking vectorfield in the Λ>0 setting."},{"cited_title":"Geometric and Functional Analysis20(4) (2010), pp","cited_arxiv_id":null,"evidence_quote":"Supplies the characteristic initial-value construction of the Hawking vectorfield along the bifurcate sphere, reused for the cosmological horizon."},{"cited_title":"Berlin, Heidelberg: Springer, 1964","cited_arxiv_id":null,"evidence_quote":"Source of the classical pseudoconvexity–Carleman framework that the T-pseudoconvex and tT,Ku-pseudoconvex variants generalize."},{"cited_title":"Journal of the American Mathematical Society26(2) (2013), pp","cited_arxiv_id":null,"evidence_quote":"Provides the deformation-tensor wave-transport system (Lemmas 2.6 and Proposition 2.7) used to extend the Hawking vectorfield through unique continuation."}],"review_version":1}