Null paths on a toroidal topological black hole in conformalWeyl gravity

The motion of massless particles on the background of a toroidal topological black hole is analyzed in the context of conformal Weyl gravity. Null geodesics, in terms of the Jacobi elliptic functions, are found analytically. In addition, the Sagnac effect in this space-time is characterized, and we find a strong condition in the theory's parameters that is required for its existence.


Introduction: Conformal Weyl gravity and null geodesics
Conformal Weyl gravity (CWG) was born of an attempt to unify gravity and electromagnetism based on the principle of local invariance of a manifold, described by the metric g µν (x), under the change where Ω (x) is a smooth, strictly positive function [1][2][3][4]. The CWG theory can be obtained from the conformally invariant a e-mail: jose.villanueva@uv.cl b e-mail: fjtapiam@gmail.com c e-mail: martin.molina@alumnos.uv.cl d e-mail: marco.olivaresr@mail.udp.cl action where α w is a dimensionless parameter chosen to be positive if (2) is a positive definite Euclidean action. The vacuum field equations associated with this action are solved by the static, spherically symmetric line element given by [5][6][7][8][9] ds 2 = −B(r) dt 2 + dr 2 B(r) +r 2 (dθ 2 + sin 2θ dφ 2 ), where the coordinates are defined in the range −∞ <t < ∞, r ≥ 0, 0 ≤θ ≤ π, 0 ≤φ ≤ 2π, and the lapse function B(r) is given by Hereβ ,k andγ are positive constants associated with the central mass, cosmological constant and the measurements of the departure of the Weyl theory from the Einstein -de Sitter, respectively. Clearly, taking the limitγ = 0 =k recovers the Schwarzschild case so that we can identifyβ = M.
A study of the basis and properties, together with applications of the motion of massive and massless particles in this geometry can be found, for example, in [10][11][12][13][14][15][16][17][18][19], and can be obtained using the standard Lagrange procedure [20][21][22][23][24][25][26][27], which allows a Lagrangian L to be associated with the metric and then, the equation of motion to be obtained from the Lagrange's equationṡ where Π q = ∂ L /∂q are the conjugate momenta to the coordinate q, and the dot denotes a derivative with respect to the affine parameter τ along the geodesic. Thus, in Sec.
2, and following the procedure performed by Klemm [28], we perform analytical continuations to obtain a non-trivial topology associated with toroidal topological black holes coming from CWG. In particular, we focus on the toroidal AdS black hole. Other studies associated with topological black holes can be found, for example, in Refs. [29,30], among others. Then we obtain the conserved quantities together with the equations of motion for massless particles on these manifolds. In Sec. 3 the radial motion is analyzed for photons going to spatial infinite or to the singularity, while Sec. 4 is devoted to obtaining analytically the trajectory for photons with non-zero angular momentum, for which we employ an analysis in terms of Jacobi elliptic functions. In Sec. 5 we apply the methods outlined by Sakurai, Tartaglia, Rizzi & Ruggiero, among others, to obtain an analogy to the Aharanov-Bohm effect to describe the Sagnac effect for this space-time. Finally, in Sec. 6 we conclude and summarize our results.

Toroidal topology
In order to obtain a toroidal topological black hole, we perform the following analytical continuation of the metric (3): Then, by taking the limit α → 0, the line element becomes with the lapse function In this case, it is possible to prove that the metric induced on the spacelike surface of constant t and r corresponds to a compact orientable surface with genus g = 1, i.e., a torus, so the topology of this four-dimensional manifold becomes R 2 × S 1 × S 1 [28]. Therefore, performing γ = −2η/L, β = L/3, k = −1/ℓ 2 , and then evaluating at the limit L → ∞, the lapse function becomes which for η > 0 describes the AdS uncharged static toroidal black hole [31][32][33][34][35][36][37] with the event horizon placed at The vanished Lagrangian associated with the photons that move on this manifold can be expressed as Conversely, the toroidal metric given by Eqs. (6) and (8) admits the following Killing vectors field: the time-like Killing vector χ = ∂ t is related to the stationarity of the metric. The conserved quantity is given by where E is a constant of motion that cannot be associated with the total energy of the test particle because this metric is not asymptotically flat. the most general space-like Killing vector is given by where A, B and C are arbitrary constants. Is easy to see that it is a linear combination of the three Killing vectors which are the angular momentum operators for this spacetime. The conserved quantities are given by where L 1 , L 2 and L 3 are constants associated with the angular momentum of the particles.
It is interesting to point out that Eqs. (14) and (15) implies that such that, if we focus our attention on the invariant plane θ = θ 0 , soθ = 0, we get that L 1 = θ 0 J. Thus, using Eqs. (11) and (16) in Eq. (10) we obtain the radial equation of motion corresponding to the one-dimensional probleṁ where V (r) is the effective potential defined as Here V (r) = B(r)/r 2 is the effective potential per unit of J 2 .
On the other hand, without lack of generality we choose θ 0 = 1 and combining Eqs (16) and (17), we obtain the angular motion equation r V(r) where b = J/ √ E is the impact parameter. In Fig. 1 we have plotted the effective potential (per unit of J 2 ) as a function of the radial coordinate. In the next sections the motion of massless particles will be analyzed analytically by integration of the equations of motion.

