Gravitational Core of Double Field Theory

Solutions

Lecture Notes
Jeong-Hyuck Park

This chapter collects representative solutions and tests: spherical geometries, post-Newtonian limits, wormholes, and cosmological solutions of the EDFE.

Solutions

With the theoretical foundations established, we now turn to specific solutions within the DFT framework.

Any known \({D=10}\) IIA or IIB supergravity solution consistently satisfies the equations of motion, including the Einstein Double Field Equation (EDFE), of type II supersymmetric DFT [Jeon:2012hp]. However, here we focus on more elementary \({D=4}\) solutions.

In General Relativity, the Schwarzschild geometry and de Sitter space are fundamental solutions. The Schwarzschild solution describes the spacetime around a black hole or the exterior geometry of a spherical object, while de Sitter space serves as a model for the large-scale structure of the Universe. Below, we present their counterparts within the framework of Double Field Theory (DFT).

Spherically Symmetric Solution: Generalisation of the Schwarzschild Geometry

Aim. To solve the EDFE in four dimensions under spherical symmetry.

The DFT counterpart to the Schwarzschild geometry in GR is a three-parameter family of vacuum solutions to the \({D=4}\) EDFE, i.e. \(G_{AB}=0\) or (1.3). These solutions can be traced back to the work of Burgess, Myers, and Quevedo in 1994 [Burgess:1994kq], who obtained them by performing \(\mathbf{SL}(2,\mathbb{R})\) S-duality rotations on a dilaton-metric solution. The solutions were later re-derived [Ko:2016dxa] as the most general, spherically symmetric, static, asymptotically flat, vacuum geometry of \({D=4}\) DFT. We present the solutions with three constants \(\{h,a,b\}\) in an isotropic coordinate system [Choi:2022srv], where the metric takes the form, with \(r=\sqrt{\vec{x}{\cdot\vec{x} }}\),

\[ \rd s^{2}= g_{tt}(r)\,\rd t^{2}+g_{rr}(r)\,\rd \vec{x}\cdot\rd \vec{x}\,. \](3.1)

The two significant components of the metric are

\[ \begin{array}{ll} g_{tt}(r)=-e^{2\phi(r)}\left(\frac{4r-\sqrt{a^{2}+b^{2}}}{4r+\sqrt{a^{2}+b^{2}}}\right)^{\frac{2a}{\sqrt{a^{2}+b^{2}}}}\,,~~&~~ g_{rr}(r)=e^{2\phi(r)}\left(\frac{4r+\sqrt{a^{2}+b^{2}}}{4r-\sqrt{a^{2}+b^{2}}}\right)^{\frac{2a}{\sqrt{a^{2}+b^{2}}}} \left(1-\frac{a^{2}+b^{2}}{16r^{2}}\right)^{\!2}\,, \end{array} \](3.2)

the string dilaton is given, with \(\gamma_{\pm}=\half\pm\half\sqrt{1-h^2/b^2}\), by

\[ e^{2\phi}=\gamma_{+}\left(\frac{4r-\sqrt{a^{2}+b^{2}}}{4r+\sqrt{a^{2}+b^{2}}}\right)^{\frac{2b}{\sqrt{a^{2}+b^{2}}}}+\gamma_{-}\left(\frac{4r+\sqrt{a^{2}+b^{2}}}{4r-\sqrt{a^{2}+b^{2}}}\right)^{\frac{2b}{\sqrt{a^{2}+b^{2}}}}\,, \](3.3)

and the \(B\)-field features electric \(H\)-flux,

\[ \begin{array}{l} H_{(3)}= h\sin\vartheta\,\rd t\wedge\rd\vartheta\wedge\rd\varphi=h\,\rd t\wedge\left(\dis{\frac{\epsilon_{ijk}x^{i\,}{\rd x^{j}\wedge\rd x^{k}}}{2r^3}}\right)\,. \end{array} \](3.4)

Several observations can be made about these solutions.

