The Status of Modern Five-Dimensional Gravity: (A Short Review: Why Physics Needs The Fifth Dimension)
The Status of Modern Five-Dimensional Gravity: (A Short Review: Why Physics Needs The Fifth Dimension)
The Status of Modern Five-Dimensional Gravity: (A Short Review: Why Physics Needs The Fifth Dimension)
Paul S. Wesson
Dept. of Physics and Astronomy, University of Waterloo, Waterloo, ON, N2L 3G1, Canada.
This may have some justification as regards string theory, but is misguided as applied to five-
dimensional theories with a large extra dimension. Such theories smoothly embed general rela-
tivity, ensuring recovery of the latter’s observational support. When the embedding of spacetime
is carried out in accordance with Campbell’s theorem, the resulting 5D theory naturally explains
the origin of classical matter and vacuum energy. Also, constraints on the equations of motion
near a high-energy surface or membrane in the 5D manifold lead to quantization and quantum
uncertainty. These are major returns on the modest investment of one extra dimension. Instead
of fruitless bickering about whether it is possible to “see” the fifth dimension, it is suggested that
it be treated on par with other concepts of physics, such as time. The main criterion for the ac-
Email: psw.papers@yahoo.ca
THE STATUS OF MODERN FIVE-DIMENSIONAL GRAVITY
enormous log-jam of theoretical papers, while the number of clear-cut observations in favour of
extra dimensions remains at zero. Not surprisingly, a distinct lobby has appeared whose aim ap-
pears to be to embarrass the proponents of extra dimensions into silence. Consider, for example,
the titles of two books: The Trouble With Physics by Smolin [1] and Not Even Wrong by Woit
[2]. There are also technical studies, which suggest that there are no extra dimensions to be
found, no matter how small [3]. I wish, however, to prick this balloon of gloom and argue that
there are tangible benefits to having one (at least) extra dimension.
means of unifying gravity with electromagnetism, was suggested by Kaluza in 1921. By making
the fifth dimension tiny, this approach was altered so as to include quantum effects by Klein in
1926. In more recent times, diverse choices for the number N of dimensions have been made in
order to incorporate various aspects of physics. These include N=10 so as to address the vacuum
fields of particles via supersymmetry, and a renewed interest in N=5 using a non-small extra di-
mension that is connected to the masses of particles and the origin of matter. This latter ap-
[4-6]. The second version will be used below, but the two formulations are mathematically simi-
lar. The theory is physically very appealing: field equations for apparent vacuum in 5D can be
proven to yield Einstein’s field equations in 4D with matter, a result guaranteed by an embedding
theorem of differential geometry due to Campbell [7, 8]. In this way, matter comes from geome-
try, a goal once espoused by Einstein. Due to the smooth embedding of general relativity, 4D
2
cosmological models can be recovered, though with the interesting property that the embedding
5D space is flat, with no big-bang singularity. There is an especially neat form of the metric for
5D which is mathematically simple and in its pure form leads to exactly the same dynamics as
Einstein’s 4D theory, thereby ensuring that the 4D theory agrees with the classical tests of rela-
tivity in the solar system. This so-called canonical metric leads to new insights for the cosmo-
logical constant [9]. Departures from the pure form of the canonical metric lead to an anomalous
acceleration in spacetime which is sometimes called the fifth force [10], and to a dependency of
the cosmological ‘constant’ on the 5th. coordinate which can in principle resolve the notorious
problem with the size of this parameter that plagues 4D theory [11-13]. Incidentally, the fifth
force just mentioned for Space-Time-Matter theory is also present in Membrane theory. And the
variation in the cosmological parameter for the one theory can steepen to form a hypersurface
where the energy density of the vaccum is divergent, thereby reproducing the membrane of the
second theory. These and other effects are not due to some trick of algebra, but are generic con-
To here, it is fair to say that our understanding of physics in four dimensions is signifi-
cantly improved by the introduction of a fifth dimension. So, we can ask: Why does it not lead
to some obvious new effects that can be tested? And most importantly: Why can we not see it?
A little thought shows that both of these questions have the same answer: To test or ob-
serve something, we have to know what it is. Unfortunately, while we can label the extra dimen-
sion with some convenient symbol, this does not tell us about its physical nature, or how it
interacts with the other components of spacetime, or under what circumstances it can be made to
stand out.
3
I will try, however, to illuminate these issues in the next section. The only thing I will
assume at the outset is that the fifth dimension can be labelled by a coordinate and treated on the
same footing as the usual four coordinates of spacetime ( x x 0 , x123 for time and ordinary 3D
space). That is, I will assume that the extra dimension can be labelled as a length, perhaps by the
appropriate use of one or more of the constants of physics as when the speed of light is used to
convert the time to a length x0 ct . The latter constant, plus Newton’s constant G and Planck’s
constant h, will usually be absorbed by a suitable choice of units, except where they are left ex-
plicit to aid understanding. To avoid confusion with the labels for ordinary 3D space (xyz), and
in order not to prejudice its physical identification, I will take the extra coordinate to be x4 l .
This differs from the standard usage in Membrane theory ( x 4 y ). However, other aspects of
In this section I wish to outline a working theory of the fifth dimension, drawing on re-
sults in the literature [6-13], and use it to derive some new effects. It should be recalled that a
major motivation for introducing extra dimensions is unification. It will be seen that the present
model not only gives the cosmological consequences mentioned in section 1, but also leads to
To describe physics in an N-dimensional world needs N coordinates. And while all coor-
dinates are allowed (covariance), the working can be heavy or light depending on how they are
( x, y, z ). But natural systems, from an atom to a cluster of galaxies, are better described by
spherical ones ( r, , ). As a simple model, consider the Earth and an observer who walks
4
around the equator. Visualizing the cross-section, the fact he is confined to the surface means
that he rises or falls only by small increments in the radius dr , as his longitude changes by a
small angle d . The actual distance he moves along the surface is given by the familiar sum of
squares: d 2 dr 2 r 2 d 2 . This is only two-dimensional, but its simple form captures the
The symmetries of five dimensions can be similarly captured, giving what on account of
the simplifications it implies is called the 5D canonical metric [9]. To do this, in the previous
formula the radius r is replaced by a length l along the extra axis; and the increment of angle d
is replaced by the ratio ds / L where ds is the interval in 4D and L is a length scale (here replac-
ing the radius of the Earth in the previous example). The result, after rearranging the terms for
l2 2
dS 2 ds dl 2 ,
2
ds 2 g ( x , l )dx dx . (1)
L
( 1) , both being in principle allowed. The fifth dimension embeds the 4D interval, where
the latter is expressed as usual in terms of a metric tensor and coordinate increments in
spacetime. However, the metric tensor may depend not only on x but also on x4 l , in which
case it may be shown that any 5D problem can be expressed in terms of the general canonical
metric (1). In fact, the dependency of the 4D metric on the fifth coordinate is what gives rise to
what is conventionally known as matter [7], this being a practical application of Campbell’s em-
bedding theorem [8]. In the special case where g g ( x only) in (1), spacetime resembles a
by evaluating Einstein’s equations for (1) that there is no ordinary matter present, but there is
5
vacuum energy measured by a cosmological constant 3 / L2 . It is a corollary of Camp-
bell’s theorem that all vacuum solutions of general relativity, including black holes, can be em-
A more general form of (1) is obtained by noting that it retains its basic form with a con-
stant shift l (l l0 ) along the fifth dimension. This illustrates the property of 5D relativity
known as transformity, which is the change in the form of 4D physics under 5D changes of coor-
dinates that include the extra one x4 l . The group of 5D changes x A x A ( x A ) is of course
In the case of a shift, the change is mathematically small but has a notable effect physically in
that the effective 4D cosmological ‘constant’ becomes dependent on l [6, 11]. Thus a shift to the
2
(l l0 )2 2 3 l
dS
2
ds dl 2 , 2 . (2)
L2 L l l0
There are interesting implications of this for the cosmological ‘constant’ problem and current
models of the -dominated universe [12]. But there is another consequence of (2) which turns
out to be of crucial importance for particle physics: there is a divergence in at l l0 . That is,
there is a hypersurface in 5D where the energy density of the 4D vacuum diverges. This phe-
tially the same thing is present in Membrane theory [4, 5], where though it is introduced ‘by
hand’. There are other, technical differences between the -surface in STM theory and the sin-
gular surface of M theory, as will be seen below. It transpires that the presence of a special
6
hypersurface is crucial for the application of 5D theory to particle physics. But before turning to
quantum mechanics, a brief discussion is necessary of field equations and equations of motion.
The field equations for 5D are commonly taken to be the analog of the 4D Einstein ones
These apparently empty equations actually include Einstein’s 4D equations, as noted elsewhere,
with matter terms dependent on g / l etc. (see refs. 6, 7). Many solutions to (3) are known,
but it is unnecessary to go into them here, as more interest attaches to the equations of motion.
These may be obtained by extremizing the interval in the standard way, via
dS 0 . (4)
The result of this is a set of 5 equations of motion [9, 10]. The first 4 are a set for spacetime,
which can be written as the geodesic equation for general relativity with an anomalous accelera-
tion or force per unit mass f . This acts parallel to the motion along each of the axes of
u g dl
f ( u u ) . (5)
2 l ds
It is proportional to the 4-velocity ( u dx / ds ) and to the velocity through the fifth dimension
term between the 4D frame and the extra dimension as normalized using the 4-velocities. (The
standard normalization condition for massive particles in spacetime is g u u 1 .) These pro-
portionalities mean that f , which is sometimes called the fifth force, is inertial in the Einstein
7
sense. It is akin to the centrifugal force felt by a person on a roundabout in 4D. (A quick way to
appreciate the existence of this extra force is to note that in any dimension of metric-based rela-
tivity the force and velocity are orthogonal as in f Au A 0 , so in the 5D/4D case there is neces-
sarily an extra force because f 4u4 f u 0 .) While (4) and (5) above can be used to obtain
the 5D equations of motion in the general case, a simpler procedure is available that gives the
velocity in the extra dimension for metrics which have a simple form, like (1) or (2). Then the
paths of particles may be obtained directly from the null condition dS 2 0 [6, 13]. This agrees
with the null form of (3), and has been used in both STM and M theory. It means that all parti-
cles behave like photons in 5D whether or not they have rest mass in 4D. In other words,
quantum mechanics and the resolution of some long-standing problems. As a prime example, it
has never been clear why particles and waves provide alternate descriptions of small-scale phe-
nomena. This puzzle can in principle be solved, because 5D dynamics has two modes, depend-
ing on whether the extra dimension is spacelike or timelike. The background is assumed to be
vacuum, so the metric may be taken to be the shifted form of the pure-canonical one given by
(2). As mentioned above, setting dS 2 0 will give the path l l (s) through the fifth dimension
as a function of the 4D proper time. Depending on the nature of the extra dimension, this path is
bra, the symbol (i) can be used, meaning that this factor is present for oscillatory motion but ab-
sent for monotonic motion. Thus there is a constant of the (5D) motion given by
8
1 dl (i )
. (6.1)
(l l0 ) ds L
The sign choice here reflects the reversibility of the motion along the x4 l axis. Integrating
and introducing an arbitrary constant of integration l* gives the bimodal equation of motion:
l l0 l* exp[(i ) s/ L] . (6.2)
For the monotonic mode, a particle either approaches or recedes from l l0 at a rate governed by
L. For the oscillatory mode, a wave undergoes simple harmonic motion about l l0 with ampli-
tude l* and wavelength L. This wave is in effect locked to the locus l l0 . The same result as
(6.2) is obtained from the more general approach based on (4), which shows that in application to
particles the equation of motion for l (s) is actually the Klein-Gordon wave equation, where L is
the Compton wavelength h / mc [13]. More work is needed on the relationship between parti-
cles and waves, but it is clear that they can be regarded as the alternate modes of the motion in a
vacuum-dominated 5D metric. If the modes occur together, their associated spacetime curva-
tures will cancel (see below). So the problem of wave-particle duality can in principle be re-
This conclusion is based on the approach of Space-Time-Matter theory rather than the
alternative Membrane theory, and it instructive to make some comments here about the nature of
As mentioned in Section 1, the STM and M theories are mathematically similar. But
their philosophies differ somewhat, and this is most obvious when their membranes are com-
pared. The membrane in M theory was postulated in order to explain the relative strengths of
particle interactions and gravity, the former being confined to a singular 4D hypersurface while
9
the latter can propagate freely in 5D. This also has implications for the masses of particles (an
account of both theories is given in ref. 6). In M theory, the membrane is symmetric. The mem-
brane in STM theory is not postulated, but arises naturally from the field equations as a conse-
quence of the shift ( l0 ) along the x4 axis of the canonical metric (2). This membrane is akin to
an horizon in general relativity like that familiar from a black hole. It is not singular, because the
wave described by (6.2) can cross the surface l l0 (its range is from l0 l* to l0 l* ). Also, the
membrane is not symmetric, as can be seen from (2) for the energy density of the vacuum as
expected, depending on the local value of the energy density of the vacuum. ( For l ,
3 / L2 where L is the scale of the 4D potential and also defines via the Compton wave-
length a limiting value for particle mass.) In STM theory, modes are allowed with 0 and
0 , which correspond in the simplest case to de Sitter and anti-de Sitter spacetimes embedded
in a 5D manifold with spacelike and timelike extra dimensions. In M theory, the focus is on the
anti-de Sitter mode only. This allows for velocities in ordinary 3D space which are superlumi-
nal, as implied by certain aspects of quantum mechanics. But a more complete account of 5D
It was noted above that the simplest way to account for wave-particle duality is to assume
that the timelike and spacelike modes of STM theory occur together. If the theory is restricted to
one extra dimension, it is possible to generalize the canonical metric (2) by introducing a scalar
field ( g 44 ) which is complex, its two modes being associated with waves and particles [6]. An-
other possibility is to extend STM theory to more than five dimensions, something which has
already been considered for M theory. In fact the STM and M approaches may turn out to be
10
complimentary if the manifold is extended to N 5D . However, while this may be feasible al-
gebraically, it is difficult to justify physically, unless a practical meaning can be given to the
higher dimensions. In this regard, 5D is the basic extension of 4D general relativity, and in the
The material I have discussed to here has been known to workers in the field for several
years. But I now wish to consider two subjects, namely quantization and uncertainty, which find
expect that the canonical 5D metric will explain at least the main features of quantum physics.
There are several ways to construct models of particles in 5D, some of which are quite compli-
cated [6, 13]. But it seems to have eluded notice that quantization is simple and inevitable as a
particle/wave approaches the special surface l l0 in the canonical metric (2). To see this, it is
sufficient to take (6.1) and rewrite it, dropping non-essential factors, to give
dl ds mc ds
. (7)
(l l0 ) L h
Here the identification for L h / mc noted above has been used, where m is the mass of the par-
ticle associated with the wave of (6.2). As the wave approaches l0 , both dl and ( l l0 ) ap-
proach zero with the ratio dl / (l l0 ) 1 . Then by (7) mc ds h , giving the usual quantum
rule. This is a kind of automatic quantization, made obligatory by the mechanics. To obtain a
(In the more general case alluded to above where g 44 is a complex scalar field, the same result
follows if the eigenstates of the field are given by g 44 n 2 .) The inference is that quantization
11
with the old wave mechanics rule mc ds nh is due to being near a special hypersurface in the
fifth dimension.
The quantum uncertainty relation, it turns out, also has to do with near l0 behaviour. In
that region, the anomalous force per unit mass (5) due to the extra dimension can become large
(assuming the coordinates are not chosen especially to remove it). It can be evaluated for the
canonical-type metric (2) by using g (l l0 )2 L2 g ( x ) where g ( x ) is the metric tensor
of spacetime. Then g / l 2(l l0 )1 g . Assuming that the 4-velocities are normalized as
noted before via g u u 1 the scalar coupling term in (5) is (g / l )u u 2(l l0 )1 . And
(5) gives
u dl (i )
f u , (8)
(l l0 ) ds L
where (6.1) has been used. The sign choice here has to do with reversibility, and the (i) arises
because the acceleration f du / ds and the 4-velocity u are necessarily out of phase for
simple harmonic motion (see above). Neither thing is important for the analysis, so they may be
du 1 dx dx
or du . (9)
ds L ds L
This last equation can be employed to form the scalar quantity du dx ds 2 / L . This may in
The result is du dx L . Substituting for L h / mc from before, and replacing the change in
12
dpu dx h . (10)
This resembles the usual quantum uncertainty relation. Strictly speaking, however, (10) refers
only to the mismatch in momentum and position due to the fifth force (5) arising from the extra
Einstein’s opinion about extra dimensions oscillated through his lifetime. At one stage,
writing with Bergmann in 1938, he stated: “We ascribe physical reality to the fifth dimension”
[14]. It is remarkable, for both physics and psychology, that after so many years there is still no
consensus (let alone empirical proof) about the fifth dimension. Before delving into the reasons,
it is instructive to review what has been shown above about the achievements of one well-studied
There are many ways to construct a map with spacetime and an extra dimension. An ob-
vious choice is to use Cartesian coordinates, where the total element or distance is a sum of the
squares of the increments in spacetime and an extra orthogonal dimension, like a right-angled
triangle. But an option preferred by nature is to imagine that spacetime is measured around the
perimeter of a circle, with the fifth dimension being like the radius. It is important to realize that
in this map, the actual shape of spacetime is not necessarily a circle, since appropriately-placed
points in circular polar coordinates can describe any shape. However, it is true that the ‘default’
shape is a circle. This is the case for the so-called 5D canonical metric (1), where spacetime is
embedded as a kind of spherical surface, like the surface of the Earth in ordinary 3D space. The
physical justification for this metric is that it embeds all vacuum solutions of Einstein’s 4D theo-
ry, where the energy density of the vacuum is measured by the cosmological constant . The
form of the canonical metric is preserved when there is added a shift along the extra dimension,
13
and surprisingly the new is not constant and indeed diverges at a hypersurface defined by a
special value of the extra coordinate as in (2). This surface enters naturally in Space-Time-
Matter theory, but is put in artificially at the foundation of Membrane theory. Irrespective of the
space – far from and near to the membrane – is given by the field equations (3). These include
Einstein’s field equations of 4D general relativity, together with matter. This originates because
the 4D potentials now have an extra degree of freedom associated with the fifth dimension, and
the ‘force’ associated with the gradient in that direction manifests itself as energy (matter). This
and other aspects of the embedding of 4D in 5D are governed by Campbell’s theorem. The paths
of individual particles through the 5D manifold can be obtained by carrying out the variational
exercise summed up in (4). This shows that, in general, an extra force per unit mass (5) acts in
spacetime. A further consequence of the extension of the manifold is that the conventional defi-
nition of causality using the 4D proper time ( ds 2 0 ) can be replaced by a null condition on the
5D interval ( dS 2 0 ). So in 5D all particles behave like photons and everything in the universe
On the small as opposed to large scale, the vacuum and the membrane typical of it play a
dominant role. The equation of motion in the extra dimension shows a monotonic mode and an
oscillatory mode, dependent on the sign of the extra metric coefficient, as in (6.2). It is natural to
identify these with the paths of particles and waves, and the manifold remains 4D flat if both
modes are realized. (The details of this are still obscure, though it could be that the extra metric
coefficient is not just unity as in the canonical metric but represents a complex scalar field with
the membrane a breakdown in it.) Quantization is a characteristic of the approach to the mem-
brane, whose properties are such that the motion is constrained as in (7), resulting in the standard
14
Planck-type rule. The quantum uncertainty relation is also connected with the influence of the
membrane, because the motion in the extra dimension is linked to it. The analysis of (8)-(10)
shows that the momentum and the position became autocorrelated in the manner of the standard
Heisenberg relation. It should be said that while quantization and uncertainty can in principle be
explained by a 5D manifold with a special hypersurface, other aspects of the membrane remain
to be clarified.
Even so, the list of achievements due to the introduction of one extra dimension is im-
pressive. So why is the fifth dimension not more widely accepted, and why has it recently come
under attack? The criticism is strongest against theories with many dimensions (i.e. N>5), par-
ticularly string theory, but does include modern versions of the old 5D Kaluza-Klein theory [1-
3]. Perhaps the most telling objection is that after many years of investigation there is still no
empirical proof of the existence of even one extra dimension. This is a valid position, especially
as regards approaches like string theory which have a significantly different basis than general
relativity. But the lack of experimental support for extra dimensions is not a strong enough ar-
gument to justify the abandonment of modern theories which use only one extra dimension and
smoothly embed general relativity by virtue of Campbell’s theorem. For such approaches, it is
not a question of right or wrong, but rather one of degree of support. Some workers would argue
that explaining the origin of matter is enough of a return to be worth the investment of belief in
one extra dimension. Nevertheless, the comment is commonly heard that it is difficult to believe
in a fifth dimension when it cannot be “seen”. This objection, on closer consideration, should be
regarded as suspect. Newton could not “see” gravity when he formulated the inverse-square law
for it. And Einstein could not “see” the curvature of spacetime when he used it to re-express the
15
gravitational force. In physics, the question of whether something can be seen or not is frequent-
ly irrelevant.
It was pointed out by Eddington, in the early days of general relativity and quantum me-
chanics, that whether something can be seen is a hopelessly subjective way of deciding if it be-
longs in physics. He went on to develop a comprehensive philosophy of science [15]. This has
been re-examined in relation to modern physics, with the conclusion that the subject progresses
not so much by seeing new things as by improving its logical framework [16]. While that view
may not be universally accepted, it is shown by the propensity in physics for constructing mod-
els. This mode of progress is taking over cosmology, and has long been the standard in quantum
theory. It has been shown above that one extra dimension – of the appropriate sort – can provide
improved understanding on both the large and small scales. This applies to the nature of the
vacuum and the origin of classical matter, as well as the reasons for quantization and quantum
uncertainty. It can be argued that the introduction of the fifth dimension has significantly im-
proved the logical consistency of physics. And further improvement may be expected and would
certainly be welcome. At present, quantum theory in particular is in a disordered state, its for-
malism littered with the paradoxes of old models: wave-particle duality, pilot waves, decoher-
ence, collapse of the wave function, loss of information, time-ordering, zero-point fields,
I think it is fair to suggest that if the fifth dimension succeeds in rationalizing our under-
standing of quantum mechanics, then it should be provisionally accepted as in some sense exist-
ing. This over the objections of certain workers who may wish to continue arguing that they
cannot believe in something unless they can “see” it. After all, we cannot “see” time, but it en-
16
ters almost every equation of physics. I suggest that the fifth dimension be treated – like time –
as a concept, whose acceptance (or not) should be decided by how useful it is.
Acknowledgements
Although their views may not coincide exactly with mine, I am grateful for discussions
References
[2] P. Woit, Not Even Wrong: The Failure of String Theory and the Continuing Challenge to
[8] S.S. Seahra, P.S. Wesson, Class. Quant. Grav. 20 (2003) 1321.
[9] B. Mashhoon, H. Liu, P.S. Wesson, Phys. Lett. B 331 (1994) 305.
[10] B. Mashhoon, P.S. Wesson, H. Liu, Gen. Rel. Grav. 30 (1998) 555.
17
[12] J.M. Overduin, P.S. Wesson, B. Mashhoon, Astron. Astrophys. 473 (2007) 727.
[13] P.S. Wesson, Phys. Lett. B 701 (2011) 379; ibid. B 706 (2011) 1; ibid. B 722 (2013) 1.
[15] A.E. Eddington, The Nature of the Physical World, Cambridge Un. Press, Cambridge
(1928).
[16] P.S. Wesson, Weaving the Universe: Is Modern Cosmology Discovered or Invented?
[17] J. S. Bell, Speakable and Unspeakable in Quantum Mechanics, Cambridge Un. Press,
[18] J. Marburger, Constructing Reality: Quantum Theory and Particle Physics, Cambridge Un.
[19] P. Halpern, The Great Beyond: Higher Dimensions, Parallel Universes, and the Extraordi-
[20] B.J. Carr, Universe or Multiverse? Cambridge Un. Press, Cambridge (2007).
18