Scalar–Tensor Gravity

Scalar–tensor gravity adds one or more scalar degrees of freedom to the metric, but that short description conceals several distinct questions. Which metric does matter measure? Is the scalar genuinely dynamical? Can higher-derivative equations remain constrained? Which compact objects acquire charge, and how does cosmological boundary data enter their radiation? This chapter develops a single chain from action to local modes, nonlinear branches, black-hole boundary conditions, and portable theory predictions.

Helpful background. Einstein Equations provides the general-relativistic metric dynamics used as the reference branch; Gravitational Actions and Boundary Terms provides the complete variational problem for nonminimal couplings; Formulations of General Relativity provides the ADM, constraint, and initial-value language used to count modes; Gravity Beyond General Relativity provides the shared conventions and separates theory predictions from empirical tests.

Enter this chapter

A useful common starting point is the Jordan-frame action

$$S=\frac{1}{16\pi G_*}\int d^4x\sqrt{-g} \left[ F(\Phi)R-Z(\Phi)(\nabla\Phi)^2-2U(\Phi) \right] +S_m[g,\psi].$$

The displayed functions control three logically different structures: $F$ sets the effective spin-2 normalization, $Z$ contributes to the scalar kinetic term after mixing is removed, and $U$ sets masses and background evolution. Matter is minimally coupled to the displayed metric $g_{ab}$, so this is also the metric used by rods, clocks, and stress tensors. A conformal change of variables can simplify the gravitational kinetic terms, but it transforms the matter action and cannot erase that physical declaration. The scalar–tensor and Horndeski action classes used here are reviewed in Kobayashi 2019, §§ 2–4, equations (8)–(17) and (110).

The six pages follow the calculation in dependency order.

Page	Central question	Result carried forward
Brans–Dicke and General Scalar–Tensor Actions	How do stress trace, potential, and nonminimal coupling source the scalar?	Coupled metric–scalar equations, effective gravitational strength, and controlled GR limits.
Conformal Frames and Observable Quantities	Which statements survive a conformal field redefinition?	Transformation laws for masses, clocks, geodesics, stress tensors, and dimensionless observables with the matter metric retained.
Horndeski and Degenerate Higher-Order Theories	How can higher-order equations avoid an extra Ostrogradsky mode?	A null kinetic direction plus independent primary and secondary constraints; degeneracy is distinguished from stability.
Spontaneous and Dynamical Scalarization	When does the GR compact-star branch develop a scalar profile?	A zero-mode criterion, nonlinear branch logic, executable shooting benchmark, and convergence diagnostics.
Black-Hole Hair in Scalar–Tensor Gravity	Which precise hypothesis excludes or permits scalar hair?	A conserved-current no-hair proof and an explicit scalar–Gauss–Bonnet evasion of its factorization assumption.
Scalar Radiation and Cosmological Evolution	How do cosmological data become compact-body charges and fluxes?	Charge matching, dipole scaling, massive propagation threshold, comparison of results available at the stated date, and connections to observational tests.

The order prevents a common shortcut: beginning with a waveform correction before fixing the physical matter metric, the compact-object branch, or the propagating scalar. Such a correction may be algebraically correct and still refer to no consistent solution of the declared theory.

One scalar, three levels of description

At the field-theory level, the scalar equation in an Einstein-frame normalization is schematically

$$\Box_*\phi=-4\pi G_*\alpha(\phi)T_*+\frac{dV_{\mathrm{eff}}}{d\phi}.$$

The matter trace $T_*$ explains why relativistic radiation and nonrelativistic matter source the homogeneous field differently. It does not determine the response of a strongly gravitating star, because the star’s binding energy also depends on the asymptotic scalar.

At the compact-object level, this response is compressed into

$$\alpha_A =\left.\frac{\partial\ln m_A(\phi_\infty)} {\partial\phi_\infty}\right|_{N_A,S_A}.$$

The derivative must be taken along a specified stellar or black-hole solution branch. Near a scalarization threshold, the general-relativistic branch can lose stability and new finite-scalar branches can bifurcate. For a black hole, a conserved-current theorem may instead force a constant scalar—unless a curvature coupling, time-dependent boundary condition, nonanalytic interaction, or other ingredient violates an identified hypothesis.

At the binary level, unequal charges create a dipole contribution,

$$\mathcal F_{\phi}^{\mathrm{dip}} \propto(\alpha_A-\alpha_B)^2v^8,$$

while the general-relativistic tensor quadrupole begins at $v^{10}$. This simple scaling already shows why the theory calculation must carry both charges rather than a single weak-field coupling. It also shows an independent null check: the dipole vanishes when the charges coincide.

Constraints before phenomenology

Three health questions recur throughout the chapter.

