Stability of the Euclidean 3-ball under L2-curvature pinching

Olivier Graf

REVIEW 2 major objections 2 minor 18 references

Stability of the Euclidean 3-ball under L2-curvature pinching

T0 review · 2 major / 2 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read A compact 3-manifold with small $L^2$ curvature and near-ball boundary data is diffeomorphic to the Euclidean ball, with the metric quantitatively close to flat in harmonic coordinates.

desk verdict A genuine quantitative stability theorem for the Euclidean 3-ball, with a real but checkable gap in the application of the Klainerman–Szeftel uniformization result. read the letter →

arxiv 2502.03823 v1 pith:HLELGLTG submitted 2025-02-06 math.DG math.AP

Olivier Graf This is my paper · ORCID

classification math.DGmath.AP MSC 53C2053C2153C24

keywords L2curvaturepinchingstabilityofEuclideanballharmoniccoordinatesBochnerformulaRiemannianmanifoldswithboundarysecondfundamentalformeffectiveuniformisationquantitativerigidity

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 establishes a quantitative stability theorem for the Euclidean 3-ball: if a compact 3-dimensional Riemannian manifold with boundary has small $L^2$ Riemann curvature and a boundary second fundamental form close in $H^{1/2}$ to the boundary metric, then it must be diffeomorphic to $B^3$. The diffeomorphism is produced by global harmonic coordinates, and in those coordinates the metric components satisfy $\|g_{ij}-\delta_{ij}\|_{H^2(M)} + \|g_{ij}-\delta_{ij}\|_{L^\infty(M)} \lesssim_\Lambda \varepsilon$. The smallness threshold depends only on the volumes of the manifold and its boundary, a Sobolev constant, and the trace norm of the unit normal. The linear dependence on $\varepsilon$ is optimal and is exactly what is needed in general-relativity applications, where $L^2$ curvature bounds on spacelike hypersurfaces are the natural energy quantity.

What carries the argument

The proof is carried by three objects. The harmonic radius vectorfield $X$, defined as the harmonic extension of the boundary unit normal $N$, supplies the Sobolev and trace estimates that make the functional framework independent of heavy a priori assumptions: its $H^2$ and $L^6$ closeness to the identity is obtained by integrating the Bochner formula and absorbing errors. The refined Bochner identity of Proposition 5.4, applied to the three harmonic functions $x^i$ extending the Cartesian coordinates pulled back from $S^2$, produces an error term $E$ that satisfies $E\lesssim \varepsilon^2+\varepsilon E$, hence $E\lesssim\varepsilon^2$ by absorption. The tensor $B=\sum_i \nabla x^i\otimes\nabla x^i-g$ then measures exactly the failure of $\Phi=(x^1,x^2,x^3)$ to be an isometry; controlling $B$ in $L^\infty$ and $H^2$ makes $\Phi$ a local diffeomorphism, and the maximum principle together with a covering argument upgrades it to a global diffeomorphism onto $B^3$. The effective uniformisation theorem of [KS22] supplies the initial conformal identification of the boundary with $S^2$ from a nearly-1 Gauss curvature bound.

What would settle it

The decisive check is the rigidity case $\varepsilon=0$: try to construct a compact flat 3-manifold with boundary whose second fundamental form equals the boundary metric ($\theta=g_{\partial M}$) but which is not isometric to the Euclidean unit ball; any such example would refute Theorem 1.1.

Watch

Extended reading notes

Core claim

