Fenchel-Willmore inequality for submanifolds in manifolds with non-negative $k$-Ricci curvature

Kwok-Kun Kwong; Meng Ji

Fenchel-Willmore inequality for submanifolds in manifolds with non-negative $k$-Ricci curvature

T0 review · 0 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Sharp Fenchel–Willmore inequality for submanifolds in nonnegative k-Ricci spaces

desk verdict A genuinely sharp Fenchel-Willmore inequality for arbitrary codimension under intermediate Ricci bounds, with a sound proof and real equality analysis. read the letter →

arxiv 2507.07655 v2 pith:EU3OT53R submitted 2025-07-10 math.DG

Meng Ji , Kwok-Kun Kwong This is my paper · ORCID

classification math.DG MSC 53E1053A0753C42

keywords Fenchel-Willmoreinequalityk-RiccicurvatureintermediateRiccimeansubmanifoldJacobiancomparisonvolumegrowthumbilical

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

This paper establishes a sharp Fenchel–Willmore inequality for closed submanifolds of arbitrary dimension and codimension inside a complete, noncompact Riemannian manifold whose intermediate ($k$-)Ricci curvature is nonnegative and whose volume grows like Euclidean space. It says that the total bending of any closed $n$-dimensional submanifold $\Sigma$, measured by $\int_\Sigma |\sigma|^n$ with $\sigma$ the normalized mean curvature vector, is at least $\theta |S^n|$, where $\theta$ is the asymptotic volume ratio of the ambient space. This unifies classical results in Euclidean space and extends a recent hypersurface theorem to higher codimension. The paper also characterizes equality, showing that in dimension $n\ge 2$ equality forces $\Sigma$ to be an embedded umbilical submanifold with parallel mean curvature, and the ambient metric near it to be a conical product.

What carries the argument

The proof's engine is the normal exponential map $\Phi_r(x,z)=\exp_x(rz)$ restricted to the set $A_r=\{(x,z)\in T^\perp\Sigma: |z|<1,\ d(q,\exp_x(rz))\ge r|z|\text{ for all }q\in\Sigma\}$. The curvature hypothesis is nonnegative $k$-Ricci curvature, the sum of sectional curvatures over any $k$-plane orthogonal to a unit vector, with $k=\min(n,m-1)$ for $m>1$ and $k=n$ for $m=1$. The paper proves a monotonicity formula for the Jacobian determinant: $s\mapsto |\det D\Phi_s(x,z)|/(s^m(1-s\langle\sigma(x),z\rangle)^n)$ is nonincreasing and bounded above by $s^m(1-s\langle\sigma(x),z\rangle)^n$. This is derived from the scalar Riccati inequality, using the $k$-Ricci condition to control the relevant curvature traces. The sharp constant $|S^n|$ then emerges by evaluating the fiber integrals exactly with the Euler $\beta$/gamma identity, rather than by cruder bounds that would lose sharpness in codimension $m>2$.

What would settle it

Find a closed $n$-dimensional submanifold $\Sigma$ in a complete noncompact manifold with nonnegative $k$-Ricci curvature (with $k$ as in (1.4)) and Euclidean volume growth for which $\int_\Sigma |\sigma|^n < \theta |S^n|$. In particular, a closed minimal submanifold ($\sigma=0$) in such an ambient would immediately falsify the theorem, and Corollary 1.4 asserts none exists. A more local test is to compute $|\det D\Phi_s|$ for a geodesic starting orthogonally from a non-umbilical $\Sigma$ with $(x,z)\in A_r$: the monotonicity bound must hold if the proof is sound.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.3: if $(M^{n+m},g)$ is complete, noncompact, has nonnegative $k$-Ricci curvature with $k=\min(n,m-1)$ for $m>1$ and $k=n$ for $m=1$, and has asymptotic volume ratio $\theta>0$, then every closed $n$-dimensional immersed submanifold $\Sigma$ satisfies $\int_\Sigma |\sigma|^n \ge \theta |S^n|$. The constant is optimal, attained by conical metrics $dr^2+(r/r_0)^2 g_\Sigma$ over any closed positively curved $\Sigma$. The equality case is rigid: for $n\ge 2$, $\Sigma$ is umbilical with parallel nonzero mean curvature vector, and the pullback of the ambient metric under the normal exponential map takes the form $dt^2+dy^2+(1-t|\sigma(x)|)^2 g_\Sigma$. A direct consequence is the nonexistence of closed minimal submanifolds in such ambient spaces.

