pith. machine review for the scientific record. sign in

arxiv: 2603.19646 · v2 · submitted 2026-03-20 · 🧮 math.DG · math.AP

Recognition: 2 theorem links

· Lean Theorem

Sharp Minkowski Type Inequality in Cartan-Hadamard 3-Spaces

Fang Hong
Authors on Pith no claims yet

Pith reviewed 2026-05-15 07:51 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords Minkowski inequalityCartan-Hadamard spaceharmonic mean curvature flowtotal mean curvaturehyperbolic 3-spacecomparison theoremhypersurfacegeodesic sphere
0
0 comments X

The pith

Harmonic mean curvature flow proves a sharp Minkowski inequality for hypersurfaces in Cartan-Hadamard 3-spaces.

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

The paper establishes a sharp Minkowski-type inequality for closed hypersurfaces in Cartan-Hadamard 3-spaces. It derives the inequality by evolving the hypersurfaces under the harmonic mean curvature flow until the flow converges. This approach improves prior upper bounds on total mean curvature in hyperbolic 3-space and sharpens the result of Ghomi and Spruck. As a direct consequence, the total mean curvature in any Cartan-Hadamard 3-space is at most the value attained by the geodesic sphere of matching volume in the model hyperbolic space of constant curvature.

Core claim

In Cartan-Hadamard 3-spaces a sharp Minkowski-type inequality holds for closed hypersurfaces. The inequality is obtained by running the harmonic mean curvature flow, which decreases total mean curvature while preserving enclosed volume until the surface becomes a geodesic sphere. The resulting bound improves known estimates for total mean curvature in hyperbolic 3-space and sharpens Ghomi-Spruck's theorem. A comparison corollary then follows: the total mean curvature of any such hypersurface does not exceed that of the geodesic sphere in the corresponding constant-curvature hyperbolic 3-space.

What carries the argument

Harmonic mean curvature flow, a parabolic evolution of hypersurfaces whose long-time convergence yields the sharp inequality.

If this is right

  • Total mean curvature of any closed hypersurface in hyperbolic 3-space is bounded above by that of the geodesic sphere of equal volume.
  • Equality holds precisely when the hypersurface is a geodesic sphere.
  • The same upper bound applies to total mean curvature in any Cartan-Hadamard 3-space.
  • A direct comparison theorem relates total mean curvature in general Cartan-Hadamard spaces to the model hyperbolic sphere.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the flow can be shown to converge for a larger class of initial surfaces, the inequality may extend beyond strictly convex cases.
  • Similar flow techniques could be tested in higher-dimensional Cartan-Hadamard manifolds once suitable mean-curvature flows are defined.
  • The inequality supplies a new tool for comparing isoperimetric quantities across spaces of non-positive sectional curvature.

Load-bearing premise

The harmonic mean curvature flow exists for all time and converges to a geodesic sphere for the convex or star-shaped hypersurfaces under consideration.

What would settle it

A closed convex hypersurface in some Cartan-Hadamard 3-space whose total mean curvature exceeds the value for the geodesic sphere of the same enclosed volume would violate the claimed inequality.

read the original abstract

In this paper, we proved a sharp Minkowski type inequality in Cartan-Hadamard 3-spaces by harmonic mean curvature flow and improves the known estimates for total mean curvature in hyperbolic 3-space. In particular, we sharpened Ghomi-Spruck's result. As a corollary, we also get a comparison theorem between total mean curvature in Cartan-Hadamard 3-spaces with that of the geodesic sphere in hyperbolic 3-space with constant curvature.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The paper proves a sharp Minkowski-type inequality for closed hypersurfaces in Cartan-Hadamard 3-spaces by deforming via harmonic mean curvature flow to a geodesic sphere, obtaining monotonicity of a suitable functional whose limit yields the inequality. It improves total mean curvature estimates in hyperbolic 3-space and sharpens Ghomi-Spruck's result, with a corollary comparison theorem for total mean curvature against geodesic spheres in constant-curvature hyperbolic space.

