Refined position estimates for surfaces of Willmore type in Riemannian manifolds

Jan Metzger

REVIEW 1 major objections 5 minor 1 cited by

Refined position estimates for surfaces of Willmore type in Riemannian manifolds

T0 review · 1 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Every small area-constrained Willmore surface has an adapted center at which the scalar-curvature gradient is bounded by a constant times the surface area, improving the earlier square-root bound and, when scalar curvature is Morse…

desk verdict A genuine R² improvement over the earlier R-position estimate, but the printed proof needs real repair: equation (17) is algebraically off and the key parity cancellation in §7.2 is asserted rather than shown. read the letter →

arxiv 1908.11577 v1 pith:QJRNDNGO submitted 2019-08-30 math.DG math.AP

Jan Metzger This is my paper · ORCID

classification math.DGmath.AP MSC 53C4253C2158E12

keywords WillmorefunctionalareaconstraintpositionestimatesscalarcurvaturegeometriccenterofmassnearlyumbilicalsurfacesRiemannian3-manifoldsEuler-Lagrangeequation

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 studies closed surfaces that are critical points of the Willmore energy subject to fixed area, in a three-dimensional Riemannian manifold with uniformly bounded geometry. When the surface is small and its Willmore energy is close to $4\pi$, the surface is nearly spherical, and the paper computes how ambient curvature shifts its mean curvature, trace-free second fundamental form, and gradient. The main result is that an adapted geometric center of mass can be chosen so that the surface lies within radius $R$ plus $O(R^3)$ of that center, and the gradient of the ambient scalar curvature at the center is $O(R^2)$, equivalently $O(|\Sigma|)$. This improves the previous $O(R)$ square-root-area bound and, when scalar curvature is a Morse function, forces the region enclosed by the surface to contain exactly one critical point of scalar curvature. A reader should care because it sharpens the known concentration of minimizers near maxima of scalar curvature and gives a direct relation between surface area and the ambient curvature gradient.

What carries the argument

The load-bearing construction is an adapted geometric center of mass: $p_0$ minimizes $w(p) = \int_\Sigma \mathrm{dist}(p,x)^2\, d\mu$, so in normal coordinates centered at $p_0$ the first moment $\int_{\psi(\Sigma)} y\, d\mu_g$ vanishes and the Euclidean first moment is only $O(d^3 |\Sigma|)$. From this, Corollary 3.3 controls every integral of an odd product of the functions $\{\nu_\alpha, y_\alpha/R\}$ by $O(R^3 + R\|\mathring{A}\|_{L^2})$, which is exactly what lets the paper discard the many curvature-correction terms as $O(R^5)$. The second ingredient is the expansion package $H \approx 2/R$, $\mathring{A} \approx -\tfrac43 H^{-1} \mathring{T}$, $\nabla H \approx \tfrac23 \omega$, and $\mathrm{div}\mathring{A} \approx \tfrac43 \omega$, derived from the Euler-Lagrange equation and the Simons identity, which converts the first variation into integrals to which Corollary 3.3 applies.

What would settle it

Take a concrete nearly-spherical family, such as geodesic spheres of radius $R$ centered at a point with nonzero $\nabla\mathrm{Sc}$ in a fixed 3-manifold, and explicitly evaluate the variation identity $\delta_f W(\Sigma) = \lambda \int_\Sigma fH\, d\mu$ for $f = H^{-1}g(b,\nu)$ in normal coordinates centered at the adapted center of mass. If the terms dropped as $O(R^5)$ in equations (32) and (34) contain an even-factor integral that survives at order $C R^4$, the claimed cancellation fails and $|\nabla\mathrm{Sc}(p_0)| \le C R^2$ would be violated.

Watch

Extended reading notes

Core claim

For every solution $\Sigma$ of the constrained Willmore Euler-Lagrange equation $\Delta H + H|\mathring{A}|^2 + H\,\mathrm{Ric}(\nu,\nu) + \lambda H = 0$ with $|\Sigma| \le a_0$ and $W(\Sigma) \le 4\pi + a_0$ in a $C_B$-bounded 3-manifold, there exists a point $p_0$ in the enclosed region with $|\mathrm{dist}(p_0,x) - R(\Sigma)| \le C R(\Sigma)^3$ for all $x \in \Sigma$, a vanishing first moment $\int_{\psi(\Sigma)} y\, d\mu_g = 0$ in normal coordinates, and $|\nabla \mathrm{Sc}(p_0)| \le C R(\Sigma)^2$. Since $R(\Sigma)^2 = |\Sigma|/(4\pi)$, the scalar-curvature gradient at the geometric center is controlled linearly by area, improving the square-root bound of earlier work. The proof varies the Willmore functional with the test function $f = H^{-1} g(b,\nu)$ and shows, after substituting the top-order relations $H \approx 2/R$, $\mathring{A} \approx -\tfrac{4}{3} H^{-1} \mathring{T}$, and $\nabla H \approx \tfrac{2}{3}\omega$, that both parts of the first variation are $O(R^5)$, leaving only the term $-\tfrac12 \mathrm{Vol}(\Omega)\, g(b,\nabla\mathrm{Sc}(p_0))$ at leading order; dividing by the enclosed volume, which is at least a constant times $R^3$, gives the estimate.