Load-bearing premise

The argument assumes that membership in the set $A_r$ rules out focal points of $\Sigma$ along the geodesic for all earlier times, which is stated without proof and is what makes the Jacobian bound hold.

Editorial extensions

If this is right

There is no closed $n$-dimensional minimal submanifold in a complete noncompact manifold with nonnegative $k$-Ricci curvature and Euclidean volume growth (Corollary 1.4).
In the hypersurface case $m=1$, the inequality reduces to the nonnegative Ricci curvature setting and gives a third, more direct proof of the known sharp bound.
When the ambient space is Euclidean, the theorem recovers the classical Fenchel–Willmore inequality $\int_\Sigma |\sigma|^n \ge |S^n|$.
Equality forces a rigid structure: for $n\ge 2$, $\Sigma$ is an embedded umbilical submanifold with parallel mean curvature, and the ambient metric near $\Sigma$ is $dt^2+dy^2+(1-t|\sigma(x)|)^2 g_\Sigma$ up to diffeomorphism.
The inequality is sharp, since conical metrics over any closed positively curved $n$-manifold attain equality.

Reading between the lines

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

The same Jacobian monotonicity likely yields sharp Sobolev-type inequalities under a $k$-Ricci lower bound, extending the transport-map proof beyond nonnegative sectional curvature.
The equality rigidity suggests a strong geometric consequence the paper does not spell out: in the equality case the ambient space must be isometric, off a compact set, to a cone over $\Sigma$ with a flat normal factor, which connects to rigidity questions for gravitational instantons.
One could test the sharpness numerically in low codimension: perturb a round sphere in Euclidean space and check that $\int_\Sigma |\sigma|^n$ stays above the sharp value, with violations appearing only when the $k$-Ricci hypothesis is dropped.

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.

Desk Editor's Note

read the letter

Short version: this is a real theorem, not a repackaging. It proves the sharp Fenchel-Willmore lower bound ∫Σ |σ|n ≥ θ|S^n| for closed n-submanifolds of any codimension in complete noncompact manifolds with nonnegative k-Ricci and positive asymptotic volume ratio, where k = min(n, m−1) (or n when m = 1). That covers Chen's Euclidean result and the Agostiniani–Fogagnolo–Mazzieri hypersurface result as special cases, and it adds a nontrivial equality rigidity statement.

The proof uses a transport map from the normal bundle, a Heintze–Karcher/Riccati Jacobian bound, and exact gamma-function evaluation of the fiber integrals. The gamma-function step is what makes the sharp constant survive in all codimensions, and it is the right idea.

I went through the main estimates. The reader-flagged no-focal-point sentence in Lemma 2.4 is terse, but the implication is correct: membership in Ar gives d(q, γ(s)) ≥ s|z| by the triangle inequality, and since γ(0) ∈ Σ, the subsegment is length-minimizing from Σ, so the standard first-focal-point argument applies. The m = 2 product-with-R trick preserves θ and the mean-curvature integral; the m = 1 computation is consistent. The asymptotic estimates have harmless nonuniformities near t = −1 that vanish in the double limit. The equality analysis is intricate, and the "WLOG y0 ≠ 0" in Lemma 3.2 is a bit hand-wavy, but it is patchable. I did not find a load-bearing gap.

There is no circularity and nothing is fitted. The authors are also honest about what is new: they explicitly note that a non-sharp inequality follows from Brendle's Sobolev theorem, and the contribution here is sharpness and rigidity.

The paper is long and technical. A referee will want to check the Riccati traces and the equality rigidity line by line, but that is ordinary refereeing work, not grounds for rejection. This deserves a serious referee. I would send it out.

Referee Report

0 major / 6 minor

Summary. The paper establishes a sharp Fenchel–Willmore inequality for closed n-dimensional submanifolds Σ immersed in a complete non-compact Riemannian manifold (M^{n+m}, g) with non-negative k-Ricci curvature and Euclidean volume growth θ>0. The main theorem (Theorem 1.3) states that ∫_Σ |σ|^n ≥ θ|S^n|, where σ is the normalized mean curvature vector and k = min(n, m−1) for m>1, k=n for m=1. This recovers the hypersurface case of Agostiniani–Fogagnolo–Mazzieri and the higher-codimension Euclidean result of Chen. The proof uses a normal-exponential transport map, a monotonicity lemma for the Jacobian determinant obtained from the scalar Riccati inequality, surjectivity via the set A_r, and an exact evaluation of fiber integrals in terms of the Γ function. The equality case (Theorem 1.2) is also analyzed, giving rigidity for n≥2 and a metric description of the model. A corollary rules out closed minimal submanifolds in such ambient spaces. The arguments are detailed and self-contained; the m=1, m=2, and m≥3 cases are treated separately.

