A comparison theorem with applications to sharp geometric inequalities for submanifolds

Chengyang Yi, Shengliang Pan

Pith reviewed 2026-05-08 04:59 UTC · model grok-4.3

classification 🧮 math.DG

keywords comparison theoremJacobian determinantnormal exponential mapgeometric inequalitiessubmanifoldsnonnegative curvatureFenchel inequalityWillmore inequality

0 comments

The pith

An explicit formula for the Jacobian determinant of the normal exponential map on a submanifold leads to a new comparison theorem and sharp geometric inequalities.

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

The paper derives an explicit expression for the Jacobian determinant of the normal exponential map on a submanifold and relates it directly to the Jacobian of the ambient manifold's exponential map. This relation produces a comparison theorem that provides bounds in terms of mean curvature and ambient geometry, closely related to prior results by Heintze-Karcher and Brendle. The theorem is applied to establish a Fenchel-Borsuk-Chern-Lashof-type inequality and a Willmore-Chen-type inequality for closed submanifolds. These results apply specifically when the ambient space is complete and noncompact with nonnegative sectional curvature and Euclidean volume growth.

Core claim

The authors derive an explicit expression for the Jacobian determinant of the normal exponential map on a submanifold, establishing a relationship with its ambient counterpart. This formula leads to a new comparison theorem. As applications, they obtain a Fenchel-Borsuk-Chern-Lashof-type inequality and a Willmore-Chen-type inequality on closed submanifolds in complete noncompact manifolds with nonnegative curvature and Euclidean volume growth.

What carries the argument

The explicit expression for the Jacobian determinant of the normal exponential map on a submanifold, which relates it to the ambient Jacobian and incorporates mean curvature terms to enable the comparison.

Load-bearing premise

The ambient manifold is complete and noncompact with nonnegative sectional curvature and Euclidean volume growth, and the submanifolds are closed with the normal exponential map well-defined up to the cut locus.

What would settle it

An explicit computation of the Jacobian determinant for the normal exponential map of a standard sphere in Euclidean space, checked against the known formula, would confirm or refute the derived expression.

read the original abstract

Inspired by the work of Cordero-Erausquin, McCann and Schmuckenschl\"ager [{\it Invent. Math.,} 2001], we derive an explicit expression for the Jacobian determinant of the normal exponential map on a submanifold, establishing a relationship with its ambient counterpart. This formula leads to a new comparison theorem which is closely related to the comparison theorem of Heintze-Karcher [{\it Ann. Sci. \'Ecole Norm. Sup.,} 1978] and the esitimate of Brendle [{\it Comm. Pure Appl. Math.,} 2023]. As applications, inspired by Wang [{\it Ann. Fac. Sci. Toulouse Math.,} 2023] (and hence also by Heintze-Karcher), we obtain a Fenchel-Borsuk-Chern-Lashof-type inequality and a Willmore-Chen-type inequality on closed submanifolds in complete noncompact manifolds with nonnegative curvature and Euclidean volume growth.

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.

Desk Editor's Note private letter to a colleague

The paper gives an explicit Jacobian formula for the normal exponential map on submanifolds that yields a comparison theorem extending Heintze-Karcher and Brendle, plus applications to two families of inequalities in noncompact ambient spaces.

read the letter

The main takeaway is that they derive a concrete expression for the Jacobian determinant of the normal exponential map starting from a submanifold and relate it directly to the ambient Jacobian. This produces a comparison theorem in the style of Heintze-Karcher and Brendle, then feeds into Fenchel-Borsuk-Chern-Lashof-type and Willmore-Chen-type inequalities for closed submanifolds inside complete noncompact manifolds that have nonnegative sectional curvature and Euclidean volume growth. The assumptions are stated clearly up front and the normal map is considered only up to the cut locus, which keeps things standard for this area of comparison geometry. They credit the right prior papers and the logic flows from the formula to the theorem to the applications without obvious circularity. What they do well is make the Jacobian relation explicit rather than leaving it implicit, and they handle the noncompact volume-growth setting without adding extra hypotheses. The applications look like direct but useful adaptations of Wang's earlier inequalities. The soft spots are minor. The derivation steps for the Jacobian are only sketched in the abstract, so a referee will want to see the full calculation to confirm there are no hidden terms when the ambient curvature is only nonnegative. Equality cases for the new inequalities are not discussed in detail, which is common but leaves the sharpness claim a bit thin until examples are checked. No load-bearing gaps appear in the overall argument from what is described. This paper is aimed at people who already know the Heintze-Karcher comparison and work on geometric inequalities for submanifolds. A reader comfortable with those references will pick up the extension quickly and see where it can be used in variational problems. It is solid enough and formally grounded enough to deserve a serious referee rather than a desk reject.