Load-bearing premise

The conclusion rests on the assumption that after expanding the test-function variations in powers of the surface radius, every remaining term contains an odd number of normal or position factors, so that the center-of-mass estimates force those integrals to be tiny; if any even-factor term actually survives at the critical order, the gradient bound would be one power larger.

Editorial extensions

If this is right

For every admissible surface there is a point $p_0$ inside the enclosed region with all surface points at distance $R(\Sigma) + O(R(\Sigma)^3)$, and $|\nabla\mathrm{Sc}(p_0)| \le C R(\Sigma)^2$; since $R^2$ is proportional to area, the gradient bound is linear in area.
If the scalar curvature is a Morse function with non-degenerate critical points, then for sufficiently small area the region enclosed by any solution of the constrained Willmore equation contains exactly one critical point of $\mathrm{Sc}$.
The area-constrained minimizers $\Sigma_{\min}^a$ of the Willmore functional enclose a single point of maximal scalar curvature when the Hessian there is non-degenerate.
With the adapted center, the first variation $\delta_f W(\Sigma)$ for $f = H^{-1}g(b,\nu)$ is $O(R^5)$, one power of $R$ better than the estimate used in earlier position estimates.
Near a non-degenerate critical point of scalar curvature, the bound $|\nabla\mathrm{Sc}(p_0)| \le C R^2$ together with the Morse lower bound puts the geometric center within $O(R^2)$ of the critical point, so the surface concentrates in a ball of radius $R + O(R^2)$ around it.

Reading between the lines

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

The $O(R^2)$ order is likely the best the method can give in general: the terms dropped as $O(R^5)$ in equations (32) and (34) contain even-factor integrals of $\nu$ and $y/R$, and only the specific cancellation pattern asserted there prevents an $O(R^4)$ contribution to the variation.
A direct check on an explicit family such as geodesic spheres in a metric with nonzero $\nabla\mathrm{Sc}$ could isolate the size of those even-factor error terms and test whether the cancellation is exact or merely an artifact of the expansion.
The same center-of-mass and odd-product strategy should apply to other variational problems whose small-area critical surfaces are $W^{2,2}$-close to round spheres, such as small constant-mean-curvature spheres, whenever the ambient curvature enters only through the same combination of Ricci terms.

Share X Bluesky LinkedIn Reddit HN

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

Quick take on Metzger's arXiv:1908.11577. The main theorem is a genuine step beyond [6]: with the adapted center of mass, the position estimate improves from CR to CR², and the corollary that a small constrained Willmore sphere encloses exactly one nondegenerate critical point of Sc is clean and worth having. The curvature corrections in Propositions 5.1–5.4 are new, parameter-free, and built from prior results without circularity; the black boxes from [6,7] are cited appropriately. The center-of-mass lemma is a good tool.

That said, I would not take the proof as printed. Equation (17) does not simplify the way the text claims: combining (1) with (11) gives -H²(λ + Sc/3), not -H²(λ + Sc), and the terms -H²|A°|² and |∇H|² that are swept into O(R^{-1}) are order one under the paper's own L∞ estimates (|A°| ≤ CR and |∇H| bounded). So the proof of Proposition 5.1 has a real gap. There may be a hidden cancellation, but it is not in the text, and the displayed calculation is not trustworthy as written.

The second soft spot is the O(R^5) control of δU and δV in §7.2–7.3. The whole argument hangs on the assertion that after frame contraction every surviving term has an odd number of ν or y/R factors. I checked the representative mixed term with ω_i T°_{ij} and, using γ = g - ν⊗ν to resolve tangent contractions, the parity does come out odd. So the concern is not obviously fatal. But the paper leaves this load-bearing cancellation as a matter of inspection, and the error terms from replacing Ric and g by their values at p0 are not written down. That should be a real lemma, not a remark.

One point flagged by another reader does not bother me: the integration by parts after (23) works. The boundary term moves to the left with the right sign, and the displayed estimate is fine after rearrangement.

