1. Introduction
In relativity theory, Lorentz transformations are first extended in a pointwise manner to accelerated systems in special relativity and then to gravitational fields in general relativity via Einstein’s local principle of equivalence [
1,
2]. In this approach, the first step is based on the assumption that an accelerated observer in Minkowski spacetime, at each event along its world line, is physically equivalent to an otherwise identical momentarily comoving inertial observer. This hypothesis of locality generally amounts to a first approximation, since field measurements cannot be performed instantaneously and require an extended time interval. To go beyond the locality postulate, one must take the past history of the accelerated observer into account. Such history-dependent theories are nonlocal [
3]. Nonlocal theories of special and general relativity have recently been developed [
4,
5,
6,
7,
8,
9,
10,
11,
12,
13]. It turns out that nonlocal general relativity simulates dark matter; that is, according to this theory, what appears as dark matter in astrophysics is essentially a manifestation of the nonlocality of the gravitational interaction.
Lorentz invariance is a fundamental symmetry of nature and involves the relationship between the measurements of ideal inertial observers in uniform relative motion in Minkowski spacetime. Such hypothetical observers do not truly exist; indeed, actual observers are all more or less accelerated. Thus, a physical hypothesis is required to relate the measurements of actual accelerated observers with those of hypothetical momentarily comoving inertial observers. The special theory of relativity is based on the hypothesis of locality, which postulates that an accelerated observer is pointwise inertial, so that Lorentz transformations may be applied event by event along its world line to determine what the accelerated observer measures. This locality postulate fits in well with Einstein’s local principle of equivalence, since these together imply that in general relativity (GR), an observer in a gravitational field is pointwise inertial [
2].
The hypothesis of locality has its roots in the Newtonian mechanics of classical point particles. Thinking of classical physics in terms of particles and waves, it is clear that the locality postulate is valid for point particles and leads to a theory of point-like coincidences, whereas the measurement of wave properties requires an extended period of time. Indeed, Bohr and Rosenfeld have shown that the measurement of the classical electromagnetic field cannot be done instantaneously and necessitates a certain spacetime averaging procedure over past events [
4]. Thus, to go beyond the hypothesis of locality for the measurement of classical fields, the past history of the accelerated observer and the fields must be taken into account. To incorporate history dependence, the usual partial differential equations for the fields must be replaced by integro-differential equations. In this way, one is led to nonlocal special relativity, in which fields are local, but satisfy integro-differential field equations [
4].
Is gravitation history dependent? Einstein interpreted the principle of equivalence of inertial and gravitational masses to mean that an intimate connection exists between inertia and gravitation. We follow Einstein’s interpretation, but do not postulate a local equivalence between inertia and gravitation as in GR; rather, we wish to extend GR to make it history dependent along the same lines as in nonlocal special relativity. That is, GR should become history dependent, since accelerated systems in Minkowski spacetime are expected to be history dependent. It turns out that within the framework of teleparallelism [
14,
15,
16], GR has an equivalent tetrad formulation, namely, GR
||, that can be rendered nonlocal in close analogy with the nonlocal electrodynamics of media [
5,
6]. To implement these ideas, we need an extended general relativistic framework in which the Riemannian metric is supplemented with two metric-compatible connections, namely the standard Levi–Civita connection (
) and the Weitzenböck connection (
). A left superscript “0” is used throughout to denote geometric quantities in GR that are directly related to the Levi–Civita connection. We describe this extended tetrad framework in
Section 2.
Section 3 is devoted to the formulation of nonlocal gravity (NLG). Observational aspects of NLG are treated in
Section 4.
Section 5 contains a discussion of our results.
It is important to note that there are other approaches to nonlocal gravitation (see [
17,
18] and the references cited therein); however, what sets our specific approach completely apart from other nonlocal modifications of GR is the initial physical motivation stemming from the hypothesis of locality and the specific path followed from nonlocal special relativity to NLG.
2. Extension of the GR Framework
In general relativity, spacetime is a smooth, four-dimensional manifold with a Lorentz metric, such that the invariant spacetime interval
is given by:
The path of a test particle of constant inertial mass
m is obtained as usual from:
which results in the geodesic equation of motion for the test particle:
Similarly, rays of radiation follow null geodesics of the spacetime manifold. The four-velocity vector of a test particle,
, is parallel transported along a geodesic via the Levi–Civita connection that is given by the Christoffel symbols:
This symmetric connection is torsion-free, but has Riemannian curvature (
). In our convention, an event in spacetime has coordinates
, where Greek indices run from zero to three, while Latin indices run from one to three; moreover, the spacetime metric has signature +2,
and
, unless otherwise specified. The gravitational field equations in GR are given by [
1]:
where
is the symmetric Ricci tensor,
is the scalar curvature, Λ is the cosmological constant and
is the symmetric energy-momentum tensor of matter.
Each observer in spacetime carries an orthonormal tetrad frame
, where
is the observer’s unit temporal direction and
,
constitute its local spatial frame. The projection of tensor fields on an observer’s tetrad frame indicates the local measurement of the corresponding physical quantities by the observer. Spacetime indices are raised and lowered via the metric tensor
, while the hatted tetrad indices, that is, the local Lorentz indices, are raised and lowered via the Minkowski metric tensor
given by diag
in our convention. The orthonormality condition for the tetrad frame
can be expressed as:
so that we can write Equation (
1) as
where
. Thus, the tetrad provides the local connection between spacetime quantities and local Lorentz quantities for the observer.
The differential form
is, in general, not exact, since an exact form would imply that it is integrable, namely that there exist four functions
, such that
. It would then follow from Equation (
6) that we are in Minkowski spacetime with
. Indeed, the family of observers with such a frame field would be the static inertial observers with tetrad frames that are all parallel and point along the Cartesian coordinate axes of a global inertial frame with coordinates
. If
, then
is not integrable, and at each event, such one-forms will constitute a non-coordinate or anholonomic Lorentz basis. Therefore, changing a holonomic spacetime index of a tensor into an anholonomic local Lorentz index or
vice versa, one can simply project the tensor onto the corresponding local tetrad frame.
In GR, the gravitational field is identified with spacetime curvature; moreover, one traditionally works with admissible coordinate systems [
19,
20]. Coordinate bases are holonomic, while non-coordinate bases are anholonomic. In differential geometry, one can work with either holonomic or anholonomic bases. We find it convenient to work primarily with holonomic bases in this paper.
In a patchwork of admissible coordinate charts in spacetime, consider a smooth orthonormal tetrad frame field
corresponding to a preferred set of observers. We use this preferred tetrad system to define a new linear Weitzenböck connection [
21]:
It can be checked directly that this nonsymmetric connection is curvature-free; moreover, it is so constructed as to render the frame field parallel, namely , where here denotes covariant differentiation with respect to the Weitzenböck connection. This circumstance leads to teleparallelism; that is, distant vectors can be considered parallel if they have the same components with respect to their local preferred frames. The Levi–Civita and Weitzenböck connections are both compatible with the spacetime metric tensor; indeed, the latter is a consequence of , which follows from the orthonormality relation .
Under a general transformation of coordinates
, a linear connection transforms just as, say, the Weitzenböck connection:
Therefore, the difference between two linear connections on the same spacetime manifold is a tensor. In this way, we have the torsion tensor:
and the contorsion tensor:
From the compatibility of the Weitzenböck connection with the metric, namely
, we find:
which can be substituted in the Christoffel symbols to show that the contorsion tensor is linearly related to the torsion tensor via:
The torsion tensor is antisymmetric in its first two indices, while the contorsion tensor is antisymmetric in its last two indices.
There is a subtle correlation between the curvature of the Levi–Civita connection and the torsion of the Weitzenböck connection. To illustrate this point, let us first imagine that
. This is mathematically equivalent, via Equation (
10), to the requirement that
. On a smoothly contractible spacetime domain, every closed form is exact in accordance with the Poincaré lemma. In this case, there are thus four functions
, such that
or
. As before, it follows from the orthonormality condition that we are back in Minkowski spacetime where our preferred observers are the static inertial observers of a global inertial frame with coordinates
, such that the tetrad axes are all parallel with the corresponding Cartesian coordinate axes. Therefore,
implies that
, so that there is no gravitational field. In the presence of gravitation, however,
, and this implies that
. It thus appears that in curved spacetime, one can characterize the gravitational field via the torsion tensor, as well.
In extended GR, the parallel frame field defined by the Weitzenböck connection is the natural generalization of the parallel frames of static inertial observers in a global inertial frame in special relativity to the curved spacetime of general relativity. Let us recall that in the standard GR framework, a parallel (or non-rotating) frame field may be defined via parallel (or Fermi–Walker) transport using the Levi–Civita connection along a timelike world line; however, it cannot in general be extended to a finite region, as this is obstructed by the Riemannian curvature of spacetime. The introduction of the Weitzenböck connection remedies this situation.
As is well known, in the curved spacetime of GR, at an event with coordinates
, one can introduce locally geodesic coordinates in the neighborhood of
, such that in the new coordinates the Christoffel symbols all vanish at
and geodesic world lines that pass through
are rendered locally straight. In a similar way, consider the coordinate transformation
,
In the new coordinate system, however, only the symmetric part of the Weitzenböck connection vanishes at
, and
, in general, remains nonzero. In this case, the corresponding Weitzenböck autoparallels passing through
are rendered locally straight. Thus, at each event in our extended GR framework, the curvature and torsion tensors both characterize the gravitational field [
22]. In fact, the symbiotic relationship between the Riemann curvature and the Weitzenböck torsion of the spacetime manifold turns out to be crucial for the nonlocal generalization of GR.
We illustrate in
Appendix A, via a specific example, how the Weitzenböck torsion tensor might be measured in a given gravitational field. In particular, we show that Weitzenböck torsion behaves like tidal acceleration and has dimensions of (length)
-1, while curvature has dimensions of (length)
-2. Moreover, we show, among other things, that it is possible to introduce Fermi coordinates and tetrad frames in the neighborhood of an arbitrary timelike geodesic, such that the Levi–Civita and Weitzenböck connections both vanish along the timelike geodesic path.
The Riemann curvature tensor can be expressed in terms of the Christoffel symbols and their derivatives; therefore, Equation (
11) can be used to write the Riemann curvature tensor in terms of the torsion tensor. After detailed, but straightforward, calculations, it is then possible to write the Einstein field Equation (
5) in Maxwellian form in terms of the torsion tensor. To this end, it proves useful to introduce an auxiliary torsion tensor:
where
is the torsion vector. Furthermore, let
be an auxiliary field strength defined by:
so that
and
are both antisymmetric in their first two indices. Then, the Einstein tensor
can be written in the form:
where
,
turns out to be the trace-free energy-momentum tensor of the gravitational field in the new scheme. Einstein’s gravitational field equations now take the form:
It follows from Equation (
19) and the antisymmetry of
in its first two indices that:
This is the law of conservation of total energy-momentum tensor that consists of contributions due to matter, the gravitational field and the cosmological constant.
To summarize, within the context of GR, we have chosen a preferred frame field, which together with the corresponding Weitzenböck connection has generated a GR|| framework that is the teleparallel equivalent of GR. In GR, the ten gravitational field equations can be used in principle to determine the ten components of the spacetime metric tensor. A tetrad frame field has, however, sixteen components, which are subject to ten orthonormality relations that, in effect, determine the metric in terms of the tetrad frame. This circumstance points to the six-fold degeneracy of GR||. In fact, the extra six degrees of freedom are elements of the local Lorentz group; that is, the boosts and rotations that locally characterize one system of observers with respect to a fiducial system. This basic degeneracy of GR|| will be removed in the nonlocal generalization of this theory in the next section.
A comprehensive account of the tetrad formulation of GR is contained in [
14,
15,
16] and the references cited therein. A detailed treatment of the approach to GR
|| adopted here can be found in the excellent review by Maluf [
16].
GR
||, the teleparallel equivalent of GR, is the gauge theory of the Abelian group of spacetime translations [
14,
15,
16]. As such, the structure of GR
|| bears certain similarities with electrodynamics. For instance, Equation (
10) can be written as
, so that for each tetrad index
,
is analogous to the electromagnetic field tensor with vector potential
. The analogy with electrodynamics has provided the basis for the present approach to the nonlocal generalization of GR [
5,
6] that is described in the following section.
3. Nonlocal Gravity (NLG)
In the electrodynamics of media, the constitutive relation between
and
could be nonlocal [
23,
24]. Therefore, in the nonlocal electrodynamics of media, Maxwell’s original equations remain unchanged, but the constitutive relation now involves the past history of the electromagnetic field. In GR
||, Einstein’s field equations are analogous to Maxwell’s original equations, and Equation (
16) plays the role of a local constitutive relation. We wish to construct here a nonlocal theory of gravitation in analogy with the nonlocal electrodynamics of media. To render observers nonlocal in a gravitational field in the same sense as in nonlocal special relativity, we simply change Equation (
16) to:
where
is a tensor involving the past history of the gravitational field. The field equations of nonlocal gravity are therefore obtained from Equations (
18) and (
19) by substituting
for
. That is, the field equations of nonlocal gravity are given by:
where
now takes the place of
, namely,
As before, the law of conservation of total energy-momentum tensor takes the form:
Let us now specify the form of the nonlocality tensor
. We assume, for the sake of simplicity, a nonlocal ansatz involving a scalar kernel, namely,
where
is the scalar causal kernel of nonlocal gravity [
5,
6,
7,
8,
9,
10,
11,
12,
13] and
depends upon the spacetime torsion. Here, event
is connected to event
x via a unique future directed timelike or null geodesic, and we define the square of the proper length of this geodesic to be 2Ω, where Ω is Synge’s world function [
19]. In Equation (
25), indices
refer to event
, while indices
refer to event
x; moreover,
For any bitensor, the covariant derivatives at
x and
commute [
19]; that is,
is a dimensionless bitensor, such that:
To simplify matters further, we assume that
is a linear combination of the components of the torsion tensor, namely,
This relation is reminiscent of the local constitutive relation between
and
in electrodynamics [
25]. Various forms of Equation (
28) have been explored in [
13], and the relation that has been adopted for NLG is:
Here,
is a constant dimensionless parameter and
is the torsion pseudovector given by:
where
is the Levi–Civita tensor.
It is interesting to express the main field equations of nonlocal gravity Equation (
22) as non-locally modified Einstein’s equations. To this end, Equation (
17) can be written as:
Let us now use Equation (
22) to write Equation (
31) as:
Here,
and
are not in general symmetric tensors; moreover,
is given by:
and
is a traceless tensor, namely,
In Equation (
32), we have sixteen field equations for the sixteen components of the gravitational potentials specified by our preferred tetrad field
. Nonlocal gravity is thus a tetrad theory that is invariant under the global Lorentz group and in which the Riemann curvature tensor and the Weitzenböck torsion tensor both originate from the mass-energy content of the universe in accordance with Equation (
32).
It remains to determine the constitutive kernel
. The structure of NLG implies that
could, in general, depend upon spacetime scalars at
x and
, such as
and
. We take the view that the functional form of the kernel should be determined from the observational data. A detailed discussion of this issue is contained in [
5,
6,
7,
8,
9,
10,
11,
12,
13].
The implications of this NLG theory have thus far been explored only in the linear regime. The investigation of the nonlinear regime of NLG remains a task for the future.
4. Confrontation of NLG with Observation
In the general linear approximation of NLG, we can deal with problems regarding linearized gravitational radiation, bending of light and gravitational lensing, as well as the Newtonian regime of nonlocal gravity.
In the Newtonian limit of NLG, the Poisson equation for the gravitational potential Φ takes the form:
where
has the interpretation of the density of “dark matter” that is mimicked by nonlocality. It turns out that in Equation (
35), we can recover the phenomenological Tohline–Kuhn approach to modified gravity [
12]. Indeed, for most situations of physical interest, the reciprocal kernel
q is a generalization of the Kuhn kernel and is given by [
12]:
where
and
and
μ are positive constant parameters, such that
. It follows from Equations (
35) and (
36) that the attractive force of gravity acting on a point mass
at
due to a point mass
at
is given by:
where
is a dimensionless parameter. In the framework of nonlocal gravity, Equation (
37) replaces the Newtonian inverse-square force law. A detailed analysis reveals that the gravitational physics of the solar system, spiral galaxies and clusters of galaxies can all be explained with Equation (
37) provided the parameters are chosen such that
,
kpc and
kpc [
12]. It is interesting to note that the non-locally modified force law Equation (
37) consists of an enhanced attractive Newtonian part with
and a repulsive Yukawa part with a decay length of
.
Linearized gravitational radiation has been investigated within the framework of NLG [
10,
11,
13]. The linearized gravitational waves with frequencies in the range that is currently of observational interest have wavelengths that are much shorter than 1 kpc; therefore, nonlocal effects in their generation and detection turn out to be negligible [
10]. However, nonlocality does lead to the damping of gravitational waves as they propagate over cosmological distances, but the exponential damping time turns out to be longer than the age of the universe for gravitational waves of current observational interest [
10,
11].
Nonlocal gravity has a galactic length scale of order 1 kpc; hence, NLG effects are generally negligible in systems with dimensions
kpc, such as planetary systems or binary pulsars. On the other hand, it would be most interesting to detect the influence of nonlocality in such systems. In this connection, the NLG-induced periastron precession must be mentioned. The effect is at present buried in the noise; e.g., it is retrograde, and the ratio of its magnitude for Mercury to Einstein’s precession is about
[
7,
12,
26].
It remains to confront the predictions of NLG with gravitational lensing observations [
13]. The implications of NLG for structure formation in cosmology also remain a task for the future.