REVIEW 3 major objections 5 minor 37 references
On rigidity of hypersurfaces with constant shifted curvature functions in warped product manifolds
T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves that, in sub-static warped product manifolds, closed hypersurfaces satisfying certain constant shifted curvature equations must be slices, i.e.
desk verdict 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. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [§2, Eq. (2.16)] 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.
- [§6, Eq. (6.4)] 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.
- [§6, Proof of Theorem 1.8] 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.
minor comments (5)
- [Theorems 1.7 and 1.8] There are spelling errors: 'dose not' should be 'does not' in Theorem 1.7(iv) and Theorem 1.8.
- [§6, Eq. (6.4)] 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.
- [§5, Proof of Theorem 1.6] 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.
- [References] 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.
- [§2, after (2.5)] 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}.
Circularity Check
No significant circularity: the rigidity claims are derived from standard integral inequalities and independent prior results, with no fitted-input or definitional reduction.
full rationale
The paper's central claims (Theorems 1.1-1.8) are proved by a standard integral-geometric strategy: combine Newton-Maclaurin inequalities, Minkowski-type formulas, and Heintze-Karcher inequalities to force equality and conclude that the hypersurface is umbilic and radial. The curvature equations in the theorems are imposed hypotheses, not quantities fitted to or derived from the conclusion. Lemma 2.4's nonnegativity criterion is established via the proof idea of Brendle-Eichmair [8] and used with conditions stated in the paper; the Heintze-Karcher inequality (Proposition 2.2) is quoted from independent work of Li, Wei, and Xu [24]. Citation [34], the authors' own prior work, appears only in remarks stating that certain special cases reduce to or extend that work; it is not used as the justification for the main new theorems. A possible coefficient error in the displayed warped-product Ricci formula (2.16) and its use in (6.4) is a correctness/verification issue: as written, the stated hypotheses may not imply the displayed sign condition via that formula. But this does not make the derivation circular, because correcting the formula would alter the proof, not the logical relation between hypotheses and conclusion. Likewise, the static-convexity and lambda'-epsilon-u conditions are strong hypotheses whose failure would leave the cited Heintze-Karcher inequality inapplicable; that is an applicability gap, not circularity. No pattern of self-definitional reasoning, fitted-input-called-prediction, or self-citation-load-bearing reasoning is present.
Assumptions & free parameters
assumptions (5)
- standard math The Newton-Maclaurin inequalities (Lemma 2.2) are assumed for the Garding cone G_k^+ (shifted).
- domain assumption The warped product M is sub-static with potential lambda' (when Theorems 1.3, 1.6, 1.7, 1.8 are invoked).
- standard math The Minkowski-type Lemma 2.4 is assumed, proving (2.12) via Codazzi-type identities and the given Ricci formula (2.16).
- domain assumption In the proofs of Theorems 1.7 and 1.8, the paper assumes the estimates from [14, Lemma 2.3 and 3.1], which give nonnegativity of the Ricci term (6.4).
- standard math The Heintze-Karcher inequalities (Propositions 2.1 and 2.2) are used as black boxes.
Cite this review
Pith. "Pith review of On rigidity of hypersurfaces with constant shifted curvature functions in warped product manifolds." pith.science (2026). https://pith.science/paper/RODP3D6Y
@misc{pith2026250717344,
author = {Pith},
title = {Pith review of: On rigidity of hypersurfaces with constant shifted curvature functions in warped product manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/RODP3D6Y}},
note = {Machine review of arXiv:2507.17344}
}
read the original abstract
In this paper, we give some new characterizations of umbilic hypersurfaces in general warped product manifolds, which can be viewed as generalizations of the work in \cite{KLP18} and \cite{WX14}. Firstly, we prove the rigidity for hypersurfaces with constant linear combinations of shifted higher order mean curvatures. Using integral inequalities and Minkowski-type formulas, we then derive rigidity theorems in sub-static warped product manifolds, including cases that the hypersurface satisfies some nonlinear curvature conditions. Finally, we show that our results can be applied to more general warped product manifolds, including the cases with non-constant sectional curvature fiber.
Reference graph
Works this paper leans on
-
[34]
On rigidity of hypersurfaces with constant shifted curvature functions in hyperbolic space
W. Sheng, Y. Wang and J. Wu, On rigidity of hypersurfaces with constant shifted curva- ture functions in hyperbolic space , Communications in Analysis and Geometry (to appear), arXiv:2402.04622
-
[24]
H. Li, Y. Wei and B. Xu, New Heintze-Karcher type inequalities in sub-static warped product manifolds, arXiv preprint arXiv:2504.15109, 2025
work page Pith review arXiv 2025
-
[1]
L.J. Al ´ ıas, D. Impera and M. Rigoli, Hypersurfaces of constant higher order mean curvature in warped products, Transactions of the American Mathematical Society, 2013, 365(2): 591-621
work page 2013
-
[2]
A.D. Alexsandorov, Uniqueness theorem for surfaces in the large I , Vestnik Leningrad Univ., 1956, 11: 5-17
work page 1956
-
[3]
B. Andrews, Contraction of convex hypersurfaces in Riemannian spaces , Journal of Differential Geometry, 1994, 39(2): 407-431
work page 1994
-
[4]
B. Andrews, X. Chen and Y. Wei, Volume preserving flow and Alexandrov–Fenchel type inequalities in hyperbolic space, Journal of the European Mathematical Society, 2021, 23(7): 2467-2509
work page 2021
-
[5]
C.P. Aquino and H.F. de Lima, On the unicity of complete hypersurfaces immersed in a semi- Riemannian warped product, The Journal of Geometric Analysis, 2014, 24: 1126-1143
work page 2014
-
[6]
J.L.M. Barbosa and A.G. Colares, Stability of hypersurfaces with constant r-mean curvature, Annals of Global Analysis and Geometry, 1997, 15(3): 277-297
work page 1997
Show all 37 references
-
[7]
Brendle, Constant mean curvature surfaces in warped product manifolds , Publications math´ ematiques de l’IH´ES, 2013, 117(1): 247-269
S. Brendle, Constant mean curvature surfaces in warped product manifolds , Publications math´ ematiques de l’IH´ES, 2013, 117(1): 247-269
2013
-
[8]
Brendle and M
S. Brendle and M. Eichmair, Isoperimetric and Weingarten surfaces in the Schwarzschild manifold , Journal of Differential Geometry, 2013, 94(3): 387-407
2013
-
[9]
Brendle and G
S. Brendle and G. Huisken, A fully nonlinear flow for two-convex hypersurfaces in Riemannian manifolds, Inventiones mathematicae, 2017, 210: 559-613
2017
-
[10]
Brendle, P.K
S. Brendle, P.K. Hung and M.T. Wang, A Minkowski Inequality for Hypersurfaces in the Anti-de Sitter-Schwarzschild Manifold , Communications on Pure and Applied Mathematics, 2016, 69(1): 124-144
2016
-
[11]
Gao, Closed self-similar solutions to flows by negative powers of curvature , The Journal of Geometric Analysis, 2023, 33(12): 370
S. Gao, Closed self-similar solutions to flows by negative powers of curvature , The Journal of Geometric Analysis, 2023, 33(12): 370
2023
-
[12]
Gao and H
S. Gao and H. Ma, Characterizations of umbilic hypersurfaces in warped product manifolds , Fron- tiers of Mathematics in China, 2021, 16: 689-703
2021
-
[13]
Guan, Topics in geometric fully nonlinear equations , Lecture Notes, http://www
P. Guan, Topics in geometric fully nonlinear equations , Lecture Notes, http://www. math. mcgill. ca/guan/notes. html, 2002. 27
2002
-
[14]
P. Guan, J. Li and M.T. Wang, A volume preserving flow and the isoperimetric problem in warped product spaces, Transactions of the American Mathematical Society, 2019, 372(4): 2777-2798
2019
-
[15]
Heintze and H
E. Heintze and H. Karcher, A general comparison theorem with applications to volume estimates for submanifolds , Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure. 1978,11(4): 451-470
1978
-
[16]
Y. He, H. Li, H. Ma, and J. Ge, Compact embedded hypersurfaces with constant higher order anisotropic mean curvatures, Indiana University Mathematics Journal, 2009, 58(2): 853-868
2009
-
[17]
Hijazi, S
O. Hijazi, S. Montiel and X. Zhang, Dirac Operator on Embedded Hypersurfaces , Mathematical Research Letters, 2001, 8(2): 195-208
2001
-
[18]
Y. Hu, H. Li and Y. Wei, Locally constrained curvature flows and geometric inequalities in hyperbolic space, Mathematische Annalen, 2022, 382(3-4): 1425-1474
2022
-
[19]
Y. Hu, Y. Wei and T. Zhou, A Heintze-Karcher type inequality in hyperbolic space , The Journal of Geometric Analysis, 2024, 34(4): 113
2024
-
[20]
Koh, A characterization of round spheres, Proceedings of the American Mathematical Society, 1998, 126(12): 3657-3660
S.E. Koh, A characterization of round spheres, Proceedings of the American Mathematical Society, 1998, 126(12): 3657-3660
1998
-
[21]
Koh, Sphere theorem by means of the ratio of mean curvature functions, Glasgow Mathematical Journal, 2000, 42(1): 91-95
S.E. Koh, Sphere theorem by means of the ratio of mean curvature functions, Glasgow Mathematical Journal, 2000, 42(1): 91-95
2000
-
[22]
Kwong, H
K.K. Kwong, H. Lee and J. Pyo, Weighted Hsiung-Minkowski formulas and rigidity of umbilical hypersurfaces, Mathematical Research Letters, 2018, 25(2): 597-616
2018
-
[23]
H. Li, Y. Wei and C. Xiong, A note on Weingarten hypersurfaces in the warped product manifold , International Journal of Mathematics, 2014, 25(14): 1450121
2014
-
[25]
Li and B
H. Li and B. Xu, Hyperbolic p-sum and horospherical p-Brunn-Minkowski theory in hyperbolic space, arXiv: 2211.06875, 2022
2022 arXiv
-
[26]
Li and C
J. Li and C. Xia, An integral formula and its applications on sub-static manifolds , Journal of Differential Geometry, 2019, 113(3): 493-518
2019
-
[27]
Montiel, Uniqueness of spacelike hypersurfaces of constant mean curvature in foliated spacetimes, Mathematische Annalen, 1999, 314(3): 529-553
S. Montiel, Uniqueness of spacelike hypersurfaces of constant mean curvature in foliated spacetimes, Mathematische Annalen, 1999, 314(3): 529-553
1999
-
[28]
Montiel and A
S. Montiel and A. Ros, Compact hypersurfaces: the Alexandrov theorem for higher order mean curvatures, Pitman Monographs and Surveys in Pure and Applied Mathematics 52 (1991) (in honor of M.P. do Carmo; edited by B. Lawson and K. Tenenblat), 279-296
1991
-
[29]
Reilly, On the Hessian of a function and the curvatures of its graph , Michigan Mathematical Journal, 1974, 20(4): 373-383
R. Reilly, On the Hessian of a function and the curvatures of its graph , Michigan Mathematical Journal, 1974, 20(4): 373-383
1974
-
[30]
Reilly, Applications of the Hessian operator in a Riemannian manifold , Indiana University Mathematics Journal, 1977, 26(3): 459-472
R. Reilly, Applications of the Hessian operator in a Riemannian manifold , Indiana University Mathematics Journal, 1977, 26(3): 459-472
1977
-
[31]
Ros, Compact hypersurfaces with constant scalar curvature and a congruence theorem , Journal of Differential Geometry, 1988, 27(2): 215-220
A. Ros, Compact hypersurfaces with constant scalar curvature and a congruence theorem , Journal of Differential Geometry, 1988, 27(2): 215-220
1988
-
[32]
Ros, Compact hypersurfaces with constant higher order mean curvatures , Revista Matem´ atica Iberoamericana, 1987, 3(3): 447-453
A. Ros, Compact hypersurfaces with constant higher order mean curvatures , Revista Matem´ atica Iberoamericana, 1987, 3(3): 447-453
1987
-
[33]
Stong, Some characterizations of Riemann n-spheres, Proceedings of the American Mathemat- ical Society, 1960, 11(6): 945-951
R. Stong, Some characterizations of Riemann n-spheres, Proceedings of the American Mathemat- ical Society, 1960, 11(6): 945-951
1960
-
[35]
X. Wang, Y. Wei and T. Zhou, Shifted inverse curvature flows in hyperbolic space Calculus of Variations and Partial Differential Equations, 2023, 62(3): 93
2023
-
[36]
Wu, A new characterization of geodesic spheres in the hyperbolic space , Proceedings of the American Mathematical Society, 2016, 144(7): 3077-3084
J. Wu, A new characterization of geodesic spheres in the hyperbolic space , Proceedings of the American Mathematical Society, 2016, 144(7): 3077-3084. 28
2016
-
[37]
Wu and C
J. Wu and C. Xia, On rigidity of hypersurfaces with constant curvature functions in warped product manifolds, Annals of Global Analysis and Geometry, 2014, 46(1): 1-22. Weimin Sheng: School of Mathematical Sciences, Zhejiang University, Hangzhou 310058, China. Email address : ...
2014
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.