Open/Closed Duality in Topological Matrix Models

Transcription

1 Leonardo Rastelli Open/Closed Duality in Topological Matrix Models Rutgers, March with Davide Gaiotto hep-th/ work in progress

2 Open/Closed Duality Gauge theory/closed strings correspondence AdS/CFT and related examples Ordinary Yang-Mills? Large N transitions in topological string theory Chern-Simons/A-model on the conifold Witten, Gopakumar Vafa B-model Dijkgraaf Vafa, Aganagic Dijkgraaf Klemm Marino Vafa Unstable brane decay: Sen either outgoing closed radiation or wordvolume dynamics on the brane Closed strings in D = 2 from double-scaling limit of open SFT on N unstable branes. McGreevy Verlinde, Klebanov Maldacena Seiberg

3 Gauge theory partition function: t Hooft log Z open (g Y M, N) = (gy 2 M ) 2g 2 (gy 2 M N) h F g,h g=0 h=1 g s = gy 2 M, t = gy 2 M N Closed string partition function: log Z closed (g s, t) = g 2g 2 s F g (t) F g (t) = g=0 F g,h t h. h=2

4 In many examples, t is a geometric parameter of the closed string background. Riemann surfaces with h holes Closed Riemann surfaces with h extra closed string insertions? D-branes in imaginary time offer a precise example Gaiotto Itzhaki L.R. t b 0 dρ ρ L 0 B P t W(P ) Summing over holes exp(t d 2 z W(z)) Topological strings seem to work similarly Ooguri Vafa

5 p Brief review of c < 1 closed string models q Noncritical bosonic string theories from (p, q) minimal models + Liouville. Exact solution from double-scaling of p 1 matrix model. Douglas Shenker, Brezin Kasakov, Gross Migdal Models in the same row related by turning on deformations, S = S 0 + t n O n. (p, 1) column: topological models Focus first on (2, 1): c = 2 matter c = 28 Liouville. Alternative powerful formulation as topological 2d gravity, intersection theory on moduli space of Riemann surfaces. Witten

6 (2, 1) model Closed string observables O 2k+1, k = 0, 1,..., (O 2k+1 c 1 (L) k in intersection theory) log Z closed (g s, t k ) = g=0 g s2g 2 exp( k t k O 2k+1 ) g. Z(t) = τ(t) is a τ-function of the KP(KdV) hierarchy. Douglas Uniquely determined by Virasoro algebra of constraints: Dijkgraaf Verlinde Verlinde t k Z(t k ) = L 2k 2 Z(t k )

7 Kontsevich matrix integral Beautiful representation of Z(t) from an integral over N N hermitian matrices Z closed (t) = ρ(z) 1 [dx] exp ( 1 [ 1 go 2 Tr 2 ZX2 + 1 ]) 6 X3 ρ(z) = [dx] exp ( 1 ) 2go 2 TrZX 2. Closed string sources t k encoded in the N eigenvalues of matrix Z: t k = g2 o 2k + 1 Tr Z 2k 1 = g2 o 2k + 1 N n=1 1 z n 2k+1 Different from double-scaled matrix model. Here we can keep g s and N finite, or do ordinary t Hooft expansion with t k fixed. Konsevitch integral resembles cubic open SFT...

8 Feynman rules i j 2 g s 1 z i z j i g s j k

9 Example: O 1 O 1 O 1 S2 Sphere with three holes: Assign Chan-Paton indexes to each hole i,j,k i j k j i k Four contributions: 2g 2 o (z i + z j )(z j + z k )(z k + z i ) + [ g 2 o z i (z i + z j )(z i + z k ) ] + (i j) + (i k) = g2 o z i z j z k Sum over Chan-Paton: g 2 o 6 ( N i=1 ) z i 6gs 2 t 0 3 O 1 O 1 O 1 S2 = 1. Hole in Feymann diagram closed string puncture g s O2k+1 z 2k+1 Summing over number of holes exponentiates the puncture to a closed background

10 Our Proposal Kontsevich integral = open SFT on N stable D-branes B z = (FZZT brane for Liouville with µ = 0, µ B = z) B matter Introducing a brane is equivalent to a shift of the closed string background: B z k=0 O 2k+1 (2k + 1)z 2k+1 Cubic OSFT on N such branes Kontsevich integral Topological localization similar to open topological A model Chern-Simons Witten Compute Z in open and closed channel: ( ) Z open (g o, z i ) = Z closed g s = go, 2 1 t 2k+1 = g s (2k + 1)z k i

