Scalar field solution

In general relativity, the geometric setting for physical phenomena is a Lorentzian manifold, which is physically interpreted as a curved spacetime, and which is mathematically specified by defining a metric tensor ${\displaystyle g_{ab}}$ (or by defining a frame field). The curvature tensor ${\displaystyle R_{bcd}^{a}}$ of this manifold and associated quantities such as the Einstein tensor ${\displaystyle G_{ab}}$, are well-defined even in the absence of any physical theory, but in general relativity they acquire a physical interpretation as geometric manifestations of the gravitational field.

In addition, we must specify a scalar field by giving a function ${\displaystyle \psi }$. This function is required to satisfy two following conditions:

1. The function must satisfy the (curved spacetime) source-free wave equation ${\displaystyle g^{ab}\psi _{;ab}=0}$,
2. The Einstein tensor must match the stress-energy tensor for the scalar field, which in the simplest case, a minimally coupled massless scalar field, can be written

${\displaystyle G_{ab}=8\pi \left(\psi _{;a}\psi _{;b}-{\frac {1}{2}}\psi _{;m}\psi ^{;m}g_{ab}\right)}$.

Both conditions follow from varying the Lagrangian density for the scalar field, which in the case of a minimally coupled massless scalar field is

${\displaystyle L=-g^{mn}\,\psi _{;m}\,\psi _{;n}}$

Here,

${\displaystyle {\frac {\delta L}{\delta \psi }}=0}$

gives the wave equation, while

${\displaystyle {\frac {\delta L}{\delta g^{ab}}}=0}$

gives the Einstein equation (in the case where the field energy of the scalar field is the only source of the gravitational field).

Scalar fields are often interpreted as classical approximations, in the sense of effective field theory, to some quantum field. In general relativity, the speculative quintessence field can appear as a scalar field. For example, a flux of neutral pions can in principle be modeled as a minimally coupled massless scalar field.

The components of a tensor computed with respect to a frame field rather than the coordinate basis are often called physical components, because these are the components which can (in principle) be measured by an observer.

In the special case of a minimally coupled massless scalar field, an adapted frame

${\displaystyle {\vec {e}}_{0},\;{\vec {e}}_{1},\;{\vec {e}}_{2},\;{\vec {e}}_{3}}$

(the first is a timelike unit vector field, the last three are spacelike unit vector fields) can always be found in which the Einstein tensor takes the simple form

${\displaystyle G_{{\hat {a}}{\hat {b}}}=8\pi \sigma \,\left[{\begin{matrix}-1&0&0&0\\0&1&0&0\\0&0&1&0\\0&0&0&1\end{matrix}}\right]}$ where ${\displaystyle \sigma }$ is the energy density of the scalar field.

The characteristic polynomial of the Einstein tensor in a minimally coupled massless scalar field solution must have the form

${\displaystyle \chi (\lambda )=(\lambda +8\pi \sigma )^{3}\,(\lambda -8\pi \sigma )}$

In other words, we have a simple eigenvalue and a triple eigenvalue, each being the negative of the other. Multiply out and using Gröbner basis methods, we find that the following three invariants must vanish identically:

${\displaystyle a_{2}=0,\;\;a_{1}^{3}+4a_{3}=0,\;\;a_{1}^{4}+16a_{4}=0}$

Using Newton's identities, we can rewrite these in terms of the traces of the powers. We find that

${\displaystyle t_{2}=t_{1}^{2},\;t_{3}=t_{1}^{3}/4,\;t_{4}=t_{1}^{4}/4}$

We can rewrite this in terms of index gymnastics as the manifestly invariant criteria:

${\displaystyle {G^{a}}_{a}=-R}$

${\displaystyle {G^{a}}_{b}\,{G^{b}}_{a}=R^{2}}$

${\displaystyle {G^{a}}_{b}\,{G^{b}}_{c}\,{G^{c}}_{a}=R^{3}/4}$

${\displaystyle {G^{a}}_{b}\,{G^{b}}_{c}\,{G^{c}}_{d}\,{G^{d}}_{a}=R^{4}/4}$

Notable individual scalar field solutions include

• the Janis–Newman–Winicour scalar field solution, which is the unique static and spherically symmetric massless minimally coupled scalar field solution.

• Exact solutions in general relativity
• Lorentz group

• Stephani, H.; Kramer, D.; MacCallum, M.; Hoenselaers, C. & Herlt, E. (2003). Exact Solutions of Einstein's Field Equations (2nd edn.). Cambridge: Cambridge University Press. ISBN 0-521-46136-7.
• Hawking, S. W. & Ellis, G. F. R. (1973). The Large Scale Structure of Space-time. Cambridge: Cambridge University Press. ISBN 0-521-09906-4. See section 3.3 for the stress-energy tensor of a minimally coupled scalar field.