arxiv: v2 [hep-th] 16 Mar 2017

Transcription

1 Mass-deformed ABJM Theory and LLM Geometries: Exact Holography Dongmin Jang 1, Yoonbai Kim 1, O-Kab Kwon 1, D. D. Tolla 1, 1 Department of Physics, BK1 Physics Research Division, Institute of Basic Science, arxiv: v [hep-th] 16 Mar 017 Sungkyunkwan University, Suwon , South Korea University College, Sungkyunkwan University, Suwon , South Korea dongmin@skku.edu, yoonbai@skku.edu, okab@skku.edu, ddtolla@skku.edu Abstract We present a detailed account and extension of our claim in arxiv: We test the gauge/gravity duality between the N = 6 mass-deformed ABJM theory with U k N U k N gauge symmetry and the 11-dimensional supergravity on LLM geometries with SO4/Z k SO4/Z k isometry, in the large N limit. Our analysis is based on the evaluation of vacuum expectation values of chiral primary operators from the supersymmetric vacua of mass-deformed ABJM theory and from the implementation of Kaluza-Klein holography to the LLM geometries. We focus on the chiral primary operator with conformal dimension = 1. We show that O =1 = N 3 f =1 for all supersymmetric vacuum solutions and LLM geometries with k = 1, where the factor f is independent of N. We also confirm that the vacuum expectation value of the the energy momentum tensor is vanishing as expected by the supersymmetry. We extend our results to the case of k 1 for LLM geometries represented by rectangularshaped Young-diagrams. In analogy with the Coulomb branch of the N = 4 super Yang-Mills theory, we argue that the discrete Higgs vacua of the mabjm theory as well as the corresponding LLM geometries are parametrized by the vevs of the chiral primary operators. 1

2 Contents 1 Introduction 3 Vacua of the mabjm Theory and the LLM Geometries 5.1 Supersymmetric vacua of the mabjm theory LLM geometries and their droplet picture Vevs of CPOs in mabjm Theory CPOs in ABJM theory vevs of CPO in mabjm Theory KK Reduction and Gauge Invariant Modes dimensional gravity equations of motion Fluctuations on AdS 4 S Expansion in S 7 spherical harmonics Gauge invariant fluctuations KK reduction The equations for spin zero fields The equations for spin one fields The equations for spin two fields Exact KK Holography for LLM Geometries 5.1 Asymptotic expansion of the LLM geometries Asymptotic expansions for the physical modes in 4 dimensions Comparison with field theory results Conclusion 30 A Spherical Harmonics on S 7 3 A.1 Scalar Spherical Harmonics A. Vector Spherical Harmonics A.3 Scalar spherical harmonics on S 7 with SO4 SO4 symmetry A.4 C I1= and C = B Asymptotic Expansions 36 C Proof of

3 1 Introduction Gauge/gravity duality conjecture states an equivalence between a theory of quantum gravity in d + 1-dimensional spacetime and a quantum field theory QFT on the d-dimensional boundary of the spacetime [1 3]. In its original context [1], the duality was conjectured for string/m theory on AdS d+1 X, with a compact internal manifold X, and conformal field theory CFT living on d-dimensional boundary of the AdS space. Having the application to realistic theories like QCD in mind, the extension of the conjecture to non-conformal field theories was pursued soon after [4]. In particular, the conjecture was extended to QFTs that are obtained from the CFTs either by adding relevant operators to the action or considering vacua where the conformal symmetries are broken spontaneously. A d-dimensional QFT, which is obtained as a result of either of those deformations, is dual to a string/m theory on a spacetime geometry which is asymptotically AdS d+1 X. However, there is no complete formulation of string/m theory on a curved background. Hence, the duality is mainly tested in the limit of a weakly curved classical gravity, which corresponds to taking the limits of large N as well as large t Hooft coupling constant λ, N being the rank of the gauge group. One of the tests of gauge/gravity duality involves the calculation of the vacuum expectation values vevs of gauge invariant operators in the large N and λ limits. On the field theory side, the calculation follows the usual perturbation expansion where the divergences in the bare quantities are subtracted using the standard renormalization procedure. When those gauge invariant operators are chiral primary operatorscpos in highly supersymmetric gauge theories, the vevs are protected from quantum corrections by the supersymmetry and they are determined in the classical limit. The corresponding procedure on the gravity side goes as follows. Given a supergravity solution which is asymptotically AdS d+1 X, it is expanded in terms of harmonic functions on the compact manifold. The compactification results in towers of Kaluza-Klein KK modes in d + 1-dimensional gravity theory. The gauge/gravity correspondence dictates that for every gauge invariant operator on the field theory side there is a corresponding gravity field among these KK modes. The vev of the gauge invariant operator is then determined by applying the holographic renormalization procedure [5] to those KK modes in the d+1-dimensional gravity theory [6 8]. For a CPO of conformal dimension, the vev which is obtained using this procedure is proportional to the coefficient of z in the asymptotic expansion of the dual scalar field, z being the holographic coordinate of the AdS space. This procedure was implemented to determine the vevs of CPOs in the Coulomb branch of the N = 4 super Yang-Mills SYM theory and the dual typeiib string theoryonaspacetime geometrywhich isasymptotically AdS 5 S 5 [6,7]. In [9], we reported a summary of our work which shows an exact gauge/gravity duality relation for large N. Our analysis is based on the 3-dimensional mass-deformed 3

4 Aharony-Bergman-Jafferis-Maldacena theory mabjm of massive M-branes, which has N = 6 supersymmetry and U k N U k N gauge symmetry, where k is the Chern-Simons level [10, 11]. The mass-deformed theory is obtained from the original ABJM theory [1] by adding a relevant deformation which preserves the full supersymmetry as well as the gauge symmetry while the conformal symmetry is completely broken and the SU4 global symmetry is reduced to SU SU U1. The mabjm theory supports sets of discrete Higgs vacua, which are expressed in terms of the GRVV matrices with numerical valued matrix elements [11]. The calculation of the vevs of CPOs in the large N limit is possible due to the existence of these discrete vacua. Since the mabjm theory is obtained from the deformation of a CFT by relevant operators, the spacetime geometry of the dual gravity theory should be asymptotically AdS 4 X. It was predicted that for the gauge theory describing massive M-branes, the dual gravity theory is M-theory on the 11-dimensional Lin-Lunin-Maldacena LLM geometry [13, 14]. Indeed, the LLM geometry with Z k orbifold and SO,1 SO4/Z k SO4/Z k isometry is asymptotically AdS 4 S 7 /Z k. In line with this prediction a one-to-one correspondence between the vacua of the mabjm theory and the LLM geometry was obtained [15,16]. See also [17 19] for related works. In this paper, we quantitatively test the above gauge/gravity duality in terms of the vevs of CPOs. On the field theory side, some of the classical vacuum solutions are protected from quantum corrections due to the high number of supersymmetry. The vevs of CPOs are determined by those supersymmetric vacua. We calculate the vevs of the CPO with conformal dimension = 1 for all possible supersymmetric vacua of the mabjm theory for large N and general k. On the gravity theory side, we start with equations of motion on AdS 4 S 7 background in 11-dimensional supergravity. In order to obtain the 4-dimensional equations of motion, we implement the KK reduction procedure on S 7. The LLM solutions were obtained in some unknown gauge. In order to solve the 4-dimensional equations using the LLM solutions, we need to write the equations with gauge invariant combinations for KK modes 1. Ingeneral, thekkreduction leadstocubicorhigher orderinteractiontermsamong the KK modes, which results in non-linear equations of motion. When we are interested only in the CPO with conformal dimension = 1, the linearized equations are sufficient. However, for CPOs with, one has to consider non-linear equations [1], where some non-trivial field redefinitions are required to relate 4-dimensional and 11-dimensional fields. See [6, 4] for non-linear results on the AdS 5 S 5 background. Here we focus on the = 1 case. According to the gauge/gravity dictionary [,3], we read the vevs from the 1 For the linearized equations of motion on AdS 4 S 7 background in de Donder gauge, see [0]. It is important to note that, recovering the equations of motion of gauge invariant fields from those of the fields in the de Donder gauge is not straightforward. 4

