Spin-2 excitations in Gaiotto-Maldacena solutions

In this paper we study spin-2 excitations for a class of $\mathcal{N} = 2$ supersymmetric solutions of type-IIA supergravity found by Gaiotto and Maldacena. The mass spectrum of these excitations can be derived by solving a second order partial differential equation. As specific examples of this class we consider the Abelian and non-Abelian T-dual versions of the $AdS_5 \times S^5$ and we study the corresponding mass spectra. For the modes that do not"feel"the (non-)Abelian T-duality transformation we provide analytic formulas for the masses, while for the rest we were only able to derive the spectra numerically. The numerical values that correspond to large masses are compared with WKB approximate formulas. We also find a lower bound for the masses. Finally, we study the field theoretical implications of our results and propose dual spin-2 operators.


Introduction and summary of results
In the last two decades there have been significant developments towards the understanding of the strongly coupled dynamics of supersymmetric quantum field theories in four dimensions. In this paper we will study N = 2 supersymmetric theories using holography [1]. One can understand these theories as arising from stacks of NS5 and D6 branes with D4 branes stretching and intersecting them. At low energies the world-volume theory of the D4 − NS5 − D6 brane arrangement is described by linear quiver gauge theories with product SU(N c ) gauge groups connected by bi-fundamental fields and SU(N f ) fundamental matter for each gauge group associated to the D6-branes. In the conformal case these theories preserve SO(4, 2) × SU(2) × U(1) isometries and arise as a compactification of M5 branes on a punctured Riemann surface [2].
Gravitational solutions holographically dual to these theories were found by Gaiotto and Maldacena in [3]. Based on the previous work by LLM [4], it was found that by considering a smearing of the M5 branes along the eleven dimensional coordinate one can reduce these solutions to type-IIA supergravity. This generates a whole class of solutions in terms of a function solving an axisymmetric Laplace equation with appropriate boundary conditions that ensure regularity of the solution and proper quantization of D-brane fluxes. Given a solution one can construct the dual quiver field theory with the rules spelled out in [3] (see also [5]). One can then use holography to compute observables and learn about the N = 2 theories at strong coupling. Recently, using this approach, several new formulas computing field theory observables in terms of geometric data were presented in [6]. Generic solutions for this class of geometries and some particular interesting examples were studied in [5,7,8,9]. Finding new examples belonging to this class of geometries however is challenging and solution generating techniques like non-Abelian T-duality have proven to be very useful to construct new examples [10].
In this paper we obtain the linearized equations of motion for the fluctuations of the type-IIA supergravity fields around an arbitrary background. We restrict our attention to a consistent truncation, namely that of spin-2 excitations of the N = 2 geometries discussed above. As a result we have to deal with a second order differential equation which coincides with the analysis in [11] (see also [12,13,14,15,16] for similar studies of the spin-2 excitations). We provide a generic expression for the wave operator given in terms of the function that solves the axisymmetric Laplace equation. We use the above operator to study the spectrum of two interesting examples. The first of them is the Abelian (Hopf) T-dual (ATD) of the AdS 5 × S 5 solution [17,18]. Regardless this solution does not satisfy the appropriate boundary conditions for the axisymmetric Laplacian, it is still a good solution. The second example is the Sfetsos-Thompson solution [10] obtained after applying non-Abelian T-duality (NATD) along the SU(2) isometries inside the S 5 of the maximally supersymmetric solution in the type-IIB supergravity. It turns out that this solution defines a singular geometry. Despite this issue, this solution has some interesting properties that make it stand out from others belonging to this class of geometries. For instance, it was shown to be an integrable background [19] as opposed to the generic "smooth" non-singular solutions of the large class of Gaiotto-Maldacena geometries [20,21]. A detailed study of the field theory dual of the Sfetsos-Thompson solution including a completion to the geometry can be found in [18].
It is worth noticing that the ATD solution can be obtained as a limiting case of the NATD one 1 [18]. We also see this relation at the level of the operators describing the spin-2 excitations. Using holography we can then shed some light towards the understanding of the operator spectrum of the dualized solutions. In the BMN limit this problem was studied in [23].
In order to analyze the spin-2 spectrum of the solutions, we transformed the equation for the fluctuations into a Schrödinger-like problem of a particle in certain potential. The resulting potential is very similar to the one considered in the study of marginal deformations of supersymmetric backgrounds [24,25]. In both ATD and NATD examples we were able to find analytic solutions only for the zero value of a quantum number n. For non-zero values of this quantum number we solved the equation numerically using the shooting method. For large masses we compared these solutions with a WKB analysis finding agreement. The analysis of the NATD solution shows a continuous spectrum of masses. This issue is associated with the fact that the "field space" coordinate ρ in the solution is unbounded. A discrete spectrum arises whenever we bound the value of this coordinate. This hard cut-off in the geometry is ascertained by placing D6 branes at a certain position ρ * [18]. The situation with the ATD solution is very similar, though in this case the "field space" coordinate is periodic giving rise to a discrete spectrum.
The analysis of the spectrum of the above discussed examples gives states dual to spin-2 operators of 4d N = 2 SCFTs described by linear quivers involving vector multiplets as well as hypermultiplets in the bifundamental representation. Such operators have dimension ∆ = 4 + 2 + |m| + ν. We use the field content of the dual SCFTs in order to define an intuitive structure of these spin-2 operators with the appropriate dimension and R-charges.
The paper is organized as follows. In section 2 we briefly review the Gaiotto-Maldacena class of geometries. In section 3 we study the spin-2 excitations of these geometries by perturbing the metric components along the AdS 5 sector. We write down a generic expression for the op- 1 Though the dilaton and the RR fields did not match, this issue was solved in [22]. erator describing the fluctuations in terms of the function that solves the axisymmetric Laplace equation. In section 4 we study the spectrum of two particular examples of Gaiotto-Maldacena geometries: the ATD and NATD solutions. In both cases we performed analytical as well as numerical methods to obtain the spectrum and its lower bound. In section 5 we discuss the field theory interpretation of our results. We conclude in section 6 with a brief summary of our results and future directions. We provide detailed appendices with the machinery needed to present the results of this paper. Appendix A is a compendium of formulas that are useful to derive the fluctuation equations. Appendix B contains the equations for the fluctuations of all the fields in type-IIA supergravity in the Einstein frame. Finally in appendix C we discuss the WKB approach that we used to give support to our numerical study of the spectrum in section 4.
Note added: When we were finishing this paper we became aware of [16] which has some overlap with the content of our section 3.

