pith. sign in

arxiv: 2606.27658 · v1 · pith:5W5IM4XBnew · submitted 2026-06-26 · 🧮 math.AP · gr-qc

Constraint damping on subextremal Kerr spacetimes

Peter Hintz This is my paper

Pith reviewed 2026-06-29 04:27 UTC · model grok-4.3

classification 🧮 math.AP gr-qc
keywords constraint dampingsubextremal KerrEinstein equationshyperbolic formulationgauge fixinglinearizationblack hole stability
0
0 comments X

The pith

An enhanced constraint damping term works for the linearized Einstein equations around any subextremal Kerr black hole.

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

The paper establishes that an enhanced form of constraint damping can be added to hyperbolic formulations of the Einstein equations linearized around subextremal Kerr metrics. Constraint damping suppresses violations of the gauge condition and the constraint equations during evolution. This property has already been used in numerical simulations and in linear and nonlinear stability arguments for various spacetimes. The construction supplies a required piece for the nonlinear stability proof of the full subextremal Kerr family.

Core claim

We show that an enhanced form of constraint damping can be implemented for the linearization of the Einstein equations around any subextremal Kerr black hole metric. The results proved here are a key ingredient in the author's proof of the nonlinear stability of the subextremal Kerr family.

What carries the argument

The enhanced constraint damping term, constructed via gauge fixing so that its coefficients remain controllable on the subextremal Kerr background.

If this is right

  • Constraint violations decay exponentially in the linearized evolution on any subextremal Kerr background.
  • The damping coefficients remain bounded uniformly for all angular momenta strictly below the extremal limit.
  • The linearized system satisfies the conditions needed to close a nonlinear stability argument for the Kerr family.
  • The same gauge and damping construction applies to every subextremal Kerr spacetime without additional restrictions on the spin.

Where Pith is reading between the lines

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

  • The method may adapt to other stationary black-hole backgrounds once a suitable gauge is identified.
  • Numerical codes that evolve near-extremal Kerr could incorporate the same damping to reduce constraint drift.
  • The construction supplies a template for adding damping at higher orders in perturbation theory.

Load-bearing premise

The chosen gauge fixing produces a hyperbolic system in which an enhanced damping term can be added while keeping its coefficients controllable on every subextremal Kerr metric.

What would settle it

An explicit calculation of the damping coefficients on a sequence of Kerr metrics whose angular momentum approaches the extremal value, checking whether they stay bounded and the damping remains effective.

Figures

Figures reproduced from arXiv: 2606.27658 by Peter Hintz.

