Supersymmetry on Curved Spaces and Holography

Transcription

1 Supersymmetry on Curved Spaces and Holography based on: C.K.-Tomasiello-Zaffaroni Cassani-C.K.-Martelli-Tomasiello-Zaffaroni Claudius Klare Università di Milano-Bicocca

2 Outline Motivations Basic Strategy & Results Examples Future Directions

3 Outline Motivations Basic Strategy & Results Examples Future Directions

4 Exact results in SUSY QFT's Localization reduces the path integral to a matrix model

5 Exact results in SUSY QFT's Localization reduces the path integral to a matrix model on on on on [Pestun '07] [Kapustin-Willett-Yaakov '09, Jafferis, Hama-Hosomichi-Lee '10] [Benini-Cremonesi, Doroud-Gomis-LeFloch-Lee '12] [Hosomichi-Seong-Terashima, Källén-Qiu-Zabzine '12] Similar: SCFT index on [Römelsberger, Kinney-Maldacena-Minwalla-Raju '05]

6 Exact results in SUSY QFT's Localization reduces the path integral to a matrix model yielding new observables & exact results Check of Seiberg dualities AGT -, - scaling Z-minimization F-theorem 4d, 3d 4d/2d 3d, 5/6d 3d 3d

7 Exact results in SUSY QFT's Localization reduces the path integral to a matrix model Typically this requires curved spaces (e.g. ) Question: Which spaces are allowed?

8 Exact results in SUSY QFT's Localization reduces the path integral to a matrix model Typically this requires curved spaces (e.g. ) Question: Which spaces are allowed?...and what happens to AdS/CFT?

9 Outline Motivations Basic Strategy & Results Examples Future Directions

10 Related Works Festuccia-Seiberg Jia-Sharpe Samtleben-Tsimpis C.K.-Tomasiello-Zaffaroni Dumitrescu-Festuccia-Seiberg Cassani-C.K.-Tomasiello-Zaffaroni Liu-Pando Zayas-Reichmann de Medeiros Dumitrescu-Festuccia Kehagias-Russo

11 Problem Curvature breaks SUSY Complicated construction of and following the Noether procedure

12 Problem Curvature breaks SUSY Complicated construction of and following the Noether procedure Elegant Solution Couple the QFT to supergravity Freeze the gravity fields to (complex) background value, s.t. Get and for free [Karlhede-Rocek '88] [Adams-Jockers-Kumar-Lapan '11] [Festuccia-Seiberg '11]

13 If the QFT is a CFT, naturally: couple to conformal SUGRA!

14 If the QFT is a CFT, naturally: couple to conformal SUGRA! Recall: in conformal SUGRA the whole superconformal group is gauged vs. Poincaré SUGRA only usual SUSY group is local

15 If the QFT is a CFT, naturally: couple to conformal SUGRA! Superconformal theories can also be understood via their gravity dual. The curved manifold arises then as the boundary of a bulk geometry.

16 If the QFT is a CFT, naturally: couple to conformal SUGRA! Superconformal theories can also be understood via their gravity dual. The curved manifold arises then as the boundary of a bulk geometry. Relation between the two!?

17 The bulk theory: Start with minimal gauged SUGRA.

18 The bulk theory: Consider asymptotically locally AdS (ALAdS) as the solution of a gauged SUGRA. minimal:

19 The bulk theory: ALAdS in gauged SUGRA - expansion On the boundary: Conformal SUGRA!

20 The bulk theory: ALAdS in gauged SUGRA - expansion On the boundary: Conformal SUGRA!

21 The bulk theory: ALAdS in gauged SUGRA - expansion On the boundary: Conformal SUGRA! -trace

22 The bulk theory: ALAdS in gauged SUGRA - expansion On the boundary: Conformal Killing spinor (CKS) with

23 Manifolds admitting a conformal Killing spinor, admit SUSY.

24 Manifolds with a CKS / with SUSY Note: Spin - part of Conformally covariant

25 Manifolds with a CKS / with SUSY The case is studied: ( twistor equation )

26 Manifolds with a CKS / with SUSY The case is studied: Euclidean Case Dimension Manifold Cone

27 Manifolds with a CKS / with SUSY The case is studied: Euclidean Case Lorentzian Case either Fefferman (in 4d) ) or pp-wave metrics

28 Manifolds with a CKS / with SUSY

29 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure

30 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure Example (4d Euclidean): -structure

31 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure 2. Define intrinsic torsions from the forms

32 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure 2. Define intrinsic torsions from the forms Example:

33 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure 2. Define intrinsic torsions from the forms 3. CKS equation condition on intrinsic torsions

34 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure 2. Define intrinsic torsions from the forms 3. CKS equation condition on intrinsic torsions Example: etc.

35 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure 2. Define intrinsic torsions from the forms 3. CKS equation condition on intrinsic torsions Example: etc. computation computation

36 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure 2. Define intrinsic torsions from the forms 3. CKS equation condition on intrinsic torsions result: ( roughly!)

37 Manifolds with a CKS / with SUSY General strategy: 1. Bispinors forms defining -structure 2. Define intrinsic torsions from the forms 3. CKS equation condition on intrinsic torsions result: (and is complex! determined) [CK-Tomasiello-Zaffaroni Dumitrescu-Festuccia-Seiberg]

38 Comments: This determines and through the coupling (here: linearised) * is a local statement result: (and is complex! * determined)

39 Manifolds with a CKS / with SUSY - Results: [C.K.-Tomasiello-Zaffaroni, Cassani-C.K.-Martelli-Tomasiello-Zaffaroni,...] Dimension Forms Condition 4d (++++) complex 4d ( +++) conformal Killing 3d (+++)

40 SUSY Theories with an -symmetry (the non-conformal case)

41 SUSY Theories with an -symmetry Naturally: couple to new minimal SUGRA constraint:

42 SUSY Theories with an -symmetry Naturally: couple to new minimal SUGRA constraint: (3d follows by dimensional reduction... )

43 SUSY Theories with an -symmetry Naturally: couple to new minimal SUGRA Fact: This is a special case of CKS equation

44 SUSY Theories with an -symmetry Naturally: couple to new minimal SUGRA Fact: This is the special case of CKS equation for, where and

45 SUSY Theories with an -symmetry Naturally: couple to new minimal SUGRA Fact: This is the special case of CKS equation for The constraint can be imposed by fixing an ambiguity in the definition of

46 SUSY Theories with an -symmetry Naturally: couple to new minimal SUGRA Fact: This is the special case of CKS equation for Lorentzian case: reality of Weyl rescaling ( becomes Killing vector)

47 SUSY Theories with an -symmetry Comment: No surprise! Recall: Superconformal tensor calculus Conformal SUGRA gauge fixing the conformal symmetries (upon a compensator multiplet ) New minimal SUGRA

48 Outline Motivations Basic Strategy & Results Examples Future Directions

49 More explicitly: 4d Euclidean

50 More explicitly: 4d Euclidean Extra Detail: Equations for -structure : is complex!

51 More explicitly: 4d Euclidean Example: Kähler manifolds ( is real.)

52 More explicitly: 4d Euclidean Example: Kähler manifolds Note: in new minimal set-up: Characterises Kähler manifolds

53 More explicitly: 4d Euclidean Example: complex but non-kähler?

54 More explicitly: 4d Euclidean Example: ( is imaginary!)

55 More explicitly: 3d Euclidean

56 More explicitly: 3d Euclidean Get by dimensional reduction: Extra Detail: Equations for -structure :

57 More explicitly: 3d Euclidean Ex.: (Squashed) 3-sphere

58 More explicitly: 3d Euclidean Ex.: (Squashed) 3-sphere Choose vielbein (I): Determine background fields: see also: [Hama-Hosomichi-Lee]

59 More explicitly: 3d Euclidean Ex.: (Squashed) 3-sphere Choose vielbein (II): Determine background fields: see also: [Imamura-Yokoyama], [Martelli-Sparks]

60 More explicitly: 4d Lorentzian [Cassani-CK-Martelli-Tomasiello-Zaffaroni]

61 More explicitly: 4d Lorentzian The bilinears define a vielbein......up to an ambiguity: ( -structure )

62 More explicitly: 4d Lorentzian The bilinears define the vielbein: SUSY z Killing special coordinates: Parametrise most general metric: for some independent of

63 More explicitly: 4d Lorentzian We have explicit coordinate expressions for the background fields: etc....

64 More explicitly: 4d Lorentzian Note: in Lorentzian case, we have a complete classification of the gravity duals! [Gauntlett-Gutowski '03 Caldarelli-Klemm '03] Reduction to boundary reproduces our CKS results from the full bulk solutions Hard but interesting: Which of our boundary solutions extent to regular ones in the bulk?

65 Future Directions Regularity in bulk Imprint on boundary (via perturbative construction in )

66 Future Directions Other dimensions, supersymmetries: and AGT. New feature: Non-abelian! interesting in the context of the M5 in 4d [Lambert-Papageorgakis- Schmidt Sommerfeld, Douglas, '10] [Hosomichi-Seong-Terashima, Källén-Qiu-Zabzine, '12]

67 Thank You......Questions?

68 New Minimal in 3d: Disposal

69 Disposal The other vector in 4d Lorentzian:

70 Disposal

71 Detour: the free energy in The matrix model of the CFT on to be a very deep object. turns out

72 Detour: the free energy in The matrix model of the CFT on to be a very deep object. turns out It can be solved at large N applying a saddle point approximation as [Herzog, Klebanov, Pufu, Tesileanu] [Martelli-Sparks, Jafferis-Klebanov-Pufu-Safdi] Extremum of

73 Detour: the free energy in The matrix model of the CFT on to be a very deep object. turns out Actually, one finds R-charges of the fields Note: R-symmetry is not uniquely defined...

74 Detour: the free energy in Reproduces scaling [Drukker-Marino-Putrov '10,...] is extremised for the exact R-charge [Jafferis '10] F seems to obey an F-theorem [Jafferis-Klebanov-Pufu-Safdi '11] [ ] [Amariti-CK-Siani '11] [...] reproduces nicely the AdS expectations of Z-minimisation [Herzog-Klebanov-Pufu-Tesileanu '10] [Martelli-Sparks '11] [ ] [Amariti-CK-Siani '11] [...]

75 The matrix model [Kapustin-Willett-Yaakov '10] [Jafferis, Hama-Hosomichi-Lee '10] The partition function of the field theory on S^3 localizes in field space: all other fields Extra adjoint scalar in 3d from dim. red.:

76 The matrix model [Kapustin-Willett-Yaakov '10] [Jafferis, Hama-Hosomichi-Lee '10] The partition function of the field theory on S^3 localizes to a matrix model Cartan of G

77 The matrix model [Kapustin-Willett-Yaakov '10] [Jafferis, Hama-Hosomichi-Lee '10] The partition function of the field theory on S^3 localizes to a matrix model Cartan of G, typically: when For U(N), the roots are and, etc...

78 The large N saddle point [Herzog, Klebanov, Pufu, Tesileanu] [Martelli-Sparks, Jafferis-Klebanov-Pufu-Safdi] This can be solved at large N applying a saddle point approximation as Extremum of

79 The large N saddle point [Herzog, Klebanov, Pufu, Tesileanu] [Martelli-Sparks, Jafferis-Klebanov-Pufu-Safdi] This can be solved * at large N applying a saddle point approximation as Extremum of * Note: Only true for vector-like theories (i.e., wih matter ~ )

80 The large N saddle point [Herzog, Klebanov, Pufu, Tesileanu] [Martelli-Sparks, Jafferis-Klebanov-Pufu-Safdi] This can be solved at large N applying a saddle point approximation as Extremum of Compare with the AdS dual : [ ],[Amariti-CK-Siani],[...]

81 F-maximisation [Jafferis] Actually, one finds with ( ) maximised exact R-symmetry

82 F-theorem? F decreases along RG flow [Jafferis-Klebanov-Pufu-Safdi] [Amariti-CK-Siani]