Pith. sign in

REVIEW 2 major objections 5 minor 42 references

Marginally outer trap surface with capillary boundary and rigidity of initial data sets

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

Pith's one-line read Stable MOTS with capillary boundary that saturate a sharp area bound are rigid: the contact angle becomes π/2 and the data split as a product in 3D, with a Yamabe-constant version in higher dimensions.

desk verdict The capillary-boundary area estimates are a genuine contribution, but the main rigidity theorem has a load-bearing gap: equality conditions are assumed to propagate along the foliation without proof. read the letter →

arxiv 2507.16617 v1 pith:2OGJDW44 submitted 2025-07-22 math.DG

classification math.DG MSC 53C2453A1053C21
keywords MarginallyoutertrappedsurfaceCapillaryboundaryInitialdatasetRigidityDominantenergyconditionYamabeconstantWeaklyoutermostStabilityoperator
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 sharp area bounds and rigidity theorems for marginally outer trapped surfaces (MOTS) that meet the boundary of an initial data set at a fixed angle, the capillary boundary condition. The main three-dimensional result says that when the area inequality $A(\Sigma)C \leq 2\pi\chi(\Sigma)$ is saturated and the surface is weakly outermost, the contact angle must be right under the stated convexity and energy assumptions, and an outer neighborhood splits as a product of an interval with a constant-curvature surface carrying the MOTS. In that rigid case the second fundamental form of the slice reduces to a pure time component, the energy density equals the constant $C$, and the momentum density vanishes. The paper also extends these statements to higher dimensions by replacing the Euler characteristic with the Yamabe constant of the surface with boundary.

What carries the argument

The main tool is the stability operator $L = (-\Delta_\Sigma + 2\langle W, \nabla\rangle + \operatorname{div} W - |W|^2 + Q,\; \partial/\partial\nu - q)$ on a MOTS with Robin-type boundary condition, together with its symmetrized counterpart $L_s$, whose nonnegative first eigenvalue yields the area bound by testing with the constant function and applying the Gauss-Bonnet theorem. The capillary contact enters through the boundary term $q = (\sin\theta)^{-1}(H_{\partial M} - (\cos\theta)H - (\sin\theta)k_{\partial\Sigma})$ and the tilted dominant boundary energy condition. To upgrade the estimate to rigidity, the paper builds, via the implicit function theorem, a foliation by constant-null-mean-curvature capillary surfaces (Proposition 4.3), then uses weak outerness to force the null expansions of the slices to vanish; the high-dimensional extension replaces $\chi(\Sigma)$ by the Yamabe constant $\sigma_{1,0}(\Sigma, \partial\Sigma)$.

What would settle it

Compute $Q_t = K_{\Sigma_t} - (\mu + J(N_t)) - \tfrac{1}{2}|\chi_t^+|^2$ and the geodesic curvature $k_{\partial\Sigma_t}$ on the slices of the foliation produced by Proposition 4.3 when equality holds. If for some small $t > 0$ either quantity is nonzero while the hypotheses of Theorem 4.4 are satisfied, then the step removing those terms in (4.9) fails; conversely, proving they vanish for all $t$ would close the main gap in the rigidity proof.

Watch

Extended reading notes

Core claim

The central discovery is that stability plus the capillary boundary condition plus the tilted dominant boundary energy condition, together with the mild 'weakly outermost' hypothesis, turns the equality case of the area estimate into a rigidity statement: the MOTS must meet the boundary orthogonally ($\theta = \pi/2$), and the initial data set near the surface is forced to be the product of an interval and the surface, with the surface metric of constant Gaussian curvature equal to the energy lower bound $C$ and boundary geodesic curvature zero. The second fundamental form $h_M$ of the initial data set becomes $a\,dt^2$, the local energy density $\mu$ equals $C$, the momentum density $J$ vanishes on the product neighborhood, and the tilted dominant boundary condition is saturated. In the borderline $C = 0$ case, if the angle is not right and the boundary mean curvature is nonnegative, the conclusion instead is that the whole neighborhood is flat with $H_{\partial M} = 0$. The same rigidity is proved in higher dimensions using the Yamabe constant $\sigma_{1,0}(\Sigma, \partial\Sigma)$, with constant-curvature or Einstein conclusions replacing Gaussian curvature.

Load-bearing premise

The construction of the foliation in Proposition 4.3 is assumed to preserve the equality conditions of Theorem 4.1, specifically $Q = 0$ and $k_{\partial\Sigma_t} = 0$, on every slice $t > 0$, so that the boundary term can be removed in the inequality (4.9); the paper does not prove this propagation.

Editorial extensions

