Kaluza-Klein Cosmology: the bulk metric

Kaluza-Klein Cosmology: the bulk metric

Carles Bona Universitat Illes Balears, Institute for Computational Applications with Community Code (IAC3), Palma 07122, Spain Institute for Space Studies of Catalonia, Barcelona 08034, Spain    Miguel Bezares Universitat Illes Balears, Institute for Computational Applications with Community Code (IAC3), Palma 07122, Spain
July 29, 2019

The Cosmological Principle is applied to a five-dimensional vacuum manifold. The general (non-trivial) solution is explicitly given. The result is a unique metric, parametrized with the sign of the space curvature () and the signature of the fifth coordinate. Friedmann-Robertson-Walker (FRW) metrics can be obtained from this single ’mother’ metric (M-metric), by projecting onto different space-homogeneous four-dimensional hypersurfaces. The expansion factor is used as time coordinate in order to get full control of the equation of state of the resulting projection. The embedding of a generic (equilibrium) mixture of matter, radiation and cosmological constant is given, modulo a quadrature, although some signature-dependent restrictions must be accounted for. In the 4+1 case, where the extra coordinate is spacelike, the condition ensuring that the projected hypersurface is of Lorentzian type is explicitly given. An example showing a smooth transition from an Euclidian to a Lorentzian 4D metric is provided. This dynamical signature change can be considered a classical counterpart of the Hartle-Hawking ’no-boundary’ proposal, without resorting to the ’imaginary time’ idea. The resulting FRW model shows an initial singularity at a finite value of the expansion factor . It can be termed as a ’Big unfreeze’, as it is produced just by the beginning of time, without affecting space geometry.

04.50.-h, 11.25.Mj, 98.80.Jk

I Introduction

Since the pioneering work of Kaluza-Klein, adding extra dimensions to the standard (4D) spacetime has shown to be a good strategy in the quest for unification. In modern particle physics, this has led to the brane-world models Arkani (); Randall-Sundrum (); Maartens_living (), where the basic physics scenario is a higher-dimensional ’bulk’ spacetime, in which gravity acts, although ordinary matter and fields are supposed to be confined in 4-dimensional ’branes’ (see ref. Carter () for a purely classical description). This approach evokes Plato’s Cavern allegory, because the observed physical fields are seen just as projections (shadows) on the branes (the cavern walls), whereas the real objects are out of sight, living in some higher-dimensional reality (the bulk). The unifying power comes mainly from the fact that a single object can project different shadows in different walls. That is, different physics in the brane can be obtained just by considering different projections of a single bulk object.

In our case, this object is the 5D manifold geometry and the shadows depict the matter-energy content of the 4D spacetime. This has been termed as spacetime-matter (STM) approach (see Overduin () for a review). It has also been implemented in Cosmology, after the pioneering work of Ponce de Leon JPL88 () (see Wesson_book () for a review). In some of these works, different projections of the same bulk metric are considered JPL (); Camera (), so that different FRW metrics are obtained just by projecting onto different branes. A further step in that direction has been taken recently 3+2 paper (): when embedding spatially flat FRW metrics in a bulk with 3+2 signature (timelike extra coordinate), a single bulk metric was obtained, termed as ’mother metric’ or rather M-metric. The aim of this paper is to generalize this unifying result to all types of spatial curvature () and bulk signature (either spacelike or timelike extra coordinate).

We will adopt a top-down approach, starting from the natural generalization of the Cosmological Principle to the five-dimensional bulk manifold. We will assume both isotropy and homogeneity with respect to three space coordinates (the ones that can be observed on the brane). Moreover, we will assume that the cosmological scale factor is a valid time coordinate. In the 3+2 case, this just amounts to a suitable coordinate choice in the time plane. In the 4+1 case, this amounts to require that the constant hypersurfaces be space-like. The cosmological expansion will affect then to all physical (timelike) observers.