Significance. If the flow convergence arguments hold, the result would extend classical Minkowski inequalities to variable non-positive sectional curvature, providing sharper curvature comparisons and potentially new tools for hypersurface geometry in Cartan-Hadamard manifolds.

major comments (3)
  1. [Section 3 (flow setup)] The short-time existence and preservation of star-shapedness/convexity under the harmonic mean curvature flow are stated without detailed verification of the parabolic estimates; in variable-curvature Cartan-Hadamard spaces the evolution of the second fundamental form acquires extra ambient curvature terms that are absent in the constant-curvature case used for comparison.
  2. [Section 4 (curvature estimates and convergence)] Uniform curvature estimates and long-time convergence to a geodesic sphere are claimed via maximum-principle arguments, but these do not automatically carry over when sectional curvature is only bounded above by -1 rather than constantly -1; no pinching or lower bound on the curvature operator is supplied to control the extra terms.
  3. [Theorem 1.1 and Section 5] The derivation of the sharp inequality in Theorem 1.1 (and the corollary comparison) passes to the limit along the flow; without rigorous justification of convergence for general initial data, the monotonicity alone does not establish the inequality.
minor comments (2)
  1. [Section 2 (notation)] The statement of the harmonic mean curvature flow equation should be written explicitly, including the precise form of the speed function and the ambient curvature contribution.
  2. [Introduction] The citation to Ghomi-Spruck should specify the exact theorem or inequality being sharpened for easier comparison.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our manuscript. We address each major comment below and will incorporate revisions to strengthen the exposition of the flow analysis and convergence arguments.

read point-by-point responses

  1. Referee: [Section 3 (flow setup)] The short-time existence and preservation of star-shapedness/convexity under the harmonic mean curvature flow are stated without detailed verification of the parabolic estimates; in variable-curvature Cartan-Hadamard spaces the evolution of the second fundamental form acquires extra ambient curvature terms that are absent in the constant-curvature case used for comparison.

    Authors: We agree that the short-time existence and preservation properties require more explicit verification in the variable-curvature setting. In the revised version we will add a complete computation of the evolution equation for the second fundamental form, including all ambient curvature terms arising from the Cartan-Hadamard condition. We will then verify that these terms remain controlled by the upper bound on sectional curvature and do not obstruct short-time existence or the preservation of star-shapedness and convexity for admissible initial data. revision: yes

  2. Referee: [Section 4 (curvature estimates and convergence)] Uniform curvature estimates and long-time convergence to a geodesic sphere are claimed via maximum-principle arguments, but these do not automatically carry over when sectional curvature is only bounded above by -1 rather than constantly -1; no pinching or lower bound on the curvature operator is supplied to control the extra terms.

    Authors: The referee correctly notes that the maximum-principle arguments must be adapted to the variable-curvature case. We will revise Section 4 to derive the necessary pinching estimates for the curvature operator, explicitly incorporating the extra terms permitted by K ≤ -1. With these bounds in hand we will establish uniform curvature estimates and prove long-time existence together with convergence to a geodesic sphere. revision: yes

  3. Referee: [Theorem 1.1 and Section 5] The derivation of the sharp inequality in Theorem 1.1 (and the corollary comparison) passes to the limit along the flow; without rigorous justification of convergence for general initial data, the monotonicity alone does not establish the inequality.

    Authors: We accept that the passage to the limit requires a self-contained justification of convergence. In the revision we will first complete the curvature estimates of Section 4 to guarantee global existence and convergence for general admissible initial data, then use the resulting limit to pass to the limit in the monotonicity identity, thereby rigorously obtaining the sharp inequality and the corollary comparison theorem. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation is self-contained via independent flow analysis

full rationale

