Black Holes and Compact Objects Beyond GR

Compact objects turn a gravitational theory into a coupled test of nonlinear existence, global boundary conditions, theorem hypotheses, thermodynamics, perturbative dynamics, and response. A metric profile that solves a truncated set of equations is only the beginning. This chapter develops a disciplined route from a declared action and branch to portable theory outputs, while keeping empirical likelihoods and present-day bounds outside its scope.

Helpful background. Einstein Equations supplies the reference branch; Gravitational Actions and Boundary Terms supplies a well-posed variational problem; Formulations of General Relativity supplies gauge, constraint, and hyperbolicity tools; Black-Hole Geometry and Mechanics supplies global horizon structure; and Black-Hole Perturbation Theory supplies spectral and response methods.

Enter the compact-object problem

A complete problem statement names the dynamical fields, gauge symmetries, physical matter metric, couplings and cutoff; selects a stationary, asymptotic, and topological sector; and gives every center, horizon, surface, junction, and asymptotic condition. The solution is then a point on a branch labeled by invariant parameters—not merely a curve produced by varying whichever shooting datum happened to be convenient.

Three distinctions organize the chapter. Existence is not regularity: a numerical root can conceal a singular horizon or failed asymptotics. Regularity is not stability: a smooth branch can carry a growing radial, polar, axial, or extra-field mode. Stability is not observation: a theory-side frequency, charge, or response coefficient still needs a source and instrument model before it can enter a likelihood.

Numerical construction should therefore expose the gauge condition, residual, boundary error, refinement behavior, and an independent limit. Dias, Santos, and Way develop elliptic gauges, Newton continuation, boundary data, and convergence tests for stationary gravitational solutions in Dias–Santos–Way 2016, §§ IV.B.2–VI.A, pp. 41–69 (PDF). Their methods are general, but each alternative theory still requires its own degree-of-freedom and principal-part analysis.

The six-stage route

Read the pages in order because each later claim depends on an earlier control:

1. Constructing Alternative-Theory Solution Branches formulates the nonlinear boundary-value problem, continues a branch from a controlled seed, and checks residuals, charges, domains, and the GR limit. Its executable scalar–Gauss–Bonnet decoupling example distinguishes horizon regularity from a fitted asymptotic charge.
2. No-Hair Theorems and Their Evasion turns a slogan into hypotheses, an integral identity, and a boundary-sign argument. It then diagnoses genuine evasions—curvature sourcing or synchronized time dependence—and false counterexamples that lose a regular horizon or required asymptotics.
3. Scalarized and Vectorized Compact Objects follows a zero mode through nonlinear saturation. Its reproducible spherical model checks the bifurcation against an exact onset and an independently integrated charge, then states what a full EOS-dependent scalar or constrained vector calculation must add.
4. Thermodynamics in Alternative Gravity derives the Noether current, Wald entropy, and first law from a covariant action. It fixes the binormal and horizon-generator normalization and separates stationary first-law results from nonstationary entropy and second-law questions.
5. Perturbative Stability and Strong-Field Viability tests a finite-difference spectrum against independent shooting and a free-box answer, then transfers the workflow to coupled non-GR sectors. Hyperbolicity, kinetic signs, domain placement, and the cutoff remain gates even when no growing mode is found.
6. Strong-Field Observables and Interpretation Boundaries extracts asymptotic charges, circular-orbit markers, tides, quasinormal modes, and absorption with explicit frame and boundary conventions. It ends where waveform, image, population, calibration, and likelihood modeling begin.

This sequence is not a maturity ranking. A theorem may rule out a proposed branch before computation; a zero mode may motivate a new branch; and a failed hyperbolicity check can send the analysis back to the action before any observable is meaningful.

Shared checks across black holes and stars

Black holes replace central and surface data by future-horizon regularity, whereas stars require a regular center, a material closure relation, a pressure-zero surface, and exterior matching. In both cases, preserve the same asymptotic sources while comparing branches and distinguish a conserved baryon mass from a gravitational mass. A scalar or vector charge may be secondary, primary, or fixed by regularity depending on the theory and boundary conditions.