Theorem 1.1 is the central claim. Under the uniform bounds (1.3), the assumptions $\|R\|_{L^2(M)}\le\varepsilon$ and $\|\theta-g_{\partial M}\|_{H^{1/2}(\partial M)}\le\varepsilon$ imply that $M$ is diffeomorphic to the Euclidean 3-ball via a global harmonic coordinate map $\Phi$, with $\|g_{ij}-\delta_{ij}\|_{H^2(M)} + \|g_{ij}-\delta_{ij}\|_{L^\infty(M)} \lesssim_\Lambda \varepsilon$, and for every $n\ge0$ an estimate $\|g_{ij}-\delta_{ij}\|_{H^{n+2}(M)} \lesssim_{\Lambda,n} \|R\|_{H^n(M)} + \|\theta-g_{\partial M}\|_{H^{n+1/2}(\partial M)}$. The proof extracts these estimates directly from the Bochner formula for harmonic functions and tensors, after using the effective uniformisation theorem of [KS22] to turn the near-roundness of the boundary into a conformal diffeomorphism of $\partial M$ with $S^2$ whose conformal factor is close to $1$. Setting $\varepsilon=0$ yields the rigidity statement that a flat 3-manifold with boundary and coinciding first and second fundamental forms is isometric to the Euclidean unit ball.

Load-bearing premise

The proof applies the external effective uniformisation theorem of [KS22] to the conformally adjusted boundary metric, checking only that its Gauss curvature is close to $1$ in $L^\infty$; if that theorem needs hypotheses beyond this bound that the paper does not verify, the construction of the near-isometric conformal diffeomorphism between $\partial M$ and $S^2$ would not follow.

Editorial extensions

If this is right

Every sequence of manifolds satisfying the uniform bounds with $\varepsilon\to 0$ is eventually diffeomorphic to $B^3$, and in the harmonic coordinates the metrics converge in $H^2$ and $L^\infty$ to the Euclidean metric.
The linear rate in (1.5) cannot be improved, because the estimate itself implies the assumed bounds $\|R\|_{L^2(M)}\lesssim_\Lambda\varepsilon$ and $\|\theta-g_{\partial M}\|_{H^{1/2}(\partial M)}\lesssim_\Lambda\varepsilon$.
The case $\varepsilon=0$ gives the rigidity theorem: flat 3-manifolds with boundary and $\theta=g_{\partial M}$ are isometric to the Euclidean unit ball, so the boundary is automatically $S^2$.
For all $n\ge0$, higher-order quantitative estimates hold with $\|g_{ij}-\delta_{ij}\|_{H^{n+2}(M)}$ controlled by $\|R\|_{H^n(M)}+\|\theta-g_{\partial M}\|_{H^{n+1/2}(\partial M)}$.
In the general-relativity setting, this converts $L^2$ bounds on the Riemann curvature of a spacelike hypersurface into metric-level bounds in harmonic coordinates, with errors proportional to the curvature energy.

Reading between the lines

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

The proof's effective estimates use only Ric, the Einstein tensor, and the Bochner formula, so a version under pure Ricci pinching rather than full Riemann curvature pinching is a plausible extension.
The same harmonic-coordinate strategy could be adapted to model spaces other than the Euclidean ball, such as hyperbolic 3-space, by replacing the boundary $S^2$ uniformisation with constant-negative-curvature uniformisation and the Cartesian coordinates with the appropriate harmonic functions.
The constants hidden in $\lesssim_\Lambda$ are not made explicit; an effective tracking of the dependence of $\varepsilon_0$ on $\Lambda$ would be needed if the estimate is to be propagated in an evolutionary or numerical setting.

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

The paper proves something worth knowing: under L2 curvature pinching of the Riemann tensor and H^{1/2} pinching of the second fundamental form to that of the round ball, a compact 3-manifold with boundary must be diffeomorphic to B^3, and the metric is quantitatively close to the Euclidean one, with estimates linear in epsilon. The main novelty is that diffeomorphism is a conclusion, not an assumption — this removes the topological hypothesis in the author's earlier work [Gra20] and goes beyond compactness-based contradiction arguments by giving an explicit rate.

What the paper does well is the low-order part of the proof. Sections 2–6 build a careful functional framework, reducing all constants to volumes, a Sobolev constant, and a trace norm of the normal. The Bochner identities, boundary term expansions, and absorption arguments are laid out in detail and are convincing. The harmonic-extension-of-the-normal trick is elegant, and the proof that the boundary has only one component is a nice byproduct. This is a serious, coherent piece of geometric analysis.