The paper establishes the sharp Minkowski-type inequality by evolving convex hypersurfaces under the harmonic mean curvature flow in Cartan-Hadamard 3-spaces, deriving monotonicity of a suitable functional from the evolution equations, and passing to the limit as the flow converges to a geodesic sphere. This chain relies on short-time existence, curvature estimates, and comparison principles derived directly from the ambient sectional curvature bounds and the flow's parabolic structure, without presupposing the target inequality or reducing any quantity to a fitted input by construction. No self-citations, ansatzes, or renamings are invoked as load-bearing steps; the result follows from the geometry and the flow dynamics independently of the final bound.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on the standard properties of Cartan-Hadamard manifolds and the existence of the harmonic mean curvature flow, but no specific free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption The ambient space is a Cartan-Hadamard manifold with non-positive sectional curvature.
    This is the setting for the inequality.

pith-pipeline@v0.9.0 · 5358 in / 1097 out tokens · 83922 ms · 2026-05-15T07:51:07.657298+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

  1. [1]

    Andrews, B

    B. Andrews, B. Chow, C. Guenther, and M. Langford,Extrinsic geometric flows, Graduate Stud- ies in Mathematics, vol. 206, American Mathematical Society, Providence, RI, [2020]©2020. MR4249616↑6

    work page 2020

  2. [2]

    Andrews, Y

    B. Andrews, Y. Hu, and H. Li,Harmonic mean curvature flow and geometric inequalities, Adv. Math.375(2020), 107393, 28. MR4170217↑2

    work page 2020

  3. [3]

    Brendle, P

    S. Brendle, P. Guan, and J. Li,An inverse curvature type hypersurface flow in space forms. preprint. ↑2, 3

    work page

  4. [4]

    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. MR3433631 ↑2

    work page 2016

  5. [5]

    J. D. Brown and J. W. York Jr.,Quasilocal energy and conserved charges derived from the gravita- tional action, Phys. Rev. D (3)47(1993), no. 4, 1407–1419. MR1211109↑1

    work page 1993

  6. [6]

    Dalphin, A

    J. Dalphin, A. Henrot, S. Masnou, and T. Takahashi,On the minimization of total mean curvature, J. Geom. Anal.26(2016), no. 4, 2729–2750.↑1

    work page 2016

  7. [7]

    Gallego and G

    E. Gallego and G. Solanes,Integral geometry and geometric inequalities in hyperbolic space, Differ- ential Geom. Appl.22(2005), no. 3, 315–325. MR2166125↑2

    work page 2005

  8. [8]

    Y. Ge, G. Wang, and J. Wu,Hyperbolic Alexandrov-Fenchel quermassintegral inequalities II, J. Differential Geom.98(2014), no. 2, 237–260. MR3263518↑2

    work page 2014

  9. [9]

    Ghomi and J

    M. Ghomi and J. Spruck,Total curvature and the isoperimetric inequality in Cartan-Hadamard manifolds, J. Geom. Anal.32(2022), no. 2, Paper No. 50, 54. MR4358702↑12

    work page 2022

  10. [10]

    ,Minkowski inequality in Cartan-Hadamard manifolds, Int. Math. Res. Not. IMRN20 (2023), 17892–17910, DOI 10.1093/imrn/rnad114. MR4659867↑1, 2, 3, 6, 7, 12

    work page doi:10.1093/imrn/rnad114 2023

  11. [11]

    Giga,Surface evolution equations, Monographs in Mathematics, vol

    Y. Giga,Surface evolution equations, Monographs in Mathematics, vol. 99, Birkhäuser Verlag, Basel, 2006. A level set approach. MR2238463↑6

    work page 2006

  12. [12]

    Guan and J

    P. Guan and J. Li,The quermassintegral inequalities fork-convex starshaped domains, Adv. Math. 221(2009), no. 5, 1725–1732. MR2522433↑1

    work page 2009

  13. [13]

    Gulliver and G

    R. Gulliver and G. Xu,Examples of hypersurfaces flowing by curvature in a Riemannian manifold, Comm. Anal. Geom.17(2009), no. 4, 701–719. MR2601350↑7

    work page 2009

  14. [14]

    Hong,On Santaló’s problem

    F. Hong,On Santaló’s problem. In preparation.↑2

    work page

  15. [15]

    Huisken,Inverse mean curvature flow and isoperimetric inequalities, 2009

    G. Huisken,Inverse mean curvature flow and isoperimetric inequalities, 2009. Vedio available at https://video.ias.edu/node/233.↑1

    work page 2009

  16. [16]

    Huisken and A

    G. Huisken and A. Polden,Geometric evolution equations for hypersurfaces, Calculus of variations and geometric evolution problems (Cetraro, 1996), 1999, pp. 45–84. MR1731639↑6

    work page 1996

  17. [17]

    Kleiner,An isoperimetric comparison theorem, Invent

    B. Kleiner,An isoperimetric comparison theorem, Invent. Math.108(1992), no. 1, 37–47. MR1156385↑5

    work page 1992

  18. [18]

    Minkowski,Volumen und Oberfläche, Math

    H. Minkowski,Volumen und Oberfläche, Math. Ann.57(1903), no. 4, 447–495. MR1511220↑1

    work page 1903

  19. [19]

    Natário,A Minkowski-type inequality for convex surfaces in the hyperbolic 3-space, Differential Geom

    J. Natário,A Minkowski-type inequality for convex surfaces in the hyperbolic 3-space, Differential Geom. Appl.41(2015), 102–109. MR3353742↑2

    work page 2015

  20. [20]

    L. A. Santaló,A relation between the mean curvatures of parallel convex bodies in spaces of constant curvature, Rev. Un. Mat. Argentina21(1963), 131–137 (1963). MR169170↑2

    work page 1963

  21. [21]

    Naveira and Agustí Reventós in collaboration with Graciela S

    L.A.Santaló,Luis Antonio Santaló selected works,Springer-Verlag,Berlin,2009.EditedbyAntonio M. Naveira and Agustí Reventós in collaboration with Graciela S. Birman and Ximo Gual, With a preface by Simon K. Donaldson. MR2547470↑2 SHARP MINKOWSKI TYPE INEQUALITY IN CARTAN-HADAMARD 3-SPACES 15

    work page 2009

  22. [22]

    Schneider,Convex bodies: The Brunn–Minkowski theory, Second expanded edition, Encyclope- dia of Mathematics and its Applications, vol

    R. Schneider,Convex bodies: The Brunn–Minkowski theory, Second expanded edition, Encyclope- dia of Mathematics and its Applications, vol. 151, Cambridge University Press, Cambridge, 2014. MR3155183↑1

    work page 2014

  23. [23]

    Scheuer,Minkowski inequalities and constrained inverse curvature flows in warped spaces, Adv

    J. Scheuer,Minkowski inequalities and constrained inverse curvature flows in warped spaces, Adv. Calc. Var.15(2022), no. 4, 735–748. MR4489601↑2

    work page 2022

  24. [24]

    Wang and C

    G. Wang and C. Xia,Isoperimetric type problems and Alexandrov-Fenchel type inequalities in the hyperbolic space, Adv. Math.259(2014), 532–556. MR3197666↑2

    work page 2014

  25. [25]

    Wang and S.-T

    M.-T. Wang and S.-T. Yau,A generalization of Liu–Yau’s quasi-local mass, Comm. Anal. Geom. 15(2007), no. 2, 249–282. MR2344323↑2

    work page 2007

  26. [26]

    Xu,Harmonic mean curvature flow in Riemannian manifolds and Ricci flow on noncom- pact manifolds, ProQuest LLC, Ann Arbor, MI, 2010

    G. Xu,Harmonic mean curvature flow in Riemannian manifolds and Ricci flow on noncom- pact manifolds, ProQuest LLC, Ann Arbor, MI, 2010. Thesis (Ph.D.)–University of Minnesota. MR2941371↑7 Department of Mathematics and Statistics, McGill University, Montreal, Quebec, H3A 2K6, Canada. Email address:fang.hong@mail.mcgill.ca

    work page 2010