Bottom line: this is a promising paper for geometric analysts working on Willmore-type surfaces and foliations. It deserves peer review, but a serious referee should ask for a repaired expansion in Proposition 5.1 and a written parity/cancellation argument. Without those, Theorem 7.1 is not established as printed.

Referee Report

1 major / 5 minor

Summary. The paper studies compact two-sided surfaces in a three-dimensional Riemannian manifold with CB-bounded geometry that are critical points of the Willmore functional under an area constraint. For surfaces with small area and Willmore energy below 4π+a0, the author derives refined curvature corrections to the intrinsic geometry (Propositions 5.1, 5.3, 5.4) and, using a geometrically defined center of mass introduced in Section 3, proves Theorem 7.1: there is a point p0 with |dist(p0,x)-R(Σ)| ≤ C R(Σ)^3 for all x∈Σ, with ∫ y dμg = 0 in normal coordinates, and with |∇Sc(p0)| ≤ C R(Σ)^2. This improves the earlier bound |∇Sc| ≤ C R(Σ). The paper closes with corollaries asserting that small solutions enclose a unique nondegenerate critical point of the scalar curvature.

Significance. If correct, the estimate |∇Sc(p0)| ≤ C area is a genuine improvement over the square-root bound and leads to the attractive geometric conclusion that area-constrained Willmore minimizers enclose points where the scalar curvature is maximal. The paper's architecture is coherent: the curvature corrections are parameter-free, the geometric center-of-mass construction is natural, and the main theorem gives explicit, falsifiable quantitative claims. The proof relies on previously published results as black boxes, but the new theorem does not reduce to those results by construction, and no fitting or self-referential normalization is introduced. The main risk is the completeness of the parity-cancellation argument in Sections 7.2–7.3, which is load-bearing for Theorem 7.1(iii).

major comments (1)

[§7.2, eqs. (32)–(33); §7.3 after eq. (34)] The estimates |δ_f U| ≤ C R^5 and |δ_f V| ≤ C R^5 rest on the asserted parity cancellation: after resolving all tangential contractions, every surviving integrand must contain an odd number of factors chosen from {ν^α, y^α/R}. The text demonstrates this only for the first term in (32) and for the |ω|^2 and |T°|^2 terms, and states that the mixed term -(1/3)R^2 ω_i g(b,e_j) T°_{ij} and the term R g(∇_i b,e_j) T°_{ij} "have a similar structure." These are exactly the terms where an even number of normal or position factors could survive, and the bracket in (34) is dismissed with "by inspection." I checked that the contraction identity Σ_i e_i^α e_i^β = δ^{αβ} - ν^α ν^β together with the expansion (24) does indeed give an odd total number of factors for these terms, so the claim is true; nevertheless the proof as written does not provide this verification. Because Theorem 7.1(iii) would fail at order R^4 if any even-parity term contributed, this is a load-bearing step. The authors should include the explicit contraction computation for the mixed term in (32) and for the analogous terms in (34), at least in an appendix.

minor comments (5)

[§5.1, eq. (17)] The displayed identity is algebraically incorrect: with Δ Ric(ν,ν) = -(3/2)H^2 Ric(ν,ν) + (1/2)H^2 Sc + O_{L2}(R^{-1}), the expression simplifies to -H^2(λ + (1/3)Sc) + O_{L2}(R^{-1}), not -H^2(λ + Sc). The final conclusion |Δw| ≤ C R^{-1} still follows from Proposition 2.5, which gives |λ + Sc/3| ≤ C R, so this is a typographical/algebraic slip rather than a fatal flaw, but it should be corrected.
[§5.3, after eq. (23)] The integration by parts step omits constants and a sign explanation. From ΔS = (1/2)H^2 S + E with ‖E‖_{L2} = O(1), one obtains ∫|∇S|^2 + (1/2)∫H^2|S|^2 = -∫⟨E,S⟩ ≤ C∫|S|, not directly ≤ ∫|S|. The missing constant is harmless for the subsequent absorption argument, but the displayed chain should be corrected.
[§7.2, around eq. (32)] The replacement div A° ≈ (4/3)ω is used without derivation. It follows from the Codazzi equation ∇^i A_ij - ∇_j H = ω_j together with Proposition 5.3 (∇H ≈ (2/3)ω), but this should be stated explicitly because it is not quoted from earlier sections.
[Theorems 1.4 and 7.1] The statements refer to "the region enclosed by Σ" without explicitly assuming or proving that Σ is embedded. The hypotheses allow immersed surfaces, and the proof uses Stokes' theorem on the enclosed region Ω. The author should either restrict the theorems to embedded surfaces or cite a result that the small-area, small-Willmore critical points under consideration are embedded.
[§8, proof of Corollary 1.5] The notation g is used both for the ambient metric and for the quantity |∇Sc(p0)|. Renaming the latter would remove a source of confusion in a proof that otherwise depends on metric computations.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation: the refined position estimate is obtained by combining prior a priori estimates with a geometrically defined center of mass; the only flagged issue is an unshown parity-cancellation step, which is a proof gap rather than circularity.