Gaiotto-Maldacena solutions
The theories that we are going to deal with here are N = 2 supersymmetric solutions of the type-IIA supergravity, which have been found in [3] and whose metric in the Einstein frame has the following form: with dΩ 2 2 = dχ 2 + sin 2 χdξ 2 being the line element of a two-sphere. The dilaton Φ and the functions f i depend only on the coordinates (η, σ) and they can be expressed in terms of a function V(η, σ) as: Notice that due to the normalizations we adopted here the AdS 5 space has a unit radius. Moreover, primed symbols correspond to derivatives with respect to η while dotted symbols correspond to the action of the operator σ∂ σ .
The geometry of this class of solutions is supported by a NS two-form and a set of RR poten-tials: where Vol Ω 2 = sin χdχ ∧ dξ is the volume form on the two-sphere Ω 2 and the RR fields F 2 and F 4 are defined through the potentials C 1 and C 3 as F 2 = dC 1 and As it is understood by the previous expressions, any background that fits into the Gaiotto-Maldacena classification is fully determined by the function V(η, σ). However this function is not arbitrary but instead it has to satisfy the following second order differential equation: In addition, the above equation is supplemented with boundary conditions for the function V(σ, η) and its derivatives that fully determine the solution and ensure the geometry and matter fields obtained via (2.2) are regular and properly quantised. We requiere V(σ → ∞, η) → 0. In addition, by defining the charge density λ(η) the remaining boundary conditions reaḋ The above function is also required to be piece-wise continuous, made out of linear segments The change in slope a i between consecutive segments must be in addition an integer and is related to the presence of D6 branes in the geometry. Therefore a background constructed by a givenV satisfying the above conditions is dual to 4d N = 2 SCFTs of the GM class.
In the section that follows we will study perturbations of the metric (2.1) along the AdS 5 directions.