5 asymptotic expansions of the KK scalar modes. As a result, we obtain an exact holographic relation which is given by O =1 = N 3 f =1, 1.1 where we consider the k = 1 case, f is a function of the conformal dimensions and also depends on some parameters of the LLM solutions, but does not depend on N. For a given N the number of supersymmetric vacua is equal to the partition of N and the above result is valid for all supersymmetric vacua [15,16]. We also extend this result to k > 1, however, for some specific types of the LLM solutions. The paper is organized as follows. In section, we summarize the one-to-one correspondence between the discrete supersymmetric vacua of the mabjm theory and the LLM solutions with Z k orbifold. In section 3, we discuss CPOs in the ABJM theory and obtain the vevs of the operators in the case = 1. In section 4, we apply the KK reduction to 11-dimensional supergravity equations of motion and obtain linearized equations for 4- dimensional gauge invariant KK modes. In section 5, we use the method of holographic renormalization to read the vevs of CPO with = 1 from the asymptotic expansion of the LLM solutions and compare the field theory and the gravity results. In section 6, we draw some conclusions and discuss some future directions as well. We also include three appendixes where we discuss some general features of spherical harmonics on S 7, give some details about asymptotic expansions of the LLM solutions as well as the proof of equation Vacua of the mabjm Theory and the LLM Geometries The N = 6 ABJM theory with UN k UN k gauge group is a superconformal CS matter theory with CS level k and it describes the low energy dynamics of N coincident M-branes on the C 4 /Z k orbifold fixed point [1]. One interesting feature of the ABJM theory is that it allows supersymmetry preserving mass deformation [10, 11]. That is, the resulting mass-deformed theory called the mabjm theory has still N = 6 supersymmetry though the conformal symmetry of the original theory is broken under the deformation. This deformation is achieved by adding some terms to the Lagrangian of the ABJM theory, which break the global SU4 symmetry to SU SU U1. Solving the classical vacuum equation of the mabjm theory, it was shown that the classical vacuum solutions are discrete and represented by the GRVV matrices [11]. Some vacuum solutions for given N and k are protected from quantum corrections and have one-to-one correspondence with 5

6 thellmgeometries with Z k [15,16] quotient in11-dimensional supergravity. Inthis section, we briefly review the correspondence..1 Supersymmetric vacua of the mabjm theory To reflect the global symmetry of the mabjm theory we split the 4-complex scalar fields as follows Y A = Z a,w a,. where A = 1,,3,4 and a,b = 1,. Then the vacuum equation of the mabjm theory, L bos = V bos = 0, is written as Z a Z b Zb Z b Z b Za = µk π Za, W a W b W b W b W b W a = µk π W a, W a Z b W b W b Z b W a = 0, Z b W b Z a Z a W b Z b = 0,.3 where µ is a mass parameter. The general solutions of the matrix equations in.3 have been found in the form of the GRVV matrices [11]. For given N and k, there are many possible solutions satisfying the equations in.3. A systematic way to classify the vacuum solutions is to represent those as direct sums of two types of irreducible n n+1 matrices, M n a a = 1, and their Hermitian conjugates, M n a. These rectangular matrices are the GRVV matrices n n M n 1 =......, M n = , n n.4 where n = 0,1,,N 1. The vacuum solutions are given by Z a 0 = µk π M n 1 a... M n i a 0 ni+1 +1 n i+1..., 0 nf +1 n f 6

7 W a 0 = µk π 0 n1 n ni n i +1 M n i+1 a... M nf a..5 ThesolutioncontainsN n rectangularmatricesofthetypem n a andn n rectangularmatrices n of the type M a. From now on we refer to N n and N n as occupation numbers [15,16]. Here N 0 and N 0 denote the numbers of empty columns and rows, respectively. Since Za and W a are N N matrices, the occupation numbers, N n and N n, should satisfy the following two constraints, N = N 1 [ n+ 1 ] N n +N n, N n = N n..6 At quantum level, only a subset of these classical solutions, which satisfy the conditions, remains to be supersymmetric [15]. 0 N n k, 0 N n k,.7. LLM geometries and their droplet picture The LLM solution with SO,1 SO4 SO4 isometry in 11-dimensional supergravity is conjectured to be dual to the theory of massive M-branes [13,14]. Later, the mabjm theory with CS level k = 1 is proposed to be the theory of massive M-branes. For the mabjm theory with general k, one has to consider the Z k orbifold of the LLM geometry as the dual gravity theory [16]. The LLM geometry with Z k orbifold is given by ds = G tt dt +dw 1 +dw +G xxd x +dỹ +G θθ ds S 3 /Z k +G θ θds S 3 /Z k,.8 where ds S 3 /Z k and ds S 3 /Z k are metrics of the two S 3 s with Z k orbifold and the warp factors are given by G tt = 4µ 0ỹ 1 4 Z f G θθ = fỹ 1 +Z µ 1 0 Z /3 /3, G xx = f 1 4 Z µ 0 y, G θ θ = fỹ 1 Z µ 1 0 +Z /3 /3,.9 7

8 with f x,ỹ = 1 4Z 4ỹ V, µ 0 = µ As we see in.9, the geometry is completely determined by two functions, which are given by Z x,ỹ = N B +1 i=1 1 i+1 N x x i x x i +ỹ, V x,ỹ = B +1 i=1 1 i+1.11 x x i +ỹ, where x i s are the positions of the boundaries between the black and the white regions and N B is the number of finite size black regions in the droplet representation, as we will see below. We also note that the two functions satisfy the relation, ỹdv = dz with ǫỹ x = 1. The corresponding 4-form field strength is given by F 4 = d e Φ h V [ dt dw 1 dw +µ 1 0 Vdỹ e G +h e 3G dỹ e G ] dω 3 [ Vdỹ e G h e 3G dỹ e G ] d Ω 3,.1 +µ 1 0 where dω 3 = sinθ/8dθ dφ dψ, d Ω 3 = sin θ/8d θ d φ d ψ in the Euler coordinate system. The Z k quotient acts as ψ, ψ ψ + 4π, ψ k + 4π [16, 5]. The 4-form k field strength in.1 can also be expressed in terms of Z x,ỹ and V x,ỹ by using the relations [6, 7] h = 1 4 Z 4ỹµ, e Φ 0 = ỹ 1 4 Z f, e G = 1 +Z.13 Z. We note that the function Z x,ỹ at ỹ = 0 has a value 1 if x i 1 < x < x i and it has a value 1 if x i < x < x i+1. Basedonthisfact, thellmgeometriesarerepresented interms of an infinite strip in the x-direction with regions of Z x,0 = 1 denoted by black color and regions of Z x,0 = 1 denoted by white color. This is called the droplet representation. See the Fig.1. Since the function Z x,0 is 1 if x < x 1 and it is 1 if x > x N B +1, N B being the number of finite black regions, we note that the strip also contains an infinite black region below x 1 and an infinite white region above x NB +1. For every droplet picture there is a symmetric point such that the length of all finite size black regions above this point is the same as the length of all finite size white regions below the point. This point is called the Fermi level x F, which is given by N B x F = x 1 + x i+1 x i..14 i=1 Vielbeins for S 3 in terms of the Euler angles are given by σ 1 = sinψdθ + sinθcosψdφ, σ = cosψdθ + sinθsinψdφ, σ 3 = dψ + cosθdφ with ranges of the angles, 0 θ π, 0 φ π, 0 ψ 4π. The metric on the 3-sphere and the volume form with unit radius are written as ds S = 3 dθ +sin θdφ +dψ +cosθdφ

