1. Introduction
The standard formulation of general relativity (GR) involves the extension of classical physics expressed in Minkowski spacetime, with metric
, first to arbitrary curvilinear (“accelerated") coordinates via the locality postulate and then to curved spacetime, with metric
, by means of Einstein’s principle of equivalence [
1,
2,
3]. Here,
is the Minkowski metric tensor given by diag
, Latin indices run from 1 to 3, while Greek indices run from 0 to 3. The theory is thus based on the Levi–Civita connection:
This symmetric connection is torsion free, but has Riemannian curvature:
A left superscript “0" will be employed throughout to designate all geometric quantities that are related to the Levi–Civita connection.
In the curved spacetime of general relativity, free test particles and light rays follow timelike and null geodesics, respectively. The correspondence with Newtonian gravitation is established via Einstein’s field equations [
1]:
where
is the Einstein tensor,
is the Ricci tensor and
is the scalar curvature. Moreover,
is the symmetric energy-momentum tensor of matter (and nongravitational fields),
is the cosmological constant and
. In GR, the gravitational field is identified with the Riemannian curvature of spacetime; therefore, spacetime is flat when gravity is turned off and we then work within the framework of the special theory of relativity.
Einstein’s general relativity has significant observational support. Indeed, GR is at present in good agreement with solar system data as well as data from astronomical binary systems. The recent detection of gravitation radiation due to binary mergers lends further support to Einstein’s theory of gravitation. On the other hand, in the current standard model of cosmology, which assumes the spatial homogeneity and isotropy of the universe, the energy content of the universe consists of about 70% dark energy, about 25% dark matter and about 5% visible matter. Dark energy is a kind of repulsive energy that permeates the universe and not only counteracts the attraction of matter, but causes accelerated expansion of the universe. The nature and origin of dark energy are unknown, but it should have positive energy density and negative pressure. It is uniformly distributed throughout space and though it exists everywhere, it is extremely difficult to detect locally. A possible candidate for dark energy is provided by the cosmological constant . The existence of dark energy and dark matter indicates that we are almost completely ignorant about our universe. Most of the matter in the universe is currently thought to be in the form of certain elusive particles of dark matter that, despite much effort, have not been directly detected. The existence and properties of this dark matter have thus far been deduced only through its gravity. In modern astronomy, dark matter is needed to explain dynamics of galaxies, clusters of galaxies and structure formation in cosmology. However, it is possible that there is no dark matter at all, and the theory of gravitation needs to be modified on the scale of galaxies and beyond in order to take due account of what appears as dark matter in astronomy and cosmology. A suitably extended theory of gravitation could then account for the observational data without any need for dark matter. The present paper is about an attempt in this direction; that is, the nonlocal aspect of gravity in NLG simulates dark matter. The main purpose of this paper is to briefly present the main features of NLG theory and develop a useful linear perturbation scheme involving nonlocal gravitoelectromagnetism.
Einstein’s theory of gravitation can be alternatively formulated within the framework of teleparallelism. In this approach to gravitation, the fundamental fields are the 16 components of an arbitrary smooth orthonormal tetrad frame
. The spacetime metric is then defined via the orthonormality condition:
Here, the
hatted indices (e.g.,
) refer to
anholonomic tetrad—that is, local Lorentz—indices, while ordinary indices (e.g.,
) refer to
holonomic spacetime indices. For instance, in:
the tetrad connects (holonomic) spacetime quantities to (anholonomic) local Lorentz quantities. A coordinate basis is holonomic, while a noncoordinate basis is anholonomic. For instance, given a coordinate system
, four coordinate lines pass through each event and for each
, the 1-form
is exact and hence integrable. On the other hand, for each
, the 1-form
in Equation (
5) is in general not exact and hence nonintegrable. Holonomic systems are integrable, while anholonomic systems are nonintegrable. Holonomic and anholonomic indices are raised and lowered by means of
and
, respectively. To change an anholonomic index of a tensor into a holonomic index or vice versa, we simply project the tensor onto the corresponding tetrad frame. We use units such that
, unless specified otherwise.
The chosen tetrad frame is employed to define the
Weitzenböck connection [
4]:
This nonsymmetric connection is curvature free, but has torsion. It follows from definition (
6) that the tetrad frame is covariantly constant:
where ∇ refers to covariant differentiation with respect to the Weitzenböck connection. Equation (
7) implies that each leg of the tetrad field is parallel to itself throughout the manifold, i.e., for each
, Equation (
7) is an expression of the parallel transport of the corresponding vector with respect to connection (
6). Thus, in this theory observers throughout spacetime have access to a global set of parallel vector fields that constitute the components of the tetrad frame field. This circumstance is the essence of teleparallelism; for example, two distant vectors can be considered parallel to each other if they have the same components with respect to the local tetrad frames.
It follows from Equations (
4) and (
7) that
, so that the Weitzenböck connection is compatible with the metric. Thus, in the framework under consideration here, we have one spacetime metric and two metric-compatible connections. It is, therefore, possible to introduce the
torsion tensor:
and the
contorsion tensor:
which are linearly related. To see this, we note that
implies:
which, via the Levi–Civita connection (
1), leads to:
The torsion tensor is antisymmetric in its first two indices by definition; however, the contorsion tensor turns out to be antisymmetric in its last two indices. The torsion of the Weitzenböck connection and the curvature of the Levi–Civita connection are complementary aspects of the gravitational field within the framework of teleparallelism. Thus, it is natural to express Einstein’s field equations in terms of the torsion tensor. The result is the teleparallel equivalent of general relativity, GR, to which we now turn.
1.1. GR
It follows from Equations (
9) and (
11) that one can write Einstein’s field equations in terms of the torsion tensor. To this end, one can prove after much algebra that the Einstein tensor is given by:
where we have introduced auxiliary torsion fields
and
:
Here,
,
and
is the torsion vector
. The Einstein field equations can thus be written within the framework of teleparallelism as:
Here,
is the trace-free energy-momentum tensor of the gravitational field and is given by:
The antisymmetry of
in its first two indices can be used to show that the law of conservation of total energy-momentum tensor in GR
, namely:
follows from the gravitational field equations.
Let us recall here that GR field equations can be derived from an action principle involving a gravitational Lagrangian given by:
On the other hand, we find:
so that the corresponding Lagrangian for GR
is given by:
The special torsion invariant in Equations (
18) and (
19) can be expressed as a linear combination of the three independent algebraic invariants of the torsion tensor, namely:
1.2. GR as the Gauge Theory of the Translations Group
Fundamentally, teleparallelism and GR
can only be understood in the framework of a gauge theory of gravitation [
5]. Presently the strong and the electroweak interactions are described by means of gauge theories. For gravity, this framework can be used as well.
Consider first matter in a Minkowski space. The source of gravity in Newton’s theory is the mass density; within special relativity it should be the energy-momentum tensor instead. For an isolated material system, energy-momentum is conserved. This is the result of the rigid (often called “global”) translation invariance of the action function of the material system under consideration.
A rigid invariance contrasts with the idea of field theory. Thus, in adopting the gauge doctrine, we postulate for the action function the invariance under
local translations. This forces us to introduce 1+3
translational gauge potentials (nonholonomic frames)
thereby
deforming the Minkowski space
to a Weitzenböck space
. Details of this procedure may be found in [
6].
In
, the Lorentz rotations are not gauged, i.e., the action is still invariant under rigid Lorentz rotations, exactly like in
. Accordingly, the
connection
is still flat:
This guarantees that in a
the parallel transport is still integrable. Accordingly, as in
, we can choose all over
a
suitable frame such that the connection vanishes everywhere:
Instead of the curvature,
carries a translational field strength
torsion which, in analogy to electrodynamics, is represented by the curl of the translational potential
:
In the teleparallel frame of Equation (
22), we have for the torsion
see Equation (
8), where
is the object of anholonomity of Schouten [
7]. The torsion has three irreducible pieces
, for
. With the torsion vector
, we have:
So far we reminded ourselves of the kinematics of a translational gauge theory (TG). With the gauge Lagrangian
, we can address the dynamics by defining the gravitational translational field momentum (or translation excitation):
Should we investigate a physical system which has no Lagrangian—in the case of irreversibility, e.g.,—the excitation
still makes physical sense, as we know, e.g., from electrodynamics and the inhomogeneous Maxwell equation.
The general quadratic TG Lagrangian carries three independent pieces:
To the Lagrangian (
26) we can add a Lagrange multiplier term for enforcing the teleparallel constraint, see [
6]. It turns out that
we cannot allow spinning matter (other than as test particles) in such a teleparallel space. Accordingly, we must decree, see page 52 of [
6], that only scalar and electromagnetic matter be allowed in TG, since they do not carry dynamical spin and have, consequently, symmetric energy-momentum tensors.
The translational excitation of Lagrangian (
26) reads:
In a teleparallelism theory the three-parametric rigidly Lorentz invariant Lagrangian is a totally acceptable choice. It corresponds to a gauge theory of the translation group. However, as it so happens, among these three-parameter Lagrangians, up to an overall constant, there is only one Lagrangian that is
locally Lorentz invariant, see Cho [
8]. This theory, which we abbreviate by GR
, is, for scalar and electromagnetic matter, equivalent to GR. The local Lorentz invariance is imposed from the outside, it is not necessary in a translational gauge theory. However, it shows that GR can be really understood as a specific translational gauge theory. A Hilbert-Einstein Lagrangian is equivalent to a definite torsion square Lagrangian in the teleparallel limit. This is a big step forward in understanding GR. The constants for GR
are found to be, see [
9]:
This set of constants is called the
Einstein choice. Lagrangian (
26), together with Equation (
28), and the attached field momentum (
27) were the starting point for a classical nonlocal theory of gravity.
1.3. Nonlocal Gravity
A locality assumption runs through the standard theories of special and general relativity [
2,
3]. For instance, to render an accelerated system in Minkowski spacetime
relativistic, Lorentz transformations are applied in a pointwise manner all along the world line of the accelerated system. An accelerated observer is thus assumed to be physically identical with a hypothetical inertial observer that shares the same
state, namely position and velocity. The locality hypothesis originates from the Newtonian mechanics of classical point particles and its domain of validity is determined by the extent to which physical phenomena could be reduced to pointlike coincidences. However, wave phenomena are generally nonlocal by the Huygens principle. Moreover, Bohr and Rosenfeld have shown that the electromagnetic field measurement requires a certain average over a region of spacetime [
10,
11]. To go beyond the locality assumption, one must include an average over the past world line of the accelerated observer. In this way, a
nonlocal special relativity theory has been developed [
12,
13].
Can nonlocal special relativity be extended to include the gravitational interaction by means of Einstein’s principle of equivalence? Einstein’s principle is extremely local, however, and this approach encounters severe difficulties and has been abandoned. Instead, we use Einstein’s fundamental insight regarding the connection between inertia and gravitation as a guiding principle and develop nonlocal general relativity patterned after the nonlocal electrodynamics of media. To this end, we exploit the formal analogy between GR
and electrodynamics and introduce an average of the gravitational field into the field equations via a causal constitutive kernel [
14,
15,
16]. In nonlocal gravity, the gravitational field is local, but satisfies partial integro-differential field equations.
In nonlocal gravity, as in the electrodynamics of media, we retain the gravitational field equations (
14), but change the local constitutive relation (
13) to:
where the new tensor
involves a linear average of the torsion tensor over past events. More specifically, we assume that:
where
is Synge’s
world function [
17],
is the scalar
causal kernel of the nonlocal theory and
is a tensor that is antisymmetric in its first two indices and is given by:
Here,
is a constant dimensionless parameter and
is the torsion pseudovector defined via the Levi–Civita tensor
by:
Finally, the gravitational field equation of nonlocal gravity (NLG) is given by:
where the energy-momentum tensor of the gravitational field,
, is now given by:
The total energy-momentum conservation law then takes the form:
No exact nontrivial solution of the nonlocal field equation (
33) is known. In this connection, the main source of difficulty appears to be the complicated relation that introduces nonlocality into the theory, namely Equation (
30). In a recent paper [
18], a simpler form of Equation (
30) has been suggested, where the bitensor
is replaced by the parallel propagator
. It remains to determine whether this simplification could help in generating exact nontrivial solutions of NLG.
The arbitrary tetrad frame we adopted to develop GR could be any smooth tetrad frame field in spacetime. At each event, any two tetrad frame fields are related by an element of the local Lorentz group. This circumstance agrees with the invariance of Einstein’s GR under the local Lorentz group, since Einstein’s theory ultimately depends only upon the metric tensor . The introduction of nonlocality into the theory may remove this pointwise 6-fold degeneracy of GR. However, as expected, NLG remains invariant under the global Lorentz group.
3. Gravitomagnetism in Nonlocal GEM
In Equation (
62), the gravitomagnetic vector potential depends on the choice of the reciprocal kernel
q. To indicate which Newtonian reciprocal kernel is under consideration, we introduce a parameter
such that
for
and
for
. Let us write the solution of Equation (
62) in the form:
Using Equation (
62) and the explicit form of the Newtonian reciprocal kernels (
50) and (
51), we find:
where
,
and
is given by:
Here,
is the
exponential integral function given by:
so that for
,
is a positive monotonically decreasing function that diverges as
near
and falls off exponentially as
. Moreover, we have introduced a dimensionless quantity
such that
. For the exterior of the Earth, we assume that
r is less an astronomical unit and
is rather small compared to unity as
is about the size of the solar system. For
, we have
; then, the Taylor expansion of
about
and repeated differentiation of Equation (
70) result in:
Putting these results together and neglecting terms of
, we find:
Assuming
, which is appropriate for the exterior of the source, and expanding
to first order in
, we get:
and:
Let the compact gravitational source reside in the interior of a finite closed spatial domain
that completely surrounds the source. This means that
vanishes on the surface of
and beyond. Then, the conservation of matter current implies:
where
is a smooth function. Applying Gauss’s theorem and setting the integral on
equal to zero, we get:
For
and
, we find the following relations:
respectively. Let:
be the total proper
angular momentum of the gravitational source. Then, it is straightforward to show using Equation (
77) that:
It then follows from these results that the gravitomagnetic vector potential is given by:
where the relevant nonlocality length scale
is given by:
The nonlocal contribution to
at the level of approximation under consideration is nonzero for
but
vanishes for
. The length scale
pc, so that the nonlocal contribution to
in the exterior of the Earth is relatively quite small and less than about
of the standard GR value.
Finally, the gravitomagnetic field can be calculated from Equation (
80) and the result is:
The gravitomagnetic field of the Earth has been directly measured via the GP-B experiment and the GR prediction has been verified to about 19% [
29]. The nonlocal contribution to the gravitomagnetic field of the Earth is at most ten orders of magnitude smaller than the GR value and is thus beyond current measurement capabilities for the foreseeable future. A similar estimate holds for nonlocal gravitomagnetic effects in the motion of the Moon. In connection with the lunar laser ranging experiment, we note that the main relativistic effects in the motion of the Moon are due to the gravitational field of the Sun and have been calculated in [
30,
31]. The Earth-Moon system with its orbital angular momentum acts as an extended gyroscope in the gravitomagnetic field of the Sun. The nonlocal modification of this field is given by Equation (
82) and the corresponding nonlocal gravitomagnetic effects in the motion of the Moon are then about ten orders of magnitude smaller than the GR predictions as well. Another consequence of the existence of the gravitomagnetic field is the Lense–Thirring effect, see [
32,
33,
34] and the references cited therein.
3.1. Nonlocal Contributions to the Metric
The spacetime metric (
66) in our nonlocal GEM contains gravitoelectric and gravitomagnetic potentials. The latter is given by Equation (
80). It is, therefore, necessary to find the corresponding gravitoelectric potential
, which is given by:
To simplify matters, we assume that the gravitational source has a spherically symmetric matter distribution. This means that
; then, we go through essentially the same steps as in Equations (
68)–(
74), except that:
as a consequence of spherical symmetry for the matter distribution. Therefore, Equation (
72) implies:
and:
Here,
M is the mass of the spherical rotating source in our linear approximation scheme, namely:
We note that Equation (
85) here is consistent with Equations (8.39) and (8.40) of [
16]. With gravitoelectric potential (
85) and gravitomagnetic potential (
80), the GEM metric (
65) can now be used consistently in investigating nonlocal effects in GEM.
3.2. Gravitomagnetic Clock Effect in NLG
There is a special temporal structure around a rotating mass that is best expressed via the gravitomagnetic clock effect [
35,
36,
37,
38]. To illustrate this effect in NLG, let us assume that the gravitational source rotates about the
z axis,
, and write the GEM metric in the corresponding spherical polar coordinates. Under the transformation
, metric (
65) takes the form:
where
,
and we have neglected in our GEM approach the contribution of
to the spatial part of the metric. In the local theory (GR), we have
and
. These potentials change in our nonlocal approach as follows:
where:
We are interested in the nonlocal modification of Keplerian periods of the equatorial circular orbits in this spacetime.
The geodesic equation for the radial coordinate takes the form:
where
is the proper time. This equation can be solved for
constant and
. The solution in the linear approximation under consideration is given by:
Indeed, for
, we have:
It follows from a detailed analysis that, as expected, deviations exist from the standard GR results for
. For an equatorial circular orbit with Keplerian frequency
and Keplerian period
, we find for the periods of co-rotating (+) and counter-rotating (-) orbits in terms of coordinate time:
and in terms of proper time:
Here, we work to linear order in perturbation quantities and the nonlocal contributions are given by terms proportional to
,
and
, where:
It is interesting to note that the prograde period is
longer than the retrograde period, namely:
In GR, the gravitomagnetic clock effect for circular equatorial orbits around the Earth is given by
sec. This prediction of GR has not yet been verified by observation. The GR effect is indeed rather difficult to measure since the Keplerian period of a near-Earth orbit increases by about
sec when the orbital radius is increased by
cm, see [
39,
40,
41,
42,
43,
44,
45,
46,
47] and the references cited therein. The magnitude of the nonlocal contribution to the gravitomagnetic clock effect for the Earth is smaller than about
of the GR value.
3.3. Gravitational Larmor Theorem in NLG
In classical electrodynamics, Larmor’s theorem establishes a local relation between the motion of a charged test particle in an electromagnetic field and its motion in the absence of the field, but in an accelerated system of reference. The gravitational version of this theorem is essentially Einstein’s principle of equivalence expressed within the GEM framework [
27,
28]. It is useful to point out that the theorem extends to
nonlocal GEM as well.
Let us imagine an accelerated observer following a world line
in Minkowski spacetime. Here,
is the observer’s proper time. The observer carries an orthonormal tetrad frame
along its path such that:
where
is the antisymmetric acceleration tensor. In analogy with the electromagnetic field tensor, we can decompose
into its “electric" and “magnetic" parts, namely
and
. Here,
and
represent the invariant translational and rotational accelerations of the observer, respectively. Let us now introduce a geodesic coordinate system in the neighborhood of the accelerated observer. At a given proper time
, the straight spacelike geodesics normal to
form a Euclidean hyperplane. An event on this hyperplane with inertial coordinates
will be assigned geodesic (Fermi) coordinates
such that
and
. With these transformations,
becomes
, where:
A detailed discussion of these local coordinates and their admissibility is contained in [
16]. In general,
and
are functions of proper time
. However, in the present context of steady-state GEM, we assume that these accelerations are constants and do not vary with proper time.
A comparison of this flat metric at the linear order with metric (
66) once we neglect its spatial curvature reveals that an accelerated observer in Minkowski spacetime is
locally equivalent to an observer in a GEM field provided
for a suitable choice of the constant
and
, which means that
and
, respectively. These GEM fields contain nonlocal effects; in this way, the gravitational Larmor theorem has been extended to the nonlocal regime.
An interesting application of the gravitational Larmor theorem involves the interaction of spin with the gravitational field. The coupling of intrinsic spin with the gravitomagnetic field has been discussed extensively and a brief review of the subject is contained in [
27]. The effect is related to spin-rotation coupling via the gravitational Larmor theorem. The spin-rotation coupling for neutrons has recently been measured via neutron interferometry [
48,
49]. The extension of the gravitational Larmor theorem to the nonlocal regime means that spin-gravity coupling can likewise be extended to the nonlocal regime.
4. Gravitational Energy-Momentum Tensor
The traceless gravitational energy-momentum tensor
of NLG is given by Equation (
34). Let us first compute the local part of this tensor
, which is traceless as well, for the GEM case. To this end, we write Equation (
15) in the form:
and express the components of the torsion tensor in terms of the GEM potentials. That is:
and:
It follows that:
where we have used the relation:
It is now possible to compute the components of the traceless energy-momentum tensor, which are:
and:
where:
These local results must be supplemented with nonlocal terms, i.e., we must go back to Equation (
34) and compute
, which contains nonlocal terms of the form:
where
is the kernel of NLG theory in the Newtonian regime [
16]. The explicit calculation of this kernel is rather complicated and is beyond the scope of this paper.
It is interesting to compare and contrast the local Equations (
106) and (
109) with those obtained via the Landau–Lifshitz pseudotensor
of GR [
50] within the standard GEM framework [
27,
28]. To this end, it is necessary to assume a steady-state GR configuration (i.e.,
and
). Then:
The similarity between these different gravitational results and the corresponding electromagnetic ones is noteworthy. In particular, imagine a steady-state configuration involving a rotating astronomical source with mass
M and angular momentum
. Then, it follows from the gravitational Poynting vector that there is a steady circulation of gravitational energy in the same sense as the rotation of the source with an azimuthal flow speed given in spherical polar coordinates by:
The proportionality constant depends on the underlying theory of gravitation [
27,
28].