Pith. sign in

REVIEW 4 minor 35 references

On the uniqueness of surfaces of constant spacetime mean curvature in asymptotically Schwarzschildean lightcones

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read A unique asymptotically flat STCMC foliation exists in asymptotically Schwarzschildean lightcones of positive mass, with Bondi energy m and vanishing linear momentum.

desk verdict Solid uniqueness upgrade for STCMC foliations on null cones; the estimates close the gap left by the authors' existence paper without overclaiming. read the letter →

arxiv 2607.11411 v1 pith:DQJKTPJM submitted 2026-07-13 math.DG

Klaus Kroencke , Markus Wolff This is my paper · ORCID
classification math.DG MSC 53C4253C5083C30
keywords spacetimemeancurvatureSTCMCsurfacesnullhypersurfacesasymptoticallySchwarzschildeanlightconesBondienergylinearmomentumuniquenessoffoliationsSimonsidentity
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 proves that an asymptotically Schwarzschildean lightcone of mass m>0 admits a unique asymptotically flat foliation by surfaces of constant spacetime mean curvature (STCMC). That foliation carries Bondi energy equal to m and vanishing Bondi linear momentum. Existence of the foliation was already known from earlier work of the same authors, but uniqueness held only inside a very restrictive a-priori class of surfaces that forced the linear momentum to vanish by construction. Here the authors enlarge the a-priori class substantially: any STCMC surface that is merely C^{2}-comparable to a (possibly mildly boosted) round sphere must in fact lie in the original restrictive class, and is therefore unique. The argument proceeds by a Stampacchia iteration that yields a critical pointwise bound on the trace-free second fundamental form, followed by quantitative almost-roundness estimates that improve the decay and close the uniqueness. The result supplies the uniqueness needed for a well-defined notion of centre of mass on null hypersurfaces under a generic notion of asymptotic flatness.

What carries the argument

A contracted null Simons identity together with a Stampacchia iteration that produces a critical pointwise bound on the trace-free scalar second fundamental form |A°|; the bound is then upgraded by quantitative almost-roundness estimates for conformally round metrics under a balancing condition.

What would settle it

Exhibit an STCMC surface in an asymptotically Schwarzschildean lightcone that is C^{2}-comparable to a boosted sphere with boost growing faster than any allowed power, or construct a second distinct asymptotically flat STCMC foliation whose Bondi linear momentum is non-zero.

Watch

Extended reading notes

Core claim

In an asymptotically Schwarzschildean lightcone of mass m>0 there exists a unique asymptotically flat background foliation by STCMC surfaces; the foliation realises Bondi energy m and vanishing Bondi linear momentum. Uniqueness holds inside a significantly weaker a-priori class than the one used for the original construction, so the restrictive class is recovered a posteriori.

Load-bearing premise

Uniqueness is proved only for surfaces that stay C^{2}-close to a boosted round sphere whose boost vector grows at most like a small power of the area radius; surfaces outside this class are not excluded.

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.

Referee Report

0 major / 4 minor

Summary. The paper proves uniqueness of an asymptotically flat STCMC foliation in an asymptotically Schwarzschildean lightcone of mass m>0. Existence of such a foliation (with Bondi energy m and vanishing Bondi linear momentum) was obtained in the authors’ prior work [13] inside a restrictive a-priori class B_σ. Here the authors introduce a substantially weaker class S^{1}_{α,ε,κ}[v_{1},v_{2},V_{1},V_{2}] (Definition 4.1) that still requires C^{2}-comparability to a boosted sphere with |a| ≲ ρ^{2α} (α small) and a controlled Sobolev constant with respect to H^{2}. They show that any STCMC surface in this class must in fact lie in B_σ (Theorem 4.2), by deriving critical pointwise bounds on |Å| and |∇Å| via a contracted null Simons identity (Proposition C.2), a Stampacchia iteration (Proposition 4.10), and quantitative almost-roundness estimates (Corollary 2.15). The uniqueness of the foliation then follows from the earlier result (Theorem 4.6).