Referee Report

0 major / 3 minor

Summary. The manuscript derives an explicit expression for the Jacobian determinant of the normal exponential map on a submanifold, relating it to the Jacobian of the ambient exponential map. This formula yields a comparison theorem extending the Heintze-Karcher theorem and Brendle's estimate. The authors apply the result to obtain Fenchel-Borsuk-Chern-Lashof-type and Willmore-Chen-type inequalities for closed submanifolds in complete noncompact ambient manifolds with nonnegative sectional curvature and Euclidean volume growth.

Significance. If the derivation of the Jacobian formula holds, the work supplies a concrete tool for comparison geometry on submanifolds in noncompact settings with controlled volume growth. The explicit relation between submanifold and ambient Jacobians, together with the resulting sharp inequalities, strengthens the toolkit for geometric inequalities beyond compact ambient spaces.

minor comments (3)

[Introduction] The introduction would benefit from a short paragraph explicitly contrasting the new Jacobian formula with the classical Heintze-Karcher and Brendle statements, citing the relevant equations.
[Theorem 1.1] In the statement of the comparison theorem, the precise cut-locus condition for the normal exponential map should be restated for clarity, even if it follows from the ambient assumptions.
[Section 4] The applications section assumes the submanifolds are closed and embedded; a brief remark on whether the inequalities extend to immersed submanifolds would be helpful.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the recognition of the explicit Jacobian formula for the normal exponential map, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from first principles

full rationale

The paper's central derivation begins with the normal exponential map on a submanifold in a complete noncompact ambient manifold with nonnegative sectional curvature and Euclidean volume growth. It produces an explicit Jacobian determinant formula relating the submanifold case to the ambient one, then derives a comparison theorem extending Heintze-Karcher and Brendle. Applications to the cited inequalities follow directly. No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; all cited works (Cordero-Erausquin et al., Heintze-Karcher, Brendle, Wang) are external and independent. The assumptions are standard and explicitly stated, with the normal exponential map considered up to the cut locus. This is the typical non-circular case for a comparison theorem in Riemannian geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on standard Riemannian geometry plus the specific curvature and volume-growth conditions stated for the ambient manifold.

axioms (3)

domain assumption Ambient manifold has nonnegative sectional curvature.
Required for the comparison theorem and the stated inequalities.
domain assumption Ambient manifold has Euclidean volume growth.
Explicitly required for the setting of the Fenchel-Borsuk-Chern-Lashof and Willmore-Chen type inequalities.
domain assumption Submanifolds are closed and immersed.
Needed for the global inequalities on closed submanifolds.

pith-pipeline@v0.9.0 · 5474 in / 1594 out tokens · 38795 ms · 2026-05-08T04:59:16.173102+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

45 extracted references · 1 canonical work pages

[1]

Agostiniani, M

V. Agostiniani, M. Fogagnolo and L. Mazzieri, Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature, Invent. math., 222, 2020, 1033–1101

2020
[2]

M. T. Anderson, Short geodesics and gravitational instantons, J. Differential Geom. 31 (1990), no. 1, 265–275

1990
[3]

R. L. Bishop and R. J. Crittenden, Geometry of manifolds , Pure and Applied Mathematics, Vol. XV, Academic Press, New York-London, 1964

1964
[4]

Borsuk, Sur la courbure totale des courbes fermées, Ann

K. Borsuk, Sur la courbure totale des courbes fermées, Ann. Soc. Polon. Math., 20, 1947 251–265

1947
[5]

Brendle, Constant mean curvature surfaces in warped product manifolds, Publ

S. Brendle, Constant mean curvature surfaces in warped product manifolds, Publ. Math. Inst. Hautes Études Sci. 117 (2013), 247–269

2013
[6]

Brendle, The isoperimetric inequality for a minimal submanifold in Euclidean space, J

S. Brendle, The isoperimetric inequality for a minimal submanifold in Euclidean space, J. Amer. Math. Soc. 34 (2021), no. 2, 595–603

2021
[7]

