pith. sign in

arxiv: 2605.03481 · v1 · submitted 2026-05-05 · 🧮 math.AP · gr-qc

Stability of de Sitter Space and Expansion at the Conformal Boundary

Maurus Leimbacher This is my paper

Pith reviewed 2026-05-07 15:24 UTC · model grok-4.3

classification 🧮 math.AP gr-qc
keywords nonlinear stabilityde Sitter spaceEinstein vacuum equationsconformal boundaryscattering dataobstruction tensorasymptotically de Sitter
0
0 comments X

The pith

De Sitter space is nonlinearly stable, and nearby solutions correspond one-to-one with scattering data on the conformal boundary.

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

The paper provides a new proof that de Sitter space is nonlinearly stable as a solution to the Einstein vacuum equations with positive cosmological constant in n+1 dimensions where n is at least 3. By using gauge freedom, it derives a precise expansion of the conformally rescaled metric at the future conformal boundary. This expansion is smooth for odd n and either smooth or log-smooth for even n depending on whether the obstruction tensor vanishes. The resulting structure directly yields a bijection between solutions close to de Sitter space and arbitrary scattering data prescribed on the conformal boundary, and the same holds for asymptotically de Sitter spaces.

Core claim

Using an approach similar to prior work, we give a new proof of the nonlinear stability of de Sitter space as a solution to the Einstein vacuum equations with positive cosmological constant in n+1 dimensions, with n≥3. Using the gauge freedom of the equations, we are able to prove a precise expansion of the perturbed spacetime at the conformal boundary. In n=odd spatial dimensions, the conformally rescaled metric is smooth up to the future conformal boundary and in n=even spatial dimensions it is smooth if and only if the obstruction tensor of the boundary metric vanishes; if not, then the conformally rescaled metric is log smooth at the boundary. These results also hold for asymptotically d

What carries the argument

Gauge freedom in the Einstein vacuum equations combined with the precise asymptotic expansion of the conformally rescaled metric at the future conformal boundary.

If this is right

  • Nonlinear stability of de Sitter space holds in every dimension n+1 with n≥3.
  • The conformally rescaled metric reaches the future boundary with smoothness determined by dimension and vanishing of the obstruction tensor.
  • Every solution sufficiently close to de Sitter space is uniquely determined by its scattering data on the conformal boundary.
  • The same stability and correspondence apply to all asymptotically de Sitter spacetimes.

Where Pith is reading between the lines

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

  • Prescribing arbitrary boundary scattering data may provide a systematic way to construct families of cosmological solutions.
  • Logarithmic terms in even dimensions could produce observable late-time corrections in physical quantities.
  • The gauge technique might extend to stability questions for other backgrounds with positive cosmological constant.

Load-bearing premise

The chosen gauge must allow nonlinear terms to be controlled at the conformal boundary so that the claimed precise expansion holds.

What would settle it

A small perturbation of de Sitter space whose metric fails to admit the stated expansion or whose data does not correspond uniquely to boundary scattering data would disprove the stability and correspondence claims.

Figures

Figures reproduced from arXiv: 2605.03481 by Maurus Leimbacher.

Figure 1
Figure 1. Figure 1: Schematic drawing of the manifold M. The circles represent the level sets of s of the form {s} × S n ω. The red line corresponds to the set {[0, π 2 ]s × (0, . . . , 0, 1)ω}, the north pole of the sphere for all s. The chart domain containing the north pole, ↑Ω, is shown. In this schematic, ↓Ω would correspond the same area as ↑Ω, but mirrored horizontally. Consider the Laurent series of 1 sin2(s) around 0… view at source ↗
Figure 2
Figure 2. Figure 2: Schematic of the Domain. The red shaded area corresponds to Us1 . The top and bottom part of its border correspond to Σs1 and Σs0 respectively. An the curved parts correspond Σa In order to apply this result to de Sitter type metrics (obtained from scattering data) far from exact de Sitter space, as mentioned in 1.1, one would of course need to adapt this concrete choice domain. It is clear, however, that … view at source ↗
read the original abstract