11 Worldsheet theory for (2, 1) model Many formulations of topological gravity. Careful BRST analysis necessary to define cohomological problem and handle correctly the contact term algebra Labastida Pernici Witten, E. and H. Verlinde, Distler Nelson Double scaling limit of a matrix model with two Grassmann coordinates agrees with topological gravity Klebanov Wilkinson Simplest continuum formulation: bosonic string c = 2 matter c = 28 Liouville No subtleties arise for the open theory. Precise treatment made possible by recent progress in Liouville field theory Teschner, Fateev Zamolodchikov 2,

12 S = 1 2π Strings in D=-2 d 2 z ɛ αβ Θ α Θ β + S c=28 φ + S bc α, β = 1, 2. Θ 1 and Θ 2 real and Grassmann odd. Θ 1 (z, z)θ 2 (0) 1 2 log z 2 Only one non-chiral zero mode. Different from ξη, Closed string observables η(z) = Θ 1 (z, z), ξ(z) + ξ( z) = Θ 1 (z, z). O 2k+1 = e 2(1 k)φ P k ( Θ α ) c c Canonical choice of ( k(k+1) 2, k(k+1) 2 ) primaries P k from SL(2) invariance. Already in the correct picture. Logarithmic behavior of the CFT possible way to understand contact terms. (See Zamolodchikov)

13 Stable D-branes Boundary conditions: Dirichlet b.c. on Θ α. Extended D-brane in the Liouville direction with boundary interaction µ B eφ Fateev Zamolodchikov 2 Quantum gravity interpretation B µb 0 e µ B l W (l) k=0 O 2k+1 µ 2k+1 B W (l) macroscopic loop operator Martinec Moore Seiberg Staudacher O 2k+1 appear with correct power of µ B in Boundary State if µ B z parameter in Kontsevich.

14 Spectrum on these branes: BCFT on stable branes Θ α : Dirichlet b.c. a single copy of current Θ α, no zero modes Boundary (FZZT) Liouville: {e αφ } α = Q/2 + ip are normalizable states; α real Q/2 are local operators. (c Liou 1 + 6Q 2, Q = b + 1/b, b = 1/ 2) Bosonization Distler β = Θ 1 e bφ γ = Θ 2 e bφ (2,-1) βγ system, (2,-1) bc system Scalar supercharge Q S = b(z)γ(z) = b(z)e φ(z) Θ 2 (z), Q 2 S = {Q B, Q S } = {b 0, Q S } = [L n, Q S ]= 0. L 0 = {Q S, }

15 Open String Field Theory Usual OSFT action on N D-branes: Witten S[Ψ] = 1 g 2 o ( 1 2 Ψ ij, Q B Ψ ji + 1 ) 3 Ψ ij, Ψ jk, Ψ ki. String field Ψ ij H ij, open string state-space between brane i and brane j.

16 Topological localization S W S = {Q S, } localization on massless modes More formal argument: Gauge-fix action with Siegel gauge b 0 Ψ ij = 0. Extend Ψ ij to arbitrary ghost number Q S cohomology is one-dimensional: open string tachyon c e bφ. OSFT action Q S closed. S[Ψ] = 1 g 2 o Ψ ij = X ij T ij + = X ij e bφ c 1 0 ij +. ( 1 2 X ijx ij T ij, c 0 L 0 T ji + 1 ) 3 X ijx jk X ki T ij, T jk, T ki + Q S ( ). Vacuum amplitudes containing states outside the cohomology add up to zero.

17 Boundary Liouville correlators Naive computation: Liouville momentum has to add up to 3. T ij, c 0 L 0 T ij = µ (i) B + µ(j) B. (Needs one µ Be φ insertion) T ji, T jk T ki = 1 (Needs no µ B insertion) Kontsevich model: µ B = z Kinetic term would be naively zero (open tachyon is on-shell). Why non-zero? Compute carefully with FZZT formulae: e αφ e αφ 1,2 = D(α, µ (1) B, µ (2) B, µ bulk ) D(α, µ (1) B, µ(2) B, µ bulk) has a pole as α 1 that cancels against L 0 0. All contributions come from singular surfaces In cell decomposition of OSFT, all propagator lengths L i