Brendle, Sobolev inequalities in manifolds with nonnegative curvature, Comm

S. Brendle, Sobolev inequalities in manifolds with nonnegative curvature, Comm. Pure Appl. Math., 76, 2023 2192–2218

2023
[8]

Brendle, Geometric inequalities and the Alexandrov-Bakelman-Pucci technique, Preprint, available at arXiv:2603.12025

S. Brendle, Geometric inequalities and the Alexandrov-Bakelman-Pucci technique, Preprint, available at arXiv:2603.12025

work page arXiv
[9]

Brickell and C.-C

F. Brickell and C.-C. Hsiung, The total absolute curvature of closed curves in Riemannian manifolds, J. Differential Geometry 9 (1974), 177–193

1974
[10]

Cederbaum and A

C. Cederbaum and A. Miehe, A new proof of the Willmore inequality via a divergence inequality, Trans. Amer. Math. Soc. 378 (2025), no. 9, 6655–6676

2025
[11]

Cheeger and D

J. Cheeger and D. G. Ebin, Comparison theorems in Riemannian geometry , revised reprint of the 1975 original, AMS Chelsea Publ., Providence, RI, 2008. 37

1975
[12]

Chen, On an inequality of T

B.-Y. Chen, On an inequality of T. J. Willmore, Proc. Amer. Math. Soc., 26, 1970 473–479

1970
[13]

Chen, On the total curvature of immersed manifolds

B.-Y. Chen, On the total curvature of immersed manifolds. I. An inequality of Fenchel-Borsuk- Willmore, Amer. J. Math., 93, 1971 148–162

1971
[14]

Y. Chen, Q. He and Y. Qian, On hypersurfaces with constant mean curvature in Finsler manifolds, Results Math. 80 (2025), no. 3, Paper No. 84, 19 pp

2025
[15]

S. S. Chern and R. K. Lashof, On the total curvature of immersed manifolds, Amer. J. Math., 79, 1957 306–318

1957
[16]

S. S. Chern and R. K. Lashof, On the total curvature of immersed manifolds. II, Michigan Math. J. 5 (1958), 5–12

1958
[17]

J. Choe, M. Ghomi and M. Ritoré, Total positive curvature of hypersurfaces with convex boundary, J. Differential Geom. 72 (2006), no. 1, 129–147

2006
[18]

Cordero-Erausquin, R

D. Cordero-Erausquin, R. J. McCann and M. Schmuckenschläger, A Riemannian interpolation in- equality à la Borell, Brascamp and Lieb, Invent. Math., 146(2), 2001 219–257

2001
[19]

M. P. do Carmo, Riemannian geometry, translated from the second Portuguese edition by Francis Flaherty, Mathematics: Theory & Applications, Birkhäuser Boston, Boston, MA, 1992

1992
[20]

Domínguez-Vázquez, D

M. Domínguez-Vázquez, D. González-Álvaro and L. Mouillé, Infinite families of manifolds of positive kth-intermediate Ricci curvature with k small, Math. Ann. 386 (2023), no. 3-4, 1979–2014

2023
[21]

Eguchi and A

T. Eguchi and A. J. Hanson, Self-dual solutions to Euclidean gravity, Ann. Physics 120 (1979), no. 1, 82–106

1979
[22]

Fenchel, Über Krümmung und Windung geschlossener Raumkurven, Math

W. Fenchel, Über Krümmung und Windung geschlossener Raumkurven, Math. Ann., 101(1), 1929 238–252

1929
[23]

Fáry, Sur la courbure totale d’une courbe gauche faisant un nœud, Bull

I. Fáry, Sur la courbure totale d’une courbe gauche faisant un nœud, Bull. Soc. Math. France 77 (1949), 128–138

1949
[24]

Fogagnolo and A

M. Fogagnolo and A. Pinamonti, New integral estimates in substatic Riemannian manifolds and the Alexandrov theorem, J. Math. Pures Appl. (9) 163 (2022), 299–317

2022
[25]

Heintze and H

E. Heintze and H. Karcher, A general comparison theorem with applications to volume estimates for submanifolds, Ann. Sci. École Norm. Sup. (4), 11(4), 1978 451–470

1978
[26]

J. A. Hoisington, On the total curvature and Betti numbers of complex projective manifolds, Geom. Topol. 26 (2022), no. 1, 1–45

2022
[27]

