{"id":"a784e2a5-5ed6-4954-aa2b-94af237e5c96","arxiv_id":"2411.18508","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the Obata-type equation with Robin boundary constant c>1 and suitable curvature bounds, the manifold is forced to be a geodesic ball in hyperbolic space, or a warped product over a standard sphere.","lead":"What it found: if a curved space with boundary carries a function whose Hessian is the function times the metric, and the boundary obeys a Robin rule with constant c>1, then under mild curvature bounds the space must be a geodesic ball in hyperbolic space or a warped product over a sphere. Why read it: it completes the rigidity classification for these equations and yields sharp eigenvalue inequalities.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 hinges on the unstated rigidity theorem [6, Thm 0.3]: the proof of Theorem 1.1 cannot be completed without verifying that Ge's theorem applies to the constructed pair (Ω0, ∂Ω0) with the derived constants and orientation.","rationale":"I read the paper in good faith and checked the two items the reader worried about. Proposition 2.2 (integral curves of ∇f/|∇f| are geodesics) is actually correct and easy to verify: with r = |∇f|, ∇_V V = 0 follows immediately from ∇^2 f = f g and V = ∇f/r. So that part of the reader's weakest assumption is not a real concern. The orthogonality assertion in Proposition 3.1(3) is genuinely unproved and non-obvious, but it is used in the proof of Proposition 1.3(1) and hence in Theorem 1.2, not in the proof of the central Theorem 1.1. For Theorem 1.1, the decisive unverified step is the appeal to Ge's Theorem 0.3 to identify Ω0 as a hyperbolic ball. The paper derives Ric_{Ω0} ≥ -(n-1), H_{∂Ω0} ≥ c, and a lower bound on the distance from A to ∂Ω0, and then jumps to rigidity. Because the exact statement of [6, Thm 0.3] is not given, the reader cannot check whether all hypotheses, including orientation and boundary connectivity, are satisfied. I found no internal contradiction or obvious counterexample, so this is an addressable gap rather than a fatal flaw. The appropriate verdict remains conditional: the main theorems are plausible, but this external rigidity input must be stated and verified. Hence I keep the reader's verdict unchanged, with partial agreement because the reader identified the imported theorem but placed more weight on the orthogonality issue.","tokens_in":17791,"tokens_out":25066,"duration_ms":248607,"concrete_test":"Retrieve Ge (2015), Theorem 0.3, and write its hypotheses verbatim. Then check each hypothesis for the Ω0 constructed in §4: (i) Ric_{Ω0} ≥ -(n-1), (ii) H_{∂Ω0} ≥ c with respect to the outward normal of ∂Ω0 in Ω0, (iii) existence of a compact set A with d(A, ∂Ω0) ≥ tanh^{-1}(1/c), and (iv) any connectedness or diameter assumption imposed by Ge's statement. If all match, the step is justified and the reader's conditional verdict can stand. If Ge's theorem instead gives an inradius upper bound, or requires a point (not a set) at maximal distance, or uses the opposite mean-curvature sign, then the proof of Theorem 1.1 needs a replacement argument before it is complete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is Theorem 1.1. In §4, after building the warped-product model and the graph function φ, the proof derives three properties of Ω0: Ric_{Ω0} ≥ -(n-1), mean curvature H_{∂Ω0} ≥ c, and the distance estimate r := tanh^{-1}(1/c) ≤ d(A, ∂Ω0) for A = {φ = r}. It then says: 'by the fact that tanh^{-1}(1/c) ≤ d(A,∂Ω0) and Theorem 0.3 in [6], we conclude that Ω0 is isometric to a geodesic ball of radius tanh^{-1}(1/c) in the hyperbolic space H^n and A consists of a single point.' This single sentence is the decisive step: without it, the rest of the proof only shows that Ω is a graph domain over an unknown compact manifold Ω0, not a hyperbolic ball. The manuscript neither states Theorem 0.3 nor checks its hypotheses. In particular, it does not verify boundary connectedness of ∂Ω0, the exact sign/orientation of the mean-curvature lower bound required by [6], or whether Ge's theorem needs a lower bound d(A,∂Ω0) ≥ r or an upper bound inradius ≤ r. If Ge's theorem is stated with a different normalization or additional hypotheses, the conclusion 'Ω0 is a hyperbolic ball' has no support. This is an external dependence, not an internal inconsistency, but it is the most load-bearing unverified step in the argument.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Obata-type equation ∇²f − f g = 0 with Robin boundary condition f_ν = c f, c = coth θ > 1, on a complete connected (n+1)-dimensional manifold with compact boundary. It first proves a structural result (Proposition 1.3) asserting that, depending on whether f is constant on a boundary component, Ω is either a warped product Ω₀ × [−θ,∞) or Ω₀ × [−θ,θ] with metric dt² + cosh²t g_{Ω₀}, or a Z₂-symmetric graph domain over a compact manifold Ω₀ with graph function φ satisfying a first-order PDE. Under the curvature assumption Ric_Ω ≥ −n and boundary mean curvature H ≥ c, Theorem 1.1 concludes that Ω is isometric to a geodesic ball of radius tanh⁻¹(1/c) in hyperbolic space H^{n+1}. Theorem 1.2, under a sectional-curvature type condition (K2) and a lower diameter bound, concludes that boundary components are round spheres and Ω is a warped product over Sⁿ. Theorem 1.4 establishes the analogous spherical rigidity for ∇²f + f g = 0. The paper also derives two eigenvalue inequalities with rigidity statements from Reilly-type formulas.","tokens_in":18070,"tokens_out":8930,"duration_ms":76975,"significance":"If the proof is completed, these results add new cases to the Obata-type rigidity classification for the Robin boundary value problem with c > 1, complementing the c < 1 result of Lai–Zhou and the Euclidean/Neumann results of Xia–Xiong and Chen–Lai–Wang. The paper has several genuine strengths: the ODE derivation of the warped-product metric in Propositions 3.2 and 3.3 is clean; the construction of the distance-like function v with |∇v| ≡ 1 and the distance estimate t ≤ d(A,T_t) are explicit and checkable; the maximum-principle uniqueness of the graph function φ in Proposition 3.9 is sound; and the Gauss-equation computation in Proposition 4.2 is correct. The main theorems are clearly stated and the overall strategy is coherent.","major_comments":[{"comment":"The decisive step 'by the fact that tanh⁻¹(1/c) ≤ d(A,∂Ω₀) and Theorem 0.3 in [6], we conclude that Ω₀ is isometric to a geodesic ball ... and A consists of a single point' is not supported as written. Theorem 0.3 of [6] is neither stated nor quoted, and the proof does not verify its hypotheses for the constructed pair (Ω₀, ∂Ω₀): the connectedness of ∂Ω₀ if required, the sign/orientation of the mean-curvature lower bound H_{∂Ω₀} ≥ c, and whether the needed geometric input is a lower bound or an upper bound on the inradius. Since this is the only step that turns Ω₀ into a hyperbolic ball, the authors should state Theorem 0.3 and check each hypothesis explicitly, including the normalization of the hyperbolic space and of the mean curvature.","section":"§4, proof of Theorem 1.1"},{"comment":"The assertion 'We then know that γ'_{p₀}(h(p₀)) ⊥ T_{γ_{p₀}(h(p₀))}Σ' is load-bearing: it is used to derive h(p₀) = 2θ and hence h ≡ 2θ, which in turn yields the warped-product splitting in Proposition 1.3(1). However, no proof or reference is given for this orthogonality. It should be justified by a first-variation argument for the exit time from the boundary component S, or the relevant lemma from [2] should be stated and proved.","section":"§3, Proposition 3.1(3)"},{"comment":"After applying Theorem 0.3 of [6], the proof says 'we can use the similar method discussed above to prove tanh⁻¹(1/c) − t ≤ d(T_t,∂Ω₀), and we then have T_t = S_t'. This step is necessary for identifying v with the distance from the center and for eventually recognizing Σ as a geodesic sphere through Proposition 2.3, but the argument is omitted. In particular, the text should explain how the two distance lower bounds force equality in the triangle inequality, so that every point of T_t has distance exactly t from the center A = {x₀}.","section":"§4, proof of Theorem 1.1, identification of level sets"}],"minor_comments":[{"comment":"Proposition 2.2 is stated without proof and cited to [2]; since the fact that the integral curves of ∇f/|∇f| are geodesics is used throughout the paper, a one-line proof (it follows directly from ∇²f = f g together with |∇f|² − f² = 1) or a precise lemma reference in [2] would make the paper more self-contained.","section":"§2, Proposition 2.2"},{"comment":"In the displayed estimate for t ≤ d(A,T_t), the term v(γ(s))|_{l−ε}^{ε} has the integration limits reversed; the correct expression should be v(γ(l−ε)) − v(γ(ε)), or an absolute value should be taken. As written, the displayed equality has the wrong sign.","section":"§4, proof of Theorem 1.1, distance estimate"},{"comment":"There are repeated spelling errors: 'isometirc' should be 'isometric' (e.g., in Proposition 1.3, Theorem 1.2, and Proposition 3.2), and 'connetced' should be 'connected' in the proof of Proposition 1.3(2).","section":"Throughout"},{"comment":"In the uniqueness proof, the monotonicity statement for the function h(t) should explicitly specify the interval (0,θ), and the contradiction should explicitly note that at an interior maximum of φ−ψ one has ∇(φ−ψ)(p) = 0; this is clear but currently implicit.","section":"§3, Proposition 3.9"}],"recommendation":"major_revision","confidential_remarks":"The paper's central theorems are plausible and the internal computations largely check out, but the proof of Theorem 1.1 currently rests on an unstated external rigidity theorem ([6, Thm 0.3]) whose hypotheses are not verified, and on a few terse assertions that need to be expanded. I would be willing to review a revised version that states and verifies the external theorem and fills the omitted arguments."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"New result worth knowing: the paper treats the Obata-type equation Hess f = f g with Robin condition f_nu = c f for c>1, a case not covered by earlier work on the + equation or on c<1. Proposition 1.3 gives a warped-product splitting of the manifold without curvature assumptions; that is genuinely new and is the backbone of the paper. The rigidity theorems (1.1, 1.2, 1.4) are plausible and the computations I checked are clean: the derivation of |grad v|=1 and the Gauss equation sum in Proposition 4.2 are correct, and the eigenvalue corollaries are sharp.\n\nThe main soft spot is the proof of Theorem 1.1. After deriving Ric_{Omega0} >= -(n-1), H_{partial Omega0} >= c, and the distance bound r <= d(A,partial Omega0), the proof invokes a theorem of Ge (Theorem 0.3 in [6]) to conclude Omega0 is a hyperbolic ball. That theorem is not stated and its hypotheses are not checked: boundary connectedness of partial Omega0, the orientation of the mean-curvature bound, and whether Ge's inequality goes the right way. I could not verify this step from the preprint. It may well be fine -- the inequality direction is consistent with the usual inradius comparison and equality case -- but as written it is a load-bearing black box.\n\nTwo smaller things. Proposition 3.1(3) asserts that the exit geodesic meets the other boundary component orthogonally. This is true: at the exit point f equals the extremal value, so the tangential gradient vanishes and grad f is normal. But the paper doesn't say that. And Proposition 2.2 is cited to [2]; it is a one-line computation, so the citation is harmless but the paper could be self-contained.\n\nI also want the authors to clarify how much of Theorems 1.1 and 1.4 overlaps their own [12], since they say they extend Corollaries 4.5 and 4.4 of that paper. Without seeing [12] I can't judge the increment; a referee should ask.\n\nBottom line: the central argument appears sound, and the gaps are expositional and fixable. I would send this to a serious referee, asking them specifically to verify the application of Ge's theorem and to fill the terse steps. Probably not desk reject.","headline":"Useful new rigidity results for the Obata equation with Robin boundary condition c>1; the main arguments are sound but one load-bearing step is an unstated external theorem.","tokens_in":18670,"tokens_out":7254,"would_cite":true,"duration_ms":61403,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C24","53C21"],"pacs":[],"model":"deepseek-v4-flash","headline":"A manifold with Ricci curvature at least $-n$ and boundary mean curvature at least $c>1$ must be a hyperbolic geodesic ball if it admits a non-constant solution of the Obata-type Robin equation.","keywords":["Obata type equation","Robin boundary condition","hyperbolic space","rigidity theorem","warped product","mean curvature","standard sphere","eigenvalue inequality"],"falsifier":"Take the model case of a hyperbolic geodesic ball of radius $\\tanh^{-1}(1/c)$ with $f=\\sinh t$ and check whether the two geometric assertions hold by direct computation. More decisively, build a complete warped product $\\Omega_0\\times\\mathbb{R}_t$ with metric $dt^2+\\cosh^2 t\\, g|_{\\Omega_0}$ over a compact base, choose a boundary graph $\\varphi$ solving the paper's first-order equation, and test whether the first-exit curve orthogonality can fail; a single such example satisfying $\\mathrm{Ric}\\ge -n$ and $H\\ge c$ but not isometric to the hyperbolic ball would refute Theorem 1.1.","tokens_in":17537,"feed_emoji":"📐","tokens_out":9993,"duration_ms":81941,"temperature":0.7,"pith_summary":"The paper studies the Obata-type equation $\\nabla^2 f - f g = 0$ with Robin boundary condition $f_\\nu = c f$, $c = \\coth\\theta > 1$, on a complete Riemannian manifold with compact boundary. Its central claim is that, under the curvature bounds $\\mathrm{Ric} \\ge -n$ and boundary mean curvature $H \\ge c$, the existence of a non-constant solution forces the manifold to be isometric to a geodesic ball of radius $\\tanh^{-1}(1/c)$ in hyperbolic space $\\mathbb{H}^{n+1}$. A companion theorem classifies the boundary under a different curvature condition plus a diameter lower bound, giving warped products over round spheres, and a spherical analogue forces a geodesic ball of radius $\\tan^{-1}(1/c)$ in $\\mathbb{S}^{n+1}$. The paper thus adds a new rigidity case to the Obata-type classification for Robin boundary conditions with $c>1$, where the solution has no critical points.","feed_headline":"Robin Obata equation forces a hyperbolic geodesic ball","feed_subtitle":"For manifolds with Ricci curvature at least -n and boundary mean curvature at least c>1, the metric is rigid.","key_machinery":"The engine is the warped-product splitting induced by the level sets of $f$. From $\\nabla^2 f = f g$ and $f_\\nu=c f$ one obtains the constant $|\\nabla f|^2 - f^2 = A>0$; after scaling $A=1$, the function $f$ becomes $\\sinh t$ along its normalized gradient flow, whose integral curves are geodesics. The zero set $\\Omega_0$ is a totally geodesic hypersurface, and $\\Omega$ is embedded in the warped product $\\Omega_0\\times(-\\infty,\\infty)_t$ with metric $dt^2+\\cosh^2 t\\, g|_{\\Omega_0}$ and boundary given by graphs $\\pm\\varphi$. The graph function $\\varphi$ is constrained by $\\cosh\\varphi/\\sqrt{1+\\cosh^{-2}\\varphi|\\nabla^{\\Omega_0}\\varphi|^2}=c\\sinh\\varphi$, a PDE whose comparison with distance functions in $\\mathbb{H}^n$ is what turns the curvature assumptions into the conclusion that $\\Omega_0$ is a hyperbolic ball.","core_discovery":"On its own terms, the paper establishes a rigidity classification. Let $\\Omega^{n+1}$ be smooth, complete, connected, with compact boundary $\\Sigma$, satisfying $\\mathrm{Ric}_{\\Omega}\\ge -n$ and mean curvature $H\\ge c=\\coth\\theta>1$. If a non-constant smooth $f$ solves $\\nabla^2 f - f g = 0$ in $\\Omega$ and $f_\\nu = c f$ on $\\Sigma$, then $\\Omega$ is isometric to the geodesic ball of radius $\\tanh^{-1}(1/c)$ in $\\mathbb{H}^{n+1}$. The proof first normalizes the conserved quantity $|\\nabla f|^2 - f^2$ to be $1$, so $f$ has no critical points, and uses the fact that flow lines of $\\nabla f/|\\nabla f|$ are geodesics. The zero level set $\\Omega_0=\\{f=0\\}$ then carries a warped-product description of $\\Omega$ as a $\\mathbb{Z}_2$-symmetric domain in $\\Omega_0\\times\\mathbb{R}_t$ with metric $dt^2 + \\cosh^2 t\\, g|_{\\Omega_0}$ and $f=\\sinh t$, bounded by graphs $\\pm\\varphi$ satisfying a first-order equation. Curvature and boundary comparisons force $\\Omega_0$ to be a hyperbolic ball and the graph equation makes $\\Sigma$ a geodesic sphere, completing the rigidity.","pith_inferences":["The same warped-product and graph-function scheme suggests a quantitative stability version: manifolds that nearly satisfy $\\mathrm{Ric}\\ge -n$ and $H\\ge c$ and admit an approximate solution should lie close to the hyperbolic ball in a Gromov-Hausdorff sense; the paper does not pursue this.","Because the proof separates the graph equation from the curvature comparison, one could test whether $H\\ge c$ can be weakened to an integral or average mean-curvature condition while preserving the rigidity, which would link the result to boundary spectral inequalities.","The boundary diameter lower bound in Theorem 1.2 is an input rather than a conclusion; a natural test is whether warped products over compact non-round bases with diameter below that threshold satisfy (K2) and the Robin equation, which would show the bound is necessary rather than technical."],"forward_implications":["A direct corollary of Theorem 1.1 is that completeness plus the curvature bounds already imply compactness, with a single boundary component.","In the spherical analogue, the same argument shows that a complete manifold with $\\mathrm{Ric}_{\\Omega}\\ge n$, $H\\ge c>0$, and a non-constant solution of $\\nabla^2 f + f g=0$ with $f_\\nu=c f$ is a geodesic ball of radius $\\tan^{-1}(1/c)$ in $\\mathbb{S}^{n+1}$.","Under the alternative curvature assumption (K2) with a diameter lower bound of $c/\\sqrt{c^2-1}\\,\\pi$ on boundary components, the boundary must be a round sphere $\\mathbb{S}^n$ of radius $c/\\sqrt{c^2-1}$, and the manifold is one of two explicit warped products over that sphere.","The Reilly-type corollaries give eigenvalue inequalities in which equality holds exactly for the hyperbolic or spherical geodesic ball, connecting the rigidity to spectral geometry on the boundary."],"supporting_citations":[{"why":"Supplies the geodesic-flow lemma (Proposition 2.2) that integral curves of $\\nabla f/|\\nabla f|$ are geodesics, and the warped-product theorem invoked in the sphere case.","marker":"[2]"},{"why":"Supplies Theorem 0.1 for compactness and Theorem 0.3 that identifies $\\Omega_0$ with a hyperbolic ball from distance and mean-curvature bounds.","marker":"[6]"},{"why":"Provides the proof template for converting the warped-product splitting into rigidity under Ricci and mean-curvature bounds.","marker":"[19]"},{"why":"Gives the lemma that the boundary is connected under the curvature assumptions of Theorem 1.1.","marker":"[10]"},{"why":"Supplies the transnormal-function theorem used in Theorem 1.4 to show the maximum set of $f$ on the boundary is a single point.","marker":"[17]"}],"fun_headline_variants":["Obata rigidity: Ricci ≥ -n forces a hyperbolic ball","Robin condition pins metric to hyperbolic geodesic ball","Rigidity: Obata equation with Robin boundary forces sphere or ball","Curvature bounds plus Robin Obata fix the geometry","Obata equation rigidity: hyperbolic ball or standard sphere"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the flow lines of the normalized gradient of $f$ are geodesics and that the first flow line to leave a boundary component where $f$ is constant meets the other boundary component orthogonally; the warped-product splitting and both rigidity theorems collapse if either geometric assertion fails.","fun_headline_variants_meta":{"raw":{"variants":["Obata rigidity: Ricci ≥ -n forces a hyperbolic ball","Robin condition pins metric to hyperbolic geodesic ball","Rigidity: Obata equation with Robin boundary forces sphere or ball","Curvature bounds plus Robin Obata fix the geometry","Obata equation rigidity: hyperbolic ball or standard sphere"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000189,"raw_usage":{"total_tokens":1356,"prompt_tokens":984,"completion_tokens":372,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":600,"completion_tokens_details":{"reasoning_tokens":290}},"tokens_in":600,"tokens_out":372,"duration_ms":3910,"temperature":1.0,"reasoning_tokens":290,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:10:27.519877+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the model case of a hyperbolic geodesic ball of radius $\\tanh^{-1}(1/c)$ with $f=\\sinh t$ and check whether the two geometric assertions hold by direct computation. More decisively, build a complete warped product $\\Omega_0\\times\\mathbb{R}_t$ with metric $dt^2+\\cosh^2 t\\, g|_{\\Omega_0}$ over a compact base, choose a boundary graph $\\varphi$ solving the paper's first-order equation, and test whether the first-exit curve orthogonality can fail; a single such example satisfying $\\mathrm{Ric}\\ge -n$ and $H\\ge c$ but not isometric to the hyperbolic ball would refute Theorem 1.1.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the geodesic-flow lemma (Proposition 2.2) that integral curves of $\\nabla f/|\\nabla f|$ are geodesics, and the warped-product theorem invoked in the sphere case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Theorem 0.1 for compactness and Theorem 0.3 that identifies $\\Omega_0$ with a hyperbolic ball from distance and mean-curvature bounds."},{"cited_title":"Xia and C","cited_arxiv_id":null,"evidence_quote":"Provides the proof template for converting the warped-product splitting into rigidity under Ricci and mean-curvature bounds."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the lemma that the boundary is connected under the curvature assumptions of Theorem 1.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the transnormal-function theorem used in Theorem 1.4 to show the maximum set of $f$ on the boundary is a single point."}],"review_version":1}