i) If \(b=h=0\), with \(h/b\rightarrow 0\), the solution reduces to the Schwarzschild geometry.

ii) If \(a=0\), the solution reduces to a wormhole geometry [Jang:2024nhm],

\[ \begin{array}{ll} \rd s^{2}=\dis{\frac{-\rd t^{2} +\rd y^{2}}{\cF(y)}}+\cR(y)^2\left(\rd\vartheta^{2}+\sin^{2\!}\vartheta\,\rd\varphi^{2}\right)\,,\quad&\qquad e^{2\phi(y)}=\dis{\frac{1}{\left|\cF(y)\right|}}\,, \end{array} \](3.5)

where

\[ \cR(y)=\sqrt{y^{2}+\quarter h^{2}}\,,\qquad \cF(y)=\dis{\frac{(y-b_{-})(y-b_{+})}{y^2+\frac{1}{4}h^2}}\,,\qquad b_{+}=-b\gamma_{+}\,,\qquad b_{-}=b\gamma_{-}\,. \](3.6)

While the wormhole throat is at \(y=0\), the points of \(y=b_{\pm}\) are curvature-wise singular within Riemannian geometry: \(R\propto 1/(y-b_{\pm})\) as \(y\rightarrow b_{\pm}\). However, as a vacuum solution to the EDFE, the geometry sets both the DFT scalar and Ricci curvature trivial, \(\So=0\) and \(S_{p\brq}=0\). In fact, by choosing the \(B\)-field of the electric \(H\)-flux (3.4) appropriately to include a term that is pure gauge,

\[ B_{(2)}=h\cos\vartheta\,\rd t\wedge\rd\varphi \,+\, \frac{\rd t\wedge\rd y}{\cF(y)}\,, \](3.7)

the DFT metric (2.33) and dilaton (2.39) can both be made entirely non-singular, as can be seen from

\[ \!\!\begin{array}{l} g^{-1}=\!\left(\!\begin{array}{cccc} ~-\cF~&~0~&~0~&~0~\\ 0&\cF&0&0\\ 0&0&\frac{1}{\cR^{2}}&0\\ 0&0&0&\frac{1}{\cR^{2}\sin^2\vartheta} \end{array}\!\right)\,,\quad Bg^{-1}=\big({-g^{-1}B}\big)^{T}=\!\left(\!\begin{array}{clcc} ~0~&1~~~~&0~&\frac{h\cos\vartheta}{\cR^{2}\sin^2\vartheta}\\ 1&0&0&0\\ 0&0&0&0\\ h\cos\vartheta\cF&0&0&0\end{array}\!\right)\,, \end{array} \](3.8)

and

\[ \begin{array}{l} g-Bg^{-1}B=\left(\begin{array}{cccc} \frac{h^2\cos^2\vartheta}{\cR^{2}\sin^2\vartheta}&0&0&0\\ 0&0&0&-h\cos\vartheta\\ 0&0&\cR^2&0\\ 0&-h\cos\vartheta&0&\quad\cR^2\sin^2\vartheta-h^2\cF\cos^2\vartheta \end{array}\right)\,, \quad\quad e^{-2d}=\cR^2\sin\vartheta\,. \end{array} \](3.9)

Only positive powers of \(\cF(y)\) appear in (3.8) and (3.9) after cancellation of the negative powers. This sufficiently implies that, as the \(B\)-field gauge transformation is a part of doubled-yet-gauged diffeomorphisms, the curvature singularity as characterised within Riemannian geometry is to be identified as a coordinate singularity within DFT [Morand:2021xeq]. When \(\cF(y)\) vanishes at \({y=b_{\pm}}\), the upper-left block of the generalised metric, corresponding to \(g^{-1}\), becomes degenerate, no invertible Riemannian metric is defined, and thus the geometry is non-Riemannian. From the perspective of DFT, the geometry is regular everywhere [Morand:2021xeq]: it is non-Riemannian at \(y=b_{\pm}\) and Riemannian elsewhere. In fact, it is the same type of non-Riemannian geometry, \((n,\brn)=(1,1)\), as non-relativistic string theory [Gomis:2000bd], as can be seen from (3.8) and (3.9) [Ko:2015rha, Morand:2017fnv].