Significance. The result closes a natural gap left by the existence theory of [13]: the restrictive gauge (vanishing Bondi linear momentum) needed for construction is shown a posteriori to be forced by the STCMC condition under fairly generic asymptotic flatness. The technical core—null Simons identity, H^{2}-controlled Sobolev inequality, Stampacchia bootstrap, and reduction to the stronger class—is self-contained and carefully scoped. The authors correctly flag that full uniqueness without a-priori assumptions is expected to fail by Brendle–Eichmair analogy, so the limitation is transparent rather than hidden. The work supplies a solid foundation for subsequent center-of-mass applications in the null setting.

minor comments (4)
  1. Definition 4.1 and Lemma 4.4: the dependence of the constants H^{2}_{0}, α_{0}, ε_{0} on the parameters (m,α,ε,κ,v_i,V_i) is stated but never made fully explicit; a short remark collecting the hierarchy of smallness would help the reader track the bootstrap.
  2. Proposition 3.3 / Remark 3.4: the constant c in the Minkowski Sobolev inequality depends on ||∇̂ ln ω||_{C^{1}}; while the subsequent Lorentz-invariant infimum c_{0}(Σ) is well-motivated, a one-line comparison with the classical Michael–Simon constant would clarify the loss of uniformity.
  3. Appendix D: the outline of the improved Onofri inequality under the balancing condition ∫ f_i ω^{3} dμ̂ = 0 is clear, but the reference to Chang–Yang [5] could be supplemented by a pointer to the precise place where the Kazdan–Warner identity is applied (Eq. (28)).
  4. Typographical: several instances of missing spaces after punctuation and occasional inconsistent use of “STCMC” versus “spacetime mean curvature” appear in the introduction and Section 4; a light copy-edit would remove them.

Circularity Check

2 steps flagged · score 2.0 of 10

Standard self-citation reduction: uniqueness inside the stronger class B_σ is imported from the authors’ prior paper [13]; the new work independently forces membership in that class.

  1. uniqueness imported from authors [Section 4, paragraph preceding Lemma 4.9; also Thm 4.2 proof strategy]
    "We note that by [13, Proposition 3.15 and Theorem 4.8], we have existence and uniqueness of STCMC surfaces within the a priori class B_σ(B_{1},B_{2},B_{3}) … It thus suffices to show that any STCMC surface in S^{1}_{α,ε,κ}[v_{1},v_{2},V_{1},V_{2}] lies in B_ρ(B_{1},B_{2},B_{3}) provided 0 < H^{2} ่ H^{2}_{0} sufficiently small."

    Final uniqueness inside the weaker class is obtained solely by reducing to uniqueness already proved by the same authors in the stronger class B_σ. The reduction step itself is independent (new estimates), but the uniqueness theorem that closes the argument is imported from the authors’ own prior paper rather than re-proved or externally verified.

  2. self citation load bearing [Abstract and Introduction (p. 1–2)]
    "The authors have already established the existence of such a foliation in previous work [13], but proven uniqueness only in a very restrictive class of surfaces. Although this restrictive class of surfaces was necessary for the construction, here we show that the foliation is a posteriori unique under significantly weaker assumptions."

    Existence of the foliation (and uniqueness inside the restrictive class) is taken entirely from the authors’ previous paper [13]. The present work supplies only the a-posteriori enlargement of the uniqueness class; without the self-citation the existence claim would be unsupported.

full rationale

The paper’s central claim (Thm 4.2 / Thm 4.6) is uniqueness of STCMC surfaces inside a weaker a-priori class S^{1}_{α,ε,κ}. The argument proceeds by deriving new pointwise estimates (Stampacchia iteration on the contracted null Simons identity + quantitative almost-roundness via Cor 2.15) that force any such surface into the stronger class B_σ of the authors’ previous work [13]. Once membership is established, uniqueness is quoted from [13, Prop 3.15 & Thm 4.8]. That citation is load-bearing for the final uniqueness statement but is used only as a black-box reduction; the estimates that produce membership do not presuppose the conclusion and are self-contained. No fitted parameters, self-definitional identities, or ansatz smuggling appear. The a-priori class itself is openly flagged as necessary and expected to be sharp (Brendle–Eichmair analogy). Score 2 reflects ordinary, non-circular self-citation of prior uniqueness inside a stronger class.

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

The paper rests on standard differential-geometric identities (Gauss–Codazzi, null Simons, Stampacchia, Onofri-type inequalities) plus the authors’ own definition of asymptotically Schwarzschildean lightcones and the a-priori surface class needed to close the estimates. No free parameters are fitted to data; thresholds α_{0}, ε_{0}, H^{2}_{0} are pure existence constants. No new physical entities are postulated.