18 Evaluating Boundary Liouville correlators D(α, µ (1) B, µ(2) B, µ bulk) = ( π 2 µ bulk γ( 1 2 )) 1 2 α Γ 2 1 ( 2α 3 2 )S 2 1 ( i s 1 + i s 2 2α )S 2 1 ( 3 2 i s 1 i s 2 2α) Γ 2 1 ( 3 2 2α)S 2 1 (i s 1 i s 2 + 2α)S 2 1 ( i s 1 + i s 2 + 2α) µ (i) B µbulk = cosh 2πs i

19 Contact terms Open string contact terms: boundaries touch each other Closed string contact terms: punctures touch each other Highly nontrivial contact terms in closed string description give rise to recursion relations for amplitudes. t 1 Z = L 2 Z t2 1 2g 2 s Z + Z (2k + 3)t 2k+3 k=0 t 2k+1 t 2n+5 Z = L 2n+2 Z Z = L 0 Z 1 t 3 8 Z + Z (2k + 1)t 2k+1 k=0 Z (2k + 1)t 2k+1 + g2 s t 2k+2n+1 2 k=0 t 2k+1 n k=0 2 Z t 2k+1 t 2n 2k+1 Recursion encode contact terms for O 2n+1 at position of other O 2m+1 and nodes of surface. Witten, Dijkgraaf Verlinde Verlinde Non-trivial self-consistency: Virasoro algebra.

20 Extended recursion relations How do boundaries affect recursion relations? New contact terms for O 2n+1 at boundaries and at nodes that pinch a boundary. t 1 Z = L (z) 2 Z L 2Z + ( t 1 zg s + 1 2z 2 )Z 1 z Z z t 3 Z = L (z) 0 Z L 0Z z Z z t 2n+5 Z = Unique solution: (z) L 2n+2 Z L 2n+1 Z 2n+2Z z z g s Z open+closed (t 2k+1, z) = Z closed (t 2k+1 + n Z z 2k+1 t 2n 2k+1 k=0 ) g s (2k + 1)z 2k+1

21 O k O k O k

22 In this model, all the physics can be extracted from the open string vacuum amplitudes on an infinite number of branes This may be the correct framework for background independence Witten Generalizations to other c 1 and ĉ 1

23 Non-zero bulk cosmological constant Treat closed string deformation µe 2bφ perturbatively. In OSFT, add closed string insertions with open/closed vertex. In this simple case, ( [ 1 Z(g s, µ, z i ) = Z closed (g s, µ)ρ(z) 1 [dx] exp Tr 1 g s 2 ZX2 + 1 ]) 6 X3 + µx Shift X X (Z 2 2µ) Z gives ( 1 [dx] exp Tr [ 12 g (Z2 2µ) 12 X ]) X3 s Hence µ B (z 2 2µ) 1 2, which checks out. Similarly, dilaton deformation t 3 O 3 open/closed vertex 3t 3 g s TrZ 2 X. Higher O k have non-trivial contact terms multi-trace deformations?

24 Generalization to (p, 1) (work in progress) Kontsevich integral for (p, 1): One matrix with action of order p + 1 KMMMZ Topological OSFT (p, 1): p 1 matrices with cubic action Example: (3, 1) ( Z KMMMZ (t) = ρ(z) 1 [dx] exp 1 [ 1 go 2 Tr 4 Z2 X ZX3 + 1 ]) 24 X4 ( Z(t) [dx][dy ] exp 1 go 2 Tr [ a 1 Z 2 X 2 + a 2 ZXY + a 3 Y 2 + b 1 ZX 3 + b 2 X 2 Y ]) CFT: twisted SU(2) p 2 Θ α Liouville bc = top. MM top. gravity Structure of matrix model dictated by Lioville dressing Y can be integrated away quartic potential: Z(t) = Z KMMMZ (t)?

25 Conclusions A new class of examples of exact open/closed duality Prototype: Kontsevich model Many possible extensions: (p, q) minimal models c = 1 at self-dual radius Mukhi Murthy ĉ < 1 models? critical topological strings? General lesson: Open SFT on infinite number of branes as a universal tool for open/closed dualities