iii) Matching with the parametrised Post-Newtonian (PPN) formalism [Will:1972zz, Will:2014kxa],

\[ \rd s^{2}=-\left(1-\frac{2MG}{r}+\frac{2\betappn (MG)^2}{r^{2}}+\cdots\right)\!\rd t^{2}+\left(1+\frac{2\gammappn MG}{r}+\cdots\right)\rd x^{i}\rd x^{j}\delta_{ij}\,, \](3.10)

we can identify the Newtonian mass and the Eddington-Robertson-Schiff parameters [Choi:2022srv],

\[ \begin{array}{lll} 2MG=a+b\sqrt{1-h^{2}/b^{2}}\,,\quad&~ \betappn=1+\left(\frac{h}{a+b\sqrt{1-h^{2}/b^{2}}}\right)^2\,,\quad&~ \gammappn=1-\frac{2b\sqrt{1-h^{2}/b^{2}}}{a+b\sqrt{1-h^{2}/b^{2}}}\,. \end{array} \](3.11)

iv) The vacuum solution (3.1) represents the external geometry of a compact spherical object, such as a star. The full EDFE (2.148) then gives an integral formula for the Newtonian mass [Choi:2022srv],

\[ MG =\frac{1}{4\pi}\int\rd^{3}x~e^{-2d}\left( -K_{t}{}^{t}-\frac{1}{2}H_{t\vartheta\varphi}H^{t\vartheta\varphi}\right)\,, \](3.12)

where the integration occurs within the star's interior. Assuming the star's geometry is regular, the integral of the squared electric \(H\)-flux term in (3.12) diverges unless \({h = 0}\). To ensure physical consistency, we impose a weak energy condition, \(-K_{t}{}^{t} \geq 0\), and assume a finite Newtonian mass, i.e. \(MG \ll \infty\). Under these conditions, we deduce that the electric \(H\)-flux must be trivial: \({h = 0}\). Consequently, from (3.11), this leads to \({\betappn = 1}\), which aligns with the result in GR, or correspondingly, the Schwarzschild geometry. The constants \(a\) and \(b\) are then determined as follows:

\[ \begin{array}{rll} a&=&\dis{\frac{1}{4\pi}\int\rd^3 x~e^{-2d} \left( K_{\mu}{}^{\mu}-2K_{t}{}^{t}- \To+ H_{r\vartheta\varphi}H^{r\vartheta\varphi}\right)\,,}\\ b&=&\dis{\frac{1}{4\pi}\int\rd^3 x~e^{-2d} \left(-K_{\mu}{}^{\mu}+\To-H_{r\vartheta\varphi}H^{r\vartheta\varphi}\right)\,,} \end{array} \](3.13)

with their square sum satisfying a nontrivial relation: given the star's radius \(r_\star\),

\[ \frac{a^{2}+b^{2}}{16}=\int_{0}^{r_{\star}}\rd r\, r\int_{r}^{r_{\star}} \frac{\rd r^{\prime}}{r^{\prime}} \left(\frac{e^{-2d}}{\sin\vartheta}\right)\! \left(K_{r}{}^{r}+K_{\vartheta}{}^{\vartheta}-\To+\frac{1}{2} H_{r\vartheta\varphi}H^{r\vartheta\varphi}\right)\,. \](3.14)

From (3.11), \(\gammappn\) is thereby determined as:

\[ \gammappn=1+\frac{\dis{\int}\rd^{3}x~e^{-2d}\big(K_{\mu}{}^{\mu}-\To+H_{r\vartheta\varphi}H^{r\vartheta\varphi}\big)}{\dis{\int}\rd^{3}x~e^{-2d}\big(-K_{t}{}^{t}\big)}\,, \](3.15)

