1. Introduction
During the last decade, the subject of the bending of light by a gravitational lens embedded in a non-asymptotically flat spacetime, particularly the effect of the background spacetime on the light bending angle, has attracted a lot of interest. One of the most discussed issues is that of whether the cosmological constant
in the Schwarzschild–de Sitter (SdS) spacetime contributes to the bending of light. It has been claimed [
1,
2] that since the constant
drops out of the null geodesic equations for the Schwarzschild–de Sitter spacetime then it should not feature in the formula for the bending angle, even though its effect would still be indirectly used in gravitational lensing, considering that the angular diameter distances in the lensing formula depend on
. However it was Rindler and Ishak [
3,
4] who first suggested that the bending angle of light in asymptotically non-flat spacetimes cannot be simply calculated by finding the angle between the asymptotes
of the photon’s trajectories (commonly referred to as Weinberg’s method [
5]) as is normally done in Schwarzschild geometry, for example. So, they utilized a different method to calculate the angle of deflection and obtained a formula that contained a direct contribution from the cosmological constant. The reactions to this proposal were mixed [
6,
7,
8,
9,
10,
11,
12,
13] with some against and some in favor of Rindler and Ishak’s method, while a few others still questioned whether
contributes effectively to lensing. This debate has since calmed down, with the recent general consensus being that the cosmological constant does indeed play a role in gravitational lensing, but that the effect is way too tiny to be significant and can thus be ignored for practical purposes, given that its magnitude is much smaller when compared with other lensing affects such as aberration and uncertainties in cosmological distances [
14,
15]. In the time that the debate surrounding the SdS spacetime has been going on, another spacetime that has also attracted a lot of interest with regards to light bending is the static and spherically symmetric vacuum solution to conformal Weyl gravity, which was first derived by Riegert [
16] but is more commonly know as the Mannheim–Kazanas (MK) solution [
17,
18]. Unlike general relativity, conformal Weyl gravity is a conformally invariant theory of gravitation, meaning that it has the added symmetry that, if a particular metric is a solution of the field equations of the theory, then any conformal transformation of this metric will also be a solution of Weyl gravity. The Mannheim–Kazanas solution contains a linear potential term
in its lapse function. It has been shown that this can predict flat galactic rotational curves without the need to include dark matter [
19,
20,
21,
22,
23], whose exact nature is still a mystery. Recent studies [
24] have, however, criticized this claim. When calculating the deflection of light in this spacetime, Edery and Paranjape [
25] (see also [
26,
27]) showed that the
term in the metric leads to a negative contribution to the total bending angle that is linearly proportional to the impact parameter, meaning that the further away the light ray is from the lens, the greater is this contribution to the bending angle. This, therefore, renders the spacetime unphysical. Moreover, this contribution requires that the constant
should have the opposite sign used for the prediction of flat galactic rotation curves. It turned out that this paradoxical result arises from the fact that when using the standard formula for bending of light given by Weinberg, the authors incorrectly assumed that the MK spacetime is asymptotically flat. It was later shown [
28,
29] by applying Rindler and Ishak’s method that the contribution of the linear term in the MK metric is inversely proportional to the impact parameter and therefore is practically insignificant for lensing purposes, considering the small magnitude of constant
derived earlier from the fitting of galactic rotational curves. However the issue of the bending of light in Weyl gravity, particularly the magnitude of the contribution of the linear term in the metric, remains unresolved. This has been revisited several times in recent literature [
30,
31,
32,
33,
34,
35,
36], and so far remains inconclusive. The main disagreements arise from the different order of the approximations used to derive the bending angle formula, the different representations of the mass of the lens in terms of parameters in the MK-metric, and the application of various alternative geometric techniques for calculating the bending angle in non-asymptotically flat spacetimes. For example, another less commonly used method is that based on the Gauss–Bonnet theorem applied for the optical metric generated from the spacetime metric
, which was originally used for asymptotically flat spacetimes [
37,
38] but has recently been generalized and applied to non-asymptotically flat spacetimes [
39,
40,
41], specifically to the SdS and MK solutions. In a recent paper Kaşikçi and Deliduman [
34], used Weinberg’s method to obtain from first principles the angle of deflection of light in the MK-spacetime, taking into consideration the non-flat background by limiting the integration to the position of the cosmological event horizon in this spacetime. In the next section, we introduce the theory of Weyl gravity through its action and field equations and present different forms of the MK-metric. In
Section 3, we present the different methods used to calculate the bending of light in the SdS and MK spacetimes and obtain the bending angle formula in each case. These results are discussed in detail, followed by a conclusion in
Section 4. In this paper, we use geometric units in which
.
2. The Action of Weyl Gravity
Weyl (conformal) gravity is based on the principle of local conformal invariance of spacetime under local conformal deformations
, where
is a smooth strictly positive function of spacetime coordinates. Instead of requiring that the theory be no higher than second order, as in the case of the Einstein–Hilbert action, this is used as the supplementary condition that fixes the gravitational action. This results in fourth-order equations of motion for the gravitational field. Nonetheless, using this local invariance principle in order to determine the gravitational action, besides being in line with the way actions are chosen in field theory, uniquely selects the action of Weyl gravity amongst all other fourth-order theory actions. Moreover, it precludes from the action additional terms in the form of the Einstein–Hilbert terms, thereby providing no specific limit at which this theory will reduce to the “standard” general relativity, an approach normally used when considering the effects of higher-order terms in gravitational action.The restrictive conformal invariance leads to the unique conformally invariant action
where
is the conformal Weyl tensor and
is a purely dimensionless coefficient. Varying the action in (
1) with respect to the metric leads to the field equations
where
is the Bach tensor. In the presence of a source
, the full field equations are obtained through variation with respect to the metric of the total action
, where
is the action corresponding to the source. This gives
where
is a conformally invariant stress–energy tensor. From the definition of
, it can be seen that this vanishes when
is zero, and hence any vacuum solution of Einstein’s field equations is also a vacuum solution of Weyl gravity. However, the converse is not necessarily true. Despite the fourth-order field equations of Weyl gravity and the fact that, in general, these are highly nonlinear, a number of exact solutions [
42,
43,
44,
45,
46,
47] to these equations have been found in cases of spherical symmetry, axisymmetry, and cylindrical symmetry. The exact static and spherically symmetric vacuum solution for Weyl gravity is given, up to a conformal factor, by the following line element [
16,
17]
where
and
are integration constants. This solution includes the Schwarzschild metric
and the Schwarzschild–de Sitter
metric as special cases, with the latter requiring the presence of a cosmological constant in general relativity. The constant
has dimensions of acceleration. Therefore, the solution provides a characteristic, constant Rindler-like acceleration, without the need to introduce one at the Lagrangian, such as in the relativistic implementation of MOND with TeVeS [
48]. Although the magnitude and nature of
remain uncertain, the fitting of galactic rotational curves suggests [
17] that
, where
is the Hubble length. This means that the effects of this acceleration are comparable to those due to the Newtonian potential term (with
)
(
is the Schwarzschild radius), on length scales given by
By using the reparameterization
, the MK-solution can also be written in the form
Besides the bending of light (which is discussed in the next section) other classical tests such as the time delay [
25] and perihelion precession [
49] have also been obtained in Weyl gravity.
4. Discussion
In this section, we will compare the bending angle formulae obtained using the different methods as described in the previous section. So, starting with the SdS spacetime and comparing (
18) with (
13), we note that the majority of the bending in both cases equates to the Schwarzschild contribution represented by the first term in both expressions, which apart from the difference between
R and
takes the same form in both cases, as expected. In addition, in both cases, the first-order contribution from the cosmological constant is negative, so that the cosmological constant
diminishes the bending (see also Refs. [
9,
55]). However, due to the different methods used to calculate the bending angle, this term is different in the two cases. As already mentioned above, Kaşikçi and Deliduman based their calculation on Weinberg’s method given by Equation (
10) through restricting the upper limit of integration to the position of the cosmological event horizon, which in the case of the SdS spacetime is given by
∼
. In Rindler and Ishak’s derivation, it is assumed that the observer, lens, and source are collinear. The position
corresponding to the one-sided total bending angle occurs at
, where
. They also assumed that the photon trajectory intersects the optic axis (the line through the coaligned source, lens, and observer where
) within the cosmological horizon, such that
. Otherwise the trajectory would connect causally unconnected regions of spacetime. In fact, this is the same reason why Kaşikçi and Deliduman assumed that the deflection of the photon trajectory happens entirely within the cosmological horizon.
Considering the small magnitude of the cosmological constant, one would expect that the effects of the first-order terms in
in Equations (
13) and (
18) would be much smaller than the first-order Schwarzschild contribution
∼
, so that in reality the presence of these terms in the bending angle formulae would not effect gravitational lensing [
14,
15]. However, by considering examples of galaxies and galaxy clusters and obtaining the magnitudes of these cosmological contributions (as was done in Table 1 of Ref. [
4]), one finds that this is not always the case. Therefore, as an example, if we take the case of the galaxy cluster Abell 2744 [
56,
57] (see Table 1 in Ref. [
4]) having Einstein radius
and geometric mass
, and use the following values of the cosmological parameters
(obtained using
,
[
58]), we obtain
Surprisingly, from the above numerical values, it can be seen that the first-order contributions from the cosmological constant to the bending angle in Equations (
13) and (
18) are greater than the second-order term
and are indeed of the same order of magnitude as
. Considering that the SdS solution is not a realistic model of a gravitational lens embedded in a cosmological background, this in no way contradicts the conclusions reached in Refs. [
14,
15] about the insignificant effect from the cosmological constant in practical gravitational lensing. In another paper, Ishak et al. [
4] applied the same method that was used earlier for (
18) to the case of a SdS vacuole matched to a Friedmann–Robertson–Walker (FRW) background (also known as the Einstein–Straus model [
59]), where the source and observer are assumed to lie inside the SdS vacuole, so that the deflection of the light trajectory happens entirely within the vacuole (the SdS vacuole model was also studied in Ref. [
60]). In this case, the source, lens, and observer were also assumed to be coaligned and the obtained bending angle formula was given by
The contribution from
now involves the radial coordinate
at the boundary of the vacuole, which can be obtained using the appropriate matching conditions there, i.e.,
and
where
is the scale factor in the FRW metric, and
is the density of the Universe at the instance when light passes by the lens, which is positioned at the center of the SdS vacuole. From (
32), it is evident that while the size of the hole
is fixed in comoving coordinates, the physical size of the hole
increases in static coordinates, due to the expansion of the Universe. Taking the same example of the Abell 2744 galaxy cluster mentioned above, we find that
. This is still larger than the second-order term
, but it is now significantly smaller than the Schwarzschild term
. In a way, this would be expected when considering that the position of the source and observer with respect to the lens determines the total bending angle of light. For this particular example, one finds that the three coordinate radii satisfy the inequalities
. Hence, although the exact de-Sitter spacetime does not cause any bending of null trajectories, since it is conformally flat, the SdS being
asymptotically conformally flat would still cause a deflection of light even at large distances from the lens itself. Having said this, one should point out the fact that the SdS vacuole matched to FRW spacetime considered by Ishak et al. [
4] is still far from being a realistic model of a gravitational lens embedded in a cosmological background. In a recent paper, Hu et al. [
15] (see also Ref. [
14]) considered an improved variation of this model by allowing the source and observer to be within the FRW background, so that they are comoving with the expansion of the universe. They also included the effect of the change in the size of the SdS vacuole as light propagates through it from the source to the observer. In this case, it was found that the contribution from
was even smaller than that obtained earlier by Ishak et al. [
4]. This contribution can be almost entirely attributed to the
dependence of the angular diameter distances in the lensing equation
, where
are the angular diameter distances of the source from the observer and the source from the lens, respectively, and
is the Einstein angle that is related to the Einstein radius by
; with
being the angular diameter distance of the lens from the observer. The expression for the bending angle based on the Gauss–Bonnet theorem in (
22) also contains a coupling term between the mass and the cosmological constant. This is the third term on the RHS of this expression, which for the case
reduces to
. This is obviously greater in magnitude than the pure de Sitter term (the second term in this expression) and is very similar to the last term in (
31), albeit having the opposite sign, which is immaterial considering its tiny magnitude. In a sense, this was to be expected, since both formulae consider a situation where the source and receiver are at a finite distance from the lens.
Considering now the MK-spacetime given by (
6) or (
8), we can say that this provides a more realistic example of a lens in a cosmological background, because unlike the Einstein–Straus model, in which the spacetime changes abruptly from SdS to FRW at
, the MK spacetime provides a smooth transition from a Schwarzschild-like metric in the vicinity of the lens to a general FRW-like metric in the asymptotic background. In Ref. [
45], the authors studied the interior structure of a static and spherically symmetric conformally invariant source in Weyl gravity and showed that the parameter
can be expressed solely in terms of this source. Moreover, for large
r, when the
terms in (
6) can be ignored, the resulting spacetime is conformally related to the FRW metric, having an arbitrary scale factor
and spatial curvature
. This is obtained by applying the coordinate transformation [
17]
such that the line element in (
5) with
reduces to
Since in the asymptotic form of the MK-spacetime given by (
35) the spatial curvature of the FRW background depends on
, one can also conclude that the
term in the metric has an effect on the cosmological background, even when
(or
). Therefore, in a way, one can say that the presence of the linear term in the MK solution facilitates the embedding of the gravitational source in a cosmological background. Using the static coordinates in (
5) for the MK-metric, one is again faced with the same issue mentioned above for SdS spacetime, namely the position of the source and observer with respect to the lensing object, since the total light bending will depend on these positions. The bending angle formula in (
24) obtained by Kaşikçi and Deliduman [
34] contains the term
. This is the first-order and main contribution from the linear term in the MK-metric and it increases with the distance of closest approach
(which is related to the impact parameter
R). Therefore, this is similar to but smaller in magnitude than the contribution
in (
23) obtained by Edery and Paranjape (see also Equation (
21) in Ref. [
25])), which has been termed unphysical due to the fact that it increases linearly with the impact parameter or the distance of closest approach
from the lens. Thus, both Edery & Paranjape’s and Kaşikçi and Deliduman’s derivations utilize Weinberg’s method to calculate the bending angle, but the latter derivation takes into consideration the asymptotic non-flatness of the MK spacetime and limits the integration (and so the deflection of the null trajectory) to the position of the cosmological event horizon
in this spacetime, while in the former case the integration is extended to infinity, thereby yielding a larger contribution. On the other hand, one can easily check that the leading contribution from
in (
24) is significantly higher than that in (
25). So, if we take again the example of the galaxy cluster Abell 2744 and use the value
, we obtain
and
. These are still both insignificant for practical gravitational lensing when compared to the Schwarzschild bending angle. On another note, it is also interesting to see that in (
24) the leading
contribution to the bending angle is coupled to the cosmological constant instead of the geometric mass of the lens as in (
25) and in the other similar formulae obtained in Refs. [
29,
31,
32]). This would lead us to rethink the exact nature of the linear
term in the MK-metric, i.e., whether this term is derived from the gravitational source as previously claimed or whether it is associated with the asymptotic region of the spacetime. This issue is still open and has not been settled so far. In the formula based on the Gauss–Bonnet theorem given by (
29), the contribution to the bending angle from the linear term
in the MK-metric is also negative, as in (
25). However, in this case, one cannot comment about the possible coupling between
and the cosmological constant
, because in deriving this formula the authors considered the case
. Assuming that
in (
29), this contribution takes the form
, and so considering that the position of the source (or observer) is typically greater than the impact parameter
R, i.e.,
, its effect diminishes with distance from the lens, as in the case of the formula obtained using the Rindler–Ishak method. For Abell 2744 with
, the magnitude of this term is
, which although greater than the corresponding leading
term in (
25) is still insignificant for practical gravitational lensing.
In this paper, we have reviewed the methods used for calculating the bending angle of light by a source embedded in a non-asymptotically flat background, such as the SdS spacetime, the Einstein–Straus vacuole, and the MK-spacetime. Apart from the obvious dependence on the mass of the lens, we noted that the total bending angle depends on the position of the source and observer relative to the lens and whether they are stationary or moving with respect to the lens. With the exception of the SdS spacetime, it was shown that for practical gravitational lensing the contribution to the bending angle from the cosmological background is practically insignificant and so one can safely state that the Schwarzschild bending angle formula still applies.