With this only hypothesis, we write down in section 2 the general form of the 5D line element and the corresponding field equations in the evolution formalism. The general solution is obtained in section 3; it happens to be a single metric, which we call ’M-metric’ because it is the generalization of the one previously obtained 3+2 paper () in the 3+2 case for . Our result actually applies to all curvature cases () and for both spacelike and timelike extra dimensions. We show that this metric has a Killing vector, whose integral lines are orthogonal to the coordinate (time) lines. This means that the coordinates in which we explicitly write down the M-metric have a clear geometrical and physical meaning.

We study in section 4 different brane projections of the M-metric, leading to different FRW models. Apart from the more conventional models (open universes starting from a Big Bang), we can generate in this way some other (more exotic) cases. In the 3+2 case, we can get regular universe models, where the Big Bang lies in the infinite past, or even emergent models, starting from a quasi-stationary state Ellis_Maartens (); Ellis (). In the 4+1 case, we can generate smooth signature transitions from Euclidean to Lorentzian metrics in the brane Ellis_signature (); Mars (), which can be considered as the classical counterpart of the Hartel-Hawking ’no boundary’ proposal Hartle_Hawking (), without recourse to the imaginary time mechanism.

Finally, in section 5, we point out that using the expansion factor as a time coordinate provides a direct control of the matter-energy content in the brane, allowing to impose suitable equations of state. We study the case of an equilibrium combination of matter, radiation and cosmological constant. The explicit expression of the bulk metric embedding is provided, modulo a quadrature. In the process, we identify some signature restrictions: in the 3+2 case, one can get this generic mixture only in the closed universe case (). This confirms some previous results 3+2 paper (), in the sense that Campbell’s theorem Campbell () depends on some assumptions that can not be overlooked.

Ii 5D Cosmological framework: evolution formalism

We will consider here 5-dimensional (5D) vacuum metrics, where the extra coordinate is labeled by . In our case, where we assume homogeneity and isotropy of the physical 3-space, this ’bulk’ metric would read


where the three-dimensional metric is of constant curvature, that is


and , so that the coordinate can be either space-like (4+1 case, ) or time-like (3+2 case, ).

Note that we have chosen the -coordinate lines orthogonal to the constant hypersurfaces. This can always be done in the 3+2 case, where it would be just a coordinate choice in the time plane. But the 4+1 case requires assuming that the resulting coordinate lines are actually timelike. This amounts to discard the possibility of having a system of physical observers moving along constant hypersurfaces.

We will consider a slicing of the 5D manifold by the family of constant hypersurfaces (evolution formalism). On every slice we will recover a FRW line element, namely


where . The corresponding extrinsic curvature can be easily calculated in our case:


where the primes stand for derivatives and is the future-pointing time unit vector (the FRW metric four-velocity)


which of course verifies


where the dots stand for derivatives and is the covariant derivative operator in the constant slices. The energy density can be obtained directly from the Friedmann equation:


In the evolution formalism, the vacuum field equations can be written as 4+1 ():

  • The scalar constraint:

  • The vector constraint:

  • The evolution equations:


where is the Ricci tensor of the FRW metric.

Allowing for the degenerate algebraic structure of the extrinsic curvature (4), the scalar constraint amounts to:


which implies that the FRW metric obtained in every constant slice is a pure radiation metric.

Iii General solution: The M-metric

Let us now consider the vector constraint (9). Allowing for (4) and (6), one gets


We will not consider here the trivial case (), for which every projection of the bulk metric would lead to Minkowsky space on the brane. We will rather conclude that so that the extrinsic curvature (4) actually vanishes, namely


The factor can be eliminated by a suitable redefinition of the parameter in the 5D metric (1). We get then:


The evolution equation (10) reads now


where the A derivatives are computed on the constant slices, that is


Allowing for (11), the Ricci tensor in the FRW slice corresponds to the pure radiation case:


where is an arbitrary constant. According to the Friedmann equation (7), the expansion factor verifies