9 The strip is divided into excitation levels above and below the Fermi level, where each level has length k. The levels are labeled by non-negative integers n = 0,1,, starting at the Fermi level. A given droplet representation is then parametrized by a set of parameters {l n,l n } with l n corresponding to the length of the black region in the n-th level above the Fermi level and l n corresponding to the length of the white region in the n-th level below the Fermi level. Since the length of the black or white region in a given level cannot be bigger than k these parameters should satisfy the condition 0 l n,l n k, which is the same as.7. Actually, it have been suggested that there is one-to-one correspondence between the LLM solutions and the vacua of mabjm theory [16]. Since, the LLM solutions are classified by {l n, l n }, while the field theory vacua are classified by the occupation numbers {N n, N n }, the one-to-one correspondence is given by {l n, l n } {N n, N n }..15 An alternative representation of the LLM solutions is given in terms of Young diagrams. In Young diagram representation, the lengths of the white and black regions correspond to the lengths of the horizontal and vertical edges of the Young diagram, respectively. See Fig.1 for the parametrization of droplet picture and Young diagram. 3 Vevs of CPOs in mabjm Theory For the Coulomb branch of the N = 4 SYM theory, the adjoint scalar fields X i s satisfy the vacuum equation [X i, X j ] = 0, which means the matrix representations of the scalar fields describing the vacuum moduli are diagonal. As a result, the UN gauge symmetry is broken to U1 N. The vacuum moduli preserve the N = 4 supersymmetry while the conformal symmetry is completely broken. The vevs of CPOs are non-renormalizable due to high supersymmetry and they can parametrize the Coulomb branch vacua. On the other hand, in the type IIB supergravity, some BPS solutions describing D3-branes distributed over finite region of the transverse space were obtained [8]. These solutions are asymptotic to AdS 5 S 5. According to the gauge/gravity dictionary, the vevs of CPOs is read from the asymptotic expansion of the dual scalar fields. Calculating the vevs of CPOs with lower conformal dimensions, the exact dual relations for the Coulomb branch of the N = 4 SYM theory in the large N limit were tested in a systematic way [6,7]. Now we compare the mabjm theory and the Coulomb branch of the SYM theory. There are some differences between these two theories. For instance, the mabjm theory is constructed by adding some relevant terms to Lagrangian of the ABJM theory and have discrete Higgs vacua with matrix representations composed of numerical elements, while for 9

10 k l n x NB+1 x NB+1-x NB x F k k k l 1 l 0 l 0 =0 x j+3 x j+ x j+1 x NB -x NB-1 x j k l 1 x j-1 x 3 -x x -x 1 k l n x 1 a b Figure 1: a A droplet representation of the LLM geometry with SO,1 SO4/Z k SO4/Z k isometry. The horizontal width does not correspond to any coordinate but added for clarity. b The Young diagram corresponding to the droplet picture a. the Coulomb branch of the N = 4 SYM theory, the Lagrangian is undeformed, instead it is defined by choosing some non-vanishing vacuum moduli, which are composed of continuous parameters. However, these two theories are similar in the sense that the theories are away from the UV fixed point and they preserve the full supersymmetry with the dual geometries asymptotic to AdS times a compact manifold. Based on these facts and the known results of the Coulomb branch of the N = 4 SYM theory, one can expect that similar phenomena may happen for the Higgs vacua in the mabjm theory. That is, the Higgs vacua of the mabjm theory are parametrized by vevs of CPOs and those vevs are read from asymptotic expansions of the LLM geometries using the holographic renormalization procedure. In this section, we construct the CPO with = 1, which manifests the global symmetry of the mabjm theory. We also calculate the vevs of the oprator for all supersymmetric vacua of mabjm theory for general k in the large N limit. 3.1 CPOs in ABJM theory The gauge invariant CPOs of conformal dimension in the ABJM theory are given by O = C B 1,,B n A 1,,A n Tr Y A 1 Y B 1 Y An Y B n,

11 where A,B = 1,,4 and C B 1,,B n A 1,,A n are symmetric in lower as well as upper indices and traceless when tracing over one lower index and one upper index. The CPO in 3.16 is written by manifesting the global SU4 symmetry of the ABJM theory. On the other hand, in the mabjm theory the CPOs have to manifest the SU SU U1 global symmetry. It is well known fact that the coefficients C B 1,,B n A 1,,A n are identified with the similar coefficients Ci I 1 i n, which defines the scalar spherical harmonics on S 7 see appendix A [4]. These coefficients also satisfy the same orthonormality condition as those of the spherical harmonics; C 1B 1,,B n A 1,,A n C A 1,,A n B 1,,B n +c.c. = δ Therefore, one can fix these coefficients knowing the corresponding coefficients of the spherical harmonics on S 7. In appendix A.3, we list the first few scalar spherical harmonics on S 7, which are needed to read the coefficients for CPOs with lower conformal dimensions. In particular, the coefficients of the CPO with = 1 are determined in appendix A.4 and the operator is given by 3. vevs of CPO in mabjm Theory O =1 = 1 Tr Z a Z a W a W a Here we calculate the vevs of CPO with = 1 in mabjm theory. As we see in 3.16, the CPO we are considering is composed of the complex scalar fields Y A s and their complex conjugates. For a given supersymmetric vacuum, the scalar fields near the vacuum are expanded as Y A = Y A 0 +ŶA, 3.19 where Y0 A s A = 1,,3,4 denote the vacuum solutions represented by the GRVV matrices [11], and Ŷ A s are field operators. Inserting 3.19 into 3.16 of a CPO with conformal dimension, we obtain O m = O Y A 0 + i δo i corrections, 3.0 N where m and 0 denote the vevs of operators in the mabjm theory and the ABJM theory, respectively, and δo is an operator containing at least one Ŷ A or Ŷ A. The 1 N i -corrections in 3.0 come from the contributions of multi-trace terms [9 31]. Here we also note that quantum corrections of scalar fields are absent due to the high number of 11

