Академический Документы
Профессиональный Документы
Культура Документы
T. D. Andersen
(Dated: Received: date / Accepted: date)
Abstract
The search for a quantum theory of gravity has become one of the most well-known problems in
theoretical physics. Problems quantizing general relativity because it is not renormalizable have
led to a search for a new theory of gravity that, while still agreeing with measured observations, is
renormalizable. In this paper, I show that, given a vortex model of elementary particles in which
rest mass derives from intrinsic spin and polarization, a Yang-Mills force with a SO(4,1) group
symmetry predicts post-Newtonian N-body motion such as solar system observations of gravita-
tional behavior as well as binary pulsar precession and orbital speed-up caused by gravitational
radiation-reaction. Yang-Mills theory of the SO(4,1) group is dened on a lattice graph such that
a background manifold is not requireda property unique to the (anti-) de Sitter and Poincare
groups. It predicts the accelerating expansion of the universe as a consequence of the de Sitter group
Lie algebraan acceleration that I show does not occur in the Poincare group approximation
suggesting that the de Sitter group symmetry explains dark energy. In addition, with quantized
mass, because it is a generic massless, semi-simple Yang-Mills theory, it is mathematically proved
to be a perturbatively renormalizable quantum theory.
PACS numbers:
1
I. INTRODUCTION
That general relativity is able to subsume Newtonian gravity and explain phenomena
that do not t into the Newtonian framework such as Mercurys perihelion precession, light
deection, and gravitational red-shift as well as being compatible with special relativity has
brought it wide acceptance. In recent years, however, as measurement tools have grown more
accurate and new observations made, the necessity of introducing either tunable parameters
or exotic forms of matter and energy to make general relativity t those measurements has
brought the theory into question. Observations of galactic rotational curves and gravita-
tional lensing [39] [27] [4] have demanded the introduction of dark matter and accelerating
expansion of the universe [21] dark energy. At present there is no consensus on what these
substances are.
Besides the problems with general relativity at the macroscopic scale, achieving a quan-
tum theory of gravity has become one of the most signicant unsolved problems in physics.
Attempts to place the Einstein-Hilbert action,
S
EH
=
_
d
4
x
gR, (1)
where R is the Ricci scalar, into a functional path integral ensemble, have all failed, giving
nonsense results. The immediate source of the diculty is that the theory is not renor-
malizable creating an innite number of counterterms in perturbation expansions. Another,
less theoretically troubling but mathematically dicult issue is that the expansion of the
Lagrangian fails to terminate because of the volume element
g and the inverse metric
g
. Therefore, unlike the actions of other forces, the gravitational action is not nite poly-
nomial. A disaster also occurs quantizing the weak force but disappears when it is unied
with the electromagnetic force, motivating the quest to unify gravity with the other forces
in the hope that it will become renormalizable [38].
Although elegant and surprisingly accurate until recent decades, because the dieren-
tiable manifold assumption about spacetime causes such deep, unresolvable problems at the
quantum level, there is some motivation to nd an alternative to dieomorphism as the
source of gravity. Despite its current acceptance, dieomorphism was a counterintuitive
choice for a theory of gravity given the success of electromagnetism in the 19th century. As
Wald points out [31],
2
Maxwells theory is a remarkably successful theory of electricity, magnetism, and
light which is beautifully incorporated into the framework of special relativity.
Therefore, one might expect that the next logical step would have been to develop
a new theory of the other classical force, gravitation, which would generalize
Newtons theory and make it compatible with special relativity in the same way
that Maxwells theory generalized Coulombs electrostatics. However, Einstein
chose an entirely dierent path[.]
Because dieomorphic symmetry has never been precisely measured, the path not taken still
lies open.
The precision to which general relativity has been conrmed is two-fold: (1) if general
relativitys eld equations were as simple as Maxwells equations or not very much more
complicated, then it could be considered a well-conrmed theory because its linearized ver-
sion has a great deal of evidence behind it, and (2) although observation has conrmed
many eects, many of the highly non-linear portions of the theory have been unobservable
in any precise way because of the weakness of gravity. All precision experiments (classic
tests) of general relativity have been done within the solar system (with the exception of
binary pulsar precession) where spherically symmetric, weak gravity prevails and only the
rst order post-Newtonian Einstein-Infeld-Homan (EIH) equations have been conrmed
[19] [31]. An example of the best recent evidence for strong eld general relativity is the
periastron precession of the double pulsar system PSR J0737-3039A/B [13], which is a rst
post-Newtonian order conrmation. Furthermore, recent measurements of the cosmic mi-
crowave background, where spacetime curvature is most likely to appear, show none at all
[12] with the inationary theory as a potential explanation [32].
The dierence between the EIH equations and the full equations of GR has invited a large
number of alternative theories of gravity such as are discussed in [35], but virtually all are
metric theories and retain the dieomorphic spacetime picture with the associated problems
mentioned above. Non-metric theories, by contrast, oer the hope of eliminating gravitys
problems with quantization at the cost of also eliminating the elegant curved spacetime
approach. It has been suggested that the Standard Model approach, where forces have
Yang-Mills actions, may be more suitable for a quantum theory of gravity because of its
success at explaining the other forces. The tetrad or veirbein formulation of the Einstein-
Hilbert action, for example, has a structure similar to the Yang-Mills [38]. Conformal gravity
3
has a Yang-Mills structure as well but tends to diverge strongly from Newtonian gravity
over large length scales [25][18]. None of these theories have achieved signicant success in
making predictions that general relativity is not capable of making nor in resolving, entirely,
the problems with the quantum theory. Thus, there has been, as yet, no motivation for
replacing general relativity with any of these nor of accepting any as quantum gravitys true
representation.
In this paper, I present a Yang-Mills theory of gravity with a SO(4,1) or de Sitter group
without a background metric, where the Yang-Mills potential is itself responsible for space-
time curvature and determining geodesics. Thus, Einsteins curved spacetime approach is
retained without sacricing renormalizability at the cost of dieomorphism. This paper rep-
resents the rst time that a Yang-Mills theory based on this group has been shown to agree
with all precise observations of gravitational phenomena. Because a non-Abelian SO(4,1)
theory has local Lorentz symmetry, the theory complies with the Einstein Equivalence Prin-
ciple (EEP) and the Strong Equivalence Principle (SEP) (which even most alternate metric
theories do not satisfy [35]). All physical theories are Poincare symmetric, but, given that
the Poincare group is not semi-simple, the de Sitter group is a natural choice for a semi-
simple extension. The anti-de Sitter group would serve as well, and there is no compelling
evidence to choose one over the other. Thus, everything in this paper applies equally well
to that group.
Yang-Mills theories have a nite, polynomial action with a renormalizable quantization
provided the coupling constant has non-negative mass dimension. Since G has a mass-
dimension of 2, a non-dimensional gravitational constant, a
g
, is needed for quantum pre-
dictions. Because the coupling constant is non-dimensional, mass, energy, momentum, and
angular momentum are quantized, which has already been suggested in the context of other
theories of gravity [34]. Any quantum eld can be decomposed into nitely many modes
with a quantum of momentum between successive modes k,
=
M/2
n=M/2
a
n
e
ik
n
x
, (2)
which constrains the number of degrees of freedom of the eld to be a nite number, M.
The quantity M is simply a regularization (energy cuto) which is taken care of by renor-
malization, and, if the k
n
are closely spaced (k is small) then, we can take the continuum
4
approximation,
(x
)
_
M/2
M/2
dk
(2)
4
(k
)e
ik
x
. (3)
This is an approximation only however, similar to the thermodynamic limit approximation
of classical uids, taking the number of molecules to innity, and, at a fundamental level,
the number of degrees of freedom of the eld remains nite.
With a lattice method, I show that the background coordinate system normally present
in Yang-Mills theory can be replaced with an articial, bookkeeping coordinate system
where all distances, time intervals, and torsions in spacetime are derived from the Yang-Mills
potential. In this way, the Yang-Mills action is the same as the standard Yang-Mills action
for SU(N) theories, but its potential alone is the measurement of spacetime.
The second component to the theory is that rest mass is derived from the energy of
spin and polarization. In any frame, these vectors form an anti-symmetric tensor S
such
that polarization is p
i
= S
0i
and spin is s
i
=
ijk
S
jk
where summation is implied. Spin
and polarization have a conserved current (similar to the symmetric electromagnetic stress
energy tensor [9]),
T
=
_
S
+
1
4
_
, (4)
where
, V
] = iM
where
V
are momentum generators and M
] = 0. Because the de
Sitter theory produces spin from momentum without an initial source of spin, it causes the
expansion of the universe to produce gravitons that in turn couple to spin which in turn
create gravitons that couple back to momentum. The back and forth production of gravitons
leads to an accelerating redshift. This explanation is similar to the explanation for Thomas
precession where the orbital motion of an electron increases its spinan anomaly explained
in the early 20th century which can be shown from the Lorentz Lie algebra [9]. Hence, gravi-
tons produce dark energy because of the relationship between momentum and spin in a
de Sitter symmetry group. No cosmological constant is required, and no vacuum energy is
modelled. The accelerating expansion eect is produced directly from the Yang-Mills equa-
tions. Observations currently attributed to dark matter such as galactic rotational curves
and anomalous lensing are not addressed in this paper.
The paper is organized as follows: Sec. II A describes the conserved quantities of mass
and linear momentum, oscillation momentum, and angular momentum, how these are rep-
resented in the theory, and how they appear intrinsically through the vortex model; Sec.
II B derives the Yang-Mills theory with only a lattice and the gravitational potential and
6
no background manifold. This section also explains how the bookkeeping coordinate system
works; Sec. II C shows a derivation of the eld equations for the SO(4,1) Yang-Mills theory
and its formulation as two covariant eld equations; Sec. II E derives the equation for parti-
cle motion and shows that it is the same as the geodesic equation; Sec. II F gives a discussion
for how the theory satises the Strong Equivalence Principle (SEP) which GR also satises;
Sec. V discusses novel predictions made by the theory; Sec. II G briey mentions the mathe-
matical justication for a renormalizable quantization; Sec. III shows that the theory agrees
with measurements within the solar system including redshift, perihelion precession, time
dilation and light bending (III B), binary pulsar precession (III C), the quadrupole formula
for gravitational radiation as well as showing that there are no dipole/monopole moments
(III C1), and the equations for an expanding Robertson-Walker universe (III D); Sec. IV
explores any possible experimental disagreement with the theory; Sec. V discusses tests that
may conrm or deny the theorys predictions; and Sec. VI discusses related work. There
are also two Appendices.
II. THE THEORY
Although ad hoc gravitational theories exist, a good theory tends to be based on a guiding
principle. In developing this theory, the guiding principle is that gravity is an ordinary force
in the standard, SU(3)SU(2)U(1) model. This does not imply, as is frequently mentioned
in the literature, that gravity needs a background manifold to be dened as a non-metric
theory. It does not provided one accept a lattice graph construction to spacetime. (A lattice
graph, unlike a lattice imposed on a manifold, does not break Lorentz covariance.) The
assumptions of the lattice graph are equivalent in a discrete sense to Einsteins dierential
manifold and point-coincidence assumptions [22]. They both assume that events take place
at points and that points have neighboring points. Indeed, the lattice assumptions are
weaker because they do not require continuity, meaning that neighboring points need not
be close. Quantum entanglement may imply that neighboring event points are not always
close in space, which is possible in the lattice approach but not in general relativity.
7
A. Conserved quantities of the vortex model in the classical limit
The vortex model of elementary particles was rst introduced by Lord Kelvin for atoms
and since expanded with modern intrinsic quantum properties of particles [15]. Even pre-
dating the development of special relativity, the mass of the electron has been presumed to
derive from its electrical energy [17], and hence the stress-energy tensor of an electron, and,
by extension to quarks and other particles, all matter, must, classically, take the general
form of the Maxwell stress-energy tensor. For neutral particles, their stress energy is based
on spin and oscillation rather than magnetic and electric elds, but the critical point is that
spin/oscillation has, not only mass, but kinetic energy in the form of static pressure. In
other words, particles cannot be represented as point masses, blobs of matter where the
only non-zero component of their stress-energy tensors is T
00
= m (in the rest frame). The
stress-energy tensors have space-space components as well,
jk
T
jk
= m. Because they are
positive, these space-space components cannot be cancelled out in scaling up to macroscopic
bodies.
The vortex model proposes that all mass derives from intrinsic quantum properties of
spin and oscillation. Spin and oscillation are not separate entities, and each particle has a
covariant, anti-symmetric spin tensor, s
= s
= T
(V
) +
1
2
S
, (5)
where S
0 p
1
p
2
p
3
p
1
0 s
3
s
2
p
2
s
3
0 s
1
p
3
s
2
s
1
0
. (6)
The total energy is given by,
T
= [S
+
1
4
]. (7)
Like the electromagnetic stress energy tensor, this has the form (in Cartesian coordinates
(x, y, z)) [9],
T
1
2
(p
2
+ s
2
) U
x
U
y
U
z
U
x
P
xx
P
xy
P
xz
U
y
P
yx
P
yy
P
yz
U
z
P
zx
P
zy
P
zz
, (8)
where
U = p s, P
ij
= p
i
p
j
+ s
i
s
j
1
2
(p
2
+ s
2
)
ij
, p
2
= (p
x
)
2
+ (p
y
)
2
+ (p
z
)
2
, and s
2
=
(s
x
)
2
+ (s
y
)
2
+ (s
z
)
2
.
Similar to the electromagnetic Poynting vector,
S
Poynting
=
1
2
E
B, the vector
U/m is a
particles ux or velocity. The energy ux or momentum is
U. Particles in the rest frame
have no energy ux. This gives a denition of a massive particles rest frame: it is the frame
where the polarization and spin vectors are parallel, p s = 0. This means that in every
particles rest frame, the plane of oscillation is orthogonal to the plane of spin. Although
spin and oscillation of particles are essentially quantum parameters rather than properties of
motion, the point particle is analogous to a body following a periodic helical path revolving
about its axis of spin while oscillating normal to the plane of spin like a tiny vortex. As the
particle increases velocity with respect to the observer, the angle between the planes of spin
and oscillation decreases until they become parallel at the speed of light (which explains
why light waves are transverse). Therefore, the two 3-vectors are plus or minus the same
direction, p
i
= s
i
.
The conserved current above for massive particles in the rest frame has a convenient
representation in spherical coordinates,
T
00
= T
rr
= (p
2
+ s
2
) (9)
9
Because p
2
+ s
2
= m (with c = 1) in the rest frame,
T
00
= T
rr
= m (10)
Finally, the conserved currents described here should not be confused with the denition
of stress-energy-momentum in general relativity. General relativity provides a denition of
energy based on the symmetries of spacetime geometry. If we have an action that depends
on the metric eld, o(g
g
o
g
= T
. (11)
This is not the tensor, T
= T
, (12)
where G
. In this
section, A Yang-Mills theory is derived without a background manifold using a dual labelling
10
approach where each vertex on a four dimensional lattice is associated with two labels: (1) 4-
vector, y
a
= (y
0
, y
1
, y
2
, y
3
), labels derived from the gravitational potential that represent true
distances and torsions between vertices and (2) a second set of labels, x
a
= (x
0
, x
1
, x
2
, x
3
),
that are equidistant between neighboring vertices. The mapping x
a
y
a
is one-to-one and
onto since there is exactly one of each label for each vertex.
In this section only, I will use the beginning letters of the latin alphabet a, b, c, . . . , h
to represent 4-vectors. (I prefer not to use the usual Greek letters , because they are
typically used with a metric and a dieomorphic manifold. Here we assume no general
covariant structure because there is no manifold.) These letters range over 0, 1, 2, 3. I will
use y
4
and x
4
to refer to the additional, 5th dimension that completes de Sitter group vectors.
I will use the middle latin letters i, j, k, l (in this section only) to label entire vectors. When
I do so, the vectors will be bolded, e.g., y
i
.
Let time be imaginary t i. Consider a four dimensional lattice and label each vertex
with four numbers y
0
, y
1
, y
2
, y
3
. These labels are undened for now. Consider three vertices
in a row y,z, and w, and let U
yw
(z) be a small rotation matrix with > 0 the small
parameter. U
yw
= exp(A
a
) can be split into two parts: G
ab
and H
abc
by the following: an
SO(5) potential can be written as a sum of generators:
A
a
= G
ab
V
b
+
1
2
H
abc
M
bc
, (13)
where V
b
are generators for rotations in the y
b
-y
4
plane and M
bc
= M
cb
are generators for
SO(4) for rotations in the y
b
-y
c
plane where a, b, c = 0, 1, 2, 3. We will refer to G
ab
and H
abc
as the gravitational potentials.
To linear order in ,
U
yw
= I + A
a
= I + (G
ab
V
b
+
1
2
H
abc
M
bc
).
Each of the ten generator matrices, V
b
and M
bc
, is a 5 by 5 matrix. Let y = (y
0
, y
1
, y
2
, y
3
, y
4
)
and w = (w
0
, w
1
, w
2
, w
3
, w
4
), then we dene
w := [I + (G
ab
V
b
+
1
2
H
abc
M
bc
)]y. (14)
Eliminating the generator matrices, the equation 14 implies the relationship between the
4-vectors,
w
a
=
1
2
H
abc
y
c
+ G
ab
+ y
b
, (15)
11
y z w
U
yw
(z)
FIG. 1: The de Sitter operator U
yw
(z) transforms vectors in parallel transport from y to w. In
this picture, a vector starting at y both rotates and translates as it moves in parallel transport to
w. The dotted lines represent intervening states of the vector, but these are never realized because
points other than y, z, and w are not dened. The translation of the vector as well as the rotation
is accomplished by U
yw
(z) because there is no underlying metric space.
again, all to linear order in . The rst term in the right hand side of 15 represents the
torsion or twisting of a vector as it travels from y through z to end at w. The second term
on the right hand side represents the translation. (Note: if G
ab
(z) = 0 then there is no
translation and the two lattice points are eectively in the same location. This means that
it is possible for spacetime to collapse in on itself as in the Big Bang.) Figure 1 illustrates
how the potentials translate and rotate vectors in parallel transport from y to w, dening
the relationship between the points in spacetime y and w.
The labels of the lattice, y, are dened in terms of the gravitational potentials by hopping
from point to point outward from the only pre-dened point y (which is arbitrary of course).
Note: a similar procedure can dene the natural numbers in terms of a successor function
S, where 0 is the only predened point, from Peanos axioms. The gravitational potentials,
G and H, are successor functions that dene the spacetime lattice.
Having dened the labels as coordinates in a discrete spacetime, the Yang-Mills theory
can be derived using lattice gauge theory. First, dene the second labelling system by the
same method but using trivial potentials G
ab
=
ab
, the Kronecker delta such that
aa
= 1
and
ab
= 0 for a ,= b, and H
abc
= 0. This labelling system is denoted by x
a
and corresponds
to a lattice where each vertex is a distance /2 from each of its eight neighbors.
The relationship between the two coordinate systems, the articial one x and the true
one y, is illustrated in gure 2.
To dene the action of gravity, consider a plaquette p between four vertices in the a b
plane between x
i
, x
j
, x
k
, x
l
, and back to x
i
, and assume that each vertex on the plaquette
12
x
1
x
2 x
3
x
4
x
5 x
6
x
7
x
8
x
9
ab
y
1
y
2
y
3
y
4
y
5 y
6
y
8
y
7
y
9
G
ab
Artificial coordinate labels True coordinate labels
FIG. 2: This picture shows a 2D example of how the coordinates are dened. On the left is
the articial coordinate system while on the right is the true coordinate system. The subscripts
indicate which point maps to which, so x
1
maps to y
1
and so on. The distances, , between the
articial points on the right are equal (implying a Cartesian system) while those on the left are
given by the translation potential G
ab
scaled by . Only the distances on the right are measurable.
The lattice points on which the potentials are dened in between the coordinate points are not
shown.
is a distance (two lattice edges) from its two neighbors on the plaquette. (In other words,
there are lattice points at the midpoints in between the plaquettes vertices at which the
transformation are dened.) The action on the plaquette is given by S
p
= Re tr U
ij
U
jk
U
kl
U
li
.
Now, U
ij
= exp(A
a
(x)) where x = (x
i
+x
i
)/2 is the midpoint between x
i
and x
j
and likewise
for U
jk
, U
kl
, and U
li
. The remaining calculations can be found in a standard text such as
[38]:
U
ij
U
jk
= e
Aa
e
A
b
= e
(Aa+A
b
)+
1
2
2
[Aa,A
b
]+O(
3
)
U
kl
U
li
= e
A
a
e
A
b
= e
(A
a
+A
b
)+
1
2
2
[Aa,A
b
]+O(
3
)
Some matrix algebra gives,
U
ij
U
jk
U
kl
U
li
= e
2
{(AaA
a
)/(A
b
A
b
)/+[Aa,A
b
]}+O(
4
)
which simplies to
U
ij
U
jk
U
kl
U
li
= I+
2
_
(A
a
A
a
)
(A
b
A
b
)
+ [A
a
, A
b
]
_
+
_
2
_
(A
a
A
a
)
(A
b
A
b
)
+ [A
a
, A
b
]
__
2
,
13
to the required order. Summing over all plaquettes, there is a constant term, the vacuum
energy (note that here the gravitational potential does not couple to vacuum energy), the
middle term cancels out, and an equation for the total action is,
S =
p
Re tr
_
2
_
(A
a
A
a
)
(A
b
A
b
)
+ [A
a
, A
b
]
__
2
Taking 0 gives us the Yang-Mills potential and continuing to real time from imaginary
time changes the
ab
operators into
ab
operators,
S =
1
4g
2
_
d
4
x
ac
bd
F
ab
F
cd
, (16)
where g is the coupling constant and
F
ab
=
a
A
b
b
A
a
+ [A
a
, A
b
]. (17)
The Minkowski metric comes from continuing from the SO(5) group to the SO(4,1) group
and represents the coordinate system in which the de Sitter group operators are represented
rather than the metric of space time.
The only requirement of the articial coordinates is that they map every coordinate
point x
a
to every true coordinate point y
a
one-to-one and onto. The coordinate system, x
a
,
is generally covariant in the continuum limit, but the dieomorphic symmetry is vacuous
because the coordinate points are not measurable. Only the rst coordinate system, y
a
, is
measurable. Distances and time are measured with rods and clocks. Torsion is measured by
detecting particle spin and oscillation. Hence, the coordinates y
a
are observables, but x
a
is
invented for convenience, a bookkeeping system.
A note on indexes: 15 implies that all the indexes of the gravitational potentials (including
the rst index) refer to true coordinate indexes. Indeed, by using the gravitational potential
to dene both the true and articial sets of coordinates, we avoid invoking another type of
index. In the rest of the paper, Greek letters are used for all indexes in order to conform
to the convention set by relativity, e.g., G
rather than G
ab
. The gravitational potentials,
however, are pseudotensors not tensors.
C. Yang-Mills theory and derivation of the eld equations
In this section, I begin with standard Yang-Mills theory and derive a locally de Sitter
theory of quantum gravity using the de Sitter Lie algebra. Yang-Mills theory describes
14
forces as exchanges of gauge bosons based on a group symmetry. The Standard Model of
quantum eld theory currently contains three forces, electromagnetism, the weak force, and
the strong force in a U(1)SU(2)SU(3) group symmetry, all using the Lie algebras of
semi-simple groups.
A conventional SU(N) Yang-Mills theory has action,
S =
1
4g
2
_
d
4
xF
, (18)
where g is the coupling constant and
F
i[A
, A
], (19)
is the force (a misnomer carried over from the electromagnetic Lorentz force) where A
is
a matrix potential from the SU(N) group. For the SO(4,1) group these are 5 5 matrices.
(Note that in the previous section we absorbed a factor of i into A
= U(x)A
(x)
i/g
U(x)U
= A
(x) + i[(x), A
F
a
, (20)
F
a
A
a
A
a
+ f
abc
A
b
A
c
, (21)
and f
abc
is the group symbol.
The SO(4,1) potential is written as a sum of generators of Lorentz rotations and boosts
and of boost/rotations with respect to x
4
,
A
= G
V
+
1
2
H
, (22)
where the pseudotensor potential G
couples to T
and pseudotensor H
to S
. In
this sense, the theory resembles Einstein-Cartan theory but not in the same way as the
Macdowell-Mansouris action which is neither de Sitter invariant nor renormalizable [37].
Following the de Sitter algebra of A, the forces of gravity decompose into a covariant
form with two equations,
E
(G
+ G
) , (23)
15
and
F
+ G
(24)
where
=
1
2
(H
+ H
) . (25)
Thus, the action of gravity is,
S
gravity
=
1
4a
g
_
d
4
xE
+
1
2
F
. (26)
Here the coupling constant is a
g
= g
2
.
The classical equations of motion of any Yang-Mills theory can be found by the variation
of the action, S = 0, via the Euler-Lagrange equations,
_
/
(
a
)
_
/
A
a
= 0, (27)
where / = F
a
a
is the Lagrangian. Evaluating the Euler-Lagrange equations for the
Yang-Mills Lagrangian, the equations of motion are,
i[F
, A
] = 8g
2
J
, (28)
where J
(E
+ G
) = 8T
(29)
+ E
= 8S
(30)
where
=
1
2
(F
+ F
) . (31)
16
The usual negative sign on the RHS is ipped to positive because the i is absorbed into the
potential. This is what makes like signed masses attract rather than repel. The coupling
constant, a
g
= g
2
, is non-dimensional, but, because the size of the mass quantum is not
known, the standard coupling constant, = G/c
4
, in units such that = 1, sucies for the
classical equations.
Boundary conditions are:
G
0 (32)
and
H
0,
0 (33)
as x
.
Gauge transformations can be done in component form. Consider the SO(4, 1) de Sitter
transformation (x) =
(x)V
+
1
2
= G
(x) +
(x)H
(x)H
(x)G
) (34)
and
H
= H
(x)+
(x)G
+
1
2
(x)H
(x)H
(x)H
(x)H
),
(35)
which can be found from the Lie algebra.
D. Equations for evolution of matter
The continuity equations determine the evolution of matter. By Noethers theorem, for
any matter action, o
M
, e.g., Diracs, the relations between the potential G
are,
T
=
o
M
(G
)
, (36)
S
=
o
M
(H
)
, (37)
and the continuity equations are,
D
= 0, (38)
D
= 0, (39)
17
[10], where, for a generic source J
a
and potential A
a
, D
i[A
, J
] is the
covariant derivative. Applying the de Sitter Lie algebra to 38 and 39, the full continuity
equations are,
(G
+ T
) = 0, (40)
+ G
= 0 (41)
where
=
1
2
(H
+ H
) . (42)
There are nonlinearities in the eld equations 29-30 and the continuity equations because
gravitons have spin, polarization and momentum and couple to themselves. These nonlin-
earities are too small to detect except at the cosmological scale (Sec. III D) and close to
strongly gravitating objects moving at high speeds or rates of rotation.
When H
) = 8T
, (43)
which, under the harmonic gauge condition, is,
G
= 8T
, (44)
which relates the tensor T
to the pseudotensor G
(). Given the basic structure of the theory from Section II B, the potential,
G
, takes the place of the metric normally found in Lagrangians for test particle motion.
Indexes are raised and lowered with the Minkowski metric
dx
d
dx
d
+ H
dx
d
dx
d
dx
d
. (45)
This describes both the curvature and twisting of the path as it moves through spacetime
along its shortest path. (One can derive this equation by looking at the discrete lattice in
Section II B and describing a path as a sequence of connected edges in the lattice.)
No observations of gravitational phenomena, save perhaps cosmological observations, are
sensitive enough to measure torsion. Therefore, we concern ourselves in this section only with
geodesic motion. Let H
dx
d
dx
d
. (46)
The equations of motion are given by the Euler-Lagrange equation,
d
d
_
/
(dx
/d)
_
/
x
= 0. (47)
The equation of motion for the particle (the geodesic) is,
d
2
x
d
2
+
1
2
(G
1
)
]
dx
d
dx
d
= 0, (48)
which is the geodesic equation. Note: there is a distinction between raising indexes and
inverting G
. Its inverse is (G
1
)
such that (G
1
)
, not G
.
2. The geodesic of massive bodies
For a test particle with internal static pressure (which applies to bodies such as planets),
let the Lagrangian for particle motion be,
/ =
1
2m
G
, (49)
19
where T
is the particles current given its energy of spin and polarization as dened in the
section on conserved currents (Sec. II A).
Let the rest frame of the particle (specically, the frame where the energy ux, T
0
and
T
0
, vanishes) be x
= (, r,
,
) where the particle is at (, 0, 0, 0). (Both the gauge and
the coordinate system must be changed to the rest frame.) Let
G
+
G
r r
). (50)
At the particles location, r = 0, the metric degenerates into a 2-D metric, g
=
(1, 1, 0, 0). Let the potential be traceless, i.e. g
= 0,
G
=
G
r r
.
Remark: The assumption that the potential is traceless is not a restrictive assumption
because one can always nd a gauge where the potential is traceless if H
= 0. Without
loss of generality, assume a space in Cartesian coordinates (t, x, y, z). Given a potential G
with trace
f(t
, x, y, z). Now,
0
0
= f.
Change the gauge, G
0
= G
0
0
. Since o-diagonals do not aect the trace, the resulting
potential is traceless.
Replacing
G
r r
with
G
, (51)
or, in the observers frame,
/ = G
dx
d
dx
d
, (52)
which is the same as 49. Thus, in both test particle cases the geodesic equation is identical
to that of GR.
F. Strong Equivalence Principle
Equivalence principles are dening features of gravitational theories. Newtons theory
included the Weak Equivalence Principle (WEP) where an objects weight is proportional
to its mass. Einstein developed the equivalence principle named for him, the Einstein Equiv-
alence Principle (EEP), which states that local experiments in free fall are independent of
position and velocity. When strongly gravitating bodies are taken into account, the validity
20
of the equivalence principles come into doubt because internal structure violates WEP by,
e.g., the (never observed) Nordtvedt eect [35].
The Strong Equivalence Principle (SEP) is a natural extension of early equivalence prin-
ciples. It has three conditions: (a) an objects weight is proportional to its mass (WEP)
for self-gravitating bodies as well as test bodies, (b) the outcome of any local experiment
is independent of the velocity of the (freely falling) apparatus, and (c) the outcome of any
local experiment is independent of where and when in the universe it is performed [35].
Although a rigorous proof has not been found, GR is the only known metric theory that
appears to satisfy SEP strictly. Because experiment has never found a violation of SEP, any
new gravitational theory must satisfy strict constraints on SEP violations. In the following,
the Yang-Mills theorys gauge symmetry allows the required transformations to satisfy SEP.
The Yang-Mills theory satises the rst condition of SEP, (a), by the arguments of
Section 20.6 of [19] also found in [36]: If the eld of a self-gravitating body asymptotically
approaches atness (G
(R) =
(R) =
+ F
+ ia
g
_
d
4
xG
+ H
_
(53)
Although it is derived without a background manifold, the action is identical to those of
Yang-Mills theories that do have a background. Because it is a massless gauge boson Yang-
Mills theory, the theory of gravity given in this paper has a nite polynomial, positive denite
action (20). Like all Yang-Mills theories on semi-simple groups the theory is renormalizable
[29].
The standard quantization scheme is appropriate with Fadeev-Popov ghost elds used to
derive Feynman rules including the G
(p) =
i
p
2
+ i
_
(1 )p
p
2
+ i
_
. (54)
Other than proving renormalizability, which was achieved in the 1970s, any quantum pre-
dictions are left for future work.
III. EXPERIMENTS AND OBSERVATIONS
Numerous observations, starting with light bending in 1919, have been made to attempt to
conrm predictions of general relativity. These include gravitational time dilation, redshift,
and light bending all of which have been measured within the solar system. Perihelion
precession of the planets and binary pulsar precession have also been measured to good
rst order accuracy [31]. Other observations do not agree with the original theory and
have required modications to the Einstein eld equations. In the following, are derived
(1) a static, spherically symmetric solution to the eld equations, (2) the 1PN equations of
motion for a binary system, (3) the radiation reaction for binary pulsar inspiral, and (4) the
accelerating expansion of the universe via a homogeneous, isotropic model.
22
A. Spherically symmetric solution
The static, spherically symmetric Schwarzchild solution is one of the most important
solutions to the Einstein eld equations. The solution to the de Sitter abelian eld equations
44 is identical up to linear order. Let spacetime be covered by spherical coordinates (t, r, , )
where is colatitude and let the metric be the at spacetime metric [31],
ds
2
= dt
2
+ dr
2
+ r
2
d
2
+ r
2
sin
2
()d
2
. (55)
Choosing a harmonic gauge the equations for the potentials can be found by the general
Greens function solution [36] to the relaxed eld equations 44,
h
(t, x) =
_
C
d
3
x
(t [x x
[, x
)
[x x
[
, (56)
where h
= (G
)/2 and ( is the past lightcone. Given a form for the stress-energy
tensor, T
00
= M(r) and T
rr
= M(r), the solutions to the integral equation (in spherical
coordinates) give the potential pseudotensor:
G
00
=
_
1
2M
r
_
, G
rr
= 1 +
2M
r
, G
= r
2
, G
= r
2
sin
2
(), (57)
with the boundary conditions such that G
/r 4.25 10
6
and at the surface of the Earth 2M
/r 1.4 10
9
. Both
23
are much too small for higher order eects to be measured, and imperfections in density
(e.g., mountains) would make measurements dicult to verify.
Predictions of gravitational time dilation and redshift, meanwhile, are mathematically
identical in both theories (to any order) given a static, spherically symmetric eld with
redshift proportional to 1 + 2M/r. Recent high precision measurements of redshift using
cesium atoms in a laboratory agree with predictions of both theories [20]. In fact, gravita-
tional redshift is identical in both theories to all orders for a static, spherically symmetric
source. Measurements of the geodetic eect and frame dragging by Gravity Probe B are
likewise rst order accuracy measurements [8]. Therefore, no tests done within the Solar
system to date disprove either theory. For strong eld tests, require looking outside the
solar system to binary pulsars and, further on, cosmology where the theories have the best
chance of being tested.
C. Post-Newtonian Equations of Motion
The binary pulsar system B1913+16 discovered in 1974 provided one of the rst tests of
strong eld general relativity [36]. Because the regular radio pulses of the star, orbiting a
relatively inert body, possibly a dead pulsar, allowed precise measurements of the pulsars
orbit, the small deviations of the two body orbit from Keplers laws can be measured,
including orbital damping caused by gravitational radiation, which is a higher order eect
than orbital precession [36]. Observations of this system over the past thirty-ve years have
increased the accuracy of the measurements. Recently, the double binary pulsar system
PSR J0737-3039A/B with two active pulsars orbiting each other has provided even greater
precision [13]. The following demonstrates that the eld equations of Sec. II C agree with
the observations of these pulsar systems.
The parameterized post-Newtonian (PPN) equations of motion of gravity are the primary
vehicle by which not only dierent theories of gravity (including GR) are compared but
provide the equations for predicting the motion of two or more gravitating bodies. Tests of
these equations include the measurement of planetary motion within the Solar system for
weak elds and binary pulsar precession and gravitational radiation for stronger elds [19]
[35].
For a binary pulsar system the GR metric in the post-Newtonian coordinate system for
24
general relativity is ([35], 11.52)
g
00
= 1 + 2
a=1,2
m
a
/[x x
a
(t)[ + O(
4
), (59)
g
0j
= O(
3
), (60)
g
ij
=
ij
_
1 + 2
a=1,2
m
a
/[x x
a
(t)[
_
+ O(
4
), (61)
where is a small parameter such that v/c and GM/c
2
r
2
with m
1
and m
2
being the
masses of the bodies and x
1
and x
2
their positions in the appropriate harmonic coordinate
system. Because GR satises SEP the self-gravitation of the two bodies along with their
motion can be included in their masses and they can be modelled as test bodies with the
geodesic equation.
The same method used to derive the GR metric can be used on the relaxed eld equations
of the Yang-Mills theory (44). The calculations are somewhat involved and are included in
Appendix B. They result in the following potential:
G
00
= 1 + 2
a=1,2
m
a
[x x
a
[
+ O(
4
), (62)
G
0j
= O(
3
), (63)
and
G
ij
=
ij
_
1 + 2
a=1,2
m
a
[x x
a
[
_
+ O(
4
). (64)
The velocities of the bodies are v
1
= (v
11
, v
12
, v
13
) and v
2
= (v
21
, v
22
, v
23
) and v
a
= |v
a
|.
(See Appendix B for a derivation of these potentials.)
Since the theory satises SEP, for any set of compact nearly-spherical bodies where
tidal forces may be neglected, the geodesic equation 48 predicts orbital motion. The post-
Keplerian parameters of periastron advance, , time delay,
P
b
, derives from the quadrupole formula from the Yang-Mills eld equations discussed in
the following section.
25
1. Orbital speed-up of a binary pulsar system
Gravitational radiation was rst addressed by Einstein shortly after the publication of
general relativity, where he and others demonstrated that the primary radiation is quadrupo-
lar in contrast to the dipolar radiation from electromagnetic sources [7]. The energy loss
of a binary system of compact stars caused by radiation was rst demonstrated in a paper
by Peters and Matthews [24], who derived the energy loss of binary stars in Keplerian orbit
leading to the formula for the orbital speed-up,
P
b
=
192G
5/3
5c
5
_
P
b
2
_
5/3
(1 e
2
)
7/2
_
1 +
73
24
e
2
+
37
96
e
4
_
m
p
m
c
(m
p
+ m
c
)
1/3
, (65)
with m
p
and m
c
the masses of the pulsar and companion body respectively and e the orbital
eccentricity [33]. Although this equation was developed for Keplerian orbits, it applies to
post-Keplerian orbits since the only requirement is that the orbit be elliptical, and, although
much higher order derivations have been made [35], only this equation has been tested. The
equation derives from a multipole expansion of the wave equations for general relativity, and
a detailed discussion of multipole expansions for gravitational radiation in general relativity
can be found in [30]. For measured radiation-reaction only the lowest order quadrupole term
is relevant. The reaction which is what is measured is caused by the conservation of energy
which requires a system expelling radiation to slow in some fashion. Orbital speed-up is a
reaction to the loss of gravitational potential energy.
Orbital speed-up is a function of energy loss, i.e. radiation-reaction, which to lowest
multipole order in General Relativity is ([19], 36.31),
dE
dt
=
1
5
d
3
Q
jk
dt
3
d
3
Q
jk
dt
3
, (66)
where Q
is the reduced quadrupole moment (the trace free part of the second moment of
the mass distribution) such that Q
= q
1
3
q,
q
=
_
d
3
x
0
x
, (67)
and q = q
. The Peters-Matthews formula for energy loss of a binary system ([35], 10.80),
dE
dt
=
_
2
m
2
r
4
8
15
_
12v
2
11 r
2
_
_
, (68)
26
where m = m
1
+ m
2
, = m
1
m
2
/m, v = [v
1
v
2
[, and r = [x
1
x
2
[, can be found from
the linearized vacuum equations of general relativity,
h
jk
(t, x) =
2
r
q
jk
(t r), (69)
for the spatial part of the radiation eld ([19], 36.50) where r is the distance from the source.
Peters and Matthews derives the energy loss using the linearized Einstein vacuum equa-
tions:
g
+ h
, (70)
such that
= 0, (71)
where
h
= h
1
2
.
The radiation formula can be found by a plane wave solution to the linearized equations.
The linearized Yang-Mills equations for an unpolarized, spinless source,
G
= 8T
, (72)
is the same as the linearized equation for GR.
Let G
= h
= 0, (73)
is
h
= ae
cos(t
k x), (74)
where a is the amplitude, e
= 4r
1
m=0
(1/m!)(/t)
m
_
d
3
x
(t r, x
)(n x
)
m
. (75)
to 1PN order, where n = x/r. Because of the gauge condition,
0
h
0k
= n
j
0
h
jk
,
0
h
00
= n
j
n
k
0
h
jk
, (76)
27
and only need to determine the h
jk
components [35]. Because, to order,
= 0 by
conservation and the source is symmetric, a useful relation is,
(
2
/t
2
)
_
d
3
xT
00
x
j
x
k
= 2
_
d
3
xT
jk
(77)
Therefore, 75 becomes,
h
ij
= 2r
1
(
2
/t
2
)
__
d
3
xT
00
(t r, x)x
i
x
j
_
+ higher order. (78)
This means that monopole and dipole moments of T
ij
can be expressed as time derivatives
of quadrupole moments of T
00
. To post-Newtonian order T
00
= , the mass density, and
the quadrupole approximation follows.
For the binary system the integral simplies to,
h
ij
=
2
r
q
jk
(t r). (79)
Since from 69 the solution is the same as for GR, h
ij
=
h
ij
and, because
h
ij
solves the
vacuum equation,
h
ij
= h
ij
obtaining the speed-up formula (65) follows as for general
relativity: take a Taylor expansion of 79 in powers of r to extract the radiation-reaction
potential and applying the geodesic equation 48, determine the reaction acceleration of the
bodies ([19], Sec. 36.11). Then arrive at 65. See [35] and [19] for detailed calculations. This
proves that the energy loss caused by radiation is the same in GR and the YM theory. The
reaction, then, can be modelled by a loss of potential energy between the two bodies.
D. Cosmology
If this paper had been written as recently as 15-20 years ago, cosmology could have
been addressed more fully within the scope of this paper. In recent years, however, the
amount of data available to match to cosmological models has exploded thanks to projects
such as WMAP [21], observations of Type 1a supernovas, and baryon acoustic oscillation
measurements. In this section, the Robertson-Walker model is addressed. This is the starting
point of the two most prominent numerical approaches, both centered around the Friedmann
equations: perturbations of the Einstein eld equations and N-body cosmology which models
the universe as an N-body Newtonian system.
The Friedmann equations can be derived from Newtons laws [32], suggesting that at
slow speeds and very weak elds they are valid for the universe as a wholecertainly the
28
present universe is essentially Newtonian at large scales where inhomogeneities are small. In
the early universe, however, relativistic speeds and strong gravitational elds predominated
and the Newtonian model breaks down for times close to the Big Bang.
Cosmological observations have not found major anomalies in the empirical CDM model,
the main cosmological model at this time, but the constraints on alternative theories of grav-
ity are much weaker than those from N-body observations. The Yang-Mills theory predicts
some deviations from the standard theorynone of which are challenged by observation
because of all the unknowns involvedbut it also explains accelerating expansion without
a cosmological constant.
Whether one assumes general relativity or an alternative, the accelerating expansion, in
the de Sitter point of view, is a natural result of translation occurring over a negatively curved
hypersurface. The locally de Sitter model of this paper treats each point of the universe as if
it were on the hypersurface of a ve dimensional hyperbola. In order to move from one point
to another, a particle translates over the hypersurface rather than translating in a straight
line. In an isotropic, homogeneous universe, the entire universe exists on the surface of a
single hyperbola. The standard cosmological de Sitter model applied to Einsteins theory
implies a cosmological constant as a consequence of a hyperbolic surface of xed curvature
[32]. In contrast, the Yang-Mills theory implies that the hyperbolic curvature is an active
potential that changes with time. Thus, the two theories make dierent predictions about
the past and future of the universe.
1. Isotropic, Homogeneous Universe
Observations of the cosmic microwave background and statistical counts of the distribu-
tion of galaxies imply that the universe is statistically isotropic [31]. By the Copernican
principle that human beings do not occupy a privileged location in the universe, the uni-
verse must also be homogeneous. An isotropic, homogeneous universe has a simple dynam-
ical description. For a perfect uid universe, the stress-energy-momentum tensor in special
relativity has the standard form,
T
= u
+ p(u
+ g
), (80)
29
where is mass density and p is pressure [31]. The fundamental Friedmann equations for
general relativity are,
a
2
+ k =
8a
2
3
, (81)
3 a
a
= 8( + 3p), (82)
where k is the curvature constant [32] and
g
00
= 1, g
rr
=
a
2
()
1 kr
2
, g
= a
2
()r
2
, g
= a
2
()r
2
sin
2
, (83)
is the metric. Recent observations that the universes density, the sum of baryon, dark
matter, and dark energy densities, is near or at the critical value,
b
+
c
+
crit
, and
the universe is spatially at, k 0 [21][12]. Therefore, for the rest of this section, k = 0.
From the conservation of energy,
+
3 a
a
( + p) = 0, (84)
is a fundamental equation for the evolution of matter and energy.
Turning to the Yang-Mills theory, the equations of motion for the universe are somewhat
dierent and require explanation within the constraints of observation. Modern cosmology
relies on perturbation methods with the Robertson-Walker assumptions of isotropy and
homogeneity the zeroth order equations. Therefore, equations based on these assumptions
are critical to any treatment of cosmology.
The isotropic, homogeneous universe under the General Relativity model does not dis-
tinguish between matter moving apart within space and space itself moving apart. Hence,
redshifts are interpreted as being caused by matter moving apart as space drags it along
in its expansion. It is possible, however, to distinguish between the two types of redshift,
gravitational and doppler, in ordinary, non-cosmological circumstances such as within the
Solar System.
In this section, the theory predicts that, in the Poincare approximation, gravitational
redshift expansion is constant in the later universe while Doppler redshift is linear. Thus, in
that approximation all observed redshift is caused by the Doppler eect of matter expanding.
In the de Sitter theory, however, the inuence of the torsion potential, H, causes gravitational
redshift to increase with time causing total redshift (gravity + doppler) to accelerate with
time. Based on the discussion of true vs. articial coordinates (Sec. II B), this implies that
30
matter is expanding as well as space, causing a dual expansion and, hence, acceleration of
the universes expansion.
As discussed in section II B, the coordinate system is a set of degrees of freedom, that,
while having no physical meaning, may be used to simplify equations. Comoving coordinates,
g
00
= 1, g
ij
= a
2
(t)
ij
, expand with matter moving within space. The expansion of space
itself is given by the potential, G
00
= 1 and G
ij
= b(t)a
2
(t)
ij
. The torsion potential is
non-zero, H
, V
] ,= 0, but vanishes
in the Poincare approximation where [V
, V
ij
. The
spin density is zero by isotropy, S
b + b a a + ca)
a
2
= 8, (85)
and the next three (all the same) space-space equations are,
3 a
ba
ba
2
aab a
2
b + a a
ba
2
ca
2
2 aac
a
2
= 8p. (86)
From the eld equations 30, the torsion equation for oscillatory torsion is,
ca
2
+ 3 c aa 3 a
2
c + aac aab + a a
ba
2
ca
2
= 0 (87)
and the equation for twisting torsion is,
da
2
a
2
d + a a
d a
2
b
2
d = 0. (88)
By the vortex model all matter has p = /3 which simplies 40 to
= 4
a
a
(89)
This does not imply all matter is radiation nor does it support theories such as hot dark
matter. Matter can be slow moving, but its internal static pressure does aect its behavior
in a gravitational eld.
The system of three dierential equations (85,86, and 89) govern the gravitational behav-
ior of matter in this universe. The boundary condition are given in terms of present day, t
0
,
and origin, t = 0, parameters: a(t
0
) = a
0
, a(0) = 0, b(0) = 0, c(0) = 0, and c(t
0
) = c
0
. The
31
assumption of a(0) = 0 is a classical assumption. Quantum eects take over at t 1 and
could predict a dierent initial size of the universe or a quantum bounce where quantum
pressures could reverse a collapsed state.
The equations 85,86, and 89 have the non-trivial solution,
a(t) =
a
0
t
0
t, (90)
(t) =
0
a
4
0
a
4
, (91)
b(t) =
1
12t
2
_
Ct
4
3Ct
3
+ (12 + 8
0
t
4
0
)t
2
40
0
t
4
0
t 32
0
t
4
0
, (92)
c(t) =
1
12
_
3Ct + 8
0
t
4
0
, (93)
where C =
1
3t
0
(12c
0
+ 8
0
t
4
0
). The equation for d(t) is not expressible in closed form but
is the solution to a second order ODE. Note: these results were obtained with Maple
TM
s
tensor package and PDE solver.
The scale factor, a(t), conforms to a universe with a Minkowski metric sometimes called
the Milne universe or simply the linear model [16]. The Milne cosmological model has
recently seen a resurgence as an alternative to the standard CDM model and has some
compelling features: It gives the same age for the universe as the CDM model [14]. Nu-
cleosynthesis has been t to observations for the linear model in [28] with some problems
that I discuss below [11]. Predictions for Type 1a supernovae are very close to those of the
standard model. The Milne universe has angular distances in the CMB of about 1.1 degrees,
also close to the observed value [2] [3].
Although the rate of matter expansion is linear, the gravitational potential, b(t), shows an
acceleration in total expansion rate (space + matter), related to
_
G
ij
ij
/3 =
_
b(t)a
2
(t)
O(t
2
), meaning that the redshift of distant galaxies should be accelerating linearly with time.
It is clear that the theory deviates from the linear or Milne theory (against which there have
been objections based on Big Bang Nucleosynthesis [11]) in relation to how strongly the
universe deviates from the Poincare approximation. At the present time, the acceleration is
not well understood enough to determine whether it is linear, exponential (as in models with
a cosmological constant), or some other function of time. Hence, should better measurements
become available that show the rate of acceleration, they may test the theorys predictions.
32
2. The Poincare approximation
If the hypersurface over which particles translate in the de Sitter model has innite size,
translations become straight, and the Poincare group is the result. When the Poincare
approximation is made such that we change the equations to conform to the Lie algebra
with [V
, V
] 0 (see A), the expansion no longer accelerates:
a(t) = a
0
t/t
0
, (94)
(t) =
0
_
a
0
a
_
4
, (95)
b(t) = 1
8
0
3(a
4
0
/t
4
0
)t
2
+
K
(a
0
/t
0
)t
, (96)
where K = (b
0
+ 8
0
/(3a
4
0
/t
2
0
) 1)a
0
and b
0
= b(t
0
). Note: b(t) 1 as t indicating
that the Poincare universe has no accelerating expansion at its present age. The de Sitter
Lie algebra oers an explanation: when [V
, V
] = iM
, P
] = i(
) spin gravitons
couple to momentum gravitons to create more momentum gravitons. Since the potential
for momentum gravitons is G
is achieved by a 55 matrix, T = v
such that V
= (V
t
, V
i
)
are four generators. Given a 4-vector u
if w = (u
, 1), then w
= Tw = (u
+v
, 1). It is well
known, however, that prior to the introduction of Lorentz covariance, mechanical theories
such as Newtonian gravity were Galilean invariant, R
3
SO(3) rather than Lorentz invariant,
SO(3,1). A reasonable extension of the Poincare group, then, is from R
(3,1)
SO(3,1) to
SO(4,1) assuming that the radius of curvature in the fth dimension is large so that it
appears to be Poincare invariant for small rotations.
In the de Sitter group, x
4
is a fourth spatial dimension and has ordinary rotations with
respect to the other three spatial dimensions and boosts with respect to time. The anti-de
Sitter group has x
4
as a second time dimension. Let V
be rotations/boosts in the x
-x
4
plane.
The Poincare group has the covariant Lie algebra,
[V
, V
] = 0 (A1)
[M
, P
] = i(
) (A2)
[M
, M
] = i(
), (A3)
for
V
] is the translation operation [23]. The only alteration that the de Sitter group
makes is that the translation operators now generate a Lorentz rotation or boost,
[V
, V
] = iM
, (A4)
in which case
U = exp[
i
2
+ ia
V
],
is the de Sitter operation [1].
APPENDIX B: DERIVATION OF THE 1PN POTENTIAL
The potential at a spacetime point (t, x) in the given inertial frame can be solved by the
integral equations [36], h
= (G
)/2:
h
(t, x) =
_
C
d
3
x
(t [x x
[, x
)
[x x
[
, (B1)
41
where ( is the past-light cone and bodies have small polarized acceleration and angular
momentum is small.
The integral equation may be solved by iteration in which a trial potential h
= 0 is
inserted into the integrand and the integral solved to arrive at a new potential h
which is
then reinserted to achieve a potential h
0
(t, x
)
[x x
[
. (B2)
Let U
2
and v/c where v is the average velocity and c is the speed of light in
vacuum. The rst post-Newtonian corrections require that h
00
be given up through order
4
, h
0j
through order
3
and h
ij
through
2
, correcting the Newtonian order,
h
00
= U, h
0j
= 0, h
ij
= 0. (B3)
The G-eld derives from the equations of Sec. II C above and the stress-energy-
momentum tensor for baryon dust. Each baryon particle or compact spherical mass (such
as a neutron star or black hole) p has a stress-energy-momentum tensor in its rest frame in
a spherical coordinate system with the particle at the origin,
T
00
= m
p
3
(x), T
rr
= m
p
3
(x). (B4)
The latter is related to the potential h
rr
which has a transformation,
h
ij
= h
rr
x
i
x
j
[x[
2
, (B5)
which is
h
ij
= m
p
(x
i
x
i
)(x
j
x
j
)
[x x
[
3
(B6)
for a particle at x
. To obtain the potential for all the dust, sum all the potentials for all
the baryons by superposition of the potentials,
h
ij
=
_
d
3
x
0
(t, x
)(x
i
x
i
)(x
j
x
j
)
[x x
[
3
+ O(
4
). (B7)
By a non-Abelian gauge transformation to order [19],
h
ij
=
G
ij
+
i
j
, (B8)
42
where
and
=
_
d
3
x
0
(t, x
)[x x
[, (B9)
we have
h
ij
=
ij
U + O(
4
). (B10)
The next two parts of the G-eld, h
0j
and h
00
, require particle velocities and time dilation
to be included. The current tensors, T
(p) =
d x
dx
d x
dx
(p) + h
m
p
3
(x x
p
), (B11)
where
= d x
/dx
is the G-eld not including the contribution of the mass at that point. These
two transformations are equivalent to the two step, boost-and-coordinate-transform method
of general relativity [19] which reects the eects of both velocity and gravitational elds
on measurements of stress-energy-momentum tensors.
For a baryon p with mass m
p
at x
h
ij
=
m
p
(x
i
x
i
)(x
j
x
j
)
[x x
[
3
. (B13)
To order this becomes,
h
0j
=
m
p
[x x
[
_
v
j
+
[(x x
) v](x
j
x
j
)
[x x
[
2
_
+ O(
5
). (B14)
Under the same gauge transformation as above,
h
0j
=
h
0j
0
j
, (B15)
and summing over all baryons, the potential is,
h
0j
= 2V
j
+ O(
5
), (B16)
43
where
V
j
=
_
d
3
x
0
(t, x
)v
j
(t, x
)
[x x
[
. (B17)
The time-time eld is,
h
00
= U + 2 + + O(
6
), (B18)
where
(t, x) =
_
d
3
x
0
(t, x
)(v
2
+ U)
[x x
[
, (B19)
and
(t, x) =
_
d
3
x
0
(t, x
)
[x x
[
_
[(x x
) v]
2
[x x
[
2
v
2
_
. (B20)
The gauge transformation, h
00
=
G
00
+
2
0
(which we have already applied to the other
potentials and hence must carry over to this one), eliminates the last term, and gives
h
00
= U + 2 + O(
6
). (B21)
Missing is a term of order U
2
that appears in metric PPN formalism which indicates the
nonlinearity in the superposition of the potential. In GR, however, this term is an artifact
of the choice of isotropic coordinates and vanishes with a change of coordinates.
In general relativity, the change of coordinates, r = r(1 + M/2 r)
2
, switches the
Schwarzschild solution to isotropic coordinates [19],
ds
2
=
_
1 M/2 r
1 + M/2 r
_
2
dt
2
+ (1 + M/2 r)
4
[d r
2
+ r
2
(d
2
+ sin
2
d
2
)]. (B22)
Because the change in coordinates, however, depends on the potential itself, this introduces
a nonlinearity that previously did not exist in the solution. Like the Schwarzschild solution
in Schwarzschild coordinates, the Yang-Mills theory 1PN solution does not contain any
nonlinearity because it is not in this nonlinear coordinate system. The Yang-Mills spherically
symmetric solution given in spherical coordinates,
h
00
= h
rr
= M/r, (B23)
under the same change of variables, becomes to 1PN order,
h
00
= M/ r 2(M/ r)
2
+ O(
6
), (B24)
h
0i
= h
i0
= O(
5
) (B25)
44
and
h
ij
=
ij
M/ r + O(
4
). (B26)
While one could make a change of the at spacetime coordinates to bring the YM potential
in line with the GR metric, there is no purpose in doing so. Since both GR and the Yang-
Mills theory are generally covariant, changing coordinates does not change predictions. It
does, however, require that observations be input in the appropriate coordinate system since
the Schwarzschild r is not the same as the 1PN r. In General Relativity, the Schwarzschild
r is simply a coordinate not a distance. Meanwhile, because of the potential dependent
metric in isotropic coordinates, r is just a coordinate in both theories and does not refer
to distance directly.
The remaining equations (which can be derived from the eld equations) are the equation
of motion. The continuity equations (38) to 1PN order are the four equations,
= 0, (B27)
each of which is the same as the electromagnetic continuity equation. Linearized general
relativity has the same problem [31] and care needs to be taken that the nonlinear, gauge
covariant equations of motion (38) be used instead. For N-body problems, which are gener-
ally the ones that gravitation deals with, however, the geodesic equation is sucient. This
is because the Yang-Mills theory satises the Strong Equivalence Principle (SEP) and inter-
nal structure does not aect the motion of bodies. Therefore, any spherical, compact body
moves as a test particle.
45