full rationale

Walking the derivation in §7, Theorem 7.1 is not equivalent to its inputs by construction. The center p0 is defined in §3 by minimizing w(p)=∫Σ dist(p,x)^2 dµ, giving ∫ y dµ_g=0; it is not fitted to the scalar-curvature gradient. The main estimate |∇Sc(p0)|≤CR(Σ)^2 follows from the first-variation identity δ_f W=λ∫fH (equation (26)) with f=H^{-1}g(b,ν), the splitting δ_f W=δ_f U+δ_f V (28), and the estimates |δ_f U|≤CR^5 (33), |δ_f V + 1/2 Vol(Ω)g(b,∇Sc(p0))|≤CR^5 (36), and Vol(Ω)≥C^{-1}R^3. Each of these estimates is derived from the Euler-Lagrange equation, the Simons identity, and the a priori bounds of §2; no parameter is fitted to the target inequality. The paper does cite prior work by the same author (notably [6], [7]) for the background estimates, but those are used as black boxes with stated assumptions that do not include the conclusion of Theorem 7.1; they are not an unexamined uniqueness ansatz. The genuinely delicate point is in §7.2–7.3: after substituting H^{-1}≈R/2, A°≈-(4/3)H^{-1}T°, ∇H≈(2/3)ω, the text asserts that every remaining term contains an odd number of factors ν or y/R and can therefore be controlled by Corollary 3.3. That assertion is made by inspection rather than displayed term by term; if a surviving even-factor term contributed at order R^4, the R^5 bounds and hence the CR^2 gradient estimate would fail. This is a possible correctness gap in the proof, not a circularity: Corollary 3.3 is independently proved in §3, and the reduction is not definitionally forced by the definition of the center of mass or by the Euler-Lagrange equation.

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

The central claim rests on established analytic estimates for Willmore-type surfaces, mostly from the author's earlier work, plus standard identities. There are no fitted parameters or invented entities. The main unproved ingredient is a collection of O(R^5) cancellations asserted by inspection in Section 7.

assumptions (6)

standard math Prior L∞ and integral estimates for small Willmore-type surfaces from Lamm-Metzger [6,7] (Theorem 2.3, Lemma 2.4, Proposition 2.5)
Used as black boxes in Sections 2 and 5; they are published results with proofs in the cited papers, so they are treated as independently established.
standard math De Lellis-Müller almost-umbilical rigidity estimates (Theorem 2.11)
Used to approximate the surface by a round sphere in Lemma 3.2 and Corollary 3.3.
standard math Simons identity for the trace-free second fundamental form as quoted in [8, eq. (8)]
Used to derive Lemma 2.10 and Propositions 5.3-5.4.
standard math Bochner identity for surfaces (Lemma 2.6)
Used throughout the L² estimates for Hessians and gradients.
domain assumption CB-bounded geometry (injectivity radius and curvature bounds) for the ambient manifold
Needed for normal coordinate neighborhoods and uniform constants; Theorem 1.4 and Corollary 1.5 assume this, while Corollary 1.6 assumes compactness.
domain assumption Non-degeneracy of Hess Sc at critical points for Corollaries 1.5 and 1.6
Used to turn the gradient bound |∇Sc(p0)|≤CR² into a distance bound to a unique critical point.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Refined position estimates for surfaces of Willmore type in Riemannian manifolds." pith.science (2026). https://pith.science/paper/QJRNDNGO

@misc{pith2026190811577,
  author       = {Pith},
  title        = {Pith review of: Refined position estimates for surfaces of Willmore type in Riemannian manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QJRNDNGO}},
  note         = {Machine review of arXiv:1908.11577}
}

read the original abstract

In this paper we consider surfaces which are critical points of the Willmore functional subject to constrained area. In the case of small area we calculate the corrections to the intrinsic geometry induced by the ambient curvature. These estimates together with the choice of an adapted geometric center of mass lead to refined position estimates in relation to the scalar curvature of the ambient manifold.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

Concentration of Small Hawking Type Surfaces
math.DG 2019-09 conditional novelty 7.0 of 10

For small area, minimizers of Hawking type functionals are embedded spheres, and small concentrating sequences for the Hawking energy are shown to accumulate only at critical points of Sc + (3/5)trK² + (1/5)|K|².

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 1 Pith paper

