Abstract
In this manuscript we will present the theoretical framework of the recently proposed infinite derivative theory of gravity with a non-symmetric connection. We will explicitly derive the field equations at the linear level and obtain new solutions with a non-trivial form of the torsion tensor in the presence of a fermionic source, and show that these solutions are both ghost and singularity-free.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of General Relativity (GR), one of the most celebrated theories in physics, has passed all the experimental tests so far [1], including large-scale structure formation [2], and recent detection of gravitational waves from binary compact objects [3]. Nevertheless, at a classical level, the introduction of fermionic matter in the energy–momentum tensor requires a new formalism to be developed in order to take into account of how internal spin degrees of freedom affect the geometry [4]. This can be addressed by incorporating the gauge structure of the Poincaré group, provided a torsion field is added, for a review see [5, 6], as was first shown by Sciama and Kibble in [7, 8], respectively. Following this approach one arrives to the conclusion that the space-time connection must be metric compatible, albeit not necessarily symmetric. Hence, a non vanishing torsion field \(T_{\,\,\nu \rho }^{\mu }\) (where \(\mu ,\nu , \rho =0,1,2,3\)) ought to be present as a consequence of non-symmetric character of the connection. An interesting fact about these theories is that they arise naturally as gauge theories of Poincaré group, rendering their mathematical formalism analogous to the one used in the Standard Model of particles, and therefore making them good candidates to be explored for the quantization of gravity, and making gravity and gauge theories at par. However, both GR and Poincaré gauge gravity suffer from the short distance behavior at a classical level, which results in black-hole-like and cosmological Big Bang singularities [9, 10], known as the ultraviolet (UV) problem.
The aim of this article will be to provide the foundations of a theory introduced by the authors in [11]. Such a theory is able to recover GR and Poincaré gauge theories of gravity in the infrared (IR), while ameliorating the UV behavior, i.e., being singularity-free, in both metric and torsion fields, and also free from ghosts at the linear level. This has been made possible thanks to the introduction of infinite derivatives in the action, that can indeed potentially ameliorate the classical UV behavior, weakening the 1/r potential of the weak field limit. In the torsion-free limit such theories have been explored widely, and are known as infinite derivative theories of gravity (IDG), which can be made devoid of ghosts and singularities. The most general action has been constructed around Minkowski spacetime [12], and in de Sitter and anti-de Sitter [13]. It was shown that the graviton propagator of such theories can be modified to avoid any ghosts, expressing the non-local functions as exponentials of an entire function, which does not introduce any new complex poles, nor any new dynamical degrees of freedom. Therefore, such theories retain the original 2 dynamical degrees of freedom of GR, i.e., a transverse traceless graviton. However, being infinite derivative theories, such an action introduces non-local gravitational interaction and has been argued to improve UV aspects of quantum nature of gravity [14, 15], due to the fact that infinite derivatives in general do not have a point support. Despite having infinite derivatives, the Cauchy problem is well defined, hence the solutions are uniquely determined by finite intial conditions [16].
IDG theories are also motivated from particle limit of strings [17,18,19], and have been argued to have no singular static solution. At a quantum level, infinite derivative field theories, with similar propagator, bring softening of UV divergences [20,21,22,23,24,25,26,27,28,29,30] such as shifting the scale of non-locality with large number of external legs interacting non-locally [31].
At a classical level, it has been shown that such IDG theories can yield a non-singular, static solution at the full non-linear level [32], can avoid ring singularities in a rotating metric at the linear level [33], and also resolve charged source singularity at the linear level [34]. At a dynamical level such theories do not give rise to formation of a trapped surface [35,36,37], and possibly even at the level of astrophysical masses there may not posses an event horizon [38, 39]. Exact solutions for IDG have been found in [32, 40,41,42], including static and time dependent solutions.
Motivated by these studies of IDG, various extensions of IDG have been made in the context of teleparallel gravity [43] and symmetric teleparallel gravity [44], as well as in what regards the extension of Poincaré gauge gravity that is well-behaved at the UV at a classical level [11]. The aim of this paper will be to extend our earlier work [11] and put in a firm footing by providing the details of the computations which was lacking in [11]. Here we show explicitly how to obtain the local limit of the theory with respect to metric, torsion and its couplings, and prove that it is actually a Poincaré Gauge theory of gravity. This non-trivial proof was lacking in our previous paper.Furthermore, we rewrite and calculate the field equations with respect to the torsion Lorentz invariants, which clarifies some of the physical aspects, such as the stability conditions for the two vector modes of the torsion in order to provide new healthy solutions that are singularity free.
In our previous paper [11], we have provided a solution of the IDG with a non-symmetric connection in the presence of an uncharged fermionic source. In this particular case, only the totally-antisymmetric part of the torsion was considered to be non-null, therefore Einstein and Cartan equations became decoupled and the solutions of the metric were the same as those of in metric IDG case [12]. In this work, we go an step forward, and we will show that having a charged fermion as a source, and assuming the trace and axial part of the torsion to be different from zero, we can find new solutions with a non-trivial form of the torsion tensor. The rest of the components of the torsion tensor have been considered to be negligible motivated by the fact that in the standard cosmological scenario, i.e. having a Friedmann-Lemaitre-Robertson-Walker (FLRW) metric, this component is identically zero [45].
We have divided the manuscript in the following sections. In Sect. 2 we will provide the action of the theory and its linearised form. In Sect. 3 we will derive the field equations of the linearized theory, performing variations with respect to both metric and contorsion. In Sect. 4, we will decompose the contorsion tensor into its three irreducible Lorentz invariants, and rewrite the field equations in terms of them. In Sect. 5, we will provide new solutions of the linearized field equations in presence of a fermionic source. Finally, in Sect. 6, we will conclude our analysis with future outlook. For the sake of simplicity, we have written the calculations to obtain the linearized Lagrangian of the theory in the Appendix B and Appendix C. Moreover, in Appendix D we calculate the local limit of the theory and show that we can recover a local Poincaré gauge gravity.
2 The linearised action
In the standard IDG theories the connection is metric and symmetric, i.e., the Levi-Civita one. Therefore, the linear action of IDG is built with the gravitational invariants and derivatives, considering only up to order \({\mathcal {O}}(h^{2})\), where h is the linear pertubation around the Minkowski metric.Footnote 1
After substituting the linear expressions of the curvature tensors (Riemann, Ricci and curvature scalar) we can obtain the linearised action as first was shown in Ref. [12]. With this in mind, we wish to generalize the expressions of the curvature tensor when we consider non-symmetric connection. First, we must take into account that the torsion tensor is not geometrically related to the metric, therefore the conditions that are imposed in \(h_{\mu \nu }\) are not enough to construct the linear action in connection. In order to solve this problem, we will have to impose that the total connection must be of order \({\mathcal {O}}(h)\), i.e., the same as the Levi-Civita one.Footnote 2 Then, by using the relation between the Levi-Civita \(\varGamma \), and the total connection \({\widetilde{\varGamma }}\), we can write
where the so-called contortion tensor \({\mathcal {K}}\) must be of the same order as the metric perturbation, that is
This may seem as a strong assumption, nevertheless, as it has been known in the literature, the current constraints on torsion suggest that its influence is very small compared to the purely metric gravitational effects [46, 47]. Therefore, considering a higher order perturbation in the torsion sector would make no sense physically.
The way to generalize the IDG action will be to consider all the quadratic Lorentz invariant terms that can be constructed with the curvature tensors, the contorsion, and infinite derivatives operators, namely [11]
where \({\mathcal {O}}\) denote differential operators containing covariant derivatives and the Minkowski metric \(\eta _{\mu \nu }\), so also the contractions of the Riemann and contorsion tensors are considered in the action. Moreover, the tilde \(\,\widetilde{\,}\,\) represents the quantities calculated with respect to the total connection \({\widetilde{\varGamma }}\). In order to make a first simplification of (4), we can make a post-Riemannian expansion of the curvature tensors calculated in terms of the total connection by making use of expression (2), obtaining
We shall expand the previous expression to obtain the general form for the gravitational Lagrangian in Appendix A, in order to ease the reading of the manuscript.
The \(F_{i}\left( \Box \right) \)’s in the expression (A.1) are functions of the D’Alambertian \(\Box =\eta _{\mu \nu }\partial ^{\mu }\partial ^{\nu }\), of the form
where \(M_{S}\) holds for the mass defining the scale at which non-localities starts to play a role. Also, in the previous expression N can be a finite (finite higher-order derivatives theories), or infinite (IDG) number, as we will consider from now onwards unless stated otherwise. However, finite derivatives will incur ghosts and other instabilities. In the last section we shall show how only considering an infinite number of derivatives in Eq. (6) one can avoid the ghosts appearance for the torsion sector, which extends the current results on the metric one [12].
In order to check which are the terms that are of order \({{{\mathcal {O}}}} (h^{2})\) in the Lagrangian Eq. (A.2), we still need to substitute the linearized expressions of the curvature tensors
where \(\left( \mu \nu \right) \) and \(\left[ \mu \nu \right] \) represent the symmetrisation and anti-symmetrisation of indices respectively. Also, we shall take into account the linearised contorsion (3). Accordingly, we have computed each term appearing in the Lagrangian Eq. (A.2) separately. These explicit calculations can be found in Appendix B. Finally, using the above expressions obtained and further simplification would yield the linearized action for metric (M), torsion (T) and the mixed terms (MT):
where
In order to get a deeper insight about how the functions involved in Eqs. (11), (12) and (13) are related with the \(F_{i}\left( \Box \right) \)’s in Eq. (A.1), we refer the readers to Appendix C. At this stage, it is interesting to note that \({\mathcal {L}}_{M}\) in Eq. (11) possesses metric terms only and coincides with the Lagrangian of the non-torsion case [12], as expected. On the other hand, \({\mathcal {L}}_{MT}\) in Eq. (12) contains the mixed terms between metric and torsion, whereas \({\mathcal {L}}_{T}\) contains only torsion expressions.
Moreover, it is worth calculating the local limit by taking \(M_{S} \rightarrow \infty \). For the detailed calculations we refer the reader to Appendix D. Here we will just summarise that the local limit of the theory is the following generalised Poincaré Gauge theory (GPG)
given that the conditions in (D.7) meet.
The fact that the terms of the form \(\nabla _{\mu }{\mathcal {K}}_{\,\,\,\nu \rho }^{\mu }\nabla _{\sigma }{\mathcal {K}}^{\sigma \nu \rho }\) are part of the Lagrangian has been proven recently to be a sufficient condition to make the vector modes present in the theory ghost-free in the IR limit [48].
Moreover, in this work we will prove that the two modes can be made ghost-free in the UV limit.
3 Linearised field equations
Since the connection under consideration is different from Levi-Civita one, and consequently the metric and the connections are a priori independent, we need to apply Palatini formalism to obtain the field equations. We will have two set of equations;
-
Einstein equations: Variation of the action, Eq. (10), with respect to the metric gives
$$\begin{aligned} \frac{\delta _{g}S_{M}}{\delta g^{\mu \nu }}+\frac{\delta _{g}S_{MT}}{\delta g^{\mu \nu }}=0. \end{aligned}$$(15) -
Cartan equations: Variation of the action, Eq. (10), with respect to the contorsion gives
$$\begin{aligned} \frac{\delta _{K}S_{MT}}{\delta K_{\,\,\nu \rho }^{\mu }}+\frac{\delta _{K}S_{T}}{\delta K_{\,\,\nu \rho }^{\mu }}=0. \end{aligned}$$(16)
It is interesting to note that \(\frac{\delta _{g}S_{M}}{\delta g^{\mu \nu }}\) has already been calculated in Ref. [12], although, calculations involving such a term were performed again as a consistency check. Let us sketch the calculations leading towards the field equations in the linearised limit.
3.1 Einstein equations
Performing variations with respect to the metric in \(S_{M}\), we find
which is compatible with the results in Ref. [12]. For \(S_{MT}\), we have
Therefore, the resulting Einstein’s equations are:
where \(\tau _{\mu \nu }={\delta S_{matter}}/{\delta h^{\mu \nu }}\) is the usual energy–momentum tensor for matter fields. Finally, it is worth noting that, by looking at the explicit expression of the functions of the linearised action, we can find the following constraints on the functions involved in Eq. (19)
3.2 Cartan equations
On the other hand, performing variations with respect to the contorsion, we find
and
This leads us to the Cartan Equations:
where \(\varSigma _{\mu }^{\,\,\,\nu \rho }={\delta S_{matter}}/{\delta K_{\,\,\,\nu \rho }^{\mu }}\). From these field equations Eqs. (19) and (23) exact solutions cannot be obtained so easily. In order to solve them, we will decompose the contorsion field \(K_{\mu \nu \rho }\) into its three irreducible components.
4 Torsion decomposition
In four dimensions, the torsion field \(T_{\mu \nu \rho }\), as well as the contorsion field \(K_{\mu \nu \rho }\), can be decomposed into three irreducible Lorentz invariant terms [6], yielding
such that the contorsion field becomes
This decomposition turns out to be very useful, thanks to the fact that the three terms in Eq. (24) propagate different dynamical off-shell degrees of freedom. Hence, it is better to study them separately, compared to all the torsion contribution at the same time. Also interaction with matter, more specifically with fermions, is only made via the axial vector [6]. That is why the two remaining components are usually known as inert torsion. Under this decomposition we will study how the torsion related terms in the linearised Lagrangian in Eq. (10) change, and how to derive the corresponding field equations. Introducing (25), and the constrains of the functions in (20), in (12) we find that the mixed term of the Lagrangian becomes
Now, integrating by parts and using the linearised expression for the Ricci scalar we find
The first term accounts for a non-minimal coupling of the trace vector with the curvature, that is known for producing ghostly degrees of freedom [49]. Therefore, for stability reasons we impose \(v_{2}\left( \Box \right) =-3u\left( \Box \right) \), finally obtaining
In order to obtain the pure torsion part of the Lagrangian we substitute (25) into (13)
Now we can proceed to calculate the field equations under the torsion decomposition. Varying the Lagrangian with respect to the metric we find the Einstein Equations:
where we can see that the vectorial parts of the torsion tensor do not contribute.
On the other hand, performing variations with respect to the three invariants we find three Cartan Equations:
-
Variations with respect to the axial vector \(S^{\mu }\) give
$$\begin{aligned}&\frac{1}{6}\left( p_{2}\left( \Box \right) -p_{1}\left( \Box \right) \right) S_{\mu } \nonumber \\&+\, \frac{1}{18}\left( q_{1}\left( \Box \right) -q_{2}\left( \Box \right) -q_{3}\left( \Box \right) +q_{4}\left( \Box \right) \right) \left( \partial _{\mu }\partial _{\nu }S^{\nu }-\Box S_{\mu }\right) \nonumber \\&+\, \frac{1}{2}\varepsilon _{\mu \nu \rho \sigma }q_{3}\left( \Box \right) \partial _{\lambda }\partial ^{\nu }q^{\rho \lambda \sigma }=\frac{\delta {\mathcal {L}}_{matter}}{\delta S^{\mu }}. \end{aligned}$$(31) -
Variations with respect to the trace vector \(T^{\mu }\) yield
$$\begin{aligned}&\frac{1}{3}\left( 2p_{1}\left( \Box \right) +p_{2}\left( \Box \right) +3p_{3}\left( \Box \right) +\frac{1}{2}s\left( \Box \right) \Box ^{2}\right) T_{\mu } \nonumber \\&\qquad -\, \frac{1}{9}\left( q_{1}\left( \Box \right) +q_{3}\left( \Box \right) +2q_{4}\left( \Box \right) -3q_{6}\left( \Box \right) \right) \left( \partial _{\mu }\partial _{\nu }T^{\nu }-\Box T_{\mu }\right) \nonumber \\&\qquad \left. +\, \frac{1}{9}\left( 3q_{1}\left( \Box \right) +3q_{2}\left( \Box \right) +9q_{5}\left( \Box \right) -s\left( \Box \right) \Box \right) \partial _{\mu }\partial _{\nu }T^{\nu } \right. \nonumber \\&\qquad \left. +\, \frac{1}{3}\left( 2q_{1}\left( \Box \right) +2q_{3}\left( \Box \right) +4q_{4}\left( \Box \right) -3q_{6}\left( \Box \right) \right. \right. \nonumber \\&\qquad \left. \left. +\, 2s\left( \Box \right) \Box \right) \partial _{\nu }\partial _{\rho }q_{\mu }^{\,\,\nu \rho }\right. =\frac{\delta {\mathcal {L}}_{matter}}{\delta T^{\mu }}. \end{aligned}$$(32) -
Varying with respect to the tensor part \(q^{\mu \nu \rho }\) we obtain
$$\begin{aligned}&p_{1}\left( \Box \right) q_{\mu \nu \rho }+p_{2}\left( \Box \right) q_{\left[ \mu \rho \right] \nu }+q_{1}\left( \Box \right) \partial _{\left[ \mu \right. }\partial _{\sigma }q_{\,\,\nu \left. \rho \right] }^{\sigma } \nonumber \\&\qquad +\, q_{2}\left( \Box \right) \partial _{\left[ \mu \right. }\partial _{\sigma }q_{\,\,\left. \rho \right] \nu }^{\sigma } +q_{3}\left( \Box \right) \partial _{\sigma }\partial _{\left[ \rho \right. }q_{\left. \mu \right] \,\,\,\,\,\nu }^{\,\,\,\sigma }\nonumber \\&\qquad +\, q_{4}\left( \Box \right) \partial _{\nu }\partial _{\sigma }q_{\mu \,\,\,\,\,\rho }^{\,\,\sigma } +s\left( \Box \right) \partial _{\nu }\partial _{\sigma }\partial _{\lambda }\partial _{\left[ \rho \right. }q_{\left. \mu \right] }^{\,\,\,\sigma \lambda }\nonumber \\&\qquad \left. +\, \frac{1}{3}\left( 2q_{1}\left( \Box \right) +2q_{3}\left( \Box \right) +4q_{4}\left( \Box \right) -3q_{6}\left( \Box \right) \right. \right. \nonumber \\&\qquad \left. +\, 2s\left( \Box \right) \Box \right) \partial _{\nu }\partial _{\rho }T_{\mu } =\frac{\delta {\mathcal {L}}_{matter}}{\delta q^{\mu \nu \rho }}. \end{aligned}$$(33)
These decomposed equations will help us to find exact solutions of the theory, as we will see in the following section.
5 Solutions
In Ref. [11], the authors found a particular solution of the IDG with torsion with a fermionic source, where only the axial torsion was considered to be dynamic. Therefore, the Einstein and Cartan equations decoupled and the solutions of the metric were the same as that in the case of IDG. In the following, provided there exists a fermion as a source, and assuming that both axial and trace torsion are different from zero,Footnote 3 we will show that we can find additional solutions that were not present in the metric IDG theory. For the IDG theory, solutions were presented in [34]. In order to make our case more clear, we have divided the calculations in the following two subsections. In the first one, we will solve Cartan equations to obtain the torsion tensor, while in the second one we will solve Einstein equations for the metric tensor.
5.1 Cartan equations
Let us write down the linearised Lagrangian decomposed into the two vector invariants, where the tensor component of the torsion has been set to zero. Thus,
where we have taken into account the constraints on the functions in (20) and the stability condition for the trace vector found in the previous section, namely \(v_{2}\left( \Box \right) =-3u\left( \Box \right) \). Due to these conditions, there are no mixed terms between metric and torsion, so the Cartan and Einstein Equations would be decoupled.
Despite these constraints, the torsion part of the Lagrangian (34) is far from being stable, so before finding some solutions we need to explore under which form of the functions the theory does not have any pathologies.
By taking a closer look at (34) we realise that, as it is usual in metric IDG, we can make the combinations of the non-local functions to be described by an entire function, which does not introduce any new poles in the propagators, so that we can use the same stability arguments as in the local theory. We shall use the exponential as a paradigmatic example of an entire function. This means that
where the \(C_{i}\) are constants.
This gives us the following Lagrangian
where \({\hat{S}}^{\mu }=e^{-\frac{\Box }{2M_{S}^{2}}}S^{\mu }\) and \({\hat{T}}^{\mu }=e^{-\frac{\Box }{2M_{S}^{2}}}T^{\mu }\). From the standard theory of vector fields we know that the last term introduces ghostly degrees of freedom, therefore we need to impose that \(C_{5}=0\). Moreover, the kinetic terms of both vectors need to be positive, hence we also have the conditions \(C_{2}>0\) and \(C_{4}<0\).
At this time we know that our theory is absent of ghosts, and we are ready to find some possible solutions, that we will show that can be singularity-free. We will study the solutions of the trace and axial vector separately in the following Subsections. This is indeed possible since parity breaking terms in the action are not considered, so there are no mixed trace-axial terms.
5.1.1 Axial vector
First, we will consider the Cartan Equation for the axial vector (31) with a fermionic source term
where \({\tilde{C}}_{1}=\frac{1}{6}C_{1}\), \({\tilde{C}}_{2}=\frac{1}{18}C_{2}\), and \(B_{\mu }=\frac{\delta {\mathcal {L}}_{fermion}}{\delta S^{\mu }}\) accounts for the internal spin of the fermion, that minimally couples to the axial vector [6]. The previous equation describes a non-local Proca field in a Minkowski spacetime. Furthermore, this non-local aspect cannot be hided by a redefinition of the field since there is a source term.
In order to find a solution of Eq. (37) for the axial vector, we shall assume the transverse condition \(\partial _{\mu }S^{\mu }=0\). Moreover, we need to provide a form of the \(B_\mu \) function. Since we are trying to prove that in the UV extension of PG we can also avoid singularities, we will consider the “most singular” possible configuration, and see if we are able to ammiliorate it. In this case, since fermions have an intrinsic spin, instead of having a Dirac-delta point source, we would need to consider a singular source endowed with angular momentum. Indeed, we would need a rotating singular Dirac-delta ring, where we shall fix the angular momentum to be in z direction. We will use cartesian coordinates, in which the singular source can be expressed as
where A is a constant, and R holds for the so-called Cartan radius of a singular rotating ring, where effectively the singularity is located.. Then, the homogeneous solution of the Eq. (37) will be the local Proca solution, and will propagate three stable degrees of freedom. Due to the specific source (38), the z component of the axial vector will also have an additional non-local term, that will be given by the particular solution of (37). In order to obtain it, we shall substitute this source (38) into Eq. (37), and taking into account the gauge choice that we mentioned, one finds thatFootnote 4
We shall now calculate the Fourier transform \({\mathcal {F}}\) of the source, as follows
where \(\mathrm{J}_{0}\) represents the Bessel function of first kind (\(n=0\)). Thus, applying the Fourier transform to Eq. (39) one obtains
Then, performing the inverse of the transform of (41) we find that the particular solution of Eq. (39) can be expressed as
where \(\mathrm{d}^{3}k=\mathrm{d}k_{x}\mathrm{d}k_{y}\mathrm{d}k_{z}\) and \(k^{2}=k_{x}^{2}+k_{y}^{2}+k_{z}^{2}\). In order to see how the axial vector behaves at the singularity \(r=R\), we can restrict the study of the integral in (42) to the \(z=0\) plane, since we have assumed that the ring rotation axis lies along the z direction. By using cylindrical coordinates, \(k_{x}=\xi \cos \left( \varphi \right) \), \(k_{y}=\xi \sin \left( \varphi \right) \), \(k_{z}=k_{z}\), we obtain
where \(r^2=x^2+y^2\) and \(\mathrm{Erfc}\) is the complementary error function. In order to performed the previous derivations we have further assumed that \({\tilde{C}}_1\) and \({\tilde{C}}_2\) are of the same sign, so that the integral in \(k_z\) could be solved.
Since finding the analytically closed form of (43) is not possible, the integral can be solved numerically, as can be seen in Fig. 1. There one can check that in the case of stable local Poincaré Gauge theories of gravity, in the limit \(M_{s}\rightarrow \infty \), the singularity at \(r=R\) is unavoidable. Nevertheless, within the infinite derivative theory of Poincaré gravity, the ring singularity can be smeared out. Therefore, for IDG theories we conclude that the axial torsion is regular everywhere in presence of a Dirac-delta fermionic source with spin. This result is similar to the Kerr-like singularity which is cured in the infinite derivative metric theory of gravity [33]. Nevertheless, in this torsion infinite derivative theory of gravity, there is a crucial difference with respect to the purely metric one. In this case, since the Proca field is massive, i.e. \({\tilde{C}}_1\ne 0\), the non-local effects are visible even when we are far away from the source, due to the factor \(\mathrm{exp}\left( \frac{{\tilde{C}}_{1}}{{\tilde{C}}_{2}M_{S}^{2}}\right) \). This occurs if the mass of the Proca field, modulated by \({\tilde{C}}_1\), is of the same order, or higher, than the mass scale of non-locality \(M_S\). Then, this effect can be avoidedFootnote 5 if the mass of the Proca field is much smaller than the mass scale at which non-locality starts playing a role.
Finally, since this particular solution that we need to add to the z component of the axial vector is static, it does not contribute to propagate more than the three degrees of freedom of the local Proca theory, therefore the solution is also ghost-free.
5.1.2 Trace vector
Let us now explore the Cartan Equation for the trace vector (32)
We observe that this is just the local Proca Equation for a vector field. Therefore, it will have the same plane wave solutions propagating three stable degrees of freedom.
Now, with all the components for the torsion tensor calculated, we will solve Einstein’s equations to obtain the corresponding metric \(h_{\mu \nu }\).
5.2 Einstein equations
Let us recall that Einstein’s equations for a fermionic source, where the tensor component of the torsion has been set to zero are given by (30):
where \(\tau _{\mu \nu }=\eta _{\sigma \nu }F_{\mu \rho }F^{\sigma \rho }-\frac{1}{4}\eta _{\mu \nu }F_{\sigma \rho }F^{\sigma \rho }\), \(F_{\mu \nu }\) being the electromagnetic tensor. It is clear that this equation is the same as in the pure metric case, since the torsion terms do not contribute.
Now, if we apply the constraints that we obtained from the energy–momentum conservation, and ghost-free conditions in the metric sector, see Eq. (20), we are left with the following expression
It is interesting to note that this equation has already been studied in Ref. [34], where a non-singular Reissner–Nordström solution were obtained for the same choice of the entire function in ghost free IDG, namely
where \(\Phi \left( r\right) \) and \(\Psi \left( r\right) \) take the following form [34]
in which Erf(x) is the error function and F(x) the Dawson function. This solution is non-singular when \(r\rightarrow 0\) and recasts a Reissner-Nordström when \(r\gg M_s^{-1}\).
6 Final remarks
We have provided the foundations of the theory of gravitation that can be constructed out infinite covariant derivatives and non-symmetric connection.The main advantages of this theory are the fact that one can introduce effective quantum effects, such as non-locality and internal spin of the particles, which ammeliorate the ring singularities present in the local theory, while preserving the stability of the spacetime. The disadvantage of course is that the calculations are quite tedious compared with GR ones. This issue can be solved if one sticks to the linear level, in which we have shown that solutions that are ghost and singularity free can be found, even with a non-vanishing torsion tensor. The method that we have used to obtain solutions is based on the decomposition of the torsion tensor into its Lorentz invariants, in particular the trace and axial vectors and the tensor part. We have assumed the latter to be zero due to symmetry arguments. Then, we have obtained the field equations of these two vectors and solve them for a fermionic source, see Eqs. (43) and (44), finding the ghost and singularity-free conditions.
We have shown that in Einstein equations the torsion vectors decouple from the metric under the stability conditions, hence obtaining the same metric solutions as in the case of a torsion-free IDG, see Eqs. (48) and (49), that are non-singular and free of ghosts. Nevertheless, since the axial part of the torsion is different from zero, the phenomenology of the solution would be different to the one in the null torsion case [34], despite sharing the same metric solution. This is because totally antisymmetric part of the torsion, i.e. the axial vector, couples with the internal spin of the fermionic source, which produces a non-geodesical behavior in the fermions, that it is not observed when torsion is set zero (see [51] for details).
The obtained results could have interesting applications when modelling physical situations. As an illustrative example, one can consider the mini-black hole formation, which is prevented for point-like particles in torsion-free IDG, and now we have prove that that is also the case for fermions in the UV extension of PG gravity.
For future work in this theory, it will be interesting to calculate the next to leading order of the field equations, so that one can find torsion effects in the effective energy–momentum tensor of Einstein’s equations, allowing us to make the UV extension of Poincaré gauge solutions. On the other hand, the influence of torsion and non-locality in quantum experiments remains of interest, so experimental constraints on the viability of the theory could be provided, see Ref. [52].
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and hence no datasets were generated or analysed.]
Notes
We can go beyond quadratic order in curvature, but of the metric potentials are less than unity then higher curvature effects such as cubic, quadratic, and quintic order curvature terms would be even smaller. If however, there are solutions at the quadratic curvature which become non-linear then we would have to explore higher curvature effects even at the classical level.
If this were not the case, we would have two options: either the contribution of the metric is of higher-order than the torsion, hence recovering the usual IDG theory [12], or the torsion is of higher order than the metric. In the latter case we would have a somewhat similar action of the UV extension of telleparalel gravity [43].
The fact that the traceless tensor part of the torsion \(q_{\,\,\nu \rho }^{\mu }\) is considered to be negligible is motivated by the fact that in a completely symmetric spacetime this component is identically zero [45].
Let us note that we have formally inverted the exponential operator, as it is usual in the literature when solving equations involving infinite derivatives in the linear regime [50].
The effect of the exponential term in Eq. (43) shall be a problem, and would be advisible to avoid, if one wants to use this theory to resolve the singularity, and at the same time wants to obtain the same values as in the local theory when being away from the source.
Please note that we have used the contorsion tensor instead of the torsion one without losing any generality, since they are related by a linear expression.
References
C.M. Will, The confrontation between general relativity and experiment. Living Rev. Rel. 17, 4 (2014). https://doi.org/10.12942/lrr-2014-4. arXiv:1403.7377
P. Dayal, A. Ferrara, Early galaxy formation and its large-scale effects. Phys. Rep. 780–782, 1–64 (2018). https://doi.org/10.1016/j.physrep.2018.10.002. arXiv:1809.09136
LIGO Scientific, Virgo collaboration, B.P. Abbott et al., Observation of gravitational waves from a binary black hole merger. Phys. Rev. Lett. 116 061102, (2016). https://doi.org/10.1103/PhysRevLett.116.061102. arXiv:1602.03837
F.W. Hehl, J.D. McCrea, E.W. Mielke, Y. Ne’eman, Metric affine gauge theory of gravity: field equations, Noether identities, world spinors, and breaking of dilation invariance. Phys. Rep. 258, 1–171 (1995). https://doi.org/10.1016/0370-1573(94)00111-F. arXiv:gr-qc/9402012
M. Blagojević, F.W. Hehl, T.W.B. Kibble, Gauge Theories of Gravitation. Imperial College Press (2013). https://doi.org/10.1142/p781
I.L. Shapiro, Physical aspects of the space-time torsion. Phys. Rep. 357, 113 (2002). https://doi.org/10.1016/S0370-1573(01)00030-8. arXiv:hep-th/0103093
D.W. Sciama, On the analogy between charge and spin in general relativity. Recent developments in general relativity 415 (1962)
T.W.B. Kibble, Lorentz invariance and the gravitational field. J. Math. Phys. 2, 212–221 (1961). https://doi.org/10.1063/1.1703702
S.W. Hawking , G.F.R. Ellis, The Large Scale Structure of Space-time. Cambridge Monographs on Mathematical Physics. Cambridge University Press (2011). https://doi.org/10.1017/CBO9780511524646
J.A.R. Cembranos, J.G. Valcarcel, F.J. Maldonado Torralba, Singularities and n-dimensional black holes in torsion theories. JCAP 1704, 021 (2017). https://doi.org/10.1088/1475-7516/2017/04/021. arXiv:1609.07814
A. de la Cruz-Dombriz, F.J.M. Torralba, A. Mazumdar, Nonsingular and ghost-free infinite derivative gravity with torsion. Phys. Rev. D (2019). https://doi.org/10.1103/PhysRevD.99.104021. arXiv:1812.04037
T. Biswas, E. Gerwick, T. Koivisto, A. Mazumdar, Towards singularity and ghost free theories of gravity. Phys. Rev. Lett. 108, 031101 (2012). https://doi.org/10.1103/PhysRevLett.108.031101. arXiv:1110.5249
T. Biswas, A.S. Koshelev, A. Mazumdar, Gravitational theories with stable (anti-)de Sitter backgrounds. Fundam. Theor. Phys. 183, 97–114 (2016). https://doi.org/10.1007/978-3-319-31299-6_5. arXiv:1602.08475
E.T. Tomboulis, Superrenormalizable gauge and gravitational theories. arXiv:hep-th/9702146
L. Modesto, Super-renormalizable quantum gravity. Phys. Rev. D 86, 044005 (2012). https://doi.org/10.1103/PhysRevD.86.044005. arXiv:1107.2403
G. Calcagni, L. Modesto, G. Nardelli, Initial conditions and degrees of freedom of non-local gravity. JHEP 05, 087 (2018). https://doi.org/10.1007/JHEP05(2018)087,https://doi.org/10.1007/JHEP05(2019)095. arXiv:1803.00561
A.A. Tseytlin, On singularities of spherically symmetric backgrounds in string theory. Phys. Lett. B 363, 223–229 (1995). https://doi.org/10.1016/0370-2693(95)01228-7. arXiv:hep-th/9509050
W. Siegel, Stringy gravity at short distances. arXiv:hep-th/0309093
S. Abel, N.A. Dondi, UV Completion on the Worldline. JHEP 07, 090 (2019). https://doi.org/10.1007/JHEP07(2019)090. arXiv:1905.04258
G.V. Efimov, Non-local quantum theory of the scalar field. Commun. Math. Phys. 5, 42–56 (1967). https://doi.org/10.1007/BF01646357
G.V. Efimov, On a class of relativistic invariant distributions. Commun. Math. Phys. 7, 138–151 (1968). https://doi.org/10.1007/BF01648331
T. Biswas, N. Okada, Towards LHC physics with nonlocal standard model. Nucl. Phys. B 898, 113–131 (2015). https://doi.org/10.1016/j.nuclphysb.2015.06.023. arXiv:1407.3331
E.T. Tomboulis, Nonlocal and quasilocal field theories. Phys. Rev. D 92, 125037 (2015). https://doi.org/10.1103/PhysRevD.92.125037. arXiv:1507.00981
A. Ghoshal, A. Mazumdar, N. Okada, D. Villalba, Stability of infinite derivative Abelian Higgs models. Phys. Rev. D 97, 076011 (2018). https://doi.org/10.1103/PhysRevD.97.076011. arXiv:1709.09222
L. Buoninfante, G. Lambiase, A. Mazumdar, Ghost-free infinite derivative quantum field theory. Nucl. Phys. B 944, 114646 (2019). https://doi.org/10.1016/j.nuclphysb.2019.114646. arXiv:1805.03559
S. Talaganis, T. Biswas, A. Mazumdar, Towards understanding the ultraviolet behavior of quantum loops in infinite-derivative theories of gravity. Class. Quantum Gravity 32, 215017 (2015). https://doi.org/10.1088/0264-9381/32/21/215017. arXiv:1412.3467
S. Talaganis, A. Mazumdar, High-energy scatterings in infinite-derivative field theory and ghost-free gravity. Class. Quantum Gravity 33, 145005 (2016). https://doi.org/10.1088/0264-9381/33/14/145005. arXiv:1603.03440
J. Boos, V.P. Frolov, A. Zelnikov, Ghost-free modification of the Polyakov action and Hawking radiation. Phys. Rev. D 100, 104008 (2019). https://doi.org/10.1103/PhysRevD.100.104008. arXiv:1909.01494
J. Boos, V.P. Frolov, A. Zelnikov, On thermal field fluctuations in ghost-free theories. Phys. Lett. B 793, 290–296 (2019). https://doi.org/10.1016/j.physletb.2019.04.059. arXiv:1904.07917
J. Boos, V.P. Frolov, A. Zelnikov, Probing the vacuum fluctuations in scalar ghost-free theories. Phys. Rev. D 99, 076014 (2019). https://doi.org/10.1103/PhysRevD.99.076014. arXiv:1901.07096
L. Buoninfante, A. Ghoshal, G. Lambiase, A. Mazumdar, Transmutation of nonlocal scale in infinite derivative field theories. Phys. Rev. D 99, 044032 (2019). https://doi.org/10.1103/PhysRevD.99.044032. arXiv:1812.01441
L. Buoninfante, A.S. Koshelev, G. Lambiase, J. Marto, A. Mazumdar, Conformally-flat, non-singular static metric in infinite derivative gravity. JCAP 1806, 014 (2018). https://doi.org/10.1088/1475-7516/2018/06/014. arXiv:1804.08195
L. Buoninfante, A.S. Cornell, G. Harmsen, A.S. Koshelev, G. Lambiase, J. Marto et al., Towards nonsingular rotating compact object in ghost-free infinite derivative gravity. Phys. Rev. D 98, 084041 (2018). https://doi.org/10.1103/PhysRevD.98.084041. arXiv:1807.08896
L. Buoninfante, G. Harmsen, S. Maheshwari, A. Mazumdar, Nonsingular metric for an electrically charged point-source in ghost-free infinite derivative gravity. Phys. Rev. D 98, 084009 (2018). https://doi.org/10.1103/PhysRevD.98.084009. arXiv:1804.09624
V.P. Frolov, Mass-gap for black hole formation in higher derivative and ghost free gravity. Phys. Rev. Lett. 115, 051102 (2015). https://doi.org/10.1103/PhysRevLett.115.051102. arXiv:1505.00492
V.P. Frolov, A. Zelnikov, T. de Paula Netto, Spherical collapse of small masses in the ghost-free gravity. JHEP 06, 107 (2015). https://doi.org/10.1007/JHEP06(2015)107. arXiv:1504.00412
V.P. Frolov, A. Zelnikov, Head-on collision of ultrarelativistic particles in ghost-free theories of gravity. Phys. Rev. D 93, 064048 (2016). https://doi.org/10.1103/PhysRevD.93.064048. arXiv:1509.03336
A.S. Koshelev, A. Mazumdar, Do massive compact objects without event horizon exist in infinite derivative gravity? Phys. Rev. D 96, 084069 (2017). https://doi.org/10.1103/PhysRevD.96.084069. arXiv:1707.00273
L. Buoninfante, A. Mazumdar, Nonlocal star as a blackhole mimicker. Phys. Rev. D 100, 024031 (2019). https://doi.org/10.1103/PhysRevD.100.024031. arXiv:1903.01542
T. Biswas, A. Mazumdar, W. Siegel, Bouncing universes in string-inspired gravity. JCAP 0603, 009 (2006). https://doi.org/10.1088/1475-7516/2006/03/009. arXiv:hep-th/0508194
Y.-D. Li, L. Modesto, L. Rachwał, Exact solutions and spacetime singularities in nonlocal gravity. JHEP 12, 173 (2015). https://doi.org/10.1007/JHEP12(2015)173. arXiv:1506.08619
E. Kilicarslan, Weak field limit of infinite derivative gravity. Phys. Rev. D 98, 064048 (2018). https://doi.org/10.1103/PhysRevD.98.064048. arXiv:1808.00266
T. Koivisto, G. Tsimperis, The spectrum of teleparallel gravity 1810, 1 (1847)
A. Conroy, T. Koivisto, The spectrum of symmetric teleparallel gravity. Eur. Phys. J. C 78, 923 (2018). https://doi.org/10.1140/epjc/s10052-018-6410-z. arXiv:1710.05708
S. Sur, A.S. Bhatia, Constraining torsion in maximally symmetric (sub)spaces. Class. Quantum Gravity 31, 025020 (2014). https://doi.org/10.1088/0264-9381/31/2/025020. arXiv:1306.0394
C. Lammerzahl, Constraints on space-time torsion from Hughes–Drever experiments. Phys. Lett. A 228, 223 (1997). https://doi.org/10.1016/S0375-9601(97)00127-8. arXiv:gr-qc/9704047
V.A. Kostelecky, N. Russell, J. Tasson, New constraints on torsion from Lorentz violation. Phys. Rev. Lett. 100, 111102 (2008). https://doi.org/10.1103/PhysRevLett.100.111102. arXiv:0712.4393
J.B. Jiménez , F.J. Maldonado Torralba, Revisiting the stability of quadratic poincaré gauge gravity. arXiv:1910.07506
J.B. Jimenez, A.L. Maroto, Viability of vector-tensor theories of gravity. JCAP 0902, 025 (2009). https://doi.org/10.1088/1475-7516/2009/02/025. arXiv:0811.0784
N. Barnaby, N. Kamran, Dynamics with infinitely many derivatives: the initial value problem. JHEP 02, 008 (2008). https://doi.org/10.1088/1126-6708/2008/02/008. arXiv:0709.3968
J.A.R. Cembranos, J.G. Valcarcel, F.J. Maldonado Torralba, Fermion dynamics in torsion theories. JCAP 1904, 039 (2019). https://doi.org/10.1088/1475-7516/2019/04/039. arXiv:1805.09577
S. Bose, A. Mazumdar, G.W. Morley, H. Ulbricht, M. Toro, M. Paternostro et al., Spin entanglement witness for quantum gravity. Phys. Rev. Lett. 119, 240401 (2017). https://doi.org/10.1103/PhysRevLett.119.240401. arXiv:1707.06050
Acknowledgements
AM’s research is funded by the Netherlands Organization for Scientific Research (NWO) Grant number 680-91-119. AdlCD and FJMT acknowledge financial support from NRF Grants No.120390, Reference: BSFP190416431035, and No.120396, Reference: CSRP190405427545, and No 101775, Reference: SFH150727131568. AdlCD also acknowledges financial support from Project No. FPA2014-53375-C2-1-P from the Spanish Ministry of Economy and Science, MICINN Project No. PID2019-108655GB-I00, Project No. FIS2016-78859-P from the European Regional Development Fund and Spanish Research Agency (AEI), and support from Projects Nos. CA15117 and CA16104 from COST Action EU Framework Programme Horizon 2020. FJMT acknowledges financial support from the NASSP Programme - UCT node, Erasmus+ KA107 Alliance4Universities programme and from the Van Swinderen Institute at the University of Groningen. AdlCD and FJMT thank the hospitality of the Institute of Theoretical Astrophysics - University of Oslo (Norway) during the latter steps of the manuscript.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Complete quadratic Lagrangian
Here we shall give the complete expansion of the quadratic part of the Lagrangian density in (5):
Upon use of the Bianchi identities, the symmetries of the curvature and contorsion tensors, and integration by parts, we can simplify the previous expression as
Appendix B: Components of the action
In this Appendix we give the different terms that appear in the linearised action (A.1).
Appendix C: Functions of the linearised action
In this Appendix one can find the explicit form of the functions that compose the linearised action.
Appendix D: Poincaré Gauge Gravity as the local limit
Here we will give more insight on how Poincaré Gauge Gravity can be recasted as the local limit of our theory.
Poincaré Gauge Gravity is constructed by gauging the Poincaré group, that is formed of the homogeneous Lorentz group SO(3, 1) plus the spacetime translations. The field strength of the latter is the torsion field, while the Riemann curvature is associated to the homogeneous part [5]. Inspired by Yang-Mills theories, the usual Lagrangian of this theory is built using quadratic terms in the field strengths, namelyFootnote 6
which is usually known as the nine-parameter Lagrangian. Since in the torsion-free limit we want to recover the results of usual IDG, the local limit at zero torsion must be GR. This fact imposes the following constraints in the Lagrangian (D.1)
where we have used the topological character of the Gauss-Bonnet term.
From (D.1), and taking into account (D.2), one can calculate the linearised Lagrangian just by substituting the expressions of the curvature tensors (7,8,9), obtaining
At the same time, the local limit of our theory can be expressed, applying the constraints (20), as
It is straightforward to realise that we have more free parameters in (D.4) than in (D.3), which means that if we want (D.3) as the local limit, we will need to impose more constraints in the parameters in (D.4). The question now is if there exists a PG theory that can be recasted as the local limit of our theory without compromising the independence of the parameters. The answer is affirmative, as can be seen in the following Lagrangian of a generalised Poincaré Gauge theory (GPG)
which is Poincaré Gauge invariant and local. Its corresponding linearised expression is
Therefore, one finds the following relations for the local limit of the functions involved in the linearised action (D.4) and the parameters in (D.6)
It can be observe that these limits do not impose new relations between the functions.
Hence, we have proved that if the previous limits apply, the local limit of our theory is a local PG theory, concretely the one described by the Lagrangian (D.5).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
de la Cruz-Dombriz, Á., Torralba, F.J.M. & Mazumdar, A. Ghost-free higher-order theories of gravity with torsion. Eur. Phys. J. C 81, 240 (2021). https://doi.org/10.1140/epjc/s10052-021-09019-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09019-6