Some Thoughts On Geometries and On The Nature of The Gravitational Field
Some Thoughts On Geometries and On The Nature of The Gravitational Field
Some Thoughts On Geometries and On The Nature of The Gravitational Field
M be the corresponding
dual basis (
a
(e
b
) =
a
b
). Suppose also that not all the
a
are closed, i.e.,
d
a
,= 0, (1)
13
The material of Appendix A follows the presentation in Section 4.7.7 of [36].
14
A manifold M is said to be parallelizable if it admits four global linearly independent
vector elds.
15
There are hundreds of papers (as e.g., [6]) on the subject.
16
Explicitly, we mean that the gravitational eld may be interpreted as a eld in the sense
of Faraday, as it is the case of the electromagnetic eld.
17
We recall that sec TM means section of the tangent bundle and sec T
M means section of
the cotangent bundle. Also sec T
r
s
M means the bundle of tensors of type (r, s) and sec
^
r
T
M
a section of the bundle of r-forms elds.
4
for a least some a = 0, 1, 2, 3. The 4-form eld
0
1
2
3
denes a
(positive) orientation for M.
Now, the
a
can be used to dene a Lorentzian metric eld in M by
dening g sec T
0
2
M by
g :=
ab
b
, (2)
with the matrix with entries
ab
being the diagonal matrix (1, 1, 1, 1).
Then, according to g the e
a
are orthonormal, i.e.,
e
a
g
e
b
:= g(e
a
, e
b
) =
ab
. (3)
Remark 1 Since according to Eq.(3) e
0
is a global time like vector eld it
follows it denes a time orientation in M which we denote by . It follows
that that the 4-tuple (M, g,
g
, ) is part of a structure dening a Lorentzian
spacetime and can serve as a substructure to model a gravitational eld in GR.
For future use we also introduce g sec T
2
0
M by
g :=
ab
e
a
e
b
, (4)
and we write:
b
:= g(
a
,
b
) =
ab
. (5)
Due to the hypothesis given by Eq.(1) the vector elds e
a
, a = 0, 1, 2, 3 will
in general satisfy
[e
a
, e
b
] = c
k
ab
e
k
, (6)
where the c
k
ab
are the structure coecients of the basis e
a
. It can been easily
shown that
18
d
a
=
1
2
c
a
kl
k
l
. (7)
Now, we introduce two dierent metric compatible connections on M, namely
D (the Levi-Civita connection of g) and a teleparallel connection , such that
D
ea
e
b
=
c
ab
e
c
, D
ea
b
=
b
ac
c
,
ea
e
b
= 0,
ea
b
= 0. (8)
The objects
c
ab
are called the connection coecients of the connection D in
the e
a
basis and the objects
a
b
sec T
M dened by
a
b
:=
a
kb
k
, (9)
are called the connection 1-forms in the e
a
basis.
Remark 2 The connection coecients
b
ac
of and the connection 1-forms
of in the basis e
a
are null according to the second line of Eq.(8) and thus
the basis e
a
is called teleparallel. So, the connection denes an absolute
parallelism on M. We recall that as said in the introduction that idea has been
introduced by Ricci.
18
See, e.g.,[36].
5
Remark 3 Of course, as it is well known the Riemann curvature tensor of D,
is in general non null in all points of M, but the torsion tensor of D is zero in
all points of M. On the other hand the Riemann curvature tensor of is null
in all points of M, whereas the torsion tensor of is non null in all points of
M.
We recall also in order to x notation that for a general connection, say D
on M (not necessarily metric compatible) the torsion and curvature operations
and the torsion and curvature tensors of a given general connection, say D, are
respectively the mappings:
(u, v) = D
u
v D
v
u [u, v], (10)
(u, v) = D
u
D
v
D
v
D
u
D
[u,v]
(11)
and
T (, u, v) = ((u, v)) , (12)
R(w, , u, v) = ((u, v)w), (13)
for every u, v, w sec TM and sec
_
1
T
M. In particular we write
T
a
bc
:= T (
a
, e
b
,e
c
) (14a)
R
b
a cd
:= R(e
a
,
b
, e
c
, e
d
), (14b)
and dene the Ricci tensor by
Ricci := R
ac
c
, (15a)
R
ac
:= R
b
a cb
= R
ca
. (15b)
We shall need also in order to x our conventions to briey recall the def-
initions of the scalar product and left and right contractions on the so called
Hodge bundle (
M, g) where
M =
4
r=0
r
T
M is the bundle of
nonhomogeneous multiforms.
So, if /, B sec
_
r
T
M , / =
1
r!
A
i1...ir
i1
...
ir
, B =
1
r!
B
j1...jr
j1
...
jr
,
their scalar product
g
(induced by g) is the linear mapping
/
g
B = (
1
r!
)A
i1...ir
B
j1...jr
_
_
_
_
_
i1
j1
... ...
i1
jr
... ... ... ...
... ... ... ...
ir
j1
... ...
ir
jr
_
_
_
_
_
. (16)
Also, for / sec
_
r
T
M, ( sec
_
s
T
M it is /
g
( = 0. The left and right
contractions of A, } sec
M and
g
:
M.
(A
g
})
g
Z = }
g
(
A Z),
(A
g
})
g
Z = A
g
(Z
}), (17a)
where the tilde means the operation of reversion, e.g., if B =
1
r!
B
i1...ir
i1
...
ir
,
then
B =
1
r!
B
i1...ir
ir
...
i1
.
The Hodge star operator (or Hodge dual) is the linear mapping
g
:
_
r
T
M
_
nr
T
M
/
g
B = (/
g
B)
g
, (18)
for every /, B
_
r
T
M. The inverse
g
1
:
_
nr
T
M
_
r
T
M of the
Hodge star operator is given by
g
1
= (1)
r(nr)
sgn
.
g
g
, (19)
where sgn g = det g/[ det g[ denotes the sign of the determinant of the matrix
with entries g
ij
= g(e
i
, e
j
). The Hodge coderivative operator
g
(associated to
g) is dened for / sec
_
r
T
M by
g
/ = (1)
r
g
1
d
g
/. (20)
2.2 Cartans Structure Equations
Given that we introduced two dierent connections D and dened in the
manifold M we can write two dierent pairs of Cartans structure equations,
each one of the pairs describing respectively the geometry of the structures
(M, D, g,
g
, ) and (M, , g,
g
, ) which will be called respectively a Lorentzian
spacetime and a teleparallel spacetime.
2.2.1 Cartans Structure Equations for D
In this case we write
a
:= d
a
+
a
b
b
= 0,
a
b
:= d
a
b
+
a
c
c
b
, (21)
where the
a
sec
2
T
M, a = 0, 1, 2, 3 and the
a
b
sec
2
T
M, a, b =
0, 1, 2, 3 are respectively the torsion and the curvature 2-forms of D with
a
=
1
2
T
a
bc
b
c
,
a
b
=
1
2
R
a
b cd
c
d
. (22)
7
2.2.2 Cartans Structure Equations for
In this case since
a
b
= 0 we have
a
:= d
a
+
a
b
b
= d
a
,
a
b
:= d
a
b
+
a
c
c
b
= 0, (23)
where the
a
sec
2
T
M, a = 0, 1, 2, 3 and the
a
b
sec
2
T
M, a, b =
0, 1, 2, 3 and are respectively the torsion and the curvature 2-forms of given
by formulas analogous to the ones in Eq.(22).
We next suppose that the
a
are the basic variables representing a gravi-
tation eld. We postulate for the
a
interacts with the matter elds though
the following Lagrangian density
19
L = L
g
+L
m
, (24)
where L
m
is the matter Lagrangian density and
L
g
=
1
2
d
a
g
d
a
+
1
2
a
g
a
+
1
4
(d
a
a
)
g
_
d
b
b
_
, (25)
Remark 4 This Lagrangian is not invariant under arbitrary point dependent
Lorentz rotations of the basic cotetrad elds. In fact, if
a
a
=
a
b
b
, where
for each x M,
a
b
(x) L
+
(the homogeneous and orthochronous Lorentz
group) we get that
L
g
=
1
2
d
a
g
d
a
+
1
2
a
g
a
+
1
4
(d
a
a
)
g
_
d
b
b
_
, (26)
diers from L
g
by an exact dierential. So, the eld equations derived by the
variational principle results invariant under a change of gauge.
20
Now, to derive the eld equations directly from Eq.(25) is a nontrivial and
laborious exercise, whose details the interested reader may nd in [36]. The
result is:
d
g
o
d
+
g
t
d
=
g
T
d
, (27)
where
g
t
d
:=
L
g
d
=
1
2
[(
d
g
d
a
)
g
d
a
d
a
(
d
g
d
a
)]
+
1
2
d
_
a
_
g
d
g
a
+
1
2
d
_
a
_
g
d
g
a
+
1
2
d
d
g
(d
a
a
)
1
4
d
a
a
_
g
(d
c
c
)
_
1
4
_
g
(d
c
c
)
_
g
(d
a
a
) , (28)
19
We observe that the rst term in Eq.(25) is just the Lagrangian density used by Einstein
in [13].
20
See details in [36].
8
g
o
d
:=
L
g
d
d
=
g
d
d
_
a
_
g
d
g
a
+
1
2
d
g
(d
a
a
) . (29)
and the
21
g
T
d
:=
L
m
d
=
g
T
d
(30)
are the energy-momentum 3-forms of the matter elds
22
.
Recalling that from Eq.(23) it is
a
:= d
a
, the eld equations (Eq.(27))
can be written as
d
g
T
d
=
g
T
d
g
t
d
g
h
d
, (31)
where
h
d
= d
__
a
_
g
d
g
a
1
2
d
g
(d
a
a
)
_
. (32)
Finally recalling the denition of the Hodge coderivative operator ( Eq.( 20))
we can write Eq.(31) as
g
T
d
= (T
d
+t
d
), (33)
with the t
d
sec
1
T
M given by
t
d
:= t
d
+h
d
, (34)
legitimate energy-momenta
23
1-form elds for the gravitational eld. Note that
the total energy momentum tensor of matter plus the gravitational eld is triv-
ially conserved in our theory, i.e.,
g
(T
d
+t
d
) = 0, (35)
since
g
2
T
d
= 0.
Remark 5 In [26] a theory of the gravitational eld in Minkowski spacetime
(M R
4
,
g, D,
g
, ) has been presented where a nontrivial gravitational eld
conguration was interpreted as generating an eective Lorentzian spacetime
(M R
4
, g, D,
g
, ) where g satises Einstein equations and where probe par-
ticles and/or elds move. It was assumed there that the gravitational eld g =
ab
b
is a eld in Faraday sense
24
, i.e., the elds
a
have their dynamics de-
scribed by a (postulated) Lagrangian density like the one in Eq.(25). Moreover,
it was postulated that the
a
couple universally with the matter elds and that the
21
We suppose that Lm does not depend explicitly on the d
a
.
22
In reality, due the conventions used in this paper the true energy-momentum 3-forms are
g
T
d
=
g
T
d
.
23
Indeed, for each index d the rst member of Eq.(33) is a 1-from eld and also T
d
is an
1-form eld , so F
d
+T
d
= t
d
is a 1-form eld .
24
This means that it is interpreted as a eld with an ontology analogous to the electro-
magnetic eld.
9
presence of energy-momentum due to matter elds in some region of Minkowski
spacetime distorts the Lorentz vacuum in much the same way that stresses in an
elastic body distorts it. Now, distortions (or deformations) in the theory of dislo-
cations according to [56] can be of the elastic or plastic type. An elastic distortion
is described by a dieomorphism h: M M. In this case the induced metric
is g = h
D. This implies
that the structure (hM R
4
, g, h
D,
g
, ) is again Minkowski spacetime. In
the original versions of [26, 36] this was the type of deformation considered, but
this has been corrected in improved versions of those manuscripts, respectively
at the arXiv and at http://ime.unicamp.br/walrod/recentes where an errata to
Chapter 10 of [36] at . In the quoted errata, the deformation is taken to be of
the plastic type and represented by a distortion extensor eld M, i.e., a linear
mapping h :
_
1
T
M
_
1
T
M such that g = h
1
T
2
T
1
T
M is
the electric current. The two Maxwell equations in Eq.(36) can be written as
a single equation using the Cliord bundle formalism [36]. In this formalism
= 0,
= (T +t), (39)
where
=
a
e
a
, T = T
a
e
a
, t = t
a
e
a
. By considering the bundle ((M, g)
TM we can even write the two equations in Eq.(39) as a single equation, i.e.,
= T +t (40)
25
Recently we take knowledge that Coll [5] found that any Lorentzian metric can be written
as a deformation of the Minkowski metric involving a 2-form eld. We will investigate in
another publication the relationship of ours and Colls ideas.
10
2.3 Relation with Einsteins Theory
At this point the reader may be asking: which is the relation of the theory just
presented with Einsteins GR theory? The answer is that recalling that the
connection 1-forms
cd
of D are given by
cd
=
1
2
_
g
d
c
g
d
d
+
c
g
_
g
d
a
_
a
_
(41)
we can show through a laborious (but standard) exercise (see [36] for details)
that the rst member of Eq.(27) is exactly
g
(
d
(the Einstein 3-forms). So,
we have
g
(
d
:=
g
(
d
1
2
R
d
), (42)
with
d
= R
d
a
a
the Ricci 1-forms and R the scalar curvature. Then Eq.(27)
results equivalent to
1
2
R
d
= T
d
(43)
and taking the dot product of both members with
a
we get
R
d
a
1
2
R
d
a
= T
d
a
, (44)
which is the usual tensorial form of Einsteins equations.
Remark 7 When the
a
and the d
a
are packed in the form of the connection
1-forms the Lagrangian density L
g
becomes
L
g
= L
EH
+ d(
a
g
d
a
), (45)
where
L
EH
=
1
2
cd
g
(
c
d
) (46)
(with
cd
given by Eq.(21)) is the Einstein-Hilbert Lagrangian density.
3 A Comment on Einstein Most Happy Though
The exercises presented above indicates that a geometrical interpretation for the
gravitational eld is no more than an option among many ones. Indeed, it is not
necessary to introduce any connection D or on M to have a perfectly well
dened theory of the gravitational eld whose eld equations are equivalent to
the Einstein eld equations. Note that we have not give until now any details
on the global topology of the world manifold M. However, since we admitted
that M carries four global (not all closed) 1-form elds
a
which denes the
object g it follows that (M, D, g,
g
, ) is a spin manifold [17, 36], i.e., admit
spinor elds. This, of course, is necessary if the theory is to be useful in the real
world since fundamental matter elds are spinor elds. The most simple spin
11
manifold is clearly Minkowski spacetime which is represented by a structure
(M,
D, ,
, ) where M R
4
, and
D is the Levi-Civita connection of the
Minkowski metric . In that case it is possible to interpret g as a eld in the
Faraday sense living in (M,
D, ,
b
,
where
a
be the dual basis
26
of e
a
. We then have
D
ea
e
b
=
c
ab
e
c
,
D
ea
b
=
b
ac
c
. (48)
What remains in order to be possible to interpret an acceleration eld as
a kind of gravitational eld is to introduce on M a -metrical compatible
connection
e
such that the e
a
is teleparallel according to it. We have
e
ea
e
b
= 0,
e
ea
b
= 0. (49)
With this connection the structure (M R
4
,
e
, ,
_
_
1
2m
r
_
1
1
_
r
2
_
(x
1
)
2
dx
1
dx
1
+ (x
2
)
2
dx
2
dx
2
+ (x
3
)
2
dx
3
dx
3
dx
1
dx
1
+
_
1
2m
r
_
1
(dx
2
dx
2
dx
3
dx
3
). (51)
In Eq. (51)
r =
_
(x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
. (52)
Now, introduce (t, r, , ) = (x
0
, x
1
, x
2
, x
3
) as the usual spherical coordi-
nates for M. Recall that
x
1
= r sin cos , x
2
= r sin sin , x
3
= r cos (53)
and the range of these coordinates in are r > 0, 0 < < , 0 < < 2. For
g the range of the r variable must be (0, 2m) (2m, ).
As can be easily veried, the metric g in spherical coordinates is:
g =
_
1
2m
r
_
dtdt
_
1
2m
r
_
1
drdrr
2
(dd+sin
2
dd), (54)
which we immediately recognize as the Schwarzschild metric of GR. Of course,
is a Minkowski metric on M.
As next step we introduce two distinct connections,
D and D on M. We
assume that
D is the Levi-Civita connection of in M and D is the Levi-Civita
13
connection of g in M. Then, by denition (see, e.g., [36] for more details) the
ammetricities tensors of
D relative to and of D relative to g are null, i.e.,
D = 0,
Dg = 0. (55)
However, the nonmetricity tensor A
sec T
0
3
M of
D relative to g is non
null, i.e.,
Dg = A
,=0, (56)
and also the nonmetricity tensor A
g
sec T
0
3
M of D relative to is non null,
i.e.,
D = A
g
,=0. (57)
We now calculate the components of A
for
TM and dx
for T
= L
= 0,
dx
= L
dx
= 0. (58)
i.e., the connection coecients L
of
D in this basis are null. Then, A
=
Q
dx
dx
dx
is given by
A
=
Dg =
D
_
g
dx
dx
_
dx
= (
g
)dx
dx
dx
. (59)
To x ideas, recall that for Q
100
it is,
Q
100
=
x
1
_
1
2m
_
(x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
_
= 2m
x
1
_
1
_
(x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
_
=
2mx
1
[(x
1
)
2
+ (x
2
)
2
+ (x
3
)
2
]
3
2
=
2mx
1
r
3
, (60)
which is non null for x
1
,= 0. Note that also that Q
010
= Q
001
= 0.
4.1 (M, ,
D), (M, , D), (M, g, D) and (M, g,
D)
From what has been said it is obvious that since (M, ) and (M, g) are both ori-
entable and time orientable, then (M, ,
D), (M, g, D) are part of the structures
representing respectively Minkowski spacetime and Schwarzschild spacetime.
More precisely, (M, g, D,
g
, ) represents in GR the gravitational eld of a point
14
mass with world line given by (t, 0, 0, 0). As usual in GR this world line is left
out of the eective manifold
27
.
We claim that (M,
D, g) or (M, , D) are legitimate equivalent representa-
tions for the gravitational eld described in GR by the substructure (M, g, D).
To nd, e.g., the relation between the models (M, g,
D) and (M, g, D) it is
necessary to recall that if in the bases
for TM and dx
for T
M, we
have
D
,
D
dx
dx
, (61)
and the Christoel symbols are not all null. Moreover, in the spherical coordi-
nates introduced above
= L
,
D
dx
= L
dx
, D
dx
dx
(62)
and the L
and
and
are related by
28
:
L
+
1
2
S
, (63)
where S
= g
(Q
+ Q
). (64)
Now, since in the Cartesian coordinates L
are null
we get
=
1
2
S
(65)
and thus, e.g.,
g
1
00
=
1
2
S
100
=
1
2
Q
100
=
mx
1
r
3
. (66)
4.2 A
covering V
U M) naturally adapted to a reference frame Zsec TV
29
in free fall ac-
cording to GR (D
Z
Z = 0, d = 0, = g(Z, )) it is possible to put the
27
The manifold where Schwarzschild solution is obtained is one with boundary, i.e., it is
R[0, ) S
2
. The reason for that is that almost all mathematical physicists use manifolds
with boundary in order to avoid the use of distributions (generalized functions). Indeed, for a
rigorous point of view, taking into account that Einsteins equations are non linear we cannot
solve it using Schwartz distributions. To solve problems involving singular distributions in
GR in a rigorous way it is necessary to use Colombeau theory of generalized functions as
described, e.g., in [20].
28
See, e.g., Section 4.5.8 of [36].
29
For the mathematical denitions of reference frames, naturally adapted coordinates to a
reference frame and observers, see, e.g., Chapter 5 of [36].
15
connection coecients of the Levi-Civita connection D of g equal to zero in all
points of the world line of a free fall observer (an observer is here modelled as
an integral line of a reference frame Z, where Z is a time like vector eld
pointing to the future such that Z[
).
In the Riemann normal coordinates system covering U M, it is obvious
that not all the connection coecients of the connection
D (that relative to g is
a non metrical one) are null. Moreover, the nonmetricity tensor A
is not null
and it represents in our model the true gravitational eld. Indeed, an observer
following does not fell any force along its world line because the gravitational
force represented by the nonmetricity eld A
is compensated by an inertial
force represented by the non null connection coecients
30
L
of
D in the basis
.
The situation is somewhat analogous to what happens in any non inertial
reference frame which, of course, may be conveniently used in any Special Rela-
tivity problem (as e.g., in a rotating disc [37]), where the connection coecients
of the Levi-Civita connection of are not all null.
Remark 8 The theoretical denition of standard clocks of GR are reasonably
well realized by atomic clocks, i.e., under certain limits atomic clocks behave
as theoretically predicted (see however [35]) Note however that atomic clocks
are not the standard clocks of the model proposed here. We would say that the
gravitational eld distorts the period of the atomic clocks relative to the standard
clocks of the proposed model where gravity is represented by a nonmetricity ten-
sor
31
. But, who are the devices that now materialize those concepts? Well, they
may are paper concepts, like the notion of time in some Newtonian theories.
They are dened and calculated in order to make correct predictions. However,
given the status of present technology we can easily imagine how to build devices
for directly realizing the standard clocks (and rulers) of the proposed model.
5 Conclusions
In this paper we recalled two important results. The rst is that a gravitational
eld generated by a given energy-momentum distribution can be represented by
distinct geometrical structures (Lorentzian, teleparallel and non null nonmetric-
ity spacetimes). The second important result is that we can even dispense all
those geometrical structures and simply represent the gravitational eld as a
eld in the Faradays sense living in Minkowski spacetime. The explicit La-
grangian density for this theory has been discussed and the eld equations have
been shown to be equivalent to Einsteins equations. We hope that our study
claries the real dierence between mathematical models and physical reality
30
The explicit form of the coecients L
= dx
(67)
for TU and T
U with
e
1
=
1
, e
2
=
1
sin x
1
2
, (68a)
1
= dx
1
,
2
= sin x
1
dx
2
. (68b)
32
As suggested, e.g., by the works of Laughlin [24] and Volikov [52]. Of course,, it may be
necessary to explore also other ideas, like e.g., existence of branes in string theory. But this
is a subject for another publication.
33
The teleparallel spaces are particular cases of the Riemann-Cartan ones. More on the
classication of spacetime geometries may be found in [36].
34
We have in mind here: (a) some papers by Vargas and Vargas and Torr, [47, 48, 49, 50]
where they claim that using the torsion tensor of some special Finsler connections it is possi-
ble to obtain a unied theory of gravitation and electromagnetism (for related papers on the
subject by those authors, please consult http://cartan-einstein-unication.com/published-
papers.html); (b) a paper by Unzicker where he claims to have found a description of elec-
tromagnetism including the existence of quantized charges using teleparallel spacetimes with
defects [45, 46].
17
Then,
[e
i
, e
j
] = c
k
ij
e
k
, (69)
c
2
12
= c
2
21
= cot x
1
.
Moreover the metric g sec T
0
2
S
2
inherited form the ambient Euclidean metric
is:
g = dx
1
dx
1
+ sin
2
x
1
dx
2
dx
2
=
1
1
+
2
2
. (70)
The Levi-Civita connection D of g has the following non null connections
coecients
2
21
=
=
2
12
=
= cot ,
1
22
=
2
21
= cot ,
1
22
= cot . (72)
The torsion and the (Riemann) curvature tensors of D (recall Eq.(12) and
Eq.(13) are
T (
k
, e
i
, e
j
) =
k
((e
i
, e
j
)) =
k
_
D
e
j
e
i
D
e
i
e
j
[e
i
, e
j
]
_
, (73)
R(e
k
,
a
, e
i
, e
j
) =
a
__
D
e
i
D
e
j
D
e
j
D
e
i
D
[e
i
, e
j
]
e
k
_
, (74)
which results in T = 0 and that the non null components of R are R
1
1 21
=
R
1
1 12
= R
2
1 12
= R
2
1 12
= 1.
Since the Riemann curvature tensor is non null the parallel transport of a
given vector depends on the path to be followed. We say that a vector (say
v
0
) is parallel transported along a generic path R I (s) R
3
(say, from
A = (0) to B = (1)) with tangent vector
V = 0, (75)
and such that V((0)) = v
0
. When the path is a geodesic
35
of the connection
D, i.e.,a curve R I c(s) R
3
with tangent vector c
= 0, (76)
the parallel transported vector along a c forms a constant angle with c
. Indeed,
from Eq.(75) it is
g
D
g
V) = 0.
18
Figure 1: Levi-Civita and Nunes transport of a vector v
0
satarting at p through
the paths psr and pqr. Levi-Civita tranport through psr leads to v
1
whereas
Nunes transport leads to v
2
. Along pqr both Levi-Civita and Nunes transport
agree and leads to v
2
.
i.e.,
g
V = constant.This is clearly illustrated in Figure 1 (from [1]).
Consider next the manifold
S
2
= S
2
north pole + south pole R
3
, which
is our sphere of radius R = 1 but this time excluding the north and south poles.
Let again g sec T
0
2
S
2
be the metric eld on
S
2
inherited from the ambient
space R
3
and introduce on
S
2
the Nunes (or navigator) connection
36
dened
by the following parallel transport rule: a vector at an arbitrary point of
S
2
is
parallel transported along a curve , if it determines a vector eld on such
that at any point of the angle between the transported vector and the vector
tangent to the latitude line passing through that point is constant during the
35
We recall that a geodesic of D also determines the minimal distance (as given by the
metric g) between any two points on S
2
.
36
Pedro Salacience Nunes (15021578) was one of the leading mathematicians and cosmo-
graphers of Portugal during the Age of Discoveries. He is well known for his studies in Cos-
mography, Spherical Geometry, Astronomic Navigation, and Algebra, and particularly known
for his discovery of loxodromic curves and the nonius. Loxodromic curves, also called rhumb
lines, are spirals that converge to the poles. They are lines that maintain a xed angle with the
meridians. In other words, loxodromic curves directly related to the construction of the Nunes
connection. A ship following a xed compass direction travels along a loxodromic, this being
the reason why Nunes connection is also known as navigator connection. Nunes discovered the
loxodromic lines and advocated the drawing of maps in which loxodromic spirals would appear
as straight lines. This led to the celebrated Mercator projection, constructed along these rec-
ommendations. Nunes invented also the Nonius scales which allow a more precise reading of
the height of stars on a quadrant. The device was used and perfected at the time by several peo-
ple, including Tycho Brahe, Jacob Kurtz, Christopher Clavius and further by Pierre Vernier
who in 1630 constructed a practical device for navigation. For some centuries, this device was
called nonius. During the 19
th
century, many countries, most notably France, started to call
it vernier. More details in http://www.mlahanas.de/Stamps/Data/Mathematician/N.htm.
19
transport. This is clearly illustrated in Figure 2. and to distinguish the Nunes
transport from the Levi-Civita transport we ask also for the reader to study
with attention the caption of Figure (1).
Figure 2: Characterization of the Nunes connection.
We recall that from the calculation of the Riemann tensor R it follows that
the structures (
S
2
, g, D,
g
) and also (S
2
, g, D,
g
) are Riemann spaces of con-
stant curvature. We now show that the structure (
S
2
, g, ,
g
) is a teleparallel
space
37
, with zero Riemamn curvature tensor, but non zero torsion tensor.
Indeed, from Figure 2 it is clear that (a) if a vector is transported along
the innitesimal quadrilateral pqrs composed of latitudes and longitudes, rst
starting from p along pqr and then starting from p along psr the parallel trans-
ported vectors that result in both cases will coincide (study also the caption of
Figure (1).
Now, the vector elds e
1
and e
2
in Eq.(68a) dene a basis for each point p
of T
p
S
2
and is clearly characterized by:
e
j
e
i
= 0. (77)
The components of curvature operator are:
37
As recalled in Section 1, a teleparallel manifold M is characterized by the existence of
global vector elds which is a basis for TxM for any x M. The reason for considering
S
2
for introducing the Nunes connection is that as well known (see, e.g., [8]) S
2
does not admit
a continuous vector eld that is nonnull at on points of it.
20
R(e
k
,
a
, e
i
, e
j
) =
a
__
e
i
e
j
e
j
e
i
[e
i
,e
j
]
e
k
_
= 0, (78)
and the torsion operation ( recall Eq.(10)) is:
(e
i
, e
j
) =
e
j
e
i
e
i
e
j
[e
i
, e
j
]
= [e
i
, e
j
], (79)
which gives for the components of the torsion tensor,
T
2
12
=
T
2
12
= cot . It
follows that
S
2
considered as part of the structure (
S
2
, g, ,
g
) is at (but has
torsion)!
If you still need more details to grasp this last result, consider Figure 2(b)
which shows the standard parametrization of the points p, q, r, s in terms of the
spherical coordinates introduced above. According to the geometrical meaning
of torsion, its value at a given point is determined by calculating the dierence
between the (innitesimal)
38
vectors pr
1
and pr
2
. If the vector pq is transported
along ps one get (recalling that R = 1) the vector v = sr
1
such that [g(v, v)[
1
2
=
sin . On the other hand, if the vector ps is transported along pq one get
the vector qr
2
= qr. Let w = sr. Then,
[g(w, w)[ = sin( ) sin cos , (80)
Also,
u = r
1
r
2
= u(
1
sin
S
2
, g, ,
g
) has a non null torsion
tensor
T . Indeed, the component of u = r
1
r
2
in the direction / is precisely
i
=
k
ji
k
)
=
_
_
= cot . (82)
To end this Appendix it is worth to show that is metrical compatible, i.e.,
that g = 0. Indeed, we have:
0 =
ec
g(e
i
, e
j
) = (
ec
g)(e
i
, e
j
) + g(
ec
e
i
, e
j
) + g(e
i
,
ec
e
j
)
= (
ec
g)(e
i
, e
j
). (83)
Remark 9 This Appendix shows clearly that we cannot mislead the Riemann
curvature tensor of a connection with the fact that the manifold where that
connection is dened may be bend
39
as a surface in an Euclidean manifold
where it is embedded. Neglecting this fact may generate a lot of wishful thinking
when one comes to the interpretation of curvature (and torsion) in gravitational
theories.
38
This wording, of course, means that those vectors are identied as elements of the appro-
priate tangent spaces.
39
Bending of surfaces embedded in R
3
is adequately characterized by the so called shape
operator discussed, e.g., in[29]. For the case of hypersurfaces (vector manifolds) embedded
in R
n
see [22].
21
References
[1] Bergmann, P. G., The Riddle of Gravitation, Dover, New York, 1992.
[2] Cartan, E., A Generalization of the Riemann Curvature and the Spaces
with Torsion, Comptes Rendus Acad. Sci. 174, 593-596 (1922).
[3] Choquet-Bruhat, Y., DeWitt-Morette, C. and Dillard-Bleick, M., Analysis,
Manifolds and Physics (revised edition), North Holland Publ. Co., Ams-
terdam, 1982.
[4] Clarke, C. J. S., On the Global Isometric Embedding of Pseudo-Riemannian
Manifolds, Proc. Roy. Soc. A 314, 417-428 (1970).
[5] Coll, B., A Universal Law of Gravitational Deformation for General
Relativity, Proc. of the Spanish Relativistic Meeting, EREs, Salamanca,
Spain,1998.
[6] de Andrade, V. C., Arcos, H. I., and Pereira, J. G., Torsion as an Alterna-
tive to Curvature in the Description of Gravitation, PoS WC, 028 922040,
[arXiv:gr-qc/0412034]
[7] Debewer, R.,
Elie Cartan- Albert Einstein: Letters on Absolute Parallelism,
Princeton University Press, Princeton, 1979.
[8] do Carmo, M. P., Riemannian Geometry, Birkhhauser, Boston 1992.
[9] Eddington, A. S., The Mathematical Theory of Relativity (3rd edn).,
Chelsea, New York, 1975.
[10] Einstein, A., Unied Field Theory of Gravitation and Electricity, Session
Report of Prussian Acad. Sci., 414-419, July 25 (1925).
[11] Einstein, A., Unied Field Theory of Gravitation and Electricity, Session
Report of the Prussian Acad. Sci., 217-221, June 7th (1928).
[12] Einstein, A., New Possibility for a Unied Field Theory of Gravitation and
Electricity, Session Report of the Prussian Acad. Sci., 224-227, June 14th
(1928)
[13] Einstein, A., Unied Field Theory Based on Riemannian Metrics and Dis-
tant Parallelism, Math. Ann. 102, 685-697 (1930).
[14] Fernandez, V. V., and Rodrigues, W. A. Jr., Gravitation as a Plastic De-
formation of the Lorentz Vacuum, in preparation, (2009)
[15] Feynman, R. P., Morinigo, F. B. and Wagner, W. G., (edited by Hateld,
B.), Feynman Lectures on Gravitation, Addison-Wesley Publ. Co., Reading,
MA, 1995.
[16] Frankel, T., The Geometry of Physics (second edition), Cambridge Univ.
Press, Cambridge, 1997.
22
[17] Geroch, R. Spinor Structure of Space-Times in General Relativity I, J.
Math. Phys. 9, 1739-1744 (1988).
[18] Goenner, H. F. M, On the History of Unied Field Theories, Living Rev. in
Relativity 7, lrr-2004-2(2004),[http://relativity.livingreviews.org/Articles/lrr-
2004-2]
[19] Grishchuk, L. P, Some Uncomfortable Thoughts on the Nature of Gravity,
Cosmology, and the Early Universe (to appear in Space Sciences Reviews),
[arXiv:0903.4395]
[20] Grosser, M. , Kunzinger, M. , Oberguggenberger, M. and Steinbawer, R.,
Geometric Theory of Generalized Functions with Applications to Relativity,
Mathematics and its Applications vol. 537,Kluwer, Dordrecht, 2001.
[21] Hermann, R., Ricci and Levi-Civitas Tensor Analysis Paper. Translation,
Comments and Additional Material. Lie Groups: History, Frontiers& Ap-
plications vol. II, Math. Sci. Press, Brookline, MA, 1975.
[22] Hestenes, D. and Sobczyck, G., Cliord Algebra to Geometrical Calculus,
D. Reidel Publ. Co., Dordrecht, 1984.
[23] Landau, L.D. and Lifshitz, E. M., The Classical Theory of Fields (fourth
revised english edition), Pergamon Presss, New York, 1975.
[24] Laughlin, R.B., A Dierent Universe: Reinventing Physics from the Bot-
tom, Basic Books, New York, 2005.
[25] Logunov, A. A., Mestvirishvili, The Relativistic Theory of Gravitation, Mir
Publ., Moscow, 1989.
[26] Notte-Cuello, E. A. and Rodrigues, W. A. Jr., A Maxwell Like Formulation
of Gravitational Theory in Minkowski Spacetime, Int. J. Mod. Phys. D 16,
1027-1041 (2007).
[27] Notte-Cuello, E. A. and Rodrigues, W. A. Jr., Freuds Identity of Dieren-
tial Geometry, the Einstein-Hilbert Equations and the Vexatious Problem
of the Energy-Momentum Conservation in GR, Adv. Appl. Cliford Algebras
19, 113-145 (2009).
[28] Ohanian, CH. C. and Runi, R., Gravitation and Spacetime (second edi-
tion), W. W. Norton & Co., New York, 1994.
[29] ONeill, B., Elementary Dierential Geometry, Academic Press, New York,
1966.
[30] Poincare, H., La Science et L Hypoth`ese, Flamarion, Paris, 1902.
[31] Ricci-Curbastro, G., Sulla Teoria degli Iperspazi Rend. Acc. Lincei Serie
IV, 232237 (1895). Reprinted in : Gregorio Ricci-Curbastro, Opere, vol.
I, 431437, Edizioni Cremonense, Roma,1956.
23
[32] Ricci-Curbastro, G., Dei sistemi di congruenze ortogonali in una variet`a
Qualunque, Mem. Acc. Lincei Serie 5 (vol. II) 276322, (1896). Reprinted
in: Gregorio Ricci-Curbastro, Opere Vol II, 161, Editore Cremonense,
Roma, 1957.
[33] Ricci, G., and Levi-Civita, T., Methodes de Calcul Dierentielle Absolu et
leurs Applications, Mathematische Annalen 54, 125201 (1901).
[34] da Rocha, R., and Rodrigues, W. A. Jr., Gauge Fixing in the Maxwell
Like Gravitational Theory in Minkowski Spacetime and in the Equivalent
Lorentzian Spacetime ,[arXiv:0806.4129]
[35] Rodrigues, W.A. Jr. and Capelas de Oliveira, E., A Comment on the Twin
Paradox and the Hafele Keating Experiment , Phys. Letters A 140, 479
484 (1989).
[36] Rodrigues, W.A. Jr.,and Capelas de Oliveira, E., The Many Faces of
Maxwell, Dirac and Einstein Equations. A Cliord Bundle Approach. Lec-
ture Notes in Physics 722, Springer, Heidelberg, 2007.
[37] Rodrigues, W. A. Jr., and Sharif, M., Rotating Frames in RT: Sagnacs
Eect in SRT and other Related Issues, Found. Phys. 31, 1767-1784 (2001).
[38] Rodrigues, W. A. Jr., and Souza ,Q. A. G., An Ambiguous State-
ment Called Tetrad Postulate and the Correct Field Equations Sat-
ised by the Tetrad Fields, Int.J.Mod.Phys D 14, 2095-2150 (2005),
[arXiv:math-ph/0411085]
[39] Sachs, R. K., and Wu, H., General Relativity for Mathematicians, Springer-
Verlag, New York 1977.
[40] Sch ucking, E. L., Einsteins Apple and Relativitys Gravitational Field,
[arXiv:0903.3768]
[41] Schwinger, J., Particles, Sources and Fields, vol. 1, Addison-Wesley Publ.
Co., Reading, MA, 1970.
[42] Szabados, L. B., Quasi-Local Energy-Momentum and Angular Mo-
mentum in GR: A Review Article, Living Reviews in Relativity,
[http://www.livingreviews.org/lrr-2004-4]
[43] Thirring, W., An Alternative Approach to the Theory of Gravitation, Ann.
Phys. 16, 96-117 (1961).
[44] Unzicker, A., and Case, T.,Translation of Einsteins Attempt of a Unied
Field Theory with Teleparallelism, [arXiv:physics/0503046]
[45] Unzicker, A., What Can Physics Learn from Continuum Mechanics,
[arXiv:gr-qc/0011064v1]
24
[46] Unzicker, A., Teleparallel Space-Time with Defects yields Geometrization
of Electrodynamics with Quantized Charges, [arXiv:gr-qc/9612061v2]
[47] Vargas, J. G., Geometrization of the Physics with Teleparallelism (I): The
Classical Interactions, Found. Phys. 22, 507-526 (1992).
[48] Vargas, J. G., Torr, D. G., and Lecompte, A., Geometrization of the
Physics with Teleparallelism (II): Towards a Fully Geometric Dirac Equa-
tion, Found. Phys. 22, 527-547 (1992).
[49] Vargas, J. G., and Torr, D. G., Finslerian Structures: The Cartan-Clifton
Method of the Moving Frame, J. Math. Phys. 34, 4898-4913 (1993).
[50] Vargas, J. G., and Torr, D. G., The Cornerstone Role of the Torsion in
Finslerian Physical Theories, Gen. Rel. Grav. 27, 629-644 (l995).
[51] Vargas, J. G., andTorr, D. G., Is Electromagnetic Gravity Control Possi-
ble?, in El-Genk, M. S. (editor), Proceedings of the 2004 Space Technology
and Applications International Forum (STAIF 2004), AIP Conference Pro-
ceedings, 1206-1213 ( 2004).
[52] Volovik, G. E., The Universe in a Helium Droplet, Clarendon Press, Oxford
(2003),
[53] Weeks, J. R., The Shape of Space (second edition), Marcel Decker Inc.,
New York, 2002.
[54] Weinberg, S., Gravitation and Cosmology, J. Wiley and Sons, Inc., New
York, 1972.
[55] Weitzenbock, R., Dierentialinvarianten in der Einsteinschen Theorie des
Fernparallelismus, Sitzungsber. Preuss. Akad. Wiss. 26, 466-474, (1928).
[56] Zorawski, M., Theorie Mathematiques des Dislocations, Dunod, Paris, 1967.
25