{"id":"17767f2d-8f07-41f7-b4b7-d6b0ffb18030","arxiv_id":"2507.17344","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors establish that closed hypersurfaces satisfying certain constant shifted curvature equations in warped product manifolds are necessarily umbilic slices (or geodesic spheres in space forms), under conditions like star-shapedness or static-convexity.","lead":"This paper proves several rigidity theorems showing that hypersurfaces with constant shifted curvature functions in warped product manifolds must be slices or geodesic spheres. It extends prior results by handling linear combinations of shifted higher-order mean curvatures, nonlinear curvature conditions, and fibers without constant sectional curvature.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The nonnegativity criterion used in Lemma 2.4 and (6.4) is misstated: (2.16) drops a λ^{-2} factor on K, so the stated proofs rely on a condition not implied by the hypotheses; the central claims survive only after correcting the Ricci formula.","rationale":"The paper aims to extend known rigidity theorems to warped products with constant and nonconstant curvature fibers, and the overall strategy is coherent: Minkowski-type formulas, Heintze-Karcher inequalities, and equality analysis in Newton-Maclaurin inequalities. The main theorems are precisely stated, and the reader's conditional verdict is appropriate. My stress-test found a more specific, checkable defect than the reader's general concern about static-convexity: the displayed Ricci formula (2.16) is missing a λ^{-2} factor on K, which propagates into the nonnegativity criteria (2.13) and (6.4). This matters because the equality arguments in Theorem 1.7 depend on the sign of the terms in (6.4). However, correcting the formula makes the nonnegativity condition coincide exactly with the theorem hypotheses λ'^2 - λ''λ < K, so the central claims appear salvageable and the error is likely typographical. The reader's weakest_assumption identified the same proof neighborhood but located the risk in the static-convex hypothesis, which is actually assumed rather than derived; the Ricci-formula error is the sharper load-bearing point. A concrete re-derivation or a numerical check on a non-slice graph in a model warped product would settle whether the displayed inequality is merely misaligned or genuinely false. Therefore the verdict remains CONDITIONAL, with the condition being the correction of the Ricci coefficient and the invariant restatement of the fiber term in (6.4).","tokens_in":20723,"tokens_out":47209,"duration_ms":459343,"concrete_test":"Recompute (2.16) directly from the standard warped-product identity Ric(X,Y) = Ric_N(X,Y) - [λ''λ + (n-1)λ'^2] g_N(X,Y)/λ^2, then re-evaluate A_j in Lemma 2.4 and the first term of (6.4). Check that the nonnegativity condition becomes λ''/λ + (K - λ'^2)/λ^2 ≥ 0, which is equivalent to the theorems' λ'^2 - λ''λ < K. Also verify that the fiber term in (6.4) equals αλ[(Ric_N - (n-1)K g_N)(Z,Z)] with Z the horizontal component of ν, using Ric_N ≥ (n-1)K g_N. If both identities hold, the proof gap is purely notational and the conditional verdict stands; if not, Theorem 1.7's proof is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (2.16) gives the warped-product Ricci tensor as A\\bar g + B dr^2 with A = -(λ''/λ - (n-1)(K - λ'^2/λ^2)). The standard formula for \\bar g = dr^2 + λ^2 g_N with Ric_N = (n-1)K g_N is A = -λ''/λ + (n-1)(K - λ'^2)/λ^2; the K term must be divided by λ^2. For example, in S^{n+1} with λ = sin r and K = 1, the horizontal Ricci coefficient should be n, not 1. Tracing this through Lemma 2.4 changes the sign condition for A_j ≥ 0 from λ''/λ + K - λ'^2/λ^2 ≥ 0 to λ''/λ + (K - λ'^2)/λ^2 ≥ 0, i.e. λ'^2 - λ''λ ≤ K. Theorems 1.1, 1.3, 1.5, 1.6, and 1.7 assume only λ'^2 - λ''λ < K, so as written the proofs invoke a nonnegativity claim that does not follow from the hypotheses. The same incorrect coefficient appears in the first term of (6.4), the pivotal estimate in Theorem 1.7; the second term also needs to be written invariantly as S(Z,Z) with Z the horizontal component of ν. Since the equality arguments in (6.2), (6.6), and case (iv) all require the displayed inequality in (6.4), this is load-bearing for the slice conclusion. The error appears typographical rather than fatal: after the λ^{-2} correction, the stated curvature assumptions exactly provide the required sign.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies closed hypersurfaces in warped product manifolds M^{n+1}=([0,\\bar r)\\times N^n, dr^2+\\lambda(r)^2 g_N) and proves several rigidity theorems for hypersurfaces whose shifted curvature functions H_k(\\kappa-\\varepsilon) satisfy constant or nonlinear equations. The main results are Theorem 1.1 and Theorem 1.2 for linear combinations of shifted mean curvatures, Theorems 1.3--1.6 for nonlinear curvature conditions in sub-static warped products, and Theorems 1.7 and 1.8 for fibers without constant sectional curvature under a Ricci lower bound. In each case the conclusion is that the hypersurface is a slice {r_0}\\times N (or a geodesic sphere in the space-form cases). The proofs combine Newton--Maclaurin inequalities, weighted Minkowski-type formulas, and Heintze--Karcher inequalities due to Li--Wei--Xu and to Brendle.","tokens_in":21067,"tokens_out":35692,"duration_ms":322668,"significance":"If the results are correct, the paper gives a substantial unification and extension of known Alexandrov-type theorems, with the main new contribution being Theorem 1.7, which replaces the constant sectional curvature assumption on the fiber by the Ricci lower bound Ric_N\\ge(n-1)Kg_N and covers nonlinear curvature equations. The paper is also explicit about its dependence on prior work, especially [24] and the authors' own [34]. The proof strategy is standard integral-geometric, but the bookkeeping is nontrivial. The identified Ricci-formula error is local and appears to be fixable: after correcting the missing \\lambda^{-2} factor, the stated curvature assumptions exactly supply the nonnegativity needed in the proofs.","major_comments":[{"comment":"The displayed Ricci formula for the warped product metric is missing a \\lambda^{-2} factor on K. For \\bar g=dr^2+\\lambda^2 g_N with Ric_N=(n-1)Kg_N, the correct identity is Ric=[-\\lambda''/\\lambda+(n-1)(K-\\lambda'^2)/\\lambda^2]\\bar g-(n-1)[\\lambda''/\\lambda+(K-\\lambda'^2)/\\lambda^2]dr^2. With the printed formula, the criterion A_j\\ge0 in Lemma 2.4 becomes \\lambda''/\\lambda+K-\\lambda'^2/\\lambda^2>0, which is not implied by the hypotheses \\lambda'^2-\\lambda''\\lambda<K of Theorems 1.1, 1.3, 1.5, 1.6, and 1.7; for S^{n+1} with \\lambda=\\sin r and K=1 it is -\\cot^2 r\\le0. After the correction the criterion becomes \\lambda''/\\lambda+(K-\\lambda'^2)/\\lambda^2>0, exactly the stated curvature assumption. Since (2.13) is used throughout the proofs that invoke Lemma 2.4, this is load-bearing and must be corrected everywhere it appears.","section":"§2, Eq. (2.16)"},{"comment":"The identity for \\nabla_i\\Phi\\nabla_j(T_1^{ij}(\\tilde h)) is not correctly written. The second term g^{ij}((Ric_N)_{ik}-(n-1)K(g_N)_{ik})u\\lambda^{-2}\\nabla^k r\\nabla^j r is not a meaningful invariant: since \\nabla r=\\partial_r and the tensor Ric_N-(n-1)Kg_N has no radial components, this expression does not reduce to the required nonnegative fiber term. The correct term should be u(Ric_N-(n-1)Kg_N)(Z,Z), where Z=\\nu-(u/\\lambda)\\partial_r is the horizontal component of \\nu; nonnegativity then follows from Ric_N\\ge(n-1)Kg_N. The first term should also be written with the tangential gradient |\\nabla^\\Sigma\\Phi|^2=\\sum_i(\\nabla_i\\Phi)^2 rather than the full gradient. Because (6.4) is the pivotal estimate in Theorem 1.7(ii)--(iv), this needs to be fixed before the proof is complete.","section":"§6, Eq. (6.4)"},{"comment":"The proof of Theorem 1.8 is too terse at a load-bearing point. After reducing to the argument of Theorem 1.7, the paper simply says to apply Brendle's Heintze-Karcher inequality, without stating the inequality or verifying its hypotheses. In particular, case (i) has no star-shapedness assumption, and the equality discussion that leads to the slice conclusion is omitted. Please expand the proof so that the exact HK inequality, the verifiable hypotheses, and the equality case are explicit.","section":"§6, Proof of Theorem 1.8"}],"minor_comments":[{"comment":"There are spelling errors: 'dose not' should be 'does not' in Theorem 1.7(iv) and Theorem 1.8.","section":"Theorems 1.7 and 1.8"},{"comment":"The notation |\\nabla\\Phi|^2 should be defined explicitly as the squared norm of the tangential gradient of \\Phi along \\Sigma, because the full gradient \\nabla\\Phi=\\lambda\\partial_r has norm \\lambda^2.","section":"§6, Eq. (6.4)"},{"comment":"The Hölder argument has boundary cases that need a separate treatment: when \\alpha=1/k, the exponent p equals 1, and when k=1 and \\alpha=1, the conjugate exponent p/(p-1) is infinite. These cases should be handled by a limiting argument or directly.","section":"§5, Proof of Theorem 1.6"},{"comment":"Reference [24] is cited as an arXiv preprint (arXiv:2504.15109, 2025); if it has appeared in a refereed venue, the final published version should be cited, and the statement of Proposition 2.2 should be checked against that version.","section":"References"},{"comment":"The notation H_{k-2;j} is used in Lemma 2.4 before its normalized version is defined; please add the definition of H_{k;j} next to the definition of \\sigma_{k;j}.","section":"§2, after (2.5)"}],"recommendation":"major_revision","confidential_remarks":"The main concern for the editor is the relationship with the authors' previous work [34] and the heavy dependence on the arXiv preprint [24]; the introduction should state more precisely which cases are genuinely new. The Ricci-formula typo in (2.16) is the kind of error that can be fixed without changing the architecture of the proofs, but it must be corrected before publication because every nonnegativity claim in the paper flows through it. The issues in (6.4) and in the proof of Theorem 1.8 are similarly local but require real rewriting. I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi — quick take on 2507.17344. The genuinely new content is Theorems 1.7 and 1.8: slice rigidity for static-convex domains in warped products where the fiber only satisfies a Ricci lower bound, not constant sectional curvature. That is a real extension of the constant-curvature results in [22,37,24] and of your earlier hyperbolic-space work [34], and the k=2 case is called out honestly in Remark 1.5. The proofs follow a standard integral-geometric route — Newton-Maclaurin inequalities, Minkowski-type formulas, Li-Wei-Xu's Heintze-Karcher inequality — and the machinery is handled cleanly for most of the paper.\n\nThe soft spot is in Lemma 2.4 and again in (6.4). The displayed Ricci formula (2.16) drops a λ^{-2} factor on K. As written, the nonnegativity claim (2.13) does not follow from the hypotheses; the same incorrect coefficient appears in the first term of (6.4), which is load-bearing for Theorem 1.7. This looks like a typo rather than a structural flaw: with the standard warped-product Ricci formula, the assumption λ'^2 - λ''λ < K is exactly what makes the corrected terms nonnegative, and the equality arguments then go through. But in the current text (6.4) is compressed and its signs are not derived; a referee should ask for that derivation.\n\nThe static-convexity assumption in Theorems 1.3, 1.6, 1.7 is strong, but it is assumed, not smuggled in, so I don't count it as a flaw. The citation pattern is unobjectionable, including the self-citations to [34]. There are minor typos and some TeX-cramped lines.\n\nBottom line: this is a paper for the Alexandrov-type rigidity / geometric inequalities crowd. It is not groundbreaking, but it is a solid extension that unifies several prior results, and the central claims appear to survive the Ricci-formula fix. I'd send it to a careful referee rather than desk reject, with instructions to verify (2.16), (6.4), and the equality cases.","headline":"Solid extension of rigidity theorems to non-constant-curvature fibers; a fixable Ricci-formula typo in Lemma 2.4/(6.4) should be the referee's main target.","tokens_in":21635,"tokens_out":7058,"would_cite":true,"duration_ms":59003,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C24","53C42"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that, in sub-static warped product manifolds, closed hypersurfaces satisfying certain constant shifted curvature equations must be slices, i.e.","keywords":["rigidity","shifted curvature","warped product manifolds","umbilic hypersurfaces","Heintze-Karcher inequality","Minkowski formulas","static-convex boundary","Newton-Maclaurin inequalities"],"falsifier":"A concrete check is to find a non-slice, static-convex boundary in a sub-static warped product with $\\operatorname{Ric}_N\\ge (n-1)Kg_N$ and $\\lambda'^2-\\lambda''\\lambda<K$ for which $a(\\Phi,\\varepsilon\\Phi-u)H_1(\\kappa-\\varepsilon)$ is constant with $\\partial_1 a\\ge 0$ and $\\partial_2 a\\le 0$; existence of such a surface would refute Theorem 1.7(i). In the constant-curvature fiber case, one can also test whether equality in the Heintze-Karcher inequality can occur at a non-umbilic static-convex boundary, since the proof's equality analysis says it cannot.","tokens_in":20487,"feed_emoji":"⭕","tokens_out":7006,"duration_ms":71098,"temperature":0.7,"pith_summary":"The paper sets out to show that rigidity—the conclusion that a hypersurface must be a slice—holds under much broader curvature hypotheses than previously known. It works with shifted principal curvatures $\\kappa_i-\\varepsilon$, and proves that if a closed hypersurface satisfies one of a family of constant equations built from shifted higher-order mean curvatures, then it must be a slice $\\{r_0\\}\\times N$. This covers constant linear combinations of shifted curvatures, weighted combinations involving products such as $H_1(\\kappa-\\varepsilon)H_{j-1}(\\kappa-\\varepsilon)$, nonlinear conditions of the form $(H_k(\\kappa-\\varepsilon))^{-\\alpha}=u/(\\lambda'-\\varepsilon u)$, and in the nonconstant-fiber case conditions on $H_1$, $H_2$, and $H_2/H_1$. The paper also shows that in space forms the same methods yield geodesic spheres, and in some situations the star-shapedness assumption can be dropped.","feed_headline":"Constant shifted curvature forces hypersurfaces to be slices","feed_subtitle":"New rigidity theorems in warped product manifolds show such hypersurfaces are totally umbilical with radial normal.","key_machinery":"The central object is the shifted Weingarten tensor $\\tilde h^i_j=h^i_j-\\varepsilon\\delta^i_j$ and its normalized elementary symmetric functions $H_k(\\kappa-\\varepsilon)$, defined on the Gårding cone $\\Gamma_k^+$. The argument proceeds by combining Minkowski-type integral formulas, which express $\\int_\\Sigma u H_k(\\kappa-\\varepsilon)$ in terms of $\\int_\\Sigma (\\lambda'-\\varepsilon u)H_{k-1}(\\kappa-\\varepsilon)$ plus nonnegative Ricci terms, with Heintze-Karcher type inequalities that supply the reverse comparison. Equality in both forces equality in the Newton-Maclaurin inequalities, so all shifted principal curvatures agree, and then forces the Ricci terms to vanish, meaning the unit normal is parallel to $\\partial_r$; this yields the slice conclusion.","core_discovery":"The central claim is that in a sub-static warped product $\\bar g=dr^2+\\lambda(r)^2g_N$ satisfying $\\lambda'^2-\\lambda''\\lambda<K$ and, when needed, $\\operatorname{Ric}_N\\ge (n-1)Kg_N$, any closed hypersurface whose shifted curvature functions satisfy one of the listed constant equations must be a slice $\\Sigma=\\{r_0\\}\\times N$. Equivalently, the hypersurface is totally umbilical and its unit normal is parallel to the radial direction. The proof forces equality in the Newton-Maclaurin inequalities and in a Heintze-Karcher type inequality; the Minkowski-type formulas then imply $A_j\\equiv 0$, which forces the normal to be radial. The results cover constant linear combinations of shifted higher-order mean curvatures, weighted combinations with $H_1H_{j-1}$, nonlinear equations such as $(H_k(\\kappa-\\varepsilon))^{-\\alpha}=u/(\\lambda'-\\varepsilon u)$, and the case where the fiber has nonconstant sectional curvature.","pith_inferences":["Not asserted in the paper, but a direct converse holds: every slice automatically satisfies all the constant shifted curvature equations considered, so within the admissible class the theorems characterize slices exactly, not merely give a one-way rigidity statement.","The static-convexity of the boundary is the main bottleneck; if this pointwise lower bound on the second fundamental form could be replaced by a weaker integral or spectral condition, the same equality-case mechanism would likely extend the slice conclusion to higher $H_k$ in the nonconstant-fiber setting.","The method should transfer to other static warped-product models, such as those arising in de Sitter-Schwarzschild type geometry, with the key check being whether the curvature inequality $\\lambda'^2-\\lambda''\\lambda<K$ and the nonnegativity of the Ricci terms continue to hold."],"forward_implications":["A closed hypersurface in a sub-static warped product with constant shifted mean curvature or constant shifted $H_2$ must be a slice, without assuming constant sectional curvature of the fiber when the Ricci lower bound holds.","Self-similar solutions to shifted curvature flows satisfying $(H_k(\\kappa-\\varepsilon))^{-\\alpha}=u/(\\lambda'-\\varepsilon u)$ with $\\alpha\\ge 1/k$ are forced to be slices.","The rigidity extends to warped products whose fiber has only a Ricci lower bound, not constant sectional curvature, covering a broader class of ambient manifolds.","In space forms, the same integral method yields geodesic spheres, and for certain curvature equations the star-shapedness hypothesis becomes unnecessary."],"supporting_citations":[{"why":"Supplies the Heintze-Karcher type inequality for static-convex boundaries that reverses the integral comparison in Theorems 1.3, 1.6, and 1.7.","marker":"[24]"},{"why":"Provides the sub-static warped product setup, the conformal Killing field construction, and the Heintze-Karcher inequality used in Theorem 1.8.","marker":"[7]"},{"why":"Supplies the Minkowski-type formula and nonnegative Ricci-curvature estimates used in Theorem 1.7 for fibers with nonconstant sectional curvature.","marker":"[14]"},{"why":"Gives the weighted Hsiung-Minkowski formulas and rigidity results that Theorems 1.3 and 1.5 generalize.","marker":"[22]"},{"why":"Provides rigidity theorems for constant curvature functions in warped products that the paper extends, including the inequality used in the proof of Theorem 1.1.","marker":"[37]"},{"why":"Supplies the Minkowski type inequality for sub-static manifolds that underpins the Heintze-Karcher inequality of [24].","marker":"[26]"},{"why":"Gives the original Heintze-Karcher comparison and the equality characterization of umbilic hypersurfaces used throughout.","marker":"[15]"},{"why":"Supplies the classical integral method and equality analysis used in Section 6 to conclude the hypersurface is a slice.","marker":"[28]"}],"fun_headline_variants":["Shifted curvature rigidity: hypersurfaces must be slices","Constant shifted curvature forces hypersurfaces into slices","Warped product rigidity: constant shifted curvature yields slices","Rigid hypersurfaces: constant shifted curvature forces slices","Sub-static warped products: curvature condition forces slices"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the static-convexity of the boundary, $h_{ij} \\ge (\\bar\\nabla_\\nu \\lambda')/\\lambda'\\,g_{ij}$, together with $\\lambda'>0$ and $(\\lambda'-\\varepsilon u)(H_1(\\kappa)-\\varepsilon)>0$ on $\\Sigma$; this pointwise lower bound on the second fundamental form is assumed rather than derived from the shifted curvature equations, and the integral inequalities used to force equality depend on it.","fun_headline_variants_meta":{"raw":{"variants":["Shifted curvature rigidity: hypersurfaces must be slices","Constant shifted curvature forces hypersurfaces into slices","Warped product rigidity: constant shifted curvature yields slices","Rigid hypersurfaces: constant shifted curvature forces slices","Sub-static warped products: curvature condition forces slices"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000551,"raw_usage":{"total_tokens":2591,"prompt_tokens":870,"completion_tokens":1721,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":486,"completion_tokens_details":{"reasoning_tokens":1642}},"tokens_in":486,"tokens_out":1721,"duration_ms":13950,"temperature":1.0,"reasoning_tokens":1642,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T14:48:43.323939+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check is to find a non-slice, static-convex boundary in a sub-static warped product with $\\operatorname{Ric}_N\\ge (n-1)Kg_N$ and $\\lambda'^2-\\lambda''\\lambda<K$ for which $a(\\Phi,\\varepsilon\\Phi-u)H_1(\\kappa-\\varepsilon)$ is constant with $\\partial_1 a\\ge 0$ and $\\partial_2 a\\le 0$; existence of such a surface would refute Theorem 1.7(i). In the constant-curvature fiber case, one can also test whether equality in the Heintze-Karcher inequality can occur at a non-umbilic static-convex boundary, since the proof's equality analysis says it cannot.","supporting_citations":[{"cited_title":"New Heintze-Karcher type inequalities in sub-static warped product manifolds","cited_arxiv_id":"2504.15109","evidence_quote":"Supplies the Heintze-Karcher type inequality for static-convex boundaries that reverses the integral comparison in Theorems 1.3, 1.6, and 1.7."},{"cited_title":"Brendle, Constant mean curvature surfaces in warped product manifolds , Publications math´ ematiques de l’IH´ES, 2013, 117(1): 247-269","cited_arxiv_id":null,"evidence_quote":"Provides the sub-static warped product setup, the conformal Killing field construction, and the Heintze-Karcher inequality used in Theorem 1.8."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Minkowski-type formula and nonnegative Ricci-curvature estimates used in Theorem 1.7 for fibers with nonconstant sectional curvature."},{"cited_title":"Kwong, H","cited_arxiv_id":null,"evidence_quote":"Gives the weighted Hsiung-Minkowski formulas and rigidity results that Theorems 1.3 and 1.5 generalize."},{"cited_title":"Wu and C","cited_arxiv_id":null,"evidence_quote":"Provides rigidity theorems for constant curvature functions in warped products that the paper extends, including the inequality used in the proof of Theorem 1.1."},{"cited_title":"Li and C","cited_arxiv_id":null,"evidence_quote":"Supplies the Minkowski type inequality for sub-static manifolds that underpins the Heintze-Karcher inequality of [24]."},{"cited_title":"Heintze and H","cited_arxiv_id":null,"evidence_quote":"Gives the original Heintze-Karcher comparison and the equality characterization of umbilic hypersurfaces used throughout."},{"cited_title":"Montiel and A","cited_arxiv_id":null,"evidence_quote":"Supplies the classical integral method and equality analysis used in Section 6 to conclude the hypersurface is a slice."}],"review_version":1}