Y. Hu, Y. Wei, C. Xia and T. Zhou, A Heintze-Karcher-type inequality for capillary hypersurfaces in a hyperbolic half-space, J. Funct. Anal. 289 (2025), no. 6, Paper No. 110970, 24 pp

2025
[28]

Itoh and M

J.-I. Itoh and M. Tanaka, The Lipschitz continuity of the distance function to the cut locus, Trans. Amer. Math. Soc. 353 (2001), no. 1, 21–40

2001
[29]

X. Jia, G. Wang, C. Xia and X. Zhang, Willmore-type inequality in unbounded convex sets, J. Lond. Math. Soc. (2) 111 (2025), no. 3, Paper No. e70105, 24 pp

2025
[30]

X. Jia, C. Xia and X. Zhang, A Heintze-Karcher-type inequality for hypersurfaces with capillary boundary, J. Geom. Anal. 33 (2023), no. 6, Paper No. 177, 19 pp

2023
[31]

Ketterer and A

C. Ketterer and A. Mondino, Sectional and intermediate Ricci curvature lower bounds via optimal transport, Adv. Math. 329 (2018), 781–818

2018
[32]

Li and C

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

2019
[33]

Lee and F

J. Lee and F. Ricci, The log-Sobolev inequality for a submanifold in manifolds with asymptotic non- negative intermediate Ricci curvature, J. Geom. Anal. 34 (2024), no. 5, Paper No. 141, 19 pp

2024
[34]

Ma and J

H. Ma and J. Wu, Sobolev inequalities in manifolds with nonnegative intermediate Ricci curvature, J. Geom. Anal. 34 (2024), no. 3, Paper No. 93, 16 pp

2024
[35]

J. W. Milnor, On the total curvature of knots, Ann. of Math. (2) 52 (1950), 248–257

1950
[36]

Mouillé, Torus actions on manifolds with positive intermediate Ricci curvature, J

L. Mouillé, Torus actions on manifolds with positive intermediate Ricci curvature, J. Lond. Math. Soc. (2) 106 (2022), no. 4, 3792–3821

2022
[37]

W. D. Pepe, On the total curvature of C 1 hypersurfaces in En+1, Amer. J. Math. 91 (1969), 984–1002

1969
[38]

Petersen, Riemannian geometry, third edition, Graduate Texts in Mathematics, 171, Springer, Cham, 2016

P. Petersen, Riemannian geometry, third edition, Graduate Texts in Mathematics, 171, Springer, Cham, 2016

2016
[39]

Reiser and D

P. Reiser and D. J. Wraith, Intermediate Ricci curvatures and Gromov’s Betti number bound, J. Geom. Anal. 33 (2023), no. 12, Paper No. 364, 20 pp

2023
[40]

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
[41]

Shen, On complete manifolds of nonnegative kth-Ricci curvature, Trans

Z. Shen, On complete manifolds of nonnegative kth-Ricci curvature, Trans. Amer. Math. Soc. 338 (1993), no. 1, 289–310. 38

1993
[42]

Wang, Optimal transport approach to Michael-Simon-Sobolev inequalities in manifolds with intermediate Ricci curvature lower bounds, Ann

K.-H. Wang, Optimal transport approach to Michael-Simon-Sobolev inequalities in manifolds with intermediate Ricci curvature lower bounds, Ann. Global Anal. Geom. 65 (2024), no. 1, Paper No. 7, 25 pp

2024
[43]

Wang, Remark on an inequality for closed hypersurfaces in complete manifolds with nonnegative Ricci curvature, Ann

X. Wang, Remark on an inequality for closed hypersurfaces in complete manifolds with nonnegative Ricci curvature, Ann. Fac. Sci. Toulouse Math. (6), 32, 2023 173–178

2023
[44]

J. L. Weiner, Total curvature and total absolute curvature of immersed submanifolds of spheres, J. Differential Geometry 9 (1974), 391–400

1974
[45]

Al. I. Cuza

T. J. Willmore, Mean curvature of immersed surfaces, An. Şti. Univ. “Al. I. Cuza” Iaşi Secţ. I a Mat. (N.S.), 14, 1968 99–103. School of Mathematical Sciences, Tongji University. No.1239, Siping Road, Shanghai, China. Email address : slpan@tongji.edu.cn School of Mathematical Sciences, Tongji University. No.1239, Siping Road, Shanghai, China. Email addre...

1968