The AdS/CFT dual of F-maximization. ArXiV: with Silviu Pufu

Transcription

1 The AdS/CFT dual of F-maximization Dan Freedman MIT and Stanford Based on ArXiV: with Silviu Pufu

2 L hymne Nationale de Canada: Au Canada, on dort en pyjamas En Italie, on dort en bikini Aus Etats Unis on dort sans habille Au Canada, on dort en pyjamas En Angletgerre, on dort les fesses en l air!

3 Ultrabrief Summary: We constructed AdS/CFT dual of 2+1 dim ABJM theory, deformed by mass-like terms for the chiral matter fields (Framework in which Jafferis, developed F-maximization thm.) Gravity dual gives valid description for large N and strong coupling: N >> k 5 λ = N/k fixed, large Usually QFT methods are impotent at strong coupling, but in this case, the Free Energy can be calculated using localization. We calculate the same Free Energy in the gravity dual and thus obtain an unusually detailed match between gravity dual QFT (n.b. conformal symmetry is broken).

4 Usual ideas of AdS/CFT apply in this application: i) symmetries of bulk gravity and boundary gauge theories match. ii) map between classical fields of bulk thy. and gauge invariant composite operators of the QFT. iii) find classical soltn. of gravity thy. with AAdS metric and other fields. iv) asymptotics at AdS bdy. determine sources and vets. for QFT operators. But many complications and subtleties: a) ABJM thy. has hidden symmetries and subtle dynamics To be described with poetic license. *PL* b) the deformed thy. is on Euclidean S 3, so we need Euclidean signature SG dual.

5 c) For Chern-Simons level k = 1, 2, undeformed ABJM has hidden enhanced N = 6 N = 8 SUSY. Deformation breaks N = 8 N = 2. So we search for gravity dual as a consistent N = 2 truncation of gauged N = 8. [De Wit + Nicolai] The operator map involves issues of SO(8) triality. d) In the end we find simple truncation and a classical solution involving metric and three complex scalars. But m 2 scalar = 2/L2, in the mass range with quantization ambiguity [Breitenlohner + DZF]. e) In AdS/CFT, S on shell of the gravity dual is the bridge to the QFT. But S on shell diverges! Method of Holographic Renormalization [Skenderis] determines counterterms, but we must add a finite CT to maintain SUSY. Because of alternate quantization, it is not S on shell which is the QFT generating function, but its Legendre transform [Klebanov + Witten].

6 ABJM thy. and its deformation: Undeformed ABJM is an N = 6 superconf. Chern-Simons thy. with product gauge group U(N) k U(N) k coupled to 4 bi-fundamental chiral multiplets: Y A (x), χ A (x) in 4 of SU(4) global symmetry (plus conjugates Y A (x), χ A (x),). Write down N = 2 Euclidean U(1) k toy model with one Y (x), χ(x): A. Euclidean C-S action on S 3 of radius a. S CS = ik [ d 3 x ɛ ijk A i j A k ] g(λ λ + 2iσD) 4π where A i is gauge potential, σ, D are real scalar auxiliaries, and χ, χ are 2-component complex spinors (also auxiliary). No local degrees of freedom, but a rich dynamics after coupling to matter fields.,

7 B. Matter action ( S 1/2 = d 3 x g D i Y D i Y + σ 2 Y Y + iχ γ i D i χ + iχ σχ F F ) +λ T (iσ 2 )Y χ + χ (iσ 2 )Y λ DY Y + 3 4a 2 Y Y, Can recognize σ = A 4 from dimensional reduction. The algebra of N = 2 SUSY on S 3 is {Q, Q } = γ i J i + (1/a)R The J i are generators of SU(2) L or SU(2) R of S 3. R is the U(1) R charge with values R Y = 1/2, R χ = 1/2, R F = 3/2.