Using an approach similar to arXiv:2409.15460, we give a new proof of the nonlinear stability of de Sitter space as a solution to the Einstein vacuum equations with positive cosmological constant in $n+1$ dimensions, with $n\geq3$. Using the gauge freedom of the equations, we are able to prove a precise expansion of the perturbed spacetime at the conformal boundary. In $n=$ odd spatial dimensions, the conformally rescaled metric is smooth up to the future conformal boundary and in $n=$ even spatial dimensions it is smooth if and only if the obstruction tensor of the boundary metric vanishes; if not, then the conformally rescaled metric is log smooth at the boundary. These results also hold for asymptotically de Sitter spaces. Using the results of Fefferman and Graham (1985, Conformal invariants), arXiv:0710.0919, arXiv:1705.09674 and arXiv:2311.02739, the structure of our expansion allows us to establish a 1-1 correspondence between solutions to the Einstein vacuum equations close to de Sitter space and scattering data prescribed on the conformal boundary in general dimension.

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

1 major / 1 minor

Summary. The paper gives a new proof of nonlinear stability of de Sitter space for the Einstein vacuum equations with positive cosmological constant in n+1 dimensions (n≥3). Exploiting gauge freedom, it derives a precise expansion of nearby solutions at the future conformal boundary (smooth for odd n; smooth or log-smooth for even n according to vanishing of the obstruction tensor) and extends the result to asymptotically de Sitter spacetimes. Invoking Fefferman–Graham and subsequent works, it concludes a 1-1 correspondence between such solutions and prescribed scattering data on the conformal boundary.

Significance. If the central estimates hold, the result supplies an independent gauge-based route to de Sitter stability together with an explicit scattering-data bijection that is uniform in dimension. This would strengthen the dictionary between bulk Einstein solutions and boundary conformal data, with potential utility for both mathematical GR and holographic models of asymptotically de Sitter spacetimes.

major comments (1)
  1. [gauge reduction and boundary expansion argument] The gauge-reduction step and subsequent nonlinear estimates (the argument that follows the method of arXiv:2409.15460): the manuscript does not supply independent a-priori bounds showing that quadratic and higher interactions remain inside the function spaces required to preserve the claimed Fefferman–Graham-type expansion (smooth or log-smooth) at the conformal boundary. Without such control, both the stability statement and the 1-1 scattering correspondence rest on an unverified assumption.
minor comments (1)
  1. [Introduction] The abstract and introduction cite arXiv:2409.15460, Fefferman–Graham 1985, arXiv:0710.0919, arXiv:1705.09674 and arXiv:2311.02739; a short paragraph clarifying precisely which theorem from each reference is invoked for the final correspondence step would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment of its significance. We address the major comment on the gauge reduction and nonlinear estimates below, and we will revise the manuscript to make the relevant a-priori bounds fully explicit.

read point-by-point responses

  1. Referee: [gauge reduction and boundary expansion argument] The gauge-reduction step and subsequent nonlinear estimates (the argument that follows the method of arXiv:2409.15460): the manuscript does not supply independent a-priori bounds showing that quadratic and higher interactions remain inside the function spaces required to preserve the claimed Fefferman–Graham-type expansion (smooth or log-smooth) at the conformal boundary. Without such control, both the stability statement and the 1-1 scattering correspondence rest on an unverified assumption.

    Authors: We agree that an explicit statement of the a-priori bounds would strengthen the presentation. The nonlinear estimates are performed via a bootstrap argument in the same weighted function spaces used in arXiv:2409.15460. The gauge reduction produces a system of wave equations whose quadratic and higher-order source terms satisfy improved decay at the conformal boundary (faster than the critical rate for the Fefferman–Graham expansion). Smallness of the perturbation in these spaces then closes the estimates, ensuring that the solution remains inside the spaces that preserve smoothness (odd n) or log-smoothness (even n, when the obstruction tensor is nonzero). While this control is implicit in the bootstrap closure, we will add a dedicated subsection in the revision that isolates the a-priori bounds, shows their independence from the particular solution (depending only on the smallness parameter), and verifies that the interactions do not exit the required regularity class. This clarification will make the argument self-contained while leaving the results unchanged. revision: yes