Metric perturbations
In this section we look for a consistent truncation of the equations for the fluctuation of the supergravity fields. Before we start this analysis it is worth to mention some properties of the geometry of the solutions that we are interested in. The first property is that the metric in the Einstein frame is conformal to a direct sum of two five-dimensional spaces. More specifically it is conformal to the sum of AdS 5 with a five-dimensional internal space M 5 : Thus, it is useful to adopt the following notation for the indices: where the metric componentsg µν depend only on x andg mn only on y. Using matrix notation the metric reads:g The second important property of the geometries that we are going to consider is that the metric is diagonal.
Next we would like to turn on only the fluctuations of the metric components along the AdS 5 sector, while the fluctuations of the rest of the fields are taken to be zero, i.e. we take into account only the following: or In addition we take h µν to factorize as: Under these considerations we see that the fluctuation of the dilaton equation and also those for the Maxwell equations are trivially satisfied. However from the Einstein equations we see that the only terms that contribute are: where the notation ofÃ 2 p is explained in appendix B.2.1. In order to simplify the above expression we took into account the structure of the background fields (coordinate dependence and index structure) of the Gaiotto-Maldacena solutions. This can be further simplified if we change the order of the covariant derivatives of the first two terms. Using A.7, we get: The first term vanishes due to the transversality condition. Now the Einstein equation becomes: (3.10) We recall that the Riemann and Ricci tensors of the AdS 5 of unit radius are: Therefore, the equation that we need to solve is: It turns out that, for all the solutions that belong to the Gaiotto-Maldacena class, the term in square brackets equals to −8, thus the equation that we have to solve is: Notice that the last two terms can be written as: This has exactly the same form as the operator L (1) in [12]. Also, since the indices of h µν are along the AdS 5 subspace we understand that h µν behaves like a scalar for the covariant derivative∇ m and the operator L. Now the action of L on a scalar f can be written as: Moreover, the equation (3.14) can be recognized as the equation of motion of a massive graviton of mass M propagating in AdS 5 [26,27]. This is given by the Pauli-Fierz equation: Using this, the equation (3.14) reduces to an eigenvalue problem for the operator L: In terms of the coordinates of the metric (2.1) the operator L has the following form: where ∇ 2 (2) is the Laplace operator on the two-sphere Ω 2 . This operator looks quite complicated and for this reason finding its eigenvalues for the general case of an arbitrary solution of (2.4) is a non-trivial task. However, as we will immediately see in the following section, one can focus on specific solutions of (2.4) which lead to a solvable eigenvalue problem for the operator L.

The spin-2 spectrum
It is known [10,18] that the T-dual of AdS 5 × S 5 as well as its non-Abelian T-dual version are both examples of Gaiotto-Maldacena backgrounds. This fact motivates us to look for solutions of the eigenvalue problem (3.18) in the aforementioned two cases. This is feasible because as we will see shortly the operator L simplifies significantly in both examples. Let us see this in more detail.

Operator L in the ATD
The Abelian T-dual solution is derived by the Gaiotto-Maldacena ansatz by choosing the potential V(η, σ) to be [18]: One has also to perform a change of coordinates in the following manner 2 : As a result, we end up with a simple expression for the operator L: where ∇ 2 (2) is the Laplace operator on the two-sphere Ω 2 (χ, ξ).