The soft spot is exactly where the stress-test put its finger: Proposition 4.2, the effective uniformisation of the boundary, relies on [KS22, Theorem 3.1] but never states the theorem's hypotheses or verifies them beyond the L∞ bound (4.9) on the adjusted Gauss curvature. The reader is asked to take on faith that this suffices. If [KS22] requires additional geometric bounds — isoperimetric constant, eigenvalue gap, diameter, higher derivative control — those are not derived from the paper's assumptions. Since the conformal diffeomorphism Φ is used to define the harmonic coordinates and all later estimates depend on the bounds (4.1), this is a load-bearing external input, not a cosmetic omission. I would not call it fatal, because the intended use likely fits within the effective uniformisation framework, but it needs to be documented.

A secondary, softer issue: the higher-order estimates (1.6) are explicitly deferred with "we claim" in Remark 7.4 and Section 9. That is acceptable for a research paper if the low-order case is the real prize, but as stated the theorem includes them, so either a proof or a clearly separated theorem statement is needed.

My verdict: this deserves a serious referee. The main theorem is substantial and the argument is mostly careful; the gaps are checkable and fixable. If I were the editor I would send it out, expecting a request for revision that fills in the [KS22] verification and either proves the higher-order claims or cuts them from the main theorem.

Referee Report

2 major / 2 minor

Summary. The paper proves a quantitative stability theorem for the Euclidean 3-ball: if a compact oriented 3-manifold with boundary has volumes, Sobolev constant, and normal trace norm bounded as in (1.3), and if the L^2 norm of the Riemann curvature and the H^{1/2} norm of the difference of the second fundamental form are at most epsilon as in (1.4), then the manifold is diffeomorphic to the 3-ball via harmonic coordinates, and the metric components are H^2 and L^infinity close to the Euclidean metric with a linear bound in epsilon. The proof develops a series of functional and elliptic estimates on the manifold and its boundary, uses a harmonic extension of the boundary normal, and invokes the effective uniformization result of Klainerman and Szeftel for nearly round 2-spheres.

Significance. If correct, this is a valuable quantitative stability result that avoids compactness arguments and provides a linear dependence on epsilon, which is important for applications in general relativity. The paper is largely elementary, with detailed Bochner-identity computations, and it reduces the smallness assumptions to a short list of geometric constants in (1.3) rather than a proliferation of functional constants. The derivation is parameter-free and the main estimate (1.5) is claimed to be optimal in the sense of Remark 3. No circularity or fitted parameters are apparent. The main risk is the reliance on an external uniformization theorem whose hypotheses are not verified in the manuscript.

major comments (2)

[Section 4, Proposition 4.2] The proof applies [KS22, Theorem 3.1] to the conformally adjusted boundary metric ~g = e^{2u}g/ after establishing only the L^infty bound (4.9) on ~K - 1. The hypotheses of [KS22, Theorem 3.1] are neither stated nor verified; in particular, no control of diameter, Sobolev constants, isoperimetric constants, or higher derivatives of the metric of (∂M,~g/) is derived from (1.3), (1.4), and (4.6)-(4.9). Since Proposition 4.2 produces the conformal isomorphism Φ and conformal factor φ used in Definition 5.1, and since all later estimates in Sections 6 through 9 depend on (4.1), this is a load-bearing gap that must be closed before the proof of Theorem 1.1 is complete.
[Section 7, Remark 7.4 and Theorem 1.1, estimate (1.6)] The higher-order estimates (1.6) are asserted in Theorem 1.1 for all n ≥ 0, but their proof is not given. Remark 7.4 only sketches the argument and states the remaining details are left to the reader. A rigorous proof of (1.6) is needed for the theorem as stated, or the statement should be modified to include only the n = 0 estimate that is actually proved in Sections 6 and 7.

minor comments (2)