Circularity Check

0 steps flagged

Minor reliance on prior method via similarity citation; central stability and correspondence claims remain independent of target result.

full rationale

The derivation invokes gauge freedom of the Einstein equations and follows the method of arXiv:2409.15460 to obtain the precise asymptotic expansion at the conformal boundary, then applies external results (Fefferman-Graham 1985 and listed arXiv preprints) to establish the 1-1 correspondence with scattering data. No equation or quantity is defined in terms of itself, no fitted parameter is relabeled as a prediction, and the cited prior work supplies an independent technique rather than a self-referential uniqueness theorem that forces the outcome. The proof is therefore self-contained against external benchmarks and does not reduce the claimed stability or bijection to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the Einstein vacuum equations with positive cosmological constant, the existence of a suitable gauge, and cited theorems on conformal invariants and Fefferman-Graham expansions. No free parameters or new postulated entities are introduced in the abstract.

axioms (2)
  • domain assumption Einstein vacuum equations with positive cosmological constant in n+1 dimensions, n>=3
    Stated as the setting for the stability result.
  • domain assumption Gauge freedom can be used to obtain a precise expansion at the conformal boundary
    Invoked to prove the expansion and smoothness properties.

pith-pipeline@v0.9.0 · 5504 in / 1358 out tokens · 38651 ms · 2026-05-07T15:24:06.720172+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    2024 , eprint=

    Stability of the expanding region of Kerr-de Sitter spacetimes and smoothness at the conformal boundary , author=. 2024 , eprint=

    work page 2024

  2. [2]

    Taylor , title =

    Michael E. Taylor , title =. 2023 , publisher =

    work page 2023

  3. [3]

    Saint Raymond, Xavier , TITLE =. Enseign. Math. (2) , FJOURNAL =. 1989 , NUMBER =

    work page 1989

  4. [4]

    The Cauchy problem in general relativity

    Ringstrom, Hans. The Cauchy problem in general relativity

    work page

  5. [5]

    Existence of metrics with prescribed Ricci curvature: Local theory

    DeTurck, Dennis M. Existence of metrics with prescribed Ricci curvature: Local theory. Invent. Math

    work page

  6. [6]

    1991 , issn =

    Einstein metrics with prescribed conformal infinity on the ball , journal =. 1991 , issn =. doi:https://doi.org/10.1016/0001-8708(91)90071-E , url =

    work page doi:10.1016/0001-8708(91)90071-e 1991

  7. [7]

    Evans , title =

    Lawrence C. Evans , title =

    work page

  8. [8]

    Existence and structure of past asymptotically simple solutions of Einstein's field equations with positive cosmological constant , journal =

    Helmut Friedrich , keywords =. Existence and structure of past asymptotically simple solutions of Einstein's field equations with positive cosmological constant , journal =. 1986 , issn =. doi:https://doi.org/10.1016/0393-0440(86)90004-5 , url =

    work page doi:10.1016/0393-0440(86)90004-5 1986

  9. [9]

    Future stability of the Einstein-non-linear scalar field system

    Ringstr \"o m, Hans. Future stability of the Einstein-non-linear scalar field system. Invent. Math

    work page

  10. [10]

    Robin Graham , title =

    Charles Fefferman and C. Robin Graham , title =. 1985 , pages =

    work page 1985

  11. [11]

    Robin Graham , title =

    Charles Fefferman and C. Robin Graham , title =

    work page

  12. [12]

    Asymptotically de Sitter metrics from scattering data in all dimensions

    Hintz, Peter. Asymptotically de Sitter metrics from scattering data in all dimensions. Philos. Trans. A Math. Phys. Eng. Sci

    work page

  13. [13]

    The asymptotically self-similar regime for the Einstein vacuum equations

    Rodnianski, Igor and Shlapentokh-Rothman, Yakov. The asymptotically self-similar regime for the Einstein vacuum equations. GAFA Geom. Funct. Anal

    work page

  14. [14]

    Transformation of boundary problems

    Melrose, Richard B. Transformation of boundary problems. Acta Math

    work page

  15. [15]

    Melrose and Gerardo Mendoza , title =

    Richard B. Melrose and Gerardo Mendoza , title =. 1983 , address =

    work page 1983

  16. [16]

    The Atiyah-Patodi-Singer Index Theorem

    Melrose, Richard. The Atiyah-Patodi-Singer Index Theorem

    work page

  17. [17]

    , year =

    Anderson, Michael T. , year =. Existence and Stability of Even-dimensional Asymptotically de Sitter Spaces , volume =. Annales Henri Poincaré , publisher =. doi:10.1007/s00023-005-0224-x , number =

    work page doi:10.1007/s00023-005-0224-x

  18. [18]

    On the existence ofn-geodesically complete or future complete solutions of Einstein’s field equations with smooth asymptotic structure , volume =

    Friedrich, Helmut , year =. On the existence ofn-geodesically complete or future complete solutions of Einstein’s field equations with smooth asymptotic structure , volume =. Communications in Mathematical Physics , publisher =. doi:10.1007/bf01205488 , number =

    work page doi:10.1007/bf01205488

  19. [19]

    On a conjecture of Fefferman and Graham , volume =

    Kichenassamy, Satyanad , year =. On a conjecture of Fefferman and Graham , volume =. Advances in Mathematics , publisher =. doi:10.1016/s0001-8708(03)00145-2 , number =

    work page doi:10.1016/s0001-8708(03)00145-2

  20. [20]

    , year =

    Rendall, Alan D. , year =. Asymptotics of Solutions of the Einstein Equations with Positive Cosmological Constant , volume =. Annales Henri Poincaré , publisher =. doi:10.1007/s00023-004-0189-1 , number =

    work page doi:10.1007/s00023-004-0189-1

  21. [21]

    The Global Nonlinear Stability of the Minkowski Space (PMS-41) , ISBN =

    Christodoulou, Demetrios and Klainerman, Sergiu , year =. The Global Nonlinear Stability of the Minkowski Space (PMS-41) , ISBN =. doi:10.1515/9781400863174 , publisher =

    work page doi:10.1515/9781400863174

  22. [22]

    Global aspects of the Cauchy problem in general relativity

    Choquet-Bruhat, Yvonne and Geroch, Robert , year=. Global aspects of the Cauchy problem in general relativity , volume=. Communications in Mathematical Physics , publisher=. doi:10.1007/bf01645389 , number=

    work page doi:10.1007/bf01645389

  23. [23]

    Choquet-Bruhat, Yvonne , journal=. Th. 1952 , publisher=

    work page 1952

  24. [24]

    2024 , eprint=

    Nonlinear Scattering Theory for Asymptotically de Sitter Vacuum Solutions in All Even Spatial Dimensions , author=. 2024 , eprint=

    work page 2024

  25. [25]

    The wave equation on asymptotically de Sitter-like spaces , journal =

    Andr. The wave equation on asymptotically de Sitter-like spaces , journal =. 2010 , doi =

    work page 2010

  26. [26]

    The ambient obstruction tensor and Q-curvature

    Graham, C Robin and Hirachi, Kengo. The ambient obstruction tensor and Q-curvature. IRMA Lectures in Mathematics and Theoretical Physics

    work page

  27. [27]

    Piotr T. Chru. Boundary regularity of conformally compact Einstein metrics , journal =. 2005 , doi =

    work page 2005