pith. sign in

arxiv: 2412.05238 · v2 · submitted 2024-12-06 · 🧮 math.DG

Some splitting and rigidity results for sub-static spaces

Giulio Colombo , Allan Freitas , Luciano Mari , Marco Rigoli This is my paper

Pith reviewed 2026-05-23 08:13 UTC · model grok-4.3

classification 🧮 math.DG
keywords sub-static systemssplitting theoremsminimal hypersurfacesboundary integral inequalitiesrigiditysigma-modelLiouville theoremstatic Einstein equations
0
0 comments X

The pith

Sub-static systems split locally and globally when suitable compact minimal hypersurfaces are present.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes rigidity results for sub-static systems that may include a boundary. It proves local and global splitting theorems under the assumption of suitable compact minimal hypersurfaces. Boundary integral inequalities are derived that extend earlier work to non-vacuum cases and strengthen the bounds even in the vacuum static setting. A Liouville theorem is proved for the system obtained from static Einstein equations coupled to a sigma-model, and this version permits target manifolds with positive sectional curvature.

Core claim

Assuming suitable compact minimal hypersurfaces, sub-static systems with possibly non-empty boundary exhibit local and global splitting. Boundary integral inequalities extend and improve prior results of Chruściel and Boucher-Gibbons-Horowitz to non-vacuum spaces. For the sigma-model coupled to static Einstein equations, a Liouville theorem holds that allows positively curved target manifolds and generalizes a result by Reiris.

What carries the argument

The sub-static structural equations relating a Riemannian metric, a potential function, and curvature terms that enable the splitting and integral inequalities.

If this is right

  • Local splitting holds in a neighborhood of each such minimal hypersurface.
  • Global splitting follows when the hypersurface separates the manifold in the appropriate way.
  • The boundary integrals yield inequalities that bound geometric quantities even when matter is present.
  • Only constant maps satisfy the coupled equations when the sigma-model target has positive curvature.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The boundary inequalities may connect to positive-mass-type statements once matter fields are included.
  • The allowance of positive curvature on the target suggests the Liouville result could be tested on standard spheres or other positively curved manifolds.
  • Similar splitting techniques might apply to related rigidity questions for other curvature conditions on the same manifolds.

Load-bearing premise

Suitable compact minimal hypersurfaces must exist and the system must obey the stated structural equations for the splitting theorems and inequalities to hold.

What would settle it

Construction of a sub-static space containing a compact minimal hypersurface that fails to split locally or globally, or that violates one of the stated boundary integral inequalities.

read the original abstract

In this paper we study the rigidity problem for sub-static systems with possibly non-empty boundary. First, we get local and global splitting theorems by assuming the existence of suitable compact minimal hypersurfaces, complementing recent results in the literature. Next, we prove some boundary integral inequalities that extend works by Chr\'usciel and Boucher-Gibbons-Horowitz to non-vacuum spaces. Even in the vacuum static case, the inequalities improve on known ones. Lastly, we consider the system arising from static solutions to the Einstein field equations coupled with a $\sigma$-model. The Liouville theorem we obtain allows for positively curved target manifolds, generalizing a result by Reiris.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper studies rigidity for sub-static systems, possibly with boundary. It proves local and global splitting theorems assuming suitable compact minimal hypersurfaces. It establishes boundary integral inequalities extending and improving results of Chruściel and Boucher-Gibbons-Horowitz (including in the vacuum case). It also derives a Liouville theorem for the sigma-model coupled to static Einstein equations that permits positively curved target manifolds, generalizing Reiris.

Significance. If the theorems hold, the work provides concrete extensions of known rigidity results in geometric analysis and mathematical relativity. The splitting theorems are conditional on explicit minimal-hypersurface assumptions; the boundary inequalities strengthen prior vacuum and non-vacuum bounds; the Liouville result relaxes the curvature restriction on the target. These are direct, falsifiable improvements on cited literature.