[Section 4, just after (4.8)] The displayed derivation of ~K is not correct: from △/u = K - 1 - (K - 1) one obtains ~K = e^{-2u}(1 + (K - 1)), not e^{-2u}(1 + K - 1). The estimate (4.9) still follows because the average of K - 1 is small by (4.6), but the equation should be corrected.
[Section 6, Lemma 6.4, equation (6.10)] In the product estimate for ‖x_i f‖_{H^1(M)}^2, the first term on the right-hand side appears to involve ‖∇f‖_{H^1(M)} where the norm of f itself is needed; this is likely a typo and does not affect the conclusion, but it should be clarified.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the proof chain is self-contained modulo an external uniformisation theorem.

full rationale

I walked the derivation chain. Theorem 1.1 takes as input the geometric bounds (1.3)-(1.4) on volumes, Sobolev/trace constants, the L2 norm of the curvature, and the H^{1/2} norm of the boundary second fundamental form. It concludes topological and metric closeness to the Euclidean ball. The proof constructs the harmonic radius vector field X, derives functional estimates, uses the Gauss equation to show the boundary is nearly round, invokes the independent uniformisation result [KS22, Theorem 3.1] to obtain a conformal isomorphism of the boundary, extends the boundary map as harmonic coordinates, and controls B = sum_i \nabla x^i \otimes \nabla x^i - g via Bochner-type estimates. The final metric estimate transfers through g_{ij} - \delta_{ij} = -B_{ij}. No step uses the conclusion as an input, and no fitted parameter is later renamed as a prediction. The smallness assumptions are geometric curvature and boundary-form bounds, while the conclusion is metric closeness; they are not identified by construction. The self-citation to [Gra20] appears only in the related-work discussion and as a source of some computational ideas; it is not load-bearing for Theorem 1.1. The only notable concern is that Proposition 4.2 applies [KS22, Theorem 3.1] without restating or fully verifying its hypotheses; this is a potential verification gap, not circularity. Hence the circularity score is 0.

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

No numerical parameters are fitted to data; the smallness threshold epsilon_0 is chosen by absorption arguments but is not a fitted constant. The proof relies on standard PDE and geometric facts plus the external [KS22] uniformisation theorem. The tensor B and the harmonic radius vector X are mathematical constructions, not additional physical entities.

assumptions (8)

standard math Maximum principle for subharmonic functions on a compact manifold with boundary.
Used in Lemma 2.2 for |X| <= 1 and in Lemma 6.3 for |x^i| <= 1.
standard math Bochner formula for harmonic functions, identity (1.10), including boundary terms.
Foundational identity used in Sections 2, 3, 5, and 6; derived from commuting the Laplacian with derivatives and integrating by parts.
standard math Sobolev inequality (1.2) with finite constant c_Sob.
The finiteness of c_Sob follows from Rellich-Kondrachov compactness, as noted after (1.2).
standard math Gauss equation (4.4) for the boundary Gauss curvature in a 3-manifold.
Used in Proposition 4.2 to convert smallness of the Einstein tensor and of theta - g/ into closeness of K to 1.
standard math Gauss-Bonnet theorem: a compact surface with positive Gauss curvature has genus 0 and is topologically S^2.
Used in Proposition 4.2 to conclude that ∂M is diffeomorphic to S^2 before applying effective uniformisation.
domain assumption Effective uniformisation theorem of Klainerman and Szeftel ([KS22, Theorem 3.1]).
External theorem providing a conformal diffeomorphism with conformal factor near 1 when Gauss curvature is near 1; its hypotheses are not restated or fully verified in the paper.
standard math Classical uniformisation theorem for compact genus-0 surfaces.
Used in Proposition 4.2 to obtain an initial conformal isomorphism between ∂M and S^2.
standard math Borel's lemma permits extending smooth boundary maps into the interior for applying the inverse function theorem at boundary points.
Used in the footnote to Section 8 to justify the inverse function step on the boundary.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Stability of the Euclidean 3-ball under L2-curvature pinching." pith.science (2026). https://pith.science/paper/HLELGLTG

