Boson Stars and Exotic Compact Objects

Horizonless compact objects are useful only when four questions remain separate: does a regular equilibrium exist, is it stable, can it form with appreciable abundance, and can observations distinguish it from a black hole? This chapter applies that sequence to bosonic fields, junction-supported objects, and ultracompact geometries. It treats exotic stress and boundary conditions as physical assumptions and resists turning a shared exterior or light ring into a universal viability claim.

Required background. The Einstein equations supply every coupled geometry and matter model in the chapter.

Helpful background. Stress–Energy and Conservation supplies charges, junction budgets, and energy conditions; Relativistic Matter and Compact Objects supplies equilibrium comparisons; Black-Hole Geometry supplies horizons and photon orbits; and Computational Relativity supplies spectral and nonlinear validation.

Route through the chapter

Read the six pages in order because each adds a stronger viability test.

1. Scalar Boson Stars constructs complex-scalar equilibrium families from regularity, localization, asymptotic flatness, and Noether charge.
2. Oscillatons and Proca Stars contrasts a real-scalar object with time-dependent stress against a complex vector star with stationary stress and conserved charge.
3. Stability and Formation of Bosonic Stars separates turning points, perturbation modes, nonlinear fate, gravitational cooling, mergers, and astrophysical production.
4. Gravastars, Wormholes, and Thin-Shell Objects exposes junction stress, topology, energy conditions, and radial response.
5. Ultracompact Objects and Light Rings distinguishes geodesic trapping, long-lived waves, ergoregion growth, echoes, and nonlinear conjectures.
6. Discriminating Exotic Objects from Black Holes combines multipoles, tides, absorption, ringdown, imaging, accretion, and population priors using versioned data.

The progression matters. A field ansatz can establish existence without stability. A stable branch can lack a formation channel. A produced population can remain observationally degenerate with black holes.

Fields, charge, and localization

For a canonical complex scalar,

$$S=\int d^4x\sqrt{-g}\left[ \frac{R}{16\pi G} -\nabla_\mu\Phi^*\nabla^\mu\Phi -V(|\Phi|^2)\right].$$

The ansatz $\Phi=\phi(r)e^{-i\omega t}$ has stationary stress–energy even though the field oscillates. Regular center data and decay at infinity define an eigenvalue problem; a bound solution has $0\lt\omega\lt\mu$. Its leading exponential decay rate is $\sqrt{\mu^2-\omega^2}$; the flat far-field approximation gives $\phi\propto e^{-\sqrt{\mu^2-\omega^2}r}/r$, with gravitational corrections to the power-law prefactor. A global phase symmetry gives Noether charge, and the mini-star mass scale follows from dimensions: $M\sim1/(G\mu)$.

A real scalar has no phase charge and its quadratic stress oscillates at even harmonics; an oscillaton is long lived rather than exactly static. A complex Proca field again has stationary stress and charge but must satisfy the Proca constraint. Liebling and Palenzuela compare these constructions, their boundaries, and their dynamics in Liebling and Palenzuela 2023, §§ 2.4, 3.4, 3.8 and 4.1. Scalar results cannot be transferred to vector, rotating, excited, or self-interacting branches without a new spectrum and evolution.

Shells and light rings require hypotheses

Joining two geometries across a timelike shell produces a physical surface stress,

$$8\pi G S_{ab} =-\left([K_{ab}]-h_{ab}[K]\right),$$

after one normal and extrinsic-curvature convention are fixed. Gravastars, thin-shell stars, and cut-and-paste wormholes use different interiors, orientations, topology, equations of state, and energy conditions. Static balance needs a surface response law before it becomes a stability result.

For a spherical metric, circular null orbits are extrema of $U(r)=A(r)/r^2$. A maximum is unstable and a minimum is stable under radial geodesic perturbations. Cunha, Berti, and Herdeiro show a paired-light-ring result for smooth stationary axisymmetric circular horizonless objects under explicit topology and nondegeneracy assumptions. Identifying a paired extremum as stable also uses the Einstein equations and the null energy condition, as explained in Cunha, Berti, and Herdeiro 2017, preprint pp. 2–4, Eqs. (9) and (13)–(23), PDF. Stable trapping can imply slow wave decay; it does not by itself supply a positive growth rate or an astrophysical exclusion time.

From model prediction to data

Candidate discriminants include exterior multipoles, static and dynamical tides, absorption, ringdown frequencies, delayed responses, photon-region images, surface emission, and population structure. Each carries nuisance physics. Echoes require a boundary response and cavity; a brightness depression requires an accretion and calibration model; absent surface radiation requires an accretion-power and emissivity argument.

Cardoso and Pani organize these black-hole and horizonless degeneracies in Cardoso and Pani 2019, §§3–7 and model-comparison tables. A meaningful comparison pins strain, image, timing, or spectrum releases; instrument calibration; selections; likelihood and priors; population selection; and waveform or emission systematics. Event catalogs do not replace event-level data, and Bayes factors do not include population prior odds.

Conventions and recurring checks

The chapter uses $(-,+,+,+)$, explicit $G$, and $c=\hbar=k_B=1$. Field masses and frequencies have dimension $L^{-1}$; $GM/R$ is dimensionless. Recurring checks include regular center or axis series, exponential tails, Noether charge and ADM mass, virial identities, constraints and boundary fluxes, perturbation spectra, nonlinear evolution, junction conservation, bulk and surface energy conditions, both light-ring stabilities, and timescale comparison.

No one check substitutes for the next. A converged stationary solver does not validate a turning-point heuristic; a radial mode does not exclude a nonaxisymmetric instability; a long-lived evolution does not determine formation abundance; and a fitted image or ringdown does not prove a horizon.

Review the chapter

A newly proposed object has a regular asymptotically flat stationary solution and a mass maximum along one equilibrium sequence. No perturbation modes, nonlinear evolutions, or formation survey have been computed. Which of the four viability questions have been answered?

Solution

Only existence has been established for the stated ansatz and boundary conditions. The mass maximum is a candidate turning point if the constrained family satisfies the needed assumptions; it is not a perturbation spectrum. Linear stability requires mode calculations, nonlinear survival requires evolution with conserved budgets, and formation requires an open initial-data survey and an abundance model. Observational discrimination then needs a versioned data likelihood and population prior. None of those conclusions follows from the stationary mass curve alone.

References

• Cardoso, Vitor, and Paolo Pani. “Testing the Nature of Dark Compact Objects: A Status Report.” Living Reviews in Relativity 22 (2019): 4. DOI.
• Cunha, Pedro V. P., Emanuele Berti, and Carlos A. R. Herdeiro. “Light-Ring Stability for Ultracompact Objects.” Physical Review Letters 119 (2017): 251102. arXiv.
• Liebling, Steven L., and Carlos Palenzuela. “Dynamical Boson Stars.” Living Reviews in Relativity 26 (2023): 1. DOI.