12 supersymmetry of the mabjm theory. The second term in 3.0 is a one point function in a conformal field theory and is vanishing. Therefore, in the large N limit we have O Y A m = O Y A For CPO with = 1 the vevs are obtained by plugging the vacuum solutions in.5 into SinceZ0 a isablock diagonalmatrix, which contains N n oftherectangularmatrix M n a, while W a 0 contains N n n of the matrix M a, we have TrZ a 0Z a0 W a 0 W a0 = µk π N n N ntrm n a M n a = µk π N n N nnn+1, where in the last step we have used the rectangular matrices in.4. Then, we obtain O =1 m = µk 4 π 3. N n N n nn This result is valid for all supersymmetric vacua of mabjm theory with finite k in the large N limit. 4 KK Reduction and Gauge Invariant Modes The KK reduction of 11-dimensional gravity to 4 dimensions involves compactification of the fields on S 7. 3 In this section we apply the KK reduction to the 11-dimensional gravity on AdS 4 S 7 to obtain 4-dimensional equation of motion on AdS 4 background. Such KK reduction was carried out in the de Donder gauge in [0]. However, the LLM solutions of our interest in this paper are in a different gauge and can not be analyzed based on the results obtained in the de Donder gauge. Therefore, we carry out the reduction in a generic gauge and write the equation of motion for gauge invariant dynamical fields dimensional gravity equations of motion The bosonic part of the 11-dimensional supergravity action is given by 1 [ g S = d 11 1 x R 16πG F pqrsf pqrs + 1 ] 4! ǫp 1p p 3 q 1 q 4 r 1 r 4 C p1 p p 3 F q1 q 4 F r1 r 4, The ABJM theory is dual to M-theory on AdS 4 S 7 /Z k. Here we consider k = 1 case, for simplicity. We will extend our results to general k case eventually. 1

13 where we used the index notation p,q,r, = 0,,10, ǫ = 1 is the Levi-Civita symbol. The 11-dimensional Newton s gravitational constant is G 11 = 1 3π πl P 9, 4.5 where l P is the Planck constant. The functional variation of the action gives the following equations of motion for the metric and the 4-form field strength: R pq 1 g pqr = 1 48 p ef pqrs + 1 g pqf rstu F rstu +4F pstu Fq stu, 1 4! ǫp 1 p 4 q 1 q 4 qrs F p1 p 4 F q1 q 4 = 0, 4.6 where e g. Using the index notation µ,ν,ρ, = 0, 3, a,b,c, = 4, 10 we write the AdS 4 S 7 solution of the equations of motion in 4.6 as follows ds = L 4ρ dt +dw 1 +dw +dρ +L ds S 7, F µνρσ = 6 L ǫ µνρσ, and it is zero otherwise. 4.7 Here ǫ µνρσ = g AdS4 ǫ µνρσ is the Levi-Civita tensor for the AdS 4 space, and L is the radius of S Fluctuations on AdS 4 S 7 We consider a solution which is asymptotically AdS 4 S 7 so that we can write it as g pq = g pq +h pq, C pqr = C pqr +c pqr F pqrs = F pqrs +f pqrs, 4.8 where h pq,c pqr,f pqrs represent deviations from the AdS 4 S 7 geometry and they become small fluctuations in the asymptotic region 4. Plugging this back into 4.6, we obtain the following equations of motion for h pq and f pqrs up to linear order, r p h qr + r q h pr h pq q p h r r Rh pq g pq R rs h rs + r s h rs h r r + 1 F rstu F rstu h pq 4g pq h rs F rtuv 48 Fstuv g pqf pqrs F pqrs 1 h rsf r ptu F q stu 1 f prst Fq rst +F prst fq rst = 0, We use a notation in which the objects in 11-dimensionalsupergravityare denoted by bold font symbols whereas the AdS 4 S 7 values of those objects are denoted by normal font symbols. 13

14 p ef pqrs + 1 peh p p Fpqrs +4 p eh [p t F qrs]t + 1 4! ǫp 1 p 4 q 1 q 4 qrs f p1 p 4 F q1 q 4 = It is convenient to write the above equations for the AdS 4 and S 7 indices separately ρ µ h νρ + ρ ν h µρ + a µ h νa + a ν h µa ρ ρ + a a h µν µ ν h ρ ρ +ha a + 6 L h µν [ 1 g µν L hρ ρ 6 ] L ha a + ρ σ h ρσ + a b h ab + ρ a + a ρ h ρa ρ ρ + a a h σ σ +hb b + 1 F ρσλκ F ρσλκ h µν 4g µν h ρσ F ρτλκ 48 Fστλκ g µνf ρστλ F ρστλ 1 h ρσf ρ µτλ F ν στλ 1 f µρστ Fν ρστ +f νρστ Fµ ρστ = 0, ρ µ h aρ + ρ a h µρ + b µ h ab + b a h µb ρ ρ + b b h µa µ a h ρ ρ +h b b+ 6 L h µa F νρστf νρστ h µa 1 6 f aρστf ρστ µ = 0, 4.3 ρ a h bρ + ρ b h aρ + c a h bc + c b h ac ρ ρ + c c h ab a b h ρ ρ +hc c + 6 L h ab [ 1 g ab L hρ ρ 6 ] L hc c + ρ σ h ρσ + c d h cd + ρ c + c ρ h ρc ρ ρ + c c h σ σ +hd d + 1 F µνρσ F µνρσ h ab 4g ab h ρσ F ρτλκ 48 Fστλκ g abf ρστλ F ρστλ = 0, 4.33 and σ f σµνρ + a f aµνρ + 1 σh λ λf σµνρ + 1 hλ λ σ F σµνρ + 1 σh a af σµνρ + 1 ha a σ F σµνρ +4 λ h [λ σ F µνρ]σ + a h a σ F µνρσ = 0, 4.34 σ f σµνa + b f bµνa λ h a σ Fµνλσ = 0, 4.35 σ f σµab + c f cµab = 0, 4.36 σ f σabc + d f dabc a 4 ν 1 ν 4 abc f 4! ǫa a1 a 4 F ν1 ν 4 = 0, 4.37 wherewe haveusedtheidentities p f pqrs = 1 e p ef pqrs [p and p h t F qrs]t = 1 e peh [p t F qrs]t. 14

15 4.3 Expansion in S 7 spherical harmonics The fluctuations h pq and c pqr can be expanded in S 7 spherical harmonics as h µν x,y = h I 1 µν xy I 1 y, h µa x,y = v I 7 µ xy I 7 a y+si 1 µ x ay I 1 y, h ab x,y = t I 7 xy I 7 ab y+vi 7 x a Y I 7 b y+si 1 x a b Y I 1 y, h a ax,y = φ I 1 xy I 1 y, c µνρ x,y = s I 1 µνρxy I 1 y, c µνa x,y = ṽ I 7 µν xy I 7 a y+ si 1 µν x ay I 1 y, c µab x,y = t I 1 µ xy I 1 [ab] y+ṽi 7 µ x [ay I 7 b] y, c abc x,y = t I 35 xy I 35 [abc] y+ t I 1 x [a Y I 1 bc] y, 4.38 where x is the AdS 4 coordinate and y is the S 7 coordinate. For the definitions of the spherical harmonics on S 7, see appendix A. The notation ab means symmetrized traceless combination which is defined as T ab = 1 T ab +T ba 1 7 g abt c c, 4.39 where g ab is a metric on S 7. The notation [abc ] means anti-symmetrization among indices, a,b,c,, for instance, T [ab] = 1! T ab T ba The expansion 4.38 follows the convention of [6, 3]. The expansions of the 4-form field strength fluctuations f pqrs are read from f = dc, f µνρσ x,y = 4 [µ s I 1 νρσ] xy I 1 y, f µνρa x,y = 3 [µ v I 7 νρ] xy I 7 a y s I 1 µνρx a Y I 1 y, f µνab x,y = [µ t I 1 ν] xy I 1 [ab] y+vi 7 µνx [a Y I 7 b] y, f µabc x,y = µ t I 35 xy I 35 [abc] y 3tI 1 µ x [ay I 1 bc] y, f abcd x,y = 4t I 35 x [a Y I 35 bcd] y, 4.41 where we have used the fact that [a b] Y I 1 y = 0, [a b Y I 7 c] y = 0, and [a b Y cd] = 0. We note that, under the U1 gauge transformation the 3-form gauge field transforms as c 3 dλ. However, the4-formfieldstrengthisinvariantunderthistransformation. Therefore, the field strengths in 4.41 are written in terms of U1 gauge invariant combinations 15

