{"id":"a7342bbe-32c9-4d09-be76-fd6caa506c64","arxiv_id":"2507.17838","paper_version":1,"verdict":"REJECT","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"The authors claim rigidity and geometric inequalities for a Serrin-type problem on nonnegative Ricci curvature manifolds, but the proofs rely on a false comparison of the P-function boundary value.","lead":"This paper studies an overdetermined boundary value problem for the prescribed mean curvature operator on Riemannian manifolds with nonnegative Ricci curvature, and claims that under certain conditions the domain must be isometric to a Euclidean ball. A generalist reader might look here to see whether classical symmetry theorems survive in curved spaces, but the proofs contain internal inconsistencies, so the claims are not established.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2 is false as stated: the Euclidean ball solution gives a negative value for the asserted integral for every admissible H0; the proof's recalled condition on 1/H0 is not implied by the stated f_+ hypothesis.","rationale":"The reader's rejection is correct, but the strongest reason is Theorem 2's counterexample rather than the Theorem 3 boundary-value slip. The reader's identified issue is real: in the proof of Theorem 3 the paper asserts P>n√(1+c²) or P≡n√(1+c²), whereas Proposition 1 gives P≥n/√(1+c²) with boundary value n/√(1+c²); the same reciprocal factor appears in Lemma 1. That error is repairable by changing every n√(1+c²) to n/√(1+c²). By contrast, Theorem 2 cannot be repaired by a local constant fix: the Euclidean ball solution satisfies every stated hypothesis, yet the claimed integral inequality is negative for all admissible H0. This is a concrete false statement in the main body, so the central geometric-inequality claims of the paper are not established as written. The paper does contain a correct-looking P-function mechanism and some computations are salvageable, but the current manuscript's central claims require rejection until the theorem statements and proofs are amended.","tokens_in":9308,"tokens_out":31593,"duration_ms":339202,"concrete_test":"Check the explicit counterexample symbolically: set n=2, R=1/2, Ω=B_{1/2}⊂R^2, f≡2, and u(x)=√(3/4)-√(1-|x|^2). Compute c=u_ν=(1/2)/√(3/4), w=1/√(3/4), so (u_ν/w)^2=1/4. The boundary mean curvature in the paper's convention is eH=-1/R=-2 (equivalently from Proposition 2's equality formula). The admissibility condition gives -∫ f_+/|∂Ω|=-R=-1/2, so choose H0=-1/4. Then ∫∂Ω(eH-H0)(u_ν/w)^2 dS = (-2+1/4)(1/4)(2π·1/2)=-7π/16<0, while u solves (1.1), f is nondecreasing, f(0)=2, and H0 is admissible. This direct computation disproves Theorem 2 as printed.","verdict_should_be":"REJECT","load_bearing_attack":"The most load-bearing defect is not a typo but a false main statement. Consider M=R^2, Ω=B_R with R∈(0,1), f≡2, and u(x)=√(1-R^2)-√(1-|x|^2). Then div(Du/w)=2=f(u), u=0 on ∂Ω, and u_ν=c=R/√(1-R^2)>0, so all hypotheses of Theorem 2 except the conclusion are satisfied. On ∂Ω, w=1/√(1-R^2), hence (u_ν/w)^2=R^2. With the paper's outward-normal convention used in Proposition 2, the boundary mean curvature is eH=-1/R: this is exactly the equality value forced by Proposition 2 for this radial solution. The admissibility interval in Theorem 2 is -∫Ω f_+(u)/|∂Ω| = -R, so every H0∈[-R,0) is admissible. Since -1/R < H0 for R∈(0,1), we have eH-H0=-1/R-H0<0, so ∫∂Ω (eH-H0)(u_ν/w)^2 dS <0 for every admissible H0. Thus the theorem's main estimate is false in the natural equality (ball) case. The proof replaces f_+ by f and uses the recalled inequality 1/H0 ≥ -∫ f(u)/|∂Ω|, which is neither assumed nor derivable from the stated condition; for this example no H0 satisfies it. No constant/sign correction short of changing the theorem's hypotheses repairs the displayed inequality.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the overdetermined boundary value problem div(Du/w)=f(u) in a bounded domain Ω of a Riemannian manifold with nonnegative Ricci curvature, together with u=0 and u_ν=c>0 on the boundary, where w=√(1+|Du|²). The authors introduce the P-function P=n/w+F(u), claim it is superharmonic (Proposition 1), derive boundary inequalities (Proposition 2), and use them to prove a Heintze-Karcher-Ros inequality (Theorem 1), a Soap-Bubble-type theorem (Theorem 2), and, via a Pohozaev-type identity involving a closed conformal vector field (Lemma 1), a rigidity theorem (Theorem 3). The central claims are that equality or the relevant assumptions force Ω to be isometric to a Euclidean ball and u to be radial.","tokens_in":9646,"tokens_out":8366,"duration_ms":88094,"significance":"Extending Serrin-type and Soap-Bubble rigidity results to Riemannian manifolds with nonnegative Ricci curvature is a worthwhile goal, and the paper combines classical tools (P-function, Hopf maximum principle, Pohozaev identities) in a natural way. The algebraic structure of Lemma 1 is plausible and could be useful. However, the proofs of the three main theorems contain load-bearing errors: the boundary comparison in Theorem 3 is inverted, Theorem 2 is false as stated, and the Obata equation in Proposition 1 has the wrong coefficient. Because these defects affect the central rigidity claims, the manuscript in its current form does not establish the advertised results.","major_comments":[{"comment":"The proof asserts that Proposition 1 gives the alternative P > n√(1+c²) in Ω or P ≡ n√(1+c²). This is inconsistent with the definition of P. On ∂Ω we have u=0 and w=√(1+c²), so P=n/√(1+c²). A valid superharmonicity result would give P ≥ n/√(1+c²) in Ω (or P ≡ n/√(1+c²)), not P ≥ n√(1+c²). The reciprocal comparison is exactly what makes the contradiction with the assumed nonnegativity of ∫Φ work; with the correct lower bound, the same argument gives no sign information on ∫Φ. Therefore the proof of Theorem 3 collapses.","section":"§3, proof of Theorem 3"},{"comment":"Theorem 2 is false as stated. Take M=R², n=2, Ω=B_R with R∈(0,1), and f≡2. Let u(x)=√(1-R²)-√(1-|x|²). Then div(Du/w)=2=f(u), u=0 on ∂Ω, and u_ν=R/√(1-R²)=c>0. On ∂Ω, w=1/√(1-R²), so (u_ν/w)²=R², and with the outward-normal convention eH=-1/R. The admissibility interval is -∫ f_+(u)/|∂Ω|=-R, so every H0∈[-R,0) is admissible. For every such H0, -1/R-H0<0 because H0≥-R and R<1, hence ∫_{∂Ω}(eH-H0)(u_ν/w)² dS = 2πR³(-1/R-H0)<0. This contradicts the claimed inequality. Moreover, the proof invokes the inequality 1/H0 ≥ -∫ f(u)/|∂Ω|, which is neither assumed nor derivable from the stated hypothesis on f_+; in this example no admissible H0 satisfies it.","section":"§2, Theorem 2"},{"comment":"Independently of the counterexample, the derivation of Theorem 2 contains an algebraic error. Proposition 2 gives u_ν(f(0)+n eH u_ν w)≥0 with w=√(1+c²) on ∂Ω. Dividing by w and integrating yields f(0)∫ u_ν/w + n(1+c²)∫ eH (u_ν/w)², because u_ν²=(1+c²)(u_ν/w)². The paper instead writes n∫ eH (u_ν/w)², omitting the factor 1+c². This invalidates the displayed chain of inequalities even if the hypothesis on H0 were corrected.","section":"§2, display (2.6) and proof of Theorem 2"},{"comment":"The Obata equation has the wrong coefficient. From the preceding lines, ∇²u = f(0)(c-uf(0))/n² g, so ∇²(c-uf(0)) = -f(0)²(c-uf(0))/n² g. The paper states ∇²(c-uf(0)) = -(f(0)²/n)(c-uf(0))g, missing a factor 1/n. This changes the claimed curvature of the model spherical cap and undermines the equality-case conclusion of Proposition 1, on which the rigidity parts of Theorems 1 and 2 rely.","section":"§2, Proposition 1"}],"minor_comments":[{"comment":"There is a typo in the sentence \"Suppose by contradiction that P > n√(1+c²) em Ω\"; \"em\" should be \"in\".","section":"§3, proof of Theorem 3"},{"comment":"The formula ∂_t(H)=(1/n)f'(u)|∇u|² is not adequately explained; the Jacobi formula from [1] uses a vertical derivative convention that should be stated explicitly, since it affects the superharmonicity computation.","section":"§2, equation (2.1)"},{"comment":"The constant in the definition of a closed homothetic vector field is also denoted c, which clashes with the boundary constant c in problem (1.1); a different symbol would avoid confusion.","section":"Corollary 1"},{"comment":"Several references are cited by arXiv identifiers or without complete publication data (for example [3] and [14]); the final publication details should be supplied.","section":"References"}],"recommendation":"reject","confidential_remarks":"The counterexample to Theorem 2 and the inverted boundary comparison in Theorem 3 are decisive. The false statement in Theorem 2 is not a local presentation issue, and the proof of Theorem 3 cannot be repaired by a small correction because the contradiction relies on the wrong reciprocal factor. I therefore recommend rejection even though the paper addresses an interesting problem and contains a potentially useful Pohozaev identity."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know: this paper tries to extend Serrin-type rigidity to the prescribed mean curvature equation on nonnegative Ricci curvature manifolds. The P-function P = n/w + F(u) and the Pohozaev identity in Lemma 1 are natural tools, and the identity itself may be correct and reusable. But the main theorems fail as written. In Theorem 3 the proof switches the boundary value of P from n/√(1+c²) to n√(1+c²). That is the opposite of the constant, and the contradiction with the integral hypothesis rests on it. In Theorem 2, the admissibility condition on H0 does not imply the inequality 1/H0 ≥ -∫f/|∂Ω| used in the proof. I checked the counterexample in the stress-test note: for Ω=B_R⊂R², f≡2, u=√(1-R²)-√(1-|x|²), every H0∈[-R,0) is admissible and the displayed integral is negative for each one. So the Soap Bubble theorem is false as stated, not just unproved. Proposition 1 also has a coefficient error: ∇²v = -(f(0)²/n²)v g, not -(f(0)²/n)v g, which matters for the constant case.\n\nWhat is genuinely useful: the problem is well motivated, the P-function method is appropriate, and the Pohozaev identity may survive as a lemma. The citations are on point; I don't see citation inflation or self-citation beyond context. But the core rigidity claims, the advertised delivery, collapse.\n\nThis is for readers working on overdetermined problems who want to see a cautionary example of how boundary-value constants can derail a P-function argument. It is not ready for peer review as a research contribution. My recommendation: desk reject, with a clear path to resubmission if the authors repair the boundary comparison and restate the admissibility hypotheses.","headline":"Rigidity theorems fail: the P-function boundary comparison is inverted, and Theorem 2 is false as stated.","tokens_in":10172,"tokens_out":5145,"would_cite":false,"duration_ms":50121,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35N25","53C24","35B50","53B30","58J05"],"pacs":[],"model":"deepseek-v4-flash","headline":"A Serrin-type overdetermined problem on Riemannian manifolds is claimed to force the domain to be a Euclidean ball.","keywords":["Overdetermined problem","Prescribed mean curvature","P-function method","Rigidity","Euclidean ball","Nonnegative Ricci curvature","Closed conformal vector field","Pohozaev identity"],"falsifier":"Evaluate $P$ along an explicit Euclidean ball solution of the problem: on the boundary $P=n/\\sqrt{1+c^2}$, whereas the proof's dichotomy requires $P>n\\sqrt{1+c^2}$ or $P\\equiv n\\sqrt{1+c^2}$ in $\\Omega$. Since $n\\sqrt{1+c^2}>n/\\sqrt{1+c^2}$ for $c>0$, any solution with $P$ lying between these two values at some interior point would break the dichotomy and show the written rigidity argument cannot go through.","tokens_in":9119,"feed_emoji":"⚪","tokens_out":7395,"duration_ms":64137,"temperature":0.7,"pith_summary":"This paper aims to extend the classical Serrin symmetry theorem and the Alexandrov soap-bubble rigidity to an overdetermined problem of divergence form on Riemannian manifolds with nonnegative Ricci curvature. The problem asks whether a bounded domain $\\Omega$ admits a solution $u$ to $\\operatorname{div}(Du/\\sqrt{1+|Du|^2})=f(u)$ with $u=0$ and constant normal derivative $c$ on the boundary; the authors argue that under natural hypotheses the only possible domains are Euclidean balls and the solution is radial. The argument is carried by the $P$-function $P=n/\\sqrt{1+|Du|^2}+F(u)$, which is shown to be superharmonic, and leads to Heintze\\textendash Karcher\\textendash Ros-type and soap-bubble-type inequalities. The main rigidity statement, Theorem 3, uses a Pohozaev identity tied to a closed conformal vector field to convert a sign condition on an integral into the conclusion that $u$ is radial and $\\Omega$ is isometric to a Euclidean ball.","feed_headline":"Overdetermined PDE rigidity forces Euclidean balls","feed_subtitle":"On Ricci-nonnegative manifolds, a P-function argument shows balls are the only possible domains.","key_machinery":"The load-bearing object is the $P$-function $P=n/w+F(u)$, with $w=\\sqrt{1+|Du|^2}$ and $F(u)=\\int_0^u f(t)\\,dt$. For a solution of the problem, the graph of $u$ has mean curvature $f(u)/n$, and a Jacobi-type formula for the angle function $\\Theta=1/w$ turns into superharmonicity $\\Delta P\\le 0$ under $\\mathrm{Ric}\\ge 0$ and $f'\\ge 0$. The Hopf maximum principle then forces $P$ to reach its minimum on the boundary, yielding the Heintze\\textendash Karcher\\textendash Ros and soap-bubble inequalities. The final rigidity step is a Pohozaev-type identity derived from a closed conformal vector field $\\Upsilon$ (a field satisfying $D_Y\\Upsilon=\\varphi Y$ for all $Y$, with $\\operatorname{div}\\Upsilon=n\\varphi$), which combines with the assumed sign of an integral to rule out the nonconstant $P$ alternative.","core_discovery":"On the paper's own terms, the central claim is Theorem 3: if $M$ has nonnegative Ricci curvature, there is a closed conformal vector field $\\Upsilon$ with $\\operatorname{div}\\Upsilon=n\\varphi$ and $\\varphi>0$ on $\\Omega$, $u$ solves the overdetermined problem with $f$ non-decreasing and $f(0)\\neq 0$, and the integral $\\int_\\Omega (F(u)-uf(u)-u\\langle D(\\ln\\varphi),Du/w\\rangle)\\varphi\\,dv\\ge 0$, then $u$ is radial and $\\Omega$ is isometric to a Euclidean ball. The same rigidity conclusion is reached in Theorem 2 under a negative upper bound on the boundary mean curvature, and in Theorem 1 as the equality case of a Heintze\\textendash Karcher\\textendash Ros-type inequality. In short, overdetermination plus nonnegative Ricci curvature plus monotone nonlinearity is claimed to single out Euclidean balls among all bounded domains.","pith_inferences":["The same scheme could plausibly adapt to other divergence-form operators, such as $p$-Laplacian or weighted mean-curvature equations, wherever a superharmonic $P$-function and a Pohozaev identity are available.","The integral sign condition in Theorem 3 is not obviously checkable from the PDE; a natural next step would be to find geometric or convexity hypotheses on $\\Omega$ that imply it.","If the comparison constant in the proof is corrected to $n/\\sqrt{1+c^2}$, the contradiction with the assumed integral sign would require a sharper lower bound on $P$ than the maximum principle alone provides."],"forward_implications":["For $f(u)=n$, the rigidity conclusion says the only domain supporting a solution with constant normal derivative is a Euclidean ball (Corollary 1).","Equality in the Heintze\\textendash Karcher\\textendash Ros-type inequality isolates the Euclidean ball, giving a companion to Alexandrov's soap-bubble theorem for this equation.","The soap-bubble-type theorem converts a negative upper bound on boundary mean curvature into radial symmetry of $u$ and ball rigidity of $\\Omega$.","The $P$-function approach, originally built for Euclidean Serrin problems, is shown to work for divergence-form operators on curved backgrounds with nonnegative Ricci curvature."],"supporting_citations":[{"why":"Supplies the classical Serrin overdetermined problem and the symmetry result being extended.","marker":"[29]"},{"why":"Introduces the P-function method on which the paper's arguments are built.","marker":"[31]"},{"why":"Provides the integral-inequality proof of Alexandrov's theorem and the Heintze-Karcher inequality used here.","marker":"[27]"},{"why":"Used to conclude that a domain whose boundary is a sphere, with nonnegative Ricci curvature, is a Euclidean ball.","marker":"[32]"},{"why":"Supplies the Obata-type theorem invoked in the constant P-function case.","marker":"[25]"},{"why":"Motivates the Pohozaev identity for overdetermined Weingarten problems.","marker":"[17]"},{"why":"Gives the previous rigidity result for $f(u)=n$ in Euclidean space that the present theorem extends.","marker":"[9]"},{"why":"Treated the constant-$f$ case and established the Euclidean ball conclusion under star-shapedness.","marker":"[12]"}],"fun_headline_variants":["Rigid overdetermined PDEs force Euclidean balls on Ricci-nonnegative manifolds","Only Euclidean balls solve overdetermined PDEs on Ricci-nonnegative manifolds","Overdetermination plus nonnegative Ricci: only Euclidean balls arise","P-function rigidity: overdetermined PDEs on nonnegative Ricci yield balls","On Ricci-nonnegative manifolds, overdetermined PDEs imply Euclidean balls"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the rigidity theorem assumes that the $P$-function, whose boundary value is $n/\\sqrt{1+c^2}$, either stays strictly above $n\\sqrt{1+c^2}$ throughout $\\Omega$ or is constant, while the maximum principle only delivers the weaker comparison $P\\ge n/\\sqrt{1+c^2}$; the stronger comparison is the load-bearing unproved premise.","fun_headline_variants_meta":{"raw":{"variants":["Rigid overdetermined PDEs force Euclidean balls on Ricci-nonnegative manifolds","Only Euclidean balls solve overdetermined PDEs on Ricci-nonnegative manifolds","Overdetermination plus nonnegative Ricci: only Euclidean balls arise","P-function rigidity: overdetermined PDEs on nonnegative Ricci yield balls","On Ricci-nonnegative manifolds, overdetermined PDEs imply Euclidean balls"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000789,"raw_usage":{"total_tokens":3406,"prompt_tokens":799,"completion_tokens":2607,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":415,"completion_tokens_details":{"reasoning_tokens":2504}},"tokens_in":415,"tokens_out":2607,"duration_ms":21334,"temperature":1.0,"reasoning_tokens":2504,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T14:41:00.378907+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate $P$ along an explicit Euclidean ball solution of the problem: on the boundary $P=n/\\sqrt{1+c^2}$, whereas the proof's dichotomy requires $P>n\\sqrt{1+c^2}$ or $P\\equiv n\\sqrt{1+c^2}$ in $\\Omega$. Since $n\\sqrt{1+c^2}>n/\\sqrt{1+c^2}$ for $c>0$, any solution with $P$ lying between these two values at some interior point would break the dichotomy and show the written rigidity argument cannot go through.","supporting_citations":[{"cited_title":"Serrin, A symmetry problem in potential theory , Arch","cited_arxiv_id":null,"evidence_quote":"Supplies the classical Serrin overdetermined problem and the symmetry result being extended."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the P-function method on which the paper's arguments are built."},{"cited_title":"Ros, Compact hypersurfaces with constant higher order mean curvatures, Rev","cited_arxiv_id":null,"evidence_quote":"Provides the integral-inequality proof of Alexandrov's theorem and the Heintze-Karcher inequality used here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Used to conclude that a domain whose boundary is a sphere, with nonnegative Ricci curvature, is a Euclidean ball."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Obata-type theorem invoked in the constant P-function case."},{"cited_title":"Jia, Overdetermined problems for Weingarten hypersurfaces, Calc","cited_arxiv_id":null,"evidence_quote":"Motivates the Pohozaev identity for overdetermined Weingarten problems."},{"cited_title":"Farina, and B","cited_arxiv_id":null,"evidence_quote":"Gives the previous rigidity result for $f(u)=n$ in Euclidean space that the present theorem extends."},{"cited_title":"Fragala, F","cited_arxiv_id":null,"evidence_quote":"Treated the constant-$f$ case and established the Euclidean ball conclusion under star-shapedness."}],"review_version":1}