Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Modified Hawking mass and rigidity of three-manifolds with boundary

T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read A free-boundary minimal two-disk that locally maximizes the modified Hawking mass forces the ambient three-manifold to be locally isometric to the half anti-de Sitter-Schwarzschild manifold.

desk verdict The boundary rigidity theorem doesn't go through: the paper uses H'=Lρ instead of H'=-Lρ, reversing the sign pattern and the local-max argument; the area estimate in Prop. 3.3 is the solid part. read the letter →

arxiv 2505.08301 v1 pith:B3D74VYQ submitted 2025-05-13 math.DG

Jihyeon Lee , Sanghun Lee This is my paper · ORCID
classification math.DG MSC 53C2553C2453C21
keywords ModifiedHawkingmassFreeboundaryminimalsurfacesRigidityAnti-deSitter-SchwarzschildmanifoldScalarcurvatureMeanconvexCMCfoliationJacobioperator
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 aims to prove a rigidity theorem for three-dimensional Riemannian manifolds with boundary: when the ambient scalar curvature is at least $-6$ and the boundary mean curvature is at least $0$, a free-boundary minimal two-disk that locally maximizes the modified Hawking mass forces the surrounding geometry to be the half anti-de Sitter-Schwarzschild model. That matters because it moves the known rigidity of Hawking-mass-maximizing minimal spheres into the boundary setting, where the modified Hawking mass is the natural quasi-local mass. The proof pins the disk's area to the first eigenvalue of its Jacobi operator, builds a foliation by constant-mean-curvature disks, and shows that local maximality of the mass forces every curvature and boundary term in the derivative to vanish, leaving only the model metric.

What carries the argument

The load-bearing mechanism is the modified Hawking mass for free-boundary surfaces, $\tilde m_H(\Sigma)=\sqrt{A(\Sigma)/8\pi}\,(\chi(\Sigma)-\frac{1}{8\pi}\int_\Sigma(H^2+\frac{2}{3}\inf_M R_M)\,dv)$, together with the Jacobi operator $L_\Sigma=\Delta_\Sigma+\mathrm{Ric}(N,N)+|h_\Sigma|^2$. The area estimate links the first eigenvalue of $L_\Sigma$ to $A(\Sigma)$; then a CMC foliation $\{\Sigma_t\}$ built from the stable minimal disk lets the paper differentiate $\tilde m_H$ along the foliation. The key identity (Lemma 4.1) rewrites the integral of $\rho_t(\mathrm{Ric}(N_t,N_t)+|h_{\Sigma_t}|^2)$ in terms of the average of $\rho_t$, the energy of $\nabla_{\Sigma_t}\rho_t$, the boundary mean curvature, and $H'(t)\theta(t,x)$ with $\theta\le 0$. Substituting this identity into the derivative of the modified Hawking mass produces terms with definite signs controlled by the sign pattern of $H(t)$, so local maximality forces all of them to vanish.

What would settle it

Compute the first variation of mean curvature for the CMC foliation in the half anti-de Sitter-Schwarzschild model. The model's warping function $u(s)$ satisfies $u''=u+m/u^2>0$, so the mean curvature of the slices increases through the totally geodesic slice; under the standard sign convention $H'=-L\rho$ the slope is positive. Comparing this with the slope obtained under the paper's sign $H'=L\rho$ decides whether the sign pattern assumed in the rigidity argument matches the model the theorem claims to force.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: under $\inf_M R_M = -6$ and $\inf_{\partial M} H_{\partial M} = 0$, a properly embedded, two-sided, free-boundary strictly stable minimal two-disk $\Sigma$ that locally maximizes the modified Hawking mass must have constant Gaussian curvature $1/a^2$, vanishing geodesic curvature along $\partial\Sigma$, and a neighborhood isometric to $(\Sigma\times(-\epsilon,\epsilon),(g_{\mathrm{hadss}})_a)$. The proof first establishes the sharp area estimate $A(\Sigma)=2\pi/(\lambda_1(L_\Sigma)-3)$, which forces $\Sigma$ to be totally geodesic, $\mathrm{Ric}(N,N)=-\lambda_1(L_\Sigma)$, $R_M=-6$, $H_{\partial M}=0$, and boundary geodesic curvature zero. A CMC foliation near $\Sigma$ then has mean curvature of strictly one sign on each side, and differentiating the modified Hawking mass along the foliation yields a sum of terms that are all nonpositive on one side and nonnegative on the other. Local maximality therefore forces every term to vanish, giving $R_M=-6$, umbilic leaves, $H_{\partial M}=0$, and lapse $\rho_t=1$; the metric satisfies $\partial_t g_{\Sigma_t} = -H(t)g_{\Sigma_t}$ and integrates to the half anti-de Sitter-Schwarzschild warped product.