where the numerator corresponds to the Chameleon mass of the string dilaton (2.151) and the denominator to the Newtonian mass of the star (3.12).

v) The current stringent observational bounds on gravity in the solar system are given by \(\gammappn=1+(2.1\pm 2.3)\times 10^{-5}\), as determined from the Shapiro time-delay measurements by the Cassini spacecraft [Will:2014kxa, Bertotti:2003rm]. Consequently, DFT can successfully pass solar system tests, provided the dilatonic Chameleon mass is at least \(10^{-5}\) times smaller than the Sun's Newtonian mass.

Cosmological Solution of Open Universe: Alternative to de Sitter Universe

Aim. To obtain a cosmological solution of DFT consistent with real data.

The de Sitter Universe, while serving as a natural cosmological solution in GR and providing a simple model for the Universe's accelerating expansion, encounters a fundamental limitation in DFT: the cosmological term \(\sqrt{-g}\Lambda\) lacks \(\ODD\) symmetry, as originally pointed out by Gasperini and Veneziano in 1991 [Gasperini:1991ak]. Consequently, the de Sitter Universe is incompatible with the EDFE (2.146) and the implied \(\ODD\)-symmetric extension of the Friedmann equations [Angus:2019bqs]. This incompatibility aligns with the de Sitter swampland conjectures [Danielsson:2018ztv, Obied:2018sgi, Agrawal:2018own, Andriot:2018wzk].

We introduce an alternative cosmological model: an open Universe characterised by negative spatial curvature (\(k < 0\)) that serves as a vacuum solution to the EDFE, providing a compelling alternative to the de Sitter Universe. This solution traces back to the work of Copeland, Lahiri, and Wands in 1994 [Copeland:1994vi], who derived homogeneous and isotropic solutions to the three beta-function equations on the string worldsheet (1.3). Building upon this foundation, the model was further refined in [Lee:2023boi], incorporating essential physical parameters: the Hubble constant \(H_{0}\), the spatial curvature scale \(l=1/\sqrt{-k}\), the magnetic \(H\)-flux \(\hh\), as well as additional redundant parameters \(a_{0}\) and \(\phi_{0}\), defined at the (present) conformal time \(\eta = \eta_{0}\).

The vacuum geometry of the open Universe is characterized by the following triplet: the string dilaton,

\[ e^{2\phi(\eta)-2\phi_{0}}=\frac{1}{2}\! \left[1+\sigma\sqrt{1-\frac{(\hh l\sinh\zeta)^2}{12a_{0}^4}}\right]\!\left[ \frac{\tanh\left(\frac{\eta-\eta_{0}}{l}+\frac{\zeta}{2}\right)}{\tanh\frac{\zeta}{2}}\right]^{\sqrt{3}}+\frac{1}{2}\! \left[1-\sigma\sqrt{1-\frac{(\hh l\sinh\zeta)^2}{12a_{0}^4}}\right]\!\left[ \frac{\tanh\left(\frac{\eta-\eta_{0}}{l}+\frac{\zeta}{2}\right)}{\tanh\frac{\zeta}{2}}\right]^{\!-\sqrt{3}\,}\,, \](3.16)

the (homogeneous & isotropic) magnetic \(H\)-flux,

\[ H_{(3)}=\frac{\hh\, r^2 \sin\vartheta\,\rd r\wedge\rd\vartheta\wedge\rd\varphi}{\sqrt{1+r^2/l^2}}\,, \](3.17)

and the Friedmann-Lemaître-Robertson-Walker metric with \(k=-1/l^{2}<0 \),

\[ \rd s^2=a^2(\eta)\left[-\rd\eta^2+\frac{\rd r^2}{1+ r^2/l^2}+r^2\rd\vartheta^2+r^2{\sin^2\!\vartheta\,}\rd\varphi^2\right]\,, \](3.18)

of which the scale factor is given by the following expression:

\[ a^{2}(\eta)=a_{0}^2\,e^{2\phi(\eta)-2\phi_{0}}\,\frac{\sinh\left({2(\eta-\eta_{0})}/{l}+\zeta\right)}{\sinh\zeta}\,. \](3.19)

Here, \(\zeta\) is a constant and \(\sigma\) is a sign factor (\({\sigma^2=1}\)), both determined by the parameters \(\{H_{0}, l, \hh\}\). The Hubble parameter and two density parameters are defined at arbitrary conformal time \(\eta\) as

\[ \begin{array}{lll} \dis{ H=\frac{1}{a^2}\frac{\rd a}{\rd\eta}\,,}\qquad&\qquad \dis{\Omega_{k}=\frac{1}{l^2a^2H^2}\,,}\qquad&\qquad \dis{\Omega_{\hh}=\frac{\hh^2}{12a^6H^2}\,.} \end{array} \](3.20)

At the specific conformal time \(\eta = \eta_0\), the analytic solution for the scale factor (3.19) yields the Hubble constant, \(H_0 = H(\eta_0)\), as:

\[ H_{0}=\frac{1}{2a_{0}l\sinh\zeta}\left[2\cosh\zeta+ {\sigma\sqrt{12-a_{0}^{-4}\left(\hh l\sinh\zeta\right)^2}} \right]\,, \](3.21)

which can be solved to express \(\zeta\) and \(\sigma\) in terms of the density parameters at \(\eta = \eta_0\). These expressions are

\[ \begin{array}{ll}\dis{ \sinh\zeta= \sqrt{\frac{2\Omega_{0,k}}{2+\Omega_{0,k}+3\Omega_{0,\hh}-\sqrt{3+6\Omega_{0,k}+6\Omega_{0,\hh}}}}}\,,\quad&\qquad \dis{\sigma=\frac{\,\sqrt{3}-\sqrt{1+2\Omega_{0,k}+2\Omega_{0,\hh}}\,}{\,\left|\sqrt{3}-\sqrt{1+2\Omega_{0,k}+2\Omega_{0,\hh}}\right|\,}}\,. \end{array} \](3.22)

In other words, \({\sigma = -1} \) if \( \Omega_{0,k} + \Omega_{0,\hh} > 1\); otherwise, \({\sigma = +1}\).

Some comments are in order, as discussed in [Lee:2023boi].

i) The deceleration parameter can be expressed in terms of the density parameters as follows:

\[ q=-\frac{1}{H^2a}\Big(\frac{\rd~}{a\rd \eta}\Big)^{2}a =1-\left[\frac{2\left(\frac{\,\rd\phi}{a\rd \eta}\right)^2}{3H^2}+\Omega_{k}+5\Omega_{\hh}\,\right]=-\Big[1+2\Omega_{k}+6\Omega_{\hh}-\sqrt{3(1+2\Omega_{k}+2\Omega_{\hh})}\,\Big]\,, \](3.23)

which can be readily shown to assume negative values, particularly when \({\Omega_k + \Omega_\hh > 1}\). Such acceleration is only achievable in string frame, where the string frame metric minimally couples to point particles (2.14), thereby ensuring that the equivalence principle remains valid and simultaneously exhibiting a negative sign in the dilaton's kinetic term (2.118). The dilaton drives the acceleration in string frame, without any need for dark energy, but not in Einstein frame.

ii) As dictated by the \(\ODD\) symmetry principle, the string dilaton is expected to couple to gauge bosons, as demonstrated in (2.152), implying that the fine-structure constant is effectively proportional to the exponential of the string dilaton:

\[ \alpha_{\rm{eff.}}\!(\eta)=\alpha\, e^{2\phi(\eta)}\,. \](3.24)