8 Jafferis found a deformation that breaks N = 2 superconf. to N = 2 SUSY on S 3 with new R-charge R = R + T, and T is a U(1) flavor symmetry under which Y, χ, F carry T = 1/2. Deformed action: S = S 1/2 + d 3 x g[ 1 a 2 ( 1 2 )( 3 2 )Y Y + 1 a ( 1 2 )(χ χ σy Y )]. Curious point: due to SUSY on S 3, the coupling constants of the permutation are fully determined by the deformed R-charges. Jafferis considered non-abelian and multi-flavor extensions of this framework: i. The free energy F ( j ) can be calculated by localization. ii. F ( j ) is stationary, i.e. F ( j )/ j = 0 at superconformal fixed points of the RG-flow. iii. The stationary point is a maximum [Closset et al, ]. This is the principle of F-maximization.

9 Extension to ABJM with 4 bi-fundamentals Y A Must assign general R-charges R[Y A ] = 1/2 + T [Y A ]. Consistent with constraint A R[Y A ] = 2 due to quartic superpotential W = Tr(Y 1 Y 2 Y 3 Y 4 ). *PL* To accomodate this, choose 3 traceless diagonal 4 4 matrices T α (i.e. in Cartan of SU(4)) Then T 1 = diag(1, 1, 1, 1) T 2 = diag(1, 1, 1, 1) T 3 = diag(1, 1, 1, 1). R[Y A ] = (δ 1T 1 + δ 2 T 2 + δ 3 T 3 ) AA The matrices T α define 3 independent flavor U(1) s that mix with the canonical U(1) R in the deformed theory.

10 Define 3 bilinear Bose and Fermi operators: O α B = Tr(Y T α Y ) scale dim 1 O α V = Tr(χ T α χ Y T α Y σ) scale dim 2 Lagrangian of deformed ABJM: L = L 1/2 + 1 a 2 (δ α + δ 1 δ 2 δ 3 /δ α )OB α α + 1 δ α OF α a. α PL The Free Energy of the deformed ABJM theory is calculated by matrix model methods at large N. [Jafferis et al ]: F = 4 2πN 3/2 3 R[Y A ], A

11 The gravity dual of ABJM Dual of unperturbed ABJM, for k = 1 is AdS 4 S 7 soltn. of 11D SG. Its low energy limit is gauged N = 8, d = 4 SG. So we look for the dual of deformed ABJM as a consistent N = 2 truncation of N = 8. The truncation should contain: i) 3 cx. scalars z α (ρ, x) whose Re and Im parts are dual to the QFT ops. OB α(x) and Oα F (x), plus ii) 4 bulk gauge fields dual to canonical R-current R µ and 3 U(1) currents Jµ α. Thus we look for an N = 2 truncation of N = 8 with: i) gravity multiplet g µν, ψ)µ α=1,2, A 0 µ, plus ii) 3 abelian vector multiplets: z α, χ α, A α µ.

12 An elaborate SO(8) group theory argument = operator map: OB 1 + io1 F Σ 1234, OB 1 io1 F Σ 5678, OB 2 + io2 F Σ 1256, OB 2 io2 F Σ 3478, OB 3 + io3 F Σ 1278, OB 3 io3 F Σ Σ abcd (x) are anti-sym 4th rank self-dual tensors of SO(8). We then set Σ 1234 = z 1, Σ 5678 = z 1, Σ 1256 = z 2 Σ 3478 = z 2, Σ 1278 = z 3, Σ 3456 = z 3,