Operator L in the NATD
In the non-Abelian T-dual case the potential V(η, σ) reads [10]: The change of coordinates that gives the NATD solution is the same as in eq. (4.2) where now we are going to rename ψ by ρ 3 . The operator L in this case is: This operator organizes nicely in terms of a Laplacian on the two-sphere Ω 2 (χ, ξ) and a Laplacian in spherical coordinates (terms in the parenthesis) on the three-dimensional Euclidean space parametrized by the radial coordinate ρ and the two-sphere Ω 2 (χ, ξ). The eigenfunctions of the last are spherical Bessel functions that depend on the eigenvalue . Notice that at ρ 1 we have Let us now try to solve the eigenvalue problem for the operators L ATD and L N ATD starting with the Abelian T-dual example.

The ATD case
The form of the operator L ATD suggests that we should expand Y(y) in eigenfunctions of the where Y k 4 are the spherical harmonics on the two-sphere Ω 2 (χ, ξ) and f m,n, (α) are functions to be determined. Using such an expansion the eigenvalue problem (3.18) translates to a second order differential equation for the functions f m,n, (α): where for convenience we have suppressed the indices m, n, in the function f (α). If we perform the following change of variables: then the differential equation that we have to solve becomes: For n = 0 this equation can be brought into a hypergeometric form and thus it can be solved analytically. For n = 0 the above equation has two regular singular points at z = 0, 1 and one irregular singular point at z = ∞. Thus it can be brought to the form of a confluent Heun equation by setting: Indeed, if we do this the function f has to satisfy the following DE: which is the confluent Heun equation.
Eq. 4.7 can also be put in a form of a Schrödinger-like problem. To do this we redefine f (α) as: Then the functionf(α) satisfies the Schrödinger equation: where the potential V(α) is: Potentials of this type were also considered in the study of marginally deformations of supersymmetric backgrounds [24,25]. To the best of our knowledge, it is still not known how to solve analytically eigenvalue problems with potentials like the one above and thus we will use numerical methods.

The analytic case n = 0
Let us consider now the case where n = 0. It is easy to see that the confluent Heun equation (4.11) reduces to a hypergeometric differential equation: where the constants a, b, c are given in terms of the eigenvalues , m and the mass M through the following relations: The hypergeometric equation above admits two linearly independent solutions. Since in our case c is a non-negative integer one of the two solutions is singular at z = 0 and thus we will not consider it. Hence the only permissible solution is: However in our case c − a − b = −2 − 1 < 0. For this reason the behavior of the hypergeometric function near z = 1 is given by the formula [28]: Thus the only way to make the solution (4.10) regular at z = 1 is to require that a = −ν with ν = 0, 1, 2, . . . . From this condition we end up with the following tower of masses and conformal dimensions: Taking κ = 2(ν + ) + |m| we can write the above formula as: The last formula matches the result found in [29] for the excitations of the metric along the AdS 5 directions in the case of AdS 5 × S 5 . This is expected as the modes with n = 0 that we considered here are inert under the T-duality transformation.

4.1.2
The non-analytic case n = 0 As it was already mentioned, we are not aware of any method that allows us to solve eq. (4.9) analytically for n = 0. For this reason we restrict ourselves to find an approximate formula for the masses M which is valid for large enough values of M. This can be done using the WKB method of the appendix C.
In order to be able to apply the WKB method we first have to express eq. (4.9) in terms of a suitable variable which we call r and it is related to z as: The next step is to bring eq. (4.9) into the form (C.1). As a result, the functions p(r), w(r) and q(r) of eq. (C.1) are: Expanding these functions in the vicinity of the two end-points we find: and The reason for keeping more terms in the expansions of the function q(r) is to exploit all the different possibilities that one can obtain from its asymptotic behavior. More specifically, one can consider the cases where (m = 0, = 0) or (m = 0, = 0) or (m = 0, = 0) or (m = 0, = 0). It turns out that all of them give the same WKB formula for the masses, which is: Notice that the previous formula does not depend on the quantum number n.
As an independent check, we solved eq. In order to illustrate that the masses do not depend on the quantum number n as M is getting higher and higher, we plot the tower of masses for fixed values of m and and different values of n. In the figure below, each line corresponds to a different value of n. It turns out that the lines tend to merge in the sector of large masses. The above feature is not manifest when we fix n and m and vary or when we vary m while keeping n and fixed. This can be seen in the following plots where any possible convergence of the different lines seems to happen much slower compared to the figure 2.