Load-bearing premise

The proof needs the mean curvature of the nearby constant-mean-curvature surfaces to be positive on one side of the disk and negative on the other; this sign pattern is obtained from a specific choice of sign in the formula for how mean curvature changes under deformation, and the opposite conventional sign would flip it.

Editorial extensions

If this is right

  • If the hypotheses hold, the ambient manifold is locally isometric to the half anti-de Sitter-Schwarzschild metric, so that model is the unique local extremal geometry for this mass-maximization problem.
  • The disk itself is forced to be round: constant Gaussian curvature $1/a^2$, totally geodesic, with geodesic boundary.
  • The ambient curvature and boundary conditions saturate near the disk: $R_M\equiv -6$ and $H_{\partial M}=0$.
  • The CMC foliation is trivial in the sense that $\rho_t=1$ on every leaf, so the neighborhood splits as a symmetric warped product over the disk.
  • The closed-surface rigidity of Hawking-mass maximizers now has a boundary counterpart in the negative scalar curvature setting.

Reading between the lines

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

  • The sign convention in the linearized mean-curvature equation is doing real work: with the standard convention $H'=-L\rho$ the sign pattern of $H(t)$ flips, and the same derivative argument would treat $\Sigma$ as a local minimum rather than a local maximum.
  • A reader checking the model's convex warping function $u''>0$ will want to verify the orientation of the foliation parameter $t$; the model's natural slices have mean curvature increasing through the totally geodesic slice.
  • The area-spectral identity $A=2\pi/(\lambda_1-3)$ suggests a quantitative stability version: free-boundary minimal disks with $\lambda_1$ close to $3+2\pi/A$ should be geometrically close to the model, which could be made precise with a stability inequality.
  • Replacing the local maximum by an index-one or merely stable assumption would likely break the rigidity, since the argument uses the sign of the derivative on both sides of $\Sigma$ simultaneously.
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

3 major / 5 minor

Summary. The manuscript states a rigidity theorem (Theorem 1.1) for three-manifolds with boundary that contain a properly embedded, two-sided, free boundary strictly stable minimal two-disk locally maximizing the modified Hawking mass, under the assumptions inf_M R_M = -6 and inf_{∂M} H_{∂M} = 0. Section 3 establishes an area estimate A(Σ) = 2π/(λ1(LΣ)-3) and collects first and second variation formulas for the modified Hawking mass, and it invokes a CMC foliation result. Section 4 differentiates the modified Hawking mass along the foliation and attempts to show that local maximality forces the foliation to be geodesic and the ambient metric to be locally isometric to the half anti-de Sitter-Schwarzschild metric.

Significance. If valid, the theorem would be a natural extension of the Hawking-mass rigidity results of Barros-Batista-Cruz and Máximo-Nunes to the free-boundary setting. The paper has a useful structure: the area estimate in Proposition 3.3, the use of CMC foliations, and the explicit model comparison are potentially valuable. However, the validity of the main theorem is not established because the proof relies on sign errors in the linearized mean-curvature equation and in the evolution equation for the induced metric; the arguments in Section 4 do not force the equality that is needed for rigidity.

major comments (3)
  1. [Section 3, linearized system after Proposition 3.4] The first variation of the mean curvature under a normal variation with speed ρ is H' = -Lρ, not H' = Lρ as stated. With L = Δ + Ric(N,N) + |h|² and the eigenvalue problem Lφ + λφ = 0, this gives H'(0) = -L(1) = λ1 > 0, not -λ1 < 0. Consequently the sign pattern asserted two paragraphs later, H(t) > 0 for t ∈ (-ε,0) and H(t) < 0 for t ∈ (0,ε), is reversed. In the half anti-de Sitter-Schwarzschild model, H(s) = 2u'(s)/u(s) has the sign of s, so H(s) < 0 for s < 0 and H(s) > 0 for s > 0, confirming the reversal.
  2. [Section 4, Cases 1 and 2 and the equality step] The proof uses the reversed sign pattern to derive d/dt m̃H(Σ_t) ≤ 0 for t < 0 and ≥ 0 for t > 0, hence m̃H(Σ_t) ≥ m̃H(Σ), and then combines this with local maximality to force d/dt m̃H = 0 and ρ_t ≡ 1. With the correct sign pattern the derivative inequalities reverse: d/dt m̃H(Σ_t) ≥ 0 for t < 0 and ≤ 0 for t > 0, giving m̃H(Σ_t) ≤ m̃H(Σ). This is automatically compatible with a local maximum and does not force ρ_t ≡ 1. The rigidity conclusion of Theorem 1.1 therefore does not follow from the presented argument.
  3. [Section 4, final paragraph] The evolution equation for the induced metric under the foliation is written as ∂_t g_{Σ_t} = -2ρ_t h_{Σ_t} = -H(t)g_{Σ_t}. With the paper's convention h_Σ(X,Y) = ⟨∇_X N, Y⟩ and with h = (H/2)g for an umbilic surface, the correct evolution is ∂_t g_{Σ_t} = 2ρ_t h_{Σ_t} = ρ_t H(t)g_{Σ_t}. The negative sign leads to u_a(t) = a exp(-1/2∫_0^t H(s)ds), which is the reciprocal of the model's warping function, for which u_a(t) = a exp(1/2∫_0^t H(s)ds). Thus the final identification with the half anti-de Sitter-Schwarzschild metric is not established.
