Abstract
The AdS/Ricci-flat (AdS/RF) correspondence is a map between families of asymptotically locally AdS solutions on a torus and families of asymptotically flat spacetimes on a sphere. The aim of this work is to perturbatively extend this map to general AdS and asymptotically flat solutions. A prime application for such map would be the development of holography for Minkowski spacetime. In this paper we perform a Kaluza–Klein (KK) reduction of AdS on a torus and of Minkowski on a sphere, keeping all massive KK modes. Such computation is interesting on its own, as there are relatively few examples of such explicit KK reductions in the literature. We perform both KK reductions in parallel to illustrate their similarity. In particular, we show how to construct gauge invariant variables, find the field equations they satisfy, and construct a corresponding effective action. We further diagonalize all equations and find their general solution in closed form. Surprisingly, in the limit of large dimension of the compact manifolds (torus and sphere), the AdS/RF correspondence maps individual KK modes from one side to the other. In a sequel of this paper we will discuss how the AdS/RF maps acts on general linear perturbations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The advent of the holographic principle [1, 2], and its precise realization in the form of the AdS/CFT correspondence [3, 4], has provided us with deep insights into the nature of spacetime and gravitational forces. This was enabled by special properties of anti-de Sitter (AdS) gravity, that grant better control on the asymptotic structure of solution to the field equations [5], and allows to develop very effective tools [6]. Notably, we now have a well-developed holographic dictionary that allows us to translate gravitational questions to quantum field theory (QFT) ones and vice versa, a good understanding of AdS black holes, a precise fluid/gravity correspondence, and (in principle) a full, non-pertubative formulation of quantum gravity on AdS in terms of the dual CFT. Gravitational techniques are now commonly applied to tackle field theoretic questions, such as the quark-gluon plasma, strongly interacting condensed matter systems, and quantum information problems (see e.g. [7,8,9] and references therein). Following the inverse path, the dual QFT is currently our best window to investigate fundamental questions such as the emergence of spacetime, causality, and the resolution of singularities.
Such questions are out of our reach when leaving the safe harbour of AdS spacetimes for asymptotically (locally) flat (ALF) spacetimes. The holographic principle is still expected to play a key role, but its formulation for such spacetimes still eludes us despite the existence of general arguments for holography and various attempts to implement it (see [10,11,12,13,14,15,16,17,18,19,20] for a sample of works). On the other hand, and in a somewhat complementary way, other aspects of ALF physics have been developed in great extent over the years. For example, we have much better control of quantum field theory on curved spacetimes when the background spacetime is asymptotically flat. The reason is that general relativistic effects become negligible in the asymptotic regions, and the QFT Hilbert space for initial and final states can be constructed in a familiar way. Hence, one can define an S-matrix relating in and out states. Such a construction is not readily available for asymptotically AdS spacetimes (see e.g. [21]). Moreover, asymptotically flat spacetimes enjoy a large symmetry group, the Bondi, van der Burg, Metzner, Sachs (BMS) group [22, 23]. This asymptotic symmetry has recently resurfaced [24] (see [25] for a review and further references) in relation to gravitational scattering and Weinberg’s soft theorems [26], and as the carrier of the soft hair that has been conjectured to solve the black hole information problem in [27, 28]. The perturbative superstring theory itself can be defined and quantized much more easily on Minkowski spacetime than on an AdS background. Last but not least, asymptotically flat spacetimes benefit from various integrability properties and solution generating techniques (see e.g. [29] for a review), which are not available in the presence of a non-vanishing cosmological constant.
It is therefore clear that if one could construct a bridge between asymptotically flat and asymptotically AdS spacetimes, there would be great gains for both sides, since concepts and tools could be transferred from one to another by crossing over it. The foundation for such a bridge was sketched in [30], in the form of the Anti-de Sitter/Ricci-flat correspondence.
The Anti-de Sitter/Ricci-flat (AdS/RF) correspondence is, at its heart, a simple geometrical map between families of Einstein manifolds. It can be used to map families of solutions of AdS gravity to families of solution of vacuum Einstein gravity, and has therefore the potential to enlighten us upon the formulation of holography on Ricci-flat manifolds by mapping to them the well-known holographic tools developed in the context of AdS/CFT. This line of thought was pursued with success in [31], where holographic boundary conditions and 2-point functions in Minkowski spacetime were obtained from AdS compactified on a torus, and the hydrodynamic regime of asymptotically flat black p-branes and the Rindler fluid [32,33,34,35] were linked to the conformal fluid dynamics described by the AdS fluid/gravity metrics [36].
Mathematically, the AdS/RF map is defined by the following recipe. The starting ingredient is a family of \((d+1)\)-dimensional spacetimes that solves Einstein’s equations with a negative cosmological constant
for any value of d, and consists of a flat \((d-p-1)\)-dimensional torus warped over a \((p+2)\)-dimensional base space. We can always choose coordinates \(y^a\) (with \(a=0, \ldots , p+1\)) on the base space, and coordinates \(\chi ^i\) (with \(i=1,\ldots , d-p-1\)) on the torus, such that its line element takes the form
We can extract from this expression the \((p+2)\)-dimensional metric \(\hat{g}_{ab}(y;d)\) and the scalar field \(\hat{\phi }(y; d)\), where we explicitly indicate that these coefficients may dependent on d. The next step is to define a new \((p+2)\)-dimensional metric \(\tilde{g}_{ab}(y;n)\) and a new scalar field \(\tilde{\phi }(y; n)\), both depending on a new parameter n, as
Finally, we construct a \((n+p+3)\)-dimensional metric by plugging the fields \(\tilde{g}_{ab}(y;n)\) and \(\tilde{\phi }(y;n)\) in the Ansatz
where \(d\Omega ^2_{n+1}\) is the unit metric of the round \((n+1)\)-sphere \({\mathcal S}^{n+1}\). Then the metric associated to the line element (1.4) is Ricci-flat (RF), i.e. it solves Einstein’s equations in vacuum. The map works in the other direction as well: starting from a family of \((n+p+3)\)-dimensional Ricci-flat manifolds that have a round sphere \({\mathcal S}^{n+1}\) warped over a \((p+2)\)-dimensional base, one casts their metrics in the form (1.4), reads off the metric \(\tilde{g}_{ab}(y;n)\) and the scalar field \(\tilde{\phi }(y;n)\), performs the substitution \(n\rightarrow -d\) and replaces the outcome in the AdS Ansatz (1.2). Then, the resulting family of metrics solves Einstein’s equations with the cosmological constant (1.1) for all values of d. This is illustrated by the diagram in Fig. 1. The reason why the map works is that the (consistent) diagonal dimensional reduction of an asymptotically AdS spacetime on a torus and that of a Ricci-flat spacetime on sphere down to \(p\,+\,2\) dimensions yields the same lower dimensional equations of motion, provided one matches the cosmological radius of AdS to the radius of the sphere and analytically continues d to \(-n\).Footnote 1 The main message is that this map creates a first connection between AdS and RF manifolds, and we intend with our analysis to see up to what extend this connection can be exploited to bridge AdS physics to asymptotically flat spacetimes and back.
A major limitation of this approach stems from the AdS/RF map requirement that the AdS geometry has a flat torus, and correspondingly the Ricci-flat manifold contains a round sphere. This restricts the physical processes to which it can be applied. For example, while modes propagating on the extended directions of AdS black branes can be mapped to transverse modes of the corresponding Schwarzschild black branes,Footnote 2 the correspondence does not capture modes that deform the internal torus or sphere. This is a hurdle when studying for instance the Schwarzschild black hole: by Birkhoff’s theorem we are freezing all the dynamics, and not much is left to be mapped! To understand holographically such modes by using similar methods, one has to extend the correspondence to allow for at least some extra modes living on these compact manifolds to be mapped into each other. A number of generalizations and extensions of the correspondence were studied in [39,40,41].
The task we undertake in this article is to find out whether such an extension of the original formulation of the AdS/RF correspondence is possible. To simplify the analysis, we will switch to a perturbative approach and restrict it to linear perturbations of the simplest occurrence of the map: that relating Minkowski spacetime and the Poincaré patch of AdS spacetime. It will be easier to crack the map for modes deforming the compact manifold in such a simplified setting. Moreover, the study of these linear perturbations is the first, necessary step towards translating the AdS/CFT dictionary to AF spacetimes, since these fluctuations of the metric determine the correlation functions of the dual CFT operators [42].
To be more precise, recall that the AdS/RF correspondence maps \(AdS_{d+1}\) on the torus \({\mathcal T}^{d-p-1}\)
to \(n+p+3\) Minkowski spacetime,
where we have decomposed the base space coordinates as \(y^a=\{x^\mu ,r\}\).Footnote 3 Now, we add on both sides a general perturbation that depends on all coordinates, including the toroidal coordinates on AdS side and the spherical coordinates on the Minkowski side. The question we would like to answer is whether we can extend the AdS/RF map to apply to these perturbations.
To this end we will perform the dimensional reduction described above, but keeping this time the full towers of Kaluza–Klein (KK) modes. We will see that the resulting zero-modes are mapped into each other – this simply reflects the original AdS/RF map. We will however be more interested in the higher, massive modes, that deform the internal torus and sphere respectively. Naively there should be no way to map the single modes into each other: after all we are comparing KK modes on a torus to KK modes on a sphere! Surprisingly, in the limit the dimension of the compact space tends to infinity there is one-to-one correspondence between the modes.
This paper is organised as follows. In the remainder of this section we discuss our conventions. In Sect. 2 we set up the two Kaluza–Klein reductions: we explain the KK decomposition of the perturbations and construct gauge invariant variables. Then in Sect. 3 we insert the KK decomposition in the field equations and derive the equations that the gauge invariant combinations satisfy. These equations are shown to follow from an action in Sect. 4. In Sect. 5 we decouple the equations, and we completely solve them in Sect. 6. In Sect. 7 we consider the large n and d limit and show that the AdS/RF correspondence maps individual modes to each other. We conclude in Sect. 8 with a discussion of our results. The paper contains two appendices: in “Appendix A” we discuss how the AdS/RF map acts on the zero modes and in “Appendix B” we provide a summary of the mathematical results on the harmonic decomposition of the sphere and torus.
Notation and conventions On the RF side of the correspondence we consider \(D=n+p+3\) dimensional spacetimes on which define coordinates \(X^A\), and use early capital latin letters A, B, ... for tensor indices. We will use a bar for all quantities defined in these spacetimes, so the metric is \(\bar{g}_{AB}\), the associated covariant derivative \(\bar{\nabla }_A\), and the d’Alembertian \(\bar{\Box }\).
We denote collectively \(X^M\) the \(d+1\) coordinates on the AdS side of the correspondence, with the late capital latin letters M, N, ... to mark tensor indices. Quantities defined on this manifold are denoted with a check sign, thus the metric is \(\check{g}_{MN}\), the corresponding covariant derivative \(\check{\nabla }_{M}\) and the d’Alembertian \(\check{\Box }\).
These spacetimes undergo a KK reduction down to \(p+2\) dimensions, where we define coordinates \(y^a\), with early latin indices a, b, .... For the backgrounds we are interested in, these lower-dimensional manifolds are flat, and we define on them a Minkowski metric \(\eta _{ab}\), the partial derivative \(\partial _a\), and the flat d’Alembertian \(\Box =\eta ^{ab}{\partial }_a{\partial }_b\). These coordinates are further decomposed as \(y^a=\{x^\mu ,r\}\), with a holographic coordinate r, and \(p+1\) boundary (or brane) coordinates \(x^\mu \), with greek indices \(\mu \), \(\nu \), .... On this boundary the induced metric is the Minkowski metric \(\eta _{\mu \nu }\).
RF spacetimes are compactified over a \((n+1)\)-sphere \({\mathcal S}^{n+1}\), on which we define coordinates \(\theta ^i\) with indices i, j, ... and its unit round metric \(\sigma _{ij}\). The covariant derivative operator on this sphere is given by \(\mathcal D_i\), and the Laplace operator by \(\Box _\theta \). By convention, we raise and lower the sphere indices i, j, ...using the sphere metric \(\sigma _{ij}\) and its inverse \(\sigma ^{ij}\), with \(\sigma _{ij}\sigma ^{jk}=\delta _i{}^k\).
Similarly, the AdS spacetimes are compactified over a \((d-p-1)\)-dimensional torus \({\mathcal T}^{d-p-1}\), with coordinates \(\chi ^i\) and indices i, j, ..., that should be easily distinguished from the sphere indices by the context. The coordinates are identified with period \(\tau \) that sets the size of the torus, \(\chi _i\sim \chi _i+\tau \). Finally, on \({\mathcal T}^{d-p-1}\), we have the flat metric \(\delta _{ij}\), and the partial derivatives \({\partial }_i\).
2 Kaluza–Klein reductions
Our aim is to investigate whether it is possible to perturbatively unfreeze the compact manifolds in the AdS/RF map, i.e. we will start with an AdS/RF pair and ask whether we can map across perturbations that depend on the compact manifolds. We will discuss this in the simplest case where the pair is AdS on a torus/Minkowski on a sphere. To address this issue, we first need to analyze what are the possible perturbations. Thus, to start with, we need to perform a full KK reduction of vacuum Einstein gravity on a sphere, and a full KK reduction of AdS gravity on a torus.
To this end, we will first decompose the spacetime fields according to their transformation properties under diffeomorphisms of the compact spaces, and then expand them further into harmonics of the sphere and of the torus. We will then construct gauge invariant variables to make the KK reduction independent of any choice of gauge fixing. This can be done systematically, using the gauge invariant KK reduction technique developed in [44]. Armed with these variables, we can finally find the field equations that these KK modes must verify, in both reductions. We will see that it is possible to decouple and solve all equations. Discussions of such complete KK reductions are rare in the literature, see [45] for such an example and [46] for a review. As the techniques discussed here may be useful in different contexts, an effort was made to present a complete and self-contained discussion.
Vacuum Einstein gravity and deformations of Minkowski spacetime On the one side of the correspondence we have vacuum Einstein gravity in \(n+p+3\) dimensions, by which we simply mean General Relativity with no cosmological constant nor external matter. The equations of motion are \(\bar{R}_{AB}=0\), so that the solutions are Ricci-flat manifolds. Its vacuum is Minkowski spacetime whose metric, in coordinate adapted to the Ansatz (1.4), is
Here \(\eta _{\mu \nu }\) is the \((p+1)\)-dimensional Minkowski metric, and \(\sigma _{ij}\) is the unit metric on the round \({\mathcal S}^{n+1}\). Upon reduction on the sphere, we are left with a \((p+2)\)-dimensional theory with coordinates \(y^a=\{x^\mu ,r\}\), and with its indices a, b, ... being raised and lowered by convention with the Minkowski metric \(\eta _{ab}\). Perturbing the background metric \(\bar{g}_{AB}\) with a small perturbation \(h_{AB}\), we find that the resulting metric \(\bar{g}+h\) solves the original field equations to first order in \(h_{AB}\) if the perturbation solves the linearised Einstein equations
where | indicates the covariant derivative \(\bar{\nabla }_A\) compatible with the background metric \(\bar{g}\).
AdS gravity and deformations of AdS spacetime On the other side of the correspondence we have AdS gravity in \(d+1\) dimensions, by which we mean General Relativity in presence of the negative cosmological constant (1.1) and no external matter fields. The field equations are thus \(\check{G}_{MN}+\Lambda \check{g}_{MN}=0\). The vacuum solution in this case is given by AdS spacetime whose metric, in Poincaré coordinates, is given by
Here r is the holographic radial coordinate of the Poincaré patch, and \(z^\alpha \) are the coordinates of its d-dimensional conformal boundary with Minkowski metric \(\eta _{\alpha \beta }\). To adapt this metric to Ansatz (1.2), we further single out \(d-p-1\) spacelike directions along the boundary, and split the coordinates as \(z^\alpha =\{x^\mu ,\chi ^i\}\),
The \(\chi ^i\) coordinates are compactified on a torus \({\mathcal T}^{d-p-1}\), with flat metric \(\delta _{ij}\). The remaining \(p+2\) coordinates \(y^a=\{r,x^\mu \}\) describe again the theory obtained after dimensionally reducing, this time over the torus. The corresponding indices a, b, ... are once again raised and lowered by convention with the Minkowski metric \(\eta _{ab}\).
For the perturbed metric \(\check{g}+h\) to satisfy the AdS gravity field equations at linear order in the small perturbation \(h_{MN}\), the latter must solve the linearized Einstein equations
where the extra term comes from the cosmological constant, and \(\delta R_{MN}\) is given by (2.2) with the background \(\bar{g}\) (and corresponding covariant derivatives) replaced by \(\check{g}\).
AdS/RF correspondence for perturbations respecting the original Ansätze Let us pause before performing the full KK reduction to consider how the AdS/RF map acts on these perturbed solutions. When the perturbations respect the Ansätze (1.2) and (1.4), the map goes through in a straightforward way, and it is easy to see how the various components get mapped into one another. This is done in “Appendix A”. From the KK perspective, these are the zero modes, that survive when we freeze the internal manifolds.
We are instead interested in the fate of the massive KK modes, the ones that pull the metric away from Ansätze (1.2) and (1.4), and appear as soon as the internal manifolds are unfrozen. On these modes, we cannot directly apply the original AdS/RF map. Instead, we will perform a full KK reduction over the internal manifold on both sides of the correspondence, and then compare them to find out if the resulting modes are related in any way.
2.1 Harmonic decomposition of the fields
In order to perform the KK reductions, we first decompose the fields in scalar, vector and tensor components with respect to the reduced manifold, and expand them in harmonics of the compactification space. Thus, the perturbation of the Minkowski spacetime is expanded in spherical harmonics, while the expansion of the perturbation of AdS is simply a Fourier expansion.
Mode decomposition on \({\mathcal S}^{n+1}\) We can use the spherical symmetry of the metric Ansatz (1.4) to decompose the metric perturbation \(h_{AB}(y^a,\theta ^i)\) of Minkowski into scalar \(h_{ab}\), vectorial \(h_{ai}\), and tensorial \(h_{ij}\) components under the rotation group \(\mathsf {SO}(n+2)\). We further decompose the latter into a symmetric traceless part \(h_{(ij)}\) and a trace part \(h_i{}^i\). We then expand all these quantities into scalar spherical harmonics \(\mathbb {S}^{I_\mathsf {s}}(\theta )\), vector harmonics \(\mathbb {V}^{I_\mathsf {v}}_i(\theta )\) and tensorial harmonics \(\mathbb {T}^{I_\mathsf {t}}_{(ij)}(\theta )\). The latter form a complete set of eigenfunctions of the Laplace operator on the \((n+1)\)-sphere, with eigenvalues \(\Lambda ^{I_\mathsf {s}}\), \(\Lambda ^{I_\mathsf {v}}\), and \(\Lambda ^{I_\mathsf {t}}\) respectively. Their definition, as well as some of their properties, can be found in “Appendix B.1”. The resulting decomposition of the metric perturbation reads
where \({\mathcal D}_i\) are covariant derivatives compatible with the unit metric \(\sigma _{ij}\) on \({\mathcal S}^{n+1}\), and we are summing over repeated indices \({I_\mathsf {s}}\), \({I_\mathsf {v}}\), and \({I_\mathsf {t}}\) that label the (scalar, vectorial, and tensorial respectively) representations of \(\mathsf {SO}(n+2)\). In the following, we will omit the summation signs and assume Einstein’s convention for summing over repeated indices. Also, we will leave the coordinate dependence in fields and harmonics implicit. The metric perturbation is hence decomposed in the fieldsFootnote 4 \(h^{I_\mathsf {s}}_{ab}\), \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\), \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}\), \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\), \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\), \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\), and \(\pi ^{I_\mathsf {s}}\) that depend on the coordinates \((x^\mu ,r)\). The overall factors of \(r^2\) in Eqs. (2.7)–(2.9) ensure that these fields transform covariantly in the reduced theory. From the point of view of the reduced theory, \(h^{I_\mathsf {s}}_{ab}\) are tensor perturbations (KK gravitons), \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\), \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}\) are vector perturbations (KK vectors) and \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\), \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\), \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\), \(\pi ^{I_\mathsf {s}}\) are scalar perturbations. When referring to scalar/vector/tensor modes, we will mean that from the perspective of the \((p+2)\)-dimensional theory. In addition, we use parentheses to indicate symmetric traceless combinations on the tangent space to the sphere,
so that the full tensorial part of the perturbation is given by
Finally, for convenience, we also define \(h^{I_s}\) as the trace of the KK gravitons,
As last note, recall that \(\mathbb {S}^{I_\mathsf {s}}\) is a constant for \(l=0\), \(\mathbb {V}^{I_\mathsf {v}}_a\) is defined for \(l\ge 1\) only, and \(\mathbb {T}^{I_\mathsf {t}}_{ij}\) is defined for \(l\ge 2\) only. As a consequence, the coefficients \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\), \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}\), and \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\) appear in the expansion for \(l\ge 1\) only, and similarly the tensor mode \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\) is present for \(l\ge 2\) only. Furthermore, as the \(l=1\) vector harmonics are the Killing vectors of \({\mathcal S}^{n+1}\), \({\mathcal D}_{(i}\mathbb V^0_{j)}=0\) and the coefficients \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\) exist only for \(l \ge 2\).
Mode decomposition on \({\mathcal T}^{d-p-1}\) The mode decomposition on the torus is essentially Fourier expansion. However, we will formulate the problem in a way that is close to what is done in the case of the sphere. We decompose the generic metric perturbation \(h_{MN}(y^a,\chi ^i)\) of AdS into scalar \(h_{ab}\), vector \(h_{ai}\), and tensor \(h_{ij}\) componentsFootnote 5 with respect of the group of isometries of the torus \({\mathcal T}^{d-p-1}\). We also split the tensor component \(h_{ij}\) into a symmetric traceless part \(h_{(ij)}\) and a trace part \(h_i{}^i\). Then, the resulting components are further expanded in Fourier (harmonic) modes on that torus,
The Fourier basis \(\{\mathbb S^{\mathbf {m}_\mathsf {s}}(\chi ),\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_i(\chi ),\mathbb T^{(k,l,{\mathbf {m}_\mathsf {t}})}_{(ij)}(\chi )\}\) is described in “Appendix B.2” together with some of its properties that we will use later. In the following, we will assume Einstein’s convention for summing over the repeated indices \({\mathbf {m}_\mathsf {s}}\), \((k, {\mathbf {m}_\mathsf {v}})\), and \((k,l,{\mathbf {m}_\mathsf {t}})\) that label the representations of the torus isometry group. Here \({\mathbf {m}_\mathsf {s}}\), \({\mathbf {m}_\mathsf {v}}\), and \({\mathbf {m}_\mathsf {t}}\) are the wave number vectors, and the Fourier modes are eigenfunctions of the Laplace operator on the torus with eigenvalues \(-\,{\mathbf {m}^2_\mathsf {s}}\), \(-\,{\mathbf {m}^2_\mathsf {v}}\), and \(-\,{\mathbf {m}^2_\mathsf {t}}\) respectively. The metric perturbation of AdS is hence decomposed in the fields \(h^{\mathbf {m}_\mathsf {s}}_{ab}\) (KK gravitons), \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\) and \(C^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\) (KK vectors), \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\), \(\psi ^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {v}}\), \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\), and \(\varpi ^{\mathbf {m}_\mathsf {s}}\) (scalars) that depend on the coordinates \(y^a\) only. The overall factors of \(\ell ^2/r^2\) in the definitions (2.13)–(2.16) ensure that these fields transform covariantly in the reduced theory. When referring to scalar/vector/tensor modes, we will mean that from the perspective of the \((p+2)\)-dimensional theory. In addition, we have used parentheses to indicate symmetric traceless combinations on the tangent space to the torus,
The full tensorial part of the perturbation is then given by
Finally, for convenience, we also define \(h^{{\mathbf {m}_\mathsf {s}}}\) as the trace of the KK gravitons,
Since the eigenmodes are constant when their eigenvalue \(-{\mathbf {m}^2_\mathsf {s}}\) vanishes, their derivatives vanish. Therefore the coefficients \(C^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\) and \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\) appear in the expansion when \({\mathbf {m}^2_\mathsf {s}}\ne 0\) only, and \(\psi ^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {v}}\) is present only if \({\mathbf {m}^2_\mathsf {v}}\ne 0\).
2.2 Gauge invariant variables
Not all the fluctuations are independent, as some modes are diffeomorphic to each other or to the background solution. Indeed, under a change of coordinates
the linearized perturbations transform asFootnote 6
where \({\mathcal D}_A\) is the covariant derivative of the background metric. An analogous formula describes the change \(\delta h_{MN}\) in the metric fluctuation of AdS spacetime. One could at this point fix a gauge and work in it, but that would be inconvenient when using the results on solutions that are not written in that gauge. We would rather eliminate this ambiguity, and we will therefore work using gauge invariant variables, following [44] where a systematic way to define them was presented. We first decompose the vector \(\xi ^A\) generating the diffeomorphism into its scalar components \(\xi ^a\) and its vector components \(\xi ^i\) with respect to the isometry group of the relevant compactification manifold, and expand them in harmonics. Then we calculate how the perturbation modes vary under such diffeomorphisms. The crucial observation is that one can build linear combinations of the perturbation modes (and their derivatives) that are pure gauge, and whose variation under the diffeomorphism yields precisely the components of \(\xi \). They can be used to compensate for the variations of the metric perturbation under diffeomorphisms, and thus construct gauge invariant variable. Let us now see in more detail how that works.
Gauge invariant variables at linear order for fluctuations of Minkowski Expand the diffeomorphism generator \(\xi ^A=\{\xi ^a, \xi ^i \}\) in spherical harmonics,
It is easy to check that the metric perturbations varies, to linear order, according to
We see that \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\) is invariant under this transformation. On the other hand, \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\) and \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\) are pure gauge field, and they can be complemented by an additional pure gauge field \(\tilde{B}^{I_\mathsf {s}}_{\mathsf {(s)}a}\) given by
and transforming under diffeomorphisms according to \(\delta \tilde{B}^{I_\mathsf {s}}_{\mathsf {(s)}a}=\xi ^{I_\mathsf {s}}_a\). Armed with them, we can compensate for the variations in the remaining fields and define the diffeomorphism invariant quantities \(\hat{h}^{I_\mathsf {s}}_{ab}\), \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\), and \(\hat{\pi }^{I_\mathsf {s}}\) as
It is straightforward to check that the hatted fields \(\hat{h}^{I_\mathsf {s}}_{ab}\), \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\), \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\), and \(\hat{\pi }^{I_\mathsf {s}}\) account for all the physical degrees of freedom of the metric perturbation, and that they are not affected by diffeomorphisms,
Note however that, as explained in Sect. 2.1, the modes \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\), \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}\), and \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\) appear in the expansion in spherical harmonic for \(l\ge 1\) only, and the modes \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\) and \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\) for \(l\ge 2\) only. As a consequence \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\) is only defined for \(l\ge 2\) and we have to work with the unhatted variable \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\) when \(l=1\). The latter field transforms nevertheless as a gauge field from the perspective of the \((p+2)\)-dimensional theory,
Actually, these gauge fields are the \(SO(n+2)\) gauge fields related to the isometry of the sphere \({\mathcal S}^{n+1}\), but here we only see the linear part of the gauge invariance.
Similarly, \(\tilde{B}^{I_\mathsf {s}}_{\mathsf {(s)}a}\) can only be defined for \(l\ge 1\), and one has to work with the unhatted \(h_{ab}^{I_\mathsf {s}}\) and \(\pi ^{I_\mathsf {s}}\) fields when \(l=0\). Specializing to these cases, these transform as
The \(\pi ^0\) perturbation just amounts to a redefinition of the radial coordinate and may be set to zero by a radial diffeomorphism, and \(h_{ab}^0\) transforms as a metric, as it should.
Gauge invariant variables at linear order for fluctuations of AdS The same approach can be applied to perturbations of the AdS metric. Consider the diffeomorphism \(\delta X^M\equiv X^{M'}-X^M=-\xi ^M\) generated by the vector field \(\xi ^M\). Its Fourier decomposition on \({\mathcal T}^{d-p-1}\) is
It is convenient at this point to fully exploit the Poincaré symmetry of the background metric (2.3), and combine, for the purpose of this calculation, the coordinates into \(\zeta ^m=\{r,z^\alpha \}\equiv \{r, x^\mu , \chi ^i\}\equiv \{y^a, \chi ^i\} \) so that the background metric becomes \(ds_\Lambda ^2=(\ell ^2/r^2)\eta _{mn}\,d\zeta ^md\zeta ^n\) and we can use the \((d+1)\)-dimensional Minkowski metric \(\eta _{mn}\) to raise and lower indices. Then the variation (2.21) of the metric perturbation assumes the compact form
from which we can read off how the modes change under this transformation,
Again, we find that the scalar mode \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\) is gauge invariant, while the modes \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\) and \(\psi ^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {v}}\) are pure gauge. The remaining gauge degrees of freedom are encoded in the field \(\tilde{C}^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\),
that transforms under diffeomorphisms as \(\delta \tilde{C}^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}=\xi ^{\mathbf {m}_\mathsf {s}}_a\). As before, we use these pure gauge fields to compensate for the variations of the remaining modes by defining the gauge invariant fields \(\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}\), \(\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), and \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\),
Supplementing these with the scalar mode \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\), we obtain the set of gauge invariant variables \(\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}\), \(\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\), and \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\) that describe metric perturbations of AdS,
As explained earlier, the coefficients \(C^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\), \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\), and \(\psi ^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {v}}\) appear in the Fourier expansion only when the corresponding eigenvalue is non-vanishing. As a consequence \(\tilde{C}^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\) (and the hatted fields) can be defined for \({\mathbf {m}^2_\mathsf {s}}\ne 0\) only, and one has to work with the unhatted fields \(h_{ab}^{\mathbf {m}_\mathsf {s}}\), \(\varpi ^{\mathbf {m}_\mathsf {s}}\), and \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\) (in addition to \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\)) when dealing with zero modes. Restricting to zero modes the gauge transformations read,
where \({\mathcal D}_a\) is the AdS covariant derivative. We will see later on that \(C_{(\mathsf {v})a}^{(k,0)}\) satisfies Maxwell equations in AdS. These are linearized modes corresponding to the \(d-p-1\) KK vectors (corresponding to an off-diagonal reduction) that one may turn on when we Kaluza–Klein reduce over a torus. The \(\varpi ^0\) perturbation just amounts to a redefinition of the radial coordinate and may set to zero by a radial diffeomorphism, and \(h_{ab}^0\) transforms as a metric, as it should.
A note on the De Donder–Lorentz gauge To perform the Kaluza–Klein reduction it is common to fix the gauge by imposing the De Donder–Lorentz (DDL) gauge fixing condition on the perturbations,
In the case of the dimensional reduction of Einstein vacuum gravity on a sphere, this gauge condition kills the components \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}\), \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\), and \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\), leaving us with the simpler decomposition
Similarly, when reducing AdS gravity on a torus, the DDL condition kills the components \(C^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\), \(\psi ^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {v}}\), and \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\), so that
One could thus work directly in the De Donder–Lorentz gauge and then, at the end of the computation, relax it by adding a hat to all quantities in order to obtain the expressions for the gauge invariant quantities. We will however not impose this gauge, but rather work with gauge invariant perturbations, as the cancellation of all gauge dependence is a useful consistency check.
3 Equation of motion for Kaluza–Klein modes
In this section we derive the field equations that the Kaluza–Klein modes satisfy by substituting the KK expansion in the linearized field equations.
3.1 Perturbations of Minkowski reduced on a sphere
We first decompose the linearized field Eq. (2.2) into their scalar ab, vector ai, and tensor ij components under the rotation group of the sphere. After evaluating all covariant derivatives on the background metric (2.1), one obtains
Next, we project these equations on our basis of spherical harmonics of \({\mathcal S}^{n+1}\) and rewrite all fields in terms of the hatted, gauge invariant fields. The scalar equation becomes simply
The projection of the vector components gives
and finally the projection of the tensor components yields
As expected, all gauge dependence cancels out.
Special cases When \(l=0\), \(\mathbb {S}^{I_\mathsf {s}}\) is constant, and its derivatives vanish. Hence, the perturbations that respect the \({\mathcal S}^{n+1}\) are described by the fields \(h_{ab}^{l=0}\) and \(\pi ^{l=0}\). These fields verify the two equations \(\left. E^{(0)}_{ab}\right| _{\mathbb {S}^{I_\mathsf {s}}}=0\) and \(\left. E^{(0)}_{ij}\right| _{\sigma _{ij}\mathbb {S}^{I_\mathsf {s}}}=0\) with all hats dropped,
The other field equations, such as the linear relation between the scalars \(\hat{h}^{I_\mathsf {s}}\) and \(\hat{\pi }^{I_\mathsf {s}}\), only hold for \(l>0\).
When \(l=1\), \(\mathbb {V}^{I_\mathsf {v}}_i\) is a Killing vector and \({\mathcal D}_{(i} \mathbb {V}^{I_\mathsf {v}}_{j)}=0\), and the modes \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\) do not exist. In this case we get (3.5) but with \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\) replaced by \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\) and \(\Lambda ^{I_\mathsf {v}}=-n\). Defining the field strengths
associated to the \(l=1\) vectors \(B^{(l=1)}_{(\mathsf {v})a}\), Eq. (3.5), for \(l=1\), takes the form,
and this equation is manifestly gauge invariant under
Independent equations There are linear differential relations between the field equations for these modes,
Therefore only \(\left. E_{ab}^{(0)}\right| _{\mathbb {S}^{I_\mathsf {s}}}=0\) and \(\left. E_{ij}^{(0)}\right| _{\sigma _{ij}\mathbb {S}^{I_\mathsf {s}}}=0\) are independent field equations; the other equations, \(\left. E_{ai}^{(0)}\right| _{{\mathcal D}_i\mathbb {S}^{I_\mathsf {s}}}=0\) and \(\left. E_{ij}^{(0)}\right| _{{\mathcal D}_{(i}{\mathcal D}_{j)}\mathbb {S}^{I_\mathsf {s}}}=0\), can be deduced from them. Note however that the latter are obtained with a \(\Lambda ^{I_\mathsf {s}}\) prefactor; this was expected, as these equations hold for the \(\Lambda ^{I_\mathsf {s}}\ne 0\) modes only. The fact that there is linear dependence between the field equations is due to gauge invariance: the fields \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}, \phi ^{I_\mathsf {v}}_{\mathsf {v}}\) and \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\) are pure gauge. This will become obvious in the Lagrangian analysis in Sect. 4.
3.2 Perturbations of AdS reduced on a torus
Since the Poincaré metric is conformal to the Minkowski metric, it is quicker to evaluate the linearized Eq. (2.5) for a small metric perturbation introducing once more the coordinates \(\zeta ^m=\{r,z^\alpha \}=\{r, \{x^\mu , \chi ^i\}\}\) and working with the background metric \(ds_\Lambda ^2=(\ell ^2/r^2)\eta _{mn}\,d\zeta ^md\zeta ^n\), using the \((d+1)\)-dimensional Minkowski metric \(\eta _{mn}\) to raise and lower indices. The resulting equations can be written as \(E^{(\Lambda )}_{mn}=0\), where
Decomposing the \(\zeta ^m\) coordinates in the holographic radial coordinate r and boundary coordinates \(z^\alpha \) – in which the background metric assumes the form (2.3) – the linearized field equations become,
Since the metric \(\eta _{\alpha \beta }\) is flat, it is trivial to further decompose these coordinates into boundary coordinates \(x^\mu \) and torus coordinates \(\chi ^i\), and then combine them with the radial coordinate r to form \(y^a=\{r, x^\mu \}\) as usual. Next, we project these equations on the Fourier basis of the torus \({\mathcal T}^{d-p-1}\), and rewrite all fields in terms of the hatted, gauge invariant fields. The scalar equation becomes simply
The projection on the vector modes gives
and finally the projection on the tensor modes yields
Again, the equations of motion are manifestly gauge invariant.
Special cases When \({\mathbf {m}_\mathsf {s}}=0\), \(\mathbb S^{\mathbf {m}_\mathsf {s}}\) is constant, and its derivatives vanish. Hence, the perturbations that respect the \({\mathcal T}^{d-p-1}\) are given by \(h_{ab}^{{\mathbf {m}_\mathsf {s}}=0}\) and \(\varpi ^{{\mathbf {m}_\mathsf {s}}=0}\), that verify the two equations \(\left. E^{(\Lambda )}_{ab}\right| _{\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) and \(\left. E^{(\Lambda )}_{ij}\right| _{\delta _{ij}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) with the hats dropped,
The other field equations, such as the linear relation between the scalars \(\hat{h}^{\mathbf {m}_\mathsf {s}}\) and \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\), only hold for \({\mathbf {m}^2_\mathsf {s}}>0\). This is analogous to what happens for Minkowski perturbations.
When \({\mathbf {m}_\mathsf {v}}=0\), \(\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_i\) is a constant: we need to work with the unhatted variable \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), and (3.26) does not hold. Defining the associated field strength
Equation (3.23) becomes
which is manifestly gauge invariant under \(\delta {C}^{(k,0)}_{(\mathsf {v})a}= {\partial }_a \xi ^{(k,0)}\).
Independent equations There are linear differential relations between the field equations for the scalar modes,
Therefore only \(\left. E_{ab}^{(\Lambda )}\right| _{\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) and \(\left. E_{ij}^{(\Lambda )}\right| _{\delta _{ij}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) are independent field equations; the other equations, \(\left. E_{ij}^{(\Lambda )}\right| _{{\partial }_{i}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) and \(\left. E_{ij}^{(\Lambda )}\right| _{{\partial }_{(i}{\partial }_{j)}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\), can be deduced from them. Note however that they are obtained with \({\mathbf {m}^2_\mathsf {s}}\) prefactors; this was expected, as the latter equations hold for the \({\mathbf {m}^2_\mathsf {s}}\ne 0\) modes only. Again, these extra equations are a consequence of the gauge freedom that allows to choose arbitrary fields \(C^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\) and \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\). This will become obvious in the Lagrangian analysis of next section.
4 Quadratic action for the perturbations
We start with the Einstein-Hilbert action in presence of a cosmological constant,
We consider perturbations \(h_{AB}\) on top of a background \(\check{g}_{AB}\) solving the field equations, \(g_{AB}=\check{g}_{AB}+h_{AB}\), and expand the action up to quadratic order in the perturbation. The inverse metric is given to this order by
where we use the background metric \(\check{g}_{AB}\) to raise/lower indices. Expanding the measure we obtain,
while the Ricci tensor can be expanded as
with \(\check{R}_{AB}\) the Ricci tensor of the background spacetime and its linear and quadratic variations given respectively by [44]
where \(\nabla _A\) is the covariant derivative associated to the background metric \(\bar{g}_{AB}\), and we have defined
Then, the action at quadratic order can be written as
This action can be rewritten in terms of the perturbation \(h_{AB}\) using Eqs. (4.5)–(4.7), and after a few integration by parts simplifies to
The result for quadratic expansion in the case of zero cosmological constant can be obtained from (4.9) by setting \(\Lambda =0\) and replacing \(\check{g}\) by \(\bar{g}\):
4.1 Quadratic action for the perturbations of Minkowski
Let us start by writing down the quadratic action (4.10) for Minkowski perturbations respecting the symmetries of the sphere. For such perturbations, we take all fields to be independent of the coordinates on the sphere and set
These perturbations will be discussed in “Appendix A”. To avoid clutter we drop the index 0 from \(h^0_{ab}\) (and \(h^0_{(ab)}, H^0\)). Then the quadratic action (4.10) reduces to,
Here we performed the trivial integration on the \({\mathcal S}^{n+1}\), and an integration by part to get rid of the \(\pi {\partial }_r\pi \) term. It is easy to check that the variation of this action with respect to \(h_{ab}\) and \(\pi \) gives the correct field equations for these perturbations.
It is an instructive exercise to express this action in terms of the fields \((h_{(ab)},H,\pi )\):
Again, one can check that by varying this action with respect to the fields \((h_{(ab)},H,\pi )\), one recovers the correct field equations, but – more interestingly – one can also define a conserved current \(J^a\) given by
The conservation of this current, \({\partial }_aJ^a=0\), is essentially equivalent to the field equation obtained by varying the action with respect to the field H. This is expected: the isometries of the compact space give rise to global symmetries in the reduced theory, and the momentum constraint becomes the conserved current.
After this warm up exercise, we are ready to compute the full quadratic action for Minkowski perturbations. We work with the background metric (2.1) and decompose the fields in harmonics of the \({\mathcal S}^{n+1}\) using (2.6)–(2.9). We also impose the De Donder–Lorentz gauge (2.45); this simplifies the calculation. The full action for the gauge invariant fields \(\hat{h}^{I_\mathsf {s}}_{ab}\), \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\), \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\), and \(\hat{\pi }^{I_\mathsf {s}}\) defined in (2.27)–(2.29) can then be recovered by hatting the original fields \(h^{I_\mathsf {s}}_{ab}\), \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\), and \(\pi ^{I_\mathsf {s}}\). Note that this discussion applies to \(l \ge 1\) and the \(l=1\) cases requires special attention, as in this case \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\) cannot be completed to a gauge invariant variable. After integration over the internal sphere \({\mathcal S}^{n+1}\) we obtain
where we have introduced the field strength \(\hat{G}^{{I_\mathsf {v}}}_{\mathsf {(v)}ab}\) associated to the vector field \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\)
and the constants \(S_{\mathsf {t}}^{\mathbf {m}_\mathsf {s}}\), \(V_{\mathsf {t}}^{\mathbf {m}_\mathsf {v}}\), and \(T_{\mathsf {t}}^{\mathbf {m}_\mathsf {t}}\) are defined by
We can check that this action yields the correct field equations for the perturbations of Minkowski spacetime. First, the variation \(\delta _{\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}}S_0\) of the action with respect to the field \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\) yields the equation \(\left. E^{(0)}_{ij}\right| _{\mathbb {T}^{I_\mathsf {t}}_{ij}}=0\). The equation \(\left. E^{(0)}_{ai}\right| _{\mathbb {V}^{I_\mathsf {v}}_i}=0\) is recovered from \(\delta _{\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}}S_0=0\). Equations \(\delta _{\hat{h}^{I_\mathsf {s}}_{ab}}S_0=0\) and \(\delta _{\hat{\pi }^{I_\mathsf {s}}}S_0=0\) are equivalent to equations \(\left. E^{(0)}_{ab}\right| _{\mathbb {S}^{I_\mathsf {s}}}=0\) and \(\left. E^{(0)}_{ij}\right| _{\sigma _{ij}\mathbb {S}^{I_\mathsf {s}}}=0\),
The other equations are not independent, and follow from varying the action \(S_0\) with respect to \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}\), \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\), and \(\phi ^{I_\mathsf {v}}_{\mathsf {v}}\), after expressing the gauge invariant combinations in terms of the original fields. One can indeed check that the variation \(\delta _{\phi ^{I_\mathsf {v}}_{\mathsf {v}}}S_0\) gives equation \(\left. E^{(0)}_{ij}\right| _{{\mathcal D}_{(i}\mathbb {V}^{I_\mathsf {v}}_{j)}}=0\), and that the variation with respect to \(\phi ^{I_\mathsf {s}}_{\mathsf {s}}\) and \(B^{I_\mathsf {s}}_{\mathsf {(s)}a}\), give the other equations \(\left. E^{(0)}_{ai}\right| _{{\mathcal D}_i\mathbb {S}^{I_\mathsf {s}}}=0\) and \(\left. E^{(0)}_{ij}\right| _{{\mathcal D}_{(i}{\mathcal D}_{j)}\mathbb {S}^{I_\mathsf {s}}}=0\).
Notice that this action is valid also for the lowest \(l=1\) vector field \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\): the mass term vanishes in that case, and field equation for \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\) is indeed (3.32).
4.2 Quadratic action for AdS perturbations
We work now with the AdS background written in Poincaré coordinates \(\zeta ^m=\{r,z^\alpha \}\), with metric (2.3) and dimension \(D=d+1\). Using
we can write the quadratic action (4.9) for the perturbation \(h_{mn}\) as
Taking the variation with respect to the field \(h_{mn}\), and subtracting from the result \(\eta _{mn}/(d-1)\) times its trace, one recovers precisely Eq. (3.18) for the metric perturbations of AdS spacetime.
We further decompose the metric perturbation \(h_{mn}\) in its scalar, vector, and tensor components with respect to the group of isometries of the torus, and expand them in Fourier modes on \({\mathcal T}^{d-p-1}\), according to (2.13)–(2.16). Then, integrating over the torus, we to obtain the \((p+2)\)-dimensional reduced action. Also, we work in De Donder–Lorentz gauge
the action for the gauge invariant combinations \(\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}\), \(\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\), and \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\) is then simply obtained by hatting the \(h^{I_\mathsf {s}}_{ab}\), \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), and \(\varpi ^{\mathbf {m}_\mathsf {s}}\) fields. The field strength associated to the gauge field \(\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\) is defined by
and we use the notation
for the trace of the \((p+2)\)-dimensional metric perturbation. Then, the resulting action is
where the constants \(S_{\mathsf {t}}^{\mathbf {m}_\mathsf {s}}\), \(V_{\mathsf {t}}^{\mathbf {m}_\mathsf {v}}\), and \(T_{\mathsf {t}}^{\mathbf {m}_\mathsf {t}}\) are defined by
It can be checked that one recovers the field Eqs. (3.22)–(3.24) by requiring the stationarity of this action. More precisely, \(\delta _{\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}} S_\Lambda =0\) is the equation \(\left. E_{ij}^{(\Lambda )}\right| _{\mathbb T^{(k,l,{\mathbf {m}_\mathsf {t}})}_{(ij)}}=0\), and \(\delta _{\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}} S_\Lambda =0\) is the equation \(\left. E_{ai}^{(\Lambda )}\right| _{\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_i}=0\). The equations \(\delta _{\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}} S_\Lambda =0\) and \(\delta _{\hat{\varpi }^{\mathbf {m}_\mathsf {s}}} S_\Lambda =0\) are equivalent to the equations \(\left. E_{ab}^{(\Lambda )}\right| _{\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) and \(\left. E_{ij}^{(\Lambda )}\right| _{\delta _{ij}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\),
On the other hand \(\left. E_{ij}^{(\Lambda )}\right| _{{\partial }_{(i}\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_{j)}}=0\) is not an independent equation; it follows from \(\left. E_{ai}^{(\Lambda )}\right| _{\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_i}=0\). The precise relation between them can be found by thinking of the action \(S_\Lambda \) as a functional of the original fields \(h^{\mathbf {m}_\mathsf {s}}_{ab}\), \(C^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\), \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\), \(\psi ^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {v}}\), \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\), and \(\varpi ^{\mathbf {m}_\mathsf {s}}\). Then, the variation with respect of the pure gauge field \(\psi ^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {v}}\) yields (using the definition (2.41) and applying the chain rule),
The resulting equation is actually first order in derivatives and agrees precisely with \(\left. E_{ij}^{(\Lambda )}\right| _{{\partial }_{(i}\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_{j)}}=0\). Likewise, by asking the stationarity of the action with respect to the fields \(\psi ^{\mathbf {m}_\mathsf {s}}_{\mathsf {s}}\) and \(C^{\mathbf {m}_\mathsf {s}}_{\mathsf {(s)}a}\), we obtain other differential operators acting on the field equations. These will simplify the field equations (reducing the order in derivatives), to give the relations \(\left. E_{ij}^{(\Lambda )}\right| _{{\partial }_{(i}{\partial }_{j)}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) and \(\left. E_{ai}^{(\Lambda )}\right| _{{\partial }_{i}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\).
Notice that the action (4.25) is valid also when \({\mathbf {m}^2_\mathsf {v}}=0\). In this case one should drop the hat from \(\hat{F}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}ab}\) and the vector field \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\) becomes a massless gauge field. The field equation for \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\) indeed reproduces (3.32).
5 Decoupling the Kaluza–Klein equations
In this section we look closely at the structure of the Kaluza–Klein equations, both for perturbations of Minkowski and for perturbations of AdS, and show that we can decouple them (almost) completely.
Perturbations of Minkowski spacetime reduced on \({\mathcal S}^{n+1}\) The field equations for the metric perturbation modes of Minkoswki are obtained in Sect. 3.1. First, we notice that the scalar mode \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\), associated with a tensor harmonic with eigenvalue \(\Lambda ^{I_\mathsf {t}}\) given by (B.5), decouples from all the other fields. Its equation of motion, given by (3.7), is given by
The vector mode \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\) decouples from the rest of the system as well: its equation of motion is given by Eq. (3.5) and reads
where we used the field strength \(\hat{G}^{{I_\mathsf {v}}}_{\mathsf {(v)}ab}\) associated to the vector field \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\), defined in (4.16). When \(l\ge 2\) this vector must additionally satisfy Eq. (3.8). It is the divergenceless condition
that is however not independent from the previous field equation, as can be seen by comparing the equation obtained from (5.2) by acting with \({\partial }^b\) on it with the equation obtained by setting \(b=r\) in it. When \(l=1\), Eq. (5.2) still holds but for unhatted variable \(B^{I_\mathsf {v}}_{\mathsf {(v)}a}\), and equation (5.3) does not hold anymore (but we have an additional gauge invariance).
The remaining modes, \(\hat{h}^{I_\mathsf {s}}_{ab}\) and \(\hat{\pi }^{I_\mathsf {s}}\), are associated with scalar harmonics. First of all we notice that the trace mode \(\hat{h}^{I_\mathsf {s}}\) is proportional to the trace mode on the sphere \(\hat{\pi }^{I_\mathsf {s}}\) by equation \(\left. E^{(0)}_{ij}\right| _{{\mathcal D}_{(i}{\mathcal D}_{j)}\mathbb {S}^{I_\mathsf {s}}}=0\) [see Eq. (3.9)]. We use this relation to eliminateFootnote 7 \(\hat{h}^{I_\mathsf {s}}\) in favor of \(\hat{\pi }^{I_\mathsf {s}}\),
In order to do this consistently, we need to decompose the metric perturbation \(\hat{h}^{I_\mathsf {s}}_{ab}\) into its trace \(\hat{h}^{I_\mathsf {s}}\) and its symmetric traceless part \(\hat{h}^{I_\mathsf {s}}_{(ab)}\),
The remaining coupled equations for these modes are given by \(\left. E^{(0)}_{ab}\right| _{\mathbb {S}^{I_\mathsf {s}}}=0\), \(\left. E^{(0)}_{ai}\right| _{{\mathcal D}_i\mathbb {S}^{I_\mathsf {s}}}=0\), and \(\left. E^{(0)}_{ij}\right| _{\sigma _{ij}\mathbb {S}^{I_\mathsf {s}}}=0\) [see respectively (3.4), (3.6), and (3.10)]. The second of these equations is not independent from the others, but it can be used – together with its divergence – to eliminate the divergences \({\partial }^a\hat{h}^{I_\mathsf {s}}_{ab}\) and \({\partial }^a{\partial }^b\hat{h}^{I_\mathsf {s}}_{ab}\) from the other two field equations. Finally, we introduce a new scalar field \(\hat{\varphi }^{I_\mathsf {s}}\) defined by
The third Eq. (3.10) and the rr component of the first one (3.4) become respectively,
where we have used Eq. (B.3) for the eigenvalues \(\Lambda ^{I_\mathsf {s}}\). Finally, the remaining components of the third equation, Eq. (3.10), give the field equations for the symmetric traceless mode \(\hat{h}^{I_\mathsf {s}}_{(ab)}\),
satisfying additionally the extra constraints
coming from (3.6). The equation for \(\hat{\varphi }^{I_\mathsf {s}}\) is now decoupled; once solved, one finds \(\hat{\pi }^{I_\mathsf {s}}\) solving the other equation. Then, substituting the obtained solutions in the previous equation we obtain the symmetric traceless part \(\hat{h}^{I_\mathsf {s}}_{(ab)}\) of the perturbation. Together with the solutions to the decoupled equations for \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\) and \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\), this solves completely the problem. We explicitly solve these equations in Sect. 6.1.
Perturbations of AdS spacetime reduced on \({\mathcal T}^{d-p-1}\) The field equations for the metric perturbation modes of AdS are obtained in Sect. 3.2. Similarly to what we just saw for in the Ricci-flat case, the scalar field \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\) associated with a tensor harmonic decouples from the other fields, and must solve the equation
The vector mode \(\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\) decouples as well from the rest of the system. Its equation of motion is given by Eq. (3.23) and reads
where \(\hat{F}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}ab}\) is the field strength associated to the vector field \(\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), as defined by (4.23). When \({\mathbf {m}^2_\mathsf {v}}\ne 0\) this vector must additionally satisfy Eq. (3.26) that imposes the vanishing of its divergence,
This condition is however not independent from the previous field equation, as can be seen comparing the equation obtained from (5.13) by acting on it with \({\partial }^b\) and the equation obtained by setting \(b=r\) in it. When \({\mathbf {m}^2_\mathsf {v}}=0\), Eq. (5.13) still holds but for unhatted variable \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), and Eq. (5.14) does not hold anymore (but we have an additional gauge invariance).
The remaining modes are \(\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}\) and \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\). First of all we notice that the trace mode \(\hat{h}^{\mathbf {m}_\mathsf {s}}\) is proportional to the trace mode on the torus \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\) by equation \(\left. E_{ij}^{(\Lambda )}\right| _{{\partial }_{(i}{\partial }_{j)}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) [see Eq. (3.27)]. We use this relation to eliminateFootnote 8 \(\hat{h}^{\mathbf {m}_\mathsf {s}}\) in favor of \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\),
Following the Minkowski steps, we decompose the metric perturbation \(\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}\) into its trace \(\hat{h}^{\mathbf {m}_\mathsf {s}}\) and its symmetric traceless part \(\hat{h}^{\mathbf {m}_\mathsf {s}}_{(ab)}\),
The remaining equations for the tensor and scalar modes are \(\left. E_{ab}^{(\Lambda )}\right| _{\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\), \(\left. E_{ai}^{(\Lambda )}\right| _{{\partial }_{i}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\), and \(\left. E_{ij}^{(\Lambda )}\right| _{\delta _{ij}\mathbb S^{\mathbf {m}_\mathsf {s}}}=0\) (see respectively (3.22), (3.24), and (3.27)). Again, the second of these equations is not independent from the others, and we use it – together with its divergence – to eliminate the divergences \({\partial }^a\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}\) and \({\partial }^a{\partial }^b\hat{h}^{\mathbf {m}_\mathsf {s}}_{ab}\) from the other two field equations. The resulting equations can be completely decoupled by defining the new fields \(\hat{\varphi }^{\mathbf {m}_\mathsf {s}}\) and \(\hat{\chi }^{\mathbf {m}_\mathsf {s}}\) as (the transformation is invertible as long as \(d\ne 2\)),
and a new symmetric field \(\tilde{h}^{\mathbf {m}_\mathsf {s}}_{(ab)}\) that is both stripped from its trace and its rr component (i.e. it is such that \(\eta ^{ab}\tilde{h}^{\mathbf {m}_\mathsf {s}}_{(ab)}=0\) and \(\tilde{h}^{\mathbf {m}_\mathsf {s}}_{(rr)}=0\)) as
Using these fields, the complete set of field equations for the scalar modes becomes
While the second order wave equations for \(\hat{\varphi }^{\mathbf {m}_\mathsf {s}}\), \(\hat{\chi }^{\mathbf {m}_\mathsf {s}}\), and \(\tilde{h}^{\mathbf {m}_\mathsf {s}}_{(ab)}\) are completely decoupled (contrary to what happens for the corresponding equations for Minkowski on a sphere), some coupling between these fields survives in the last two equations, that are valid for \({\mathbf {m}^2_\mathsf {s}}\ne 0\) and descend from Eq. (3.24).
6 Solving the Kaluza–Klein equations
In this section we solve the Kaluza–Klein equations for linearized metric perturbations for both Minkowski and AdS.
6.1 Solving for Minkowski perturbations
We first solve Eq. (5.1) for the linearized scalar perturbation \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\) associated with tensor harmonics of \({\mathcal S}^{n+1}\),
This is a separable equation; the radial part of the modes solve a Bessel equation in r, and the dependence in the remaining ‘brane’ directions \(x^\mu \) satisfies a D’Alembert equation. The latter is therefore solved by Fourier modes \(e^{i\mathbf {k}\cdot \mathbf {x}}\), where we use the notation \(\mathbf {k}\cdot \mathbf {x}\) for the contraction of the momentum along the brane directions \(k_\mu \) with the coordinates \(x^\mu \). The general solution is thus a superposition of the modes
where \(J_{l+\frac{n}{2}}\) is a Bessel function of the first kind and \(Y_{l+\frac{n}{2}}\) is a Bessel function of the second kind. Here \(\phi _1\) and \(\phi _2\) are integration constants, and we used \(\Lambda ^{I_\mathsf {t}}=-l(l+n)+2\) and \(k_r^2=-\mathbf {k}^2\). \(k_r\) may be thought of as a radial momentum which can be combined with \(k_\mu \) to form the \((p+2)\)-dimensional momentum \(k_a\). The equations of motion require then that the vector \(k_a\) is null, \(k^a k_a=k_r^2+\mathbf {k}^2=0\).
As we will see, the solutions of all perturbation equations are linear combinations of Bessel functions of the first and second kind. To simplify the presentation, the integration constant associated with J Bessel functions will always carry an index 1 and those associated with Y Bessel function an index 2. Then if we know the part of the general solution that depends on J Bessel functions, we can obtain the part that depends on Y Bessel functions by simply replacing the J Bessel functions by the Y ones and change the index of the integration constants from 1 to 2. Then instead of presenting the solutions as in (6.2), we will use
All solutions in this and the next subsection will be presented in this way.
Next we discuss the vector perturbations \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\). They satisfy Eqs. (5.2) and (5.3), reproduced here for convenience,
with the field strength \(\hat{G}^{{I_\mathsf {v}}}_{\mathsf {(v)}ab}\) defined in (4.16). These equations hold when \(l>1\). We will return to the \(l=1\) case below. Taking the radial component \(a=r\) in (6.4) and using (6.5), we obtain a decoupled equation for \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}r}\),
This is the same equation as (6.2) and thus the general solution is
where the momentum \(k_a=\{k_r,k_\mu \}\) is null, and \(b_1^{I_\mathsf {v}}\), \(b_2^{I_\mathsf {v}}\) are integration constants. Note that in (6.7) and in all similar equations in the rest of this section we will suppress indices such as \({I_\mathsf {v}}\) to avoid clutter. The equation for the remaining components is obtained by setting \(a=\mu \) in (6.4), and using (6.5) to eliminate the r-derivatives of \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}r}\),
The general solution to the homogeneous part of this equation reads
Here \(\beta ^1_\mu \) and \(\beta ^2_\mu \) are two arbitrary polarization vectors. We further need a particular solution to Eq. (6.8). Here and in the rest of this section we will assume that \(k_r\ne 0\). When \(k_r=0\), both in the Minkowski and the AdS cases, the ODE’s become of the Euler type and can be integrated by elementary means (including finding all particular solutions). The particular solution for (6.8) is given byFootnote 9
with \(\varepsilon _\mu \) an arbitrary constant vector. We use this freedom to simplify the solution of the divergence Eq. (6.5). Then, given a solution \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}r}\) determined by \(b_1\) and \(b_2\), as given by (6.7), the general solution to the full equation for \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}\mu }\) is given by
where
and the divergence Eq. (6.5) implies that the polarization vectors are transverse,
When \(l=1\), Eq. (6.5) is not present and we should drop the hat from \(\hat{B}^{I_\mathsf {v}}_{\mathsf {(v)}a}\). In addition, we have a gauge invariance which may used to set \(B_{(\mathsf {v})r}^{I_\mathsf {v}}=0\), and the general solution is the homogeneous solution (6.9) (for the unhatted variable) with arbitrary polarization vectors \(\beta ^1_\mu \) and \(\beta ^2_\mu \),
Gauge invariance may be used to make the polarization vectors transverse, (6.16).
We finally need to deal with the perturbations associated with scalar harmonics of \({\mathcal S}^{n+1}\), namely the scalar perturbation \(\hat{\pi }^{I_\mathsf {s}}\) and the tensor perturbation \(\hat{h}^{I_\mathsf {s}}_{ab}\). We have partially decoupled the equations they satisfy by introducing the scalar field \(\hat{\varphi }^{I_\mathsf {s}}\) in Eq. (5.6), resulting in Eqs. (5.7) and (5.8), that we report here once more for convenience,
The equation for \(\hat{\varphi }^{I_\mathsf {s}}\) is completely decoupled, and its general solution is a superposition of the modes
with \(\varphi _1\) and \(\varphi _2\) integration constants; the wave vector \(k^a\) is null as usual, \(k^a k_a=k_r^2+\mathbf {k}^2=0\).
We now move to solve the equation for \(\hat{\pi }^{I_\mathsf {s}}\). The homogeneous part of Eq. (6.19) coincides with the equation for \(\hat{\varphi }^{I_\mathsf {s}}\), and therefore the modes \(\hat{\pi }^{I_\mathsf {s}}\) have the same form (6.20), with the addition of a particular solutionFootnote 10 sourced by \(\hat{\varphi }^{I_\mathsf {s}}\),
Again, \(\pi _1\) and \(\pi _2\) are integration constants, and the vector \(k^a\) is null, \(k^a k_a=k_r^2+\mathbf {k}^2=0\). Next, we deal with the symmetric traceless mode \(\hat{h}^{I_\mathsf {s}}_{ab}\), which satisfies (5.9):
Using (5.6),
one can show that the rr component of (6.22) is a linear combination of Eqs. (6.18) and (6.19). Then the \(r\mu \) component reads,
while taking the trace of (6.22) leads to
thus recovering Eq. (5.11).
Differentiating (6.24) w.r.t. \(\partial ^\mu \) and using (6.25) results in an equation involving \(\hat{\varphi }^{I_\mathsf {s}}\) only, which automatically holds as a consequence of (6.18). Finally, the \(\mu \nu \) component of (6.22) reads,
Contracting with \(\eta ^{\mu \nu }\) and using \(\eta ^{\mu \nu } \hat{h}^{I_\mathsf {s}}_{(\mu \nu )} = - \hat{h}^{I_\mathsf {s}}_{(rr)}\) (which follows from \(\eta ^{ab} \hat{h}^{I_\mathsf {s}}_{(ab)}=0\)) results in an equation which involves only \(\hat{\varphi }^{I_\mathsf {s}}\), which automatically holds as a consequence of (6.18). Finally, the solution to (6.26) is constrained by equation (5.10),
We now solve these equations. The homogenous solution of (6.24) is
where \(\mathfrak {h}^1_\mu \) and \(\mathfrak {h}^2_\mu \) are two constant \((p+1)\)-vectors, and \(k^a k_a=k_r^2 + \mathbf{k}^2=0\). A particular solution is given byFootnote 11
Using (6.20), we find that the solution of (6.24) is given by
where
Finally, (6.25) requires that the vectors \(\mathfrak {h}^1_\mu \) and \(\mathfrak {h}^2_\mu \) are transverse,
We now turn to (6.26). Its homogenous solution is
where \(\mathfrak {h}^{1}_{\mu \nu }\) and \(\mathfrak {h}^{2}_{\mu \nu }\) are constant symmetric traceless \((p+1)\)-tensors and \(k^a k_a=k_r^2 + \mathbf{k}^2=0\). The particular solutionFootnote 12 is a linear combination of \(r^{-n/2}\{ r J_{1+l+\frac{n}{2}}, r Y_{1+l+\frac{n}{2}}\), \(r^2 J_{l+\frac{n}{2}}, r^2 Y_{l+\frac{n}{2}}\}\). Altogether we have
where
for \(s=1, 2\). Then, (6.27) requires that the tensors \(\mathfrak {h}^1_{\mu \nu }\) and \(\mathfrak {h}^2_{\mu \nu }\) are transverse,
and one may finally check using (6.37), (6.38), (6.20), and (6.21) that
is satisfied. It will be useful to also record the combination that is traceless in \(p+1\) dimensions:
where, for \(s=1,2\),
6.2 Solving for AdS perturbations
Anti-de Sitter perturbations are much simpler. It is possible to decouple completely the system of equations controlling them, and we can easily find all modes. Like in the case of perturbations of Minkowski, all equations are of the Bessel type.
Equation (5.12) for the scalar perturbations associated with tensor harmonic on \({\mathcal T}^{d-p-1}\),
is indeed a Bessel equation in the radial direction, and is solved by separation of variables: its general solution is given by the superposition of modes
with \(\psi _1\), \(\psi _2\) integration constants. Again, \(\mathbf {k}\cdot \mathbf {x}\) denotes the contraction of the boundary components \(k_\mu \) of the wave vector with the \(p+1\) boundary coordinates \(x^\mu \), and we define the \((p+2)\)-dimensional wave vector \(k_a=\{k_r,k_\mu \}\). Contrary to what we obtained for Minkowski perturbations, the wave vector for AdS perturbations is massive, with mass set by the eigenvalue \({\mathbf {m}^2_\mathsf {t}}\).
We next move to the vector modes. They satisfy Eqs. (5.13) and (5.14),
where \(\hat{F}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}ab}\) is the field strength associated to the vector field \(\hat{C}^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}a}\), as defined by Eq. (4.23). Projecting the first equation on the r and \(\mu \) components yields
These are decoupled equations that are easily solved in terms of Bessel functions. Equation (6.48) is identical with (6.43) and thus is solved in the same way, while the extra term in (6.47) simply shifts the order of the Bessel function:
with \(\gamma _1\), \(\gamma _2\) arbitrary constants and \(\hat{\gamma }^1_\mu \), \(\hat{\gamma }^2_\mu \) arbitrary polarization vectors. Again, the wave vector is timelike, \(k^ak_a=k_r^2+k^\mu k_\mu =-{\mathbf {m}^2_\mathsf {v}}\). We are not done yet, as we must additionally impose the second Eq. (6.46).
This divergence equation is only present when \({\mathbf {m}^2_\mathsf {v}}\ne 0\), and in that case it imposes constraints between the integration constants.
On the other hand, when \({\mathbf {m}^2_\mathsf {v}}= 0\) the divergence Eq. (6.46) is not present; instead there is a gauge invariance that can be used to set \(C^{(k,{\mathbf {m}_\mathsf {v}})}_{\mathsf {(v)}r}=0\). Thus, the general solution is simply given by (6.50) with a null momentum \(k^a\),
and one can use the gauge invariance to impose \(k^\mu \gamma ^1_\mu = k^\mu \gamma ^2_\mu =0\).
We finally turn to the perturbations associated with scalar harmonics, \(\hat{\chi }^{\mathbf {m}_\mathsf {s}}\), \(\hat{\varphi }^{\mathbf {m}_\mathsf {s}}\), and \(\tilde{h}^{\mathbf {m}_\mathsf {s}}_{(ab)}\). We have already decoupled completely the equations that govern them, obtaining the system of Eq. (5.19). The equations for the scalars \(\hat{\chi }^{\mathbf {m}_\mathsf {s}}\) and \(\hat{\varphi }^{\mathbf {m}_\mathsf {s}}\),
are separable and are easily solved by using Bessel functions yielding
where again the wave vector is in both cases timelike, \(k^ak_a=-{\mathbf {m}^2_\mathsf {s}}\).
We are left to discuss the tensor perturbation (5.19c),
Recall that \(\tilde{h}^{\mathbf {m}_\mathsf {s}}_{(rr)}=0\). Setting \(a=\mu \), \(b=r\) in (6.57) we obtain
which is solved by
where \(\hat{h}^{1}_\mu \), \(\hat{h}^{2}_\mu \) are constant vectors and \(k^ak_a=-{\mathbf {m}^2_\mathsf {s}}\). Additionally, we need to impose the divergence Eq. (5.19d), and this implies that the polarization vectors are given by
with \(h^1_\mu \) and \(h^2_\mu \) transverse polarization vectors.
Setting \(a=\mu \), \(b=\nu \) in (6.57) we obtain
which solved by
where \(k^ak_a=-{\mathbf {m}^2_\mathsf {s}}\) and \(\hat{h}^1_{\mu \nu }\), \(\hat{h}^2_{\mu \nu }\) are constant, symmetric and traceless tensors (\( \eta ^{\mu \nu }\hat{h}^1_{\mu \nu }=\eta ^{\mu \nu }\hat{h}^2_{\mu \nu } =0\)). The trace condition is due to the fact that \(\eta ^{ab} \tilde{h}^{\mathbf {m}_\mathsf {s}}_{(ab)}=0\). Finally, we have to impose (5.19e), which gives the constraints
with \(h^1_{\mu \nu }\), \(h^2_{\mu \nu }\) are transverse, symmetric and traceless polarization tensors.
7 AdS/RF map at large n and d
The explicit solutions we found, both in the vacuum Einstein gravity and in the AdS gravity theories, are linear combinations of terms that take the general form
times some polarization vector or tensor where appropriate. We can tabulate the distinct pairs (a, b) that appear in the general solution, both for Minkowski and AdS. This results in
Minkowski | AdS | |||
---|---|---|---|---|
a | b | a | b | |
\(\tilde{h}_{(\mu \nu )}\) | \(-n/2\) | \(l+n/2\) | d / 2 | d / 2 |
\(1-n/2\) | \(1+l+n/2\) | |||
\(2-n/2\) | \(l+n/2\) | |||
\(\hat{h}_{(\mu r)}\) | \(1-n/2\) | \(l+n/2\) | d / 2 | \(d/2-1\) |
\(1-n/2\) | \(1+l+n/2\) | |||
\(\hat{B}_{(\mathsf {v})\mu } / \hat{C}_{(\mathsf {v})\mu }\) | \(-n/2\) | \(l+n/2\) | d / 2 | d / 2 |
\(-n/2\) | \(1+l+n/2\) | |||
\(\hat{B}_r /\hat{C}_r\) | \(-n/2\) | \(l+n/2\) | d / 2 | \(d/2-1\) |
\(\hat{\phi }_\mathsf {t}/\hat{\psi }_\mathsf {t}\) | \(-n/2\) | \(l+n/2\) | d / 2 | \(d/2-1\) |
\(\hat{\varphi }/\hat{\pi }/\hat{\chi }\) | \(-n/2\) | \(l+n/2\) | d / 2 | d / 2 |
\(-n/2\) | \(l+n/2\) | \(d/2-2\) | \(d/2-2\) | |
\(-n/2\) | \(l+n/2+1\) |
What is notable here is that, in the large n limit, we can neglect the finite contributions, and all Minkowski modes converge with the same behavior with \(a_{\infty }=-n/2\) and \(b_{\infty }=n/2\). Similarly, in the large d limit, all AdS modes have their behavior set to \(a_{\infty }=d/2\) and \(b_{\infty }=d/2\). Under the AdS/RF correspondence, that exchanges n with \(-d\), these modes are mapped to each other, in virtue of the fact that the Bessel function J and Y are even in their order.
There is still one difference however: while the \((p+2)\)-vector \(k^a\) is null in the case of Minkowski, \(k_r^2+\mathbf {k}^2=0\), it is timelike in the case of AdS, \(k_r^2+\mathbf {k}^2=-\mathbf {m}^2\). To distinguish the two cases, we will use \(k^{(\mathbf {m})}_r\) for the AdS case in this section. These different behaviors are a direct consequence of the absence/presence of length scales in the spacetimes under consideration. Einstein vacuum gravity and the Minkowski background have no intrinsic scale, and the Minkowski momentum must thus be massless.Footnote 13 On the other hand, there are two scales in play on the AdS gravity side: the intrinsic length scale \(\ell \) set by the cosmological constant (1.1), and the period \(\tau \) of the coordinates \(\chi ^i\) that is introduced by the torus compactification. The latter generates a mass scale for the AdS modes. Indeed, the Fourier wave vectors behave as \(\mathbf {m}\sim 1/\tau \) (see “Appendix B.2”), and thus \((k^{(\mathbf {m})}_r)^2+\mathbf {k}^2\sim 1/\tau ^2\). It is important to stress at this point that the length scales \(\ell \) and \(\tau \) are completely free: the AdS background is a solution independently of the value they take, and under the AdS/RF map they simply disappear from the resulting scale-invariant background and theory.
In principle, \(\ell \) and \(\tau \) can thus depend on the other parameters of the theory, for instance on the dimension d. To proceed we must hence decide how these length scales behave in the large d limit. A natural choice is to keep \(\ell \) constant, so that the effects of the cosmological constant survive the limit [47], and take \(\tau \sim d\). Effectively, this behavior decompactifies the torus in the large d limit, reducing the mass gap to zero and making the AdS momentum lightlike, \((k^{(\mathbf {m})}_r)^2+\mathbf {k}^2\sim 1/d^2\rightarrow 0\) (equivalently, we could have considered the limit \(\mathbf {k}^2\gg \mathbf {m}^2\), for which \(k^{(\mathbf {m})}_r\sim k_r\)). Hence, in that limit, the radial behavior matches exactly. Even away from the torus decompactification limit though, there is a simple correspondence between the solutions by accompanying the AdS/RF map \(n \rightarrow -d\) with \(k_r \rightarrow k^{(\mathbf {m})}_r\).
It remains to find out how the integration constants are mapped with each other. Since all scalar modes behave the same way, these modes may be mixed under the AdS/RF map. Moreover, it is not clear a priori what the order of the integration constants is in the large d/n limit. We will fix both issues by mapping the tensor and vector modes first. Since the radial dependence is already fixed, we only need to record the vectors/tensors that multiply the J and Y Bessel functions. Below, the index s takes the values 1 and 2, indicating the coefficient of the J and Y Bessel function, respectively.
Comparing the integration constants (6.42) with (6.63), (6.31) with (6.60), and (6.15) with (6.51) in the large d/n limit, we obtain the following.
\(\tilde{h}_{(\mu \nu )}\) modes:
Thus we conclude that we need
\(\hat{h}_{(\mu r)}\) modes:
Equation (7.4) implies that we should multiply the Minkowski perturbation by n and the AdS one by \(-k_r^{(\mathbf {m})}\) and we then conclude
which then together with (7.5) lead to
and thus
Finally, assuming \(f_s\) and \(\chi _s\) are of the same order in the large d limit, Eq. (7.8) results in
\(\hat{B}_{(\mathsf {v})\mu } / \hat{C}_{(\mathsf {v})\mu }\) modes:
Hence we conclude that we need
Finally, one may match the integration constants of the scalars associated with tensor harmonics,
We have thus succeeded in mapping all perturbations mode by mode in the large d and n limit,
Starting from the next-to-leading order in the large d/n, the map becomes more complicated because the eigenvalues l and \(\mathbf {m}\) enter in the expansion coefficients.
8 Discussion and outlook
In this paper we performed a Kaluza–Klein reduction of Minkowski over a sphere and of AdS over a torus. In the case of Minkowski the sphere was the celestial sphere transverse to a flat p-brane located at the origin of Minkowski and in the case of AdS the torus compactified part of the boundary directions. The reason for considering these two cases is that this is the simplest example of an AdS/RF pair, and we wanted to investigate whether one can perturbatively relax the restrictions that enter the construction of the AdS/RF map, namely the existence of a sphere on the Ricci-flat side and of a torus on the AdS one. Thus we allowed for general perturbations that depend on all coordinates, including those on the sphere and the torus, and asked if these perturbations can be mapped to each other via the AdS/RF map.
To address this question we constructed the most general perturbations by KK expanding around the background solution (Minkowski and AdS), keeping all massive KK modes. Such computations are rare in the literature and we hope that the streamlined discussion we present here will be useful more generally, in other contexts.
Usually KK reductions involve spacetimes that are direct products of a non-compact spacetime with a compact manifold, such as Minkowski \(\times \) torus or AdS \(\times \) sphere. In our case, the background solutions were warped products, and the torus (sphere) was on the AdS (Minkowski) side. It is also worth mentioning that on the Minkowski side all dimensions are non-compact: the sphere of the reduction arose from writing an Euclidean space in spherical polar coordinates.
When considering perturbations around background solutions, there is an intrinsic ambiguity in that there are diffeomorphisms that map perturbations to the background solution or to each other. In most of the past literature, this issue was dealt with by imposing gauge fixing conditions. This is fine for the computation of the spectrum, but if one wants to use these results more generally (for example for mapping solutions to other solutions, as we want to do here) a better approach is to construct gauge invariant variables. We construct such gauge invariant variables for both reductions following the methodology developed in [44]. This provides a (non-trivial) example of the effectiveness of this method, which we believe should be useful in all problems were gauge invariant variables are needed.
We performed both reductions in parallel to emphasize their similarity. The equations of motion for the KK modes can then be obtained by substituting the KK decomposition in the higher dimensional field equations and then projecting on harmonics of the torus and sphere. Not all equations obtained in this fashion are independent, and this reflects the existence of the gauge transformations discussed in the previous paragraph. The same equations also follow by varying the action obtained by substituting the KK decomposition in the higher dimensional actions and integrating over the torus and sphere.
Remarkably, for the two reductions we performed, one can solve all perturbation equations in closed form. In the case of AdS, the equation for the perturbations reduce to a set of homogeneous Bessel equations that can be readily integrated (plus a few additional equations that impose relations among the integration constants). In the case of Minkowski, the perturbation equations are organized in a number of decoupled blocks. Within each block the equations take a nested form, with up to three layers: at the centre there are decoupled modes that satisfy homogenous Bessel equations; these modes then provide inhomogeneous terms for the ODEs satisfied by the modes at the next layer, which themselves provide inhomogeneous terms for the modes at the last layer. We were able to integrate all equations and obtain the general solution as linear combination of Bessel functions.
Having succeeded in finding the general solution of linear perturbations, we can then turn to the original question about the AdS/RF correspondence. Rather strikingly, the AdS/RF map acts mode by mode in the limit where the dimension of the sphere and torus goes to infinity. We will discuss how general linear perturbations are mapped by AdS/RF in a sequel to this paper [43]. There we will make a use of the opposite limit, namely the limit where either the sphere or the torus disappears, and we will formulate mathematical conditions for the existence of an AdS/RF map at the non-linear level.
We finish this paper with a few remarks about holography. On the AdS side, our results can be used to compute holographically the 2-point functions of a class of operators for the QFT obtained by putting a d-dimensional CFT on torus. Putting the CFT on a torus breaks conformal invariance, but the resulting theory is still constrained by the fact that the parent theory is conformal. The relevant QFT operators are the operators obtained by dimensional reduction of the CFT energy momentum tensor on the torus, keeping the entire KK towers.
Starting from the explicit solutions we obtained, one can extract the 2-point functions from their asymptotics using the methodology in [42]. For the zero modes, we have already done this computation in Sect. 2.2.1 of [31], and it would be interesting to work out the details for all KK modes. These the 2-point functions should be related to the 2-point function of a d-dimensional CFT energy momentum tensor (which is universal) via dimensional reduction. It is well known that conformal 2-point functions are related holographically to Bessel functions, and this explains why the solutions to the AdS perturbation equations are given by Bessel functions.
Via the AdS/RF correspondence, these results would then provide a holographic dictionary for Minkowski perturbations, which is particularly simple in the case of large n. It would be interesting to extract the physics implications of this. We only make a couple of remarks here. First, the AdS/RF map explains why the solutions to the Minkowski perturbations are Bessel functions, as it links these perturbations to those of AdS, which are given in terms of Bessels due to the underlying conformal structure of AdS. Second, we note that the AdS/RF correspondence maps asymptotic flatness to regularity in the interior of AdS and regularity in the interior of Minkowski to normalizable solutions in AdS [31]. It would be interesting to further develop this holographic dictionary.
Notes
Such analytic continuation in d was first introduced in [37] in the context of non-conformal brane holography.
This map has been used in the past to obtain the transport coefficients up to second order in the derivative expansion for blackfolds [30] and for the fluid dual to Rindler spacetimes [31], by mapping the corresponding quantities of the conformal fluid dual to large AdS black holes. Similarly, in an 1 / D expansion, the quasi-normal frequencies of AdS black branes were shown to match under the map the unstable frequencies of Ricci-flat black branes [38]. These examples show the validity and effectiveness of the correspondence.
The coordinates \(x^\mu \), with \(\mu =0, \ldots , p\), are the boundary coordinates from the AdS perspective. However, from Minkowski’s point of view, they parametrize a p-brane sitting at its origin [31].
Note that the mode \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\) carries a hat, while the others do not. The reason is that it is a gauge invariant mode, as we will shortly see. The same remark holds when applied to the AdS mode \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\) introduced in the next paragraph.
We use the same symbol for the components of Minkowski and AdS perturbations. We hope this will not lead to any confusion, since it will always be clear which case we are discussing, and the comparison of the two KK reductions will always be performed using the modes obtained from the harmonic expansion, which are easily differentiated by their notation.
The \(n=1\) case is special because we are reducing over a two-sphere, on which there are no tensor harmonics. Therefore, there is no field \(\hat{\phi }^{I_\mathsf {t}}_{\mathsf {t}}\). Furthermore, the trace \(\hat{h}^{I_\mathsf {s}}\) is automatically vanishing by Eq. (5.4). Correspondingly, the dependence on \(\Lambda ^{I_\mathsf {s}}\) of the \(\hat{\pi }^{I_\mathsf {s}}\hat{\pi }^{I_\mathsf {s}}\) term in the action (4.15) drops out.
When \(d-p-3=0\), we are reducing over a two-torus, on which there are no tensor harmonics. Therefore, there is no \(\hat{\psi }^{(k,l,{\mathbf {m}_\mathsf {t}})}_{\mathsf {t}}\) field in that case. Moreover, the trace \(\hat{h}^{\mathbf {m}_\mathsf {s}}\) of the perturbation vanishes by Eq. (5.15). Analoguously, the \({\mathbf {m}^2_\mathsf {s}}\)-dependence of the coefficient of the \(\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\hat{\varpi }^{\mathbf {m}_\mathsf {s}}\) term in the action (4.25) drops when \(d-p-3=0\).
This result is obtained using the following general results. If f satisfies
$$\begin{aligned} \left( \Box +\frac{n+3}{r}{\partial }_r-\frac{a}{r^2}\right) f=0, \end{aligned}$$(6.10)where a is a constant, then
$$\begin{aligned} \left( \Box +\frac{n+3}{r}{\partial }_r-\frac{a}{r^2}\right) r {\partial }_r f= 2 \mathbf {k}^2 f. \end{aligned}$$(6.11)Furthermore,
$$\begin{aligned} \left( \Box +\frac{n+3}{r}{\partial }_r-\frac{a}{r^2}\right) \left( \frac{1}{r} g \right) = \frac{1}{r} \left( \Box +\frac{n+1}{r}{\partial }_r-\frac{a+n+1}{r^2}\right) g. \end{aligned}$$(6.12)A particular solution is given by \(r \partial _r \hat{\varphi }^{I_\mathsf {s}}/k_r^2 + \alpha \hat{\varphi }^{I_\mathsf {s}}\) for any \(\alpha \) (since \(\hat{\varphi }^{I_\mathsf {s}}\) solves the homogeneous equation). In (6.21) we fixed \(\alpha \) so that no multiple of the homogeneous solution appears in the particular solution.
Consider the differential operator
$$\begin{aligned} \mathcal L ={\partial }_r^2+\frac{n+1}{r}{\partial }_r+\left( k_r^2-\frac{l(l+n)}{r^2}\right) ; \end{aligned}$$(6.34)it satisfies the identities
$$\begin{aligned}&\mathcal L\left[ r^{1-\frac{n}{2}}J_{l+\frac{n}{2}+1}(k_rr)\right] =2k_rr^{-n/2}J_{l+\frac{n}{2}}(k_rr), \end{aligned}$$(6.35)$$\begin{aligned}&\mathcal L\left[ -k_rr^{2-\frac{n}{2}}J_{l+\frac{n}{2}}(k_rr)+2(l+\frac{n}{2}+1)r^{1-\frac{n}{2}}J_{l+\frac{n}{2}+1}(k_rr)\right] \nonumber \\&\quad =4k_r^2r^{1-n/2}J_{l+\frac{n}{2}+1}(k_rr), \end{aligned}$$(6.36)that can be used to obtain the particular solution.
The Minkowski momentum \(k_a\) is restricted to be orthogonal to the \({\mathcal S}^{n+1}\); this restriction does however not introduce any length scale, contrary to the torus compactification performed in AdS.
Recall that we split the d boundary coordinates \(z^\alpha =\{x^\mu ,\chi ^i\}\) into the \(p+1\) spatial coordinates \(x^\mu \) in the reduced theory and the \(d-p-1\) coordinates \(\chi ^i\) on the torus. Again, \(y^a=\{r,x^\mu \}\) indicate collectively the \(p+2\) coordinates in the reduced theory.
In the main text, the torus is taken to be of dimension \(N=d-p-1\).
References
G.T. Hooft, Dimensional reduction in quantum gravity. Salamfest 0284–296 (1993) arXiv:gr-qc/9310026
L. Susskind, The world as a hologram. J. Math. Phys. 36, 6377 (1995). arXiv:hep-th/9409089
J.M. Maldacena, The large n limit of superconformal field theories and supergravity. Int. J. Theor. Phys. 38, 1113 (1999)
J.M. Maldacena, The large n limit of superconformal field theories and supergravity. Adv. Theor. Math. Phys. 2, 231 (1998). arXiv:hep-th/9711200
C. Fefferman, C.R. Graham, Conformal invariants, in The Mathematical Heritage of Elie Cartan (Lyon, 1984), (Astérisque, 1985), Numero Hors Serie, pp. 95–116
S. de Haro, S.N. Solodukhin, K. Skenderis, Holographic reconstruction of space-time and renormalization in the AdS/CFT correspondence. Commun. Math. Phys. 217, 595 (2001). arXiv:hep-th/0002230
O. DeWolfe, S.S. Gubser, C. Rosen, D. Teaney, Heavy ions and string theory. Prog. Part. Nucl. Phys. 75, 86 (2014). arXiv:1304.7794 [hep-th]
S.A. Hartnoll, A. Lucas, S. Sachdev, Holographic quantum matter. arXiv:1612.07324 [hep-th]
M. Van Raamsdonk, Lectures on Gravity and Entanglement. arXiv:1609.00026 [hep-th]
S. de Haro, K. Skenderis, S.N. Solodukhin, Gravity in warped compactifications and the holographic stress tensor. Class. Quant. Gravity 18, 3171 (2001). arXiv:hep-th/0011230
J. de Boer, S.N. Solodukhin, A Holographic reduction of Minkowski space-time. Nucl. Phys. B 665, 545 (2003). arXiv:hep-th/0303006
A. Bagchi, Correspondence between asymptotically flat spacetimes and nonrelativistic conformal field theories. Phys. Rev. Lett. 105, 171601 (2010). arXiv:1006.3354 [hep-th]
G. Barnich, A. Gomberoff, H.A. Gonzalez, The Flat limit of three dimensional asymptotically anti-de Sitter spacetimes. Phys. Rev. D 86, 024020 (2012). arXiv:1204.3288 [gr-qc]
R.N.C. Costa, Holographic reconstruction and renormalization in asymptotically Ricci-flat spacetimes. JHEP 1211, 046 (2012). arXiv:1206.3142 [hep-th]
A. Bagchi, S. Detournay, D. Grumiller, Flat-Space Chiral Gravity. Phys. Rev. Lett. 109, 151301 (2012). arXiv:1208.1658 [hep-th]
R.N. Caldeira Costa, Aspects of the zero \(\Lambda \) limit in the AdS/CFT correspondence. Phys. Rev. D 90(10), 104018 (2014). arXiv:1311.7339 [hep-th]
T. Banks, The super BMS algebra, scattering and holography. arXiv:1403.3420 [hep-th]
R. Fareghbal, A. Naseh, Aspects of Flat/CCFT correspondence. Class. Quant. Gravity 32, 135013 (2015). arXiv:1408.6932 [hep-th]
J. Hartong, Holographic reconstruction of 3D flat space-time. JHEP 1610, 104 (2016). arXiv:1511.01387 [hep-th]
A. Bagchi, R. Basu, A. Kakkar, A. Mehra, Flat Holography: aspects of the dual field theory. JHEP 1612, 147 (2016). arXiv:1609.06203 [hep-th]
S.B. Giddings, The gravitational S-matrix: Erice lectures. Subnucl. Ser. 48, 93 (2013). arXiv:1105.2036 [hep-th]
H. Bondi, M.G.J. van der Burg, A.W.K. Metzner, Gravitational waves in general relativity VII. Waves from axisymmetric isolated systems. Proc. R. Soc. Lond. A 269, 21 (1962)
R.K. Sachs, Gravitational waves in general relativity VIII. Waves in asymptotically flat space-times. Proc. R. Soc. Lond. A 270, 103 (1962)
A. Strominger, On BMS invariance of gravitational scattering. JHEP 1407, 152 (2014). arXiv:1312.2229 [hep-th]
A. Strominger, Lectures on the infrared structure of gravity and gauge theory. arXiv:1703.05448 [hep-th]
S. Weinberg, Infrared photons and gravitons. Phys. Rev. 140, B516 (1965)
S. W. Hawking, The information paradox for black holes. arXiv:1509.01147 [hep-th]
S.W. Hawking, M.J. Perry, A. Strominger, Soft hair on black holes. arXiv:1601.00921 [hep-th]
H. Stephani, D. Kramer, M.A.H. MacCallum, C. Hoenselaers, E. Herlt, Exact Solutions of Einstein’s field Equations, 2nd edn. (Cambridge University Press, Cambridge, 2003)
M.M. Caldarelli, J. Camps, B. Goutéraux, K. Skenderis, AdS/Ricci-flat correspondence and the Gregory-Laflamme instability. Phys. Rev. D 87(6), 061502 (2013). arXiv:1211.2815 [hep-th]
M.M. Caldarelli, J. Camps, B. Goutéraux, K. Skenderis, AdS/Ricci-flat correspondence. JHEP 1404, 071 (2014). arXiv:1312.7874 [hep-th]
I. Bredberg, C. Keeler, V. Lysov, A. Strominger, JHEP 1207, 146 (2012). https://doi.org/10.1007/JHEP07(2012)146. arXiv:1101.2451 [hep-th]
G. Compere, P. McFadden, K. Skenderis, M. Taylor, The Holographic fluid dual to vacuum Einstein gravity. JHEP 1107, 050 (2011). arXiv:1103.3022 [hep-th]
G. Compere, P. McFadden, K. Skenderis, M. Taylor, The relativistic fluid dual to vacuum Einstein gravity. JHEP 1203, 076 (2012). arXiv:1201.2678 [hep-th]
C. Eling, A. Meyer, Y. Oz, The relativistic Rindler hydrodynamics. JHEP 1205, 116 (2012). arXiv:1201.2705 [hep-th]
S. Bhattacharyya, R. Loganayagam, I. Mandal, S. Minwalla, A. Sharma, Conformal nonlinear fluid dynamics from gravity in arbitrary dimensions. JHEP 0812, 116 (2008). arXiv:0809.4272 [hep-th]
I. Kanitscheider, K. Skenderis, Universal hydrodynamics of non-conformal branes. JHEP 0904, 062 (2009). https://doi.org/10.1088/1126-6708/2009/04/062. arXiv:0901.1487 [hep-th]
R. Emparan, R. Suzuki, K. Tanabe, Quasinormal modes of (Anti-)de Sitter black holes in the 1/D expansion. JHEP 1504, 085 (2015). arXiv:1502.02820 [hep-th]
A. Di Dato, Kaluza–Klein reduction of relativistic fluids and their gravity duals. JHEP 1312, 087 (2013). arXiv:1307.8365 [hep-th]
A. Di Dato, M.B. Fröb, Mapping AdS to dS spaces and back. Phys. Rev. D 91(6), 064028 (2015). arXiv:1404.2785 [hep-th]
A. Di Dato, J. Gath, A.V. Pedersen, Probing the hydrodynamic limit of (Super)gravity. JHEP 1504, 171 (2015). arXiv:1501.05441 [hep-th]
K. Skenderis, Lecture notes on holographic renormalization. Class. Quant. Gravity 19, 5849 (2002). arXiv:hep-th/0209067
M.M. Caldarelli, K. Skenderis, General Linearized AdS/Ricci-flat correspondence, in preparation
K. Skenderis, M. Taylor, Kaluza–Klein holography. JHEP 0605, 057 (2006). arXiv:hep-th/0603016
H.J. Kim, L.J. Romans, P. van Nieuwenhuizen, The mass spectrum of Chiral N=2 D=10 supergravity on S**5. Phys. Rev. D 32, 389 (1985)
M.J. Duff, B.E.W. Nilsson, C.N. Pope, Kaluza–Klein supergravity. Phys. Rept. 130, 1 (1986)
R. Emparan, R. Suzuki, K. Tanabe, The large D limit of general relativity. JHEP 1306, 009 (2013). https://doi.org/10.1007/JHEP06(2013)009. arXiv:1302.6382 [hep-th]
I. Kanitscheider, K. Skenderis, M. Taylor, Precision holography for non-conformal branes. JHEP 0809, 094 (2008). arXiv:0807.3324 [hep-th]
P. van Nieuwenhuizen, An introduction to simple supergravity and the Kaluza–Klein program. in Relativity, groups and topology: Proceedings, 40th Summer School of Theoretical Physics-Session 40 : Les Houches, France, June 27–August 4, 1983, vol. 2, ed. by B.S. DeWitt, R. Stora
A. Ishibashi, R.M. Wald, Dynamics in nonglobally hyperbolic static space-times. 3. Anti-de Sitter space-time. Class. Quant. Gravity 21, 2981 (2004). arXiv:hep-th/0402184
S. Lee, S. Minwalla, M. Rangamani, N. Seiberg, Three point functions of chiral operators in \(\text{ D } = 4\), \(\text{ N }=4\) SYM at large N. Adv. Theor. Math. Phys. 2, 697 (1998). arXiv:hep-th/9806074
Acknowledgements
We would like to thank P. Bentzios, J. Camps, A. Di Dato, R. Emparan, J. Gath, B. Goutéraux, G. Hartnett, D. Klemm, and O Papadoulaki for discussions at various stages of this project.
MMC is grateful for the hospitality and partial support received from Chalmers University during the “Applications of gauge/gravity duality” workshops in 2014 and 2015, and from University Surrey during the “String Geometry, Supersymmetric Theories and Dualities” in 2017; and would like to thank as well the Centro de Ciencias de Benasque Pedro Pascual for hospitality during the “Gravity – New perspectives from strings and higher dimensions” workshop. Both authors would like to thank the Galileo Galilei Institute for Theoretical Physics for the hospitality and the INFN for partial support during the completion of this work. The work of MMC is supported by the Marie Curie Intra-European Fellowship nr 628104 within the 7th European Community Framework Programme FP7/2007-2013. KS is supported in part by the Science and Technology Facilities Council Consolidated Grant “New Frontiers in Particle Physics and Cosmology”, ST/P000711/1. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant agreement No 690575.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: AdS/Ricci-flat map for the zero modes
Consider perturbations that respect the AdS/RF Ansatz (1.2) and (1.4), i.e. we only allow for perturbations that respect the sphere/torus symmetries of the original Ansatz. In the case of the perturbations of Minkowski spacetime, this means that we keep the perturbation \(h^{0}_{ab}\) of the reduced \((p+2)\)-dimensional metric and the breathing mode \(\pi \) of the sphere. These are allowed to depend on the reduced coordinates \(y^a=\{r,x^\mu \}\), but not on the coordinates on the sphere. Then, the perturbed Minkowski metric reads
which is of the form (1.4), and therefore we can directly read off the fields in the reduced theory,
Similarly, the AdS\(_{d+1}\) perturbation that preserves the symmetries of the torus – namely the metric perturbation \(h^\Lambda _{ab}(y;d)\) of the \((p+2)\)-dimensional reduced theory and the breathing mode \(\varpi (y;d)\) of the torus – gives the metricFootnote 14
Again, this is of the (1.2) form, and thus gives the reduced fields
It is convenient to further decompose the metric perturbation \(h^{0}_{ab}\) in a symmetric traceless component \(h^{0}_{(ab)}\) and its trace \(H^0(y;n)\equiv \eta ^{ab} h^{0}_{ab}\),
and we similarly decompose the metric perturbation \(h^{\Lambda }_{ab}\) in a symmetric traceless component \(h^{\Lambda }_{(ab)}\) and its trace \(H^\Lambda (y;d)\equiv \eta ^{ab} h^{\Lambda }_{ab}\),
The AdS/Ricci-flat correspondence states that any solution \((\hat{g}_{ab},\hat{\phi })\) of the AdS gravity field equations yields a solution \((\tilde{g}_{ab},\tilde{\phi })\) of the vacuum Einstein gravity field equations through the map (1.3). As a consequence, perturbations \((h^\Lambda _{(ab)}, H^\Lambda ,\varpi )\) of AdS that solve the linearized field equations are in one to one correspondence with solutions for linearized perturbations \((h^0_{(ab)}, H^0,\pi )\) of Minkowski spacetime. Concretely, the AdS/Ricci-flat prescription (1.3) applied to the perturbations (A.2) and (A.4) gives – at linear level – the following action of the map on the perturbation,
It can be readily checked that we thus map the field equations \(E^{(0)}_{AB}\) (2.2) for the linearized perturbations of Minkowski to the field equations \(E^{(\Lambda )}_{MN}\) (2.5) for the linearized perturbations of AdS. Indeed, the non trivial components of the field equations map according to
and are therefore equivalent. Note that the tensorial part mixes with the trace part of the internal manifold. This was expected, since the same happened to the full field equations in the AdS/RF map.
Note that the AdS perturbation equations \(E^{(\Lambda )}_{MN}\) can be decoupled in Fefferman-Graham gauge – that we can obtain in our formalism by imposing a radial gauge \(h_{ra}=0\). This was done in in Sect. 7 of [48]. The decoupled fields and the corresponding equations could be easily mapped back to Minkowski perturbations. We have instead decoupled the equations directly in our formalism in Sect. 6.
Appendix B: Harmonic decomposition on the sphere and the torus
1.1 B.1 The sphere \({\mathcal S}^{n+1}\) and its spherical harmonics
Consider the \((n+1)\)-dimensional sphere \({\mathcal S}^{n+1}\) with unit metric \(d\Omega _{n+1}^2=\sigma _{ij}\,d\theta ^id\theta ^j\). It is a constant curvature manifold, and its Riemann and Ricci tensors read
It follows that expressions involving covariant derivatives \({\mathcal D}_i\) (compatible to the metric \(\sigma _{ij}\)) acting on a vector \(\xi ^i\) can be simplified using the following identities,
with obvious generalizations to higher rank tensors.
Scalar, vector, and tensor functions on these spheres form infinite dimensional reducible representations of the corresponding isometry group \(SO(n+2)\), and a convenient complete set is given by spherical harmonics and their derivatives. This leads to the decomposition (2.9) for the metric perturbation: scalars can be decomposed into scalar harmonics, vectors are decomposed into a vector harmonics that is divergent-free and the gradient of scalars as a consequence of the Hodge decomposition theorem, and symmetric tensors are decomposed in traceless symmetric conserved tensor (the tensor harmonic), and derivatives of vector and scalar harmonics (see e.g. [49] or [50]).
It is straightforward to construct the spherical harmonics basis by viewing functions on the \({\mathcal S}^{n+1}\) as restrictions of smooth functions on the \(\mathbb {R}^{n+2}\) space in which the sphere is embedded, expanded in homogeneous polynomials in the cartesian coordinates (see e.g. [51]).
The defining properties for spherical harmonics on \({\mathcal S}^{n+1}\) are the following
where l, the degree, specifies an irreducible representation of the rotations group. \(\mathbb {S}^{I_\mathsf {s}}(\theta )\) are the scalar spherical harmonics and \({I_\mathsf {s}}=(l,m_i)\) is a set of quantum numbers (including l) that labels uniquely the basis elements of the representation. The vector spherical harmonics \(\mathbb {V}^{I_\mathsf {v}}_i(\theta )\) have n independent components and are hence non trivial for \(n\ge 1\). Finally, the tensor spherical harmonics \(\mathbb {T}^{I_\mathsf {t}}_{(ij)}(\theta )\) are symmetric and traceless in the sphere indices, have \((n-1)(n+2)/2\) independent components, and are hence non trivial for \(n\ge 2\). It is also worth mentioning that \(\mathbb {S}^{I_\mathsf {s}}\) is constant when \(l=0\), so terms involving its derivatives should not be taken into account when considering the s-wave. Moreover, \(\mathbb {V}^{I_\mathsf {v}}_i\) are Killing vectors of \({\mathcal S}^{n+1}\) when \(l=1\), so \({\mathcal D}_{(i} \mathbb {V}^{I_\mathsf {v}}_{j)}=0\), and the harmonic expansion contains terms proportional to \({\mathcal D}_{(i} \mathbb {V}^{I_\mathsf {v}}_{j)}=0\) only for \(l\ge 2\).
These form a complete set for functions on the sphere. Any scalar function can be written as a linear combination of the scalar harmonics \(\mathbb {S}^{I_\mathsf {s}}\); vector functions on the sphere can be expanded in vector harmonics \(\mathbb {V}^{I_\mathsf {v}}_i\) and derivatives \({\mathcal D}_i\mathbb {S}^{I_\mathsf {s}}\) of scalar harmonics; finally, symmetric traceless rank two tensors on the sphere can be expressed as a superposition of tensor harmonics \(\mathbb {T}^{I_\mathsf {t}}_{(ij)}\) and derivatives \({\mathcal D}_{(i}\mathbb {V}^{I_\mathsf {v}}_{j)}\) and \({\mathcal D}_{(i}{\mathcal D}_{j)}\mathbb {S}^{I_\mathsf {s}}\) of vector and spherical harmonics. This leads to the decomposition (2.6)–(2.9) for perturbations of Minkowski spacetime.
To conclude, we display a few properties of the spherical harmonics that we used to simplify the calculations, and can be easily obtained using the identities (B.2),
1.2 B.2 The torus \({\mathcal T}^N\) and its Fourier modes
Consider a flat N-dimensional torusFootnote 15 with metric \(d\sigma ^2=\delta _{ij}\,d\chi ^id\chi ^j\), with the coordinates \(\chi ^i\) periodic, with period \(\tau \). We want to decompose our fields in scalar, vector, and traceless symmetric tensor eigenmodes of the Laplace operator \(\Box _\chi \) on this torus, similarly to the mode decomposition in spherical harmonics that we introduced above. Since the torus is flat, it will all boil down to a Fourier decomposition of the modes. Choosing the complex Fourier basis, the scalar eigenmodes \(\mathbb S^{\mathbf {m}_\mathsf {s}}(\chi )\) are parameterized by the wave vector \({\mathbf {m}_\mathsf {s}}=(m_1/\tau ,\ldots ,m_N/\tau )\) determined by the N integers \(m_1,\ldots , m_N\in \mathbb Z\), and are given explicitly by
Here, \({\mathbf {m}_\mathsf {s}}\) is the wave vector of the mode, and we defined its dot product with the coordinates vector as \({\mathbf {m}_\mathsf {s}}\cdot \chi =\sum _im_i\chi ^i/\tau \).
The vector modes \(\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_i(\chi )\) are divergenceless (\({\partial }^i\mathbb V^{(k,{\mathbf {m}_\mathsf {v}})}_i=0\)) eigenfunctions of the laplacian operator on \({\mathcal T}^N\). They are determined by their polarization vector and wave vector, which have to be orthogonal to each other to make the modes divergenceless. We decide to label them with the pair \((k,{\mathbf {m}_\mathsf {v}})\) comprising a coordinate index k, singling out a polarization, and a wave vector \({\mathbf {m}_\mathsf {v}}=(m_1/\tau ,\ldots ,m_N/\tau )\) with \(m_1,\ldots , m_N\in \mathbb Z\) and \(m_k=0\):
For a given polarization, the allowed wave vectors form an \((N-1)\)-dimensional vector space, and therefore these vector harmonics exist for \(N\ge 2\) only. In addition, when \({\mathbf {m}^2_\mathsf {v}}=0\) (and for any N) we have N additional vector harmonics given by the N linearly independent constant vectors \(\mathbb V^{(i, 0)}_j = \delta ^i_j\), which are the Killing vectors on \({\mathcal T}^N\).
Finally, the tensorial modes \(\mathbb T^{(k,l,{\mathbf {m}_\mathsf {t}})}_{(ij)}(\chi )\) are rank two traceless symmetric tensors on \({\mathcal T}^N\), that are divergenceless and are eigenfunctions for the Laplace operator. They are determined by their polarization tensor and wave vector, which have to be orthogonal to each other for the modes to be divergenceless. We decide to label them with the triplet \((k,l,{\mathbf {m}_\mathsf {t}})\) formed by two coordinate indices \(k<l\) singling out a polarization, and a wave vector \({\mathbf {m}_\mathsf {t}}=(m_1/\tau ,\ldots ,m_N/\tau )\), with \(m_1,\ldots , m_N\in \mathbb Z\) and \(m_k=m_l=0\),
For a given polarization, the allowed wave vectors form an \((N+1)(N-2)/2\)-dimensional vector space, and therefore these tensor harmonics exist for \(N\ge 3\) only. In addition, when \({\mathbf {m}^2_\mathsf {t}}=0\) and \(N \ge 2\), there are special tensor harmonics given by the constant symmetric traceless tensors, \(\mathbb T^{(k,l, 0)}_{(ij)} = \frac{1}{2}\left( \delta ^k{}_i\delta ^l{}_j+\delta ^l{}_i\delta ^k{}_j\right) -\frac{1}{N} \delta _{ij} \delta ^{kl}\), \(k \le l\).
It is worth remembering that when \({\mathbf {m}^2_\mathsf {s}}=0\), \({\mathbf {m}^2_\mathsf {v}}=0\), or \({\mathbf {m}^2_\mathsf {t}}=0\) the corresponding modes are constant and their derivatives vanish.
Since the torus is flat, derivatives commute and we have also
Finally, the following relations turn out to be useful,
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Caldarelli, M.M., Skenderis, K. Kaluza–Klein reductions and AdS/Ricci-flat correspondence. Eur. Phys. J. C 78, 590 (2018). https://doi.org/10.1140/epjc/s10052-018-6058-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6058-8