assumptions (5)
  • standard math Null Simons identity and its contracted form for STCMC surfaces (Prop. 2.3, Prop. C.1)
    Derived from Codazzi and algebraic manipulations; used as the starting point for all L^{2} estimates on Å.
  • domain assumption Definition of asymptotically Schwarzschildean lightcone (Def. 2.7): γ_r = r^{2}γ̂ + O_{3,3}(1), χ_r = rγ̂ + O_{3,3}(r^{-1}), etc., and Rm − Rm_Schw = O_{2,2}(r^{-4})
    The entire decay hierarchy of error terms rests on this asymptotic model; without it the pointwise bounds on τ, A, curvature fail.
  • domain assumption Sobolev inequality with respect to H^{2} controlled by the constant c_{0}(Σ) for surfaces in the a-priori class (Def. 3.1, Prop. 3.7)
    Needed to convert integral bounds into L^p and then pointwise bounds via Stampacchia; the constant is assumed uniformly controlled by the class parameters.
  • standard math Quantitative C^{2}-estimate for almost-round metrics under the Minkowski 4-vector balancing condition (Prop. 2.13–2.14, Cor. 2.15)
    Adaptation of Klainerman–Szeftel / Chang–Yang estimates; used to upgrade preliminary decay of Å into C^{2}-closeness to a boosted sphere.
  • domain assumption Existence and uniqueness of STCMC surfaces inside the stronger class B_σ of the authors’ previous paper [13]
    Once a surface is shown to lie in B_σ the earlier uniqueness theorem finishes the argument; treated as a black box.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the uniqueness of surfaces of constant spacetime mean curvature in asymptotically Schwarzschildean lightcones." pith.science (2026). https://pith.science/paper/DQJKTPJM

@misc{pith2026260711411,
  author       = {Pith},
  title        = {Pith review of: On the uniqueness of surfaces of constant spacetime mean curvature in asymptotically Schwarzschildean lightcones},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DQJKTPJM}},
  note         = {Machine review of arXiv:2607.11411}
}
abstract

In this paper, we address the uniqueness of surfaces of constant spacetime mean curvature in an asymptotically Schwarzschildean lightcone of mass $m>0$. We prove that there exists a unique asymptotically flat foliation by surfaces of constant spacetime mean curvature for a fairly generic notion of asymptotic flatness. This foliation has Bondi energy $m$ and vanishing Bondi linear momentum. The authors have already established the existence of such a foliation in previous work, but proven uniqueness only in a very restrictive class of surfaces. Although this restrictive class of surfaces was necessary for the construction, here we show that the foliation is a posteriori unique under significantly weaker assumptions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 2 linked inside Pith

  1. [13]

    Foliations of asymptotically Schwarzschildean light- cones by surfaces of constant spacetime mean curvature.Math

    Klaus Kröncke and Markus Wolff. Foliations of asymptotically Schwarzschildean light- cones by surfaces of constant spacetime mean curvature.Math. Ann., 394(3):Paper No. 73, 71, 2026

    2026

  2. [1]

    Curvature estimates for stable marginally trapped surfaces.J

    Lars Andersson and Jan Metzger. Curvature estimates for stable marginally trapped surfaces.J. Differential Geom., 84(2):231–265, 2010

    2010

  3. [2]

    Large outlying stable constant mean curvature spheres in initial data sets.Invent

    Simon Brendle and Michael Eichmair. Large outlying stable constant mean curvature spheres in initial data sets.Invent. Math., 197(3):663–682, 2014

    2014

  4. [3]

    On the center of mass of asymp- totically hyperbolic initial data sets.Ann

    Carla Cederbaum, Julien Cortier, and Anna Sakovich. On the center of mass of asymp- totically hyperbolic initial data sets.Ann. Henri Poincaré, 17(6):1505–1528, 2016

    2016

  5. [4]

    On center of mass and foliations by constant spacetime mean curvature surfaces for isolated systems in general relativity.Calc

    Carla Cederbaum and Anna Sakovich. On center of mass and foliations by constant spacetime mean curvature surfaces for isolated systems in general relativity.Calc. Var. Partial Differential Equations, 60(6):Paper No. 214, 57, 2021

    2021

  6. [5]

    Sun-Yung Alice Chang and Paul C. Yang. Prescribing Gaussian curvature onS2.Acta Math., 159(3-4):215–259, 1987

    1987

  7. [6]

    Two rigidity results for surfaces in Schwarzschild spacetimes.Math

    Po-Ning Chen and Ye-Kai Wang. Two rigidity results for surfaces in Schwarzschild spacetimes.Math. Res. Lett., 32(5):1373–1397, 2025

    2025

  8. [7]

    Global uniqueness of large stable CMC spheres in asymptotically flat Riemannian 3-manifolds.Duke Math

    Otis Chodosh and Michael Eichmair. Global uniqueness of large stable CMC spheres in asymptotically flat Riemannian 3-manifolds.Duke Math. J., 171(1):1–31, 2022

    2022