If this is right

  • If the main theorem is correct, a stable MOTS with capillary boundary that saturates the area bound cannot meet the boundary at an oblique angle when $C > 0$ and the second fundamental form is non-positive on planes: the angle is forced to $\pi/2$.
  • In the rigid $\theta = \pi/2$ case the initial data set is a product $V \cong [0,\epsilon) \times \Sigma$ with metric $dt^2 + \gamma$, where $\gamma$ has constant Gaussian curvature $C$ and boundary geodesic curvature $0$; the second fundamental form is $a\,dt^2$ depending only on $t$, and $\mu = C$, $J = 0$ on $V$.
  • For $C = 0$ with nonnegative boundary mean curvature and a non-right angle, the conclusion is flatness of the initial data near $\Sigma$ with $H_{\partial M} = 0$.
  • All of these statements persist in higher dimensions with the Yamabe constant $\sigma_{1,0}(\Sigma, \partial\Sigma)$ in place of the Euler characteristic, giving Einstein or Ricci-flat rigid neighborhoods.
  • The tilted dominant boundary condition is saturated along the product neighborhood in the equality case, so boundary rigidity accompanies interior rigidity.

Reading between the lines

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

  • A natural extension suggested by the method is to the high-dimensional $D > 0$ case, which the present area technique does not reach; a different conformal invariant would be needed for a rigidity statement there.
  • The saturation of the tilted dominant boundary condition on the rigid neighborhood could be read as a boundary analogue of the interior splitting, and might imply a standalone boundary rigidity statement with energy-minimizing capillary surfaces.
  • Because the foliation is built with an implicit function theorem, the theorem is local in nature; globalizing it to an outermost rather than weakly outermost assumption would require a barrier argument not contained in this paper.
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.

Referee Report

2 major / 5 minor

Summary. The manuscript proves area estimates for stable marginally outer trapped surfaces (MOTS) with capillary boundary in initial data sets with boundary, and then uses them to obtain rigidity results. In the 3-dimensional case, under the assumptions μ+J(N)≥C and the tilted dominant boundary energy condition, it claims A(Σ)C≤2πχ(Σ), and that equality forces either θ=π/2 with a product splitting of an outer neighborhood (with h_M=a dt², μ=C, J=0, and the boundary condition saturated) or, in a C=0 branch, flatness of M around Σ. A higher-dimensional analogue replaces the Euler characteristic by the Yamabe constant σ_{1,0}(Σ,∂Σ). The proofs combine the symmetrized stability operator, an implicit-function-theorem foliation by constant null-mean-curvature slices, and comparison arguments.

Significance. If correct, these results would be a natural capillary-boundary extension of the rigidity theorems of Galloway–Mendes and de Almeida–Mendes for free-boundary and closed MOTS. The paper is explicit about its geometric hypotheses, contains no fitted parameters, and provides a coherent framework for the area estimates; Theorems 4.1 and 5.2 appear essentially sound modulo local typos. The significance is currently contingent, however, on closing an unproved propagation step in the main rigidity theorems, which is load-bearing for the final product-splitting and flatness conclusions.

major comments (2)
  1. [Theorem 4.4, final paragraphs] The rigidity proof does not establish that the equality data propagate to every slice of the foliation constructed in Proposition 4.3. Equality in (4.1) is assumed only for t=0, and Theorem 4.1 gives Q=0, μ+J(N)=C, χ+=0, and k∂Σ=0 on the initial slice. The comparison argument after (4.9) produces Θ+(t)=0 for all t∈[0,ε), but the inequalities used there are integrated in t and involve the Gauss–Bonnet theorem on each slice; their saturation does not by itself imply the pointwise identities μ+J(N_t)=C, χ+_t=0, and k∂Σ_t=0 for every t. Consequently the later step 'From the inequality (4.6) and Q=0', used to infer divY−|Y|²=0 on each Σt and then flatness of M, is unsupported. A proof that Q(t)=KΣt−C vanishes on every leaf is needed; without it the main rigidity theorem is not established.
  2. [Theorem 5.3, final paragraph] The high-dimensional rigidity proof inherits the same propagation gap: the 'otherwise' branch follows the final part of Theorem 4.4 and therefore again uses Q=0 on all foliation slices without proving it. In addition, the sentence 'If, in addition, M satisfies RicM=μ/(n+1)g and D=0, then it follows that μ=0' is not justified by the preceding displayed chain alone. The estimates give |J|=0 and H∂M=0 on the slices; together with the dominant energy condition this only gives μ≥0. To conclude μ=0 and hence Ricci-flatness of M, one needs additional equality information such as h_M=0 on the slices (or an equivalent argument from the constraints), which is not supplied.
