Pith. sign in

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 →

arxiv 2504.15109 v1 pith:ON2VULP2 submitted 2025-04-21 math.DG

classification math.DG MSC 53C4253C2453C21
keywords Heintze-Karcherinequalityshiftedprincipalcurvaturessub-staticwarpedproducthyperbolicspaceunitnormalflowgeodesicsphererigiditycurvatureequationsweightedintegral
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper establishes new Heintze-Karcher type integral inequalities in which the boundary integrand uses the shifted mean curvature $p_1(\kappa)-\varepsilon$ rather than the usual mean curvature. Its main new result is a hyperbolic-space inequality that does not require the boundary to be mean-convex: if $\Omega\subset\mathbb{H}^{n+1}$ has smooth boundary $\Sigma$ with $p_1(\kappa)>-1$, then $\int_\Sigma \frac{\lambda'+u}{p_1(\kappa)+1}\,d\mu \ge (n+1)\int_\Omega \lambda'\,dv$, with equality only for umbilic boundaries, i.e. geodesic spheres. For general sub-static warped product manifolds, the paper proves an analogous inequality for every shift $\varepsilon\in\mathbb{R}$ under a static-convexity hypothesis and a positivity condition, and uses these estimates to show that certain curvature equations force hypersurfaces to be geodesic spheres. This matters because shifted mean curvature is the natural curvature in hyperbolic geometry, and the new inequalities extend a tool that is widely used to prove rigidity and isoperimetric results.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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$.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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)
  1. [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.
  2. [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)
  1. [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}'.
  2. [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.
  3. [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.
  4. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The central results are proved from standard Riemannian geometry and two substantial cited results (Theorem B, Lemma 3.4). No free parameters or invented entities are introduced. The paper's own novelty lies in the new ε=-1 case in hyperbolic space and the algebraic reduction for general ε under static-convexity.

assumptions (5)
  • domain assumption The ambient sub-static warped product manifold M^{n+1} = [0, ¯r) × N with potential λ' satisfies condition (2.11).
    Standing hypothesis for Theorem B and Theorem 1.4; includes space forms as special cases.
  • standard math The cut locus of Σ has finite n-dimensional Hausdorff measure, so the coarea formula applies on Σ×[0,T].
    Used in Section 3 (proof of Theorem 1.1), stated after the definition of A and citing Li-Nirenberg [18].
  • domain assumption Lemma 3.4: ∫_{Σ*_t} u dμ_t = (n+1)∫_{w>t} λ' dv for a.e. t.
    Quoted from [15]; it is the key identity in Lemma 3.5 and is not reproved in the paper.
  • domain assumption Theorem B (Li-Xia [17]): the Minkowski type inequality (1.9)-(1.10) for static-convex domains in sub-static warped products.
    The proof of Theorem 1.4 reduces to this cited result plus algebraic manipulation.
  • standard math Newton-MacLaurin inequality p_m(x) ≤ p_1(x)p_{m-1}(x) on Γ+_m.
    Used in the applications (Theorems 1.2 and 1.6) to compare p_{k-1}/p_k with 1/p_1.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. An Alexandrov-type theorem in warped product manifolds with radial density

    math.DG 2026-08 accept novelty 7.0 of 10

    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.

  2. On rigidity of hypersurfaces with constant shifted curvature functions in warped product manifolds

    math.DG 2025-07 conditional novelty 6.0 of 10

    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

28 extracted references · 27 canonical work pages · cited by 2 Pith papers

  1. [17]

    Li and C

    J. Li and C. Xia,An integral formula and its applications on sub-static manifolds, J. Differential Geom.113(2019), no. 2, 493–518

  2. [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

  3. [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

  4. [3]

    Andrews, X

    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

  5. [4]

    Brendle,Constant mean curvature surfaces in warped product manifolds, Publications math´ ematiques de l’IH´ES117(2013), 247–269

    S. Brendle,Constant mean curvature surfaces in warped product manifolds, Publications math´ ematiques de l’IH´ES117(2013), 247–269

  6. [5]

    Brendle and G

    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

  7. [6]

    Brendle, P.-K

    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

  8. [7]

    Brendle and M.-T

    S. Brendle and M.-T. Wang,A Gibbons-Penrose inequality for surfaces in Schwarzschild spacetime, Comm. Math. Phys.330(2014), no. 1, 33–43

Show all 28 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [25]

    Scheuer and C

    J. Scheuer and C. Xia,Locally constrained inverse curvature flows, Trans. Amer. Math. Soc.372 (2019), no. 10, 6771–6803

  18. [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

  19. [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

  20. [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,...

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.