Radial Motion
Radial motion corresponds to a trajectory with null angular momentum J = 0, so photons fall toward the singularity or to the spatial infinite. From Eq. (18) we can see that photons in radial motion have a null effective potential V (r) = 0, so that Eqs. (11) and (17) become and where the sign − (+) corresponds to photons falling to the event horizon (spatial infinite). Assuming that t = τ = 0 at r = r i , then a straightforward integration of Eq. (20) leads to while an integration of Eq. (21) becomes Obviously, in the proper system photons cross the event horizon in a finite time τ(r + ) ≡ τ + = (r i − r + )/ √ E and, eventually, arrive to the singularity in a finite time τ(0) ≡ τ 0 = r i / √ E. Also, they eternally approach the spatial infinite i. e., τ(∞) → ∞. On the other hand, an observer at r i sees that photons take an infinite coordinate-time even to arrive at r + , while it takes a finite coordinate-time even to arrive at the spatial infinite, given by The existence of this time is due to the presence of the cosmological term on the toroidal topology and depends on the position of the observer r i . A similar feature was reported before by Villanueva & Vásquez, but in the context of Lifshitz black holes [38]. The behavior of both proper and coordinate time is shown in Fig. 2. Fig. 2 Temporal null geodesics for radial motion described by Eqs. (22) and (23). This shows some equivalence with its spherical counterpart previously studied by Cruz et al. [21] for photons moving to r + . The novel result appears for photons moving to infinite in which, as is measured by an observer in r i , it takes a finite coordinate time t ∞ to reach infinite. This feature was reported before by Villanueva & Vásquez but in the context of Lifshitz space-times [38].

Angular Motion
This section is devoted to studying the angular motion of the test particles (J = 0), which depends on the value of the impact parameter b. From Fig. 1 we can see that there are two distinct regions separated by the critical impact parameter b c = ℓ. Thus, if b > b c the motion will be confined with a turning point, the apoastron distance r t , placed at whereas if b < b c does not exist the turning point, and the motion is unbound with a negative characteristic distance (without physical meaning), the magnitude of which is Both distances, r t and r D , play an important role in the determination of trajectories because they depend strongly on the impact parameter b (see Figs. 3 and 5).

Confined motion
Returning to the general Eq. (19), we first consider the case when the impact parameter lies between b c < b < ∞, so using the variable u = 1/r with u t = 1/r t , we can write Using the substitution where the range of u is u t ≤ u < ∞, and the corresponding range of ξ is ξ t = π ≤ ξ < 2π, Eq. (27) can be reduced to the elliptic form where So, we may write the solution for φ as where K(k) and F(ψ, k) are the complete and incomplete elliptic integrals of the first kind, respectively, and we have assumed that φ t = 0. Therefore, by using some formulas and identities of the Jacobian elliptic functions, we can write the equation of the trajectory as where tn(x, k) and dn(x, k) are Jacobi's elliptic functions (see Appendix A and Refs. [39][40][41]). Obviously, this trajectory depends on the impact parameter and is shown in Fig. 4 for photons falling from r t .

Unbounded motion
We now consider the case when the impact parameter lies between 0 < b < b c , which means that the real root is a negative one r n ≡ −r D , where r D is given by Eq. (26), so there is no turning point. Obviously, this negative root lacks physical interpretation, but it is important for determining the shape of the trajectory. Therefore, making u = 1/r again with u D = 1/r D , the Eq. of motion (19) can be written as In order to integrate Eq. (33), we now make the substitution where the range is u → ∞ (singularity), ξ s = π, (36) so the quadrature becomes with Note from Eqs. (30) and (38) that the module of one trajectory corresponds to the complementary module of the other, Therefore, assuming that φ ∞ = 0 we may write which implies that the trajectory now is described by the polar equation where cs(x, k) and nd(x, k) are Jacobi's elliptic functions (see Appendix A), and the phase Θ is given by In Fig. 6 we have plotted the unbounded trajectory (40) for photons coming from infinite.