minor comments (5)
  1. [Theorem 4.4, CASE (I)] The proof writes 'If C>0 and trπhM≥0', but the hypothesis of CASE (I) is trπhM≤0; accordingly, inequality (4.10) should state C∫trΣr hM dv ≤ 0 under the stated hypothesis.
  2. [Inequality (4.11) and the definition of β(t)] The claim 'β′(0)=C cotθ β3(0)/β1(0)' is inconsistent with the definition of β(t) as the right-hand side of (4.11). With that definition one gets β′(0)=C cotθ β3(0); the division by β1(0) is only valid after normalizing β(t) by β1(t). The subsequent inequality (Θ+)′′(0)<β′(0) should be corrected accordingly.
  3. [Theorem 1.8, statement (iii)] In the introduction, Theorem 1.8(iii) states 'μ=C and J=0 on V', but in the high-dimensional setting the constant is D, as correctly written in Theorem 5.3(iii).
  4. [Equation (4.8)] The integrand of the first-variation formula for A(Σ)−A(Σt) contains Θ+(t) inside an integral over Σr; it should be Θ+(r), or the notation should be clarified to make the variable of evaluation explicit.
  5. [Theorem 1.5, CASE (III)] The phrase 'without loss of generality of (III), H∂M≥0' is unclear, because H∂M is not a quantity that can be adjusted by a generic choice; the intended logical structure of the 'otherwise' branch should be stated more precisely.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the derivation chain is self-contained and relies on independent prior results.

full rationale

The paper's main theorems are derived from explicitly stated geometric and energy assumptions (stability, µ−|J| ≥ C, tilted dominant boundary energy condition, weak outermost) via a standard stability operator and foliation construction. No fitted parameters are renamed as predictions, and no central claim reduces to a self-citation: the cited rigidity results in [17] and [33] are by other authors, and the paper's own earlier work [28] is only background. The area estimates in Theorem 4.1 follow from the Rayleigh formula for λ1(Ls) with the test function φ=1 and Gauss–Bonnet, not from the desired conclusion. The rigidity proof in Theorem 4.4 does contain a mathematical gap: in the final flatness branch (C=0, θ≠π/2), the assertion 'From the inequality (4.6) and Q = 0' applies the equality condition Q=0 to every foliation slice Σt, but Q=0 is only established on the initial surface Σ by Theorem 4.1; the propagation of Q=0 to all slices is not proven. This is an unsupported step, but it is not a circular reduction: Q=0 is neither defined in terms of the conclusion nor fitted to it. Since this gap does not make any prediction equivalent to its input by construction, the circularity score is 0.

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

No free parameters or invented entities. The paper relies on standard PDE and geometric analysis results (inverse function theorem, Fredholm alternative, Yamabe problem with boundary) and on explicit physical assumptions (dominant energy condition, tilted dominant boundary energy condition, stability, weak outermost).

assumptions (5)
  • domain assumption Stability of MOTS with capillary boundary (existence of positive φ with Lφ ≥ 0 and Bφ = 0).
    Explicit assumption in Theorems 4.1, 4.4, 5.2, and 5.3; defined in Section 2.
  • domain assumption Tilted dominant boundary energy condition H_∂M + cosθ tr_∂M h_M ≥ sinθ |h_M(N̄,·)|.
    Assumed throughout; introduced in Section 2 and used in the proof of the area estimates.
  • domain assumption Dominant energy condition with lower bound μ − |J| ≥ C (or μ + J(N) ≥ C).
    Assumed in Theorems 4.4, 5.2, and 5.3; the weak outermost condition is related.
  • standard math Existence of smooth foliation near Σ via the inverse function theorem and Fredholm alternative (Proposition 4.3).
    Relies on standard IFT and Fredholm alternative; cited Lemma A.2 in [29].
  • standard math Yamabe problem with boundary has a solution for σ_{1,0}(Σ,∂Σ) < Y(S^n_+, ∂S^n_+).
    Cited from Escobar [20,21]; used to construct conformal metrics in the high-dimensional rigidity proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Marginally outer trap surface with capillary boundary and rigidity of initial data sets." pith.science (2026). https://pith.science/paper/2OGJDW44

@misc{pith2026250716617,
  author       = {Pith},
  title        = {Pith review of: Marginally outer trap surface with capillary boundary and rigidity of initial data sets},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2OGJDW44}},
  note         = {Machine review of arXiv:2507.16617}
}
read the original abstract

