Skip to content

Scalar-Supported Exact Spacetimes

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Scalar fields support exact static geometries in ways that perfect fluids do not. A minimally coupled massless scalar can turn the would-be Schwarzschild horizon into a naked curvature singularity; a conformally coupled scalar can leave a familiar black-hole metric while the scalar itself diverges on a horizon; a tuned self-interaction can add cosmological horizons. The metric, scalar action, field profile, and domain must therefore be checked together.

Required background. Hilbert Stress–Energy from Metric Variation supplies stress tensors for metric-coupled fields.

Helpful background. The Einstein Equation fixes the gravitational equations; The Riemann Curvature Tensor supplies invariant singularity tests; Exact Solutions of Einstein’s Equations places these families; GR Formulations develops their initial-value setting; and Continuum Kinematics and Balance Laws provides a comparison with material sources.

This page uses geometrized units G=c=1G=c=1, including in the displayed actions. Every mass symbol is a length, Mgeom=GMphysM_{\mathrm{geom}}=G M_{\mathrm{phys}}; thus a factor 1−2M/r1-2M/r would restore to 1−2GMphys/r1-2G M_{\mathrm{phys}}/r.

Minimally coupled massless scalar: the JNW family

Section titled “Minimally coupled massless scalar: the JNW family”

Take

S=∫d4x−g[R16π−12(∇ϕ)2].S=\int d^4x\sqrt{-g} \left[\frac{R}{16\pi}-\frac12(\nabla\phi)^2\right].

The equations are Rab=8π∇aϕ∇bϕR_{ab}=8\pi\nabla_a\phi\nabla_b\phi and □ϕ=0\Box\phi=0. A static spherical solution is

ds2=−f(r)νdt2+f(r)−νdr2+r2f(r)1−νdΩ2,ϕ=ϕ0+1−ν216πln⁡f(r),f(r)=1−br,\begin{aligned} ds^2={}&-f(r)^\nu dt^2+f(r)^{-\nu}dr^2 +r^2f(r)^{1-\nu}d\Omega^2,\\ \phi={}&\phi_0+\frac{\sqrt{1-\nu^2}}{\sqrt{16\pi}}\ln f(r), \qquad f(r)=1-\frac{b}{r}, \end{aligned}

with b>0b>0, 0<ν≤10<\nu\le1, and domain r>br>b. Its ADM mass is M=νb/2M=\nu b/2. The coordinate rr is not areal radius; the symmetry spheres have radius

Rarea=rf(1−ν)/2.R_{\mathrm{area}}=r f^{(1-\nu)/2}.

When ν=1\nu=1, the scalar is constant, b=2Mb=2M, and the metric is Schwarzschild. For every 0<ν<10<\nu<1, Rarea→0R_{\mathrm{area}}\to0 and ϕ\phi diverges as r→b+r\to b^+. Moreover

R=8π(∇ϕ)2=(1−ν2)b22r4fν−2,R=8\pi(\nabla\phi)^2 =\frac{(1-\nu^2)b^2}{2r^4}f^{\nu-2},

which diverges because ν−2<0\nu-2<0. Thus the zero of gttg_{tt} at r=br=b is not a regular horizon. It is a curvature singularity. Janis, Newman, and Winicour identified this scalar-field generalization and its Schwarzschild limit in Janis, Newman, and Winicour 1968, pp. 878–880.

The family is often written with a scalar-charge parameter instead of ν\nu. Such parameters are convention-dependent; the invariant information is the asymptotic scalar coefficient together with the ADM mass. State the scalar kinetic normalization before translating formulas.

Conformal coupling and a singular horizon field

Section titled “Conformal coupling and a singular horizon field”

Now consider the conformally coupled action

S=∫d4x−g[R16π−12(∇ϕ)2−112Rϕ2].S=\int d^4x\sqrt{-g} \left[ \frac{R}{16\pi}-\frac12(\nabla\phi)^2 -\frac{1}{12}R\phi^2 \right].

The Bocharova–Bronnikov–Melnikov–Bekenstein solution has