1. Mode count. A nonminimal action mixes the scalar and metric. Count modes only after diagonalizing or performing a full constraint analysis. Higher-order equations are acceptable only when degeneracy and the secondary constraint actually remove the unwanted canonical pair.
2. Regular branch. A formal profile must satisfy center or horizon regularity, asymptotic data, and matching conditions. A divergent current norm or a change of kinetic rank is not a legitimate new branch.
3. Dynamical viability. Correct mode count does not prove positive kinetic energy, real sound speeds, hyperbolicity, or a useful strong-coupling scale. These tests must be performed on the background that supports the proposed compact object or cosmology.

The scalarization page makes this sequence concrete. Its constant-density zero-mode problem has an analytic threshold $kR=\pi/2$. A fixed-step shooting calculation refines the grid four times, compares against that independent value, and checks the surface boundary condition. Only after the linear threshold converges does nonlinear branch continuation become meaningful.

Conventions and scope

The chapter uses the global metric signature $(-,+,+,+)$, explicit $G$, and $c=\hbar=k_{\mathrm B}=1$. The kinetic variable is $X=-\nabla_a\phi\nabla^a\phi/2$ unless a page declares another normalization. Whenever a source uses a different curvature sign, scalar normalization, or conformal factor, its equations are translated together rather than term-by-term.

The chapter develops theory definitions, constraints, branches, charges, polarizations, fluxes, and validity domains. Detector response, source populations, likelihoods, systematics, and numerical bounds are evaluated in Tests of Gravity. This separation keeps an existence proof from being mistaken for observational viability and keeps a bound on one branch from being generalized to an entire theory family.

Choose a route

Build a scalar–tensor model. Start with the general action, then read the frame and degeneracy pages. Record the matter metric, invertibility domain, mode count, and cutoff before specializing to a background.

Study compact stars. Read the action page before scalarization. Derive the linear zero mode, verify center and surface conditions, then continue the nonlinear branch and compute its scalar charge.

Study black holes. Begin with the no-hair theorem and list every hypothesis. A proposed solution is informative only after naming the failed hypothesis and checking horizon regularity and perturbative viability.

Prepare a radiation prediction. Use the cosmological page to determine $(\phi_\infty,\dot\phi_\infty)$, match each compact-body charge on the correct branch, impose any scalar-mass threshold, and export the result with its normalization and validity range.

Review the chapter

A paper conformally rewrites a scalar–tensor action, finds a neutron-star scalar profile, pairs the star with a black hole, and claims leading dipole radiation. Give the minimum checks needed to make that conclusion portable.

Solution

First specify the original matter metric and transform the entire matter action, masses, clocks, stress tensor, sources, and boundary data together with the gravitational fields. Verify that the conformal map is finite and invertible over the stellar exterior and the binary’s cosmological background. A frame-dependent scalar component is not itself an observable; the final orbital and radiative quantities must be dimensionless or referred to the physical clocks and masses.

Next establish the propagating content on the selected background. If the action is higher derivative, verify a constant-rank kinetic degeneracy and the independent primary and secondary constraints. Then test kinetic and gradient signs, hyperbolicity, and the cutoff instead of inferring health from mode count alone.

For the star, solve the regular-center and surface-matching problem on a named branch, locate any scalarization zero mode, and compute $\alpha_A=\partial\ln m_A/\partial\phi_\infty$ while holding baryon number and entropy fixed. For the black hole, decide whether the boundary data are stationary and asymptotically constant. A current-based no-hair theorem may give $\alpha_B=0$ on that branch; a curvature coupling or slowly changing $\phi_\infty$ requires a new calculation rather than the same assignment.

Finally verify that the radiative scalar is light enough that $\omega^2\gt m_s^2$ over the stated frequency range and that $\alpha_A-\alpha_B\ne0$. Only then does the leading scaling $\mathcal F_\phi^{\mathrm{dip}}\propto (\alpha_A-\alpha_B)^2v^8$ describe flux at infinity. Export both charges, scalar normalization, branch, boundary data, polarization, frequency range, and cutoff; leave likelihoods and empirical bounds to the dedicated testing volume.

References

• Damour, Thibault, and Gilles Esposito-Farèse (1996), “Tensor-Scalar Gravity and Binary-Pulsar Experiments,” Physical Review D 54, 1474–1491. DOI; Open PDF.
• Doneva, Daniela D., Fethi M. Ramazanoğlu, Hector O. Silva, Thomas P. Sotiriou, and Stoytcho S. Yazadjiev (2024), “Spontaneous Scalarization,” Reviews of Modern Physics 96, 015004. DOI; Open PDF.
• Kobayashi, Tsutomu (2019), “Horndeski Theory and Beyond: A Review,” Reports on Progress in Physics 82, 086901. DOI; Open PDF.
• Sotiriou, Thomas P., and Shuang-Yong Zhou (2014), “Black Hole Hair in Generalized Scalar-Tensor Gravity: An Explicit Example,” Physical Review D 90, 124063. DOI; Open PDF.