Show all 35 references
  1. [8]

    Foliations of asymptotically flat manifolds by stable constant mean curvature spheres.J

    Michael Eichmair and Thomas Koerber. Foliations of asymptotically flat manifolds by stable constant mean curvature spheres.J. Differential Geom., 128(3):1037–1083, 2024. 51

    2024

  2. [9]

    Huisken-Yau-type uniqueness for area-constrained Willmore spheres.Duke Math

    Michael Eichmair, Thomas Koerber, Jan Metzger, and Felix Schulze. Huisken-Yau-type uniqueness for area-constrained Willmore spheres.Duke Math. J., 173(9):1677–1730, 2024

    2024

  3. [10]

    Foliations by stable spheres with constant mean curvature for iso- lated systems with general asymptotics.Comm

    Lan-Hsuan Huang. Foliations by stable spheres with constant mean curvature for iso- lated systems with general asymptotics.Comm. Math. Phys., 300(2):331–373, 2010

    2010

  4. [11]

    Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature.Invent

    Gerhard Huisken and Shing-Tung Yau. Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature.Invent. Math., 124(1-3):281–311, 1996

    1996

  5. [12]

    Effective results on uniformization and intrinsic GCM spheres in perturbations of Kerr.Ann

    Sergiu Klainerman and Jérémie Szeftel. Effective results on uniformization and intrinsic GCM spheres in perturbations of Kerr.Ann. PDE, 8(2):Paper No. 18, 89, 2022. With an appendix by Camillo De Lellis

    2022

  6. [14]

    Foliation of null cones by surfaces of constant space- time mean curvature near MOTS

    Ben Lambert and Julian Scheuer. Foliation of null cones by surfaces of constant space- time mean curvature near MOTS. arXiv:2603.23083 (preprint), 2026

    2026

  7. [15]

    Foliations of asymptotically flat mani- folds by surfaces of Willmore type.Math

    Tobias Lamm, Jan Metzger, and Felix Schulze. Foliations of asymptotically flat mani- folds by surfaces of Willmore type.Math. Ann., 350(1):1–78, 2011

    2011

  8. [16]

    Uniqueness of the foliation of constant mean curvature spheres in asymp- totically flat 3-manifolds.Pacific J

    Shiguang Ma. Uniqueness of the foliation of constant mean curvature spheres in asymp- totically flat 3-manifolds.Pacific J. Math., 252(1):145–179, 2011

    2011

  9. [17]

    Bondi-sachs formalism.Scholarpedia, 11(12):33528, 2016

    Thomas Mädler and Jeffrey Winicour. Bondi-sachs formalism.Scholarpedia, 11(12):33528, 2016

    2016

  10. [18]

    The asymptotic behaviour of the Hawking energy along null asymptotically flat hypersurfaces.Classical Quantum Gravity, 32(18):185020, 30, 2015

    Marc Mars and Alberto Soria. The asymptotic behaviour of the Hawking energy along null asymptotically flat hypersurfaces.Classical Quantum Gravity, 32(18):185020, 30, 2015

    2015

  11. [19]

    Foliations of asymptotically flat 3-manifolds by 2-surfaces of prescribed mean curvature.J

    Jan Metzger. Foliations of asymptotically flat 3-manifolds by 2-surfaces of prescribed mean curvature.J. Differential Geom., 77(2):201–236, 2007

    2007

  12. [20]

    Foliations by spheres with constant expansion for isolated systems without asymptotic symmetry.J

    Christopher Nerz. Foliations by spheres with constant expansion for isolated systems without asymptotic symmetry.J. Differential Geom., 109(2):257–289, 2018. 52

    2018

  13. [21]

    Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds.Geom

    André Neves and Gang Tian. Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds.Geom. Funct. Anal., 19(3):910–942, 2009

    2009

  14. [22]

    Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds

    André Neves and Gang Tian. Existence and uniqueness of constant mean curvature foliation of asymptotically hyperbolic 3-manifolds. II.J. Reine Angew. Math., 641:69– 93, 2010

    2010

  15. [23]

    E. Onofri. On the positivity of the effective action in a theory of random surfaces. Comm. Math. Phys., 86(3):321–326, 1982

    1982

  16. [24]

    On the uniqueness of the foliation of spheres of constant mean curvature in asymptotically flat 3-manifolds.J

    Jie Qing and Gang Tian. On the uniqueness of the foliation of spheres of constant mean curvature in asymptotically flat 3-manifolds.J. Amer. Math. Soc., 20(4):1091–1110, 2007

    2007

  17. [25]

    Quasi-round MOTSs and stability of the Schwarzschild null Penrose inequality.Ann

    Henri Roesch. Quasi-round MOTSs and stability of the Schwarzschild null Penrose inequality.Ann. Henri Poincaré, 22(6):1937–1978, 2021

    1937

  18. [26]

    Henri P. Roesch. Proof of a null Penrose conjecture using a new quasi-local mass. Comm. Anal. Geom., 29(8):1847–1915, 2021

    1915

  19. [27]

    Phd thesis, ETH Zürich, Zürich, Switzerland, 2008

    Johannes Sauter.Foliations of null hypersurfaces and the Penrose inequality. Phd thesis, ETH Zürich, Zürich, Switzerland, 2008. Available athttps://doi.org/10. 3929/ethz-a-005713669

    2008

  20. [28]

    Schoen, L

    R. Schoen, L. Simon, and S. T. Yau. Curvature estimates for minimal hypersurfaces. Acta Math., 134(3-4):275–288, 1975

    1975

  21. [29]

    Foliations by constant spacetime mean curvature surfaces for asymptot- ically hyperboloidal initial data sets

    Jacopo Tenan. Foliations by constant spacetime mean curvature surfaces for asymptot- ically hyperboloidal initial data sets. arXiv:2607.02244 (preprint), 2026

    2026 arXiv

  22. [30]

    Volume preserving spacetime mean curvature flow and foliations of initial data sets.J

    Jacopo Tenan. Volume preserving spacetime mean curvature flow and foliations of initial data sets.J. Funct. Anal., 290(6):Paper No. 111313, 47, 2026

    2026

  23. [31]

    Phd thesis, University of Tübingen, Tübingen, Germany, December 2023

    Markus Wolff.On the Spacetime Mean Curvature of Surfaces in General Relativity. Phd thesis, University of Tübingen, Tübingen, Germany, December 2023. Available at https://publikationen.uni-tuebingen.de/xmlui/handle/10900/148726

    2023

  24. [32]

    Ricci flow on surfaces along the standard lightcone in the3+1-Minkowski spacetime.Calc

    Markus Wolff. Ricci flow on surfaces along the standard lightcone in the3+1-Minkowski spacetime.Calc. Var. Partial Differential Equations, 62(3):Paper No. 90, 22, 2023

    2023

  25. [33]

    A De Lellis–Müller type estimate on the Minkowski lightcone.Calc

    Markus Wolff. A De Lellis–Müller type estimate on the Minkowski lightcone.Calc. Var. Partial Differential Equations, 63(7):Paper No. 185, 30, 2024. 53

    2024

  26. [34]

    A note on the stability of surfaces along null cones under area-preserving variations

    Markus Wolff. A note on the stability of surfaces along null cones under area-preserving variations. arXiv:2607.09325 (preprint), 2026

    2026 arXiv

  27. [35]

    Foliation by constant mean curvature spheres on asymptotically flat man- ifolds

    Rugang Ye. Foliation by constant mean curvature spheres on asymptotically flat man- ifolds. InGeometric analysis and the calculus of variations, pages 369–383. Int. Press, Cambridge, MA, 1996. Klaus Kröncke KTH Royal Institute of Technology Department of Mathematics Lindstedts...

    1996

Pith tools

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