The space components of (15) can now be written in a simple form:


which can be explicitly solved:


The integration factor can be easily removed by a suitable definition of the variable . The remaining components in (15) provide no additional restriction. As a result, the general vacuum solution for the cosmological case (1) can be written, in explicit form, as:


We have chosen here the coordinate pair, because in this way all metric coefficients are fully specified. This shows that the general solution (21) is actually a single vacuum metric, which we will call ’M-metric’ in what follows. A single ’mother’ metric in the bulk for the full set of embedded FRW metrics, which can be recovered by projecting (21) onto different, infinitely-many, 4D hypersurfaces (branes). The particular solution for the , parameter choice has been recently published 3+2 paper ().

Let us note that the M-metric (21) has a Killing vector


This implies that the -coordinate lines have an intrinsic geometrical meaning. On the other hand, from the physical point of view, the time coordinate is precisely the cosmological expansion factor . This intrinsic meaning, both from the geometrical and the physical point of view, allows an straightforward comparison with other forms of the same metric, like the ones proposed in the pioneering work of Ponce de Leon JPL88 ().

Iv Non-trivial projections: Regular, Emergent and Signature-changing Universes

We have seen that the trivial projection on hypersurfaces leads to pure radiation FRW universe. Another option is to select instead a nontrivial hypersurface in order to get completely different FRW models. In order to visualize the behaviour of the resulting 4D projections, we will switch to a new time coordinate, namely


so that the sector in the M-metric (21) gets a explicit conformally-flat form:


We can consider now projections defined by different choices of


which can be visualized as curves in the plane (see figure 1). Note that in the 4+1 case, we must fulfill the additional causality condition


Otherwise, the projected (brane) metric would be of Euclidean type, instead of the Lorentzian one.

We show in figure 1 some qualitatively different projections. The green line in the right-hand-side corresponds to a quite standard model, defined by


on the constant hypersurfaces. The resulting FRW universe shows a Big Bang singularity () and verifies everywhere the causality condition (26): it will work the for both choices of the signature parameter

Figure 1: Timelines in the plane of the bulk M-metric, each one leading to a different FRW brane projection. The big-bang singularity is here the line. The dotted line marks the unit slope, as required from the causality condition arising in the case. The green line on the right corresponds to a standard, open big bang model. The blue line in the center corresponds to an emergent universe ( case). The red line on the left corresponds either to a regular FRW model, without big bang () or to a 4D metric showing a smooth transition, at the point marked with a dot, from Euclidean to Lorentzian signature ().

A very different model is obtained by taking instead


(blue line in the center). Note that this choice violates the causality condition everywhere, so it can only work for the signature choice. This case corresponds to a regular universe, with no Big Bang singularity. It can be thought as an approximation to some ’Emergent Universe’, as defined by Ellis and Maartens Ellis_Maartens (); Ellis (). The universe expansion starts here from a quasi-stationary state and makes a smooth transition to another quasi-stationary state with a higher value of the expansion factor.

Finally, the red line in the left-hand-side, given by


corresponds also to a regular universe, but it verifies the causality condition only in the upper part of the plot (). This is not a problem in the case ( timelike): there is no beginning, as the big bang singularity is just in the infinite past limit. Although the singularity is not actually reached, the physical conditions near there can be very close to those just after the big bang in standard models.

In the case ( spacelike), however, we get a completely different description. There is a dynamical signature change: a smooth transition from an Euclidian to a Lorentzian 4D metric in the brane. This change of signature can be considered Ellis_signature (); Mars () a classical counterpart of the Hartle-Hawking ’no-boundary’ proposal Hartle_Hawking (), without resorting to the ’imaginary time’ idea. The resulting Lorentzian (FRW) model will then show an initial singularity (both density and the Hubble factor blow-up) at a finite value of the expansion parameter ().

V Matter-Energy content on the brane: realistic equations of state