Significance. If the results are correct, this is a substantial generalization: it extends the Fenchel–Willmore inequality to arbitrary codimension and to ambient manifolds with only intermediate Ricci curvature bounds, not full non-negative sectional curvature. The sharp constant θ|S^n| for every n,m is a notable improvement over Brendle's Sobolev-type transport approach, which is sharp only in low codimension. The proof is genuinely self-contained: the monotonicity lemma is proved in full, the fiber integrals are computed exactly, and the equality case is derived rather than assumed. The paper also provides a third proof in the hypersurface case. No parameters are fitted and the constants arise from classical comparison and the Γ-function identity. The main caveat is that several delicate steps are compressed into single sentences; these should be expanded for readability, but they appear to be correct.

minor comments (6)

[Lemma 2.4] The assertion that membership in A_r rules out focal points of Σ along γ̄(s)=exp_x(sz) for 0<s<r is stated without proof. It is correct: for s<r and q∈Σ, the triangle inequality gives d(q,γ̄(s)) ≥ d(q,γ̄(r)) − (r−s)|z| ≥ r|z| − (r−s)|z| = s|z|, so γ̄|[0,s] is a shortest geodesic from Σ to γ̄(s) and cannot have an interior focal point. Please include this one-line justification.
[Section 2, proof of Theorem 1.3, m=1 case] In the fiber-integral computation for m=1, the expression 'r ∫_{−α}^{−1} (1−r|σ(x)|t)^n dt = r^{n+1}|σ(x)|^n ∫_1^α t^n dt + O(r^n)' has reversed integration limits after the substitution. The correct integral is ∫_α^1 u^n du, whose value is (1−α^{n+1})/(n+1); the displayed final result is correct, so this is a typographical slip.
[Section 3, proof of Theorem 1.2(a)] The sentence 'By taking s→0+ in the first equation of (3.8), we have S(z,z)=0' is not directly justified by the displayed first equation, which is indexed only by tangent directions j. The conclusion follows from the block-diagonal form of Q in (3.7): since Q' + Q^2 = −S, the vanishing of all blocks of Q forces the full curvature matrix S to vanish, including the z-component. Please clarify this step.
[Section 3, Theorem 1.2(c)] In the displayed volume computation for |exp(Σ_r^+)|, the integration limits '∫_0^{−1}' should read ∫_{−1}^0, since t ranges over the half-ray ⟨σ,z⟩≤0.
[Section 1, paragraph on Eguchi–Hanson] The Eguchi–Hanson manifold is the cotangent bundle T^*S^2, not T S^2; please correct the notation.
[Throughout] A few scanning/rendering artifacts appear in the title and in the body (e.g., spacing in 'NON-NEGA TIVEk-RICCI'); these should be corrected in the final journal version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is self-contained against classical comparison geometry and standard integral identities; no fitted input is renamed as a prediction and no load-bearing self-citation occurs.

full rationale

The derivation chain in Sections 2 and 3 does not reduce to its own inputs. Lemma 2.1 is a direct containment statement proved by choosing a distance-minimizing geodesic from Σ to p. Lemma 2.2 uses only the second variation formula and the assumed k-Ricci curvature lower bound. Lemma 2.3 is an external Riccati comparison lemma (Ballmann). Lemma 2.4 proves the Jacobian determinant bound and monotonicity by solving scalar Riccati inequalities with the initial expansion (2.2), citing [9, Eq. 2.4] for that standard Taylor expansion; the key non-focal claim follows from the definition of A_r by triangle inequality and the classical first-focal-point theorem, so it is not an unproved assumption equivalent to the theorem. The volume estimate in Theorem 1.3 is obtained by applying the Jacobian bound and evaluating the resulting fiber integrals with the Euler beta/gamma identity (2.7); the sharp constant emerges from the gamma-function computation rather than being inserted. The asymptotic volume ratio θ is a hypothesis measured from the ambient manifold's volume growth, not a parameter fitted to ∫Σ |σ|^n, and the inequality is checked against the explicit equality example. The equality-case analysis (Lemma 3.1, Lemma 3.2, Theorem 1.2) assumes equality and then derives the rigidity conclusions; it does not presuppose them. No self-citations by the authors are load-bearing: the cited works [1], [4], [5], [9], [13] are external and independent sources for the classical comparison tools. The only terse step, the sentence 'From the definition of A_r, there is no focal point of Σ along ¯γ(s) for 0 < s < r', is an exposition gap rather than circularity, and it is mathematically justified as described above. Accordingly, the paper's central claim has independent content and the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central claim rests on standard tools of comparison geometry (first and second variation, Jacobi fields, Riccati comparison, Heintze-Karcher comparison, Bishop-Gromov), the Beta function identity, and the explicit curvature and volume-growth hypotheses. No free parameters are fitted to any target result, and no new entities are postulated.