minor comments (5)
  1. [Abstract] The phrase 'the3-dimensional' should read 'the 3-dimensional'.
  2. [Proof of Proposition 3.3] In the boundary integral, the expression '∂φ φν' appears to be a typo for '∂φ/∂ν φ'.
  3. [Section 4] The word 'conclue' should be 'conclude'.
  4. [Section 4] The notation for the variation map is inconsistent: the manuscript uses both b_t(x) and b(x,t); using a single notation would improve clarity.
  5. [Section 3] The sign convention for the unit normal in the CMC foliation is not stated explicitly; since the signs of H(t) and of the mass derivative depend on this choice, an explicit convention would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the rigidity theorem is derived from stated assumptions and external cited results, with no self-citation or fitted-input prediction.

full rationale

The paper's derivation chain is not circular. Theorem 1.1 is proved from the stated hypotheses (inf_M R_M = -6, inf_{∂M} H_{∂M} = 0, strict stability, free boundary minimality, and local maximality of the modified Hawking mass), not assumed as a conclusion. The technical ingredients—the first and second variation formulae (Propositions 3.1 and 3.2), the CMC foliation construction (Proposition 3.4), and Lemma 4.1—are all cited from Refs. [3,4,14], which are external works and not authored by the present authors. The area estimate in Proposition 3.3 is obtained by combining the stability inequality, the Gauss equation, Gauss–Bonnet, and the second variation of the modified Hawking mass under the local-maximality assumption; it is not inserted by hand. The sign pattern H(t) > 0 for t<0 and H(t) < 0 for t>0 is derived from H'(0) = L(1) = -λ_1 < 0 as written; even if this sign is mathematically incorrect because the standard first variation gives H' = -Lρ, that would be a correctness error, not circularity. No parameter is fitted to data and then renamed a prediction, and no load-bearing step reduces to a self-citation. Hence the circularity score is 0.

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

The central claim rests mainly on quoted technical propositions. The new proof's final step depends on a nonstandard linearized mean curvature equation with a reversed sign, which is the critical unproved input. No free parameters or invented entities are present.

assumptions (4)
  • domain assumption Second variation formula for the modified Hawking mass (Proposition 3.2) is correct as quoted from [3,4,14].
    The formula is long and unproved in this paper; the reverse area estimate in Proposition 3.3 depends on it.
  • domain assumption Existence of the free boundary CMC foliation with the stated properties (Proposition 3.4), quoted from [3,4,14].
    The foliation is used in Section 4 to compare the modified Hawking mass on nearby surfaces.
  • domain assumption Integral identity of Lemma 4.1, quoted as Lemma 1 in [4].
    Used to rewrite the derivative of the modified Hawking mass in equation (4.3); no proof is included.
  • ad hoc to paper Linearized mean curvature equation H'(t) = LΣt ρt.
    This is asserted in Section 3 after Proposition 3.4 and drives the sign analysis. The standard formula is H' = -Lρ, so the paper's version is not an external standard result.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Modified Hawking mass and rigidity of three-manifolds with boundary." pith.science (2026). https://pith.science/paper/B3D74VYQ

@misc{pith2026250508301,
  author       = {Pith},
  title        = {Pith review of: Modified Hawking mass and rigidity of three-manifolds with boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B3D74VYQ}},
  note         = {Machine review of arXiv:2505.08301}
}
abstract

In this paper, we prove a rigidity result for three-dimensional Riemannian manifolds with boundary, under the assumption that a free boundary minimal two-disk, which locally maximizes a modified Hawking mass, is embedded in a $3$-dimensional Riemannian manifold with negative scalar curvature and mean convex boundary. First, we establish area estimates for free boundary strictly stable two-disks. Finally, we show that the $3$-dimensional Riemannian manifold with boundary is locally isometric to the half anti-de Sitter-Schwarzschild 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

  1. Rigidity and positivity of Hawking quasi-local energy on area-constrained critical surfaces

    math-ph 2025-07 reject novelty 7.0 of 10

    On area-constrained critical surfaces of the Hawking functional, zero Hawking energy implies the enclosed region is flat or the reference space form, but the dynamical statement is conditional on a restrictive technic...