13 Find very simple N = 2 truncation deduced from full N = 8 results of De Wit + Nicolai: 1 S = d 4 x [ 1 3 g 8πG 4 2 R µ z α 2 α=1 (1 z α 2 ) 2 )] ( 3 L z α 2, α=1 1. Scalar kinetic action is Kähler σ-model action on 3-copies of H 2 = Poincaré disc. (Known as stu model.) 2. Potential V ( z α ) gives conformal value of scalar mass m 2 = 2/L The fields z α can have two alternate quantizations which means that Rez α and Imz α can be sources for QFT ops. of scale dim. 1 or 2, as we need.

14 . S = 1 8πG L 2 ( 3 + d 4 x g 3 α=1 [ 1 2 R z α 2 µ z α 2 α=1 (1 z α 2 ) 2 )], 4. Bulk gauge field actions can be found, but not needed because the physics of interest is captured by classical solutions involving only g µν (ρ) and z α (ρ). 5. The dynamics of 3 z α fields is uncoupled! Since vectors, we effectively have an N = 1 SG theory. Can express V (z, z) in terms of holomorphic W (z α ) using standard relation ( V = e K α W K α β W ) β 3W W. We find W = (1 + z 1 z 2 z 3 )/L. Curious that V is uncoupled, but W is coupled. The BPS eqtns. will be coupled!

15 Digression on Euclidean SUSY It is well known that in Euclidean SUSY, formally conjugate (Weyl) fermions ψ and ψ are not actually cx. conjugate, but independent. The reason is that their trfs under the Euclidean group SO(4) = SU(2) L SU(2) R are not conjugate. Instead, ψ Uψ and ψ iσ 2 ψ V ψ, where U, V are independent matrices of SU(2). But SUSY trfs. relate formally conjugate fermions to formally conjugate bosons, e.g. δψ = γ i i z ɛ δ ψ = γ i i zɛ. Therefore, formally conjugate bosons need not be actually conjugate. In Euclidean SG, even the metric tensor g µν can be complex!

16 S 3 -sliced domain walls from BPS eqtns. We use two different coord. systems, both with explicit S 3 factors. 1. ds 2 = L 2 (dρ 2 + e 2A(ρ) dω 2 3) 2. ds 2 = L 2 e 2B(r) (dr 2 + r 2 dω 2 3), 1. AdS bdy. at ρ =, simplest for AdS/CFT physics. 2. conformally flat. BPS eqtns. can be solved by Mathematica. Euclidean reference solution maximally symmetric H 4 : ds 2 = L 2 (dρ 2 + sinh 2 ρdω 2 3) r = tanh(ρ/2) = 4L 2 (1 r 2 ) 2 (dr 2 + r 2 dω 2 3), bdy.atr = 1

17 Please admire our BPS eqtns.! δψ µ = + δ ψ µ = ( µ ωµab σ [a σ b] α=1 ) z α µz α z α µ z α 1 z α z ɛ α 1 + z 1 z 2 z 3 2L σµ ɛ = 0, 3 β=1 1 z β z β ( ) µ ωµab σ [a σ b] 1 3 z α µz α z α µ z α 4 1 z α z ɛ α α= z 1 z 2 z + 2L σµɛ = 0, 3 β=1 1 z β z β δχ α = σ µ µz α ɛ (1 z α z α ) ( z α + z 1 z 2 z 3 / z α) 3 ɛ = 0, β=1 1 z β z β δ χ α = σ µ µ z α ɛ (1 z α z α ) ( z α + z 1 z 2 z 3 /z α) 3 β=1 1 z β z β ɛ = 0. These highly coupled eqtns. have a remarkably simple solution.

18 The solution z α (r) = c αf (r) f (r) = z α (r) = c1c2c3 f (r) c α (1 r)2 1 + c 1c 2c 3r 2 ds 2 = 4L2 (1 + c 1c 2c 3)(1 + c 1c 2c 3r 4 ) dr 2 + r 2 dω 2 3. (1 + c 1c 2c 3r 2 ) 2 (1 r 2 ) 2 Features: i) common radial function for all z α z α ii) solution has 3 arbitrary complex constants c α. iii) so z ζ, as advertised. iv) metric is conformal to H 4 v) we check that BPS soltns. also satisfy Lagrangian EOM s and we find Killing spinors.