Bound on the spectrum
We will now recast eq. (4.11) in the Sturm-Liouville fashion: This is done for: Let us also introduce the following inner product with respect to the weight function W(z): We will impose boundary conditions such that two eigenfunctions of different eigenvalues are orthogonal. Then we have: (4.31) If we multiply the first by f 2 and the second by f 1 and then subtract them we find: Integrating the last from 0 to 1 we get: (4.33) Hence we impose: which in our case is satisfied as long as f and df/dz are finite at the endpoints of the interval [0, 1], or if they diverge they do it slow enough.
We can now derive a lower bound for the mass spectrum in the following way. From the Sturm-Liouville equation (4.27) we have: which implies that λ ≥ 0 or: Notice that the bound does not depend on the number n.
Obviously the spectrum we found in eq. (4.20) satisfies the above bound and it saturates it for ν = 0. From the numerical analysis we get strong evidence that the bound is not violated for non-zero values of n, as it can be seen in the figures 2 and 3.

The NATD case
Though in the non-Abelian T-dual case things seem to be similar to the Abelian example, one has to be careful with the range of the coordinate ρ as it runs in the semi-infinite interval [0, +∞).
The unboundedness of the ρ coordinate makes the NATD solution a non-regular solution of the Laplace equation (2.4) since it does not satisfy the last of the boundary conditions in eq. (2.5). We will see in this section that our analysis will set a bound to this coordinate.
The separation of variables scheme for the operator L N ATD is: where j (nρ) are the spherical Bessel functions that are regular at the origin. This scheme leads to the differential equation (4.7) where now the index n is continuous. As a result one expects a non-discrete spectrum of masses with respect to the index n. Notice however that the space of admissible solutions of the eigenmode equation must involve normalizable eigenfunctions. That is to say that the measure C m, ,k,n in the effective action for the 5d graviton must be finite. The effective action results from the second variation of the type-IIA supergravity action and in our case it is m, ,k,n µν , C m, ,k,n = 1 Again, the functions f m,n, (α) must satisfy the DE (4.7), but now the parameter n has to be replaced by n s . Consequently, when n s = 0, it is possible to find analytic solutions for (4.7).
Since we are dealing with the same DE, one expects to find the same mass spectrum as in eq.
where c n are the Fourier coefficients associated to λ(η). Eventhough our analysis in this section was based on the NATD solution one can prove that the bound in the mass found in eq. (4.36), and correspondingly the dimension for the operators, is universal for the MG class of solutions described by eq. (4.41) in agreement with the results in [16]. In addition to this, it can be shown that the solution in eq. 4.41 -using Poisson resumation formula-close to σ, η ∼ 0 behaves as the NATD solution (see e.g. [6] for details). This suggest that the NATD solution gives a good description of the physics as long as we are in this parameter region, far away from the end of the space determined by the finite range of η (or ρ in our notation). Interestingly, the absence of D6 branes in the NATD solution is the key feature for integrability [19], contrary to the generic solutions of the MG class. We will propose in the next section operators belonging to this integrable subsector, that is to say when fundamental fields are not considered.

Some comments about the field theory interpretation
In this section we close with some comments related to the field theory interpretation of our analysis.

