{"id":"1802a208-1d72-4cc6-86ea-dabd8b68da6d","arxiv_id":"2505.20060","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Equality in the area-charge inequality forces a spherical horizon to have a locally product geometry with constant normal electric and magnetic fields.","lead":"This paper proves that if a charged, spherical black hole horizon attains the smallest area allowed by its charge, then the space around it must be a rigid product: electric and magnetic fields point straight out and are constant, and the geometry is essentially a product of time with a round sphere. It is a sharp rigidity theorem for the Einstein-Maxwell initial data that generalizes the time-symmetric result to horizons that are only marginally trapped.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2's rigidity relies on two unstated external lemmas; the application of [21, Lemma 3.2] to the differential inequality (3.10) is not verified, and two-convexity does not control the sign of the coefficient involving tr K.","rationale":"The reader's weakest assumption correctly identifies the unverified external lemmas as the most load-bearing point. My reading of the main proof found no algebraic error: the equality analysis after θ=0 is coherent, the charged DEC manipulations in (3.8) and (3.15) are correct, and the use of weak outermosteness to pass from θ≤0 to θ=0 is sound. The concern is not that the lemmas are necessarily false, but that the paper does not establish their hypotheses. The most concrete manifestation is the coefficient ζ(t) in (3.10), which involves the trace of K; two-convexity only bounds tr_{Σ_t}K, not tr_gK, so if [21, Lemma 3.2] needs a sign condition, the proof has a gap that is not visible from the text. The same applies to [13, Lemma 2.3], where the 'constant null mean curvature foliation' is invoked with no verification that its hypotheses match weakly outermost MOTS. Since these are standard tools in the MOTS literature, the appropriate disposition remains conditional: the paper's argument is plausible but not self-contained, and a concrete check of the two lemmas would settle the matter. I therefore recommend no change to the reader's verdict.","tokens_in":11506,"tokens_out":46223,"duration_ms":461270,"concrete_test":"Reproduce the full statements of [13, Lemma 2.3] and [21, Lemma 3.2] in an appendix, and verify their hypotheses against the objects of Theorem 1.2. For [21, Lemma 3.2], substitute the explicit coefficients η(t)=A(t)/(4π)∫_{Σ_t}φ^{-1}, ζ(t)=A(t)/(4π)∫_{Σ_t}τ, and ξ(t)=∫_{Σ_t}φ, and check whether the lemma's hypotheses allow ζ to change sign; if the lemma requires ζ≥0, prove from two-convexity and the charged DEC that ∫_{Σ_t}τ≥0 along the foliation, or exhibit a foliation of a two-convex initial data set satisfying all assumptions where the inequality (3.10) admits a positive solution θ with θ(0)=0.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central rigidity conclusion of Theorem 1.2 depends on two black-box citations. First, [13, Lemma 2.3] is invoked to produce a constant-null-mean-curvature foliation once λ1(L)=0, but the paper neither states the lemma nor checks that its hypotheses are satisfied by a weakly outermost, spherical MOTS in a charged initial data set with K two-convex. Second, and more critically, the step 'Using Lemma 3.2 in [21], we conclude that θ(t) ≤ 0' is applied to the integrated inequality (3.10): θ'(t)η(t) − θ(t)ζ(t) ≤ ∫₀ᵗ θ(s)ξ(s)ds, with η,ξ > 0 but ζ(t) = A(t)/(4π)∫_{Σ_t} τ. The proof never verifies the hypotheses of [21, Lemma 3.2] for this particular inequality. In particular, two-convexity of K gives tr_{Σ_t}K ≥ 0, hence H ≤ θ, but it does not control the sign of τ = tr_g K, which enters ζ. If [21, Lemma 3.2] requires ζ to be nonnegative (or to satisfy a bound in terms of η and ξ), that condition is not established. If the lemma's conclusion θ≤0 fails, then weakly outermost only gives the trivial θ(0)=0; the subsequent equality analysis—that each leaf is a MOTS, that A(t)=A(0), and ultimately the product isometry (dt² + g₀, E=aν, B=bν)—collapses. The same concern applies to Theorem 1.1, which uses the same lemma for H(t). The proof is otherwise internally coherent, and the infinitesimal rigidity Proposition 3.1 is checkable, but the two cited lemmas are load-bearing and their applicability is not demonstrated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves area-charge inequalities A >= 4π(Q_E^2 + Q_M^2) for spherical minimal surfaces (Theorem 1.1) and for spherical weakly outermost MOTS (Theorem 1.2) under charged dominant energy conditions, and characterizes the equality case: in a neighborhood of the surface the metric splits as dt^2 + g0, the electric and magnetic fields are constant multiples of the normal, K = f dt^2, μ = a^2 + b^2, J = 0, and Λ = 0. The proofs combine a quasi-local infinitesimal rigidity proposition (Proposition 3.1) with foliation arguments and a comparison lemma cited from prior work.","tokens_in":11846,"tokens_out":12518,"duration_ms":121312,"significance":"If fully substantiated, the rigidity theorems are natural and sharp; the dyonic Bertotti-Robinson model in Section 4 demonstrates that the inequalities and rigidity are saturated. The paper's main contribution is the equality-case analysis, which is carefully traced through a chain of inequalities, and Proposition 3.1 is a clean quasi-local statement. The area-charge inequality itself is derived in a self-contained way from standard stability facts, with no fitted parameters or definitional circularity. The principal caveat is the reliance on two external lemmas whose hypotheses are not stated or verified; this is addressable and does not undermine the plausibility of the results, but it is load-bearing for the rigidity conclusions.","major_comments":[{"comment":"The step 'Using Lemma 3.2 in [21], we conclude that θ(t) ≤ 0' is load-bearing and is not justified. Lemma 3.2 is not stated, and the differential inequality (3.10), θ′η − θζ ≤ ∫₀ᵗ θξ, has coefficient ζ(t) = A(t)/(4π) ∫_{Σ_t} τ whose sign and size are not controlled. Two-convexity of K gives tr_{Σ_t}K ≥ 0 and hence H ≤ θ, but τ = tr_{Σ_t}K + K(ν,ν) can be negative; if Lemma 3.2 requires ζ ≤ 0 or a relation among η, ζ, ξ, that hypothesis is not verified. The later conclusions that θ(t)=0, that every leaf is a MOTS, that A(t)=A(0), and hence the product rigidity all depend on this step. The same unverified application occurs for H(t) in the proof of Theorem 1.1.","section":"§3, Theorem 1.2 proof, Eq. (3.10)"},{"comment":"The existence of the foliation by constant null mean curvature surfaces is delegated to [13, Lemma 2.3], whose content and hypotheses are not given. The proof only establishes λ1(L)=0 via Proposition 3.1; it does not check that a weakly outermost spherical MOTS in a charged initial data set with two-convex K satisfies the additional conditions of [13, Lemma 2.3] (for instance, any strict stability or nondegeneracy assumption). If the lemma does not apply, the family {Σ_t} on which equations (3.7)–(3.15) are integrated does not exist, and the proof of Theorem 1.2 collapses.","section":"§3, Theorem 1.2 proof, first paragraph after Proposition 3.1"}],"minor_comments":[{"comment":"The same symbol L is used for the MOTS stability operator and for its symmetrized version, so λ1(L) and λ1(L) are hard to distinguish in Proposition 3.1; a different notation such as L_sym would improve clarity.","section":"Section 2"},{"comment":"The phrase 'a e b são constantes' appears as 'a e b are constant'; this should read 'a and b are constant' for English prose.","section":"Proof of Theorem 1.2"},{"comment":"The sentence 'Equalities in (3.11) give tr_{Σ_t}K = H_{Σ_t} = 0' is compressed; it should explicitly use the already-established fact A(t)=A(0) to convert the integral inequality into pointwise vanishing of H.","section":"Proof of Theorem 1.2, after Eq. (3.11)"},{"comment":"The Cauchy-Schwarz step in (3.9) is correct but terse; stating it as two separate applications, one for E and one for B, would make the inequality easier to follow.","section":"Eq. (3.9)"}],"recommendation":"major_revision","confidential_remarks":"The two external lemmas are load-bearing for the rigidity claims, and one of them ([21]) is the author's own prior work. The editor may wish to have a referee with access to [13] and [21] confirm that the cited results have exactly the hypotheses needed. The manuscript would be substantially stronger if these lemmas were stated in an appendix or their hypotheses were verified in the text."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper proves a real local rigidity statement: for spherical MOTS, saturation of A >= 4π(Q_E^2 + Q_M^2) forces an outer neighborhood to split as a product with constant normal electromagnetic fields, and the time-symmetric case gives the same product structure. The chain of inequalities in Proposition 3.1 is transparent, and I found no algebraic error in the equality analysis. The model in Section 4 is a useful sanity check. Credit where due: the inequality itself is prior work (Gibbons; Dain-Jaramillo-Reiris), but the rigidity analysis goes beyond those papers and is the genuinely new part.\n\nTwo soft spots. One is minor: the paper doesn't state how it differs from the closely titled 2025 papers [15] and [20]. The author should say that explicitly, because a referee will want to know the increment. The other is more load-bearing: the step \"Using Lemma 3.2 in [21]\" is applied to the differential inequality (3.10), which has the form θ'η − θζ ≤ ∫ θ ξ, with ζ involving ∫ τ. Two-convexity gives tr_Σ K ≥ 0, so H ≤ θ, but it does not control the sign of τ = tr_g K, which is what enters ζ. If the lemma requires ζ ≥ 0 or some bound relating ζ to η and ξ, that condition is not verified in the text. Likewise, [13, Lemma 2.3] is cited for the constant-null-mean-curvature foliation without stating its hypotheses. These are not necessarily fatal, but they are exactly the points a referee must check.\n\nOverall, the central argument is coherent and the equality analysis is careful. If the author reproduces those two lemmas and verifies their hypotheses, I would expect the main theorems to stand. This is a solid contribution to MOTS rigidity that deserves a normal peer-review round, not a desk rejection. For a colleague working on geometric inequalities in GR, it is worth a read; for others, it's specialized. My recommendation: accept for peer review and ask for revision to fill the lemma gaps.","headline":"Genuine rigidity results for equality in the area-charge inequality; the proof is checkable but leans on two unstated external lemmas, one of which needs a sign check.","tokens_in":12418,"tokens_out":3589,"would_cite":true,"duration_ms":41198,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C80","83C22","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"Equality in the area-charge inequality for a spherical marginally outer trapped surface forces an outer neighborhood to be a Riemannian product with constant electric and magnetic fields and zero cosmological constant.","keywords":["area-charge inequality","marginally outer trapped surface","Einstein-Maxwell initial data","rigidity theorem","Riemannian product","charged dominant energy condition","MOTS stability operator","cosmological constant"],"falsifier":"The central claim would be falsified by an explicit weakly outermost spherical MOTS with $A=4\\pi(Q_{\\rm E}^2+Q_{\\rm M}^2)$, divergence-free $E$ and $B$, two-convex $K$, and the charged dominant energy condition, whose outer neighborhood either fails to have $K=f\\,dt^2$ or has a tangential electromagnetic component; such an example could be sought by direct construction of initial data with a nontrivial shear term.","tokens_in":11241,"feed_emoji":"⚡","tokens_out":12472,"duration_ms":94274,"temperature":0.7,"pith_summary":"The paper asks what happens when the area-charge inequality $A \\geq 4\\pi(Q_{\\rm E}^2+Q_{\\rm M}^2)$, which holds for stable minimal spheres and for stable spherical marginally outer trapped surfaces (MOTS, the quasilocal notion of a black hole horizon), is saturated. It proves that equality is rigid: the surface must sit in a neighborhood isometric to an interval times a round two-sphere, the electric and magnetic fields must be constant and normal to the foliation, the energy and momentum densities must take the constant-field values $\\mu=a^2+b^2$, $J=0$, and the cosmological constant must vanish. Two theorems cover the cases: a time-symmetric one for area-minimizing two-spheres, and a general one for weakly outermost spherical MOTS in initial data sets satisfying the charged dominant energy condition with two-convex extrinsic curvature. The explicit product model of Section 4 shows the rigid configuration is realized, so the characterization is sharp.","feed_headline":"Charge-saturated horizons must sit in a Riemannian product","feed_subtitle":"When the bound is tight, electromagnetic fields become constant normals and the metric factorizes; Λ drops to zero.","key_machinery":"The load-bearing mechanism is the MOTS stability operator, the linearization of the null expansion along normal variations, together with its principal eigenvalue. Proposition 3.1 combines the stability inequality with the charged dominant energy condition and Cauchy-Schwarz to show that saturation makes the principal eigenvalue zero and forces the surface data to be exactly that of a round sphere with constant field normal components. The zero eigenvalue then activates two foliation lemmas from the literature: one produces an outer foliation by constant null mean curvature surfaces, and the other converts an integrated first-variation inequality into $\\theta(t)\\le 0$, whose equality forces every leaf to be a MOTS of constant area. Chasing these equalities back through the variation formulas yields $\\chi_+=\\chi_-=0$, $E=a\\nu_t$, $B=b\\nu_t$, and ultimately $K=f\\,dt^2$ with $J=0$.","core_discovery":"On the paper's own terms, the central discovery is that saturation of the area-charge inequality is an infinitesimal rigidity phenomenon. Proposition 3.1 shows that for a stable spherical MOTS, equality forces the principal eigenvalue of the stability operator to vanish, the null second fundamental form $\\chi_+$ to vanish, the normal components $\\langle E,\\nu\\rangle$ and $\\langle B,\\nu\\rangle$ to be constants $a$ and $b$, and the Gaussian curvature of the surface to equal $a^2+b^2$. Theorem 1.2 then upgrades this to a full neighborhood statement: an outer neighborhood is isometric to $([0,\\delta)\\times\\Sigma, dt^2+g_0)$ with $g_0$ a round metric of curvature $a^2+b^2$, the fields are $E=a\\nu_t$, $B=b\\nu_t$ for constants $a,b$, the second fundamental form has the form $K=f\\,dt^2$, the energy density is $\\mu=a^2+b^2$, the momentum density is $J=0$, and $\\Lambda=0$. Theorem 1.1 is the time-symmetric analogue, with $K=0$ and the same product rigidity. The quasilocal infinitesimal rigidity is what carries the local conclusion.","pith_inferences":["One could try to extend the rigidity to non-spherical topologies: the proof invokes Gauss-Bonnet with $\\chi=2$, so a version for higher genus would presumably carry a topological deficit term and may fail or need modification.","A quantitative stability estimate, bounding a geometric deviation from the product by $A - 4\\pi(Q_{\\rm E}^2+Q_{\\rm M}^2)$, would follow if the two foliation lemmas can be made effective; the paper does not address such an estimate.","The role of two-convexity appears only through $\\operatorname{tr}_{\\Sigma}K\\ge 0$ when comparing mean curvature with null expansion, so a weakly outermost MOTS theorem without two-convexity is a plausible target.","Saturation may serve as a quasi-local characterization of the constant-field product near-horizon geometry: any initial data whose horizon saturates the bound is locally indistinguishable from that model."],"forward_implications":["For any spherical horizon saturating the bound, the geometry in an outer neighborhood is completely fixed up to the constants $a,b$ and the interval length; no other near-horizon geometry can attain equality under the charged dominant energy condition.","Saturation forces $\\Lambda=0$, so the area-charge inequality cannot be sharp in the presence of a positive cosmological constant.","The electric and magnetic fields must be normal to the foliation and constant; a saturated horizon with tangential electromagnetic fields cannot exist.","In the time-symmetric setting, the saturated surface is a totally geodesic round sphere with ambient scalar curvature $R=2(a^2+b^2)$ on the surface.","The model of Section 4 realizes equality, so the rigidity results are sharp rather than vacuous."],"supporting_citations":[{"why":"Establishes the original bound for stable minimal surfaces that Theorem 1.1 turns into a rigidity statement.","marker":"[17]"},{"why":"Establishes the bound for stably outermost MOTS, the inequality whose equality case Theorem 1.2 characterizes.","marker":"[9]"},{"why":"Supplies the first-variation formula and stability operator for MOTS used in Proposition 3.1.","marker":"[4]"},{"why":"Produces the outer foliation by constant null mean curvature surfaces once the principal stability eigenvalue vanishes.","marker":"[13, Lemma 2.3]"},{"why":"Converts the integrated first-variation inequality into $\\theta(t)\\le 0$, forcing leaves to be MOTS in the saturation argument.","marker":"[21, Lemma 3.2]"},{"why":"Proves the comparison of the principal eigenvalue of the stability operator with that of its symmetrized version, letting stability control the symmetrized operator.","marker":"[16]"}],"fun_headline_variants":["Saturation forces product geometry near MOTS","Tight area-charge bound rigidifies local geometry","Equality in area-charge implies Riemannian product","Charged horizons saturating bound must factor"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"In the proof of Theorem 1.2, the argument depends on two cited lemmas, one producing a foliation by constant null mean curvature surfaces once a stability eigenvalue vanishes and one turning a differential inequality into the sign condition $\\theta(t)\\le 0$, and the paper does not restate these lemmas or check their hypotheses for the surfaces it considers; if either lemma does not apply, the conclusion that every leaf is marginally outer trapped can fail.","fun_headline_variants_meta":{"raw":{"variants":["Saturation forces product geometry near MOTS","Tight area-charge bound rigidifies local geometry","Equality in area-charge implies Riemannian product","Charged horizons saturating bound must factor"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000165,"raw_usage":{"total_tokens":1259,"prompt_tokens":963,"completion_tokens":296,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":579,"completion_tokens_details":{"reasoning_tokens":235}},"tokens_in":579,"tokens_out":296,"duration_ms":3412,"temperature":1.0,"reasoning_tokens":235,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:01:59.339624+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The central claim would be falsified by an explicit weakly outermost spherical MOTS with $A=4\\pi(Q_{\\rm E}^2+Q_{\\rm M}^2)$, divergence-free $E$ and $B$, two-convex $K$, and the charged dominant energy condition, whose outer neighborhood either fails to have $K=f\\,dt^2$ or has a tangential electromagnetic component; such an example could be sought by direct construction of initial data with a nontrivial shear term.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the original bound for stable minimal surfaces that Theorem 1.1 turns into a rigidity statement."},{"cited_title":"Area-charge inequality for black holes","cited_arxiv_id":null,"evidence_quote":"Establishes the bound for stably outermost MOTS, the inequality whose equality case Theorem 1.2 characterizes."},{"cited_title":"Stability of marginally outer trapped surfaces and existence of marginally outer trapped tubes.Adv","cited_arxiv_id":null,"evidence_quote":"Supplies the first-variation formula and stability operator for MOTS used in Proposition 3.1."},{"cited_title":"Galloway and Richard Schoen","cited_arxiv_id":null,"evidence_quote":"Proves the comparison of the principal eigenvalue of the stability operator with that of its symmetrized version, letting stability control the symmetrized operator."}],"review_version":1}