Let us consider now the general FRW line element. Using the scale factor as the time coordinate, and allowing for the general Friedmann equation (7), we get


where is the density, and the pressure is given by


We can see that the explicit form of the FRW metric is provided just by specifying the total density on the brane in terms of the scale factor. Allowing for (31), this can be done by imposing any suitable equation of state: radiation (), incoherent matter (), cosmological constant (constant ), etc.

We can compare this form of FRW metrics with the projection of the bulk metric (21) onto an arbitrary (brane) hypersurface, given by (25). We get:


A simple calculation shows that the two metrics, (30) and (32), match if and only if verifies


At first sight, it seems that (33) guarantees that any FRW metric can be embedded in the cosmological 5D bulk (21). But one must pay attention to the signature restrictions contained in (33), namely


We will explore the consequences of this restriction by considering a generic equilibrium combination of matter, radiation and cosmological constant terms (with positive density values), namely


We can see that choosing the arbitrary constant as


ensures that the embedding is possible in the case ( 4+1 bulk manifold). The specific expression for can be obtained from (33), modulo a quadrature.

If we are rather interested in the case ( 3+2 bulk manifold), we see that open universes () cannot be embedded in this way, as grows without bound (except in the pure radiation case). On the contrary, closed universes () can always be embedded by choosing a value of greater than the maximum value of . This limitation for the open case goes against the common belief that the Campbell theorem Campbell () (see ref. Seahra () for its extension to the pseudo-Riemannian case) ensures the embedding of any four-dimensional metric into a five-dimensional Ricci-flat manifold, where the extra dimension can be either space-like or time-like. Let us stress here that what the theorem really says is that any 4D metric can be embedded in a 5D Ricci-flat manifold provided that the embedding equations (8-10) hold at least on a single 4D hypersurface. Our results show that this assumption is actually not fulfilled for the density choice (35) with the signature combination , .

Vi Conclusions and outlook

We have found the general solution for metrics verifying the natural extension of the Cosmological Principle to a five-dimensional (bulk) manifold. Apart from the trivial case, there is a unique solution for every curvature sign () and every signature of the extra coordinate (): the M-metric (21). This metric has a Killing vector (22), and we have used adapted orthogonal coordinates , where is the corresponding cyclic coordinate and is the cosmological expansion factor. In this way, our coordinates have a sound geometrical and physical meaning.

We have considered the projections of the M-metric onto space-homogeneous four-dimensional hypersurfaces (branes) in order to recover FRW metrics. The use of as the time coordinate in the brane allows one to express the generic FRW metric directly in terms of the matter-energy density (30). This is crucial for controlling the equation of state of the resulting projection. We have studied the case of a generic (equilibrium) mixture of matter, radiation and cosmological constant. We have provided, modulo a quadrature, the transformation allowing to recover the corresponding metric for both signature combinations () in the closed universe case (). In the open case (), we have shown that, apart from the pure radiation case, the generic combination can be obtained only when the extra coordinate is space-like.

The plane in the bulk happens to be a powerful tool for devising the evolution properties of the resulting projected spacetimes: one only has to select a suitable time curve, which will be kept as the physical time coordinate in the brane. We shown how to obtain by this method some FRW regular solutions, evolving from the infinite past (no Big Bang), that could be useful to deal with the Cosmological Horizon problem. These are regular FRW models in standard General Relativity: there is no need to recur to alternative theories in order to get these appealing cosmological models. We have also seen how to obtain in this way models that approach some instances of the well-known ’Emergent Universe’ inflationary models Ellis_Maartens (); Ellis ().