assumptions (7)

standard math First and second variation formulas, Jacobi fields, and properties of the exponential map
Used throughout Section 2 for Lemmas 2.1, 2.2, and 2.4, and in the equality analysis.
standard math Riccati comparison theorem (Lemma 2.3, quoted from [4, Lemma 4.1])
Basis for the Jacobian determinant monotonicity and comparison in Lemma 2.4.
standard math Heintze-Karcher comparison theorem
The paper proves the needed Jacobian estimate and cites [13, Cor 3.3.1]; the proof is included.
standard math Bishop-Gromov volume comparison to define the asymptotic volume ratio θ
Used in (2.4) to compute the limiting volume of the annular region and extract the sharp constant.
standard math Euler integral / Beta function identity (2.7)
Used to evaluate fiber integrals exactly, preserving sharpness for all codimensions.
domain assumption Submanifolds are assumed smooth and orientable
Stated in the footnote; the splitting T^⊥Σ = eT^⊥Σ ⊕ span(σ) on Σ+ requires a continuous choice of direction of σ.
domain assumption Ambient manifold has nonnegative k-Ricci curvature with k=min(n,m-1) and Euclidean volume growth θ>0
The theorem's hypothesis; both conditions are load-bearing for the Riccati comparison, the Jacobian estimate, and the limiting volume argument.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Fenchel-Willmore inequality for submanifolds in manifolds with non-negative $k$-Ricci curvature." pith.science (2026). https://pith.science/paper/EU3OT53R

@misc{pith2026250707655,
  author       = {Pith},
  title        = {Pith review of: Fenchel-Willmore inequality for submanifolds in manifolds with non-negative $k$-Ricci curvature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EU3OT53R}},
  note         = {Machine review of arXiv:2507.07655}
}

read the original abstract

We establish a sharp Fenchel-Willmore inequality for closed submanifolds of arbitrary dimension and codimension immersed in a complete Riemannian manifold with non-negative intermediate Ricci curvature and Euclidean volume growth. In the hypersurface case, this reduces to non-negative Ricci curvature. We also characterize the equality case. This generalizes the recent work of Agostiniani, Fogagnolo, and Mazzieri \cite{Agostiniani-Fogagnolo-Mazzieri}, as well as classical results by Chen, Fenchel, Willmore, and others.

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

Fenchel-Willmore-Chen inequality under lower bounds on weighted intermediate Ricci curvature
math.DG 2026-08 conditional novelty 7.0 of 10

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...
A Willmore-type inequality for hypersurfaces with asymptotic or integral Ricci curvature bounds
math.DG 2025-08 conditional novelty 6.0 of 10

For bounded domains in complete non-compact manifolds, Willmore-type inequalities hold under asymptotic or Lp Ricci curvature bounds, recovering the pointwise Jin-Yin theorem as a limit.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 2 Pith papers

[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), no. 3, 1033–1101

work page 2020
[2]

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

work page 1990
[3]

G. B. Arfken, H. J. Weber, and F. E. Harris. Mathematical methods for physicists , 7th ed., Academic Press, Waltham, MA, 2013

work page 2013
[4]

Ballmann

W. Ballmann. Riccati equation and volume estimates , Lecture notes, Max Planck Institute for Math- ematics, March 9, 2016. https://people.mpim-bonn.mpg.de/hwbllmnn/archiv/Volume160309.pdf

work page 2016
[5]

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

work page 2023
[6]

Brendle and M