16 which are defined as s I 1 µνρ x si 1 µνρ x 3 [µ s I 1 νρ] x, v I 7 µν x ṽi 7 µν x+ [µṽ I 7 ν] x, t I 1 µ x t I 1 µ x 1 3 µ t I 1 x, t I 35 x t I 35 x. 4.4 Plugging 4.38 and 4.41 into the µ, ν-components of fluctuation equations in 4.31 and projecting onto the scalar harmonics Y I 1, we obtain +Λ I h I 1 L µν + µ ρ h I 1 νρ + ν ρ h I 1 µρ g µν ρ σ h I 1 ρσ +g µν +Λ I 1 h I 1 L µ ν h I 1 +Λ I 1 µ s I 1 ν + ν s I 1 µ g µν Λ I 1 ρ s I 1 ρ +g µν ΛI L φ I 1 µ ν φ I 1 6g µν Λ I ΛI L s I L [µs I 1 ρσλ] ǫ ρσλ ν + 4 L [νs I 1 ρσλ] ǫ ρσλ µ 1 L g µν [ρ s I 1 σλτ] ǫρσλτ = 0, 4.43 where µ µ. We have used the AdS 4 S 7 solutions in 4.7 and the results of the integrals of spherical harmonics listed in appendix A. The tracing over µ, ν-indices in 4.43 gives the following equation for scalar fields +3Λ I 1 96 h I 1 µ ν h L µν 6Λ I 1 µ s I 1 µ ΛI φ I 1 4Λ I 1 1 L 7 ΛI s I L L [µs I 1 νρσ] ǫµνρσ = From the equation 4.3, we obtain the following two equations by projections onto a Y I 1 and g ab Y I 7 b, respectively + 4 s I 1 L µ µ ν s I 1 6 ν 7 ΛI L µ s I µφ I 1 ν h I 1 µν + µh I 1 1 L si 1 ρστ ǫ µ ρστ = 0, Λ I v I 7 L µ + µ ν v I 7 1 ν + ΛI L µ v I 7 3 L [νv I 7 λκ] ǫ µ νλκ = From the equations 4.33, we obtain four scalar equations by projecting on four different 16

17 elements: g ab Y I 1, a b Y I 1, a Y bi 7 and Y abi 7, 1 7 ΛI 1 µ s I 1 µ 1 L [µs I 1 νλκ] ǫµνλκ 30 7 ΛI 1 Λ I s I L 7 ΛI h I 1 L ΛI φ I 1 µ ν h I 1 L µν = 0, 4.47 µ s I 1 µ = 5 7 ΛI 1 s I 1 +h I φi 1, 4.48 v I 7 µ v I 7 µ = µˆv I 7 µ = 0, Λ I 7 t I 7 = 0. L 4.50 Similarly, inserting 4.38 and 4.41 in to the equations of motion of f pqrs in , and projecting onto the appropriate spherical harmonic elements, we obtain the following set of equations +Λ I 1 s I 1 µνρ 3 δ [µ s I 1 νρ]δ 3 L ǫ σµνρ σ h I 1 3 L ǫ σµνρ σ φ I 1 4 L σ h I 1 λ[σ ǫ µνρ] λ 6 L ΛI 1 ǫ σ µνρ s I 1 σ = 0, Λ I v I 7 L µν 6 L ǫρ σµν σ v I 7 ρ = 0, 4.5 +Λ I 1 + L t I 1 µ = 0, 4.53 ρ s I 1 ρµν + 6 L ǫ µνσ λ σ s I 1 λ = ρ ŝ I 1 ρµν = 0, 4.54 where µ I 35 = I 35+3 L ν v I 1 ν = 0, 4.55 ν v I 7 νµ = 0, 4.56 [ 1 L +ΛI 35 6 µ I 35 ] t I 35 + = 0, L [ 1 L +ΛI µ I 35 L and we have used the relation ] t I 35 = 0, 4.57 to obtain the two equations in ǫ abc a 1 a a 3 a 4 a1 Y I 35 a a 3 a 4 = ±3! µ I 35 Y I 35 abc Gauge invariant fluctuations Some ofthe fluctuations h pq andf pqrs arerelated to each other or to thebackground solution by diffeomorphic transformation. In other words, some of these fluctuations are generated by 17

18 the variation of some other fluctuations or the background under the infinitesimal coordinate transformation x p = x p ξ p. Up to linear order, these gauge-dependent degrees of freedom transform as, δh pq = p ξ q + q ξ p, δfpqrs = 4 [p ξ t F qrs]t To obtain the gauge transformations of the 4-dimensional fields, we expand the gauge parameter ξ p x,y in terms of the spherical harmonics on S 7 as ξ µ x,y = ξ I 1 µ xy I 1 y, ξ a x,y = ξ I 7 v xy I 7 a y+ξ I 1 s x ay I 1 y Using 4.38, 4.41, and 4.60 in 4.59, we obtain the following transformations for gauge-dependent coefficients of the spherical harmonics δh I 1 µν = µξ I 1 ν + νξ I 1 µ, I δv 7 µ = µξ I 7 v, I δs 1 µ = µξ I 1 s +ξi 1 µ, δt I 7 I = 0, δv 7 = ξ I 7 v, I δs 1 = ξ I 1 s, I δφ 1 = Λ I 1 ξ I 1 s Based on these transformations, the following combinations are gauge invariant, ˆφ I 1 = φ I 1 Λ I 1 s I 1, ˆv I 7 µ = v I 7 µ 1 µv I 7, ĥ I 1 µν = h I 1 µν µ s I 1 ν ν s I 1 µ, 4.6 where s I 1 µ = si 1 µ 1 µs I 1. Since the only non-vanishing component of the 4-form field strength is F µνρσ, the nontrivial equations in second part of 4.59 are δf λµνρ = 4 [λ ξ I 1 σ F µνρ] σ Y I 1, δfµνρa = ξ I 1 σ F µνρ σ a Y I Then, we obtain the following results δs I 1 µνρ = ξ I 1 σ F σ I µνρ, 1 [µ δs νρ] = 1 I δs 1 µνρ +ξ I 1 σ σ F µνρ = 0, The remaining coefficients associated with f pqrs are all diffeomorphic invariant at linear order. 4.5 KK reduction Thelinearequationsinsubsection4.3arenotallindependentandsomeofthefieldsaregauge degrees of freedom. In this subsection, we find equations of motion for gauge invariant fields introduced perviously. We diagonalize those equations to identify the equations of motion for physical modes. 18