[6]

Lamm and J

T. Lamm and J. Metzger. Small surfaces of Willmore type in Riemann ian mani- folds. Intl. Math. Res. Not. , 2010:3786–3813, 2010

work page 2010
[1]

Chen and Y

J. Chen and Y. Li. Bubble tree of branched conformal immersions and applications to the Willmore functional. Amer. J. Math. , 136(4):1107–1154, 2014

work page 2014
[2]

De Lellis and S

C. De Lellis and S. M¨ uller. Optimal rigidity estimates for nearly umbilical surfaces. J. Diﬀerential Geom. , 69(1):75–110, 2005

work page 2005
[3]

De Lellis and S

C. De Lellis and S. M¨ uller. A C0 estimate for nearly umbilical surfaces. Calc. Var. Partial Diﬀerential Equations , 26(3):283–296, 2006

work page 2006
[4]

Foliation by area-constrained Willmore spheres near a non-degenerate critical point of the scalar curvature

N. Ikoma, A. Malchiodi, and A. Mondino. Foliation by area-constra ined will- more spheres near a non-degenerate critical point of the scalar c urvature. arXiv:1806.00390, 2018

work page Pith review arXiv 2018
[5]

Kuwert and R

E. Kuwert and R. Sch¨ atzle. The Willmore ﬂow with small initial energ y. J. Diﬀerential Geom. , 57(3):409–441, 2001

work page 2001
[7]

Lamm and J

T. Lamm and J. Metzger. Minimizers of the Willmore functional with a small area constraint. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 30(3):497–518, 2013

work page 2013
[8]

T. Lamm, J. Metzger, and F. Schulze. Foliations of asymptotically ﬂat manifolds by surfaces of Willmore type. Math. Ann. , 350(1):1–78, 2011

work page 2011

Show all 13 references

[9]

T. Lamm, J. Metzger, and F. Schulze. Local foliation of manifolds by surfaces of willmore type. arXiv:1806.00465, 2018

2018 arXiv
[10]

Laurain and A

P. Laurain and A. Mondino. Concentration of small Willmore spher es in Rieman- nian 3-manifolds. Anal. PDE , 7(8):1901–1921, 2014

1901
[11]

Mondino and T

A. Mondino and T. Rivi` ere. Willmore spheres in compact Riemannia n manifolds. Adv. Math., 232(1):608–676, 2013

2013
[12]

Pacard and X

F. Pacard and X. Xu. Constant mean curvature spheres in Riem annian manifolds. Manuscripta Math. , 128(3):275–295, 2009

2009
[13]

J. Simons. Minimal varieties in Riemannian manifolds. Ann. of Math. (2) , 88:62– 105, 1968. 26

1968

Pith tools

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

[1] [6]

Lamm and J

T. Lamm and J. Metzger. Small surfaces of Willmore type in Riemann ian mani- folds. Intl. Math. Res. Not. , 2010:3786–3813, 2010

work page 2010

[2] [1]

Chen and Y

J. Chen and Y. Li. Bubble tree of branched conformal immersions and applications to the Willmore functional. Amer. J. Math. , 136(4):1107–1154, 2014

work page 2014

[3] [2]

De Lellis and S

C. De Lellis and S. M¨ uller. Optimal rigidity estimates for nearly umbilical surfaces. J. Diﬀerential Geom. , 69(1):75–110, 2005

work page 2005

[4] [3]

De Lellis and S

C. De Lellis and S. M¨ uller. A C0 estimate for nearly umbilical surfaces. Calc. Var. Partial Diﬀerential Equations , 26(3):283–296, 2006

work page 2006

[5] [4]

Foliation by area-constrained Willmore spheres near a non-degenerate critical point of the scalar curvature

N. Ikoma, A. Malchiodi, and A. Mondino. Foliation by area-constra ined will- more spheres near a non-degenerate critical point of the scalar c urvature. arXiv:1806.00390, 2018

work page Pith review arXiv 2018

[6] [5]

Kuwert and R

E. Kuwert and R. Sch¨ atzle. The Willmore ﬂow with small initial energ y. J. Diﬀerential Geom. , 57(3):409–441, 2001

work page 2001

[7] [7]

Lamm and J

T. Lamm and J. Metzger. Minimizers of the Willmore functional with a small area constraint. Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 30(3):497–518, 2013

work page 2013

[8] [8]

T. Lamm, J. Metzger, and F. Schulze. Foliations of asymptotically ﬂat manifolds by surfaces of Willmore type. Math. Ann. , 350(1):1–78, 2011

work page 2011