S. Brendle and M. Eichmair. Proof of the Michael-Simon-Sobolev inequality using optimal transport , J. Reine Angew. Math. 804 (2023), 1–10

work page 2023
[7]

Brendle and G

S. Brendle and G. Huisken. A fully nonlinear flow for two-convex hypersurfaces in Riemannian man- ifolds, Invent. Math. 210 (2017), 559–613

work page 2017
[8]

Cabr´ e.Elliptic PDEs in probability and geometry: symmetry and regularity of solutions , Discrete Contin

X. Cabr´ e.Elliptic PDEs in probability and geometry: symmetry and regularity of solutions , Discrete Contin. Dyn. Syst. 20 (2008), no. 3, 425–457

work page 2008

Show all 20 references

[9]

Y. K. Chahine. Volume estimates for tubes around submanifolds using integral curvature bounds , J. Geom. Anal. 30 (2020), no. 4, 4071–4091

2020
[10]

B.-Y. Chen. On a theorem of Fenchel-Borsuk-Willmore-Chern-Lashof , Proc. Amer. Math. Soc. 29 (1971), no. 2, 393–398

1971
[11]

W. Fenchel. ¨Uber Kr¨ ummung und Windung geschlossener Raumkurven, Math. Ann. 101 (1929), 238– 252

1929
[12]

Guijarro and F

L. Guijarro and F. Wilhelm. Focal radius, rigidity, and lower curvature bounds , Proc. Lond. Math. Soc. 116 (2018), no. 6, 1519–1552

2018
[13]

Heintze and H

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

1978
[14]

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

Mouill´ e.Intermediate Ricci Curvature , https://sites.google.com/site/lgmouille/research/ intermediate-ricci-curvature

L. Mouill´ e.Intermediate Ricci Curvature , https://sites.google.com/site/lgmouille/research/ intermediate-ricci-curvature
[16]

Z. Shen. On complete manifolds of nonnegative kth-Ricci curvature, Trans. Amer. Math. Soc. 338 (1993), no. 1, 289–310. FENCHEL-WILLMORE INEQUALITY FOR SUBMANIFOLDS 21

1993
[17]

Shen and G

Z. Shen and G. Wei. Volume growth and finite topological type, in Differential Geometry: Riemannian Geometry (Los Angeles, CA, 1990) , Proc. Sympos. Pure Math., vol. 54, part 3, Amer. Math. Soc., Providence, RI, 1993, pp. 539–549

1990
[18]

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

2023
[19]

Al. I. Cuza

T. J. Willmore. Mean curvature of immersed surfaces , An. S ¸tiint ¸. Univ. “Al. I. Cuza” Ia¸ si Sect. I a Mat. (N.S.) 14 (1968), 99–103

1968
[20]

H. Wu. Manifolds of partially positive curvature , Indiana Univ. Math. J. 28 (1979), 67–88. School of Mathematics and Applied Statistics, University of Wollongong, NSW 2522, Australia Email address : mengj@uow.edu.au School of Mathematics and Applied Statistics, University of ...

1979

Pith tools

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

[1] [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), no. 3, 1033–1101

work page 2020

[2] [2]

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

work page 1990

[3] [3]

G. B. Arfken, H. J. Weber, and F. E. Harris. Mathematical methods for physicists , 7th ed., Academic Press, Waltham, MA, 2013

work page 2013

[4] [4]

Ballmann

W. Ballmann. Riccati equation and volume estimates , Lecture notes, Max Planck Institute for Math- ematics, March 9, 2016. https://people.mpim-bonn.mpg.de/hwbllmnn/archiv/Volume160309.pdf

work page 2016

[5] [5]

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

work page 2023

[6] [6]

Brendle and M

S. Brendle and M. Eichmair. Proof of the Michael-Simon-Sobolev inequality using optimal transport , J. Reine Angew. Math. 804 (2023), 1–10

work page 2023

[7] [7]

Brendle and G

S. Brendle and G. Huisken. A fully nonlinear flow for two-convex hypersurfaces in Riemannian man- ifolds, Invent. Math. 210 (2017), 559–613

work page 2017

[8] [8]

Cabr´ e.Elliptic PDEs in probability and geometry: symmetry and regularity of solutions , Discrete Contin

X. Cabr´ e.Elliptic PDEs in probability and geometry: symmetry and regularity of solutions , Discrete Contin. Dyn. Syst. 20 (2008), no. 3, 425–457

work page 2008