In this paper, we present the several rigidity results of initial data sets with boundary when a marginally outer trap surface (MOTS) with capillary boundary is embedded. First, we establish estimates for the area of a MOTS with capillary boundary. Next, we prove a rigidity for 3-dimensional initial data sets with boundary. Furthermore, we extend our results from the 3-dimensional case to the high dimensional initial data sets using the Yamabe constant.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Alaee, M

    A. Alaee, M. Lesourd, and S. -T. Yau,Stable surfaces and free boundary marginally outer trapped surfaces, Calc. Var. Partial Differ. Equ.,60 (2021), 186

  2. [2]

    Almaraz, L

    S. Almaraz, L. L. de Lima, and L. Mari,Spacetime positive mass theorems for initial data sets with non-compact boundary. Int. Math. Res. Not. IMRN, (2021), no. 4, 2783-2841

  3. [3]

    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

  4. [4]

    Andersson, M

    L. Andersson, M. Mars, and W. Simon,Local existence of dynamical and trapping horizons, Phys. Rev. Lett.,95 (2005), 111102

  5. [5]

    Andersson, M

    L. Andersson, M. Mars, and W. Simon,Stability of marginally outer trapped surfaces and existence of marginally outer trapped tubes, Adv. Theor. Math. Phys.,12 (2008), 853-888

  6. [6]

    Araujo,Critical points of the total scalar curvature plus total mean curvature functional, Indiana Univ

    H. Araujo,Critical points of the total scalar curvature plus total mean curvature functional, Indiana Univ. Math. J.,52 (2003), 85-108

  7. [7]

    Barros, C

    A. Barros, C. Cruz, R. Batista, and P. Sousa,Rigidity in dimension four of area-minimizing Einstein manifolds, Math. Proc. Camb. Philos. Soc.,158 (2015), 355-363

  8. [8]

    Barros and C

    A. Barros and C. Cruz,Free boundary hypersurfaces with non-positive Yamabe invariant in mean convex manifolds, J. Geom. Anal.,30 (2020), 3542-3562