The theorem page emphasizes why global assumptions matter. Classical uniqueness and no-hair results are conditional on dimensionality, stationarity, asymptotics, connectedness and regularity of the horizon, field inheritance, energy or sign conditions, and matter equations. Chruściel, Costa, and Heusler survey the precise stationary black-hole setting and the ways matter changes it in Chruściel–Costa–Heusler 2012, §§ 2–3.3 and 5, pp. 5–18 and 27–30 (PDF). Violating a hypothesis opens a logical possibility; it does not establish a regular stable solution.

Across all six pages, use the same stop rules. Reject a calculation whose constraint or boundary residual does not converge, whose charge changes under harmless extraction-radius shifts, whose solution crosses a singular or non-hyperbolic region, or whose correction is not parametrically below the effective cutoff. Qualify a result when only one perturbation sector, one EOS, one node number, or one exterior-field boundary choice has been tested.

Thermodynamics and dynamics answer different questions

The first law relates variations among nearby stationary solutions. For a bifurcate Killing horizon in a diffeomorphism-covariant theory, the entropy is a Noether charge, and its Einstein–Hilbert limit is $A/(4G)$. Iyer and Wald prove the underlying charge decomposition and first-law identity in Iyer–Wald 1994, § 4, pp. 10–12, and § 6, pp. 14–18 (PDF). This does not make entropy comparison a substitute for perturbative evolution. A branch with larger entropy at fixed conserved charges may still encounter a ghost, gradient instability, non-hyperbolic principal part, or unstable sector omitted from the comparison.

Conversely, a positive spectrum on one finite domain does not establish a thermodynamic ensemble or global phase preference. The two analyses share background, branch, and boundary data but answer logically distinct questions. Keeping them separate prevents a common overclaim: promoting a turning point or entropy ordering into a complete nonlinear stability theorem.

Predictions and connections to observations

The chapter’s portable outputs are invariant charges and sensitivities; horizon quantities and Wald entropy; branch, existence, and regularity domains; sector-qualified mode spectra; multipoles, tidal response coefficients, and absorption probabilities; and the approximation errors and cutoff attached to each. Each output must carry the theory frame, asymptotic convention, branch label, boundary condition, and units needed by the next calculation.

Empirical analyses belong in Tests of Gravity. They combine these outputs with binary dynamics, waveforms or radiative transfer, source populations, detector response, nuisance parameters, priors, and likelihoods. This separation does not weaken contact with observation; it makes clear which discrepancy comes from the gravitational theory and which comes from the inference pipeline.

Exercise: diagnose a proposed hairy branch

A numerical study reports a smooth scalarized black-hole curve and lower mass than the bald solution at the same horizon radius. Its field-equation residual decreases with resolution, but it holds neither asymptotic scalar value nor conserved charges fixed, tests only radial perturbations, and finds that the radial master equation changes type near the smallest holes. Which conclusions survive, and which pages supply the missing work?

Solution

The converging residual supports numerical existence of the reported solutions within the resolved domain. The mass comparison does not establish thermodynamic preference because the compared ensemble and asymptotic sources are not fixed; use the thermodynamics page to define canonical charges, potentials, and Wald entropy on a common branch. Radial mode results are sector-qualified and cannot establish full stability; use the stability page for axial, polar, extra-field, kinetic, and gradient sectors. Where the equation changes type, no ordinary mode-stability claim is justified until hyperbolicity is restored or the theory’s valid domain is restricted. The construction page should also verify horizon regularity, asymptotic charge extraction, branch labels, and cutoff control. Finally, the observables page may compute portable response quantities only on the surviving regular, hyperbolic portion; it cannot turn them into empirical bounds.

References

• Chruściel, Piotr T., João Lopes Costa, and Markus Heusler, “Stationary Black Holes: Uniqueness and Beyond,” Living Reviews in Relativity 15 (2012) 7. DOI; Open PDF.
• Dias, Óscar J. C., Jorge E. Santos, and Benson Way, “Numerical Methods for Finding Stationary Gravitational Solutions,” Classical and Quantum Gravity 33 (2016) 133001. DOI; Open PDF.
• Iyer, Vivek, and Robert M. Wald, “Some Properties of Noether Charge and a Proposal for Dynamical Black Hole Entropy,” Physical Review D 50 (1994) 846–864. DOI; Open PDF.

Dated Research assessment. For open questions and recent results, follow the link below. Each assessment states the date through which it considers results and the limits of its conclusions.

• Black-Hole Hair Beyond General Relativity