@misc{pith2026250203823,
  author       = {Pith},
  title        = {Pith review of: Stability of the Euclidean 3-ball under L2-curvature pinching},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HLELGLTG}},
  note         = {Machine review of arXiv:2502.03823}
}

abstract

In this article, we consider compact Riemannian 3-manifolds with boundary. We prove that if the $L^2$-norm of the curvature is small and if the $H^{1/2}$-norm of the difference of the fundamental forms of the boundary is small, then the manifold is diffeomorphic to the Euclidean ball. Moreover, we obtain that the manifold and the ball are metrically close (uniformly and in $H^2$-norm), with a quantitative, optimal bound. The required smallness assumption only depends on the volumes of the manifold and its boundary and on a trace and Sobolev constant of the manifold. The proof only relies on elementary computations based on the Bochner formula for harmonic functions and tensors, and on the 2-spheres effective uniformisation result of Klainerman-Szeftel.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

, " * write output.state after.block = add.period write newline

ENTRY address author booktitle chapter edition editor eid howpublished institution journal key month note number organization pages publisher school series title type volume year label extra.label sort.label INTEGERS output.state before.all mid.sentence after.sentence after.block FUNCTION init.state.consts #0 'before.all := #1 'mid.sentence := #2 'after.s...

work page
[2]

write newline

" write newline "" before.all 'output.state := FUNCTION n.dashify 't := "" t empty not t #1 #1 substring "-" = t #1 #2 substring "--" = not "--" * t #2 global.max substring 't := t #1 #1 substring "-" = "-" * t #2 global.max substring 't := while if t #1 #1 substring * t #2 global.max substring 't := if while FUNCTION word.in "" FUNCTION format.date "" du...

work page
[3]

Aubry, Vari \'e t \'e s de courbure de Ricci presque minor \'e e , thesis (2003), 211 pp

E. Aubry, Vari \'e t \'e s de courbure de Ricci presque minor \'e e , thesis (2003), 211 pp

work page 2003
[4]

H. L. Bray, D. P. Kazaras, M. A. Khuri, D. L. Stern, Harmonic Functions and the Mass of 3- Dimensional Asymptotically Flat Riemannian Manifolds , The Journal of Geometric Analysis 32 (2022), no. 6, 184

work page 2022
[5]

Czimek, O

S. Czimek, O. Graf, The spacelike-characteristic Cauchy problem of general relativity in low regularity , Ann. PDE 8 (2022), no. 22, 69 pp

work page 2022
[6]

Christodoulou, S

D. Christodoulou, S. Klainerman, The global nonlinear stability of the Minkowski space , Princeton Univ. Press (1993), x+483 pp

work page 1993
[7]

Czimek, Boundary harmonic coordinates on manifolds with boundary in low regularity, Comm

S. Czimek, Boundary harmonic coordinates on manifolds with boundary in low regularity, Comm. Math. Phys. 371 (2019), no. 3, 1131--1177

work page 2019
[8]

C. Dong, A. Song, Stability of Euclidean 3-space for the positive mass theorem , arXiv:2302.07414 (2024), 32 pp

work page Pith review arXiv 2024

Show all 18 references

[9]

L. C. Evans, Partial Differential Equations, number v. 19 in Graduate Studies in Mathematics, American Mathematical Society, Providence, R.I (1998)

1998
[10]

Graf, Global nonlinear stability of Minkowski space for spacelike-characteristic initial data , arXiv:2010.12434 (2020), 246 pp

O. Graf, Global nonlinear stability of Minkowski space for spacelike-characteristic initial data , arXiv:2010.12434 (2020), 246 pp

2020 arXiv
[11]

Gilbarg, N

D. Gilbarg, N. S. Trudinger, Elliptic Partial Differential Equations of Second Order, Classics in Mathematics, Springer, Berlin ; New York, 2nd ed., rev. 3rd printing edition (2001)

2001
[12]