However, observational constraints from the absorption spectra of quasars impose stringent limits on the temporal variation of the fine-structure constant [King:2012id, Wilczynska:2015una, Martins:2017qxd, Wilczynska:2020rxx], and consequently on the evolution of the string dilaton \(\phi\). The analytic formula (3.16) shows that the string dilaton converges at future infinity, \(\eta \rightarrow \infty\). Replacing \(l\) and \(\zeta\) with imaginary numbers, \(-il\) and \(i\zeta\), yields the exact geometry of a closed Universe (\(k > 0\)) (see [Copeland:1994vi] for the explicit expression). However, this substitution transforms the converging hyperbolic tangent functions in (3.16) into diverging tangent functions, preventing the dilaton \(\phi\) from stabilising during cosmic evolution, which conflicts with the observational constraints from quasars. Similarly, when \(k = 0\), the hyperbolic tangent functions reduce to linear behaviour in time, which is equally inconsistent with the observational requirements. These results underscore the necessity of an open Universe (\(k < 0\)) to ensure that the dilaton \(\phi\) evolves slowly and remains convergent throughout the cosmic evolution.

iii) The vacuum geometry of the open Universe given in (3.16) and (3.19), in particular the case with trivial \(H\)-flux (\({\hh=0}\) in (3.17)), demonstrates remarkable agreement with late-time cosmological observations, including type Ia supernovae data [Scolnic:2021amr, Riess:2021jrx] and quasar absorption spectra [King:2012id, Wilczynska:2015una, Martins:2017qxd, Wilczynska:2020rxx], as depicted in Figure 1, reproduced from [Lee:2023boi]. Such observations probe the evolution of the Hubble parameter and the potentially varying fine-structure constant up to redshift \(z=a^{-1}-1\approx 7\). Through an analysis of Bayesian inference, the Hubble constant and the curvature density parameter are estimated to be

\[ \begin{array}{ll} H_0 \simeq 71.29 \pm 0.12\,\mathrm{km/s/Mpc}\,,\quad&\qquad \Omega_{0,k}\simeq {1+(6\pm 2)\times 10^{-7}}\,. \end{array} \](3.25)

These imply a curvature scale of \( l=1/\sqrt{-k}\simeq 4.2 \mathrm{Gpc} \) and select the negative sign factor, \({\sigma=-1}\), in (3.22). Such results are consistent with the analytic limiting behaviours of the scale factor (3.19):

\[ \begin{array}{llll} \dis{ \lim_{\eta\rightarrow\infty}a=\infty\,,}\quad&\qquad\dis{ \lim_{\eta\rightarrow\infty}H=0\,,}\quad&\qquad \dis{\lim_{\eta\rightarrow\infty}\Omega_{k}=1\,,}\quad&\qquad \dis{\lim_{\eta\rightarrow\infty}\Omega_{\hh}=0\,.} \end{array} \](3.26)

In other words, there is no coincidence problem.

iv) Extending to higher redshifts, a bounce is expected to have occurred approximately 13.7 gigayears ago. Coincidently, this is comparable to the “age” of the flat Universe in \(\Lambda\)CDM.

Type Ia Supernovae
Type Ia Supernovae

Type Ia Supernovae [Scolnic:2021amr, Riess:2021jrx]

Quasar absorption spectra
Quasar absorption spectra

Quasar Absorption Spectra [King:2012id, Wilczynska:2015una, Martins:2017qxd, Wilczynska:2020rxx]

Bayesian inference with two parameters
Bayesian inference with two parameters

Bayesian Inference with Two Parameters

Bouncing solution
Bouncing solution

Bouncing: \(13.7\) Gigayears ago

Agreement of the vacuum geometry of DFT (3.16), (3.19) with late-time cosmological data of type Ia supernovae (a) and quasars (b). For the latter, the string dilaton \(\phi\) already appears to be in the convergent phase. Bayesian inference (c) shows that, in sharp contrast to \(\Lambda\)CDM, at present time the curvature density overwhelmingly dominates, \(\Omega_{0,k}\simeq {1+(6\pm 2)\times 10^{-7}}\), implying an open Universe. A bounce (d) is extrapolated to occur \(13.7\) gigayears ago. Figures reproduced from [Lee:2023boi].