19 4.5.1 The equations for spin zero fields Using equations 4.44, 4.45, 4.47, 4.48, and 4.51, we obtain the following equations of motions for two gauge invariant scalar fields where the gauge invariant scalar fields are +Λ I ˆφI 1 14 L 3L ˆψ I 1 = 0, Λ I 1ˆψI ΛI 1ˆφI 1 = 0, 4.66 ˆψ I 1 = 18h I 1 u I 1, ˆφI 1 = φ I 1 Λ I 1 s I with u I 1 Lǫ µνρσ µ s I 1 νρσ Diagonalizing equations 4.65 and 4.66, we write them in terms of the mass eigenstates I 1 +6I 1 +1 ˇφ I 1 = 0, I 1I 1 6 ˇψ I 1 = 0, 4.69 L L where we have introduced ˇφ I 1 = I 1 +7 [ ] 18I 1 1ˆφ I 1 +7ˆψ I 1, ˇψI 1 = I 1 1 [ ] 18I 1 +7ˆφ I 1 +7ˆψ I I I 1 +3 In addition, from equations 4.50 and 4.57 we write the equations of motion for three more fields which are already diagonal and gauge invariant I 7I 7 +6 ťi 7 = 0, 4.71 L I 35 +3I ťi 35 L + = 0, I 35 +3I 35 3 ťi 35 L = 0, 4.7 where ť I 7 t I 7, ť I 35 + t I 35 +, and ť I 35 t I 35. In general, the KK reduction means to construct a 4-dimensional gravity action, including higher order interaction terms, from the equations of motion of fluctuation fields. When one goes beyond the linear order, the higher order terms involve higher derivatives, and then one needs to introduce some field redefinitions in order to have the corresponding 4-dimensional gravity action. For instance, at quadratic order, such field redefinition was introduced in [6, 7] S I = š I +J s IJ nj m ť Jn ť Jm +L s IJ nj m µ ť Jn µ ť Jm,

20 whereš I representanyofthe11-dimensionalfields, ands I isthecorresponding4-dimensional field. The ť J i represent all the fields that appear in the quadratic part of the equations of motion. However, at linear order, which is what we are dealing with inthis paper, these field redefinitions are trivial and the 11- and 4-dimensional fields are the same. Therefore, the fields ˇφ I 1, ˇψ I 1,ť I 7,ť I 35 +,ť I 35 are the correct 4-dimensional spin-zero fields at the linear order and are denoted as Φ I 1,Ψ I 1,T I 7,T I 35 +,T I 35, respectively. Based on the parity transformation of the original 11-dimensional fields h pq is a tensor, c pqr is a pseudotensor, we note that the first three fields Φ I 1,Ψ I 1,T I 7 are scalar fields while the last two fields T I 35 +,T I 35 are pseudoscalar fields The equations for spin one fields There are three towers of KK vector modes. Combining equations 4.46, 4.49, 4.5, and 4.56, we obtain the following equations of motion for two of those KK modes +Λ I ˆv I 7 µ L ûi µ = 0, L +Λ I 7 + 6L û I 7 µ L ˆv I 7 µ = 0, 4.74 where Λ I 7 = I 7I , andwe have introduced the following gaugeinvariant combinations L ˆv I 7 µ vi 7 µ 1 µv I 7, û I 7 µ Lǫ µ νρσ νˆv I 7 ρσ with ˆv I 7 µν = ṽi 7 µν + [µṽ I 7 ν] Diagonalizing the two equations in 4.74 gives the equations of motions for two mass eigenstates where mode I 7 +1I 7 +3 ˇv I 7 L µ = 0, I 7 13 ǔ I 7 L µ = 0, 4.76 ˇv I 7 µ = I 7 1ˆv I 7 µ û I 7 µ, ǔ I 7 µ 4I 7 +3 = I 7 +7ˆv I 7 µ +û I 7 µ I 7 +3 On the other hand from 4.53 we get the equation of motion for one more KK vector where ť I 1 µ is equivalent to t I 1 µ in Λ I 1 + L ť I 1 µ = 0,

21 Like in the case of the scalar fields, if we consider non-linear equations, the KK reduction will involve non-trivial field redefinition of the type However, at linear order, the above three KK vector modes are the correct 4-dimensional physical modes and they are denoted as V I 7 µ, UI 7 µ, and TI 1 µ. We note that the first two are vector fields while the third one is a pseudovector field The equations for spin two fields Next we consider the gauge invariant equations of motion for -tensor fields. Using equations 4.43, 4.45, 4.47, 4.48, 4.51, and 4.54, with some algebra, we obtain the following linear order equations for gauge invariant tensor fields +Λ I ˆψI 1 L µν 8 L g ˆψ µν I Λ I ˆφI 1 7 L µν µ ν + 10 L g µν ˆφI 1 = 0, +Λ I L ˆφI 1 µν + L ˆψ I 1 µν 40 7L g µνˆφ I 1 4 3L g µν ˆψ I 1 = 0, 4.79 where we have introduced the following gauge invariant tensor fields and we have defined ˆψ I 1 µν 18h I 1 µν u I 1 µν, ˆφI 1 µν 7 µ s I 1 ν + ν s I 1 µ µ ν s I 1 h I 1 5 µν, 4.80 u I 1 µν L ρσλ ǫµ ν s I 1 ρσλ ρσλ +ǫν µ s I 1 ρσλ We note that ˆψ I 1 ˆψ I 1µ µ and ˆφ I 1 ˆφ I 1µ µ are the gauge invariant scalar fields defined in In order to define the 4-dimensional spin two physical modes, we write 4.79 in terms of traceless tensor modes +Λ I ˆψI L µν Λ I ˆφI 7 L µν 16 7 µ 1 νˆφi = 0, +Λ I ˆφI L µν L ˆψ I 1 µν = 0, 4.8 where ˆψ I 1 µν = ˆψ I 1 µν 1 4 g µν ˆψ I 1 and ˆφ I 1 µν = ˆφ I 1 µν 1 4 g µνˆφ I 1. Then we introduce the transverse and traceless spin two modes, which should satisfy the transverse condition µ ν ĥ I 1 µν = 0, and diagonalized linear equation, ȟ I 1 µν = ˆφ I 1 µν ˆψ I 1 µν + 3L I 1 +I 1 +4 µ 1 7L νˆφi 30I 1 +I 1 +4 µ 1 νˆψi Using 4.8, we can write the linear equation for the diagonalized spin two KK modes as MI ȟi 1 1 µν = 0,

22 where M I 1 = I 1I L. Similar to the spin zero case, the equation of motion for spin two modes contains higher derivative terms starting from quadratic order. Therefore, one needs to introduce field redefinitions of the type 4.73 in order to absorb those higher derivative terms. Such field redefinition will result in the 4-dimensional spin two modes H I 1 µν. However, at linear order, H I 1 µν = ȟi 1 µν are the correct 4-dimensional spin two KK modes. To summarize, the KK reduction of the bosonic sector of the 11-dimensional supergravity yields, three towers of scalar modes Φ I 1,Ψ I 1,T I 7, two towers of pseudoscalar modes T I 35 + and T I 35, two towers of vector modes V I 7 µ and U I 7 µ, one tower of pseudovector mode TI 1 µ, and one tower of spin-two mode H I 1 µν. 5 Exact KK Holography for LLM Geometries In this section, we want to obtain exact results for the vevs of the gauge invariant operators in small mass expansion by using KK renormalization method [6 8] and compare with the field theory results of section 3. At leading order in the small mass parameter, the linearized equations of motion discussed in the previous section are sufficient. From the asymptotic expansions of the LLM geometries, one can read the solutions of some physical modes in 4-dimensional gravity, which are related to the vevs of gauge invariant operators. For instance, the solutions of the KK mode, which are dual to the CPO with = 1, are completely determined from the leading asymptotic expansion of the LLM geometries. 5.1 Asymptotic expansion of the LLM geometries As discussed in section, the LLM solutions are completely determined by two functions Z x,ỹ and V x,ỹ in.11. With some algebra these functions can be written in terms of the Legendre polynomials as follows Zρ,ξ = 1 [ ξ + Vρ,ξ = ρ L 3 [ 1+ [ n+1pn+1 ξ ξnp n ξ+n 1P n 1 ξ ] C n µ0 ρ ] n, n=1 np n ξc n µ0 ρ ] n, 5.85 n=1 where ρ = L3 4 r, ξ = x r with r = x +ỹ, and P n ξ are the Legendre polynomials. We have defined [7] C n = N B +1 i=1 n 1 i+1 x i πlp 3µ, A