Figure 4: Dual quivers associated to the ATD (left) and NATD
(right) solutions. We use N = 1 language to represent N = 2 hypermultiplets with two arrows.
Generic SCFTs dual to MG class of solutions are described by linear quivers with product gauge groups ∏ n i=1 SU(N i ) and 4d N = 2 supersymmetry with SU(2) R × U(1) r R-charge. The field content of the theory involves a vector multiplet for each gauge node as well as hypermultiplets transforming in the bifundamental representation of consecutive gauge groups. In addition we have fundamental fields attached to particular gauge nodes.
We studied the spin-2 spectrum associated to two interesting examples dual to the above SCFTs. Following the rules spelled out in [3] the quivers encoding the information of the field theory duals to the ATD and NATD solutions were worked out in [18]. The field theory dual to the ATD is described by a circular quiver and describes the Z k orbifold projection of N = 4 SYM.
The dual quiver for the NATD solution is given by a linear quiver of infinite size (see figure 4). In the following, we will mostly concentrate the discussion on the NATD case.
As pointed out, the dual field theory to the NATD solution corresponds to an infinitely long linear quiver with gauge group ∏ ∞ p=1 SU(pN 6 ). The infiniteness of the linear quiver represents a problem whenever we compute certain physical observables [18]. The results of the preceding section showed that in order for the spin-2 spectrum to have a well-defined Hilbert space for the eigenfunctions of the wave operator it is necessary to restrict the infinite range of the ρ coordinate to a finite one. The boundedness of the ρ coordinate in the geometry implies, for the dual field theory, the finiteness of the linear quiver. A consistent way to obtain a finite quiver is ascertained by adding extra fundamental fields attached, for instance, to the last gauge node the number of which such that we preserve conformal symmetry. This is yet another way to see that the field theory dual to the NATD needs to be completed and is along the lines of the CFT completions studied in [18].
In the previous section we showed that both ATD and NATD solutions (for ν = 0) have spin-2 operators with dimension ∆ = 4 + 2l + |m| where and m are identified with the SU(2) and U(1) spins respectively. The structure of the multiplets containing the spin-2 states with the corresponding dimension dual to the MG class of solutions were identified in [16]. Using the notation where j, j label the representation of the conformal algebra, the two-sided chiral multiplets and the representative primaries are We can then use the field content of the theories we studied here in order to construct operator candidates dual to the spin-2 states belonging to the above multiplets. Intuitively they may involve a gauge invariant combination of fields times the stress energy momentum tensor which is dual to the massless spin-2 state and has dimension 6 ∆ = 4.
Let us start with the ATD case. As discussed above the dual quiver is circular containing with R-charge (2l, 2m) where I is an SU(2) R index. This operator may be thought of as generalizations of the BMN operators studied in [23]. In the NATD solution this kind of operators are not well-defined since they will have a very long dimension -infinite-and therefore they will be so heavy to be excited. We do not expect them to be part of the 4D N = 2 dynamics. This is in fact due to the infiniteness of the quiver describing the dual SCFT. As we discussed before in order for the quiver to be finite we need to add extra fundamental fields.
In the absence of fundamental fields, there are still well-defined operators that we can study.
As we pointed out at the end of the last section, the NATD solution is the universal behaviour of any solution belonging to the MG class close to σ, η ∼ 0. One may then expect to define operators in the regime where we can ignore the presence of flavours. For instance, we can form mesons with the bifundamentals in the hypers M a b = A a α B α b . A spin-2 operator then may have the form of a dimeric-like operator [32] with R-charge (2 , 2m). We argue this operator belongs to the integrable subsector of generic SCFTs dual to MG class of solutions according with the results of [19].
To conclude this section let us mention that the above analysis goes through also for ν = 0. In this case we can add SU(2) R or U(1) r singlets inside the trace of the operators (5.2) and (5.3) to achieve the ν dependence in the dimension.