Figure 1.1
Figure 1.1. Figure 1.1: The compactified Kerr spacetime manifold (here only the subset where t ≥ 0, and projected to the (t, r)-plane) and some local coordinates. The boundary r = m is a spacelike hypersurface inside of the black hole. The flow of the vector field −c ♯ is indicated in green, and its critical sets are indicated as thick dots. {r = r0, t = ∞} for a large radius r0, and −c ♯ is essentially given by ∂t + ( r r0 − 1… view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: A cross section of M for a fixed value of the angular coordinate ω ∈ S 2 . The starting points of the arrows labeled ρK lie in the hypersurface K+ where ρK vanishes; similarly for arrows labeled ρsf. 8That is, ρK ≥ 0, K+ = ρ −1 K (0), and dρK ̸= 0 on K+; similarly for ρsf and sf [PITH_FULL_IMAGE:figures/full_fig_p012_2_1.png] view at source ↗
Figure 2.2
Figure 2.2. Figure 2.2: The domain Ω inside of the compactified spacetime manifold M. 2.2. 3b-structures and geometric differential operators. We record some general observations regarding geometric operators related to 3sc-metrics on M or M0, such as the Kerr metric gm,a or the Minkowski metric ¯ g. The first step is to understand the behavior of the basic (3-body-)scattering vector fields on M. Near K+ and using the coordinat… view at source ↗
Figure 2.3
Figure 2.3. Figure 2.3: Some unit cells U (1) j (blue) and U (2) ±1,jk (red) defined in (2.20)–(2.21), shown here in 2 (instead of 4) dimensions. On the left: in Rt,x1 (dropping the x 2 , x3 coordinates). On the right: in M0, or more accurately the blow-up of R2 at its north and south poles. on (−2, 2)4 ; concretely, writing points in (−2, 2)4 as (T, X) (for the sets (2.20)) and (T, X1 , Ω 2 , Ω 3 ) (for the sets (2.21)), we ha… view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: The vector field Vv, shown here in a coordinate patch [0, 1)ρsf × [0, 1)ρK × S 2 without the S 2 -factor. The two critical sets ∂K+ and Rv are marked as thick dots. As a rough heuristic, the operator Lcv,e,h := L ¯ g,cv,e,h, for 0 < e ≪ 1, can be regarded as the operator ℓcv,e(hD) + ihScv,e = ih(−ℓcv,e(∇) + Scv,e) where ℓcv,e = ℓ ¯ g,cv,e and Scv,e := S ¯ g,cv,e are given in Lemmas 3.2 and 3.9, and −ℓcv,… view at source ↗
Figure 5.1
Figure 5.1. Figure 5.1: On the left: illustration of the estimate (5.33). The arrows indicate the vector field −c ♯ along which, roughly speaking (cf. Remark 3.4), we propagate control near the zero section o ⊂ 3bT ∗M. On the right: illustration of the esti￾mate (5.34). The arrows now indicate the past timelike vector field c ♯ along which, roughly speaking, we now propagate. Proof of Proposition 5.8. • Part (1). Since at finit… view at source ↗
Figure 5.2
Figure 5.2. Figure 5.2: B0 E −rc ♯ ρsf ρK sf 3 2 δ ′ r 2δ ′ r 5 4 δr 3 2 δr 2δr B0 E rc ♯ ρsf ρK sf 3 2 δ ′ r 2δ ′ r 5 4 δr 3 2 δr 2δr [PITH_FULL_IMAGE:figures/full_fig_p051_5_2.png] view at source ↗
Figure 5.3
Figure 5.3. Figure 5.3: Setup of the forward propagation estimate (5.55). Control from the set labeled E propagates into the region labeled B0. The flow of the vector field −rc ♯ is indicated by green arrows. For the backward propagation estimate (5.56), we get free control on the set labeled B0, without the need for any a priori control region. we further require (−χsfχ ′ sf) 1 2 ∈ C∞, and (∓χRχ ′ R) 1 2 ∈ C∞ for ±r ≥ 0. The p… view at source ↗
Figure 5.4
Figure 5.4. Figure 5.4: On the left: illustration of the forward propagation estimate (5.58). Control from the elliptic set of E can be propagated towards r = m, giving control on the elliptic set of B0 (here taken to go up to r = r3). The flow of −c ♯ is indicated by green arrows. On the right: illustration of the backward propagation estimate (5.59) [PITH_FULL_IMAGE:figures/full_fig_p055_5_4.png] view at source ↗
read the original abstract

In the context of hyperbolic formulations of Einstein's field equations obtained via gauge fixing, constraint damping is a desirable feature that ensures that violations of the gauge condition and thus of the constraint equations are suppressed in evolution. Besides its utility in numerical relativity, it has played a key role in several (linear and nonlinear) stability proofs of spacetimes as solutions of the Einstein equations. In this paper, we show that an enhanced form of constraint damping can be implemented for the linearization of the Einstein equations around any subextremal Kerr black hole metric. The results proved here are a key ingredient in the author's proof of the nonlinear stability of the subextremal Kerr family.

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 / 2 minor

Summary. The manuscript shows that an enhanced form of constraint damping can be implemented for the linearization of the Einstein equations around any subextremal Kerr black hole metric. The hyperbolic formulation is obtained via a gauge fixing that permits construction of an enhanced damping term whose coefficients remain controllable on the subextremal Kerr background. The result is presented as a key ingredient in the nonlinear stability proof of the subextremal Kerr family.

Significance. If the result holds, the construction supplies a load-bearing technical tool for stability proofs in mathematical general relativity by extending constraint damping to the Kerr case with controllable coefficients. The paper delivers a concrete implementation rather than a redefinition of prior quantities, which strengthens its utility for both linear and nonlinear applications.

minor comments (2)
  1. [Abstract] The abstract states the main result clearly but does not indicate the specific gauge choice or the form of the damping term; a one-sentence pointer to the construction in §2 would improve readability.
  2. [§1] Notation for the linearized operator and the damping coefficients is introduced without an explicit comparison table to the Schwarzschild or Minkowski cases; adding such a table would clarify the enhancement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive assessment of the manuscript. The report recommends minor revision but does not list any specific major comments. We are happy to incorporate any minor editorial suggestions in a revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper claims to construct an enhanced constraint damping term for the linearized Einstein equations on subextremal Kerr via a suitable gauge-fixed hyperbolic formulation. No equations, fitted parameters, or self-citations are exhibited in the abstract or claims that reduce any prediction or result to its own inputs by construction. The forward reference to the author's separate nonlinear stability proof is not load-bearing within this paper's derivation chain. The result is presented as a new implementation rather than a renaming or self-definition of prior quantities.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review performed on abstract only; the ledger is therefore minimal and provisional.

axioms (1)
  • domain assumption Hyperbolic formulations of Einstein's field equations obtained via gauge fixing admit constraint damping
    Invoked in the opening sentence of the abstract as the setting in which the result is proved.

pith-pipeline@v0.9.1-grok · 5628 in / 1125 out tokens · 33799 ms · 2026-06-29T04:27:31.449118+00:00 · methodology

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

29 extracted references · 21 canonical work pages · 1 internal anchor

  1. [1]

    Late-time tails and mode coupling of linear waves on Kerr spacetimes.Advances in Mathematics, 417:108939, 2023.doi:https://doi.org/10.1016/ j.aim.2023.108939

    [AAG23] Yannis Angelopoulos, Stefanos Aretakis, and Dejan Gajic. Late-time tails and mode coupling of linear waves on Kerr spacetimes.Advances in Mathematics, 417:108939, 2023.doi:https://doi.org/10.1016/ j.aim.2023.108939. [AHW24] Lars Andersson, Dietrich H¨ afner, and Bernard F. Whiting. Mode analysis for the linearized Einstein equations on the Kerr me...

    arXiv 2023

  2. [2]

    [BFHR99] Othmar Brodbeck, Simonetta Frittelli, Peter H¨ ubner, and Oscar A. Reula. Einstein’s equations with asymptotically stable constraint propagation.J. Math. Phys., 40(2):909–923, 1999.doi:10.1063/1. 532694. [BH08] Jean-Fran¸ cois Bony and Dietrich H¨ afner. Decay and non-decay of the local energy for the wave equation on the de Sitter–Schwarzschild ...

    work page doi:10.1063/1 1999

  3. [3]

    [BL67] Robert H

    doi:10.1007/s00220-008-0553-y. [BL67] Robert H. Boyer and Richard W. Lindquist. Maximal analytic extension of the Kerr metric.J. Mathe- matical Phys., 8:265–281, 1967.doi:10.1063/1.1705193. [BVW15] Dean Baskin, Andr´ as Vasy, and Jared Wunsch. Asymptotics of radiation fields in asymptotically Min- kowski space.Amer. J. Math., 137(5):1293–1364, 2015.doi:10...

    work page doi:10.1007/s00220-008-0553-y 1967

  4. [4]

    The nonlinear stability of the Schwarzschild solution to gravitational perturbations.Preprint, arXiv:2104.08222,

    [DHRT21] Mihalis Dafermos, Gustav Holzegel, Igor Rodnianski, and Martin Taylor. The nonlinear stability of the Schwarzschild solution to gravitational perturbations.Preprint, arXiv:2104.08222,

    arXiv

  5. [5]

    [Dya11a] Exponential energy decay for Kerr–de Sitter black holes beyond event horizons.Math. Res. Lett., 18(5):1023–1035, 2011.doi:10.4310/MRL.2011.v18.n5.a19. [Dya11b] Semyon Dyatlov. Quasi-normal modes and exponential energy decay for the Kerr-de Sitter black hole. Comm. Math. Phys., 306(1):119–163, 2011.doi:10.1007/s00220-011-1286-x. [Dya12] Semyon Dya...

    work page doi:10.4310/mrl.2011.v18.n5.a19 2011

  6. [6]

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

    [Fri86] Helmut Friedrich. On the existence ofn-geodesically complete or future complete solutions of Einstein’s field equations with smooth asymptotic structure.Comm. Math. Phys., 107(4):587–609, 1986.doi: 10.1007/BF01205488. [Gan14] Oran Gannot. Quasinormal modes for Schwarzschild–AdS black holes: exponential convergence to the real axis.Communications i...

    work page doi:10.1007/bf01205488 1986

  7. [7]

    Resolvent at low energy and Riesz transform for Schr¨ odinger operators on asymptotically conic manifolds

    [GH08] Colin Guillarmou and Andrew Hassell. Resolvent at low energy and Riesz transform for Schr¨ odinger operators on asymptotically conic manifolds. I.Math. Ann., 341(4):859–896, 2008.doi:10.1007/ s00208-008-0216-5. [GKS24] Elena Giorgi, Sergiu Klainerman, and J´ er´ emie Szeftel. Wave equations estimates and the nonlinear stability of slowly rotating K...

    work page doi:10.1088/0264-9381/22/17/025 2008

  8. [8]

    Resonance expansions for tensor-valued waves on asymptotically Kerr–de Sitter spaces.J

    [Hin17] Peter Hintz. Resonance expansions for tensor-valued waves on asymptotically Kerr–de Sitter spaces.J. Spectr. Theory, 7:519–557, 2017.doi:10.4171/JST/171. [Hin18] Peter Hintz. Non-linear Stability of the Kerr–Newman–de Sitter Family of Charged Black Holes.Annals of PDE, 4(1):11, Apr 2018.doi:10.1007/s40818-018-0047-y. [Hin22] Peter Hintz. A sharp v...

    work page doi:10.4171/jst/171 2017

  9. [9]

    Linear waves on non-stationary asymptotically flat spacetimes

    [Hin23c] Peter Hintz. Linear waves on non-stationary asymptotically flat spacetimes. I.Preprint, arXiv:2302.14647,

    arXiv

  10. [10]

    Microlocal analysis of operators with asymptotic translation- and dilation-invariances

    [Hin23d] Peter Hintz. Microlocal analysis of operators with asymptotic translation- and dilation-invariances. Preprint, arXiv:2302.13803,

    arXiv

  11. [11]

    Gluing small black holes along timelike geodesics III: construction of true solutions and extreme mass ratio mergers.Preprint, arXiv:2408.06715,

    [Hin24a] Peter Hintz. Gluing small black holes along timelike geodesics III: construction of true solutions and extreme mass ratio mergers.Preprint, arXiv:2408.06715,

    arXiv

  12. [12]

    Local theory of wave equations with timelike curves of conic singularities.Preprint, arXiv:2405.10669,

    [Hin24b] Peter Hintz. Local theory of wave equations with timelike curves of conic singularities.Preprint, arXiv:2405.10669,

    arXiv

  13. [13]

    [Hin25b] Peter Hintz

    Springer- Verlag, Cham, 2025.doi:10.1007/978-3-031-90706-7. [Hin25b] Peter Hintz. Mode stability and shallow quasinormal modes of Kerr–de Sitter black holes away from extremality.J. Eur. Math. Soc. (JEMS), 27(12):4891–4996, 2025.doi:10.4171/jems/1463. [Hin26a] Peter Hintz. (Non-)linear waves on asymptotically flat spacetimes. II: trapping, bound states, n...

    work page doi:10.1007/978-3-031-90706-7 2025

  14. [14]

    Pseudodifferential operators on manifolds with scaled bounded geometry.Commun

    [Hin26c] Peter Hintz. Pseudodifferential operators on manifolds with scaled bounded geometry.Commun. Am. Math. Soc., 6:153–243, 2026.doi:10.1090/cams/58. [H¨ or71] Lars H¨ ormander. On the existence and the regularity of solutions of linear pseudodifferential equations. Enseignement Math., 2(17):99–163,

    work page doi:10.1090/cams/58 2026

  15. [15]

    Conditional non-linear stability of Kerr–de Sitter space- times: the full subextremal range.Preprint, arXiv:2508.06620,

    [HPV25] Peter Hintz, Oliver Petersen, and Andr´ as Vasy. Conditional non-linear stability of Kerr–de Sitter space- times: the full subextremal range.Preprint, arXiv:2508.06620,

    arXiv

  16. [16]

    Semilinear wave equations on asymptotically de Sitter, Kerr–de Sitter and Minkowski spacetimes.Anal

    [HV15] Peter Hintz and Andr´ as Vasy. Semilinear wave equations on asymptotically de Sitter, Kerr–de Sitter and Minkowski spacetimes.Anal. PDE, 8(8):1807–1890, 2015.doi:10.2140/apde.2015.8.1807. [HV18] Peter Hintz and Andr´ as Vasy. The global non-linear stability of the Kerr–de Sitter family of black holes. Acta mathematica, 220:1–206, 2018.doi:10.4310/a...

    work page doi:10.2140/apde.2015.8.1807 2015

  17. [17]

    Microlocal analysis near null infinity in asymptotically flat spacetimes

    [HV26] Peter Hintz and Andr´ as Vasy. Microlocal analysis near null infinity in asymptotically flat spacetimes. Anal. PDE, 19(1):1–106, 2026.doi:10.2140/apde.2026.19.1. [HX22] Peter Hintz and YuQing Xie. Quasinormal modes of small Schwarzschild–de Sitter black holes.Journal of Mathematical Physics, 63(1):011509, 2022.doi:10.1063/5.0062985. [HZ24] Michael ...

    work page doi:10.2140/apde.2026.19.1 2026

  18. [18]

    The weak null condition and global existence using the p-weighted energy method

    [Ian17] Alexei Iantchenko. Quasi-normal modes for de Sitter-Reissner-Nordstr¨ om Black Holes.Math. Res. Lett., 24:83–117, 2017.doi:10.4310/MRL.2017.v24.n1.a5. [Ian18] Alexei Iantchenko. Quasi-normal modes for Dirac fields in the Kerr-Newman-de Sitter black holes.Anal. Appl. , Singap., 16(4):449–524, 2018.doi:10.1142/S0219530518500057. [Kei18] Joseph Keir....

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/mrl.2017.v24.n1.a5 2017

  19. [19]

    [Ker63] Roy P. Kerr. Gravitational field of a spinning mass as an example of algebraically special metrics.Phys. Rev. Lett., 11:237–238, 1963.doi:10.1103/PhysRevLett.11.237. [KI03] Hideo Kodama and Akihiro Ishibashi. A master equation for gravitational perturbations of maximally symmetric black holes in higher dimensions.Progress of Theoretical Physics, 1...

    work page doi:10.1103/physrevlett.11.237 1963

  20. [20]

    Princeton University Press, Princeton, NJ, 2021.doi:10.1515/9780691218526

    [KS21] Sergiu Klainerman and J´ er´ emie Szeftel.Global Nonlinear Stability of Schwarzschild Spacetime under Polarized Perturbations, volume 210 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2021.doi:10.1515/9780691218526. [KS23] Sergiu Klainerman and J´ er´ emie Szeftel. Kerr stability for small angular momentum.Pure Appl. M...

    work page doi:10.1515/9780691218526 2021

  21. [21]

    [Maz91] Rafe R. Mazzeo. Elliptic theory of differential edge operators I.Communications in Partial Differential Equations, 16(10):1615–1664, 1991.doi:10.1080/03605309108820815. [Mel93] Richard B. Melrose.The Atiyah-Patodi-Singer index theorem, volume 4 ofResearch Notes in Mathe- matics. A K Peters, Ltd., Wellesley, MA, 1993.doi:10.1016/0377-0257(93)80040-...

    work page doi:10.1080/03605309108820815 1991

  22. [22]

    Melrose and Antˆ onio S´ a Barreto

    [MSB] Richard B. Melrose and Antˆ onio S´ a Barreto. Zero energy limit for scattering manifolds.unpublished note. [MSBV14] Richard Melrose, Antˆ onio S´ a Barreto, and Andr´ as Vasy. Asymptotics of solutions of the wave equation on de Sitter-Schwarzschild space.Comm. Partial Differential Equations, 39(3):512–529, 2014.doi: 10.1080/03605302.2013.866958. [P...

    work page doi:10.1080/03605302.2013.866958 2014

  23. [23]

    Wave equations in the Kerr–de Sitter spacetime: the full subextremal range.Preprint, arXiv:2112.0135,

    [PV21] Oliver Lindblad Petersen and Andr´ as Vasy. Wave equations in the Kerr–de Sitter spacetime: the full subextremal range.Preprint, arXiv:2112.0135,

    arXiv

  24. [24]

    [Rin08] Hans Ringstr¨ om

    URL:https://arxiv.org/abs/2112.0135. [Rin08] Hans Ringstr¨ om. Future stability of the Einstein–non-linear scalar field system.Inventiones mathemat- icae, 173(1):123–208, 2008.doi:10.1007/s00222-008-0117-y. [RW57] Tullio Regge and John A. Wheeler. Stability of a Schwarzschild Singularity.Phys. Rev., 108:1063–1069, Nov

    work page doi:10.1007/s00222-008-0117-y 2008

  25. [25]

    [Shu92] M

    URL:https://dx.doi.org/10.4310/MRL.1997.v4.n1.a10. [Shu92] M. A. Shubin. Spectral theory of elliptic operators on noncompact manifolds.Ast´ erisque, (207):5, 35– 108,

    work page doi:10.4310/mrl.1997.v4.n1.a10 1997

  26. [26]

    1 (Nantes, 1991)

    M´ ethodes semi-classiques, Vol. 1 (Nantes, 1991). [SR15] Yakov Shlapentokh-Rothman. Quantitative mode stability for the wave equation on the Kerr spacetime. Ann. Henri Poincar´ e, 16(1):289–345, 2015.doi:10.1007/s00023-014-0315-7. [Sus24] Ethan Sussman. Complete asymptotic analysis of low energy scattering for Schr¨ odinger operators with a short-range p...

    work page doi:10.1007/s00023-014-0315-7 1991

  27. [27]

    Microlocal analysis of asymptotically hyperbolic and Kerr–de Sitter spaces (with an appendix by Semyon Dyatlov).Invent

    [Vas13] Andr´ as Vasy. Microlocal analysis of asymptotically hyperbolic and Kerr–de Sitter spaces (with an appendix by Semyon Dyatlov).Invent. Math., 194(2):381–513, 2013.doi:10.1007/s00222-012-0446-8. 100 PETER HINTZ [Vas18] Andr´ as Vasy. A minicourse on microlocal analysis for wave propagation. InAsymptotic analysis in general relativity, volume 443 of...

    work page doi:10.1007/s00222-012-0446-8 2013

  28. [28]

    [Vas21a] Andr´ as Vasy. Limiting absorption principle on Riemannian scattering (asymptotically conic) spaces, a Lagrangian approach.Communications in Partial Differential Equations, 46(5):780–822, 2021.doi: 10.1080/03605302.2020.1857400. [Vas21b] Andr´ as Vasy. Resolvent near zero energy on Riemannian scattering (asymptotically conic) spaces.Pure and Appl...

    work page doi:10.1080/03605302.2020.1857400 2021

  29. [29]

    [War15] Claude M. Warnick. On quasinormal modes of asymptotically anti-de Sitter black holes.Communica- tions in Mathematical Physics, 333(2):959–1035, 2015.doi:10.1007/s00220-014-2171-1. [Whi89] Bernard F. Whiting. Mode stability of the Kerr black hole.Journal of Mathematical Physics, 30(6):1301– 1305,

    work page doi:10.1007/s00220-014-2171-1 2015