23 where A = kn N B t j+1 k t j+1 j=1 is the area in the Young diagram representation of the geometry and t i s are the discrete torsions assigned at the boundary x i between the black and white strips in the droplet picture [16]. It can be shown that, the first two of the parameters C n s satisfy an identity: as β C C 1 = In terms of the ρ,ξ coordinates, the metric of the LLM geometries in.8 is rewritten ds = G tt dt +dw 1 +dw +Gρρ dρ + ρ +G 1 ξ dξ θθ ds S +G θ θds S3, where G ρρ = L6 G xx 16ρ 4. To implement the method of holographic renormalization, we should rewrite the solution in terms of the Fefferman-Graham FG coordinate system [33], where the holographic direction is well defined. In a geometry which is asymptotically AdS d+1 X, the metric in the FG coordinate system is given by ds = L AdS z dz +g ij z,ydx i dx j +gz,yds X, 5.89 where z denotes the holographic direction and gz,y is some warp factor for the compact space. In order to rewrite the LLM metric 5.88 in the form 5.89 we use the coordinate transformations which should satisfy two conditions ρ = ρz,τ, ξ = ξz,τ, 5.90 Then we obtain ρ G ρρ + ρ G ρρ z 1 ξ ρ ρ G ρρ z τ ξ = L z 4z, + ρ G ρρ 1 ξ ξ z ξ τ = ds = L dz + 4z 4z L g 1z,τ dt +dw 1 +dw +g z,τdτ +g 3 z,τds S +g 4z,τds S3, where g 1 z,τ = G tt ρz,τ,ξz,τ, g z,τ = G xx ρz,τ,ξz,τ [ ρ τ ρ ξ ] +, 1 ξ τ g 3 z,τ = G θθ ρz,τ,ξz,τ, g4 z,τ = G θ θ ρz,τ,ξz,τ

24 It is non-trivial to solve the two conditions in 5.91 analytically. However, recalling the asymptotic behavior of the LLM geometry, we note that the coordinate transformations satisfy the boundary conditions ρz,τ z 0 = z and ξz,τ z 0 = τ. To solve the conditions 5.91 in the asymptotic region, we use the following ansatze, ρz,τ = z 1+a 1 zµ 0 +a z µ 0 +, where the a i and b i are determined from 5.91, ξz,τ = τ +b 1 zµ 0 +b z µ 0 +, 5.94 a 1 = 1 3 C3 1 C 3τ, a = 1 8C C 41 +1C 3 C C C 4 C 1 4C C 3 C 1 +C 3 4C 3 +3C C C C C C 3C C +5C 4 C 1 1C C 3 C 1 7C 3 +56C 3 45C C 4 τ, b 1 = 1 3 C3 1 C 3 1 τ, b = 1 44C C C C 3C C +5C 4 C 1 1C C 3 C 1 7C 3 +56C 3 45C C 4 τ1 τ Using the above coordinate transformations, the asymptotic expansions of the warp factors g i z,τ are obtained and listed in appendix B. The expansions depend on the τ coordinate on S 7 so that we can use the results in appendix A.3 to replace the τ dependence in terms of the scalar harmonics on S 7. Then we read the values of h I 1 ij i,j = t,w 1,w, for I 1 = 0,,4,, [ h 0 ij = [ h ij = L µ 0 3z h 4 ij = [ L µ L µ 0 17C C C1 4 8C 3 C1 3 +7CC 1 +4C C 3 C 1 45C 3 7C3 +Oµ 4 0 ] η ij, 5.96 C 3 1 3C C 1 +C 3 +Oµ 3 0 ] η ij, C C C1 4 +8C 3C C 15C 4 C 1 +8C C 3 C 1 135C 3 18C C ] C 4 +Oµ 4 0 η ij, 5.98 where η ij = diag 1,1,1. Noting that h I 1 zz = 0 in the FG coordinate, we obtain the values 4

25 of h I 1 g ij h I 1 ij = 4z L η ij h I 1 ij, h 0 = µ 0z 17C C C1 4 8C 3C1 3 +7C C 1 +4C C 3 C 1 45C 3 7C 3 +Oµ 4 0, 5.99 h = 4µ 0 z C1 3 3C C 1 +C 3 +Oµ 3 0, h 4 = µ 0z 3 8C C C1 4 +8C 3 C C 15C 4 C 1 +8C C 3 C C 3 18C C C 4 +Oµ In appendix B we have also listed the expansions of the components of the 4-form field strength. Using 4.41, we read the values of the scalar fields ũ I 1 defined in 4.68 from ǫ µνρσ f µνρσ = 4!ǫ tw 1w z f tw1 w z, where f tw1 w z is listed in appendix B, ũ 0 = 3µ 0z 7C C C1 4 +1CC 1 +6 C1 3C C3 C 1 +5C 3 +3C3 +Oµ 4 0, 5.10 ũ = 48µ 0 z C 3 1 3C C 1 +C 3 +Oµ 3 0, ũ 4 = µ 0z 10 4C 6 1 1C C C 3C C +15C 4 C 1 76C C 3 C C C 3 C C 4 +Oµ In order to read the values of the scalars φ I 1, we take the trace of h ab, h a a = φ I 1 Y I 1 = g ab g ab g ab = g ab g ab Thentheresultsarereadfromtheasymptoticexpansionsofg 3 z,τandg 4 z,τinappendix B, φ 0 = µ 0z 14C C C1 4 +4C 3 C CC 1 6C C 3 C 1 10C 3 +C3 +Oµ 4 0, φ = 4µ 0 z C1 3 3C C 1 +C 3 +Oµ 3 0, φ 4 = µ 0z 3 14C C C C 3C C 4 31C C 1 84C C 3 C C C 3 C C 4 +Oµ The values of the scalars s I 1 are obtained from a b h ab = s I 1 a b a b Y I 1 = 6s I 1 Λ I 1 Λ I Y I 1, L 5