Reference graph

Works this paper leans on

17 extracted references · 11 canonical work pages · cited by 1 Pith paper

  1. [4]

    Batista, B

    R. Batista, B. Lima, and J. Silva,Rigidity of free boundary minimal disks in mean convex three-manifolds, J. Geom. Anal.,34 (2024), 279

    work page 2024

  2. [1]

    D. D. Almeida and A. Mendes,Rigidity results for free boundary hypersurfaces in initial data sets with boundary, arXiv:2502.09433

    arXiv

  3. [2]

    Ambrozio, Rigidity of area-minimizing free boundary surfaces in mean convex three- manifolds, J

    L. Ambrozio, Rigidity of area-minimizing free boundary surfaces in mean convex three- manifolds, J. Geom. Anal.,25 (2015), 1001-1017

    2015

  4. [3]

    Barros, R

    A. Barros, R. Batista, and T. Cruz.Hawking mass and local rigidity of minimal surfaces in three-manifolds, Commun. Anal. Geom.,25 (2017), 1-23

    work page 2017

  5. [5]

    First Eigenvalue of Jacobi operator and Rigidity Results for Constant Mean Curvature Hypersurfaces

    M. Batista, M. P. Cavalcante, and L. R. Melo,First eigenvalue of Jacobi operator and rigidity results for constant mean curvature hypersurfaces, arXiv:2405.18233

    work page Pith review arXiv

  6. [6]

    Bray, Proof of the Riemannian Penrose inequality using the positive mass theorem, J

    H. Bray, Proof of the Riemannian Penrose inequality using the positive mass theorem, J. Differ. Geom., 59 (2001), 177–267

    work page 2001

  7. [7]

    H. Bray, S. Brendle, and A. Neves, Rigidity of area-minimizing two-spheres in three- manifolds, Commun. Anal. Geom.,18 (2010), 821-830

    2010

  8. [8]

    Cai and G

    M. Cai and G. Galloway,Rigidity of area-minimizing tori in 3-manifolds of nonnegative scalar curvature, Commun. Anal. Geom.,8 (2000), 565-573

    2000

Show all 17 references
  1. [9]

    L. L. de Lima, Conserved Quantities in General Relativity: The Case of Initial Datasets with a Non-compact Boundary, Perspectives in Scalar Curvature, World Scientific, (2023), 489–518

    2023

  2. [10]

    Huisken and T

    G. Huisken and T. Ilmanen,The inverse mean curvature flow and the Riemannian Penrose inequality, J. Differ. Geom.,59 (2001), 353–437

    2001

  3. [11]

    Huisken and A

    G. Huisken and A. Polden,Geometric Evolution Equations for Hypersurface, Lecture Notes in Mathemathics, Springer,1713 (1999), 45–84

    1999

  4. [12]

    Koerber,The Riemannian Penrose inequality for asymptotically flat manifolds with non- compact boundary, J

    T. Koerber,The Riemannian Penrose inequality for asymptotically flat manifolds with non- compact boundary, J. Differ. Geom.,124 (2023), 317–379

    2023

  5. [13]

    Marquardt,Weak solutions of inverse mean curvature flow for hypersurfaces with bound- ary, J

    T. Marquardt,Weak solutions of inverse mean curvature flow for hypersurfaces with bound- ary, J. fur Reine Angew. Math. (Crelles Journal),728 (2017), 237—261

    2017

  6. [14]

    Máximo and I

    D. Máximo and I. Nunes,Hawking mass and local rigidity of minimal two-spheres in three- manifolds, Commun. Anal. Geom.,21 (2013), 409–432

    2013

  7. [15]

    Micallef and V

    M. Micallef and V. Moraru,Spitting of 3-manifolds and rigidity of area-minimizing surfaces, Proc. Amer. Math. Soc.,143 (2015), 2865-2872

    2015

  8. [16]

    Nunes,Rigidity of area-minimizing hyperbolic surfaces in three-manifolds, J

    I. Nunes,Rigidity of area-minimizing hyperbolic surfaces in three-manifolds, J. Geom. Anal., 23 (2013), 1290-1302

    2013

  9. [17]

    Schoen and S

    R. Schoen and S. T. Yau,Existence of incompressible minimal surfaces and the topology of three dimensional manifolds with non-negative scalar curvature, Ann. Math., 110 (1979), 127-142. 12 JIHYEON LEE AND SANGHUN LEE Center for Geometry and Physics, Institute for Basic Science...

    1979

Pith tools

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