The Sagnac effect
In this section we describe the Sagnac effect [42] by applying the formalism developed by Sakurai [43], Tartaglia [44], Rizzi & Ruggiero [45][46][47][48], among others, to the exterior space-time of the topoloical toroidal black hole. This approach was used to calculate this effect in the exterior spacetime to an uncharged spherical symmetric black hole in Conformal Weyl gravity [49]. For the non-rotating toroidal metric given by Eqs. (6) and (8) written in the usual Schwarzschildlike coordinates (ct ′ , r ′ , θ ′ , φ ′ ): so the transformation to the azimuthal frame of the rotating platform where Ω is the constant angular velocity of the physical frame, yields the metric (after setting r = R and θ = 1) Therefore, the non-zero components of the unit vector γ α along the trajectory r = R are given by where In terms of this component, the gravito-electric and gravitomagnetic potentials are given by As was shown in [45], it is possible to express the phase shift and time delay between light beams detected by a comoving observer on the interferometer in terms of the gravitomagnetic induction field, B G = ∇ × A G , by means of the expressions and where ε is the relative energy of the photon as measured in the interferometer. Therefore, the phase shift turns out to be Ω R + r Ω l R Fig. 7 Plot for the maximum angular velocity Ω R as a function of the radius of the orbit R for an interferometer in the Sagnac effect.
while the time delay turns out to be whereΩ = Ω /Ω ℓ is the dimensionless angular velocity, and Ω ℓ ≡ c/ℓ. Thus, from this last equation, we can see that if Ω = 0, i.e., performing a measure of the propagation time in a non-rotating frame, no Sagnac effect arises. Also, there is an upper limit for the angular velocity Ω R related to the radius of the orbit R (see Fig. 7) given by (55)

Summary
In this paper we have studied the null structure of the geodesics for a toroidal topological space-time which surrounds a black hole in the conformal Weyl gravity. First, we obtained an explicit behavior of radial photons to conclude that, while no changes in the motion to the singularity with respect to the Schwarzschild anti-de Sitter counterpart is found, there is a non-trivial coordinate time t ∞ for the description of the motion to the spatial infinite (see Eq. (24)). A similar result was obtained by Villanueva & Vásquez but in the context of the Lifshitz space-time [38]. Next, following the standard Lagrangian procedure, we have obtained analytically the trajectories of the confined and unbounded angular motion for photons in terms of Jacobi elliptic functions, Eqs. (32) and (40), and then we have shown our results in Fig. 4 and Fig.  6, respectively. Obviously, these trajectories depend on the impact parameter b and, due to the topology, always fall to the singularity, which is a characteristic of AdS space-times. Finally, the Sagnac effect has been studied for this topological space-time. Our result is consistent with those obtained previously in other geometries in the sense that no Sagnac effect arises for a non-rotating frame. In addition, we have found a strong condition for its existence, which depends on the theory's parameters {η, ℓ} (in r + and Ω ℓ ) as well as on the radius of the circular orbit R. This condition is given in Eq. (55), c.f.
for which the upper limit for the angular velocity Ω R was plotted in Fig. 7 as a function of the radius R.
Finally, our study provides a simple physical visualization of the null trajectories and their main issues, and complements other studies carried out in the standard and/or trivial topology [15,49].

Appendix A: A brief review of Jacobian elliptic functions
As a starting point, let us consider the elliptic integral [39][40][41] where F(ϕ, k) is the normal elliptic integral of the first kind, and k is the modulus. The problem of the inversion of this integral was studied and solved by Abel and Jacobi, and leads to the inverse function defined by y = sin ϕ = sn(u, k) with ϕ = am u, and are called Jacobi elliptic sine u and amplitude u.
The function sn u is an odd elliptic function of order two. It possesses a simple pole of residue 1/k at every point congruent to iK ′ (mod 4K, 2iK ′ ) and a simple pole of residue −1/k at points congruent to 2K +iK ′ (mod 4 K, 2iK ′ ), where K ≡ K(k) = F(π/2, k) is the complete elliptic integral of the first kind, K ′ = F(π/2, k ′ ), and k ′ = √ 1 − k 2 is the complementary modulus.