REVIEW 2 major objections 4 minor 2 cited by
New Heintze-Karcher type inequalities in sub-static warped product manifolds
T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read This paper proves Heintze-Karcher type inequalities for shifted mean curvature in sub-static warped product manifolds, including a new hyperbolic-space bound for domains whose boundary mean curvature is merely greater than -1, with…
desk verdict The new non-mean-convex Heintze–Karcher inequality in hyperbolic space is real and the flow computation is sound, but the equality case of Theorem 1.1 is underproved and the applications inherit that gap. 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 objects are the shifted principal curvatures $\tilde\kappa_i=\kappa_i-\varepsilon$ and the shifted mean curvature $p_1(\kappa)-\varepsilon$. The carrying identity is the shifted integral formula $\int_\Sigma(\lambda'-\varepsilon u)\,p_{m-1}(\kappa-\varepsilon)\,d\mu=\int_\Sigma u\,p_m(\kappa-\varepsilon)\,d\mu$ (Lemma 2.5), derived from the Hessian of $\Phi(r)$ and the Codazzi property. For Theorem 1.1, the mechanism is the inward unit normal flow $\partial_t X=-\nu$, the evolution inequality of Lemma 3.1, and the auxiliary functional $Q(t)=e^{-(n+1)t}\left(\int_{\Sigma_t^*}\frac{\lambda'+u}{p_1(\kappa)+1}\,d\mu-(n+1)\int_{\{w>t\}}\lambda'\,dv\right)$, whose monotonicity follows from a quoted almost-everywhere identity for the support function and yields the global bound by taking $t\to T$. For Theorem 1.4, the mechanism is an algebraic rearrangement of a weighted integral inequality into a Cauchy-Schwarz comparison, reducing the shifted Heintze-Karcher inequality to the static-convex case.
What would settle it
Numerically evaluate $\mathcal{I}=\int_\Sigma \frac{\lambda'+u}{p_1(\kappa)+1}\,d\mu-(n+1)\int_\Omega \lambda'\,dv$ for a smooth, non-umbilic surface of revolution in $\mathbb{H}^3$ whose mean curvature is everywhere $>-1$ but that has a negative principal curvature somewhere; if any such surface gives $\mathcal{I}<0$, Theorem 1.1 is false, whereas the theorem predicts $\mathcal{I}\ge0$ with equality only for geodesic spheres.
Extended reading notes
Core claim
The central claim is Theorem 1.1: in $\mathbb{H}^{n+1}$, any bounded domain whose boundary satisfies $p_1(\kappa)>-1$ obeys $\int_\Sigma \frac{\lambda'+u}{p_1(\kappa)+1}\,d\mu \ge (n+1)\int_\Omega \lambda'\,dv$, where $\lambda'=\cosh r$ and $u=\langle \sinh r\,\partial_r,\nu\rangle$ is the support function of $\Sigma$; equality holds precisely when $\Sigma$ is a geodesic sphere. The threshold $-1$ is what makes the statement new, since it allows boundaries that are not mean-convex. For a general sub-static warped product $\bar g=dr^2+\lambda(r)^2g_N$ with potential $\lambda'$, Theorem 1.4 states that if $\Sigma$ is static-convex and $(\lambda'-\varepsilon u)(p_1(\kappa)-\varepsilon)>0$, then $\int_\Sigma \frac{\lambda'-\varepsilon u}{p_1(\kappa)-\varepsilon}\,d\mu \ge (n+1)\int_\Omega \lambda'\,dv$, with a boundary correction when the manifold has a horizon; the equality cases are those of the underlying weighted integral inequality. The paper treats the three cases $\varepsilon=0$, $\varepsilon=1$, and $\varepsilon=-1$ as special instances of this general principle.
Load-bearing premise
The proof of the main hyperbolic inequality relies on a quoted almost-everywhere identity that relates an integral of the support function over a level set to a weighted volume of the region beyond it; if that identity fails, the monotonicity argument for Q(t) collapses and Theorem 1.1 does not follow.
Editorial extensions
If this is right
- Every bounded domain in $\mathbb{H}^{n+1}$ with boundary mean curvature above $-1$ satisfies (1.4); this removes the usual mean-convexity requirement from the Heintze-Karcher bound.
- Theorem 1.4 gives one inequality that specializes to the $\varepsilon=0$, $\varepsilon=1$, and $\varepsilon=-1$ shifted Heintze-Karcher inequalities in the relevant ambient spaces.
- Closed hypersurfaces in $\mathbb{H}^{n+1}$ solving $p_k(\kappa+1)=\chi(\lambda',-\lambda'-u)$ with $\partial_1\chi\le0$, $\partial_2\chi\ge0$, and the appropriate convexity are geodesic spheres (Theorem 1.2).
- A constant shifted $k$-th mean curvature $p_k(\kappa+1)$ on a closed hypersurface in $\mathbb{H}^{n+1}$ forces the hypersurface to be a geodesic sphere (Corollary 1.3).
- The same rigidity mechanism works in space forms for $p_k(\kappa-\varepsilon)=\chi(\Phi,\varepsilon\Phi-u)$ under static-convexity (Theorem 1.6).
Reading between the lines
- Not claimed in the paper: the static-convexity question raised in Problem 1.1 could be tested numerically with non-static-convex, shifted convex surfaces in $\mathbb{H}^3$.
- Not claimed in the paper: Theorem 1.4's derivation depends only on an abstract weighted integral inequality, so the shifted bound should transfer to any ambient manifold admitting such an inequality.
- Not claimed in the paper: the $p_1(\kappa)>-1$ threshold points toward rigidity theorems for hyperbolic hypersurfaces with mean curvature bounded below by any constant above $-1$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves new Heintze-Karcher type inequalities involving the shifted mean curvature. Theorem 1.1 states that for a bounded domain Ω with smooth boundary Σ in hyperbolic space H^{n+1}, if the mean curvature p_1(κ) satisfies p_1(κ)>-1, then ∫_Σ (λ'+u)/(p_1(κ)+1) dμ ≥ (n+1)∫_Ω λ' dv, with equality iff Σ is umbilic and hence a geodesic sphere. Theorem 1.4 extends this to sub-static warped product manifolds under a static-convexity condition and a sign condition for a general shift ε, yielding inequalities (1.12) and (1.13). As applications, the authors prove uniqueness theorems for hypersurfaces satisfying curvature equations (Theorems 1.2 and 1.6) and an Alexandrov-type corollary. The proofs combine the inward unit normal flow, a monotonicity argument, Minkowski formulas, and a generalized Reilly formula from [17].
Significance. If correct, Theorem 1.1 is a meaningful advance: it extends the Heintze-Karcher inequality to domains whose boundary is not assumed mean-convex, which is new in this setting. Theorem 1.4 provides a unified framework that recovers known results for shifted factors ε=0,±1 and extends them to arbitrary ε under convexity hypotheses. The applications to shifted curvature equations are natural and yield clean uniqueness statements. The flow computation in Lemma 3.1 is carefully executed, and the derivation of Theorem 1.4 from Theorem B is algebraic and transparent. The main shortcomings are the underproved equality case of Theorem 1.1 and a technical gap in the monotonicity argument; these are repairable but affect the stated applications for k=1.
major comments (2)
- [Section 3, proof of Theorem 1.1 (equality case)] The equality case of Theorem 1.1 is not proven. From equality in (1.4) one obtains Q(0)=0. The monotonicity established in Lemma 3.5 gives Q(0)≥Q(t) for all t, and the lower bound (3.7) gives liminf_{t→T} Q(t)≥0. These two facts together do not imply Q(t)=0 for any t: Q(t) could be strictly negative on [0,T) and approach 0 as t→T. Therefore the sentence 'If equality holds in (1.4), then Lemma 3.1 implies that Σ is umbilic' skips a necessary step: to apply Lemma 3.1's equality condition one must know that equality propagates along the flow, e.g., that Q(t)=0 for almost every t. This would follow if each approximate domain {w>t} satisfied the same Heintze-Karcher inequality (giving Q(t)≥0), but the boundary {w>t}∪C is not smooth and no approximation argument is supplied. Since this equality case is used in the proof of Theorem 1.2 for k=1 (via the chain in Section 5), the gap is load-bearing. The authors should either prove Q(t)≥0 for a.e. t by a smoothing argument or supply an alternative proof of the equality statement.
- [Section 3, Lemma 3.5] The passage from the pointwise limsup inequality limsup_{h↘0} h^{-1}(Q(t)-Q(t-h)) ≤ (n+1)e^{-(n+1)t}((n+1)∫_{w>t}λ'dv - ∫_{Σ*_t}u dμ_t) to the integrated bound Q(t)-Q(0) ≤ ∫_0^t (n+1)e^{-(n+1)τ}((n+1)∫_{w>τ}λ'dv - ∫_{Σ*_τ}u dμ_τ)dτ requires a justification that Q is absolutely continuous, or at least a comparison lemma for Dini derivatives valid under the one-sided, almost everywhere condition at hand. The function Q involves integrals over the level sets Σ*_t, which are smooth only away from the cut locus; the paper does not explain why differentiation under the integral is legitimate in the presence of the cut locus. This is a technical gap in the proof of the main inequality itself, although it appears repairable by a standard coarea/approximation argument.
minor comments (4)
- [Section 3] In the definition of the set A, the expression 'A={(x,t)∈Σ∈[0,∞): w(X(x,t))=t}' should read 'A={(x,t)∈Σ×[0,∞): w(X(x,t))=t}'.
- [Remark 3.2] The displayed ODE 'd/dt log ξ(t) = ε/((1-ε^2)λ'-ε t)' appears to contain a typo in the denominator; as written it mixes a function λ'(r) with the flow parameter t in a dimensionally inconsistent way.
- [Section 4, equation (4.7)] The statement 'equality holds in (4.7) if and only if p_1(κ) is constant on Σ' is slightly imprecise: equality in the Cauchy-Schwarz step also requires that λ'-εu does not change sign on Σ. Equality in (1.12) forces this sign condition, but the proof does not mention this.
- [Throughout] The paper cites Lemma 3.4 from [15] without reproducing its proof; since this lemma is crucial for the monotonicity of Q, a brief indication of its origin and why the cut locus does not affect it would improve readability.
Circularity Check
No significant circularity: Theorem 1.1 is proved by a flow argument using an independent cited identity, and Theorem 1.4 is an explicit reduction from the external Theorem B.
full rationale
The paper's central new inequality, Theorem 1.1, is not assumed. Its proof defines the auxiliary quantity Q(t), derives a differential inequality from the evolution equations in Lemma 3.1, and converts it to the global bound using Lemma 3.4, quoted from Hu-Wei-Zhou [15]. Lemma 3.4 is the identity ∫_{Σ*_t} u dμ_t = (n+1)∫_{w>t} λ' dv, which is a divergence/co-area identity for the level sets of the distance function; it does not contain the shifted denominator p_1(κ)+1 or the integrand λ'+u, so the target Heintze-Karcher inequality does not reduce to it by construction. The author overlap with [15] makes this a self-citation, but the cited identity is an independent, checkable geometric statement rather than an unverified premise equivalent to the theorem. Theorem 1.4 is derived explicitly from the external Theorem B of Li-Xia, the Minkowski formula (2.13), and the Cauchy-Schwarz inequality; the paper exhibits the exact algebraic reduction, so the claimed inequality is not assumed as an input. Theorems 1.2 and 1.6 apply the new inequalities in a standard integral argument, which is application rather than circularity. The equality-case argument of Theorem 1.1 may contain a proof gap, since monotonicity alone does not immediately force Q(t)=0 pointwise, but that is a correctness concern, not a circular definition, fitted-input prediction, or self-citation load-bearing reduction. The derivation chain is therefore self-contained apart from standard external lemmas, and the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption The ambient sub-static warped product manifold M^{n+1} = [0, ¯r) × N with potential λ' satisfies condition (2.11).
- standard math The cut locus of Σ has finite n-dimensional Hausdorff measure, so the coarea formula applies on Σ×[0,T].
- domain assumption Lemma 3.4: ∫_{Σ*_t} u dμ_t = (n+1)∫_{w>t} λ' dv for a.e. t.
- domain assumption Theorem B (Li-Xia [17]): the Minkowski type inequality (1.9)-(1.10) for static-convex domains in sub-static warped products.
- standard math Newton-MacLaurin inequality p_m(x) ≤ p_1(x)p_{m-1}(x) on Γ+_m.
Cite this review
Pith. "Pith review of New Heintze-Karcher type inequalities in sub-static warped product manifolds." pith.science (2026). https://pith.science/paper/ON2VULP2
@misc{pith2026250415109,
author = {Pith},
title = {Pith review of: New Heintze-Karcher type inequalities in sub-static warped product manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/ON2VULP2}},
note = {Machine review of arXiv:2504.15109}
}
read the original abstract
In this paper, we prove Heintze-Karcher type inequalities involving the shifted mean curvature for smooth bounded domains in certain sub-static warped product manifolds. In particular, we prove a Heintze-Karcher-type inequality for non mean-convex domains in the hyperbolic space. As applications, we obtain uniqueness results for hypersurfaces satisfying a class of curvature equations.
Forward citations
Cited by 2 Pith papers
-
An Alexandrov-type theorem in warped product manifolds with radial density
Every closed embedded lambda-self-expander in Euclidean space is a round sphere centered at the origin, proved through a new weighted Heintze-Karcher inequality.
-
On rigidity of hypersurfaces with constant shifted curvature functions in warped product manifolds
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...
Reference graph
Works this paper leans on
- [17]
-
[1]
Alexandrov,Uniqueness theorems for surfaces in the large I, Vestn
A.D. Alexandrov,Uniqueness theorems for surfaces in the large I, Vestn. Leningr. Univ.11(1956), 5–17
work page 1956
-
[2]
Andrews,Contraction of convex hypersurfaces in Riemannian spaces, J
B. Andrews,Contraction of convex hypersurfaces in Riemannian spaces, J. Differential Geom.39 (1994), no. 2, 407–431
work page 1994
-
[3]
B. Andrews, X. Chen, and Y. Wei,Volume preserving flow and Alexandrov-Fenchel type inequalities in hyperbolic space, J. Eur. Math. Soc. (JEMS)23(2021), no. 7, 2467–2509
work page 2021
-
[4]
S. Brendle,Constant mean curvature surfaces in warped product manifolds, Publications math´ ematiques de l’IH´ES117(2013), 247–269
work page 2013
-
[5]
S. Brendle and G. Huisken,A fully nonlinear flow for two-convex hypersurfaces in Riemannian man- ifolds, Invent. Math.210(2017), no. 2, 559–613
work page 2017
-
[6]
S. Brendle, P.-K. Hung, and M.-T. Wang,A Minkowski inequality for hypersurfaces in the anti–de Sitter–Schwarzschild manifold, Comm. Pure Appl. Math.69(2016), no. 1, 124–144
work page 2016
-
[7]
S. Brendle and M.-T. Wang,A Gibbons-Penrose inequality for surfaces in Schwarzschild spacetime, Comm. Math. Phys.330(2014), no. 1, 33–43
work page 2014
Show all 28 references
-
[8]
D. Chen, H. Li, and T. Zhou,A Penrose type inequality for graphs over Reissner-Nordstr¨ om–anti- deSitter manifold, J. Math. Phys.60(2019), no. 4, 043503, 12pp
2019
-
[9]
L. L. de Lima and F. Girao,An Alexandrov-Fenchel-type inequality in hyperbolic space with an appli- cation to a Penrose inequality, Ann. Henri Poincar´ e17(2016), no. 4, 979–1002
2016
-
[10]
Guan,Curvature measures, isoperimetric type inequalities and fully nonlinear PDEs, Fully nonlinear PDEs in real and complex geometry and optics, Lecture Notes in Math., vol
P. Guan,Curvature measures, isoperimetric type inequalities and fully nonlinear PDEs, Fully nonlinear PDEs in real and complex geometry and optics, Lecture Notes in Math., vol. 2087, Springer, Cham, 2014, pp. 47–94
2014
-
[11]
Y. Ge, G. Wang, J. Wu, and C. Xia,A Penrose inequality for graphs over Kottler space, Calc. Var. Partial Differential Equations52(2015), no. 3-4, 755–782
2015
-
[12]
Heintze and H
E. Heintze and H. Karcher,A general comparison theorem with applications to volume estimates for submanifolds, Ann. Sci. Ecole Norm. Sup.11(1978), 451–470
1978
-
[13]
Hu and H
Y. Hu and H. Li,Geometric inequalities for static convex domains in hyperbolic space, Trans. Amer. Math. Soc.376(2022), no. 8, 5587–5615
2022
-
[14]
Y. Hu, H. Li, and Y. Wei,Locally constrained curvature flows and geometric inequalities in hyperbolic space, Math. Ann.382(2022), no. 3-4, 1425–1474
2022
-
[15]
Y. Hu, Y. Wei, and T. Zhou,A Heintze-Karcher type inequality in hyperbolic space, J. Geom. Anal. 34(2024), no. 4, article no. 113, 17pp
2024
-
[16]
Li and B
H. Li and B. Xu,Hyperbolicp-sum and horosphericalp-Brunn-Minkowski theory in hyperbolic space (2022), available at arXiv:2211.06875
2022 arXiv
-
[18]
Li and L
Y. Li and L. Nirenberg,The distance function to the boundary, Finsler geometry, and the singular set of viscosity solution, Comm. Pure Appl. Math.58(2005), 85–146
2005
-
[19]
Lynch,Convexity estimates for hypersurfaces moving by concave curvature functions, Duke Math
S. Lynch,Convexity estimates for hypersurfaces moving by concave curvature functions, Duke Math. J.171(2022), no. 10, 2047–2088. 18 H. LI, Y. WEI, AND B. XU
2022
-
[20]
Montiel and A
S. Montiel and A. Ros,Compact hypersurfaces: the Alexandrov theorem for higher order mean curva- tures, Differential geometry, Pitman Monogr. Surveys Pure Appl. Math., vol. 52, Longman Sci. Tech., Harlow, 1991, pp. 279–296
1991
-
[21]
Pan and B
S. Pan and B. Yang,The weighted geometric inequalities for static convex domains in static rotationally symmetric spaces(2023), available at arXiv:2311.02364
2023 arXiv
-
[22]
Qiu and C
G. Qiu and C. Xia,A generalization of Reilly’s formula and its applications to a new Heintze-Karcher type inequality, Int. Math. Res. Not. IMRN17(2015), 7608–7619
2015
-
[23]
Reilly,Applications of the Hessian operator in a Riemannian manifold, Indiana Univ
R.C. Reilly,Applications of the Hessian operator in a Riemannian manifold, Indiana Univ. Math. J. 26(1977), 459–472
1977
-
[24]
Ros,Compact hypersurfaces with constant higher order mean curvatures, Rev
A. Ros,Compact hypersurfaces with constant higher order mean curvatures, Rev. Mat. Iberoamericana 3(1987), no. 3-4, 447–453
1987
-
[25]
Scheuer and C
J. Scheuer and C. Xia,Locally constrained inverse curvature flows, Trans. Amer. Math. Soc.372 (2019), no. 10, 6771–6803
2019
-
[26]
Schneider,Convex bodies: the Brunn-Minkowski theory, Second expanded edition, Encyclopedia of Mathematics and its Applications, vol
R. Schneider,Convex bodies: the Brunn-Minkowski theory, Second expanded edition, Encyclopedia of Mathematics and its Applications, vol. 151, Cambridge University Press, Cambridge, 2014
2014
-
[27]
X. Wang, Y. Wei, and T. Zhou,Shifted inverse curvature flows in hyperbolic space, Calc. Var. Partial Differential Equations62(2023), no. 3, Paper No. 93, 44 pp
2023
-
[28]
Xia,A Minkowski type inequality in space forms, Calc
C. Xia,A Minkowski type inequality in space forms, Calc. Var. Partial Differential Equations55 (2016), no. 4, Art. 96, 8 pp. Department of Mathematical Sciences, Tsinghua University, Beijing 100084, P.R. China Email address:lihz@tsinghua.edu.cn School of Mathematical Sciences,...
2016
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.