Show all 42 references
  1. [9]

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

  2. [10]

    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

  3. [11]

    Cai and G

    M. Cai and G. Galloway,On the topology and area of higher-dimensional black holes, Class. Quantum Gravity,18 (2001), 2707-2718

  4. [12]

    Cai,Volume Minimizing Hypersurfaces in Manifolds of Nonnegative Scalar Curvature, in Minimal surfaces, geometric analysis and symplectic geometry(Baltimore, MD, 1999) Adv

    M. Cai,Volume Minimizing Hypersurfaces in Manifolds of Nonnegative Scalar Curvature, in Minimal surfaces, geometric analysis and symplectic geometry(Baltimore, MD, 1999) Adv. Stud. Pure Math.34 (2002), no. 1, 1-7

  5. [13]

    Chai,A tilted spacetime positive mass theorem, arXiv:2304.05208

    X. Chai,A tilted spacetime positive mass theorem, arXiv:2304.05208

  6. [14]

    Chai and X

    X. Chai and X. WanInitial data set rigidity results for polyhedra, arXiv:2408.13801

  7. [15]

    Cherrier,Problèmes de Neumann non linéaires sur les variétés riemanniennes, J

    P. Cherrier,Problèmes de Neumann non linéaires sur les variétés riemanniennes, J. Funct. Anal., 57 (1984), 154-206. MARGINALLY OUTER TRAP SURF ACE WITH CAPILLARY 27

  8. [16]

    Cruz and A

    T. Cruz and A. S. Santos,Critical metrics and curvature of metrics with unit volume or unit area of the boundary, J. Geom. Anal.,33 (2023), 22

  9. [17]

    de Almeida, A

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

  10. [18]

    Deng,A Bray-Brendle-Neves type inequality for a Riemannian manifold, Acta Math

    H. Deng,A Bray-Brendle-Neves type inequality for a Riemannian manifold, Acta Math. Sci., 41 (2021), 487-492

  11. [19]

    Escobar, Uniqueness theorems on conformal deformation of metric Sobolev inequalities and an eigenvalue estimate, Commun

    J. Escobar, Uniqueness theorems on conformal deformation of metric Sobolev inequalities and an eigenvalue estimate, Commun. Pure Appl. Math.,43 (1990), 857-883

  12. [20]

    Escobar,The Yamabe problem on manifolds with boundary, J

    J. Escobar,The Yamabe problem on manifolds with boundary, J. Differ. Geom.,35 (1992), 21-84

  13. [21]

    Escobar, Conformal deformation of a Riemannian metric to a scalar flat metric with constant mean curvature on the boundary, Ann

    J. Escobar, Conformal deformation of a Riemannian metric to a scalar flat metric with constant mean curvature on the boundary, Ann. Math.,136 (1992), 1-50

  14. [22]

    Escobar,Conformal deformation of a Riemannian metric to a constant scalar curvature metric with constant mean curvature on the boundary, Indiana Univ

    J. Escobar,Conformal deformation of a Riemannian metric to a constant scalar curvature metric with constant mean curvature on the boundary, Indiana Univ. Math. J.,45 (1996), 917-943

  15. [23]

    Fischer-Colbrie, R

    D. Fischer-Colbrie, R. Schoen, The structure of complete stable minimal surfaces in 3- manifolds of nonegative scalar curvature, Comm. Pure App. Math.33 (1980) 199-211

  16. [24]

    G.J.Galloway, Rigidity of marginally trapped surfaces and the topology of black holes, Comm. Anal. Geom., 16 (2008), 217-229

  17. [25]

    G. J. Galloway and A. Mendes,Rigidity of marginally outer trapped 2-spheres, Commun. Anal. Geom., 26 (2018), 63-83

  18. [26]

    G. J. Galloway and R. Schoen,A generalization of Hawking’s black hole topology theorem to higher dimensions, Comm. Math. Phys.,266 (2006), 571-576

  19. [27]

    Kobayashi,Scalar curvature of a metric with unit volume, Math

    O. Kobayashi,Scalar curvature of a metric with unit volume, Math. Ann.,279 (1987), 253- 265

  20. [28]

    S. Lee, S. Park, and J. Pyo,Capillary stable minimal hypersurfaces in a high dimensional Riemannian manifold, J. Geom. Anal.,35 (2025), 157

  21. [29]

    Li,A polyhedron comparison theorem for 3-manifolds with positive scalar curvature, In- vent

    C. Li,A polyhedron comparison theorem for 3-manifolds with positive scalar curvature, In- vent. Math., 219 (2020), 1-37

  22. [30]

    Longa,Low index capillary minimal surfaces in Riemannian3-manifolds, J

    E. Longa,Low index capillary minimal surfaces in Riemannian3-manifolds, J. Geom. Anal., 32 (2022), 143

  23. [31]

    Mendes, Rigidity of marginally outer trapped (hyper)surfaces with negativeσ-constant, Trans

    A. Mendes, Rigidity of marginally outer trapped (hyper)surfaces with negativeσ-constant, Trans. Amer. Math. Soc.,372 (2019), 5851-5868

  24. [32]

    Mendes,Rigidity of volume-minimizing hypersurfaces in Riemannian 5-manifolds, Math

    A. Mendes,Rigidity of volume-minimizing hypersurfaces in Riemannian 5-manifolds, Math. Proc. Camb. Philos. Soc.,167 (2019), 345-353

  25. [33]

    Mendes,Rigidity of free boundary MOTS, Nonlinear Anal.,220 (2022), 112841

    A. Mendes,Rigidity of free boundary MOTS, Nonlinear Anal.,220 (2022), 112841

  26. [34]

    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

  27. [35]

    Moraru,On Area comparison and rigidity involving the scalar curvature, Ph

    V. Moraru,On Area comparison and rigidity involving the scalar curvature, Ph. D. Thesis, University of Warwick (2013)

  28. [36]

    Moraru,On area comparison and rigidity involving the scalar curvature, J

    V. Moraru,On area comparison and rigidity involving the scalar curvature, J. Geom. Anal., 26 (2016), 294-312

  29. [37]

    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

  30. [38]

    Ros and R

    A. Ros and R. Souam,On stability of capillary surfaces in a ball, Pac. J. Math.,178 (1997), 345-361

  31. [39]

    Schoen,Conformal deformation of a Riemannian metric to constant scalar curvature, J

    R. Schoen,Conformal deformation of a Riemannian metric to constant scalar curvature, J. Differ. Geom., 20 (1984), 479-495

  32. [40]

    Schoen,Variational theory for the total scalar curvature functional for Riemannian met- rics and related topics, vol

    R. Schoen,Variational theory for the total scalar curvature functional for Riemannian met- rics and related topics, vol. Topics in calculus of variations (Montecatini Terme, 1987), edited by M. Giaquinta, Springer Verlag, 1989

  33. [41]

    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

  34. [42]

    Wang,On Compact Riemannian Manifolds with Convex Boundary and Ricci Curvature Bounded from Below, J

    X. Wang,On Compact Riemannian Manifolds with Convex Boundary and Ricci Curvature Bounded from Below, J. Geom. Anal.,31 (2021), 3988-4003. 28 SANGHUN LEE Department of Mathematics and Institute of Mathematical Science, Pusan Na- tional University, Busan 46241, Korea Email addre...

Pith tools

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