ds2=−(1−Mr)2dt2+(1−Mr)−2dr2+r2dΩ2,ds^2=-\left(1-\frac{M}{r}\right)^2dt^2 +\left(1-\frac{M}{r}\right)^{-2}dr^2+r^2d\Omega^2, ϕ=34πMr−M.\phi=\sqrt{\frac{3}{4\pi}}\frac{M}{r-M}.

The metric is exactly the extremal Reissner–Nordström geometry even though no Maxwell field is present, but the scalar diverges at r=Mr=M. Polynomial curvature invariants of the metric remain finite there. The example shows why “regular metric horizon” and “regular solution of the full matter–gravity theory” are different assertions. The effective gravitational coupling multiplying the Einstein tensor also becomes delicate when 1−(4π/3)ϕ21-(4\pi/3)\phi^2 crosses zero. Bekenstein’s derivation and discussion of the conformal stress tensor appear in Bekenstein 1974, pp. 535–547.

Add a cosmological constant and a quartic potential,

S=∫d4x−g[R−2Λ16π−12(∇ϕ)2−112Rϕ2−αϕ4].S=\int d^4x\sqrt{-g} \left[ \frac{R-2\Lambda}{16\pi}-\frac12(\nabla\phi)^2 -\frac{1}{12}R\phi^2-\alpha\phi^4 \right].

For the tuned coupling α=−2πΛ/9\alpha=-2\pi\Lambda/9, a neutral exact solution retains the same scalar profile but has

ds2=−F(r)dt2+dr2F(r)+r2dΩ2,F(r)=(1−Mr)2−Λr23.ds^2=-F(r)dt^2+\frac{dr^2}{F(r)}+r^2d\Omega^2, \qquad F(r)=\left(1-\frac{M}{r}\right)^2-\frac{\Lambda r^2}{3}.

Depending on MΛM\sqrt{\Lambda}, FF can have black-hole and cosmological roots. The scalar pole remains at r=Mr=M, so a physically admissible static domain must be identified by comparing that pole with the ordered roots of FF. The solution is not obtained by freely adding −Λr2/3-\Lambda r^2/3 to the metric: the quartic coupling is fixed by the scalar equation and Einstein equation together Martínez, Troncoso, and Zanelli 2003, §§ II–III.

For any scalar-supported claim, perform four separate checks: vary the stated action to fix the improved stress tensor; verify the scalar equation as well as Einstein’s equation; locate candidate horizons using the metric; and test the scalar field and effective coupling there. A Schwarzschild-looking limit is insufficient if the scalar or action becomes singular.

The JNW limit ν→1\nu\to1 removes scalar charge continuously. The conformal solution instead has a metric that already equals a familiar electrovac geometry, so its discriminating check is the nonminimal stress tensor rather than the metric alone. With self-interaction, Λ→0\Lambda\to0 must be taken together with α→0\alpha\to0 under the tuning above. These are inequivalent mechanisms, and they should not be grouped as a single notion of “scalar hair.”

Show that the JNW singular surface shrinks to zero areal radius for nonzero scalar charge but becomes the Schwarzschild horizon in the scalar-free limit.

Solution

For 0<ν<10<\nu<1,

Rarea=r(1−br)(1−ν)/2⟶0R_{\mathrm{area}}=r\left(1-\frac br\right)^{(1-\nu)/2} \longrightarrow0

as r→b+r\to b^+ because the exponent is positive. The Ricci scalar displayed above diverges, confirming a central singularity. At ν=1\nu=1, however, the exponent vanishes, Rarea=rR_{\mathrm{area}}=r, the scalar coefficient is zero, and b=2Mb=2M; r=br=b is then the regular Schwarzschild Killing horizon. The limits r→br\to b and ν→1\nu\to1 are therefore not interchangeable.

  • Jacob D. Bekenstein, “Exact Solutions of Einstein-Conformal Scalar Equations,” Annals of Physics 82, 535–547 (1974). DOI.
  • Allen I. Janis, Ezra T. Newman, and Jeffrey Winicour, “Reality of the Schwarzschild Singularity,” Physical Review Letters 20, 878–880 (1968). DOI.
  • Cristian Martínez, Ricardo Troncoso, and Jorge Zanelli, “de Sitter Black Hole with a Conformally Coupled Scalar Field in Four Dimensions,” Physical Review D 67, 024008 (2003). DOI.