{"id":"29db7720-50d6-45f7-9ca5-0187e9fc3ebb","arxiv_id":"2505.05581","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Introduces electrostatic manifolds with boundary and proves that asymptotic rigidity forces them to be Reissner-Nordström, while compact rigidity gives sharp area bounds on the zero level set of the potential.","lead":"This paper defines electrostatic manifolds with boundary, a new class of Riemannian manifolds with a potential and electric field, and proves rigidity results: under natural boundary conditions, asymptotically flat examples must be Reissner-Nordström, and compact examples with a zero set satisfy sharp area bounds. It generalizes prior static-manifold rigidity theorems to the electrovacuum setting and is relevant to mathematical relativity and scalar curvature problems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The rigidity theorems for non-compact electrostatic manifolds depend on the global exactness of VE♭, which is assumed but not derived from the electrostatic equations.","rationale":"The reader's weakest assumption identifies the same load-bearing condition: Section 4.2 assumes a globally defined electric potential Ψ, i.e., exactness of VE♭. This is genuine and not manufactured. The authors state the assumption openly, but it is nonetheless a nontrivial global hypothesis that the electrostatic equations (Definition 2.3, (E3)) do not imply. The main non-compact rigidity theorems (1.1 and 1.2) are essentially corollaries of external uniqueness theorems in the Ψ-formulation; without exactness, the bridge from the E-formulation to those theorems breaks. I found no internal inconsistency in the local arguments: Lemma 4.3's derivation of the quasi-local photon sphere equations is algebraically sound, and the gluing in Theorem 1.1(II) is a sketch rather than a full proof but follows the cited literature. The unproved Theorems 1.4–1.6 are a presentation deficiency but do not support the strongest rigidity claim. The paper's main theorem should either state the exactness of VE♭ as an explicit hypothesis in Theorem 1.1 and Theorem 1.2 or prove that it follows from the global hypotheses. Since the reader already marked the paper CONDITIONAL, my analysis does not move the verdict.","tokens_in":24171,"tokens_out":9336,"duration_ms":109071,"concrete_test":"Attempt to prove exactness of VE♭ from the remaining hypotheses: study the de Rham cohomology class [VE♭] on a one-ended asymptotically flat M with compact boundary and V>0, using the maximum principle for the local primitives on the covering determined by the kernel of the period map. If a nontrivial period can survive, construct or exhibit a model manifold satisfying Definition 2.3 and the boundary hypotheses of Theorem 1.1(I) but with H^1(M)≠0; if such a model exists, the theorem's scope is strictly smaller than the class of electrostatic manifolds with boundary. If exactness can be proved, the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing concern is the global exactness of the one-form VE♭, not a local curvature estimate. Definition 2.3 only requires d(VE♭)=0 in (E3). The uniqueness proofs, however, are run in the Ψ-formulation of Definition 4.4, which requires VE♭=−dΨ; the paper introduces Ψ in Section 4.2 by explicitly assuming exactness. The paper notes that topological censorship would imply this in a globally hyperbolic static spacetime, but it explicitly does not assume global hyperbolicity or simple connectivity. For a one-ended asymptotically flat manifold with nontrivial H^1 in the compact core, a closed non-exact VE♭ is not excluded by the stated hypotheses. Theorem 1.1(I) then appeals directly to [Jah19, Theorem 3] and Theorem 1.2 to [BCC24, Theorem 3.2], both formulated in terms of Ψ; if exactness fails, those theorems are not applicable. Thus the rigidity conclusions cover only the exact subclass, and the claim that electrostatic boundary rigidity is fully characterized by photon-sphere conditions is conditional on this unproved global hypothesis.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces electrostatic manifolds with boundary, defined by a static potential V, an electric field E, and a Robin-type boundary condition, motivated by the reduction of the source-free Einstein–Maxwell equations in static spacetimes. It derives structural properties (totally umbilical boundary, constant surface gravity on the zero set, variational characterization) and then proves: (i) uniqueness theorems for asymptotically Reissner–Nordström and asymptotically flat electrostatic systems with boundary (Theorems 1.1 and 1.2), using photon-sphere uniqueness results of Jahns and of Borghini–Cederbaum–Cogo; (ii) a compact rigidity/area bound for the zero set of V in three dimensions (Theorem 1.3), generalizing Cruz–Nunes; (iii) a splitting alternative for three-dimensional electrostatic manifolds with boundary (Theorem 1.7); and (iv) intersection properties of the zero set with stable CMC boundary components (Theorem 1.8). The main proofs reformulate the system in terms of an electric potential Ψ, assuming global exactness of VE♭.","tokens_in":24346,"tokens_out":11153,"duration_ms":113552,"significance":"If the results hold, Theorems 1.1 and 1.2 give a clean photon-sphere characterization of electrostatic boundary rigidity in the exact-potential case, and Theorem 1.3 extends the Cruz–Nunes rigidity theorem to nonzero electric fields. The structural lemmas, especially Lemma 3.1, Lemma 4.3, and Lemma 5.3, are useful and clearly stated. The paper is honest about the global exactness assumption on VE♭ and correctly credits the external uniqueness theorems it builds upon. However, the central rigidity statements are conditional on the existence of a globally defined electric potential Ψ, which is not implied by the basic electrostatic-manifold definition (Definition 2.3) and is only argued for via topological censorship under additional assumptions that the paper explicitly does not impose. The contribution is therefore narrower than the title and abstract may suggest. The photon-sphere computation in Appendix 6.2 is consistent with the boundary equation, and the Pohozaev identity computation in Theorem 1.3 checks out once the boundary terms are handled carefully. Several auxiliary theorems are stated without proof, and the gluing argument in Theorem 1.1(II) is compressed.","major_comments":[{"comment":"The global exactness of VE♭ is the load-bearing assumption for the non-compact rigidity theorems. Definition 2.3 only requires d(VE♭)=0, while Definition 4.4 and Definition 4.5 pass to the Ψ-formulation with VE♭=−dΨ. The paper explicitly declines to assume global hyperbolicity or simple connectivity, so a closed-but-inexact VE♭ on a one-ended manifold with nontrivial H^1 in the compact core is not excluded by the stated hypotheses. The proofs of Theorem 1.1(I) and Theorem 1.2 appeal to [Jah19, Theorem 3] and [BCC24, Theorem 3.2], both formulated in terms of Ψ; if exactness fails, those theorems are not applicable. This is not an internal inconsistency, since Definition 4.5 does assume Ψ, but the rigidity theorems are much narrower than the term 'electrostatic manifolds with boundary' suggests. Please state the exactness assumption explicitly in the theorem statements, and either prove it from the remaining hypotheses or state clearly when topological censorship provides it as a theorem with the required extra assumptions.","section":"Section 4.2, Definition 4.4 and Definition 4.5; Theorem 1.1 and Theorem 1.2"},{"comment":"Theorems 1.4, 1.5, and 1.6 are stated as results of the paper but are not proved; the text says the proof 'follows the same arguments as in the proofs of Theorems 1.4 and 1.5 and we will leave it as a simple exercise.' These theorems are not decorative: Theorem 1.5 is used in the proof of Theorem 1.8 and in Corollary 5.6. Since the electrostatic terms change the right-hand side of the sub-static inequality (the trace equation (2.9) contains 2|E|²V), the reduction to [Med24] is not literally automatic. Please provide complete proofs, or at minimum a precise reduction that spells out each electrostatic modification and verifies the boundary condition.","section":"Section 1, after Theorem 1.6; Theorem 1.8 and Corollary 5.6"},{"comment":"The gluing proof is too compressed. The displayed definition of the glued objects reads 'eE=(Ψ,on Ω, Ψ_{m,q},onRN^3_-)', mixing the electric field with the electric potential; the next sentence refers to 'eV and eΨ', and the quadruple is then denoted (fM,eg,eV,eE). The glued metric and potential are only C^{1,1} across the gluing surfaces, yet the proof invokes Bartnik's positive mass theorem and the rigidity case after a conformal change Θ. Please specify exactly which objects are glued (E or Ψ), state the regularity class used for the electrostatic equations across the gluing surfaces, and provide a precise reference for the low-regularity positive mass theorem applied to the C^{1,1} conformally flat metric.","section":"Section 4.3, Proof of Theorem 1.1(II)"},{"comment":"In the case Σ∩∂M≠∅, the proof asserts that Γ=S∩Σ has geodesic curvature 1 in Σ without justification, and the displayed inequality '2κ(πχ(Σ)−|Σ|≥0' appears to be missing a closing parenthesis. The derivation of this inequality from (5.7) is not fully transparent: the boundary term ∫_S Δ_S V = ∫_Γ ∂V/∂ξ and the geodesic-curvature contribution in Gauss–Bonnet need to be written out explicitly. Please give the complete Gauss–Bonnet computation for the free-boundary case, including the sign of ∂V/∂ξ on Γ.","section":"Section 5, proof of Theorem 1.3, free-boundary case"}],"minor_comments":[{"comment":"The notation 'eE=(Ψ,on Ω, Ψ_{m,q},onRN^3_-)' should read 'eΨ=(Ψ,on Ω, Ψ_{m,q},onRN^3_-)', and the later quadruple '(fM,eg,eV, eE)' should be '(fM,eg,eV,eΨ)' or the electric field should be reconstructed from Ψ via VE=−dΨ.","section":"Section 4.3"},{"comment":"The displayed inequality '2κ(πχ(Σ)−|Σ|≥0' lacks a closing parenthesis and should be '2κ(πχ(Σ)−|Σ|)≥0'.","section":"Section 5, proof of Theorem 1.3"},{"comment":"The hypothesis 'assume that on ∂M the inequality V^2≥|1−Ψ^2| holds if V^2>(1−|Ψ|)^2 and that V=1 and Ψ=0 do not both hold' is difficult to parse. Please rephrase this as a clearer set of case distinctions, or explain the logical structure of the assumption.","section":"Theorem 1.2 statement"},{"comment":"Typographical issues: 'Then-dimensional Reissner–Nordstr¨ om manifold' should read 'The n-dimensional Reissner–Nordstr¨ om manifold', and similar missing spaces occur throughout the appendix.","section":"Section 6.1"},{"comment":"The sentence 'By Lemma 5.5 does not vanish on ∂M' is missing the subject 'V'; it should read 'By Lemma 5.5, V does not vanish on ∂M'.","section":"Corollary 5.6 proof"},{"comment":"The notation 'E⊥Σ=V^{-1}(0) along Σ' is ambiguous; it should say 'E is normal to Σ along Σ=V^{-1}(0)'. Also, in Theorem 1.7 the phrase 'V does not vanish on a compact surface in M' is awkward and should be 'V does not vanish on any compact surface in M' or similar.","section":"Remark 1.3 and Theorem 1.7"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about the Ψ assumption, but the exactness of VE♭ is a genuinely restrictive hypothesis and should be advertised in the introduction and abstract. The heavy reliance on [Med24] for Theorems 1.4–1.6 is a self-citation pattern that the journal should check; those theorems need actual proofs in this manuscript since the electrostatic terms are not identical to the static case. The gluing argument in Theorem 1.1(II) needs expansion before the paper can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a solid extension paper. The genuinely new item is the definition of electrostatic manifolds with boundary, combining the Robin boundary condition from static manifolds with the electrostatic system. Lemma 4.3 — boundary components with the right signs and constants are quasi-local photon spheres — is the key observation, and Theorems 1.1 and 1.2 then follow from existing uniqueness theorems of Jahns and Borghini–Cederbaum–Cogo. The authors say this openly; there is no attempt to claim a new technology. The proofs that are written out, especially Theorem 1.3, are generally careful; the Pohozaev computation checks out, including the geodesic curvature term in the free-boundary case.\n\nNow the soft spots, in proportion. First, the exactness of VE♭ is genuinely load-bearing and is hidden in the definitions rather than starred in the theorems. Section 4.2 states that the authors only require exactness and do not assume global hyperbolicity. That is honest. But Definition 2.3 requires only closedness, while Definition 4.4 and Definition 4.5 work with Ψ and exactness. The two classes are not the same. So Theorem 1.1, as written, does not prove rigidity for every electrostatic manifold with boundary in the original sense; it proves rigidity in the Ψ class. I do not think this breaks the paper, but the statements should say so explicitly, and the reading that electrostatic boundary rigidity is fully characterized by photon-sphere conditions should be discouraged. The stress-test concern is fair, though it lands as a framing/definitional gap rather than a mathematical error.\n\nSecond, Theorems 1.4–1.6 are stated without proof, called simple exercises, and then Theorem 1.5 is used in the proof of Corollary 5.6. For a referee, this is the main concrete problem. Either include the short arguments (they are short, since the static case is in the author’s previous paper) or demote those statements to remarks and reprove the specific instance needed in Corollary 5.6.\n\nThird, minor typos: a missing parenthesis in the proof of Theorem 1.3 and “cosnt” in Lemma 5.5. Cosmetic.\n\nOn the citation pattern: the self-citations to Med24 are legitimate, since the static case is exactly the E=0 limit. No circularity.\n\nBottom line: this deserves a serious referee. I would want the exactness assumption flagged at the top of Theorems 1.1 and 1.2, and I would want proofs or demotions for Theorems 1.4–1.6. After that, it is publishable. If you work on static or electrostatic rigidity, cite this for the boundary definition and Lemma 4.3.","headline":"A useful, honest extension paper: new boundary class, known photon-sphere rigidity; conditional on a global electric potential that should be starred in the theorems.","tokens_in":24919,"tokens_out":3845,"would_cite":true,"duration_ms":44915,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C24","53C21","83C22"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper establishes that electrostatic manifolds with boundary are rigid: under photon-sphere boundary conditions, the only complete asymptotically Reissner-Nordström example is the Reissner-Nordström manifold itself.","keywords":["electrostatic manifold with boundary","static manifold with boundary","Reissner-Nordström","photon sphere","rigidity theorem","zero-level set of static potential","Einstein-Maxwell equations","prescribed scalar curvature"],"falsifier":"Build a complete, one-ended, asymptotically Reissner-Nordström electrostatic manifold with compact boundary and a globally defined electric potential, whose boundary satisfies $V=\\mathrm{const}>0$, $H_g<0$, $E$ normal, and $|E|=\\mathrm{const}$, yet which is not isometric to $\\mathrm{RN}^n_-$; Lemma 4.3 would force that boundary to be a quasi-local photon sphere, contradicting the photon-sphere uniqueness theorems.","tokens_in":23912,"feed_emoji":"⚡","tokens_out":8803,"duration_ms":80076,"temperature":0.7,"pith_summary":"This paper introduces electrostatic manifolds with boundary: a Riemannian manifold with a static potential $V$ and an electric field $E$ satisfying a coupled overdetermined system and a Robin boundary condition. It proves that for complete, one-ended asymptotically Reissner-Nordström systems, the boundary data alone determine the geometry: if the compact boundary is sub-extremal, has $V=\\mathrm{const}>0$, $H_g<0$, $E$ normal to the boundary, and $|E|$ constant on the boundary, then the manifold is isometric to the sub-extremal Reissner-Nordström manifold with boundary ($m>|q|$). In three dimensions the same conclusion holds under weaker asymptotic decay and also for $m=|q|$ and $m<|q|$. For compact manifolds the paper proves a Euclidean ball rigidity theorem and structural restrictions on the zero set of $V$. The overall point is that electrostatic boundary rigidity is controlled by photon-sphere conditions.","feed_headline":"Boundary data force Reissner-Nordström geometry","feed_subtitle":"Electrostatic manifolds with boundary are rigid: photon-sphere conditions on the boundary pin the metric to Reissner-Nordström.","key_machinery":"The load-bearing object is the electrostatic manifold with boundary, a quadruple $(M^n,g,V,E)$ satisfying $\\mathrm{Hess}\\,V-(\\Delta V)g-V\\,\\mathrm{Ric}\\,g = 2V(E^\\flat\\otimes E^\\flat - |E|^2 g)$ in $M$ and $\\partial_\\nu V - V B=0$ on $\\partial M$, with $\\mathrm{div}\\,E=0$ and $d(VE^\\flat)=0$. The key mechanism is Lemma 4.3: a compact boundary component with $V=\\mathrm{const}>0$, $H<0$, $E$ normal, and $|E|=\\mathrm{const}$ automatically satisfies the two quasi-local photon-sphere equations $R_S=\\frac{n}{n-1}H_S^2+2|E|^2$ and $\\partial_\\nu V = \\frac{H_S}{n-1}V$. This converts the boundary into an object to which photon-sphere uniqueness theorems apply directly. For those uniqueness arguments the one-form $VE^\\flat$ is assumed exact, giving a globally defined electric potential $\\Psi$ with $VE=-\\nabla\\Psi$; Definition 4.4 rewrites the system in terms of $V$ and $\\Psi$. Lemma 3.1 supplies the structural facts: the zero set of $V$ is totally geodesic, the boundary is totally umbilical, and $dH_g=2E^\\flat(\\nu)E^\\flat$ on the boundary.","core_discovery":"The central claim is that an electrostatic manifold with boundary is rigid exactly when its boundary behaves like a photon sphere. Theorem 1.1 states that a complete, one-ended asymptotically Reissner-Nordström system of mass $m$ and charge $q$ that is an electrostatic manifold with compact boundary, with every boundary component sub-extremal, $V\\neq 0$, $H_g<0$, $V$ constant on the boundary, $E$ normal to the boundary, and $|E|$ constant on the boundary, is isometric to the sub-extremal Reissner-Nordström manifold with boundary $\\mathrm{RN}^n_-$ with $m>|q|$. Theorem 1.2 gives the same conclusion in dimension three under weaker asymptotic decay, covering $m>|q|$, $m=|q|$, and $m<|q|$. The proof shows first that the boundary is itself a quasi-local photon sphere, and then invokes photon-sphere uniqueness theorems. In the compact setting, Theorem 1.3 says that a scalar-flat three-dimensional electrostatic manifold with boundary mean curvature $2$ and $\\mathrm{Ric}_g(E,E)\\geq -2|E|^2_g$, with connected zero set, has zero-set area bounded by $\\pi$ when it meets the boundary and $2\\pi$ when it does not, with equality only for the Euclidean unit ball with a linear potential and $E=0$.","pith_inferences":["If the exactness of $VE^\\flat$ is dropped, the photon-sphere reduction stops working; a natural test is whether closed-but-not-exact electrostatic manifolds can satisfy all four boundary conditions without being Reissner-Nordström, which would make global exactness the true boundary of the rigidity phenomenon.","The boundary data $V=\\mathrm{const}$, $|E|=\\mathrm{const}$, $E$ normal, and $H_g<0$ look like a charged analogue of quasi-local mass boundary data; they might serve as the correct one-sided data for a quasi-local mass in Einstein-Maxwell theory, and the rigidity here suggests such a mass would be minimized exactly by Reissner-Nordström.","The splitting alternative in Theorem 1.7 suggests a charged extension of area-minimizing sphere rigidity: in three-dimensional electrostatic manifolds with $\\Lambda+\\inf_M |E|^2>0$, any homologically nontrivial zero-set component is either a small topological sphere or disk, or the manifold splits locally as a warped product over it."],"forward_implications":["In the asymptotically Reissner-Nordström class, the four boundary conditions $V=\\mathrm{const}$, $|E|=\\mathrm{const}$, $E$ normal, and $H_g<0$ leave no freedom: the metric, potential, and electric field are forced to be those of the sub-extremal Reissner-Nordström manifold cut at its photon sphere.","In three dimensions, the same boundary rigidity survives with weaker asymptotic decay, so the extremal and super-extremal cases $m=|q|$ and $m<|q|$ do not create counterexamples.","In the compact scalar-flat case with boundary mean curvature $2$, a connected zero-level set is either a free-boundary disk of area at most $\\pi$ or a sphere of area less than $2\\pi$; the area bound is saturated only by the Euclidean ball with a linear potential and $E=0$.","For a stable constant-mean-curvature boundary with $E$ normal, the zero set of the potential intersects the boundary at most once; with $E$ tangent and $|E|$ constant, the potential does not vanish on the boundary."],"supporting_citations":[{"why":"Introduces static manifolds with boundary and the variational framework that electrostatic manifolds with boundary generalize.","marker":"[CV19]"},{"why":"Supplies the photon-sphere uniqueness theorem used to conclude isometry to $\\mathrm{RN}^n_-$ in Theorem 1.1.","marker":"[Jah19]"},{"why":"Supplies the equipotential photon-surface uniqueness theorem used for Theorem 1.2 with weaker asymptotic decay and super-extremal cases.","marker":"[BCC24]"},{"why":"Provides the electrostatic-system framework, including the equivalence used in Lemma 2.4 and the splitting argument in Lemma 5.3.","marker":"[CLdS24]"},{"why":"Gives the static ball rigidity theorem that Theorem 1.3 generalizes to the case $E\\neq 0$.","marker":"[CN23]"},{"why":"Provides the static uniqueness theorems and zero-set arguments that the electrostatic versions adapt.","marker":"[Med24]"},{"why":"Provides the conformal factor and compactification lemmas used in the proof of Theorem 1.1(II).","marker":"[KL18]"},{"why":"Positive mass theorem whose rigidity case forces the doubled manifold to be Euclidean and closes the uniqueness argument.","marker":"[Bar86]"}],"fun_headline_variants":["Photon-sphere boundary forces Reissner-Nordström","Electrostatic boundary rigidity pins Reissner-Nordström","Boundary photon sphere dictates Reissner-Nordström","Rigid electrostatic manifolds from photon-sphere boundary","Zero-set area bound in electrostatic manifolds"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness theorems assume that the one-form $VE^\\flat$ is globally exact on $M$, so a single electric potential $\\Psi$ with $VE=-\\nabla\\Psi$ exists everywhere; if it is only closed, the reformulation and the photon-sphere uniqueness arguments do not apply.","fun_headline_variants_meta":{"raw":{"variants":["Photon-sphere boundary forces Reissner-Nordström","Electrostatic boundary rigidity pins Reissner-Nordström","Boundary photon sphere dictates Reissner-Nordström","Rigid electrostatic manifolds from photon-sphere boundary","Zero-set area bound in electrostatic manifolds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00068,"raw_usage":{"total_tokens":3092,"prompt_tokens":952,"completion_tokens":2140,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":568,"completion_tokens_details":{"reasoning_tokens":2057}},"tokens_in":568,"tokens_out":2140,"duration_ms":17349,"temperature":1.0,"reasoning_tokens":2057,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:04:10.746288+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Build a complete, one-ended, asymptotically Reissner-Nordström electrostatic manifold with compact boundary and a globally defined electric potential, whose boundary satisfies $V=\\mathrm{const}>0$, $H_g<0$, $E$ normal, and $|E|=\\mathrm{const}$, yet which is not isometric to $\\mathrm{RN}^n_-$; Lemma 4.3 would force that boundary to be a quasi-local photon sphere, contradicting the photon-sphere uniqueness theorems.","supporting_citations":[],"review_version":1}