In the 4+1 case, where the extra coordinate is spacelike, we have identified the causality condition (26) which ensures that the projected (brane) hypersurface is of Lorentzian type. When violated, the projection leads to an Euclidean 4D manifold, without any time dimension. We can take advantage of this fact in order to get universe models showing a dynamical signature change: a smooth transition from an Euclidian to a Lorentzian 4D metric (see fig. 1). This change of signature can be considered Ellis_signature (); Mars () a classical counterpart of the Hartle-Hawking ’no-boundary’ proposal, without resorting to the ’imaginary time’ idea. The resulting Lorentzian (FRW) model will then show an initial singularity (both density and the Hubble factor blow-up) at a finite value of the scale factor . This has been termed as ’Big freeze’ singularity type Jambrina sing () because it has been associated with the final stage of cosmological evolution, as an alternative to the ’Big rip’ Bouhmadi (). This term is misleading in our case, where we could rather use the term ’Big unfreeze’ for this singularity, as it is produced just by the beginning of time, without affecting space geometry.

As a final remark, let us point out that having the cosmological bulk metric (21) in fully explicit form can open the door to new advances in some related fields. For instance, a semiclassical Kaluza-Klein approach to Cosmology would clearly benefit from the uniqueness of the spacetime background: any result obtained from the vacuum line element (21) would allow to draw general conclusions, valid beyond any particular case. For more potential applications, see for instance ref. Wesson_book ().

We acknowledge support from the Spanish Ministry of Economy, Industry and Competitiveness grants AYA2016-80289-P and AYA2017-82089-ERC (AEI/FEDER, EU). MB would like to thank CONICYT Becas Chile (Concurso Becas de Doctorado en el Extranjero) for financial support.


  • (1) N. Arkani-Hamed, S. Dimopoulos and G. Divali, Phys. Lett. B 429, 263 (1998).
  • (2) L. Randall and R. Sundrum, Phys. Rev. Lett. 83, 4690 (1999).
  • (3) R. Maartens and K. Koyama, Living Rev. Relativ. 13, 5 (2010).
  • (4) B. Carter, Int. J. of Modern Phys. 40, 2099 (2001).
  • (5) J. M. Overduin and P. S. Wesson, Phys. Rep. 283, 303 (1997).
  • (6) J. Ponce de Leon, Gen. Rel. Grav. 20, 539 (1988).
  • (7) P. S. Wesson, Five-Dimensional Physics: Classical And Quantum Consequences of Kaluza-Klein Cosmology, (World Sci. Singapore, 2006).
  • (8) J. Ponce de Leon, Modern Phys. Lett. A 21, 947 (2006).
  • (9) M. La Camera, Modern Phys. Lett. A 25, 781 (2010).
  • (10) C. Bona, M. Bezares, B. Pons-Rullan and D. Viganò, Phys. Rev. D 99, 043530 (2019).
  • (11) G. F. R. Ellis, and R. Maartens, Class. Quantum Grav. 21, 223 (2003).
  • (12) G. F. R. Ellis, J. Murugan and C.G. Tsagas, Class. Quantum Grav. 21, 233 (2003).
  • (13) G. F. R. Ellis and Kamilla Piotrkowska, Int. J. Modern Phys. D, 03, 49 (1994).
  • (14) M. Mars, J. M. M. Senovilla and Raül Vera, Phys. Rev. Lett. 86, 4219 (2001).
  • (15) J. B. Hartle and S. W. Hawking, Phys. Rev. D 28, 2960 (1983).
  • (16) J. E. Campbell, A Course on Differential Geometry (Clarendon, Oxford 1926).
  • (17) J. E. Lidsey, C. Romero, R. Tavakol and S. Rippl, Class. Quantum Grav. 14, 865 (1997).
  • (18) S. S. Seahra and P. S. Wesson, Class. Quantum Grav. 20, 1321 (2003).
  • (19) L. Fernández-Jambrina, Phys. Rev. D 94, 024049 (2016).
  • (20) M. Bouhmadi-López, P. F. González-Díaz and P. Martín Moruno, Phys. Lett. B 659, 1 (2008).
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
Add comment
Loading ...
This is a comment super asjknd jkasnjk adsnkj
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test description