26 by expanding, Then using appendix B we obtain a b h ab = a b g ab 1 7 hc c s 0 = L µ 0 z 14C C C1 4 +4C 3 C CC 1 6C C 3 C 1 10C 3 +C3 +Oµ 4 0, s = L µ 0 z C C C 1 +C 3 +Oµ 3 0, 5.11 s 4 = L µ 0 z 16 14C C C C 3C C 4 31C C 1 84C C 3 C C C 3 C C 4 +Oµ To determine the graviton mode, in addition to h µν we also need the values of the tensor fields ũ µν defined in We can rewrite the definition in 4.81as ũ I 1 µνλ I 1 Y I 1 = L ǫ ρσλ µ ν s I 1 ρσλ ΛI 1 Y I 1 +ǫν ρσλ µ s I 1 ρσλ ΛI 1 Y I On the other hand, from 4.41, we see that a f µνρa = s I 1 µνρ ΛI 1 Y I 1. Using this into and noting that, for the LLM geometry, the only non zero f µνρa is f tw1 w τ, we obtain the following results ũ I 1 ij ΛI 1 Y I 1 =3! 4z 41 τ L L τ F tw1 w τ 16τ L F tw 1 w τ [ ũ I 1 zz ΛI 1 Y I 1 = 3! 4z 41 τ τ L L z F tw1 w τ +3 1 z τf tw1 w τ η ij, τ z F L tw1 w τ +3 1 z F ] tw 1 w τ. Using again the results of appendix B, we read the values of ũ I 1 µν, for I 1 =,4,. However, since Λ 0 = 0, we can not read ũ 0 µν. ũ ij = 6L µ 0 z ũ 4 ij = L µ 0 10 C 3 1 3C 1 C +C 3 +Oµ 3 0 η ij, C 6 1 1C C1 4 +4C 3C C +15C 4 C 1 76C C 3 C C C3 135C C 4 +Oµ 4 0 η ij, ũ zz = 6L µ 0 C 3 z 1 3C 1 C +C 3 +Oµ 3 0, ũ 4 zz = L µ 0 4C 6 1 1C C1 4 +4C 3 C C +15C 4 C 1 76C C 3 C C C 3 135C C 4 +Oµ 4 0. Finally, the vector fields s I 1 µ, which are also needed to write the graviton mode, are zero, because for the LLM geometry h µa is zero. 6

27 5. Asymptotic expansions for the physical modes in 4 dimensions The asymptotic expansions for the scalar and tensor fluctuations in the previous subsection are at least linear in the mass parameter µ 0. If we truncate our results at µ 0 order, the only non-vanishing fields are the KK modes with I 1 =. Keeping this in mind, we list the linear order asymptotic expansions of some of the scalar and tensor physical modes discussed in subsection 4.5. Plugging the expansions of the previous subsection into 4.70, we obtain the asymptotic expansions for Φ I 1 and Ψ I 1, where Φ 0 = Oµ 0, Φ = Oµ 3 0, Φ 4 = Oµ 0, Ψ 0 = Oµ 0, Ψ = 4β 3 µ 0 z +Oµ 3 0, Ψ 4 = Oµ 0, 5.10 β 3 C 3 1 3C 1C +C The solutions in 5.10 satisfy the linearized equation of motion The asymptotic expansions of the remaining three spin zero modes, T I 7, T I 35 +, T I 35, in 4.71 cannot be determined without having the explicit form of vector and tensor spherical harmonics. However, those spin zero modes are not needed for our purpose here for the following reason. In AdS/CFT correspondence [,3], the mass m of a scalar field on the gravity side is related to the conformal dimension of the dual gauge invariant operator by In our case R AdS 4 = L 4, where L is the S7 radius, we have m R AdS d+1 = d. 5.1 m L = Then the conformal dimensions of the gauge invariant operators, which are dual to the spin zero fields are as follows: For the scalar field Ψ I 1 we have I 1 I 1 6 = 6 = I 1, {I 1 =,4,6, } For the scalar field Φ I 1 we have I 1 +1I 1 +6 = 6 = I 1 +1, {I 1 = 0,,4, }

28 For the scalar field T I 7 we have I 7 +6I 7 = 6 = I 7 +6, {I 7 =,4,6 } For the pseudoscalar field T I 35 we have I 35 +3I 35 3 = 6 = I 35 +3, {I 35 = 1,3,5, } For the pseudoscalar field T I 35 + we have I 35 +9I = 6 = I 35 +9, {I 35 = 1,3,5, } In the above list, T I 35 + and T I 35 are pseudoscalars and cannot be the candidates for the dual scalar fields of CPOs. In addition, if we are interested in CPOs of lower conformal dimensions = 1,,, then Φ I 1 and T I 7 are also not the candidates. The only scalar fields which can be dual to CPOs with lower conformal dimensions are Ψ I 1, with I 1 =,4,. For a similar reason we also skip the asymptotic expansion of the vector fields in subsection The asymptotic expansions of the spin two KK modes are needed to obtain the vev of the energy-momentum tensor in mabjm theory. Following the same procedure as the spin zero modes, from 4.83 we obtain the asymptotic expansions of the spin two modes H µν = Oµ 3 0, H 4 µν = Oµ At µ 0 order, we obtain a result which is consistent with the fact that the mabjm theory is a supersymmetric theory and the vev of the energy-momentum tensor is vanishing. Furthermore, if we go beyond the linear order, the spin two KK modes are modified by field redefinition 4.73 and the vev of energy-momentum tensor should still be vanishing. 5.3 Comparison with field theory results According to the holographic renormalization procedure [5], the vev of a CPO with conformal dimension is determined by the coefficient φ of z in the asymptotic expansion of of a dual gauge invariant scalar fields Φ on the gravity side, i.e. O m = N λ Nφ where N is a numerical number depending on the normalization of the dual scalar field in 11-dimensional supergravity, and λ is defined as λ = N/k in the ABJM theory. In the case k = 1, the overall normalization in is reduced to N 3. The N / λ-dependence in the 8

29 right-hand side of is a peculiar behavior of the normalization factor in holographic dual relation for the M-brane theory [1, 34, 35]. In the pervious subsection, we have shown that only the scalar modes Ψ I 1 have nontrivial asymptotic expansions at linear order in µ 0. At quadratic order or higher, more of the scalar modes as well as the spin two modes have non-trivial asymptotic expansions. On the other hand, holographic renormalization states that the dual operators of these extra modes should have vanishing vevs. In order to reconcile these differences we need the field redefinition [6] of the type 4.73 to obtain the correct 4-dimensional fields. The field redefinition makes the asymptotic expansions of all the fields trivial except for Ψ I 1. We have obtained the asymptotic expansion of the scalar field Ψ in 5.10 while the vev of the dual operator was calculated in the subsection 3.. Using the gauge/gravity duality relation in and setting k = 1, these two results are related as O 1 m = N λ Nψ 1 = 4N λ Nβ 3 µ In order to fix the normalization factor N, we use the identity ] [nn+1l n l n = N3/ 3 β 3, 5.13 which is proved in appendix C. Then using 3.3 we rewrite the duality relation as µ 4 π ] [nn+1n n N n ] = 7Nµ 0 [nn+1l n l n Now recalling that µ = 4µ 0 and using the one-to-one correspondence.15 between the occupation numbers of the vacua in mabjm theory and the discrete torsions in the LLM geometries, the normalization factor is fixed as N =. Therefore, the vev of the CPO 144π with conformal dimension = 1 is given by O 1 m = N 3 µ 0 3 π β In Young-diagram picture, β 3 depends on the shape of a Young-diagram but not on the size of the diagram, which means it is independent of the number of M-branes. The result is obtained for all possible supersymmetric vacua with large N in the mabjm theory. The N 3 -dependence in the right-hand side of exactly matches the N dependence of the 11-dimensional Newton s constant [34], which is fixed by the Bekenstein-Hawking entropy formula. As it is expected by the holographic relation, this N 3 behavior also agrees with the total number of degrees of freedom of the M-brane theory in large N limit [35]. The extension of the above results to k 1 case is not straightforward. We postpone such extension in most general setup to future work. Instead, here we extend the results for 9