19 Results and Interpretation 1. Change radial variable r = 1 2e ρ + 2e 2ρ Find expected bdy. behavior for scalar mass m 2 = 2/L 2 : with a α = ã α = c 1c 2 c 3 c 2 α z α (ρ) = a α e ρ + b α e 2ρ +... z α (ρ) = ã α e ρ + b α e 2ρ c α a α b α = 8c α(1 c 1 c 2 c 3 ) 1 + c 1 c 2 c 3 (1 + c 1 c 2 c 3 ) 2 b α = c 1c 2 c 3 c 2 α b α.

20 In normal AdS/CFT, dominant asymptotic terms, a α, ã α would be sources for the 3+3 =6 QFT ops. O α B, Oα F. Not correct here b/c the 3 OB α have scale dim. 1, but the 3 OF α have scale dim. 2. From scaling under ρ ρ + δρ, we see that a α, ã α can be sources for dim. 2 ops., and b α, b a can be sources for dim. 1 ops. Since the O α F are pseudoscalar, we take aα ã α as their sources. This suggests that b α + b a are sources for the scalar O α B.

21 A more precise argument Equivalent to requirement of SUSY for the source term d...e 3 x(g αob α+fαoα F ) *PL* Result: If f α a α, ã α are the sources for O α F, then g α b α ã1 ã 2 ã 3 ã α + b α a1 a 2 a 3 a α are the sources for OB α. Can rewrite a, ã, b, b in terms of the c α parameters of the soltns. Then compare with deformation of ABJM ( d 3 x δ α + δ 1 δ 2 δ 3 /δ α )OB α + ) δ α OF α α to identify δ α = k c α + c 1 c 2 c 3 /c α 1 + c 1 c 2 c 3. Finally we have a detailed correspondence between parameters of the QFT and parameters of the SG solution.

22 Where are we in the AdS/CFT story? i) discussed the relevant structure of the N = 2 bulk theory. ii) presented and solved the BPS eqtns. to find z α (ρ), g µν (ρ). iii) new SUSY argument to determine sources of OB α, Oα F. iv) What is left? S on shell Bridge between QFT and its gravity dual. It is divergent and requires Holographic Renormalization, a systematic procedure to cancel divergences by counterterms which are: i) local invariants formed from bulk fields at the cutoff ρ = ρ 0. ii) UNIVERSAL they must cancel s of all soltns of EOMs, not just the BPS soltns. iii) Procedure leaves open the possibility of finite CT s Important because procedure is not always compatible with SUSY!

23 A SUSY Counterterm For flat-sliced domain walls in general N = 1 Kähler SG model: ds 2 = L 2 (dρ 2 + e 2A(ρ) dx i dx i ) z α (ρ, x i ) z α (ρ). Lorentzian sig. action + partial integration (a la Bogomolny) S = d 4 x [ ] 1 g 2 R K α β µz α µ z β V (z, z) V = W 2 3 W 2. Find sum of quadratic factors + surface term: Quadratic factors are BPS eqtns: r z α = e K/2 W / W α W r A = e K/2 W. Surface term: d 4 x2e K/2 W.

24 Surface term can be dropped for some purposes, but because fields in AdS/CFT fall at definite rate at the bdy. One must include CT: S SUSY = d 3 x(e 3A e K/2 W ) ρ=ρo = = d 3 x [ ] h z α (z1 z 2 z 3 + c.c.) +... The first two terms are conventional CT s, but the third is a new finite CT req d by SUSY, Remaining step: The free energy is the Legendre transform of S on shell α

25 Finale Our goal is to match QFT free energy: F = 4 2πN 3/2 3 where R[Y 1 ] = δ 1 + δ 2 + δ 3., etc. R[Y A ], We have discussed: z α = c α f (r), z α = c 1c 2 c 3 c α f (r) and identified δ α = k cα+c 1c 2 c 3 /c α 1+c 1 c 2 c 3. The bulk thy. Legendre trf gives: F = 2πN 3/2 3 A (1 c 2 1 )(1 c2 2 )(1 c2 3 ) (1 + c 1 c 2 c 3 ) 2 Find perfect 3-parameter match if we take k = 1/2.

26 Discount Code - PHYS25 offer ends 5/1/2013