Huisken, Contracting convex hypersurfaces in Riemannian manifolds by their mean curvature , Invent Math 84 (1986), no

G. Huisken, Contracting convex hypersurfaces in Riemannian manifolds by their mean curvature , Invent Math 84 (1986), no. 3, 463--480

1986
[13]

Klainerman, I

S. Klainerman, I. Rodnianski, J. Szeftel, The bounded L2 curvature conjecture , Invent. Math. 202 (2015), no. 1, 91--216

2015
[14]

Klainerman, J

S. Klainerman, J. Szeftel, Effective Results on Uniformization and Intrinsic GCM Spheres in Perturbations of Kerr , Annals of PDE 8 (2022), no. 2, 18

2022
[15]

Lichnerowicz, G \'e om \'e trie des groupes de transformations , Dunod, Paris (1958)

A. Lichnerowicz, G \'e om \'e trie des groupes de transformations , Dunod, Paris (1958)

1958
[16]

Obata, Certain conditions for a Riemannian manifold to be isometric with a sphere , J

M. Obata, Certain conditions for a Riemannian manifold to be isometric with a sphere , J. Math. Soc. Japan 14 (1962), no. 3

1962
[17]

Petersen, On eigenvalue pinching in positive Ricci curvature , Invent

P. Petersen, On eigenvalue pinching in positive Ricci curvature , Invent. math. 138 (1999), no. 1, 1--21

1999
[18]

Shao, New tensorial estimates in Besov spaces for time-dependent (2 + 1)-dimensional problems , J

A. Shao, New tensorial estimates in Besov spaces for time-dependent (2 + 1)-dimensional problems , J. Hyperbolic Differ. Equ 11 (2014), no. 04, 821--908

2014

Pith tools

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

[1] [1]

, " * write output.state after.block = add.period write newline

ENTRY address author booktitle chapter edition editor eid howpublished institution journal key month note number organization pages publisher school series title type volume year label extra.label sort.label INTEGERS output.state before.all mid.sentence after.sentence after.block FUNCTION init.state.consts #0 'before.all := #1 'mid.sentence := #2 'after.s...

work page

[2] [2]

write newline

" write newline "" before.all 'output.state := FUNCTION n.dashify 't := "" t empty not t #1 #1 substring "-" = t #1 #2 substring "--" = not "--" * t #2 global.max substring 't := t #1 #1 substring "-" = "-" * t #2 global.max substring 't := while if t #1 #1 substring * t #2 global.max substring 't := if while FUNCTION word.in "" FUNCTION format.date "" du...

work page

[3] [3]

Aubry, Vari \'e t \'e s de courbure de Ricci presque minor \'e e , thesis (2003), 211 pp

E. Aubry, Vari \'e t \'e s de courbure de Ricci presque minor \'e e , thesis (2003), 211 pp

work page 2003

[4] [4]

H. L. Bray, D. P. Kazaras, M. A. Khuri, D. L. Stern, Harmonic Functions and the Mass of 3- Dimensional Asymptotically Flat Riemannian Manifolds , The Journal of Geometric Analysis 32 (2022), no. 6, 184

work page 2022

[5] [5]

Czimek, O

S. Czimek, O. Graf, The spacelike-characteristic Cauchy problem of general relativity in low regularity , Ann. PDE 8 (2022), no. 22, 69 pp

work page 2022

[6] [6]

Christodoulou, S

D. Christodoulou, S. Klainerman, The global nonlinear stability of the Minkowski space , Princeton Univ. Press (1993), x+483 pp

work page 1993

[7] [7]

Czimek, Boundary harmonic coordinates on manifolds with boundary in low regularity, Comm

S. Czimek, Boundary harmonic coordinates on manifolds with boundary in low regularity, Comm. Math. Phys. 371 (2019), no. 3, 1131--1177

work page 2019

[8] [8]

C. Dong, A. Song, Stability of Euclidean 3-space for the positive mass theorem , arXiv:2302.07414 (2024), 32 pp

work page Pith review arXiv 2024