minor comments (3)
  1. §2 (or wherever the sub-static structural equations are introduced): the precise relation between the sub-static condition and the standard static equation should be stated explicitly with the sign conventions used for the potential function.
  2. The statement of the global splitting theorem should clarify whether the minimal hypersurface is required to be area-minimizing or merely minimal, as this affects the applicability of the maximum principle arguments.
  3. In the sigma-model section, the target manifold curvature assumption is relaxed to positive; an explicit example (e.g., a sphere target) would help illustrate that the new Liouville result is strictly stronger than Reiris'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address point-by-point. The manuscript stands as submitted.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents conditional splitting theorems under the explicit assumption of suitable compact minimal hypersurfaces, boundary integral inequalities that extend named external results (Chruściel, Boucher-Gibbons-Horowitz), and a Liouville theorem generalizing Reiris for the sigma-model system. All structural equations and hypotheses are stated upfront with no self-definitional loops, no fitted parameters renamed as predictions, and no load-bearing self-citations whose content reduces to the present work. The derivations remain self-contained against the stated assumptions and prior independent literature.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or invented entities; ledger left empty.

pith-pipeline@v0.9.0 · 5638 in / 1069 out tokens · 23300 ms · 2026-05-23T08:13:45.619695+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

63 extracted references · 63 canonical work pages · 1 internal anchor

  1. [1]

    Agostiniani and L

    V. Agostiniani and L. Mazzieri, On the geometry of the level sets of bounded static potentials. Commun. Math. Phys. 355 (2017), 261–301

    work page 2017

  2. [2]

    Alexander and S

    R. Alexander and S. Alexander, Geodesics in Riemannian manifolds-with-boundary. Indiana Univ. Math. J. 30 (1981), no. 4, 481–488

    work page 1981

  3. [3]

    F. J. Almgren, Existence and regularity almost everywhere of solutions to elliptic variational problems with constraints, Mem. Amer. Math. Soc. 4 (1976), no. 165, viii+199

    work page 1976

  4. [4]

    Ambrozio, On static three-manifolds with positive scalar curvature

    L. Ambrozio, On static three-manifolds with positive scalar curvature. J. Differential Geom. 107 (2017), no. 1, 1–45. MR3698233

    work page 2017

  5. [5]

    Albanese, M

    G. Albanese, M. Rigoli, A Schwarz-type lemma for noncompact manifolds with boundary and geometric appli- cations. Comm. Anal. Geom. 25 (4) (2017) 719–749

    work page 2017

  6. [6]

    L. J. Al´ ıas, P. Mastrolia, M. Rigoli,Maximum principles and geometric applications. Springer Monographs in Mathematics, Springer, Cham, 2016. MR3445380

    work page 2016

  7. [7]

    Anderson, On stationary vacuum solutions to the Einstein equations

    M.T. Anderson, On stationary vacuum solutions to the Einstein equations. Ann. Henri Poincar´ e 1 (2000), no.5, 977–994

    work page 2000

  8. [8]

    Andrade, B

    M. Andrade, B. Leandro, R. Lousa, On the Geometry of Electrovacuum Spaces in Higher Dimensions. Ann. Henri Poincar´ e24 (2023), 3153–3184

    work page 2023

  9. [9]

    Anselli, Bach and Einstein’s equations in presence of a field

    A. Anselli, Bach and Einstein’s equations in presence of a field. Int. J. Geom. Methods Mod. Phys. 18 (2021), no. 5, 2150077, 68 pp. MR4254759

    work page 2021

  10. [10]

    Anselli, G

    A. Anselli, G. Colombo, M. Rigoli, On the geometry of Einstein-type structures. Nonlinear Anal. 204 (2021), 112198, 84 pp. MR4184679

    work page 2021

  11. [11]

    Borghini and M

    S. Borghini and M. Fogagnolo, Comparison geometry for substatic manifolds and a weighted Isoperimetric Inequality. Preprint (2023). Available at arXiv:2307.14618 [math.DG]

    work page arXiv 2023

  12. [12]

    Boucher, G

    W. Boucher, G. W. Gibbons and G. T. Horowitz, Uniqueness theorem for anti-de Sitter spacetime , Phisical Review D (3) 30 (1984), no. 12, 2447–2451

    work page 1984

  13. [13]

    Bianchini, L

    B. Bianchini, L. Mari, P. Pucci, and M. Rigoli, Geometric analysis of quasilinear inequalities on complete manifolds - Maximum and compact support principles and detours on manifolds. Frontiers in Mathematics. Birkh¨ auser/Springer, Cham, 2021, x+286 pp

    work page 2021

  14. [14]

    Boucher, Cosmic no-hair theorems

    W. Boucher, Cosmic no-hair theorems . Classical general relativity (London, 1983), 43-52, Cambridge Univ. Press, Cambridge, 1984

    work page 1983

  15. [15]

    Brendle, Constant mean curvature surfaces in warped product manifolds

    S. Brendle, Constant mean curvature surfaces in warped product manifolds. Publ. Math. Inst. Hautes ´Etudes Sci. 117 (2013), 247–269

    work page 2013

  16. [16]

    G. L. Bunting, and A. K. M. Masood-Ul-Alam, Nonexistence of multiple black holes in asymptotically Euclidean static vacuum space-time. Gen. Relativ. Gravit. 19 (1987), 147–154

    work page 1987

  17. [17]

    Case, The nonexistence of quasi-Einstein metrics

    J.S. Case, The nonexistence of quasi-Einstein metrics. Pacific J. Math. 248 (2010), no.2, 277-284

    work page 2010

  18. [18]

    Cederbaum, Uniqueness of photon spheres in static vacuum asymptotically flat space-times , Complex Anal- ysis & Dynamical Systems VI, Contemp

    C. Cederbaum, Uniqueness of photon spheres in static vacuum asymptotically flat space-times , Complex Anal- ysis & Dynamical Systems VI, Contemp. Math. AMS 667 (2015), 86–99

    work page 2015

  19. [19]

    Cheeger and D

    J. Cheeger and D. Gromoll, The splitting theorem for manifolds of nonnegative Ricci curvature . J. Differential Geometry 6 (1971/72), 119–128

    work page 1971

  20. [20]

    Cheng, T

    X. Cheng, T. Mejia and D. Zhou, Stability and compactness for complete f-minimal surfaces. Trans. Amer. Math. Soc. 367 (2015), 4041-4059

    work page 2015

  21. [21]

    P. T. Chru´ sciel, Remarks on rigidity of the de Sitter metric , homepage.univie.ac.at/piotr.chrusciel/papers/ deSitter/deSitter2.pdf

    work page

  22. [22]

    Choquet-Bruhat, General Relativity and the Einstein Equations

    Y. Choquet-Bruhat, General Relativity and the Einstein Equations. Oxford University Press (2009)

    work page 2009

  23. [23]

    Colombo, M

    G. Colombo, M. Mariani, M. Rigoli, A sharp Eells-Sampson type theorem under positive sectional curvature upper bounds, J. Math. Anal. Appl. 540 (1) (2024), 128584

    work page 2024

  24. [24]

    Cortier and V

    J. Cortier and V. Minerbe, On complete stationary vacuum initial data. J. Geom. Phys. 99 (2016), 20-27

    work page 2016

  25. [25]

    Corvino, Scalar curvature deformation and a gluing construction for the Einstein constraint equations , Commun

    J. Corvino, Scalar curvature deformation and a gluing construction for the Einstein constraint equations , Commun. Math. Phys. 214 (2000), 137–189

    work page 2000

  26. [26]

    Coutinho, B

    F. Coutinho, B. Leandro, Mean-stable surfaces in static Einstein–Maxwell theory. Lett. Math. Phys. 112 (2022) no. 128. https://doi.org/10.1007/s11005-022-01623-1

    work page doi:10.1007/s11005-022-01623-1 2022

  27. [27]

    Costa, R

    J. Costa, R. Di´ ogenes, N. Pinheiro, and E. Ribeiro Jr. Geometry of static perfect fluid space-time . Class. Quantum Grav. 40 (2023) 205012

    work page 2023

  28. [28]

    T. Cruz, V. Lima, A. de Sousa, Min-max minimal surfaces, horizons and electrostatic systems. To appear in J. Differential Geom. arXiv:1912.08600v3 [math.DG]

    work page arXiv 1912

  29. [29]

    De Lellis, The regularity theory for the area functional (in geometric measure theory)

    C. De Lellis, The regularity theory for the area functional (in geometric measure theory). ICM—International Congress of Mathematicians. Vol. 2. Plenary lectures, 872–913

    work page

  30. [30]

    Eschenburg, The splitting theorem for space-times with strong energy condition

    J.H. Eschenburg, The splitting theorem for space-times with strong energy condition. J. Differential Geom. 27 (1988), n. 3, 477–491

    work page 1988

  31. [31]

    Eschenburg, E

    J.H. Eschenburg, E. Heintze, Comparison theory for Riccati equations. Manuscr. Math. 68 (1990), 209–214

    work page 1990

  32. [32]

    Friedrich, Existence and structure of past asymptotically simple solutions of Einstein’s field equations with positive cosmological constant, J

    H. Friedrich, Existence and structure of past asymptotically simple solutions of Einstein’s field equations with positive cosmological constant, J. Geom. Phys. 3 (1986), no. 1, 101-117

    work page 1986

  33. [33]

    Fischer, J.E

    A.E. Fischer, J.E. Marsden, Deformations of the scalar curvature. Duke Math. J. 42 (1975), no. 3, 519–547

    work page 1975

  34. [34]

    Galloway, On the topology of black holes

    G. Galloway, On the topology of black holes. Comm. Math. Phys. 151 (1993), no. 1, 53-66

    work page 1993

  35. [35]

    Galloway, Some global results for asymptotically simple space-times

    G. Galloway, Some global results for asymptotically simple space-times. The conformal structure of space-time, Lecture Notes in Phys. 604(2002), 51-60. SPLITTING AND RIGIDITY OF SUB-STATIC SPACES 29

    work page 2002

  36. [36]

    E. Gama, J. de Lira, L. Mari, and A. Medeiros, A Barrier principle at infinity for varifolds with bounded mean curvature. J. Lond. Math. Soc. 2 (2022), 1–35

    work page 2022

  37. [37]

    Garc´ ıa-R´ ıo and D.N

    E. Garc´ ıa-R´ ıo and D.N. Kupeli,Some splitting theorems for stably causal spacetimes, Gen. Rel. Grav. 30 (1998), no. 1, 35-44

    work page 1998

  38. [38]

    G. W. Gibbons, S. A. Hartnoll, C. N. Pope, Bohm and Einstein-Sasaki metrics, black holes, and cosmological event horizons. Phys. Rev. D. 67 (8) (2003) 084024

    work page 2003

  39. [39]

    Hawking and G

    S. Hawking and G. Ellis, The Large Scale Structure of Space-Time , Cambridge University Press, Cambridge (1973)

    work page 1973

  40. [40]

    Huang, D

    L.-H. Huang, D. Martin, P. Miao, Static potentials and area minimizing hypersurfaces. Proc. Am. Math. Soc. 146(6) (2018), 2647–2661

    work page 2018

  41. [41]

    Israel, Event horizons in static vacuum space-times

    W. Israel, Event horizons in static vacuum space-times. Phys. Rev. 164 (1967), 1776–1779

    work page 1967

  42. [42]

    Javaloyes and M

    M.A. Javaloyes and M. Sanchez, A note on the existence of standard splittings for conformally stationary spacetimes. Class. Quantum Gravity 25 (2008) 168001

    work page 2008

  43. [43]

    Kasue, Ricci curvature, geodesics and some geometric properties of Riemannian manifolds with boundary

    A. Kasue, Ricci curvature, geodesics and some geometric properties of Riemannian manifolds with boundary . J. Math. Soc. Japan 35.1 (1983), 117-131

    work page 1983

  44. [44]

    Kobayashi, A differential equation arising from scalar curvature

    O. Kobayashi, A differential equation arising from scalar curvature. J. Math. Soc. Japan 34 (1982), 665

    work page 1982

  45. [45]

    Lafontaine, Sur la g´ eom´ etrie d’une g´ en´ eralisation de l’equation diff´ erentielle d’Obata.J

    J. Lafontaine, Sur la g´ eom´ etrie d’une g´ en´ eralisation de l’equation diff´ erentielle d’Obata.J. Math. Pures Appl. 9 (1983), 63

    work page 1983

  46. [46]

    Li and C

    J. Li and C. Xia, An integral formula for affine connections . J. Geom. Anal. 27 (2017), no.3, 2539-2556

    work page 2017

  47. [47]

    L. Mari, M. Rigoli, A.G. Setti, Keller-Osserman conditions for diffusion-type operators on Riemannian man- ifolds. J. Funct. Anal. 258 (2010) 665–712

    work page 2010

  48. [48]

    Penrose, Gravitational Collapse and Space-Time Singularities

    R. Penrose, Gravitational Collapse and Space-Time Singularities . Phys. Rev. Lett. 14, 57 (1965)

    work page 1965

  49. [49]

    Petersen, Riemannian Geometry (3rd ed.)

    P. Petersen, Riemannian Geometry (3rd ed.). Graduate texts in Mathematics 171 (2016) Springer-Verlag, xiii+499

    work page 2016

  50. [50]

    Pigola, M

    S. Pigola, M. Rigoli, and A. G. Setti, Maximum principles on Riemannian manifolds and applications . Mem. Amer. Math. Soc. 174 (2005), no. 822, x+99

    work page 2005

  51. [51]

    Pigola, M

    S. Pigola, M. Rigoli, and A. G. Setti, Vanishing and Finiteness Results in Geometric Analysis: a Generalization of the Bochner technique Progress in Mathematics 266 (2008) Birkh¨ auser

    work page 2008

  52. [52]

    R. C. Reilly, Applications of the Hessian operator in a Riemannian manifold . Indiana Univ. Math. J. 26 (3) (1977), 459-472

    work page 1977

  53. [53]

    Reiris, On static solutions of the Einstein-scalar field equations

    M. Reiris, On static solutions of the Einstein-scalar field equations . Gen. Relativ. Gravit. 49 (2017), no. 3, 46

    work page 2017

  54. [54]

    Reiris, Static solutions from the point of view of comparison geometry

    M. Reiris, Static solutions from the point of view of comparison geometry. J. Math. Phys. 53 (2012), no. 1, 012501, 31 pp

    work page 2012

  55. [55]

    D. C. Robinson, A simple proof of the generalization of Israel’s theorem. Gen. Relat. Gravit. 8 (1977), 695–698

    work page 1977

  56. [56]

    Seshadri, On Einstein four-manifolds with S1-actions, Math

    H. Seshadri, On Einstein four-manifolds with S1-actions, Math. Z. 247 (2004), no. 3, 487-503

    work page 2004

  57. [57]

    Shen, A note on Fischer-Marsden’s conjecture, Proc

    Y. Shen, A note on Fischer-Marsden’s conjecture, Proc. Am. Math. Soc. 125 (1997), 901-905

    work page 1997

  58. [58]

    J. E. Taylor, The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces , Ann. Math. 103 (1976), 489–539

    work page 1976

  59. [59]

    Uhlenbeck, Generic properties of eigenfunctions

    K. Uhlenbeck, Generic properties of eigenfunctions. Amer. J. Math. 98 (4) (1976), 1059–1078

    work page 1976

  60. [60]

    R. M. Wald, General Relativity. The University of Chicago Press, Chicago, USA, 1984

    work page 1984

  61. [61]

    Wang, Y.-K

    M.-T. Wang, Y.-K. Wang and X. Zhang, Minkowski formulae and Alexandrov theorems in spacetime. J. Dif- ferential Geom. 105 (2017), no. 2, 249–290, MR3606730, Zbl 06696281

    work page 2017

  62. [62]

    Wylie, A warped product version of the Cheeger–Gromoll splitting theorem

    W. Wylie, A warped product version of the Cheeger–Gromoll splitting theorem. Trans. Amer. Math. Soc. 369 (9) (2017), 6661–6681

    work page 2017

  63. [63]

    On the geometry of Riemannian manifolds with density

    W. Wylie and D. Yeroshkin, On the geometry of Riemannian manifolds with density. Preprint (2016). Available at arXiv:1602.08000 [math.DG] Dipartimento di Matematica e Applicazioni “R. Caccioppoli”, Universit `a degli Studi di Napoli Fede- rico II, Via Vicinale Cupa Cintia 21, I-80126 Napoli, Italy Email address: giulio.colombo@unina.it Departamento de Mat...

    work page internal anchor Pith review Pith/arXiv arXiv 2016