Discussion
In solution AdS 5 × S 5 . The wave operator for these solutions turned out to be the same when the "field space" coordinate ρ of the NATD solution is large. We were able to find an analytic solution for the spectrum only when the quantum number n vanishes. For the rest of the spectrum we resort on numerical methods. For large masses we showed that our results are in perfect agreement with WKB expectations. Since in the ATD case the "field space" coordinate is compact, we obtained a discrete spectrum of masses. A bound for these masses was found. However, in the NATD case, the "field space" coordinate is unbounded, which originates a continuous spectrum of masses. By imposing a hard cut-off in the geometry that bounds the value of this coordinate a discrete spectrum of masses emerged. We conclude our work with a field theory interpretation of the spin-2 excitations in the two examples of our interest by proposing dual operators belonging to the multiplets of the SCFTs dual to generic MG class of solutions identified in [16].
An immediate application of the equations for the fluctuations written in the appendices is to study the full spectrum of excitations for any solution in type-IIA supergravity. In particular, the marginally deformed Gaiotto-Maldacena solutions studied in [6]. These geometries are also characterized by the function V(σ, η) that solves the Laplace equation (2.4). It is then possible to write down generic formulas in terms of this function to calculate the full spectrum. We plan to report these results in a future collaboration.
ship FPU14/06300. The work of S. Z. is supported by the National Natural Science Foundation of China (NSFC) grant 11874259.

A Useful formulas
In this appendix we list some of the most useful formulas and identities that are necessary to derive the linearized equations of motion for the fluctuations of the supergravity fields.

A.1 List of formulas in the Riemannian geometry
The Christoffel symbols and the covariant derivatives acting on tensors are given by: Notice that when the upper index of the Christoffel symbols is contracted with one of its lower indices then: where g := det g MN .
The Riemann tensor is defined through the Christoffel symbols as: In this form it is clear that the Riemann tensor is antisymmetric under Σ ↔ N. The Ricci tensor is defined by contracting the first and third indices of the Riemann tensor, i.e.
Obviously the Ricci tensor is symmetric under the exchange of its indices. Finally the Ricci scalar is given by the contraction of the Ricci tensor with the metric: Another useful object is the commutator of two covariant derivatives acting on a tensor. This can be written in terms of the Riemann tensor as:

A.2 Metric variations
We consider variations around the background metricḡ MN of the form: where: We will also take all the geometric quantities (such as the Christoffel symbols, the covariant derivatives, the Riemann and Ricci tensors and also the Ricci scalar) to be constructed with the background metricḡ MN . As a consequence: The variation of the Christoffel symbols reads: (A.11) Using the above we can compute the variation of the Riemann tensor which simply becomes: From this we find that the variation of the Ricci tensor is: Finally, for the variation of the Ricci scalar we have: (A.14)

A.3 Conformal rescalings
Let us now consider the conformal rescaling of the background metric to be: Using this, the Christoffel symbols constructed with the background metricḡ MN are given by: Notice that T P MN is symmetric in its lower indices, i.e. T P MN = T P N M . Moreover here we raise/lower the indices usingg MN .
Using the above we can write the Riemann tensor as: The Ricci tensor is found after contracting Λ with Σ in the expression above giving: where D is the dimension of the spacetime. From this we can obtain the Ricci scalar: Another useful quantity is the variation of the Christoffel symbols in terms of the metricg MN .
From the first eq. in (A.11) this is found to be: where for convenience we set:

B.1 The equations of motion of the type-IIA supergravity
Let us start by writing the equations of motion for the type-IIA supergravity fields [12]: Using this we can re-write eq. (B.2) as:

B.2 Fluctuations of the equations of motion
Here we derive the linearized equations of motion for the fluctuations of the supergravity fields.
For this purpose we consider the following perturbation scheme: where we use the bar notation for the background values of the various fields. Notice that the background metricḡ MN is the metric in the Einstein frame which is conformally related to the metricg MN through a warp factor as in eq. (A.15). Let us now continue with the fluctuations of the equations of motion.

B.2.1 The Einstein equation
Before we start fluctuating the Einstein equation (B.1) we would like to re-write it in a more uniform way as: We also introduce the dot product for a tensor A p as: where we use the bar and tilde notation in order to stress that the indices are raised with the background metricsḡ MN andg MN respectively. After some algebra one ends up with: γ p e 2(1−p)A+α pΦ δA p M · Ã p N + Ã p M · δA p N − β p h MNÃ

B.2.2 The dilaton equation
If we consider the fluctuation of the dilaton equation (B.7) we arrive at the following result: (B.14)