Abstract
We consider a set of elementary compactifications of \(D+1\) to D spacetime dimensions on a circle: first for pure general relativity, then in the presence of a scalar field, first free then with a non minimal coupling to the Ricci scalar, and finally in the presence of gauge bosons. We compute the tree-level amplitudes in order to compare some gravitational and non-gravitational amplitudes. This allows us to recover the known constraints of the U(1), dilatonic and scalar weak gravity conjectures in some cases, and to show the interplay of the different interactions. We study the KK modes pair-production in different dimensions. We also discuss the contribution to some of these amplitudes of the non-minimal coupling in higher dimensions for scalar fields to the Ricci scalar.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Among the Swampland conjectures [1], one of the most popular and best tested is probably the weak gravity conjecture (WGC). Its simplest formulation [2] considers the case of a D-dimensional U(1) gauge theory, with a coupling constant g, and requires the existence of at least one state of mass m and charge q which satisfies:
where \(\kappa _D\) is defined as \(\kappa ^2_D=8\pi G_D=\frac{1}{M_{P,D}^{D-2}}\) with \(M_{P,D}\) the reduced Planck mass in D dimensions. This inequality implies, among others, that in the non-relativistic limit, the Newton force is not stronger than the Coulomb force. The particular states for which the equality in (1.1) is satisfied are said to saturate the WGC. In this work we will be interested in a particular case of them.
The present work is dedicated to the study of two different generalizations of the WGC: one that arises when the gauge interaction is complemented by a dilaton interaction [3, 4], and another [5,6,7] that broadly requires the dominance of scalar interactions with respect to gravity in some scattering processes depending on the specific theory. We are interested in the modes that propagate in an extra dimension forming a tower of KK excitations [8,9,10,11]. We will explicitly show that these modes undergo gravitational and non-gravitational interactions of equal intensity, which allows us to use them as probes for the conjectured inequalities generalizing the one mentioned above. They will also be useful to investigate the behavior of the scalar WGC under compactification.
Obviously, the KK excitations considered here saturate the inequalities conjectured only at the classical level, to which our study will be limited, since both terms of these inequalities are in general corrected by quantum effects. However, one has in mind that extending the theory with enough supersymmetries, the KK modes can be BPS states which saturate them even at the quantum level.
The fact that KK modes saturate the inequalities of the various conjectures is a known property, but we will give a derivation of it here in a simple form that we have not found in the existing literature. Our derivation of the various inequalities will be based on amplitude calculations, not for example on the conditions for decay of extremal black holes, and some of the explicit expressions for the amplitudes needed to make the comparisons seem to be either missing or scattered and hard to find, so we hope that presenting them altogether here might be useful.
This work is organized as follows. Section 2 reviews the well-known reduction of KK from \(D+1\) to D dimensions of the Hilbert–Einstein action and a massless scalar. It allows us to introduce our notations, presents the Lagrangian expansion needed to extract the Feymann rules for calculating amplitudes, and compute the numerical factor in the total derivative term, often misquoted in the literature, which will be useful in Sect. 5. The dilatonic WGC inequality is derived in Sect. 3, where we also calculate various KK pair production amplitudes. In Sect. 4, we consider adding a mass term for the scalar in \(D+1\) dimensions and we find our form of the scalar WGC. A non-minimal coupling to gravity is considered in Sect. 5. The interactions due to the presence of higher dimensional gauge fields are discussed in Sect. 6. Our conclusions are presented in Sect. 7. Finally, some technical details about our calculations are gathered in appendices.
2 Expansion to second order in the gravitational field
We work with the signature \((+,-,...,-)\). The \(D+1\) dimensional quantities will be denoted with a hat. We use Latin and Greek letters for the D+1 and D-dimensional coordinates, respectively. We denote by x the D non-compact and by \(z \equiv z + 2 \pi L\) the compact coordinates. We recall the steps of the simple dimensional reduction of a free real massless scalar field \({\hat{\Phi }}\) coupled to General Relativity:
where
and
The Ricci scalar \(\hat{R}\) is computed from the metric \(\hat{g}_{MN}\). In the simplest compactification from \(D+1\) to D dimensions it takes the form
with \(\phi \), \(A_{\mu }\) and \(g_{\mu \nu }\) D-dimensional fields independent of the z coordinate:
where g is the determinant of the D-dimensional metric.
A canonical D-dimensional Einstein–Hilbert action is obtained for
and the canonical dilaton kinetic term fixes the constant \(\alpha \) to be:
Since all fields are independent of z, we can perform the integration over this coordinate to obtain, keeping only the zero modes,Footnote 1
We define the D-dimensional constant \(\kappa \) in terms of the \((D+1)\)-dimensional \(\hat{\kappa }\) as
In (2.4), the \(\phi \) and \(A_{\mu }\) fields are dimensionless. Dimensional fields, that we denote \({\tilde{\phi }}\) and \(\tilde{A}_{\mu }\), can be written as
The action of the D-dimensional gauge and scalar fields, denoted as the graviphoton and the dilaton, respectively, reads:
In the following, with the exception of Sect. 5, the second term in (2.11), being a total derivative, will be discarded and, for notational simplicity, we remove the tilde in our notation.
For simplicity, we restrict to the simplest case where the field \({\hat{\Phi }}\) is periodic and single-valued on the compact dimension
which leads to
where we have chosen in (2.7) the positive root for \(\alpha \). The complex scalars \(\varphi _n\) form the Kaluza–Klein (KK) tower and appear minimally coupled to the graviphoton. Around a generic background value \(\phi _0\) for the dilaton, the gauge coupling g is given by
For each KK mode, the mass and charge read
This shows that they are related through
saturating the dilatonic WGC condition. This is expected as all the interactions unify to descend from the unique gravitational interaction of a free scalar field in higher dimensions. Useful for the rest of the manuscript is to derive this result proceeding instead with the expansion of the metric (2.4) to second order:
where:
is the background metric and \({\hat{\kappa }}^2{\hat{f}}_{MN}\ll {\hat{\kappa }} {\hat{h}}_{MN}\ll 1\), for all M, N. We write the perturbation as
The relation \({\hat{g}}_{M P}{\hat{g}}^{P N}\equiv \delta _{M}^{N}\) reads
where it is understood that the indices are raised and lowered with the background metric \({\hat{\zeta }}\), then
where \({\hat{\kappa }}'\equiv 2{\hat{\kappa }}\). With:
and using \(\sqrt{(-1)^D{\hat{\zeta }}}=e^{\sqrt{2}(D\alpha +\beta ) {\hat{\kappa }}{\phi _0}}\), this leads to the coupling between the leading order fluctuations \({{\hat{h}}^{MN}}\) of the metric and the stress–energy–momentum of the scalar field \({\hat{T}}^{{\hat{\Phi }}}_{MN}\):
Next, we identify \({\hat{f}}_{MN}\) from the metric decomposition at second order:
With this result, \({\hat{l}}^{MN}\) in (2.21) is given by
Using (2.24) and (2.22) one obtains
We define \(J_{\mu ,n}=(\varphi _n\partial _{\mu } \varphi _n^*-\varphi _n^*\partial _{\mu } \varphi _n)\), then the second order interaction in the Lagrangian is given by
This expression simplifies using the relation between \(\beta \) and \(\alpha \) (2.6). In particular, the coefficients of \(\phi ^2\) and \(\phi \, h_{\rho }^{\rho }\) vanish. One obtains
which shows how the gauge invariance of the graviphoton is recovered in this expansion at second order in \({\hat{\kappa }}\) and exhibits the minimal coupling of the graviphoton to the tower of scalars in \({\hat{\kappa }}\).
3 Scattering amplitudes and weak gravity conjectures
In this section, we will compute diverse \(2 \rightarrow 2\) amplitudes in the simple model defined above and compare two sets to be identified, one denoted as gravitational and the other as non-gravitational mediated interactions.
We expand the dilaton around its background value \(\phi _0\) as \(\phi _0+\phi \) in the action (2.13) to obtain:
where diverse interactions can be identified. For instance:
-
3 and 4-point vertices for minimally-coupled scalars to graviphotons appear in the last line. We can identify the KK electric charges
$$\begin{aligned} gq_n={\sqrt{2}}\kappa \frac{n}{L} e^{\sqrt{\frac{D-1}{D-2}}\kappa \, {\phi _0}}. \end{aligned}$$(3.2) -
In the third line, the m-th term (\(m\ne 0\)) in the sum gives a \((2+m)\)-point interaction with m dilatons and two KK scalars with coupling
$$\begin{aligned} -i\left( 2\sqrt{\frac{D-1}{D-2}}\kappa \right) ^m\, \frac{n^2}{L^2} \, e^{2\sqrt{\frac{D-1}{D-2}}\kappa {\phi _0}}. \end{aligned}$$(3.3) -
The m-th term in the sum in front of \(F^2\) in the first line gives a coupling of m dilatons with two gauge fields
$$\begin{aligned} -i\left( -2\sqrt{\frac{D-1}{D-2}}\kappa \right) ^m \left( p_1\cdot p_2 \,\eta _{\mu \nu }-p_{1\,\nu }p_{2\,\mu }\right) . \end{aligned}$$(3.4)
Expansion of the metric around flat space-time \(g_{\mu \nu }=\eta _{\mu \nu }+2\kappa h_{\mu \nu }\) gives the usual minimal couplings to gravity for both the matter fields (\(\varphi _0\), \(\varphi _n\)) and the massless mediators (\(\phi \), \(A_\mu \)).
3.1 The dilatonic WGC
Consider the tree-level \(2\rightarrow 2\) scatteringFootnote 2\(^,\)Footnote 3\(\varphi _n(p_1)\varphi _n(p_2) \rightarrow \varphi _n(p_3) \varphi _n(p_4)\):
where \({\mathcal {P}}\) is the usual massless spin-2 projector
and we have separated the contributions from the exchanges of the gauge boson, the dilaton and the graviton, respectively.
Taking the non-relativistic (NR) limit
and expressing the charge in terms of the mass we obtain
The relation between the charge and the mass (2.16) ensures the cancellation between the three forces.
It is straightforward to generalize this to see that dominance of the gauge interaction requires that a state with charge q and mass m satisfying the relation
where \(\alpha \) is the dilatonic coupling of the form \(e^{2\sqrt{2}\alpha \kappa \phi }F^2\), exists. We have therefore recovered in this explicit amplitude computation the dilatonic weak gravity conjecture that was derived in [3] (see also [4] for its generalization) from the study of the extremal Einstein–Maxwell-dilaton black hole solutions. In the absence of the massless dilaton field \(\alpha =0\), one trivially retrieves the original WGC condition
3.2 Amplitudes for pair production
Consider the production of a pair of matter states, here scalar KK states, of momenta \(p_3,\, p_4\) from massless particles of momenta \(p_1,\,p_2\). We can split the production processes into two sets:
-
Non-gravitational production: a pair of KK scalar modes \({|{\varphi _n, \varphi _n^*}\rangle }\) can arise from a pair of photons \({\langle {\gamma , \gamma }|}\), a pair of dilatons \({\langle {\phi ,\phi }|}\), or a dilaton and a photon \({\langle {\phi , \gamma }|}\).
-
Gravitational production: this includes the presence of a graviton G in initial states as \({\langle {G, G}|}\), \({\langle {G, \gamma }|}\) or \({\langle {G, \phi }|}\), but also gravitons as intermediate states in the production from \({\langle {\gamma , \gamma }|}\) or \({\langle {\phi , \phi }|}\). For later convenience, we further divide the gravitational production processes into purely gravitational (the \({\langle {G,G}|}\) production) and mixed (all the others).
3.2.1 Non gravitational amplitudes
The production from photons \(\gamma \gamma \rightarrow \varphi _n \varphi _n^*\) occurs through the coupling to the U(1) gauge boson plus an s-channel term mediated by the dilaton, as depicted in the first line of Fig. 1. These give:
We are interested in the threshold limit
leading to
We note that, in a U(1) gauge theory with no dilaton, the amplitude would be given by the first line of (3.11) only, that means in the threshold limit \(4 g^4q^4/(D-2) \) for a state of charge q.
The production from a dilation pair \(\phi \phi \rightarrow \varphi _n \varphi _n^*\) (second line of Fig. 1) is immediately recognized to give a null result in the limit of interest:
Finally, the production from the pair photon-dilaton \(\phi \gamma \rightarrow \varphi _n \varphi _n^*\) receives contributions from the three \(s,t\, \textrm{and}\, u\)-channels (see the third line of Fig. 1)
and this is easily verified to give a null contribution in the threshold limit.
3.2.2 Mixed amplitudes
We consider now the “mixed gravitational” processes: we start by computing the graviton s-channel mediation for \(\gamma \gamma \) and \(\phi \phi \) initial states, then the amplitudes with initial states \(\gamma \, G\) and \(\phi \, G\). We present hereafter the results for the particular case \(D=4\). When it will be of interest, we will show the results for a generic number of dimensions D.
The additional contribution to the \(\gamma \gamma \) and \(\phi \phi \) productions described in Fig. 2 respectively read
and
where \(\epsilon _{i}=\epsilon (p_i)\). For the \(\gamma \gamma \rightarrow \varphi _n \varphi _n^*\) amplitude, a (simpler) way to compute this is through projecting onto a specific basis for the polarizations \(\epsilon \) (see Appendix B).
Working in the center of mass frame for the massive particles, we obtain the different components of the graviton mediated \(\gamma \gamma \rightarrow \varphi _n \varphi _n^*\) as follows
where the ± sign refers to the helicities of the incoming gauge bosons. In the threshold limit the graviton mediated contribution vanishes for both components.
In D dimensions, the whole \({\mathcal {M}}_{\gamma \gamma }\) amplitude reads
for a generic U(1) gauge theory (i.e. when the dilaton is put to zero) and
in the dilatonic theory we are studying here. Both the results for the U(1) and dilatonic theory ((3.13) and discussion below) are recovered in the limit \(\kappa \rightarrow 0\). It is instructive to note, from these equations, that the vanishing of the graviton mediated contribution to the production from a photon pair is specific to the case of \(D=4\) dimensions, and in \(D\ne 4\) dimensions mixed terms of the form \(g^2q^2\times \kappa ^2m^2\) are generated.
For the \(\phi \phi \rightarrow \varphi _n \varphi _n^*\) the amplitude reads
This results in a non vanishing contribution in the limit of interest such that
Concerning the mixed initial states, we have both \(\gamma \, G\rightarrow \varphi _n \varphi _n^*\) (see Fig. 3) and \(\phi \, G\rightarrow \varphi _n \varphi _n^*\) (see Fig. 4). Each of these two processes receive contributions from four diagrams.
Starting with the graviton-photon production, the amplitude \(G(p_1)\gamma (p_2)\rightarrow \varphi _n \varphi _n^*\) takes the form
and so for the different choices of graviton and photon helicities:
It is immediately verified that all these contributions vanish in the threshold limit where \(t\rightarrow -m_n^2\) and \(u\rightarrow -m_n^2\).
The same vanishing limit at threshold holds for the mixed graviton-dilaton production, where the amplitude is
with \(\mu _n=\sqrt{6}\kappa m_n^2\) the three-point \(\phi \varphi _n\varphi _n^*\) \(D=4\) coupling, and finally
From the explicit results presented in Appendix B, it is also immediate to realize that the mixed contributions vanish at threshold for all D.
3.2.3 Gravitational production amplitudes
Finally, we discuss the purely gravitational production. The starting point for the expression of the amplitude is rather long. It receives in fact contribution from the four diagrams of Fig. 5, each one with vertices determined from a two-derivative interacting term (some details about two-derivative interactions are discussed in Appendix A). We prefer to give here a more compact expression that is obtained after some algebra:
The complete results for each one of the four diagrams contributing to the amplitude are presented in Appendix B, together with the description of the helicity method. Using now the specific basis for \(D=4\) dimensions, we find
Comparing this result with the one obtained from the \(\gamma \gamma \) production in the case with no dilaton, we verify the factorization
The corresponding factorization for the comparison between the gravitational Compton scattering \(G\varphi \rightarrow G\varphi \) (with \(\varphi \) a generic scalar field) and the usual Compton scattering was found in [12, 13] (see also [14]).
From the above results, in the threshold limit we have
Note that the result \( \left| {\mathcal {M}}_{GG}\right| ^2\rightarrow \kappa ^4\,m^4/2\), and more generally the “purely gravitational” pair production, is independent from the presence of the dilaton. This is easily generalized to the case of generic D (see again Appendix B for details) and leads in the threshold limit to
3.2.4 Gravitational vs gauge amplitudes
When the dilaton is put to zero, the requirement
gives the original \(U(1),\, D=4\) WGC bound \(\sqrt{2} gq\ge \kappa m\).
Using cross-symmetry on the results of [12,13,14], the authors of [7] observed that (3.32) leads to the WGC relation and proposed (3.32) as a possible alternative formulation of the WGC. In [7], the graviton-mediated diagram was not taken into account in the \(\gamma \) amplitude. Our calculation shows that in the threshold limit, the contribution of this additional diagram disappears. Therefore, in the four-dimensional U(1) gauge theory, we can safely compare, as in the (3.32), the \(\gamma \gamma \) and GG productions without having to neglect any contribution.
Our calculation also shows that in \(D=4\) dimensions, the KK states saturate (3.32). In fact, we emphasize again that the gravitational amplitude \({\mathcal {M}}_{GG}\), here, does not care about the presence of the dilaton: whether the theory is a simple U(1) or a dilatonic U(1), the result for \({\mathcal {M}}_{GG}\) is unchanged. On the other hand, the amplitude \({\mathcal {M}}_{\gamma \gamma }\) receives an additional contribution which changes the numerical coefficient in front of \(g^4q^4\) from 2 to 1/8. Since the \({\mathcal {M}}_{\gamma \phi }\) and \({\mathcal {M}}_{\phi \phi }\) amplitudes both vanish in the threshold limit, the comparison of the pair production processes in this KK theory leads to
and (2.16) shows that KK states saturate it.
However, if, in the presence of the dilaton, we consider gravitationally mediated diagrams for \(\gamma \gamma \) and \(\phi \phi \) amplitudes, there is a non-vanishing contribution that comes from \({\mathcal {M}}_{\phi \phi }^{\mathrm G}\) in (3.22), and this would clearly spoil the saturation observed for the KK states. The inclusion of the mixed production channels \(G\gamma \) (3.23) and \(G\phi \) (3.25) cannot restore the saturation property, since both do not contribute in the limit of interest. The dilatonic WGC will be recovered only if the contributions from graviton exchanges in \(\gamma \gamma \) and \(\phi \phi \) amplitudes are not included.
Note also that the pairwise production comparison does not reproduce the constraints of WGCs in more than 4 dimensions. The \({\mathcal {M}}_{\gamma \gamma }\) and \({\mathcal {M}}_{GG}\) amplitudes lead, for any D, to compare \(\sqrt{2} gq\) and \(\kappa m\). For the case of a simple theory U(1), setting as quoted above the dilaton to zero in our calculations, the result for the production from a photon pair in D dimensions in the threshold limit is
In Appendix B we learn that the purely gravitational production of pairs gives, in the same limit of interest,
By comparing (3.34) and (3.35), it is immediate to observe that requiring \(\left| {\mathcal {M}}_{\gamma }\right| ^2 \ge \left| {\mathcal {M}}_{GG}\right| ^2\), one does not reproduce the WGC bound
Similarly, the comparison of purely gravitational pair production and purely non-gravitational pair production in the KK theory we consider here amounts to a comparison of the results
Using (2.16), it is immediate to realize that the KK states saturate the (3.32) (or an equivalent generalization of it to include the \({\mathcal {M}}_{\phi \phi }\) contribution which disappears here) only for \(D=4\). The results of Sect. 3.2.2 show that the addition of mixed contributions does not change this.
4 Massive and self-interacting scalars
We next consider the presence of mass and self-interacting terms in the higher dimensional scalar theory. The KK scalar modes are no more extremal states of the WGC, but this set-up will allow us to retrieve scalar weak gravity conjectures which are postulated to constrain the relative strength of the additional terms.
We will consider the simple extension of (2.1)
Here, \({\hat{m}}\) has mass dimension one, \({\hat{\mu }}\) has dimension \(3-\frac{D+1}{2}\) and \(\lambda \) has dimension \(4-(D+1)\). Using the ansatz (2.12), it is straightforward to see that the action takes the form
where we have kept the notation compact, but, in our perturbative analysis, the dilaton will again be expanded around a background value \(\phi _0\) as above. The couplings constants \(\mu \) and \(\lambda \) are defined, from their higher dimensional counterpart, as
The tree-level masses for the zero mode \(\varphi _0\) and the KK excitations are given by:
4.1 The scalar weak gravity conjecture
We start by computing the \(\varphi _0\varphi _0\rightarrow \varphi _0\varphi _0\) amplitude. The diagrams intervening in the scattering are presented in the Fig. 6. The non-relativistic limit of the tree-level amplitude reads
where the different lines correspond to the contributions from the self-interaction, dilaton and graviton exchanges, respectively.
Following [6], we compare the contributions to the amplitude at the energy scale given by the (massive) external states at rest. In the non-relativistic limit, we can further split (4.5) into contributions from short and long range interactions. We can identify an effective contact interaction:
where in the first line we can identify the contributions from the scalar interaction for the first two terms, then from the dilaton and graviton, respectively. Using (2.9) and the \((D+1)\)-gravitational coupling \({\hat{\kappa }}=\sqrt{2\pi L}\,\kappa \), the last term is recognized to be the gravitational s-channel contribution to the \({\hat{\Phi }}{\hat{\Phi }}\rightarrow {\hat{\Phi }}{\hat{\Phi }}\) scattering in \(D+1\) dimensions:
The above equation illustrates the fact that constraining the scalar interactions of the field \({\hat{\Phi }}\) to be dominant with respect to gravity in \(D+1\) dimensions is enough to ensure that the scalar interactions of the zero mode \(\varphi _0\) are dominant with respect to the combination of gravitational and dilatonic contributions in D dimensions. In other words, the effective (tree-level) non-relativistic four-point function of the zero mode \(\varphi _0\) that emerges in the reduced-dimensional theory is the same as the effective non-relativistic four-point coupling for the “parent” field \({\hat{\Phi }}\) in the higher-dimensional theory. Requiring that in such a contact term, the contributions of the \({\hat{\Phi }}\) self-interactions are the dominant ones in the \(D+1\) dimensions automatically ensures that the same property holds for the \(\varphi _0\) self-interactions with respect to the set of interactions that appear in the D dimensional theory.
It is interesting to observe that the higher dimensional result is recovered here thanks to a cancellation, rather than an addition, between the graviton and dilaton mediated diagrams. This is dictated by the form of the D-dependent coefficient \(\gamma _s(D) \equiv (D-1)/(D-2)\) appearing in front of the graviton-mediated amplitude in the s-channel which decreases with D: \(\gamma _s(D+1)<\gamma _s(D)\). The dimension-dependent factor appearing in the t and u-channels, \(\gamma _{t,u}(D) \equiv (D-3)/(D-2)\) vary in the opposite direction. In other words, the peculiar feature is that, for the contact terms, the spin-2 and spin-0 bosonic mediators give opposite contributions. This feature will also appear in the amplitudes computed with the non minimal coupling to gravity. As a consequence of particular interest in the case of a massive dilaton the higher dimensional sub-dominance of gravity does not imply that gravity by itself (i.e. without the dilaton) is subdominant in the lower dimensional theory too. This violation happens in the parametric region
which is an interval of lenght \({\hat{\kappa }}^2{\hat{m}}^2/(D-1)(D-2)\) inversely proportional to the dimension D.
The amplitude \(\varphi _n\varphi _n\rightarrow \varphi _n\varphi _n\) provides a generalization in the presence of self-interacting terms of the computation done in Sect. 3.1. The scattering amplitude receives contributions from gauge bosons, dilatons, gravitons in the t and u-channels, \(\varphi _0\) exchange, from the s-channel exchange of a \(\varphi _{2n}\) particle and from a 4-point contact term. These are the diagrams that are presented in Fig. 7 and lead to
with
4.2 Massive dilatons
Let us consider for our illustrative discussion a simple potential for the dilaton in a polynomial expansion of the form
In the \(\varphi _0\varphi _0\rightarrow \varphi _0\varphi _0\) scattering amplitude (4.5), the addition of a dilaton mass gives in the non-relativistic limit
where the limit still needs to be implemented in the dilaton propagators according to its mass. We can thus follow the evolution of \({\mathcal {M}}\) with respect to \(m_\phi \) to better expand it.
For the \(\varphi _n\varphi _n\rightarrow \varphi _n\varphi _n\) case, the scattering amplitude with the massive dilaton reads
Putting all the analysis for both the \(\varphi _0\varphi _0\rightarrow \varphi _0\varphi _0\) and \(\varphi _n\varphi _n\rightarrow \varphi _n\varphi _n\) scattering amplitudes together, we give a brief overview of the results here.
When the mass \(m_\phi \) of the dilaton is less than that of the zero mode, \(m_0\), its mass can be neglected to first order in an expansion, in powers of \(m_\phi \) over the exchanged momentum, and requiring that the self-interactions of a scalar field dominate in \(D+1\) dimensions is sufficient to ensure that the same property is verified by its zero mode in D dimensions; a result that follows from the studies of the previous sections. As soon as the mass of the dilaton is comparable to that of the 0-mode, the massless dilaton approximation is no longer adequate and an appropriate discussion must be made for different denominators involving \(m_\phi \), \(m_0\), \(m_n\) and \(m_{2n}\). The analysis can be done easily but it is cumbersome and not really illuminating. In short, there is no easy way to relate combinations appearing in D dimensions in this case with quantities already constrained, by assumption, in \(D+1\) dimensions.
5 \({\hat{\Phi }}^2 R\) interaction
Let us consider now the effect on the different D-dimensional amplitudes of the presence of a non-minimal coupling to gravity of the form
with \({\hat{R}}\) the Ricci scalar (see for example [15]). We assume here that \({\langle {{\hat{\Phi }}}\rangle } = 0\) as a non-vanishing vev would correspond to a redefinition of the Planck mass and a shift of the canonical fields. After compactification, one gets:
This leads to new three-point couplings. First, using the linear expansion of the metric \(g_{\mu \nu }=\eta _{\mu \nu }+2\kappa h_{\mu \nu }\), the R term gives the new coupling \(\kappa (\partial _\mu \partial _\lambda h^{\mu \lambda }-\Box h^\lambda _{\,\lambda })\left( \varphi _0^2+2\sum _{n=1}^{\infty }\varphi _n\varphi _n^*\right) \) of the graviton to the scalar matter fields. Then, the \(\nabla _\mu \partial ^\mu \phi \) term, that we discard in previous sections as it takes the form of a total derivative, gives an additional three-point vertex between the dilaton and the matter fields and can enter, for example, in the computation of the dilatonic force in the non-relativistic limit. At first order in \(\kappa \), we can write \(\kappa {\nabla _\mu \partial ^\mu \phi }=\kappa {\partial _\mu \partial ^\mu \phi }+\mathcal {\mathcal {O}}(\kappa ^2)\), the Christoffel symbols starting themselves at order \(\kappa \).
The \(\varphi _0\varphi _0\rightarrow \varphi _0\varphi _0\) amplitude resulting from the action (5.2), receives a contribution from the dilaton exchange (see Appendix A for some details on the Feynman rules for two-derivative vertices)
and one from the graviton
Their sum gives
This matches the result one would obtain for the \({\hat{\Phi }}{\hat{\Phi }}\rightarrow {\hat{\Phi }}{\hat{\Phi }}\) scattering in \(D+1\) dimensions.
At this point, we have computed tree-level four point amplitudes where both vertices arise either from minimal or non-minimal couplings to gravity in D+1 dimensions. In order to compute the total \(\varphi _0\varphi _0\rightarrow \varphi _0\varphi _0\) amplitude we need to compute the contribution from “mixed” diagrams involving one minimal and one non-minimal vertices. This mixed gravitational diagrams give in the s-channel
and in the t-channel
while the u channel can be obtained through the replacements \(t \leftrightarrow u \) and \(p_3 \leftrightarrow p_4\). After some simple algebra, their sum reads
The computation of the similar mixed diagrams with dilaton exchange gives
where each channel contributes the same amount.
Summing up all the contributions, the final result for the amplitude is
as it is expected from the higher dimensional Lagrangian. Again, the higher dimensional gravitational contribution is obtained after a cancellation between the effective spin-2 and spin-0 mediators. From the two results obtained above, we see that the direct non-minimal coupling to gravity (5.1) contributes with a constant term in the \(\varphi _0\varphi _0\rightarrow \varphi _0\varphi _0\) amplitude. If one takes the non-minimal coupling into account from the start and modifies the SWGC in D generic dimensions requiring
the same property will be respected by the zero mode \(\varphi _0\) in \(D-1\) dimensions with the replacement of hatted by unhatted quantities \({{\hat{\mu }}^2}, \ldots \rightarrow \mu ^2, \ldots \).
In the \(\varphi _0\varphi _0\rightarrow \varphi _0\varphi _0\) scattering, the four point amplitudes appear as a sum of the three channels s, t, u whose coefficients add-up to a factor \(s+t+u= 4m_0^2\). Therefore, the total amplitude does not increase with the exchanged momentum. This is not always the case as for example in the two examples of the \(\varphi _n\varphi _n\rightarrow \varphi _n\varphi _n\) or \(\varphi _n\varphi _n^*\rightarrow \varphi _n\varphi _n^*\) scattering amplitudes. The computation of the available channels, t and u in the first case, s and t in the second, proceeds as in the \(\varphi _0\) case described above, but these contributions with two or one non minimal vertex do not close the sum \(s+t+u\), as was the case in (5.4) and (5.8).
6 Higher dimensional gauge theory
So far, we have considered gravitational and scalar interactions in the higher dimensional theory. We will discuss now the case with gauge interactions. We consider a charged scalar \({\hat{\Phi }}\) of charge q and mass \({\hat{M}}\) minimally coupled to a U(1) gauge field \({\hat{B}}_M\) with gauge coupling \({\hat{g}}\) in \(D+1\) dimensions
where \({\hat{H}}\) is the field strenght for the gauge field \({\hat{B}}\) and \({\hat{D}}_M\) the \(D+1\) dimensional covariant derivative \({\hat{D}}_M\equiv \partial _M-i{\hat{g}}' q {\hat{B}}_M\), with \({\hat{g}}'\) the gauge coupling. For simplicity, we choose the following periodicities for the fields
where \(q_\Phi \) is a putative charge of \({\hat{\Phi }}\) under an internal symmetry. The compactification of the (kinetic term of the) gauge field gives the lagrangian
where \(h_0\equiv B_{(0) z}\) is a real scalar corresponding to the zero mode of the gauge field \({\hat{B}}_M\) component along the compact dimension z and \(h_n\equiv B_{(n) z}\) are the complex scalars forming the KK tower of the same field. From the above action, each field \(h_n\) is seen to generate a mass for the KK excitations \(B_{(n) \mu }\) of the non-compact components of the gauge field, that are then complex massive vectors, and to behave as the Goldstones in the Higgs mechanism (or in a Stuckelberg mechanism). Note that the relations \(B_{(-n) \mu }=B_{(n) \mu }^*\) and \(h_{-n}=h_n^*\) are valid, although the same cannot be said for the Fourier modes of the complex field \({\hat{\Phi }}\).
The D-dimensional lagrangian obtained from the kinetic and mass term of the scalar field \({\hat{\Phi }}\) reads
where \(g'q\equiv {\hat{g}}' q/\sqrt{2\pi L}\) and when acting on \(\varphi _n\)
from which one can read the charge under the graviphoton. The \(h_0\) term in this expression is a manifestation of the Aharonov–Bohm effect for the Wilson line of \(B_z\), \(\oint _z B_z\).
Here we are interested in comparing the different gravitational and non-gravitational long range classical interactions, which can be obtained from the t-channel amplitudes. The t-channel contribution to the \(\varphi _n(p_1)\varphi _n(p_2)\rightarrow \varphi _n(p_3)\varphi _n(p_4)\) scattering amplitude is
where we have omitted writing the gravitational contribution, to avoid lengthy expressions, only to reinsert it in the next step when we perform the non-relativistic limit. The mass of the nth KK state can be read from the first line of the action in (6.4)
Let us first consider the simplest case where \(q_\Phi ={\bar{h}}_0={\hat{M}}=0\). In the non-relativistic limit, for \(n\ne 0\), the coefficient of \(\frac{1}{t}\) in the t-channel amplitude takes the form
where \(m_n^2\) in this case is simply \(m_n^2=e^{2\sqrt{\frac{D-1}{D-2}}\kappa \phi _0}n^2/L^2\) and the gravitational scattering has been reinserted. The vanishing amplitude results from the (expected) two by two cancellation of interactions for the massive KK modes: namely gravitational vs dilatonic and D-dimensional gauge vs scalar from the (D+1)-direction gauge field component. The \(n=0\) amplitude is different as the zero mode is massless with our specific choice. The non gravitational amplitude reads
Let us now consider the case \(q_\Phi \ne 0\). The zero mode is massive
and the corresponding four-point amplitude is given by (again, we do not include here the gravitational contribution whose expression for generic exchanger momenta is long and not very illuminating)
In the non-relativistic limit, the total amplitude obtained by adding the gravitational contribution to (6.11), cancels. The non-periodicity, which makes the zero mode massive, also generates couplings at \(h_0\) and \(\phi \), whose exchanges cancel, respectively, the gauge and gravitational amplitudes of the zero mode. This is to be expected since integer values of \(q_\Phi \) reshuffle the KK states; what was the zero mode becomes one of the massive modes for which we have seen that the total amplitude disappears. It is immediate to verify that the same is true for generic \(n\ne 0\), \({\mathcal {M}}_n\) remains null, and the same thing happens if one turns on \({\bar{h}}_0\), as can be easily verified.
We can now study the general case. It is immediately verified that, after some algebra, in the non-relativistic limit the scattering amplitude (6.6) simplifies to
where one recognizes in the combination inside the parenthesis the \(D+1\) dimensional corresponding dependence. The \(q_\Phi \) and \({\bar{h}}_0\) dependences cancel out to leave this simple expression only in terms of the higher dimensional mass and charge. We conclude that the requirement that the state in \(D+1\) dimensions feels a repulsive long range force ensures that the KK modes in D dimensions also feel a repulsive long range force.
The mapping of the \(D+1\) dimensional U(1) WGC into the D dimensional form of the conjecture with gauge and scalar fields was discussed in [3] from the requirement of extremal black holes and black p-branes decays, leading to the establishment of the dilatonic WGC, and in [16] for the special case of a five to four dimensional circle compactification retaining only the zero modes. The analysis presented here generalizes, from the standpoint of scattering amplitudes, the connection between these different forms of the conjecture to the case with several gauge and scalar fields with reasonings involving the whole Kaluza–Klein tower.
6.1 Effective potential for \(h_0\)
Finally, we comment on the confrontation of the effective one-loop potential for the Wilson line with the scalar WGC of [6]. The potential is generated by the integration of the KK excitations.Footnote 4 In the case of a circle compactification from five to four dimensions, the potential takes the simple form
where the symbols \(\text {Li}_n\) denote the usual Polylogarithm functions defined as
For the Wilson line to satisfy the Scalar WGC inequality of [6] around a generic background value \({\bar{h}}_0\) (we indicate with \(\eta \) the excitations around it, \(h_0={\bar{h}}_0+\eta \)), one then needs
where x is defined to be \(x\equiv 2\pi g'q {\bar{h}}_0 L\), to be respected for \(m^2_\eta >0\), while the inequality is trivially verified for \(m^2_\eta <0\), but this case is of no interest. In the inequality (6.15), the factor inside the square parenthesis on the right hand side is periodic and reaches a maximal value around \(0.6-0.7\) in the regions of parameters where \(m^2_\eta > 0\). Taken to be approximately an order one, the gravitational sub-dominance is then realized around any background value \({\bar{h}}_0\) ifFootnote 5
which means that the compactification length cannot be parametrically smaller than the Planck’s one as expected.
From (6.3) and (6.4), it is immediate to observe that the self-couplings induced by radiative corrections are not the only ones that can appear in the 4-point function \(\eta \eta \rightarrow \eta \eta \). A first contribution may come from the kinetic term of \(h_0\), coupled to the dilaton as in (6.3). This gives a two derivative vertex that would then induce contributions to the four point function proportional to the scalar product of external momenta (\(p_1\cdot p_2\times p_3\cdot p_4\) in the s-channel, and so on). For the effective four point non relativistic coupling, this only accounts for a shift of the gravitational contribution, the second term in (6.16). In particular, the numerical coefficient 3/2 should be changed with 5 in (6.16) and all the subsequent inequalities.
7 Conclusions
An extra dimension for our space-time was originally introduced to unify gravity with electromagnetism: [8,9,10,11]. From the point of view of a lower dimensional observer, this unification makes the KK modes undergo attractive gravitational plus scalar interactions and repulsive electric interactions with the same intensity. This motivated the use of the KK states interactions in this work to extract the form of the inequalities that appear when one is interested in comparing gravitational interactions to other types of interactions.
Taking into account the scalar interaction due to the presence of a dilaton, the calculation of four-point amplitudes allowed us to find the inequalities of the Dilatonic WGC. Our observations go further, with the extension of the construction to include interactions in the higher dimension, and we have shown how the Scalar WGC is found as well as the behavior of these conjectures under dimensional reduction. Meanwhile, we have also computed a number of scattering amplitudes for the pair production of KK states and have been able to compare the contributions of the different channels for spacetime dimensions \(D \ge 4\).
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and no experimental data.]
Notes
The factor in front of the D’Alambertian operator, \(2\alpha \), corrects the expression sometimes found in the literature, \((D-3)\alpha \). As long as only minimal coupling to gravity is considered, the difference is harmless.
We adopt here this simple notation where \(\varphi _n(p)\), or \({|{\varphi _n(p)}\rangle }\) should not be viewed as the field operator acting on the vacuum but to represent a one-particle state of momentum p.
Here and throughout, s, t and u will denote the Mandelstam variables.
Note that \(\frac{\kappa ^2}{g'^2}=\frac{{\hat{\kappa }}^2}{{\hat{g}}'^2}\), so we can express the bound either in terms of five- or four-dimensional quantities in the same form.
Given here in the covariant gauge, to keep a simple notation.
When using the usual shortcut \(\sum _{\textrm{pol}}\epsilon _\mu (p)\epsilon _\nu (p)=-g_{\mu \nu }\) this simplification cannot be used.
References
C. Vafa, The String landscape and the Swampland. arXiv:hep-th/0509212
N. Arkani-Hamed, L. Motl, A. Nicolis, C. Vafa, The String landscape, black holes and gravity as the weakest force. JHEP 06, 060 (2007). arXiv:hep-th/0601001 [hep-th]
B. Heidenreich, M. Reece, T. Rudelius, Sharpening the weak gravity conjecture with dimensional reduction. JHEP 02, 140 (2016). arXiv:1509.06374 [hep-th]
K. Benakli, C. Branchina, G. Lafforgue-Marmet, Dilatonic (anti-)de Sitter black holes and weak gravity conjecture. JHEP 11, 058 (2021). arXiv:2105.09800 [hep-th]
E. Gonzalo, L.E. Ibanez, A strong scalar weak gravity conjecture and some implications. JHEP 1908, 118 (2019). arXiv:1903.08878 [hep-th]
K. Benakli, C. Branchina, G. Lafforgue-Marmet, Revisiting the scalar weak gravity conjecture. Eur. Phys. J. C 80(8), 742 (2020). arXiv:2004.12476 [hep-th]
E. Gonzalo, L.E. Ibáñez, Pair production and gravity as the weakest force. JHEP 12, 039 (2020). arXiv:2005.07720 [hep-th]
T. Kaluza, Zum Unitätsproblem der Physik. Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys.) 1921, 966–972 (1921). arXiv:1803.08616 [physics.hist-ph]
O. Klein, Quantum theory and five-dimensional theory of relativity (in German and English). Z. Phys. 37, 895–906 (1926)
O. Klein, The atomicity of electricity as a quantum theory law. Nature 118, 516 (1926)
A. Einstein, P. Bergmann, On a generalization of Kaluza’s theory of electricity. Ann. Math. 39, 683–701 (1938)
S.Y. Choi, J.S. Shim, H.S. Song, Factorization of gravitational Compton scattering amplitude in the linearized version of general relativity. Phys. Rev. D 48, 2953–2956 (1993). arXiv:hep-ph/9306250 [hep-ph]
S.Y. Choi, J.S. Shim, H.S. Song, Factorization in graviton interactions. Phys. Rev. D 48, R5465–R5466 (1993). arXiv:hep-ph/9310259 [hep-ph]
B.R. Holstein, Graviton physics. Am. J. Phys. 74, 1002–1011 (2006). arXiv:gr-qc/0607045 [gr-qc]
C.G. Callan Jr., S.R. Coleman, R. Jackiw, A new improved energy—momentum tensor. Ann. Phys. 59, 42–73 (1970)
D. Lust, E. Palti, Scalar fields, hierarchical UV/IR mixing and the weak gravity conjecture. JHEP 02, 040 (2018). arXiv:1709.01790 [hep-th]
I. Antoniadis, K. Benakli, M. Quiros, Finite Higgs mass without supersymmetry. New J. Phys. 3, 20 (2001). arXiv:hep-th/0108005 [hep-th]
I. Antoniadis, K. Benakli, M. Quiros, Radiative symmetry breaking in brane models. Nucl. Phys. B 583, 35–48 (2000). arXiv:hep-ph/0004091 [hep-ph]
I.S. Gerstein, R. Jackiw, S. Weinberg, B.W. Lee, Chiral loops. Phys. Rev. D 3, 2486–2492 (1971)
J. Honerkamp, K. Meetz, Chiral-invariant perturbation theory. Phys. Rev. D 3, 1996–1998 (1971)
Author information
Authors and Affiliations
Corresponding author
Appendices
A Lagrangians with derivative interactions
One subtlety that we wish to address here is related to the nature and the use of derivative interactions in perturbation theory. The perturbative expansion is an expansion of the exponential \(e^{-i\int d^Dx {\mathcal {H}}_I}\) in powers of \({\mathcal {H}}_I\), the interaction hamiltonian in the interaction picture. When the lagrangian presents derivative interactions, one should be careful to correctly construct \({\mathcal {H}}_I\) before announcing the Feynman rules. Interactions containing more than one derivative of fields can generate new genuine additional Feynman rules [19]. The analog of this result was found, in the path integral formalism, in [20]. We illustrate this in two simple examples closely related to the cases studied.
1.1 A.1 Interactions with derivatives of a gauge field
We first present the case of the theory defined by
We have singled out here only the part of interest to us to highlight the interaction between the dilaton \(\phi \) and derivatives of the graviphoton \(A_\mu \). We will work in the usual radiation gauge \(A_0=0, \mathbf {\nabla }\cdot \textbf{A}=0\). Computation of the canonical conjugate momenta give us
The fact that \(\Pi _{A_0}=0\) is, of course, what we should expect in a canonical formalism. The Heisenberg picture hamiltonian is obtained as
The transition to the interaction picture is done making the following replacements:
Some simple algebra finally get us to the interaction picture hamiltonian in the form
Careful construction of the interaction hamiltonian reveals the presence of an additional term to the naive expectation, to the extent that
with the new term sharing the same structure with the one found in the model of [19].
Combining this result with the two derivative propagatorFootnote 6
we finally have the explicit form of the non standard Feynman rules we should consider in the minimally coupled (i.e. with \(\xi =0\)) dimensionally reduced theory. The additional term consists in an infinite series in powers of \(\kappa \phi \) starting at order 2 and defining a vertex with two gauge bosons. As such, it will not enter any of the computations we have performed, but certainly need to be considered, alongside with the propagator corrections, even at tree level, when looking at different physical processes, like \(\phi \phi \rightarrow \gamma \gamma \) and \(\phi \gamma \rightarrow \phi \gamma \) ones.
1.2 A.2 Toy model for the two-derivative interaction of the non-minimal coupling
The second model we present here aims to capture the main properties of the new vertices brought in by the non-minimal coupling to gravity. We explicitly show, with the simplest toy model, that the different additional pieces due to such derivatives cancel each other, allowing the use of naive perturbation theory.
Let us take, for definiteness, the following lagrangian:
where a and b are dimensionless constants. In keeping the parallel with the cases discussed in the text, one should think of \(\phi \) as a massless mediator and \(\varphi \) the matter field. The addition of a mass term for \(\varphi \) does not change the computations.
The conjugate momenta are
and, inverting the relations, we obtain
Following the steps described above, the interaction picture hamiltonian is obtained:
Expanding to second order in \(\kappa \), to match the usual contributions to the \(\varphi \varphi \rightarrow \varphi \varphi \) or \(\phi \phi \rightarrow \varphi \varphi \) amplitudes from (A.8), we get
We recognize, in the first line, the sum \({\mathcal {H}}_{\textrm{free}}-{\mathcal {L}}_I\) that is usually found in perturbation theory with no derivative interactions. The operator in the second line, as well as all the higher orders ones that can be derived from (A.11), are due to the derivative interactions in (A.8). Equation (A.12) shows that, at the level of the interaction picture hamiltonian, we get additional 4-point vertices with respect to the usual ones.
We now check the impact of such additional interactive terms through the explicit computation of the \(\varphi (p_1)\varphi (p_2)\rightarrow \varphi (q_1)\varphi (q_2)\) scattering amplitude. Taking into account the corrections to the scalar propagator (analogous to (A.7)), the usual (\(-{\mathcal {L}}_I\)) interactions give, in each one of the s, t and u channels
where P is the appropriate momentum factor in each channel (\(P=p_1+p_2\), \(P=p_1-p_3\) and \(P=p_1-p_4\), respectively, in s, t and u). After some algebra, the four \(\varphi \) contact term in (A.12) accounts for a contribution
where the notation \(p_{i,0}\) means the zero component of the momentum \(p_i\).
Putting it all together one gets
Using momentum conservation one can show that, again after some algebra, the non covariant pieces cancel leaving the same result one would have guessed using the naive Feynman rules from the lagrangian (A.8) associating the appropriate momentum factor to each derivative:
The type of vertices being the same, this same cancellation happens in the “pair production”-like amplitude \(\phi \phi \rightarrow \varphi \varphi \).
This toy model explicitly shows the cancellation between different non covariant pieces arising in the computation of amplitudes with two derivative vertices and justifies, a posteriori, the use of naive perturbation theory we made in Sect. 5.
B Helicity basis and Mandelstam variables
In the computation of the pair production diagrams, we need to deal with external states polarizations for massless helicity-1 and helicity-2 particles. This is of no concern when we compute the squared amplitude, as it is usually treated by means of the replacements \(\sum _{\textrm{pol}}\epsilon _{\mu }(p)\epsilon ^*_{\nu }(p)\rightarrow -g_{\mu \nu }\) for photon amplitudes and \(\sum _{\textrm{pol}}\epsilon _{\mu \nu }(p)\epsilon ^*_{\rho \sigma }(p)=\sum _{\textrm{pol}}\epsilon _\mu (p)\epsilon _\nu (p)\epsilon ^*_\rho (p)\epsilon ^*_\sigma (p)\rightarrow {\mathcal {P}}_{\mu \nu \rho \sigma }\) for graviton ones. If, on the other hand, we want to consider the amplitude more directly and not its square, we need to choose a basis for the polarizations and the momentum, and perform the calculations within this basis.
For the case of the pair production, the in-going states relevant here are either photons or gravitons, while the outgoing ones are massive particles. We perform here the computations in the center of momentum frame.
Starting from the \(D=4\) case, we write the momenta
and the polarizations
The scalar products appearing in the amplitudes can now be explicitly performed in this particular basis and the results can then be rewritten in terms of the Mandelstam variables using the following relations:
At this point, we need to separate the contributions coming from different helicities. For definiteness, we refer now to the amplitude in (3.11), that we report here for the reader’s convenience
A great simplification comes when we deal more directly with the amplitudes components. We can in fact use the propertyFootnote 7\(\epsilon (p)\cdot p=0\). With our choice of basis, we also have \(\epsilon (p_1)\cdot p_2=\epsilon (p_2)\cdot p_1=0\), so that, for the purposes of the calculation with the helicity method, we can use the following expression for the amplitude
We denote with \({\mathcal {M}}_{\pm \pm }\) the different contributions, with the ± referring to the helicities of the polarization. We have then
where we have introduced a factor \(\gamma _d\) in front of the term arising from the dilaton such that we retrieve the result for our KK theory when \(\gamma _d=1\) and the usual result for a U(1) gauge theory when \(\gamma _d=0\). To compute the total amplitude, we average over the in-going polarizations and obtain in the threshold limit
When \(\gamma _d=0\), the overall numerical factor is 2, while for \(\gamma _d=1\), it is 1/8, matching the results obtained in Sect. 3.2 for \(D=4\). It is immediate to realize that, in the threshold limit, only the \(\epsilon (p_1)\cdot \epsilon (p_2)\) term contributes.
The same method outlined above can be used for any other number of dimensions D, where the gauge bosons have \(D-2\) independent helicity states. For instance, in the \(D=5\) case, the helicity basis can be taken as
For any \(D>4\), the polarization basis can be chosen such that, for both \(p_1\) and \(p_2\), the first two polarizations are the same as in \(D=4\), while the other polarizations are \(\epsilon ^i_1=(0,\dots ,\underbrace{1}_{\text {i+1}},\dots ,0)\) and \(\epsilon ^i_2=(0,\dots ,\underbrace{-1}_{\text {i+1}},\dots ,0)\). For an even number of dimensions, one may chose the basis in an equivalent way as an ensemble of two by two circular polarizations. In \(D=6\) dimensions, for instance, this would give
Of course, the results are independent of the particular choice.
Whatever specific basis one choses, from (B.4) it follows that in the threshold limit, as already observed for the specific case \(D=4\), only the diagonal terms \({\mathcal {M}}_{ii}\) are non zero, and they all give the same contribution
It is then straightforward to extract the value of the amplitude in the threshold limit for D generic dimensions as
This result of course matches that shown in (3.13), that was obtained by means of the usual trick \(\sum _{\textrm{pol}}\epsilon _\mu (p)\epsilon _\nu (p)=-g_{\mu \nu }\). Note also that when the dilaton is put to zero (i.e. when the second contribution in the parenthesis (B.10) is put to wero) we re-obtain the result
The same procedure can now be used to extract the different components of the purely gravitational amplitude of Sect. 3.2.3. The four diagrams contribute in the amount
and
to give (3.27), reported here for simplicity
As in the previous case, it is again easily verified that in the threshold limit only the diagonal \({\mathcal {M}}_{ii}\) terms are non-vanishing and that they all give the same result. In terms of the above amplitude, such non-vanishing contribution is given by the \((\epsilon _1\cdot \epsilon _2)^2\) term that results in
It is now straightforward to obtain, from these considerations, the result for the squared amplitude in D generic dimensions:
which is the result quoted in the text (3.35).
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Benakli, K., Branchina, C. & Lafforgue-Marmet, G. Newton versus Coulomb for Kaluza–Klein modes. Eur. Phys. J. C 83, 184 (2023). https://doi.org/10.1140/epjc/s10052-023-11228-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-11228-0