REVIEW 4 major objections 3 minor 1 cited by
A comparison theorem with applications to sharp geometric inequalities for submanifolds
T0 review · 4 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash
Pith's one-line read A comparison theorem for the normal exponential map yields sharp total-curvature and L^n mean-curvature inequalities for closed submanifolds.
desk verdict Nice determinant lemma and a correct sectional-curvature inequality, but the n-Ricci comparison theorem is false; the Willmore–Chen application collapses. 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 load-bearing object is the Jacobian determinant of the normal exponential map exp⊥: T⊥Σ → M. The paper factorizes its differential as a block lower-triangular matrix (Lemma 2.4), separating the ambient exponential map's Jacobian from the determinant of Q = (1/2)Hess d² − h(·,·). The comparison theorem Theorem 2.11 then controls that determinant by the model-space-form expression (sδ/t)^{m−1}(cδ − sδ⟨H,ξ⟩)^n, using only an n-Ricci lower bound (plus an umbilicality assumption in the pointwise version). This comparison is what replaces the stronger sectional-curvature hypotheses of earlier comparison theorems in the high-codimension cases.
What would settle it
Test the n=2 case of Theorem 1.3 on the Eguchi-Hanson metric: it is Ricci-flat, has Euclidean volume growth, and contains a closed totally geodesic (minimal) S^2. Computing the tube volume growth of that S^2 under the normal exponential map — predicted by the pointwise bound |det exp⊥| ≤ 1 to be at most quadratic in the tube radius, while the ambient Euclidean volume growth forces quartic growth — would settle whether the theorem is true as stated.
Extended reading notes
Core claim
The central discovery is the determinant formula |det Φ_*| = |det Exp_*| · |det Q|, where Q = (1/2)Hess d² − h(·,·) (plus a Hessian of a gradient term in the general version). Applying this to the normal exponential map, the paper proves Theorem 2.11: under Ric_M^n ≥ nδ, with an umbilical point and mean curvature at least the model value, |det exp⊥_*(x,tξ)| ≤ (sδ(t)/t)^{m−1}(cδ(t) − sδ(t)⟨H,ξ⟩)^n. Setting δ=0 and integrating this pointwise bound over the unit normal bundle yields the Willmore–Chen-type inequality in Theorem 1.3, with equality forcing the normal exponential map to be a diffeomorphism and the submanifold to be totally umbilical with D⊥-parallel mean curvature.
Load-bearing premise
The load-bearing premise is that nonnegative n-Ricci curvature plus Euclidean volume growth forces the pointwise Jacobian bound to hold for every closed submanifold and thereby makes closed minimal submanifolds impossible — yet the paper's own Eguchi-Hanson example, with its closed totally geodesic S^2, appears to contradict the n=2 case of that premise.
Editorial extensions
If this is right
- If Ric_M^n ≥ 0 and AVR(M)>0, every closed n-dimensional submanifold satisfies ∫Σ |H|^n dvol ≥ AVR(M)|S^n|; equality forces exp⊥ to be a diffeomorphism, total umbilicality, and parallel mean curvature.
- Under nonnegative sectional curvature, the total absolute curvature satisfies ∫Σ K* dvol ≥ 2 AVR(M)|S^{n+m−1}|, with equality as described in Theorem 1.1.
- There is no closed minimal k-dimensional submanifold for n ≤ k ≤ N−1 in a complete noncompact N-manifold with nonnegative n-Ricci curvature and Euclidean volume growth.
- The comparison theorem weakens the Heintze–Karcher sectional-curvature condition to an n-Ricci bound in the umbilical high-codimension case.
- The determinant formula itself works with an added gradient field, so it applies to a family of maps beyond exp⊥ and may have further comparison consequences.
Reading between the lines
- The pointwise bound used in the proof of (1.4) is stated in Theorem 2.11 only under umbilicality; a trace-Hessian-plus-AM-GM argument would likely repair it, but the text does not supply that step.
- The introduction's Eguchi-Hanson example (Ricci-flat with Euclidean volume growth and a closed totally geodesic S^2) appears to be a direct counterexample to the n=2 case of Theorem 1.3; reconciling it requires an extra hypothesis or a different reading of n-Ricci curvature.
- The same determinant comparison should yield sharp volume comparisons for tubular neighborhoods and isoperimetric-type bounds for higher-codimension submanifolds under intermediate Ricci curvature; the paper indicates but does not carry these out.
- The equality metric (1−⟨H,y⟩)^2 gΣ + gT⊥Σ is formally the Euclidean cone-type metric, so the paper's equality analysis suggests asking whether equality forces the ambient manifold to be Euclidean, a question the authors leave open.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives an explicit formula for the Jacobian determinant of the normal exponential map (Lemma 2.4), uses it to prove a submanifold comparison theorem (Theorem 2.11), and applies it to obtain a Fenchel–Borsuk–Chern–Lashof-type inequality under nonnegative sectional curvature (Theorem 1.1) and a Willmore–Chen-type inequality under nonnegative n-Ricci curvature (Theorem 1.3), together with equality-case rigidity statements. The central claimed novelty is Theorem 2.11(ii): under Ric_M^n ≥ nδ, an umbilical submanifold with hH,ξi ≥ hH,ξi satisfies the pointwise normal-exponential Jacobian bound (2.31).
Significance. If correct, Theorem 2.11 would constitute a genuine extension of the Heintze–Karcher comparison theorem and would give sharp global inequalities in a broad Riemannian setting. The paper also contains useful independent material: the determinant decomposition in Lemma 2.4, the localized cut-distance function τ̃_f, and the Hessian monotonicity statement Theorem 2.9 are all presented with substantial detail. However, the central comparison theorem (ii) is false as stated, and the proof of Theorem 1.3 relies on an unjustified application of it. Since the main advertised application and the comparison theorem itself are load-bearing, the manuscript in its current form cannot be accepted.
major comments (4)
- [Theorem 2.11(ii), Eq. (2.31)] The statement is false. Let M = H^2(-1) × S^3(2), with n=3, m=2. A direct computation gives Ric_M^3 ≥ 0: for v in the H factor, the minimum 3-plane sum is -1+2+2 = 3; for v in the S factor it is -2+2 = 0. Take Σ = {p} × S^3, which is closed and totally geodesic, so H=0 and it is umbilical. Choose orthonormal ξ, e_1 ∈ T_p H^2. For the normal exponential map in the e_1 direction, the vertical Jacobi field satisfies Y'' − Y = 0 with Y(0)=0, Y′(0)=e_1, so |Y(t)| = sinh t; all other factors are 1. Thus |det exp^⊥_*(x,tξ)| = sinh t for every t before the cut/focal distance, which is infinite in H^2. With δ=0, the right-hand side of (2.31) is (s_0(t)/t)^{m-1}(c_0(t) − 0)^n = 1·1^3 = 1, contradicting sinh t > 1 for any t>0.
- [Proof of Theorem 2.11(ii), use of Lemma 2.8(i)] The proof asserts the bound |det exp^⊥_*| ≤ (s_δ(t)/t)^{m-1} ... by applying Bishop's Lemma 2.8(i) with l = m−1 to the normal directions. But Lemma 2.8(i) requires Ric_M^{m−1} ≥ (m−1)δ, which is not assumed. The hypothesis Ric_M^n ≥ nδ only controls n-planes perpendicular to ξ, in particular T_xΣ; it gives no control of the remaining m−1 normal directions. The counterexample in the previous comment shows this is not a mere technical gap: the missing normal Jacobian factor is genuinely unbounded.
- [Section 6, proof of inequality (1.4)] The proof applies Theorem 2.11 directly to obtain the pointwise bound |det exp^⊥_*(x,y)| ≤ (1 − hH(x),y)^n for an arbitrary closed submanifold. Theorem 2.11(ii) is stated only under the hypothesis that Σ is umbilical at x for the normal ξ, which is not satisfied by a general submanifold. Even if the tangent-factor estimate could be repaired by an arithmetic-geometric-mean inequality on the trace in Lemma 2.7, the normal Jacobian factor discussed above remains uncontrolled. Thus inequality (1.4) is unsupported as written.
- [Corollary 1.4 and equality cases of Theorem 1.3] The corollary and the equality characterization in Theorem 1.3 depend on Theorem 2.11(ii) and on Lemma 7.4, which in turn invokes Theorem 2.11. Since Theorem 2.11(ii) is false, these conclusions are not established.
minor comments (3)
- [Abstract] Typo: 'esitimate' should be 'estimate'.
- [Proof of Theorem 2.11] The proof refers to 'Theorem 2.8' where the intended reference is apparently Lemma 2.8.
- [Throughout] Several spelling/grammar issues occur, e.g. 'satiesfying' (Lemmas 4.4, 7.2), 'sufficiency'/'sufficient' throughout, and inconsistent punctuation in displayed inequalities. These do not affect the mathematics.
Circularity Check
No circularity: the derivation is a standard comparison-theory chain from Bishop/Heintze–Karcher inputs; suspected flaws are correctness issues, not equivalence-by-construction.
full rationale
I walked the claimed derivation chain. Lemma 2.4 is an explicit differential computation, not a renaming of the target inequality; Theorems 2.10 and 2.11 are proved from Bishop's Lemmas 2.7/2.8, and the applications in Sections 3–6 use the area formula with those comparison bounds. No parameter is fitted to the submanifold data and then renamed a prediction; the asymptotic volume ratio is an ambient invariant, not a fit to Σ. The paper contains no load-bearing self-citation: the cited Heintze–Karcher, Bishop, Wang, and Cordero-Erausquin–McCann–Schmuckenschläger results are external and are used as tools, with attribution. The reader's/skeptic's objections (that Theorem 2.11(ii) may not follow from n-Ricci alone, and that Section 6 applies it without the umbilicality hypothesis) concern mathematical validity, not circularity: even if those bounds fail, they are not the inputs of the derivation restated as outputs. Omitted 'similar' proofs (e.g., sufficiency of Theorem 1.3) are gaps, not self-referential support. Hence no circular step is exhibited.
Assumptions & free parameters
assumptions (4)
- standard math Bishop comparison lemmas (Lemmas 2.7 and 2.8) for Hessians and Jacobi-field volumes under Ric_l ≥ lδ or sectional curvature upper bounds.
- standard math Area formula for the normal exponential map with multiplicity, applied on truncated normal bundles U_{r0} and Ũ_{r0}.
- domain assumption Asymptotic tube-volume identity |Ω_{r0}| / (ω_{n+m} r0^{n+m}) → AVR(M,ḡ) for compact Σ in a nonnegatively curved manifold with Euclidean volume growth.
- ad hoc to paper Theorem 2.11(ii) remains valid without the stated umbilical hypothesis, or an equivalent trace-AM-GM bound applies to general submanifolds.
Cite this review
Pith. "Pith review of A comparison theorem with applications to sharp geometric inequalities for submanifolds." pith.science (2026). https://pith.science/paper/J4ZIQ7LZ
@misc{pith2026260506074,
author = {Pith},
title = {Pith review of: A comparison theorem with applications to sharp geometric inequalities for submanifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/J4ZIQ7LZ}},
note = {Machine review of arXiv:2605.06074}
}
read the original abstract
In this paper, 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. As applications, 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.
Forward citations
Cited by 1 Pith paper
-
Fenchel-Willmore-Chen inequality under lower bounds on weighted intermediate Ricci curvature
The paper proves a Fenchel-Willmore-Chen inequality for submanifolds in smooth metric measure spaces with lower bounds on the 1-Bakry-Emery n-Ricci curvature, plus Sobolev and isoperimetric inequalities under nonnegat...
Reference graph
Works this paper leans on
-
[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]
S. Brendle, Geometric inequalities and the Alexandrov-Bakelman-Pucci technique, Preprint, available at arXiv:2603.12025
Show all 45 references
-
[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...
1968
Reviewed August 2, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.