The AdS/CFT Correspondence and String Theory on the pp-wave by Bojan Ramadanovic B.Sc., Simon Fraser University, 2001 M.Sc., University of British Columbia, 2003 A THESIS SUBMITTED IN PARTIAL FULFILMENT OF THE REQUIREMENTS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY in The Faculty of Graduate Studies (Physics and Astronomy) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) October 2008 © Bojan Ramadanovic, 2008 Abstract ii Abstract Aspects of the AdS/CFT correspondence are studied in the pp.-wave/BMN limit. We use the light cone string field theory to investigate energy shifts of the one and two impurity states. In the case of two impurity states we find that logarithmic divergences, in the sums of intermediate states, actually cancel out between the Hamiltonian and a Q-dependent contact term”. We show how non-perturbative terms, that have previously plagued this theory, vanish as a consequence of this cancelation. We argue from this that every order of internal impurities contributes to the overall energy shift and attempt to give a systematic way of calculating such sums for the case of the simplest 3-string vertex (one proposed by diVecchia). We extend our analysis of the mass shift to the case of the most advanced 3-string vertex (proposed by Dobashi and Yoneya). We find agreement between our string field theory calculations and the leading order CFT result in the BMN limit. We also find strong similarities between our result and higher orders in the field theory, including, on the string side, the disappearance of the half-integer powers which generically do not exist in the field theory calculations. We also study the orbifolding of the pp-wave background which results in the discrete quantization of the light-cone momentum. We present the string field theory calculation for such a discreet momentum case. We also observe how a particular choice of the orbifold, results in the string theory corresponding to the quantization of the finite size giant magnon on the CFT side. We study this theory in detail with particular emphasis on its super algebra. Contents iii Contents Abstract ii Contents iii Acknowledgements vi Foreword vii 1 Introduction 1 1.1 Perturbative string theory 1 1.1.1 Classical bosonic string 1 1.1.2 Supersymmetry 6 1.1.3 Closed string spectrum arId the background fields 11 1.2 T- Duality and Dirichiet branes 13 1.2.1 T-duality 13 1.2.2 Properties of D-branes 15 1.3 AdS/CFT correspondence 17 1.3.1 Origin of the AdS/CFT 17 1.3.2 Black holes and stacks of branes 18 1.3.3 Early equivalences - Entropy and absorption cross-section 20 1.3.4 Maldacena Conjecture 23 1.3.5 Evidence of the AdS/CFT and holography 23 1.3.6 Summary 27 2 AIS/CFT and the interacting strings 28 2.1 Strings on the plane-wave and the BMN limit 28 2.1.1 Penrose limit of the AdS5 x S5 28 2.1.2 Strings on the pp-wave limit 29 2.1.3 The Supersymmetry group of the pp-wave 31 2.1.4 BMN limit 32 2.1.5 Interactions in the BMN limit 34 2.2 String field theory on the pp-wave background 35 2.2.1 Bosonic particle in the plane wave background 36 2.2.2 Bosonic string field theory 38 2.2.3 Fermionic contribution to the vertex 40 2.2.4 Interaction super-algebra and the pre-factors 40 2.2.5 The contact interaction term 44 Contents iv 2.2.6 Impurity conserving channel 2.3 Higher impurity channels 2.3.1 Trace state 2.3.2 Four impurity channel 2.3.3 Generalizing to arbitrary impurities 2.3.4 Conclusion 2.4 Alternate vertices 2.4.1 DVPPRT vertex 2.4.2 DY vertex 2.5 Conclusion 3 Orbifolding and the discrete light-cone quantization 3.1 Orbifolding and the BMN limit . 3.1.1 String theory on the pp-wave orbifold 3.1.2 .JV 2 gauge theory 3.1.3 Duality 3.2 String field theory on pp-wave orbifold 3.2.1 k 2 Impurity-conserving mass-shift 3.2.2 k = 3 Impurity-conserving mass-shift 3.2.3 4 impurity channel for the k=2 3.3 Giant magnon and the single impurity multiplet 3.3.1 Giant magnon in AdS/CFT 3.3.2 Magnon boundary conditions and the orbifold 3.3.3 Orbifold in gauge theory 3.3.4 Orbifold in plane-wave limit 3.3.5 Near pp-wave limit 3.4 Conclusion 4 Summary Bibliography 96 A Fermion representations 104 B Neumann matrices and associated quantities- 107 C More Neumann matrices and relations 109 D Calculational method D.1 Vertices and definitions D .2 Commutation relations D.3 Matrix elements D.4 More matrix elements 45 48 48 50 53 57 57 58 64 68 6970707476787982838484858789929395 111 111 113 113 115 Contents v E Energy Shift for DVPPRT Vertex 117 E.1 Derivation of the “Master Formula” 117 E.1.1 The two-string state <ely> and the number <vie>< ely> . . . 117 E.1.2 The two-string state <Q2eiv> and the number <vjQ2e>< Q2ev> 119 E.2 4-impurity calculation 125 F Hamiltonian and the supercharges of the orbifolded string 133 F. 1 Hamiltonian of the orbifolded string 133 F.1.1 Bosonic interaction Hamiltonian 133 F.1.2 Fermionic interaction Hamiltonian 135 F.2 Supersymmetries of the orbifolded string in near pp-wave limit 136 Acknowledgements vi Acknowledgements I would like to acknowledge here immense help of my supervisor, Gordon Semenoff in the research work leading to this thesis. I would like to thank Gordon for ideas, instruction, motivation, patience, funding and good cheer over almost seven years of collaboration. Like wise, I wish to acknowledge huge contributions of our other collaborators, Gianluca Grignani, Shirin Hadizadeh, Martha Orselli and, in particular, Donovan Young. Over the five years of our association Donovan’s output was always inspiring in quality and humbling in its prodi gious quantity. The core of this thesis owes a lot to his superior work [81]. Great thanks also go to the people of UBC physics department, both within the string group and beyond. In particular I would like to thank Don Witt and Kirstin Schleich for being extremely helpful and friendly people as well as great teachers; Mark Van Raamsdonk, Moshe Rosali and Joana Karczmarek for being the backbone of our group; Henry Ling, Brian Shieh, Thomas Kiose, Phil DeBoer and Mark Laidlaw for many useful informal discussions and Janis McKenna for lots of valuable advice and, even more importantly, for her contagious optimism. Not any less, I would like to thank my undergraduate teachers and colleagues at Simon Fraser University’s mathematics and physics departments, in particular Igor Herbut, my undergraduate thesis supervisor, mentor and friend. My thanks go in equal measure to all those important non-physicists in my life who have inspired and supported me, from parents and grandparents who ignited and preserved the spark of my curiosity about the world to the magnificent friends without whom I would have neither the mental acuity nor psychological energy for this work. Special thanks go to the people of St. Catherine’s church of North Vancouver who have quite literally changed my life when they decided to help a family of refugees, with whom they had nothing in common except shared humanity, to immigrate to this wonderful country of Canada. Finally I thank Hilary for the love of twelve years and many years to come. Foreword vii Foreword Since its inception in the 1960ies string theory has had a bewildering array of applications. Original version, intended to explain the “Regge slope “ relationship between spins and masses of strongly interacting bosons, and thus provide theory of the strong nuclear force [1J, fell by the wayside with the advent of quantum chromodynamics (QCD). In the 1980’s a more elaborate string theory was developed, the main feature of which was the fact that the perturbations of the background metric of the theory were quantized objects within the theory itself. Quantization of gravity was an important goal in theoretical physics ever since the Einstein-Hubert action was proposed for general relativity. String theory, in which gravity quanta are natural objects, seemed to offer the best ever hope for the unification of all known physical laws. To this day, the great popularity of string theory and its derivatives stems, to a large extent, from the idea that it is within its framework that such a “grand unified theory of physics” will be found. The “modern” string theory of the 1980’s had its own share of problems. Self-consistency of the theory constrains its background to the seemingly unphysical 10 dimensions. (26 in the case of a purely bosonic theory). Perhaps even more importantly, for a candidate to be the One Theory, string theory appeared to come in at least 5 very distinct flavors. The same underlying principles coupled with some significant differences, such as the number of supersymmetries and their relative chirality, resulted in a number of different physical theories, all of them with quantized gravity. The effort to resolve this “ embarrassment of riches” was at the heart of the second superstring revolution that took place in the mid 1990’s. At this time the mathematical transformations between the different string theories were discovered, indicating that the different theories can be considered as simply perturbative limits of a single underlying theory. These transformations - or dualities - came to be of extreme importance to the devel opment of string theory. In particular, a relationship was found, so called “strong-weak duality”, that links the strong interaction behavior of one theory to the weak interaction be havior of another. Many physical theories rely on perturbative methods for making sensible calculations, a method which is limited to the weakly coupled sector of the theory in ques tion. Therefore, a tool that could link “inaccessible” strongly coupled regimes to something that can be tackled by a perturbative method in a different theory, was potentially a ground breaking discovery in its own right. While dualities did “unify” string theory into one systemic framework (sometimes referred to as M-theory) it remains plagued by the lack of unique connection to the 4-dimensional world of empirical experience. Specifically, the number of ways in which 6 “extra” dimensions can be compactified, or otherwise dealt with, remains so large as to give an almost infinite number of parameters to any effective 4 dimensional “new physics” coming out of string theory. While this remains an important problem in string theory, the discovery of dualities Foreword viii also opened a different line of research with potentially more immediate benefits. The important question in this line of research is: whether the dualities concept can be used beyond the limits of the string theory and, in particular, if it can be applied to the one physical theory that suffers most from the lack of perturbative method in the relevant regime - namely QCD itself. One of the most important recent advancements in string theory came about in late 1990’s when a duality was proposed that links a particular conformal field theory on 4 dimensions to a string theory on a specific curved background [2]. This conjecture, called the “Maldacena Conjecture” by the name of its original author or, more usually, AdS/CFT duality, represents a crucial step in our understanding of, and the ability to perform calculations in, both field theories and string theories, even if it does not yet lead to finding a perturbative dual of QCD itself. While the Maldacena Conjecture has not been explicitly proven yet, it has acquired a considerable body of supporting evidence. Over the past ten years a large amount of work was done testing, expanding and qualifying the conjecture under various regimes. Our own research efforts were a small part of this expansive program. This thesis is a result of over four years of work on the issues concerning the duality between conformal field theory and string theory on a ten dimensional space consisting of a five dimensional sphere and five dimensional anti-deSitter space (AdS5 x S5). Even more specifically, most of our work was focused on the string side of this duality in the context of a particular particular Penrose limit of the AdS5 x S5. In the introduction chapter of this thesis we will provide the broad context for our work. We will give brief introduction to string theory in the context of Green-Schwarz quantization in the light-cone gauge, relying heavily on [6]. We will also attempt to explain the principle of dualities, in particular, that of AdS/CFT. Finally we will go over the limiting process by which we go from string theory on AdS - a very complex theory - to the solvable string theory on the plane-wave background. In the second chapter we will discuss the string field theory and the “loop corrections” to the energy of the string states. We will discuss the efforts to obtain the energy shift using those “ioop corrections”, such that it corresponds to the known dual result in the CFT (that dual result being non-planar diagram contributions to scaling dimension of the operators in the conformal field theory). In the second half of this chapter we will present the results of our own work on this problem. Most important of those results is a generic cancelation of the divergencies that were previously present in the theory beyond a certain channel. Other results include the formula for the generic channel contributions to the energy shift (given particular vertex) and the conclusion that all channels appear to contribute in the same degree to the final result. Finally we also present the result of the single channel calculation which up to this point is the one in closest agreement with the desired CFT result. The third chapter will focus on the consequences of the orbifolding of the background of both AdS and CFT theories. We will discuss the supersymmetry breaking that happens as a consequence of the orbifolding and its recovery in the plane-wave limit of the orbifolded theory. Also we will look at the magnon super-multiplet of the conformal field theory, its connection to the orbifolding, and its behavior in and near the pp-wave limit. The scientific work that is at the basis of this thesis was a colaborative one. The work on the string field theory as discussed in Chapter 2. and published in [79] and [80] was Foreword ix done jointly with Gordon Semenoff and Donovan Young. We met regularly and shared most aspects of the work with Gordon providing questions and ideas and Donovan and I doing most of the calculations. Our group worked in colaboration with Gianluca Grignani and Marta Orselli who were frequent visitors at UBC but otherwise worked independently on the same set of problems as us. There were frequent discussions between our two teams both in person and in correspondence that were crucial to the eventual results. Results concerning the “master formula” for the DiVecchia vertex were obtained after the joint publications and were largely done by this author alone with motivation and advice offered by Gordon Semenoff. Work published in [85] and refered to in Chapter 3. of this thesis was a colaboration between Gordon and I with Gordon providing context and most of the field-theoretic results and me doing the bulk of the work on the string theory side. Chapter 1. Introduction 1 Chapter 1 Introduction 1.1 Perturbative string theory 1.1.1 Classical bosonic string Particle path integral The starting point for the discussion of string theory may well be the generalization of the action that describes the motion of a single massive particle in a background gravitational field. Such an action would be given by an invariant length of the world line: s = _mfds; ds2 = —g(x)dxdx (1.1) where g,(x) is the metric of the background field. If the particle trajectory is parametrized by some coordinate r then we can write the above as: S= _mfdT_gy(x)±±n (1.2) with dots signifying the derivative with respect to T. We can write this more generically by using an auxiliary coordinate e(r) S = f — e(r)m2) (1.3) which reduces to 1.2 if one solves the equation of motion for eQr) and substitutes it back into 1.3. Important to note is that in the original parameterization coordinate r was chosen ar bitrarily and that therefore 1.3 must be symmetric under the re-parametrization of r —* r’. This re-parametrization symmetry enables us to take a convenient choice of e(T) such as eQr) = 1/rn making the solving of the 1.3 a simple matter. We would still have to satisfy the e(’r) equation of motion g,(x)±fz + eQr)2m = 0; g(x)±±1 = —1 (1.4) keeping it as an on-shell condition for the particle. In this basic framework one can then proceed to quantize the particle and construct the path integrals for its propagator, vertexes etc... Chapter 1. Introduction 2 String action It is possible in principle to generalize this framework to objects of higher dimensionality than a particle (d 1 strings, d = 2 membranes etc...) however, as it turns out, the case of d = 1 has multiple advantages over the alternatives, including the symmetry under Weyl scaling that will prove important in the further discussion. We will therefore focus, for now, on the theory of one dimensional objects - strings. As the strings propagate they trace surfaces in space-time. These world-sheets play the same role as the world line does in the particle case. Specifically we can construct the action out of invariant surface area of the world sheet. This action SNG = _2h1 f drdudet(g(X)8XP(u, r)8Xv(u, T)) (1.5) called the Nambu-Goto action is the equivalent of the 1.2. Once again we can introduce the auxiliary coordinate - metric of the world sheet: h The resulting action, equivalent of the 1.3 and named after Polyakov, is arguably the foundational equation of the string theory. S = _ f (1.6) Where h = det(h) and we introduce the parameter T = (2ira’)’, with the dimension of the inverse square of length, which can be though of as the tension of the string. As in the case of the particle, the parameters a and ‘r used to describe the world sheet are arbitrary. The action will therefore be symmetric under the re-parametrization of those variables. In addition, due to the fact that we are dealing with a 1 + 1 dimensional world sheet, the action will also be symmetric under the Weyl scaling 6h° = Ah where A is an arbitrary infinitesimal function of the coordinates. Again, like in the case of the particle, varying the action with the auxiliary parameter gives us the on-shell condition for the fields. T = — = 0 (1.7) Where the T is an energy-momentum tensor of the world sheet. It can easily be shown that the condition 1.7 directly relates the expressions 1.5 and 1.6. The three symmetries listed above (two re-parametrization ones and Weyl) give us enough freedom to manipulate the independent components of the world sheet metric and set it - for simplicity - to a two dimensional Minkowski metric. It is important to note that even with the worldsheet metric gauged away to Minkowski, its equation of motion 1.7 remains a constraint on the theory; so called Virasoro constraint. We can now proceed to write down the equations of motion for the Xs. They will clearly depend on the background geometry gv. For now we can simplify the problem by setting the background to be the flat Minkowski space. With the Minkowski background, and the world sheet metric gauged away, the equations of motions for Xs are very simple: (3 — 8)X(u, T) = 0 (1.8) Chapter 1. Introduction 3 To fully ensure the invariance of the action under the variation of X we also need the boundary conditions. We can choose between X(a, r) = Xm(cx + ir, T) (1.9) and O.X(0,r) = 8X(7r,r) = 0 (1.10) where in both cases a ranges between 0 and ir. The above two conditions correspond to closed and open strings respectively. Mode expansion and the light cone gauge Focusing on the closed strings we can easily solve 1.8 X(a, T) = X + X (1.11) X = + a’p(r — a) + e_2iT_ n$O = + ‘p(r + a) + e_2iT nO Here we introduced the Fourier components c which can be though of as oscillator coordinates. It is important to note that the reality of X functions implies: = (iL)t, = (ä1)t (1.12) and also the fact that x and pP are themselves real. We can get Poisson brackets of the XIL and X from 1.6 [X(a),X’(a’)]p.B. = [)(a),)’(u’)]p.B. 0 [(a),Xv(af)] = T’(a — a’) (1.13) which give the Poisson brackets of the oscillators: [, 1P.B. = [IL n1P.B. = im6m+nr/’ I IA V1 —n 114I m niP.B. Furthermore, Virasoro constraint 1.7 can be written as: = ( + X’2) = 0 (1.15) A very similar procedure can give us the mode expansion of the open string. Chapter 1. Introduction 4 At this point it is useful to depart slightly from [6] and introduce the light cone gauge - framework for most of the subsequent work. What allows us to impose any new gauge on the theory is the fact that setting hW’ = does not fully use up both re-parametrization symmetries and Weyl. Specifically, once we have a Minkowski world sheet metric, we can preserve it while still changing the coordinates though a particular combination of the re-parametrization and Weyl scaling. If the re parametrization ° = transforms h’s” as = — — (1.16) then + = (1.17) combination leaves hIw = invariant. We can see the power of this symmetry best if we work in the coordinates o = r ± u Then = 0, = 0 (1.18) meaning that the all transformations of the form (1.19) keep the metric intact. The main advantage of the light cone gauge is that it makes the implementation of Virasoro constraint trivial and eliminates unphysical degrees of freedom. Its disadvantage is that it makes Lorentz invariance non-obvious. To impose the light cone gauge we begin by singling out two directions and label them as+and X± = =(X° ± X!_l) (1.20) while keeping remaining the d — 2 ones intact. We can then use 1.19 to simplify X consid erably. = ___ — = ,1(X — x) (1.21) This relates X directly to the r coordinate of the world sheet by: X(u,r) = x +pT (1.22) We use this simple form of the X to re-write the Virasoro condition ± X’)2 = 0 ( ± X’) = 4a’p ± X’)2 (1.23) Chapter 1. Introduction 5 The upshot of this result is that the expression X becomes completely fixed in terms of X making it explicit that the system carries only d — 2 physical degrees of freedom. X are fully fixed by the gauge freedom and constraints. Equation 1.23 does not cover all of the Virasoro constraints from 1.15. To do that we use the Fourier expansion of the energy-momentum tensor from equation 1.7. T jr 2 r — j ,j —2imurp — i V.’ LI — I (hue £ —— — nO p p,r 2 I —2im V’ -Lm = dg T+ = a--+LOm_nan (1.24) with the requirement T__ = = 0 translating into Lm = Lm = 0 for all m. We can then use combinations L0 + L0 = 0 and L0 — L0 = 0 to obtain: m2 = —p2 -- (c_a + &,) (1.25) and = (1.26) nO nO These two are important results. 1.25 tells us how excitation of the oscillators “creates” their space-time mass. 1.26 is usually referred to as the “level matching condition” and represents the remaining constraint on the kind of states strings can form. Modifications of the level-matching condition will play an important role when we begin considering strings on the orbifolded backgrounds. We are now ready to begin quantizing the light-cone string. The usual procedure is used, of promoting fourier modes into creation and annihilation operators and poison brackets into commutators. However, there are some potential pitfalls. Specifically one can directly test Lorentz invariance of the quantized theory in the light cone gauge. This leads to the addi tional set of requirements on the theory. In particular, the disappearance of the commutator [Ji_, Jj in Lorentz algebra is required if one is to avoid the anomalies. It can be shown that this disappearance can only be affected, within the above framework, if the number of the background dimensions is set to 26. This is an interesting calculation and a harbinger of the important geometric requirements that string theory tends to impose upon itself. I will not pursue this calculation here. The theory we have followed so far is purely bosonic and thus not very interesting for most physical applications. I will therefore follow with introduction of the new world-sheet symmetry relating bosonic degrees of freedom to their fermionic counterparts. The idea of such a “supersymmetry” was one of the most fruitful ones from the early years of “modern” string theory and have lead to a number of applications beyond string theory proper. Chapter 1. Introduction 6 1.1.2 Supersymmetry Superparticle Returning to the action of the bosonic particle: S = f(e’± — em2)dr (1.27) and working in the m —* 0 limit we can extend the action to include more symmetries. Specifically we are interested in a symmetry relating the bosonic coordinates x to a set of spinor coordinates 0a We can introduce N such supersymmetries with N corresponding sets of coordinates 0Aa where A = 1.. .N. The full description of the supersymmetry uses the Grassmann spinors 6A: 6x = ApIA öOA = 6A, öe = 0 (1.28) where P’ is the representation of the d-dimensional Clifford algebra {F’1’, PV} = 2i’’ (1.29) A number of generalizations of 1.27 exist that are invariant under 1.28, one of the most straightforward being: S = f €‘(± — irOA)2dr (1.30) This action maintains the Poincare invariance along with its super-symmetry. We can write down the equations of motion of the action 1.30 p2=0, p=0, P•pO=0 (1.31) where ,rn = — ApiA (1.32) From these it can be easily shown that the matrix P p has only half of its maximum possible rank and that therefore half the components of O decouple from the theory (because 0 only ever appears in the action multiplying P p). This is related to the additional symmetry of 1.30 which gets its name - kappa symmetry - from another Grassmann spinor: ic(r) gApA 6e = 4eic (1.33) The reader should refer to [6] for proof that 1.33 is in fact a symmetry of 1.30. A peculiarity of the ic-symmetry is that it requires the equationsof motion to close its algebra. Likewise, equations of motion make all the potential conserved charges of ic vanish. Thus the main effect of 1.33 is to keep half the components of O decoupled from the theory. Chapter 1. Introduction 7 Classical superstring The most obvious generalization of the above principle to the 1.6 action in a flat background is: = 1 I • fl (1.34)2ir j where ri = — (1.35) While this action does posses N supersymmetries as well as the usual re-parametrization invariance, it does not have ic-symmetry we have noticed in the discussion of superparticle. As a consequence, 0 of this theory would have double the number of degrees of freedom leading to the very complex non-linear equations of motion. It is, however, possible to add a term S2 to the action such that resulting action S = S +52 has ic-symmetry and thus only half the degrees of freedom of 0 leading to solvable equations of motion. Introducing the S2 term imposes a number of consistency conditions on the theory. First of all, it limits the number of supersymmetries to two or less, a construction of S2 being impossible for the cases N> 2. With that condition in mind we can write the action: S2 = fd2u{—i aax(’F8b8’ —2F8b0)+ (1.36) This term of the action must itself obey the N = 2 supersymmetry. This requirement poses further conditions on the periodicity/handedness of the fermionic fields as well as the dimension of the background space-time. The possibilities left for the dimensionality of space- time left by the supersymmetry requirement are D = 3,4,6 or 10 with each dimension linked to a particular requirement for spinors being Majorana and/or Weyl. Further conditions imposed by the quantization will limit this to 10 dimensions with Weyl-Majorana fermions. [6] and other standard textbooks give comprehensive proof of the invariance of S = S + 82 under ic-symmetry as well as the detailed discussion of the supersymmetry dependance on the background dimension and properties of fermions. Type I and II theories The restrictions imposed by the supersymmetry: N 2, D = 10, 0 - Mayorana-Weyl, still leave a number of distinct choices to be made when constructing the super-symmetric theory. The most obvious choice is between cases N = 1 and N = 2 corresponding to Type I and Type II string theories, respectively. Furthermore, for the case of N = 2, The Weyl condition requires that 0’ and 02 each have definite handedness. That leaves two physically distinct possibilities: either they have the same or opposite handedness. In the case of opposite handedness,the theory will necessarily exclude both open strings (because the boundary condition for open strings demands = 02 on the string ends) and un-oriented closed strings (because the left and right propagating modes will be of opposite handedness). This is the Type hA string theory. Chapter 1. Introduction 8 The cases of same handedness can be divided into the cases where left and right moving modes are symmetrized to define a theory of unoriented strings - which also ends up allowing the open strings; and not imposing such restrictions thus ending with the theory of oriented closed strings of definite chirality. As it turns out, the first case loses one of the supersym metries reducing to the Type I string theory whereas the later case become Type JIB string theory. There are two further kinds of supersymmetric string theory which combine superstring modes with those of a bosonic string (taking left movers from one and right movers from the other), those Heterotic theories are not discussed here. Superstring quantization and the superalgebra The particular supersymmetry formalism discussed in this section is particularly well suited for use with light-cone gauge quantization, with tt-symmetry working along the re-parametrization symmetry. First we define: I±==(F0±F9) (1.37) and then use ic-symmetry to enforce the condition: F+OA = 0 (1.38) for both. Seeing as exactly half of the eigenvalues of f+ are non-zero, 1.38 amounts to setting exactly half of the 8 components to zero. These are the same degrees of freedom that were afready seen as decoupled from the theory due to ic-symmetry. Counting the fermionic degrees of freedom we start from the generic 32 complex d.o.f. The Weyl-Majorana condition reduces this to 16 real d.o.f and finally 1.38 reduces it further to 8 real d.o.f. for each 8’ We have seen before that the gauge choice together with the Virasoro condition does something very similar for the bosonic degrees of freedom, fixing X± and leaving only 8 fields X as physical degrees of freedom. The only remaining manifest spatial symmetry is therefore the rotational invariance SO(8). The Dynkin diagram of the 80(8) D4 Lie algebra possesses a “triality” sym metry relating the in-equivalent irreducible representations of the same dimensionality. In particular, there are 3 irreducible representations of S0(8) that are 8-dimensional: the vec tor one 8 and two spinorial ones 8 and 8. The vector representation is manifestly real and the reality of the spinor ones follows from triality. It is then very easy to see the bosonic fields X as the vector representation 8, of the SO (8) and the fermionic ones or 0Aà as spinor representations 8 and 8. respectively, with the choice of the representation being governed by the chirality. A further effect of 1.38 is to simplify action considerably by imposing OFOa8 = 0 (1.39) for all cases except when = —. This can be seen by inserting the unity 1 = (FT+FFj/2 between the two Os Chapter 1. Introduction 9 As a consequence of this, the equations of motion take a very simple form: (8 — = 0, (8cr + 8)6 = 0, (8cr — ‘9)9a2 = 0 (1.40) The bosonic degrees of freedom are solved for and quantized in exactly the same way as in the bosonic theory above resulting in the oscillator modes given by 1.11 and 1.14. Solutions for the fermionic partners for closed strings are given by: gla(jT) = &2a(UT) = (1.41) where the usual Poisson brackets imply: [i ij = m6m+n62 ä1 J] 0 {3,i3} = m6m+n5° {i#4} möm+nö {3a ,ã&} 0 (1.42) after the standard promotion of Poisson brackets into (anti)-commutators and oscillators into the creation/anihilation operators. It is now possible to discuss the actual supersymmetries of the action and their relation ship with other symmetries. In order to preserve the gauge condition 1.38 e and ic symmetries have to be combined in such a way as to ensure that the 60 is always annihilated by the 1’. The resulting transformation has the form: 68a = 8Xi7€à Xi = 24€S (1.43) where are Clebsch-Gordan coefficients for the coupling of the three representations. It can be seen that the anticommutation of two such transformation gives space-time translation. There is also 8 “trivial” transformations: osa ?7a ox = 0 (1.44) The 1.43 and 1.44 are generated by Q7a8n (1.45) and Qa = (1.46) respectively. With Qs components of a covariant Majorana-Weyl spinor satisfying the alge bra: {Q Q&} 6ab {Qa, Qà} = 7aP {Qã Qb} OabH (1.47) Chapter 1. Introduction 10 it is possible to combine these generators with the generators of the rotations and boosts to create the full Super-Poincare algebra introducing commutators such as: [Ji_, Qa] j7Qa (1.48) Super-aigrebra quantizes trivially with the usual exception of the [J, J] commutator where J is given by: J = Tf du(X — XUX + AFVQA) (1.49) As before, the demand for disappearance of this commutator in the quantum theory will ,select the dimensionality of the space-time background. In the supersymmetric case the required dimension is D = 10, compatible with the supersymmetry requirement in the Majorana-Weyl case. Wider applications of supersymmetry Supersymmetry was originally postulated in the context of string theory as discussed above. However,the idea of a symmetry relating particles of same quantum numbers but different spin-statistics had since found use in regular field theory, and is used as one of the possible modifications of the Standard Model [8] [9]. The main advantage of the super-symmetric theories over the ordinary kind is the fact that the ground state (vacuum) energy in a supersymmetric theory is generically zero. As suming softly broken supersymmetry for our own universe would go long way towards explain ing why is the observed vacuum energy (cosmological constant) is many orders of magnitude smaller than the formal sum of the zero-point energies of all the modes of all the fields of the standard model up to the Planck scale cutoff. Another use of the supersymmetry is to naturally regulate mass of Riggs boson by pro viding cancelations to any mass corrections due to heavy particle loops in the field theory. This enables the Riggs boson to remain at the electro-weak scale in a theory containing particles whose own mass are significantly above that scale without resorting to fine-tuning of the bare Riggs mass. Even more intriguingly, the introduction of supersymmetry corrects the extrapolated coupling constants for electromagnetic, weak and strong nuclear fields, so that they meet exactly at the sufficiently high energy scale - a result of significant mathematical elegance. Furthermore, supersymmetry can be used in potential solutions to the problem of dark matter and the problem of matter/anti-matter symmetry in the universe. Lack of supersymmetric pairings within the currently known particles of the Standard Model indicates unequivocally that any potential supersymmetry of the physical universe must be broken. However, considerations of vacuum energy and Riggs mass indicate that this breaking is likely to be soft and that the super-partners of the known particle may well be within the observational scope of the next generation of particle accelerators (including LHC). If that proves correct, within the next decade or so we will see the first experimental confirmation for a piece of “new physics” coming out of string theory. Chapter 1. Introduction 11 1.1.3 Closed string spectrum and the background fields The ground state of the bosonic string is a tachyon due to the presence of the normal ordering constant in the Hamiltonian. Zero mass states are then 8 excited states of the form c4 0 >. In the supersymmetric case normal ordering constants for bosons and fermions cancel out, meaning that the ground state has zero mass. This was considered one of the early successes of superstring theory and the indication that the supersymmetry is somehow “natural” in string context. The grounds states of the superstring must represent the algebra {s, S} = öab. Such representation is given by: s ( ‘a) (1.50) The representation space is the 8%, + 8 (or alternatively 8%, + 8) 16-dimensional multi plet consisting of 8 fermions and 8 bosons. In the case of closed strings, ground state will be a cross product of two such multiplets, one for right movers and one for left movers. The choice between Type hA and JIB theories (different or same chiralities on left and right movers) is given by choice of different or same spinorial representation. We can thus write the full massless spectrum as either: (8 + 8) x (8 + 8) = (1 + 28 + 35, + 8 + 56V)B + (8 + 56 + 8 + 56)F (1.51) in the hA case or (8+8) x(8V+8S)=(1+28+35V+1+28+35)B+(8+56C+8+56)F (1.52) in the JIB case. Where in either case B labels bosonic states and F fermionic ones. The rest of the string spectrum can be built by acting with non-zero mode creation operators on these ground states while obeying level matching conditions such as 1.26. Zero mode operators turn one ground state into another. It turns out that the 35 in the Type II theory corresponds by its quantum number properties to the graviton g. One of the most intriguing early results of string theory was that infinitesimal variations in the background space-time metric were shown to be exactly equivalent to the coupling with this element of the string spectrum, confirming that it is indeed a quantum of gravitational field. All other possible background fields were either shown to lead to anomalies or were themselves found within the spectrum of the string. This incredible self-consistency was part of the reason why string theory appeared, very early on, to hold promise of being an underlying theory of all physics. Supergravity - low energy limit of the string theories It is possible to construct an action whose fields satisfy the same equations of motion as the low energy states of the string theory. It turns out that this effective action was known already as the supersymmetrization of Einstein’s gravity - often referred to as supergravity. My discussion of supergravity here is based primarily on [5]. The most “natural” supergravity is a 11-dimensional theory. This is a critical dimension because theories of dimensions d> 11 can be shown to contain massless spin > 2 particles Chapter 1. Introduction 12 which can not couple consistently in a field theory and are therefore prohibited. There is an immediate relationship between 11 dimensional supergravity and the type II theories in that they share super-algebra. To actually recover low energy Type II theories we can use dimensional reduction of the original 11-d supergravity while keeping only the fields that are independent of the compact directions. This is actually related to the connection between Type II theories (in fact all string theories) and the 11-dimensional M(aster)-Theory. This is a fascinating subject which goes well outside the bounds of this thesis. The bosonic content of the 11-dimensional supergravity is a metric GMN and the 3-form potential AMNP = A3 and its field strength F4 = dA3. The action is given by: = -_ fci1ix—’2 (R — ‘IF 2) — fA3 A F4 A F4 (1.53) where R is the Ricci scalar derived from C. Here I skip over the details of the action itself including its fermionic component which can be obtained by supersymmetry, and details of the dimensional reduction. A key point of the latter is general metric under the compactification of the 11th dimension. ds2 = GNdxMdxN = GO,,dxLdxu/ + e2 (dx’0 + A(x)dx’)2 (1.54) mapping the original 11-dimensional GMN to the 10-dimensional metric gauge field A1 and a scalar q5. 3-form A3 either remains intact (if all three components are along the non compact directions) or losses an index becoming B2. This spectrum actually corresponds to the one we have quoted for the low energy Type II string, with 1v corresponding to and 28,r, 8v and 56v to B2, A1 and A3 respectively. After a fair bit of algebra, including a rescaling of the metric by the factor proportional to the dilaton we end up with the type hA supergravity action: SIIA SNS + SR + S0 (1.55) SNS = —j- f d’°x(—G)2e(R + 481La11 — HH3I2) SR = ——4-- f d’°x(—G)/2(IF 2 + E4I2)4/c’0 Scs=_—4-fBAF (1.56) where the overall factor e2’ can be made explicit in the 5R with further redefinitions. Similar operations can be performed to produce the spectrum and the action of the type JIB supergravity. Key point of the above process was to show that the coupling constant of the theory ic0e2’ is set by the value of the dilaton - one of the “particles” of the string spectrum, meaning that it is set naturally by the theory itself in another example of amazing self-referential consistency of string theories. Chapter 1. Introduction 13 1.2 T- Duality and Dirichlet branes Even if the lack of a unique connection with our 4-climensonal space-time prevents string theory from fulfilling its amazing promise, string theory will still contribute greatly to our understanding of physical laws through the concept of dualities. Basic notion of dualities is the idea that a certain regime of one theory corresponds to a different regime of a distinct theory. Most interesting dualities have to do with cases where the perturbative regime of one theory corresponds to the non-perturbative regime of a different theory. The concept is best introduced, however, through the duality between two different space-time geometries as seen by strings. This phenomenon, called T-duality [12] [13] [14], was one of the earliest string dualities discovered and a precursor of the revolution to come. 1.2.1 T-duality T-duality of the closed strings We have so far considered superstring in the flat 10-dimensional background. Many modi fications of this background are possible, including compactifications of one or more space dimensions. Simplest possible compactification has one spatial dimension forming a circle - changing the background geometry from R’° to R9 x S’ Considering only zero-modes of the string: X(a, T) = (XL + XR) + a’(pL +pR)T + a’(pL — PR)a (1.57) under the a —* a + 2ir, X(a, T) transforms as: X(a, T) —* X(o-, r) + 2lra’(pL — PR) which means that for all the non-compactified directions: (1.58) In the compactified direction, however, X”(a, r) is given by: X’’(a, r) X’(a + 2K, T) + 2-irRw (1.59) where R is the radius of the compactified direction and w is the number of times string winds around the S’ before it closes back on itself. In this direction: Rw PLPR (1.60) a At the same time total momentum along the compactified direction will be quantized in the units of inverse R so PL+PR— (1.61) Combined these two equations give us: n Rw R a n Rw (1.62) Chapter 1. Introduction 14 Seeing as n and w are simply integers this suggests the duality between this theory and the compactified theory where R’ = with the trivial exchange of n and w; the only change in this new theory is the replacement PR — —PR or alternatively X(u, t) —÷ XL(U, r) —XR(u, r). With this coordinate change we have just demonstrated the equivalence between two theories with potentially considerably different geometries. This duality holds true for the higher oscilätor modes of the string as well, with —, &, — (1.63) being a general rule. What this means is that Type hA and IIB string theories which we previously thought of as distinct actually represent two different geometries of the same theory [12]. Specifically, compactlfying Type hA string on a circle of radius R and then letting R —* 0, shifts the chirality of right movers and gives the Type JIB string on 10 dimensions. What is more, Type IIA and JIB theories come out as simply the limiting points in the full spectrum of theories governed by the value of R. A similar thing happens between two, hitherto unmentioned, Heterotic string theories. A movement to turn the 5 distinct string theories into one has begun. T-duality of the open strings When we try to apply T-duality to a theory that contains open strings, such as Type I, we run into another interesting result. For the closed strings in the R —* 0 limit, states with n 0 become infinitely massive but the states with n = 0 form the continuum over all values of w because it is very cheap in energy terms to wind around a “small” dimension. Effectively, instead of decoupling from the theory, the compactified dimension re-appears. Open strings, on the other hand, can not wrap around compactified direction. There is therefore no new continuum of states as R goes to 0, and the compactified dimension disappears from the theory. This leads to an apparent contradiction, because all open strings theories necessarily include closed strings and what is more, internal parts of the open strings are indistinguishable from those of the closed string (the only difference being boundary conditions). Apparent paradox disappears when we observe what exactly happens with the open string under the duality transformations 1.63. Originally: X(u,r)= XL+XR XL XL + a’(r + u) + > ane_T n#O — 1 ,fl 1 Z —in(r--u)XR—-xR+ci—(r—u)+2 R n X(u,r) = xo + 2a’pr + ne_Tcos(ng) (1.64) n#O Chapter 1. Introduction 15 T-dual coordinate X(o, r) is given by: (U,T)=L+R=XL-XR (g, r) = x0 + 2nu + ane_ffiTsin(nu) (1.65) nO It can be seen from 1.65 that the boundary conditions on u changed in the compactified direction from Neumann to Dirichiet (cos to sine) and that the actual position of the end points of the string got limited to a single plane in the compactified direction (because x0 and x0 + 2irnR are identified). Furthermore, one can carry the same argument to any path connecting two end-points thus showing that all end points of strings end on the same plane. Thus, one dimension is indeed taken out from the degrees of freedom of the end-points of the open string and a new object is introduced to the theory - namely the surface on which the open strings may end, Dirichlet-brane or D-brane. D-branes of different dimension can be constructed by compactifying (and T-dualizing) multiple dimensions of the original space. A much more detailed analysis than the one pro vided here can show that T-dualizing Type I string theory on an odd number of dimensions results in a D-brane of appropriate dimension and the Type hA closed string theory away from the brane. Likewise, T-dualizing an even number of dimensions gives us the brane and the Type JIB closed strings away from it. A consequence of this, explained in more detail in [14] is that the states containing the D brane within Type II theories will lose exactly half of their supersymmetries making them 1/2 BPS states [15] [16]. 1.2.2 Properties of D-branes D-branes and gauge groups The usual way of introducing gauge symmetry into (open) string theories is through Chan Paton factors [6] [14]. Those are the degrees of freedom associated with the ends of open strings and characterized by vanishing Hamiltonian. Due to the latter they are strictly static terms (string prepared with one set of Chan-Paton states always retains those exact states). Labeling the end states of the strings i and j where i and j run between 1 and N we can write a generic string state as: p;a >= p;ij > (1.66) i,j=1 with nxn matrices ) being what is actually referred to as Chan-Paton factors. It can be shown that in the simplest case of oriented strings the non-dynamical nature of Chan-Paton degrees of freedom forces them into trace-like structures (because the two connecting ends of the string must always be in the same Chan-Paton state) creating factors such as: ‘‘ij’jk”’rni =Tr1A2...A) (1.67) in each open string amplitude. Chapter 1. Introduction 16 All such amplitudes are invariant under the U(N) symmetry: —+ UA’U’ (1.68) that transforms the end points of the string. Thus we introduce an additional gauge sym metry into the theory. More general symmetry groupscan be introduced if one considers the unoriented open strings When we T-dualize a theory we can use Chan-Paton factors to introduce multiple D branes. When compactifying a dimension d we can generically break U(N) —* U(1)N by introducing the matrix 4 = diag{81,2, ..., 6N}/27rR acting on the Chan-Paton factors. Such a matrix can be thought of as a Wilson line in the compactified direction. Locally 4 can be written down as a gauge: Ad = —iA1Dd , A = diag{eiX u/271R, ejxd02/2, eixd91/2} (1.69) This would have no further effect on a non-compactified direction but in the compactified direction the string ends pick up phase depending on their Chan-Paton content: diag{e°’, e2, ..., e°”} (1.70) under the winding transformation Xd _ Xd + 2irR. Due to phases 1.70 strings can now have fractional momentum along the compactified direction. This translates into fractional winding number and thus into the ability of open strings to end on different hyper-planes. Specifically, the string in the state ii > will pick up the phase and thus its end points will end up being at 0 and (2irn+6—O3)R=(R (1.71) In other words the arbitrary end point will be given by: jd = OR = 2ircv’A, (1.72) Generically then, there will be N hyper-planes at different positions at which open strings can end. Dynamics of D-branes It was noted before that string theory necessarily provides its own background fields. Most importantly, string theory contains gravity. In a theory with gravity it is uniiatural for perfectly rigid objects to exist; therefore we expect to see D-branes fluctuate in shape and position as they interact with other branes and strings. Looking at the simple case of D 2-branes (one compactified direction) and using 1.25 M2=p ([2n+e—o1 (1.73) 2iro’ ) massless states will clearly be the ones that are not winding and whose ends are both on a single brane. This makes sense as the string stretched between two branes has a ten sion that contributes to its energy. Furthermore, string excitations along the brane of the Chapter 1. Introduction 17 form c p, ii > where d is a compactified direction, become, in dual theory, the transverse position of the D brane as we have already seen in the constant gauge case 1.72. More complicated gauge backgrounds will then correspond to the curved surfaces and the quanta of the gauge fields to the fluctuations. Much as the massless closed strings turn out to repre sent the fluctuations of the background geometry we find that certain massless open strings correspond to fluctuations in the shape of the D-branes. The low-energy effective action of the brane fluctuation is the well known Dirac-Born Infeld (DBI) action: S = — fd’edet (Gab + Bab + 2’Fab) + ... (1.74) where -a are the world-volume coordinates of the brane, Gab = G (X)6aXObX” and Bab = BAlw(X)8aXObX’ are the pull-back of space-time fields to the brane and is the dillaton. This action clearly interacts with the massless closed strings as described in 1 55 Considering the U(N) symmetry breaking, as discussed above, the N separated D-branes end up with one massless vector each - U(1)”. If m D-branes coincide then 8 = 92 = = and strings are allowed to end on any of the m D-branes while remaining massless. We thus have surviving U(m) gauge group. If all N D-branes are coincident we recover the U(N) gauge symmetry. Stacks of D-branes play important role in the later discussion of AdS/OFT. One of the interesting properties of the stack of D-branes is that the (remaining) super- symmetry of the BPS state ensures that the gravitational attraction between the branes is exactly canceled out by the repulsion due to their form-potential charges. This means that the brane stacks are stable solutions. The DBI action is obtained by promoting the gauge field Aa() to an N x N matrix with components of the matrix corresponding to the end points of the open string and likewise for other fields. The action will be of the form: = — f ‘eTr [det (Gab + Bab + 2a’Fab) + ...] (1.75) We will soon return to this action. 1.3 AdS/CFT correspondence 1.3.1 Origin of the AdS/CFT Black hole thermodynamics and holography The core idea of the AdS/CFT correspondence goes back to attempts to understand the physical properties of black holes. The original problem was that the presence of black hole may locally break the second law of thermodynamics, if high entropy objects were to be “thrown” into the black hole. The problem was addressed in the mid 1970’s by Bekenstein and Hawking [17], [18] who related the thermodynamic characteristics of a black hole to its surface properties (which are not shielded from the outside by the event horizon and are Chapter 1. Introduction 18 thus part of the larger system). This concept became known as holography and it turned out to be very common in describing gravitational phenomena. At its core is the idea that complex gravitational phenomena, within a certain region, can be completely understood in terms of the properties of the boundary of that region. Useful as it was in understanding thermodynamics in the context of general relativity, holography was little more than an accounting mechanism until the advent of string theory. This is so because prior to string theory there was never an actual microscopic description of the gravitational system such as a black hole. String theory provided such a description by observing the fluctuations of the branes which were taken to form the bulk of the mass of a black hole. Strominger and Vafa [19] showed that the thermodynamics emerging from the state-counting of those fluctuations corresponds exactly to the holographic thermodynamics of Bekenstein and Hawking. This was the first insight into holography as a duality between two well understood theories, the gravitational one “inside” the black hole and field theory on the surface. t’ Hooft limit and the string gauge duality The Relationship between string and gauge field theories was a foundational issue of string theory. Even after the discovery of QCD the hope remained that a connection will be made between this theory and some stringy equivalent. Very early it was shown by ‘t Hooft [20] that if such a relationship were to exist, free string theory would correspond to an U(N) theory in N —* oo limit with the string coupling constant being given by 1/N. t’ Hooft’s argument is very general, applying to all sorts of gauge theories. I do not replicate it here referring to the [22] for details. We have seen before that string theoretic objects that carry the requisite U(N) symmetry are stacks of N coinciding branes. Therefore the string theory that satisfies the t’Hooft requirement would be one that includes such a stack. Since the stack of branes is by definition a massive object, it is exactly the sort of system that would be engaged in the holographic duality as described above. 1.3.2 Black holes and stacks of branes As usual, we begin by considering the low-energy (supergravity) limit of the string theory. In this limit the D-branes are described by the DBI action 1.75 with their metric, dilaton and the field form given by [21, 22, 25]: ds2 = H’12(r) [_f(r)dt2 + (dxi)2] + H112(r) [f’(r)dr2+r2d_] (1.76) and e = HY(r) = g., Ftji...jpr = (1.77) where H(r) =1+ ()7-P, f(r) =1- ()7P (1.78) Chapter 1. Introduction 19 and p is the dimension of the brane within the 10 dimensional background. This metric corresponds to an extended black hole with horizon at r = r0. Equations 1.76 - 1.78 correspond to the so called p-branes, objects in supergravity theory. To link those exactly to the low energy limit of the D-branes we require the condition of “extremality”; which is to say the equivalence of the mass and the charge Q of the branes, necessary for the BPS preservation of half supersymmetries. As both M and Q are functions of R and r9 it can be shown that the extremality is achieved given r0 = 0 condition. It is also fairly obvious from the 1.76 - 1.78 that the p = 3 has a special status in the theory. It is both, the only dimensionality for which string coupling does not depend on the geometry and the only one in which it does not blow up in the r —* 0 limit. We are therefore interested in the p = 3, and specifically in the near-horizon limit of this theory given by r — r0 0. The metric of this limit is given by: ds2 = -(_dt2 + dx2 + dz2) + R2d (1.79) where z = This is a geometry of the cross product between a 5-dimensional anti-de Sitter space AdS5 and a 5-sphere of the same radius R. Over all, the geometry can be imagined as the semi infinite funnel which opens into the flat space in the r >> R limit and is non-singular in the r —* 0 limit. To connect this geometric picture back to the properties of the D-branes (which are the source of the geometry), we equate the tension of a given D3-brane (multiplied by N for an N-brane stack) with the total stress energy required to cause the above curving of the space-time. The later property is referred to as the ADM mass and is given by [30, 31]: 2ir3R4 R4 MADM = 8irG10 = 32ir4g8o?’ (1.80) where the relationship between the 10 dimensional gravitational constant G10 and the string coupling comes from the supergravity action 1.55. The tension of the N D-branes is inversely proportional to the string coupling and is given by: TND3 = N /2 (1.81)8ir g3a In all of the above constants such as i’ and 7 are written in terms of their explicit values which can be determined via the amplitudes of the closed string exchange. Equating 1.80 and 1.81 we get the first fundamental relation of the AdS/CFT correspondence, the one connecting the geometry of the background to the string coupling: = c’V4irgN (1.82) We have not yet defined the CFT part of the AdS/CFT correspondence. To do that we start with the low energy DBI action of the brane 1.74. The 3+1 coordinates of the D-brane can now be interpreted as dimensions in 4-dimensional space and the remaining 6 transverse Chapter 1. Introduction 20 directions can be assigned fields on those dimensions. To do this we use the following kind of embedding of the brane on the target space: X() = a X’(E) = (1.83) keeping in mind that the I field is different from the dilation q5 which, being constant, can be expressed as the string coupling gs = e. a = 0.. .4 corresponds to the worldvolume coordinates of the brane and the I = 5. .9 to the transverse directions. Assuming flat background Ga& = 7ab and the low energy limit a’ —* 0 we can re-write the equation 1.74: SD3 = 4irg3 fd4 ((Fab)2 + (ôaI)2) + ... (1.84) with a infinite constant corresponding to the volume of the brane being ignored. This action describes the single brane. To go to a stack of branes we perform the same operation as the one leading to 1.75 promoting the fields to the matrices under the U(N) group: SND3 4g fd4Tr((Fab)2 + (Da)2) + ... (1.85) where partial got promoted to a covariant derivative and “...“ includes the interaction terms and fermions. From what we have written we can already see the relationship between the string coupling and the Yang-Mills coupling that represents the second fundamental relationship of the AdS/CFT: 4irg3 = g,i (1.86) Two fundamental relationships 1.82 and 1.86 together give: R4 = 2a’gN (1.87) It is very important to note in deriving the geometric description we relied on the limit in which R >> a’ in order to suppress “stringy” corrections to the supergravity model. On the gauge-theory side this limit corresponds to the requirement that gN>> 1. In other words, the low-energy limit of string theory turned out to correspond to the strong coupling regime of the Yang-Mills theory. 1.3.3 Early equivalences - Entropy and absorption cross-section While what we have described above is still not a full fledged correspondence, it is a con struction with testable consequences. One of the early tests was the correspondence between Bekenstein-Hawking entropy in the gravitational picture and the entropy calculated statis tically from the field theory [23]. The other was the absorption cross section for the closed string modes by the system [29]. We discuss both of them briefly. Chapter 1. Introduction 21 Entropy of the 3-brane stacks Relaxing the extremality limit temporarily we can write the metric of the near horizon r << L region as: ds2 [_ (i — dt2 + df2] + (i — dr2 + R2d (1.88) The above is a product of S5 with a limit of a Schwarzschild black hole. We can perform Eudidean continuation of the metric in order to ‘get its periodicity (and thus temperature = 1/T). For convenience we also change variables: r=ro(1+R2p), r=it (1.89) the relevant part of the Euclidean metric is then: ds2 dp2 + 02d2 (1.90) which implies, due to the need to avoid singularity at the horizon: (1.91) To figure out the Bekenstein-Hawking entropy we can write down the Area of the horizon (8 dimensional - all dimensions except t and r) from the metric: Ah = (ro/L)3VR52=K6R8T3V (1.92) where V3 is the spatial volume of the D3-brane. Entropy is then given by [23j: 2 _____ r..r2irrr3 CAdS 2 1V V31 The entropy on the CFT side is calculated using the usual statistical mechanics techniques for massless gas of N2 scalars and Weyl fermions. Without going into details, which are presented in [29], it is given by: 02 °CFT = iY V31 The exact scaling in N and T demonstrates that the two pictures in fact represent the same theory. The factor of 3/4 difference is an artifact of the different limits that the two pictures come from. Detailed calculations [24] conclude that the entropy is actually of the form: S = _N2f(gN)V3T3 (1.95) where f(g?FMN) seems to vary monotonically between 1 at gN = 0 and 3/4 at g7N = 00. Chapter 1. Introduction 22 Absorption cross-sections Another important early test of the duality was the comparison of the two ways for calcu lating the cross-section for the absorption of the closed string modes by our system. On the CFT side (D-brane formalism) these cross section are calculated by the usual field-theoretic method, as in [3], starting from the interaction term of the Born-Infeld action. For dilaton, Ramond-Ramond scalar and graviton this term is given by [21, 29]: S1 = f d’x [tr — + h3Tcq] (1.96) where T is the brane stress-energy tensor. From the above we can see that the incoming dilaton would couple to the gyM which is to say it can be converted to a pair of the world volume bosons. Usual methods [29] yield cross-section for the low energy dilaton incoming onto the 3-brane stack: ,c2w3N CFT 32ir (1.97) In the geometric picture the cross-section corresponds to the absorption of the waves incident from the r >> R region by the throat region. r << R. This is calculated by finding the equations of motion of the closed string mode (dilaton for comparison with the previous case) from the SUGRA action in the AdS5 x S5 background described by a metric such as 1.88. Those turn out to be simple d’Alembertian equations for the relevant geometry: (X) = [ (1+) + ô + + r2D5] (X) =0 (1.98) where D-5 is the 5-sphere laplacian. Considering only perpendicular modes of the dilaton (in keeping with the D-brane formalism above) this can be reduced to a single-dimensional equation where the single dimension is related to the radial dimension of the geometry: [0 + 2wRcosh(2z)] ‘b(z) = 0 (1.99) which is a regular barrier problem in quantum mechanics. This is then solved using the so called matching method whereby the equation is solved in Z —* oo and Z —* —co limits and then matching the overlapping region. The end result is given by [29]: CAds = -w3R8 (1.100) which, taking into account 1.82 ends up exactly identical to the cFT calculated above without even the numeric factor discrepancy as in the entropy calculation. It has been shown [21] that this agreement is not co-incidental, and that for all the absorption cross sections in the large N limit have no perturbative corrections and should thus be identical between strong and weak interaction pictures. The agreement above was replicated for the case of gravitons and a number of other closed-string modes, giving impetus to the idea of the full-blown duality between the Yang-Mills theory and the JIB strings on a curved background. Chapter 1. Introduction 23 1.3.4 Maldacena Conjecture We have seen so far that the stack of N D3-branes embedded within the flat JIB string background can be thought of in terms of its geometric interaction with the background or in terms of the field theory given by the D-brane action itself. We have also seen how the perturbative regimes for the two “pictures” end up on the exactly opposite “sides” of the theory: with the supergravity limit of the strings on the AdS (defined by R>> cV) requirement corresponding to the strong coupling limit of the field theory (A = gN>> 1) and vice versa. However, at this level of understanding the two pictures are still just different ways of describing the same phenomenon - a stack of D3-branes in a generically flat background. In 1997 Maldacena [2] proposed that it is possible to decouple the flat JIB string back ground from the brane-stack in both pictures while maintaining their correspondence. On the geometry side this decoupling takes place as we take a limit R, cV —* 0 while keeping R4/cV2 A = 4irg8N fixed. The region inside throat (r < R) is then described by: ds2 = (_dt2 + dx) + -(dr2 +r2d) (1.101) the cross-section 1.100 goes to zero in this limit making the 1.101 decoupled from the R>> r region which is simple flat space type JIB string theory. On the D-brane dynamics side the same limit likewise decouples the stack of N D3- branes from the JIB closed strings that propagate in the bulk. What is left is the N = 4 supersymmetric gauge theory with U(N) gauge group. The Maldacena Conjecture is that this theory is exactly dual to the JIB string theory propagating on the AdS5 x S5 background 1.101. The key corollary of this conjecture comes from the equation: =A=gMN (1.102) which is unaffected by the decoupling limit. It is easy to see that in the case of large A,the ratio of the AdS curvature to the string length becomes large and thus the low energy of the string theory (supergravity) becomes sufficient to describe the dynamics of the system (provided N is taken to be large to avoid the higher genera of the string interactions). The long sought-after method for analytic handling of the strong interaction gauge theory is thus obtained. 1.3.5 Evidence of the AdS/CFT and holography While there is - as of now - no actual proof of the full version of the Maldacena conjecture there are multiple reasons it is widely believed to be true. One is the identical symmetry groups of the two theories [22]. The second piece of evidence comes from the equivalence of the two (and higher) point functions between the operators in CFT and the fields on the boundary of the AdS [21, 22]. This later property suggests that the idea of holography is applicable to the AdS/OFT. This is further confirmed by comparing the degrees of freedom of CFT with the surface area of the AdS [21, 28]. Chapter 1. Introduction 24 Symmetry group of AdS/CFT Conformal field theory is invariant under the usual Poincare group as well as the conformal transformations: —* Ax (1.103) and + ax2 (1.104) 1 + 2a1x’’ +a2x 1.103 guarantees that the coupling of the theory does not run and is a free parameter which is necessary for the correspondence to hold. Taking Poincare generators to be M11 (lorentz rotations) and (translations) and the generators of 1.103 and 1.104 as D and K1 respectively we can write the whole algebra [22]: [Mrn,, P] = —i(7]P — jP); [M,AV, = irpMvg + permutations; [D, P,L] = —iP,.L; [D, K/LI = iK11; [D, Mrn,] = 0 [Kr, M] = i(rK — iK1j; [Ku, P,} = 2irD — 2iM1, (1.105) This algebra is isomorphic to the S0(d, 2) and can be put into the standard form of S0(d, 2) by defining: J4uvMiiv; J,Ld=(K,L.—P/L); 1 J/Ld+l=(K,L+P/L); J1=D (1.106) Furthermore, the theory has SO(6) symmetry, called R-symmetry, that rotates 6 scalar fields into each other. Bosonic symmetry therefore is S0(2, 4) x 80(6). By their very definition the AdS5 and 85 have the S0(2, 4) and S0(6) symmetries respectively. To see this consider the embeding functions for AdS and the sphere: x+x1—( )2=R, (x,)2=R (1.107) meaning that the two theories have exactly identical bosonic symmetries. Further inves tigation [22] shows that the supersymmetric extension of the algebra given schematically as: [D,Q] Q; [D,S] S; [K,Q] S;[P,S] Q; {Q,Q}P; {S,S}K; {Q,S}M+D+R (1.108) where Q and S are generators of the supersymmetries, gives the full superalgebra as SU(2, 24) and is likewise identical between the two. Correlation functions and the bulk-boundary correspondence The core test of the AdS/CFT comes from the actual calculations of the corresponding quantities on the two sides. We need, however, to establish what quantities exactly are Chapter 1. Introduction 25 corresponding to each other. A natural candidate on the CFT side is the operators. As a simple example we can take an operator within the N== 4 super Yang-Mills which changes the value of the coupling constant. This is related by 1.86 to changing the coupling constant of the string theory and thus to the expectation value of the dilaton. The expectation value of the dilaton, for its part, is set by its boundary condition on the boundary of AdS (infinity). In other words adding the operator 0 to the Lagrangian of the CFT will change the boundary condition of the dilaton. Specifically we can write [22]: , fd4xbo(xjQ(x rh— \ h /CFT string VPiX, Zj z=O = where the left hand side is the generating function of the corelation functions in the field theory with arbitrary cc and the right hand side is the full partition function of the string theory with the boundary condition for defined over all d — 1 dimensions of the boundary. Similar equations hold in the general case for fields other then the dilaton as well with the interesting corollary of the scaling dimension Li of the operator 0 being directly related to the mass of the string mode by: (d+V1d2+4m2) (1.110) because boundary condition in the region close to the boundary for massive fields becomes: b(f ) 6d_() (1.111) with attendant implications to the dimension of çtc and 0 The correlation functions of the gauge theory can be calculated from 1.109 by differ entiation with respect to o• Each differentiation brings down an insertion 0 and sends the particle into the bulk. The interactions in bulk can then be calculated by the Feyn man diagrams of supergravity (whose external legs correspond to the boundary values o). These could in principle be compared with the field theory except that in most general case the supergravity calculations in the bulk correspond to the strong coupling (and thus the non-perturbative) calculations in the field theory. Nonetheless calculating the correlation functions is a valuable exercise which gives con siderable insight in the relationship between the operators in CFT and strings on AdS. It is done explicitely in [22] for the case of 2 and 3 point functions and the discussion of the 4-point functions was presented. The topic is discussed extensively in literature ([26, 27] and many others). Holography One of the ways to think about the AdS/CFT duality is to go back to the idea of holography which was useful in understanding the entropy of black holes. The basic statement of the “holographic principle” is that for any quantum theory that includes gravity, all physics within a given volume can be described in terms of a different theory on the boundary of that volume, whose degrees of freedom are limited by the area of the boundary and the Bekenstein bound [22]. The boundary of the AdS5 x S3 is naively 9-dimensional but the 5 spherical dimensions remain compact and thus small as the 4 remaining dimensions grow Chapter 1. Introduction 26 (as we approach the boundary of the space). This makes any theory on the boundary of AdS5 x S5 effectively 4-dimensional. The idea behind the holographic treatment of AdS/OFT is that the OFT on 4 dimensions can be considered a theory on the boundary of the AdS that contains all of its physics. The intimate relationship between the operators of the OFT and the boundary conditions of the AdS fields discussed above support this idea but in order to satisfy the holographic principle AdS/OFT also has to meet the degrees of freedom requirement. In the AdS/CFT case this requirement is hard to test directly because any conformal theory has an infinite number of degrees of freedom because it can go down to arbitrarily small scales, and the boundary of the Anti-deSitter space is likewise infinite. It is, however, possible to introduce a cutoff on the number of degrees of freedom of the CFT and see what effect this has on the gravitational theory [21, 28]. A convenient way to write the metric of the AdS5 is: ds2 = R2 [4dxidxi — dt2 ± (1.112) with the boundary set at r 1. As we have discussed above, the correlators of the super- gravity fields A(xi)A(x2)should be equal to the super Yang-Mills correlators Y(X1)Y(2in the limit in which the bulk coordinates x are brought to their boundary values X2 x The way to do this limit is to specify the boundary condition at r = 1 — 6 and then take 6 —* 0 Geodesic distance between two points X1,X2 on the sphere regulated by r < 1 — 6 is 0& log(’”1)and the propagator for the particle of mass m in the bulk will then go (X1,2)= m1o(ixx2) = xi X2 (1.113) This compares with the operator product in the CFT of the form: / 1 Y(X1)Y(2 ( ) + ... (1.114)\ji X1 — X2 j where is an arbitrary regulator mass scale making sure that the fields Y are dimensionless. Comparing the two equations we see that there is a direct correspondence between the JR regulator 6 in the bulk theory and the UV regulator in the Yang-Mills theory. The large boundary area corresponds to the short distance regulator on the CFT side. The number of degrees of freedom of the super Yang-Mills with the UV cutoff 6 is going tobe N2 N2 ______ A = 2R6 (1.115)6 R cg8 G5 Which is exactly the Bekenstein bound. Further evidence of AdS/CFT The joint symmetry group and satisfied holographic principle are both strong indicators that the AdS/OFT represents an actual duality. Further evidence comes from certain correlation Chapter 1. Introduction 27 functions (usually related to anomalies) which do not depend on coupling constant and can thus be calculated on both sides. Further tests rely on equivalence in the spectrum of chiral operators, the moduli space of the theory and a number of qualitative tests such as the existence of confinement for the finite temperature theory. Discussing even a small section of those tests goes well beyond the scope of our research work so far, and of this thesis. 1.3.6 Summary We end the introductory chapter with a brief introduction to AdS/CFT correspondence - one of the most important discoveries in modern string theory. With it, string theory has came full circle from its origin as potential theory of strong interactions. We also learn of the many tests that confirm AdS/OFT without explicitly proving it. In the remainder of this thesis we will focus on particular areas of AdS/OFT and the work, including our own research efforts, on extending the applicability of this amazing correspondence. Chapter 2. AdS/CFT and the interacting strings 28 Chapter 2 AdS/CFT and the interacting strings We have seen, in the introduction, how the Maldacena conjecture postulated a strong-weak duality between a string theory on an anti-deSitter space and the conformal super Yang- Mills theory on the 4-dimensional boundary of that space. None of the examples, however, dealt with the full string theory on AdS, but rather with a low-energy limit of it, called supergravity. Supergravity ignores all the oscillator degrees of freedom inherent to string theory and thus all the “stringy” components of it. As long as we are limited to supergravity, therefore, there is little hope of fully understanding the AdS/OFT correspondence by testing and expanding its applicability. The actual string theory beyond supergravity on AdS is not solved. Fortunately, however, it is possible to take a particular Penrose limit [32] of the AdS space to obtain a background on which the non-interacting type JIB string theory can be fully solved [33, 36, 37]. Even more importantly, it has been shown by Berenstein, Maldacena and Nastase [35] that the equivalent limit can be taken on the field theory side and that the spectra of the two limits have the exact correspondence predicted by AdS/CFT. This insight has led to considerable advancement in the understanding of the string/gauge duality and has been extended beyond the BMN limit [40—44] and into the non-perturbative sector [45, 46]. One further extension that would be particularly valuable would be to check the correspondence between the interacting strings and the non-planar corrections in the field theory. This has been a topic of vigorous research [54—62, 65—71, 79, 80] over the past years but the full correspondence is still elusive. Our own work [79, 80] provides some of the hitherto missing pieces. In this chapter we cover briefly the plane-wave limit of AdS5x 85 and its BMN counterpart on the field theory side. We then introduce the ideas of string field-theory as a method for handling the string interactions, present the work leading to our research and, in final sections, give a detailed presentation of our own contribution. 2.1 Strings on the plane-wave and the BMN limit 2.1.1 Penrose limit of the AdS5 x S5 To take a Penrose limit is to consider the trajectory of a particle moving very fast on the space (in this case along one of the 85 geodesics) and focus on the geometry as seen by such a particle. Starting from the AdS5 x S5 metric: ds2 = R2 [_dt2 cosh2 p + dp2 + sinh2pd + d2 cos2 0 + dO2 + sin2 Odf2’] (2.1) Chapter 2. AdS/OFT and the interacting strings 29 We focus on the geodesic of S5 defined by p = 6 = 0 and parametrized by . To do that we introduce coordinates: = and perform the rescaling: R2, p = , 9 = , R —* 00 (2.2) obtaining the metric: ds2 —4dxdx — 2 + il2)(dx) + dyT 2 + dr2 (2.3) Which can be written in the form of the pp-wave metric ds2 = —4dxdx ,22dx+ +d2 F+1234 = F+5678 = const x (2.4) Where t is a mass term usually set to 1 but which can be re-introduced by scaling: x —> x/ii and x+ UX+. This background has a well-defined Green-Schwarz superstring action in the light-cone gauge and solved string equations of motion. [36, 37]. As in our flat space discussion, we quantize the strings on this background in a light-cone gauge ending with 8 bosonic degrees of freedom corresponding to the 8 transverse directions. Coupling to the RR background gives 8 fermionic degrees of freedom. Out of the standard 32 supersymmetries, half end up being linear (again just as in the flat space case) and commuting with the Hamiltonian. This ensures the same mass between the bosons and the fermions. The Hamiltonian itself is of the form: = —+ = H1 = NTh2 + (‘p)2 (2.5) where N is the usual number operator: (aa + (2.6) with o and /3 being the bosonic and fermionic oscillation modes. In this notation, the left moving modes are labeled with positive n and the right moving modes with negative n. 2.1.2 Strings on the pp-wave limit Here we summarize the results concerning free string theory on the pp-wave background from the [36] and [37]. For detailed derivation of these results we refer the reader to those papers. The Green-Schwarz Lagrangian for the superstring in the background 2.4 is obtained using the supercoset method in [36]. In the standard lightcone gauge x=pr, F9’=0 (2.7) it is given by: LB (Ox’O_x’ — (2.8) Chapter 2. AdS/CFT and the interacting strings 30 = i(e’a+O’ +&2—a_o — 2bIO”—FW), (2.9) where the x and 0 bosonic and fermionic fields respectively. The former are given in vector notation and the later in the suppressed spinor notation. The same spinor notation is used for the ‘y and ‘ which are are 16 x 16 Dirac matrices. 2.8 and 2.9 give rise to the equations of motion: 88_x’ + [t2X1 = 0, (2.10) — = 0 302 + i110’ = 0. (2.11) which, for the closed string boundary conditions, are solved by: x’(u, r) = coswx + ‘ sin irp + i ±((u, r)a’ + (a, r)a’) (2.12) n 0 0’(u,-r) cos1ur0 + sin tr Hog + cn((o,r)0 + ipso(u,r)H0) (2.13) n Q 02(u,r) = cosuTOg — Sfl1UT fi&j + — ipso(u,r)H0,) (2.14) n# 0 where the basis functions o2 (u, T) are (u, r) = exp(—i(wn’r — nu)), (u, r) = exp(—i(wnT + nu)) (2.15) and w=n2+[I22, , c,= 12 n=+1,±2 (2.16) Before quantizing it makes sense to do the following change of basis: a’ = =(p + i/Lx), = =(p’o — itx), (2.17) a_= a= n=1,2,... (2.18) for the bosons, and: 0 = 1 c [(1 + pH)b + e()(1 — 0 = 1 c[(1 +pfT)b_ — e(c)(1 — pfT)bJ (2.19) for the fermions. Furthermore, the choice leading to the zero vacuum energy breaks the apparent symmetry of the background from SO(8) to 80(4) x S0(4) (which is in fact the real Chapter 2. AdS/CFT and the interacting strings 31 symmetry of the background when the Ramond-Ramond field is taken into consideration). It will be easier to change the spinor-basis once more to account for this and thus give the fermionic oscillators the indices under (SU(2) x SU(2))1 x (SU(2) x SU(2))2;whereby b12 and b12 would transform in the (1/2, 0, 1/2, 0) and (0, 1/2, 0, 1/2) representations of (SU(2) x SU(2)) x (SU(2) x SU(2))2,respectively. One final change of variables is needed to reconcile the notation between [36, 37] and our work in [79, 80]. This final notation will be used in the remainder of this thesis. i3’ + = 3c1a2 — 3ia2 i\/b1a2 = _/31a2 + /312, 3ãia2 + (2.20) for n> 0, and — i —a0=a 0 forn=0. The usual Poison brackets then yield, after promoting a and ,8s into operators: [a,at] = öömn, {3 2,32t} 6aömn, 666mn(2.22) The details of the spinor notation are given in Appendix A. The Hamiltonian 2.5 can be written in this notation as: H2 = (c’a + 12t/3ncia + 12t/3nic) (2.23) The equations of motion for x as usual lead to the level-matching condition which can be written as: n (a’ta +1a2tna2+12ta2)I) 0. (2.24) 2.1.3 The Supersymmetry group of the pp-wave Isometries of the pp-wave background are generated by H, ]J+, J+I, and J’’ where i, j = 1, 2, 3, 4, i’j’ 5, 6, 7, 8. The latter two are angular momentum generators of the transverse SO(4) x SO(4) symmetry. There are 32 conserved supercharges Q+, Q+ and Q, Q. These generators are divided into two groups, kinematical generators: F’, p+ j+I jii ji’i’ Q+ Q+ which act locally and are thus not corrected when the string interactions are introduced, and the dynamical generators: H,Q,Q Chapter 2. AdS/CFT and the interacting strings 32 which will get corrections from interactions. The parts of the super-algebra that differ from those of the flat space are then given by: [H, F’]=2J1, [P’, Q—] =1f’Q, [H, Q+] = [LHQ, (2 25){Q,} = 2H +i1u7jHJ + It will prove convenient to define a linear combination of the free super-charges such as to separate Hamiltonian in the anti-commutator of the supercharges. In the notation of [79] this combination is given by: (2.26) where = The dynamical constraints in this notation will then be equal to: { Qcià2,Qi3i,2 } = {a12 Q13i2} 2aj3e212H{ Qaiã2,12} = 22 (ii) + aii (itii) J’’ (2.27) The free dynamical supercharges are given by: = - - e(a)) [o1a2 + + + k12 — ie(ak) Vwk — kk12 k#O —e(a) (v’ck + a — ie(ak) — k12)] = ‘(1 + e(a)) + aO12] + + — ie(ck) — k#O +e(a) (Vwk +ckiI3kf3 a2— ie(ck) — /3k/3ia2)] (2.28) 2.1.4 BMN limit The above background is a continuous limit of the AdS5x S5 background. It is therefore to be expected that the analogous limiting procedure exists on the CFT side of the correspondence. To identify it, we focus on the energy and angular momentum along the relevant geodesic in global AdS coordinates. The energy there is given by E = i81 and the angular momentum by J = iD,1 We have seen in the previous section that the angular momentum in AdS corresponds to charge under R-symmetry (SO(6) symmetry identified with the symmetry of the 85) which we can label J. Energy, as we have also seen is equal to the conformal dimension of the operator in the Yang-Mills theory. We can then write [35]: = —+ = iO÷ =iO+ =i(D +D) = L— J (2.29) Chapter 2. AdS/OFT and the interacting strings 33 C) + — — 5- — 1 • — 1 LC) ‘ — P- — — — — — — Focusing on the fast moving particle in the geodesic around and taking the R —* 00 limit is equivalent to setting: J R2 ‘ /iSi and sending N —b 00. The operators corresponding to string spectrum will be ones with fixed L — J. We can then combine 2.29, 2.30 with 1.82 and 1.86 to get: (2.31) [35] then goes on to define the spectrum of operators with finite Zi — J. The single state operator corresponding to the vacuum p = 0 is given by Li = J, and the only single-trace operator satisfying this is: Ovac = r J/TZ] °,P+)i.c. (2.32) where Z = q + ic?6. with plane 5 — 6 being one rotated by J. We start building the spectrum of the field theory by considering the super-multiplet of the °vac We act on the °vac with the generators of the symmetries. For example acting with the generators of SO(6) that are outside of SO(2) defined by J we get: Nj/2+h T[ZZ 1 = NJ/2+lTZj (2.33) where r = 1...4 are dimensions that do not rotate under J. Going through the Poincare symmetries and supersymmetries we find that all the other states of the super-multiplet can likewise be represented by the insertion of a new field or a derivative into °vac It turns out that these inserted fields separate according to their Li — J eigenvalue [35]. Modes contributing to the original supermultiplet are then ones with Li — J = 1 and they are: DZ = 9Z + [At, Z], with i = 1..4 and eight fermionic operators x!• We can act with these generators multiple times every time turning one of the Zs into a Li — J 1 mode. On the gravity side, this is equivalent to multiplying a vacuum state with the zero-modes of the string oscillators c and b thus once again affirming the correspondence between supergravity and CFT. One of the principal contributions of [35] was to extend this correspondence to the higher “stringy” modes of the oscillators by associating the mode number n in c to a position dependent phase in such a way that, for example, c corresponds to: J 1 Tr[Z14ZJ_h]e#al (2 34) f—f V7NJ/2+1/2 This, combined with the cyclicity of the trace assures that the level-matching conditions 1.26 are automatically satisfied - for example the one “impurity” states automatically disappear. More impurities can be added with the following identification: atz_+DjZ fori==1,... ,4 Chapter 2. AdS/OFT and the interacting strings 34 ai—4 forj=5,.•. ,8 (2.35) This covers the entire spectrum of the free theory on the string side. 2.1.5 Interactions in the BMN limit Expanding the square root from 2.31 we can write: 2irg3Nn(t—J)=w=l+ J2 +.l+j+. (2.36) where the ) ‘- R4 is the t’Hooft coupling and goes to infinity at the same rate as J2. This suggests a new coupling )‘ = for the interactions between the BMN operators. Such a coupling would be a perturbative parameter in the expansion of the free string energy. Field theoretic methods can be used to reproduce the entire square root from 2.31 [35, 47— 51]. To give idea of those methods we glance briefly at the leading order calculation from [35]: Consider the two impurity state / operator: a 8t IO P+)i.c. N/2’ Tr[3Z14ZJ_1]e’ = 78 (2.37) and the quartic scalar interaction in the DBI action: gYMTr([Z, ][Z, ]) (2.38) If we look at the two point function (078x), 078(0)) the above interaction connects the term in078(x) with that in Q78 (0) in which impurities are moved by one spot causing the change in conformal dimension: (078x), 078(0)) (2)J++fl2’+ (2.39) Which, for N = 2 gives the appropriate leading order: L — J = 2+n2,\’ + .... Details of this calculation are given in Appendix A. of [35] and are too involved to be reproduced here. So far we have discussed one possible finite tunable coupling: 1 = gMN ‘ , N, J ‘ oo (2.40) J2 and this is in fact the only one that is relevant in the free string theory, being connected only to the string tension. 2.5 is the equation of free string theory so the fact that it can be replicated with a perturbative expansion in )‘ is not a surprise. Dimensional analysis, however, suggests that there is another possible coupling in the field theory that is also finite and tunable: 4irg3 (ita’p)2 = , N, J —* oo (2.41) Chapter 2. AdS/CFT and the interacting strings 35 This one depends on the string coupling as well and therefore - on the string side - corresponds to the full-blown interacting string theory. The A’ coupling depends on the gy and N only through the t’Hooft coupling gN and therefore the interactions that involve only that coupling correspond to the planar limit or large N t’Hooft limit of the Yang-Mills theory. The theory involving interacting strings then corresponds to the non-planar diagrams of CFT. As mentioned in the preamble to this chapter, the planar limit has been thoroughly tested against the free string theory and their correspondence affirmed [35, 38, 39]. The non-planar limit has been studied extensively on the field theory side and a fairly reliable double expansion series in A’ and g2 has been calculated for a number of examples [47—53]. The one that we will focus on in the remainder of this chapter describes a particular two impurity state of the string, and is given by: — J = 2+ n2A’ — ‘n4At2 + ‘n6A3 + ( + 3222) (A’ — ‘A!2n2) +... (2.42) Confirming this series on the string side would be a major triumph for AdS/CFT correspon dence but to this day despite the considerable effort [54—62, 65—71, 79, 80] this has not been fully accomplished. The remainder of this chapter will focus on understanding this problem and on our own contribution towards its solution. In order to even attempt the g2 expansion on the string side, one needs a working theory of string interactions. For this we turn to string field theory. 2.2 String field theory on the pp-wave background String theory as presented in chapter 1. and in the preceding sections is a first-quantized theory. Objects in the Lagrangian are not strings themselves but rather modes of oscillation within a string. This means that it is relatively difficult to construct robust theory of interacting strings from the materials we have provided so far. This is not to say that string interactions are not at all considered in the standard string theories. The idea of vertex operators uses the conformal symmetry of the strings to reduce the interaction to a point operator on the world-sheet of the interacting string [4—7]. This is a fruitful technique but ultimately a limited one and, as it happens, one that is hard to use in a light-cone gauge quantization. This makes it useless in our quest to find the interacting string correspondence to the non-planar aspects of the CFT. The most successful alternative rests in fully second-quantizing the string by introduc ing the multi-string Hilbert space with operators that act to create/anihilate entire strings (contrary to the usual c and a which only affect excitations on a given string). Such a model was developed first in the 1980’s by Green, Schwarz and Brink [10, 11] for the type JIB superstrings in a flat background. It was relatively dormant for two decades but got revived due to its relevance to AdS/CFT correspondence. In 2002 it was generalized by Spradlin and Volovich [54, 55, 65, 69] to a pp-wave background. In this context the energy shifts due to string interactions are equivalent to the anomalous dimension of their corresponding operators. Calculating these energy shifts exactly for the case of particular Chapter 2. AdS/CFT and the interacting strings 36 2-impurity states was the subject of a number of papers, most notably by Pankiewitz [57, 60, 68, 70]. Our own work, which will be focus of the later sections of this chapter, continues the research from the papers listed above. Most of what will be presented in this section comes directly from one of the above references. 2.2.1 Bosonic particle in the plane wave background Following [54, 55] we start by presenting the particle field theory on the pp-wave background and then generalize it to strings. This is a logical method because, contrary to the flat background case, there are no qualitative differences between the two cases (even a particle on pp-wave lives in a harmonic oscillator potential). Writing again the pp-wave metric 2.4: ds2 = —2dxdx — 1L2f(dxj + d2. (2.43) we can write down the action of the free ‘massless’ field: S = — fDI8 = f dxdxdx t9+O — f dxH, (2.44) with the free Hamiltonian H = f dxdx [(a)2+it2x(a_)]. (2.45) To quantize this we find the canonical conjugate of the , which turns out to be ‘I’ = We can then write: [1(x, x), (y, y)] = iö(x — yjö(x — y). (2.46) and in the Fourier basis: (x, x) = f dp_dp (2.47) we get: [(pp)(qq)] = + qjS(p+ q). (2.48) where = 0. (2.49) The latest inequality will not hold in the actual bosonic case, because it stems from the supersymmetries, but seeing as we are actually interested in generalizing to a supersymmetric case we can assume it. Since 1 is real (as a classical scalar field), the corresponding operator is Hermitian, which means that = —p). (2.50) The Hamiltonian can now be written as H2 = f dp_dp t(2 + (x)2)= f dpdp (2.51) Chapter 2. AdS/CFT and the interacting strings 37 where h is the single-particle Hamiltonian h l(2 +w2x), w = (2.52) The single-particle Hamiltonian may be diagonalized in the standard way: a = (p — iwx), p = + at), x — ar), (2.53) so that h = e(pj(ata + ), (2.54) It is important to note that h is a Hamiltonian of the one particle Hilbert space and that the generators a and a create/anihilate excitations of a single particle. The states of a single particle can then be expressed as: N;pj (a)1O;p , N = 0,1 (2.55) In addition, there exists a multi-particle Hilbert space with operators A(p+)t/A(pj that create/anihilate particles in the state N; p). These operators satisfy (A(pj)t = AN(—pj and [AM(pj, AN(q)] e(p)SMNö(p + qj. (2.56) Once we move to the string theoretic equivalent, the Hubert space of the single particle (whose Hamiltonian is h) will be the world-sheet Hilbert space and the multi-particle one will become the “space-time” Hilbert space. In the standard field-theoretic fashion we can write the expansion for F: = N;pjAN(pj. (2.57) noting how it is an operator in “space-time” Hilbert space and the state in the “world- sheet” space. In this basis we can write the space-time Hamiltonian as: H2 fdP+ENAN(_P+)AN(P+) EN = (N+ ). (2.58) An important generalization of 2.51 exists that relates symmetry generators on the “world-sheet” space with their equivalents on the “space-time”: C2 = f dpdp p+tg. (2.59) To the above we can add interaction by introducing the cubic part of the Hamiltonian: H3 = sf dXdX 17, (2.60) where V is some cubic function of 4 and its derivatives. Chapter 2. AdS/OFT and the interacting strings 38 In terms of modes this can be written as: H3 = f dpdpdpo(pt +p +p) (2.61) N, F, Q=O here cNpQ(p, p, pt) encode matrix elements of the interaction written in the basis of the harmonic oscillator wave-functions. From here on we will use the convention that p be the momentum whose sign is opposite of the remaining two. Thus index 3 will always be labeling the initial state of a splitting transition 3 —* I + 2 or the final state of a joining transition 1 + 2 —* 3. In the Hilbert space of 3-particle states it is possible to identify the H3 with a vertex state V: V) = cNpQ(p,p,pN;p)IP;p2j ;-. (2.62) N,P,Q=O The above construction fully describes the cubic interactions for this bosonic particle theory. 2.2.2 Bosonic string field theory The analogy from the previous section is very direct. Instead of the field I (x) representing the particle we now have a functional [x(a)] of the string embedding x(u). Consequently the integrals over dx are replaced by functional integrals Dx(u). Delta functions are replaced by delta functions over all the Fourier modes of x(a) which are written as delta functionals The action is then given by: S f dxdx_Dx(u) 6+6_ — fdx+ H, (2.63) where H = H2 + H3 + The formula (2.59) is replaced by 02 = f dpDp(u)ptg. (2.64) And the worldsheet Hamiltonian is then: h e(pj 12IpI [4p2 + ((Ox)2 +2x2)] = (2.65) where _______________ = /2 + (/+)2 (2.66) which is very much in keeping with the bosonic part of the Hamiltonian on the pp-wave as discussed in the previous sections with a and a having usual stringy meanings. As before we have to impose the level-matching condition: nN = 0. (2.67) Chapter 2. AdS/CFT and the interacting strings 39 States of the second quantized theory will now be labeled I’) where the component N of the vector N gives the occupation number of oscillator n. The second quantized Hilbert space 7-t is then built from a vacuum 0)), which is acted on by the operators A(p), which for p <0 create a string in the state N; p). The free Hamiltonian is then: 2=fdP+E4(PiA(Pi, (2.68) 0 To introduce the interactions we need a vertex state equivalent of 2.62 in this formalism. The main constraint on the interactions is the principle of continuity and conservation of momentum - that imply that the vertex must satisfy: (pi(a) +p2(u) +p3(a)) V) = (x(a) + X2(a) —x3(a))IV) = 0. (2.69) To construct such a vertex it is easiest to work in the basis of Fourier modes of one of the strings. We arbitrarily choose the string 3 and then construct the matrices Xr)mn which express the Fourier basis of the string r in the basis of the string 3. These matrices are obtained by simple Fourier transforms, — _pm+n+ism(m!3i) x2 — 1(flsm7rm!32 2 70mn\ n—m/31 ‘ mn\ n—m,i32’ where 13a pt/ P3 is the ratio of the width of string a to the width of string 3. The x3 1 by definition. We can now write the following equations that must hold for each m: XpnrIV) = 0, e(p)Xxn(r)V) = 0. (2.71) r=1 ri=—oo r=1 n=—oo Those are most easily solved if we assume an ansatz solution: V) = f(p,p,p)exp [ (r)Na)] O(1))IO(2))O(3)), (2.72)r,s=1 m,n——oo and expand the x’s and p’s appearing in (2.71) into creation and annihilation operators. Solving the resulting matrix equations we get: j(rs) srso — 2 V’Wm(r) Wa(s) (x(?’)TF_lX(8) )mn. (2.73) where 3 00 (Fa)mn = Wp(r)XXJ. (2.74) r=1 p=—oo as a unique solution modulo undetermined function f(p, p, pr). Exact calculation of the Neumann matrices Nab is a non-trivial exercise that is done in detail in [62]. We will return to it briefly in the next section. Chapter 2. AdS/CFT and the interacting strings 40 2.2.3 Fermionic contribution to the vertex Generalizing the procedure listed above to the superstring involves two major considerations. We address them in this section and the following one. First of all, the continuity/conservation requirements given by (p1a) +p2(u) +p3(u)) V) = (Xi(U) +x2(o) —x3(u))V) =0. (2.75) need to be supplemented by the equivalent requirements for the fermionic coordinates 0 and their canonical conjugates A (Ai(a) +A2(u) +A3(u)) IV) = (Oi(u) +02(J) —6s(u))IV) =0. (2.76) We do so by introducing an additional factor to the vertex, to be annihilated by the fermionic operators. Thus: V) = EaEbIO> where Ea is given by the EaIO> exp [ 0), (2.77)r,s=1 m,n=—oo as defined above and E is constructed to satisfy the 2.76. As before we can work from an ansatz: EbIO) = exp : - mr)Qmn13n(s)ài2]0), (2.78) r,s=1 m,n=O Taking into account the transformations 2.19 we can write: = —-—v [örsö ( + —2((r)Tf_lY(s)) ] V. (2.79)(r) ‘n(r) where Y = Ymn r) = \/i(1)3/2 = (l—pH) Pb y(r)j7(’iT (2.80) and p is defined in 2.16. A fair bit of information is skipped in this brief overview. Most specifically the method of Gaussian integrals which originally motivates the form of ansatz that we take. Also, methods for solving the matrix equations and certain subtleties involving the zero modes of the matrices Nmn and QmTh. For all these details we refer the reader to the [54, 55, 69] from which the results presented above are taken. 2.2.4 Interaction super-algebra and the pre-factors When we discussed the supersymmetry group of the pp-wave we made a distinction between the generators that act on a point on the string world-sheet (local or kinematical operators) Chapter 2. AdS/CFT and the interacting strings 41 and are thus incapable of joining or separating strings, and those which act on the whole string and thus can include string interactions. The latter, called dynamical generators , are the Hamiltonian H and the half of the supercharges, labeled Q and Q (not to be confused with Neumann matrices Q). All the dynamical generators will be of the form: G=G2+ti3i4• (2.81) where k is proportional to the string coupling constant. All the G3 terms will have to contain the V) as derived above, because the Qs have the same relevant symmetries as the Hamiltonian. However, the Qs and H also have to satisfy their own relationship within super-algebra, namely: {Qai2,Qi}= —2e1,ç2H (2.82) Note how we can ignore the potential contribution of the J3 generators to this anti- commutator because they can be factored away for a given linear combination of Qs but also will give no contribution at all to the non-zero orders in ic due to being kinematical. In fact, the equation 2.82 is the only one in the entire super-algebra that will have higher ic corrections. We will be interested in it at orders tc and ic2. At order ic the 2.82 can be written schematically as {Q2, Q} H3. In the state-language defined above it can be written as: + = 2faiiE2H3), (2.83) + = 2€1€a2H3), (2.84) Q(r)aià232) = 0 (2.85) where Q(r) 12 and Q(r) 12 are the quadratic, free string supercharges Q2 as defined in 2.28. Simply using IV) for the Hamiltonian and generators Q will obviously not suffice to satisfy the super-algebra. We do, however, have a free function of the momentum floating in front of IV) in each of the above cases (see 2.72). We can utilize that to introduce the pre-factors to V) that would differ depending on the generator: IH3)=hV), Q)=qV), Q)—qV) (2.86) Actually solving for the pre-factors is complicated and the result turns out to be non unique. The first and most widely used result is due to Pankiewitz and that is the one will we be using in the following sections. We state result here and refer the reader to [68] for the derivation: Chapter 2. AdS/OFT and the interacting strings 42 a11H3) g2 f(ia3, — — (K1k, — a3 — K1a1Kã2a2S,a(y)SiàZ)— K,1Ká2a2S* (Y)xi2Z)] Iv), a1 1 1 =g2f(ta3, —)— (2.87) + is$,72(Y)t (Z)K272) V), /3272 a1 1 - =g2f(JLa3, —)- V(7’ (Y)t (Z)K’7’2 + is . (Z)t$27Z(Y)k272) v). $172 Where a number of additional notational definitions are in order, starting with i a123. Further K7’ Ktui7l, K7272 K’o-’7272, I<’’ = , K7272 k’a’7272 (2.88) where the u-matrices are given in the appendices and are used to convert between vector and spinor notation. Furthermore, = + (y4 + z4) + TY4z4] 21 ij— i[y2i(1 + Z) — Z2ii (1 + + ‘[y2Zj = o’’ [i. — (y4 + z4) + Y4Z4] — i [213(1 — z) — Z2i (i — __Y4)] + [Yz2]‘‘12 where y2i Uai$,Y , , (y2Z)ii y2k(iz2i)k (2.89) and = y ycl2 yf2 = v (2.90) — lW2 $i ‘ c12/32 — ala2 $2 Y,31 = y2 Y2 (2.91) /32 132a2 C1 y4 = y2 271 1 = Y2 Y272 —a2$Y4 (2.92)— a,7l” /3i c12$2 — 272 /32 — where Chapter 2. AdS/CFT and the interacting strings 43 — ‘,‘2 ,r2a131 — ‘cj2 ‘jj222 = — 2I32’ The spinorial quantities s and t are defined as t(Y)=_e+iY2_Y4. (2.94) Analogous definitions can be given for Z. Finally: K’ = Kfl(S)3), K’ Kfl(S)’(3) (2.95) s1 nEZ s=1 nEZ Y’2 = Z1ã2 = (2.96) s=1 nEZ s=1 nEZ where: = +a3sln(nlrr)V , n, (2.97) K /r(1_r)A—A (2.98) ‘r G — 1 G — sin(Inirr) 299q-, and = /wq — /3riua, A = e(q) 4/wq + /3rI3, (2.100) = — A; = e(n)/wn + /L3. (2.101) It is also important to get the exact form of the Neumann matrices 2.73 and 2.79. This was done in [621. The key element of that calculation is inverting the infinite matrix a as defined in 2.74. This is done by finding a differential equation for the function of this inverse with respect to the mass parameter i and then solving with the initial conditions of i = 0 corresponding to the already known fiat space solution. This solution requires a particular inverse integral transform but can and has been done successfully to all orders in p. For our purposes, however, we are interested primarily in the match of the string theory to the gauge theory expansion in A’ that we listed earlier. Seeing as A’ (2.40) what we are really interested in is the large limit of the Neumann matrices. By the happy coincidence in this limit matrices take a rather simple form. We present these forms here and the full ones in the Appendices. For the details of the derivation we refer the reader to the [62]. In the large u limit: Chapter 2. AdS/CFT and the interacting strings 44 = sin(n7rr),/ (AA + AA) = /797 (AAE +AEA) (2102) 2ir./LZ3 (q — i3rn) 47/3 (/3swq + !3rWp) 3r — isin(nIirr) (wq + /3rn) rs — i (/3q —!3rP) (2 103)riq — 2iriZ (q —i3rfl) ‘ qp — 47r/ (!3swq +I3rwp) where Q = Qrq — Qr 1 2.2.5 The contact interaction term Equations 2.77 to 2.102 give a description of a three-string vertex in the large u limit (and can be complemented with the equations in the Appendix for the full u dependency). This vertex has weight of g2. In order to calculate the one-loop energy shift we use a world-sheet diagram containing two such vertexes. One string propagates, splits at the first vertex, two string propagate from there and rejoin at the second vertex. This means that the lowest order in g2 such a shift would exhibit would be g, in correspondence with the 2.42. From 2.81 we can see that the quartic Hamiltonian (as well as quartic super-symmetry generators) also carries the factor of g. Therefore, it is to be expected that the single H4 term will contribute to the same extent to the energy shift as the two H3 term. Such a term is called contact interaction term or contact term and physically represents the limit in which the propagators of the two strings vanish and the two vertices are brought in contact with each other. The contact term is the Achilles’ heel of the calculation we are attempting to perform. There is to this point no generic quartic vertex state equivalent to V) and the conservation laws such as we used in constructing V) do not seem sufficient to construct one. What understanding we do have of the contact term comes from the super-algebra. At the second order in g2 the {Q, Q} = H anti-commutator can be written as: {Q2czjà2,Q4i,2}+ {Q4oic2,Q2131}+ {Q3ciã,Q312}= 2fiiEa2H4 (2.104) meaning that we can calculate at least one part of the contact term - specifically {Q312,Q312} - using the available components. The existence and contribution of the Q4 components remains one of the most important unsolved problems in the string field theory. The current state of the art has it that Q is not necessary to close the algebra and can thus be set to zero without causing inconsistencies [70] but that there is no physical reason why it would have to be set to zero. In our work we follow the convention and set Q to zero for the lack of another option, resulting in the contact term vertex given by: H4 = Q12Qaia2. (2.105) ‘These expressions are also valid for q, p = 0, except in the case of NM = —N Iq,p0, and in the case of — —la ,j3r ‘.QfJ — —iT F’r”np n,p=O. Chapter 2. AdS/CFT and the interacting strings 45 Luckily, the divergence cancelations that are one of the main results we are presenting in this thesis come fully from this part of the contact term, making our work relevant despite the possible incompleteness of the equation 2J05. Nonetheless, the lack of understanding of the Q term is quite possibly the greatest stumbling block in establishing the correlation between the non-planar CFT and the interacting string. We will return to it briefly in the conclusion to this chapter. 2.2.6 Impurity conserving channel We now have the entire machinery needed to perform the energy-shift calculations. We will conclude this section by presenting the single-impurity calculation both as an example of applying the above formalism and also because it was the state of the art calculation before our work which will be presented in the next section. This calculation and a number of other important insights presented here are due to Pankiewicz and collaborators and can be found in [57, 60, 68, 70]. The first question to be addressed is the string form of the two-impurity state whose energy shift is being calculated. The result 2.42 is valid for a generic two Is-impurity operator independent of the space-time index of the impurities. This is a consequence of the conformal nature of the CFT. This means we have a choice between the scalar two-oscilator states on the string side. The natural choice and one that minimizes the calculation is the state: [9, i])(i) = t (atat2 + — löiiatkatk) Ia) (2.106) Its advantage is that it is a unique representation of the state under SO(4) x SO(4) and the one that can be expressed solely by the bosonic oscillators. It is fairly easy to see that while it is possible to write the fermionic representation of the state I[’ 1]) = afkafk) (2.107) in the form: [“‘1) = (2.108) Fermi statistics actually prohibit such a dual representation for [9, i])(ui). Using the later, therefore, prevents the mixing of states as we turn on the interactions, making for the much easier calculation of the energy shift. The actual calculation of the shift starts from the standard perturbation theory: = ([9, l]1H3 — Ht’ l]) + ([9, 1]1H4[9, i])( (2.109) where the E° is the free energy of the string, P is the projection operator on the space of the two-string states and Ht is a free Hamiltonian acting on the internal strings. At this stage, it was customary to restrict the definition of P to the two string states which between them carry only oscillators. This was justified by the argument from gauge theory in which the number of impurities is in fact conserved. The principal reason it was actually Chapter 2. AdS/CFT and the interacting strings 46 done though, was that the “impurity non-conserving” channels appeared to result in the non perturbative terms and unphysical divergences. In the next section we will be addressing the non-impurity conserving channels and dealing with most of the problems associated with them. For now we use the impurity conserving channel and write the equation: (l+ö) 6E,cL2) (ii)([9 1]1H3 H3[9, 1fiQ 1F Q3[9 1])(ii) (2.110) with: ‘B = K=1L 2r(1-r) ( tKafai) a2)(2 (aia + fL I2)@2I 1I 1 (2.111) ‘F r(1-r) ( tKtE12 I) Ia2)(a2 a2a E1,E2 P + a ) fE1E2 a2)(a21 1E2 (au where E1 and 2 are a generalization of spinor indices to include both dotted and un dotted ones. This distribution of the oscillators is a product of the level-matching condition, something that will prove important when we begin looking at the orbifolded backgrounds where the discrete quantization changes the level-matching. Furthermore we note the normalization of the string vacuua: (alKa2a2)Iai) = r(1 — r), = 1. (2.112) where, once again, r —au/a3 and 1 — r —a2/a3. In general terms there is also a double fermion term in ‘B but it is irrelevant for traceless state such as [9, i])(ui) due to Fermi statistics. We then need the matrix elements between the internal string states and IHr)/Q3>. The calculation of those is relatively straightforward and the results are given by [70]: (ii)([9 1] (a21a (ajj a 113) = —2r(1 — r) (1(3) + I ijk1 (ii)([9 ifi (a2 (auIaa H3) = -2r(1 - r)( -) 3131ijk1 (2.113) and (ii)([9 ill (a21 (,3)12 (au a Q312) = —2i C Go(2) (K(3)+ K_(3)) l’0 iik1(1)ôi 2 114(ii)([9 ‘]I (a21 (au (_)12 a IQ312) = —2i CG11(u) (K(3)’+ K_(3)N’_) uik1(l) 2 Chapter 2. AdS/OFT and the interacting strings 47 where ijkl .1{öiköil + 61jk — löi3ökl} and O //r(1 — r). Some of the intermediate steps of this calculation are presented in the Appendices. The energy denominator is given by: — (2.115) 2 (w — r’w) We have now all the elements from the equation 2.110. All that is left is the conceptually simple, although technically challenging task of performing a sum over the mode number p. This is accomplished through the technique of contour integrals whereby the the sum is calculated by the following substitution: f(p) = -dzf(z) cot(z). (2.116) We then rotate and scale the integration variable through the substitution z —* —i1ua3rz, to turn the cotangent into coth(iricriz) which can be set to one in the large p limit2. If the summand f(z) has no poles on the real axis, the procedure simply replaces p by p’ = rci3p and integrates = f:dP’f(po) (2.117) yielding the large behaviour. If there are poles on the real axis, one must evaluate their residue using the integrand in (2.116) and then integrate along any cut which f(z) may possess along the imaginary axis. Specifically, the sums in our calculation will fall into two general forms: P(p) ___ F1 = Q(p)p2+(r3)2’ F2 — 2.118 where P(p) and Q(p) are polynomials in p. F1 will therefore have both poles and a cut and F2 just the poles. generically then, result will be: F1 = — Res (cot(P1) ,pi {pQ(p)= o}) PiJ (2.119) + f dz [Q(ixrz)]* P(ixrz) + c.c.1 IQ(zxrz)I —1 F2 = —ir Res (cot(irPi) 3,Pj e {p Q(p) o}) (2.120) Obtaining the result is then just a matter of careful computation. The original result from [70] turns out to have a calculation error that was corrected in our paper [80]. 2The terms neglected by this approximation are of order exp(—Ic3I). Chapter 2. AdS/OFT and the interacting strings 48 The correct result is given by: = F(± + 65 A’ + -- (± + A’312Ti 4-2 [\\24 64ir2nJ 16 \ir2 2KJ — 2 + 89 A’2 — -- (J + A’5 (2.121)\48 128’irnJ 32 2 2irJ 339 \, ‘59 45\, /)A3+n4( + )A7/2+Q(A64 512ir2n 16Or2 256ir There are notable similarities between the result 2.121 and 2.42 but also some rather dramatic discrepancies. Most importantly, the half power terms in A’ appear to be native to string theory results and yet absent in principle from their gauge theory counterparts. Also, despite notable similarity, the actual numeric terms differed even in the full powers of A’. Our own work, presented in the following sections was motivated in large part by the desire to reconcile these discrepancies. 2.3 Higher impurity channels Two major assumptions were made on the string side to get the result 2.121. One was that the Q4 supercharge can be ignored for which there is necessary, but by no means sufficient, justification. The second was that the only channel contributing to the energy shift will be one where the intermediate states have the same number of oscillators as the end states - so called “impurity conserving” channel. We could not do much about the first assumption but were interested in testing the second. One of the primary motivations for excluding the higher impurity channels was that the contribution of the four impurity channel appeared to diverge if the large limit was taken before summing over the mode numbers. On the other hand, if the sum is taken before the limit then the divergence is regularized but the non-perturbative term appeared in the energy shift causing the result to be fundamentally different to the leading order from the gauge-theory result. In our paper [79] we analyze the relationship between the potential divergencies and the non-perturbative terms and then show that divergent terms actually cancel between the H3 and the contact term, taking with them the contributions. We generalize this to all impurity channels. This section draws heavily on the work of the author and his collaborators in [79] and a substantial part of it is taken directly from that paper. 2.3.1 Trace state The simplest example of the behavior we are interested in can be observed in the careful calculation of the two-impurity channel contribution to the mass shift of the normalized bosonic trace state [1, 1]) = crjc) (2.122) Chapter 2. AdS/OFT and the interacting strings 49 In [66], this calculation was performed by taking the large i limit first, then summing over the mode numbers. That procedure found a finite result. If is kept finite, however, there are logarithmically divergent summations which must be dealt with before the large limit is taken. We calculate the following matrix element for the state [1, 1]) (3) (1) (cccL(2I(aiI H3)= -g2T(1 r) [8 (_ + kl (3) (1) +16 -NN KL +16 —NN’’ ]JKL (2.123) where the index i = 1,. . . , 4 is summed over. Note that K, L = 1, . . . , 8, while ö11 is non-zero only for k = I = 1,. . . , 4. The matrix 11KL is given by 11KL = diag(1, 1,1,1,—i, —1,—i, —1) When calculating the H3 contribution to the mass shift it is only the very last term in (2.123) which is divergent. Singling-out its contribution, one finds (using the two impurity channel as defined in 2.110 and 2.111): r - 2 00 1 Wp N33 N11flK 6E=fdr (g2r(1_r)) 2r-r) L (2.124) A quick inspection of the forms of the Neumann matrices (see Appendix B.) reveals that the numerator in (2.124) goes like a constant for large p, and thus the sum as a whole goes like l/jpt for jpj >> l,La3I. This is a logarithmically diverging sum. In [661 the strict large limit was taken for the energy denominator, leading to a convergent 1/p2 behavior instead. Here we will stick with the finite i expressions and show that the divergence is removed by the contact term. Note that a double fermionic impurity intermediate state also contributes to the P13 piece, however it does not display any divergent behavior. Further, the ccii)c4Ic2)intermediate state is unimportant to us as it does not contain the sum over mode numbers. The contribution from the contact term stems from the following matrix element, (92w ) (3I$n (2IK1I2IQ3i) = (GK3N+ KNP) (k)diâ2 + 4G? KN(a6 (2.125) along with a similar element with Q312). Here K = 1,. . . , 8 while the E and 3 indices are either dotted or undotted as required by the particular SO(4) representation indicated by K. The last term in (2.125) gives rise to a log-divergent sum. For large positive p, (K)2 goes as a constant, and so the sum is controlled by (G?)2 which goes as l/p, and hence Chapter 2. AdS/OFT and the interacting strings 50 diverges logarithmically. For p negative, the sum converges. Thus, the divergent contribution to 6E(2) is found to be: öEv = 8fdr(g2) ) (2.126) The leading factor of 8 comes from the sum over K. Note that two factors of 2 from the delta function (in Pauli indices) and the (squared) Pauli matrix trace cancel the two factors of 1/8 coming from the two terms of the contact term, andQ311/2 Again the intermediate state crIai)/3!a2>is unimportant to the convergence and is ignored here. In taking the large p limits of the summands in (2.124) and (2.126), one finds, 1 f dr g—r) (p33)2 (2.127) 6EV +fdr21 (N) (2.128) ra3ir p Noting that in the H3 contribution the divergence is found for both positive and negative p, while in the H4 contribution the divergence occurs only for positive p, and hence a relative factor of 2 is induced in the H3 term, one sees that the logarithmically divergent sums cancel identically between H3 and contact terms, leaving a convergent sum. This cancellation fixes the relative weight of H3 and contact terms to that employed in [70]. It differs by a factor of 1/2 from the weight originally given in [65], where it was argued to be a reflection symmetry factor. This last statement is important because the purported factor of 1/2 provided for the leading and sub-leading order agreement between the two-impurity [9, i])(ui) energy shift and the gauge-theory. Despite this inviting coincidence, the above argument, together with the reasoning in [70] seems to exclude the possibility of such a factor. 2.3.2 Four impurity channel We now consider the mass shift of the I[ i])(ui) string state due to intermediate states which contain four impurities. In the explicit expression for the matrix element quoted below, we see that the parameter [LQ3 occurs only in combinations involving w and there is a duality between the large p and the large /tc3 limits. Therefore, since a logarithmic divergence in the sums indicates that the summands have as many (inverse) powers of the summation variables as there are summation variables, this translates into a vanishing ,uc3 dependence for this contribution to leaving 6E2/ \/). It is thus seen that /) behavior is simply the result of log divergences, which should, if the pp-wave light-cone string field theory is to make any sense, cancel out entirely. Chapter 2. AdS/OFT and the interacting strings 51 We begin with the H3 contribution to the mass shift. We consider the following interme diate state, ‘B = f 4!r(1-r) aai) Ia2)K2I(a1a (2.129)P1P2P3P4 where the sum over the mode numbers is restricted by the level matching condition p = 0 and a1 —cr3r, 2 —3(1 — r). Although there are many possible contractions of this state with the oscillators in 1H3), we will only be concerned with those which lead to log divergent sums. These are the ones where the c in the prefactor of 113) contracts with one of the oscillators in 1B• We find this contribution to SE2 to be3, / \2 £div_ j dr ‘ r(1—r) ‘ —.. —a3r UL’JH — I 1g2 I ) xJo 4!r(1—r) \. 4 1p42LiJnrEi_iwpi (2 1P2 1P2) {8. 12 (31)2 + where Pi = —(P2 + P3+ P4). The factors of 6 and 12 are combinatoric and count the number of ways equivalent contractions can be made. The factor of 8 comes from a sum over the spacetime indices of ‘B and only affects squared terms. It is easy to see that in the above, the sum over P2 is log divergent. In fact, it is the very same form as appears in (2.124). The matrices with one leg on the external string have a common form: / (7) (3) sin nrr iWp +/3rWnNT e(n) (2.131) 2ir /w3) L$ P — /3r fl - -i sin(nr) ((r) + (2.132) (r) P — i3r Ti The sums over mode numbers involved with these matrices will be dominated by the poles p = /3rTi and will be of the order zero in 4u. We are therefore back exactly to the situation described in (2.124) as far as the power-counting of u is concerned. The remaining summand, P2 is replaced by z =a3Ip’ and the integral is taken over p’ as per the instructions for the contour integral technique given above. u dependance then disappears from the square of the matrix and the energy denominator cancels out the measure of the integration giving: 6Ev constant, and therefore oE(2)/1 There are also contributions from intermediate states which contain two bosonic and two fermionic impurities, however these produce convergent sums and Q)’) contributions to 6E2/. 3The normalization 1 + of the external state has been suppressed here. Chapter 2. AdS/OFT and the interacting strings 52 We now show that the contact term contribution stemming from the following interme diate state, ‘F = 3!r(1- r) P P2aP3P4 Ia’) I2)(2I ( (2.133)0 P1P2P3P4 cancels the divergent piece coming from the H3 contribution, leaving an QQ’) contribution to 6E(2)/t. In the above a is an SO(8) index and thus represents both dotted and undotted indices in the language of [70]. The log divergent piece comes from contractions where the c in the prefactor of Q) is joined with one of the bosonic oscillators in ‘F One finds, 6EV 3!r(1— r) (92)2 (2G1K_) (313)2 + 3Nrip_npaNnp4_n} (2.134) In the above one sees the very same pattern as was seen in section 2.3.1. The sum over P2 is divergent on the positive side, and cancels the divergence in (2.130). The remaining (convergent) expression gives an Q1)’) contribution to öE(2)/jt. Again, there is a non- divergent contribution from the intermediate state with three fermionic and one bosonic impurity which is not considered here. The cancellation exposed here is also found for the following remaining pairs of interme diate states, ‘B 113! r(1- r) a K atL atM a1) fN l2)(2I (aI 0 P1P2P3 ‘F = 11 2!r(1- r) a,) a N 1a2)(a21 (& aP3 aP2P1 (2.135)0 P1P2P3 where p = 0 and, ‘B = 2. (2!)2r(1 - r) pi lai) P2 1a2)(a21 P2(1 P1P2 ‘F L 2!r(1- r) aPi Pi Iai) aP2 P2 1a2)(a21 P2 (2.136)P1P2 and so we find that the entire contribution to óE(2)/t from the four impurity channel is convergent / leads as )/. It is not hard to generalize the above argument to 1B’ contain ing an arbitrary number of bosonic impurities and no fermionic impurities. The divergent expressions cancel against contact interactions with iF’S containing one fermionic and the same number (less-one) of bosonic oscillators as ‘B Adding fermionic impurities is far less trivial because the full forms [68] of I1I3) and IQ3), given in Appendix B. must be used for the calculation4.In the next section, however, a more elegant argument is presented which claims the absence of log divergences for arbitrary impurity intermediate states. 4We remind the reader that the I [9, 1]) () state receives no contributions to its energy shift from the zero impurity channel. Chapter 2. AdS/OFT and the interacting strings 53 2.3.3 Generalizing to arbitrary impurities It is possible to formally manipulate the contact term in such a way that the H3 portion of the energy shift is cancelled entirely, leaving a convergent expression, which does not contain any contributions to SE(2)/t. The manipulation proceeds through supersymmetry algebra. At order 92 we have {Q2ia2,Q312}+ {Q3a1a2,131132}={Q2àia,312 + {Q3a12,212 = —211ç2H3 (2.137) analogously to order g one has {Q3criâ2,Qiij}+ {Q2ai2,4jij}+ = —2€1ç2H4, (2138){Q3w,12+ {Q212, + {Q4j2,12}=6arn122H4. To get H3 and H4 the first of the equations in both (2.137) and (2.138) should be multiplied by e’e22 and the second by ‘‘f22• On the left hand sides of the equations the epsilons just raise indices, on the right hand sides they give -4. We thus have: {Q23Q1f 2} =+4H3, {Q2,3Q1/32} —+4H3 (2.139) and H4 = Q31 Q1/32 + ‘Q Q13/32 + + I . f31/32 L 2 140m8’2/31f24 Using these formula, the contribution of H4 to SE2 can be rewritten as a sum of a term which cancels the H3 contribution plus other pieces which all contain Q2 acting on one of the external states. Taking the expectation value of part of (2.140), and introducing P as a representation of unity, we have K Q/31I2 + Q3 2Q12) = lQ pEO H2QØ) (2.141) 1 /Q —_H2,12 2 142+ \ 3thi3 E0 — H2“ It could be that the energy denominator which we have introduced here will have a zero. In that case, the projector P is a reminder to define the singularity using a principle value prescription5.Equation (2.141) can be written as 5There is one additional subtlety, the intermediate states must each obey the level-matching condition. This condition can be enforced by inserting a projection operator. For example, for two-string intermediate Chapter 2. AdS/OFT and the interacting strings 54 2E0H [H2,Q12]) -- 2E0-H [H2,Q1/32]) (2.145) so that (2.145) becomes [H2,Q/312l —3 j [Q/31i2H3] (2.146) -- [H3,Q12]) +(Q P — 3ifl2E0_H2 [H3,Q1132]). (2.147) Since Q2 commutes with H2 one has P \\ = + Q/312 H3/ +2 E0—H + — 2E0 — H23Q2 ) + - KH3EPHH3) Q1/32______P >- H2323 E0 — 2EO_HH3Q2) (2.148) and the last term cancels the H3 contribution to the energy shift. The final expression for the energy shift is /31132 P+ (Q213123 E0 — H2 / + — 2E0_HH3Q2) +K:Q2/ Q/312 P H3) 1132 E0 — H2 + KQ3131/3 — 2E0_HH3Q2) states, we can combine such a projector with the energy denominator as P d81 r dO2 e_1’T+i911°) e_2)T+j9212) = I dreE /E0—H2 Jo J_7r27ni_hT Up to order g2 the following equation holds = + KQ- + (Q.Q1132) + KQ 13112\— 413122 1 + (Q.Q1132) (2.149) where N(T) = n (aT)ta’ + bb)) with r = 1, 2 are the level number operators for the two intermediate strings. The net effect of the operators in the above equation is to make the replacement (at, bt) —* (e nT+ino(r)a$[)t, e_T+9r)b) for all creation operators which lie to the right of the projector. Then, after the matrix element is computed, we multiply it by eE0T and integrate over r and 8r Any potential divergences come from the region near T =0. (2.143) (2.144) N Chapter 2. AdS/CFT and the interacting strings 55 It is amusing to note that the vanishing energy correction for a supersymmetric external state is manifest in (2.149), since if Q annihilates the external state, all of the terms are identically zero. Q is unknown and it is consistent with the closure of the super-algebra to set it to zero. Using the I[ iJ)(ui) external state, we can check that what is left is manifestly convergent for the four impurity channel, and then show that the addition of impurities will not disturb this, leaving O(A’) contributions at every order in impurities. We have two sorts of terms in (2.149), which we can represent schematically as follows (((‘lQ3)) ((Il(JlHa))* (IIlH3)(W111Q3)* 1 = E — E1 2 = — E1 I I where t) is the [9, i])(ui) external state, 1W) = Q211), and II) is a level-matched, two- string intermediate state. In order to evaluate the convergence and large 1u behaviour of these terms, we can be entirely schematic. We take (see (A.22) for the expression of Q2 in the BMN basis) 1W) /Za3 / Ia3) I) c4 aLIa3) (2.151) while for the purpose of evaluating convergence we can take constant i 1 (2.152)qp p+q where we take all integers to be positive. Let us begin with 6E1 in (2.150), we have two choices for four impurity intermediate states I’-c A a aI P1’’P2 73 j4 L I’) a1/32/313/34Ia1)la2). (2.153) We can proceed with the first one, which will give 6E1 (a3aa_n(a21(aap P2 a3 a4 IQ3) P1P2P3P4 2rw — i=1 (2.154) x ((a3Ifl a_(a21(ai la1 p2 a3 a4 113)) where x = —a3 and pj = 0. There are two general ways in which we can contract the 3(r)s. They can connect to factors of Zm Gm/3 in the prefactors of H3) and Q3), or they can pair-up to bring down a factor of Q, from the exponential. As far as convergence and (r) (s) . . _•_rslarge x power-counting is concerned however, Gm G is equivalent to Qmp’ and so we will simply use the former. When contracting 3(3) ‘s there is a fundamental difference between and Q, as far as large x behaviour is concerned, because of the pole in the latter. Chapter 2. AdS/OFT and the interacting strings 56 In fact is essentially equivalent to N, and therefore the two can be interchanged in this analysis. Because K_ goes as a constant for large p, the worst convergence will always be realized by contracting the intermediate bosonic impurities with the prefactors of H3) and 1Q3). These contractions will yield (r31 r13 r(1) 31 17(1) j31 17(1) j7(1) 31 J “flP2 — “P2fl I V_.jplk_p Vflp4 X I_p3ikp4 IV_p1 G3’P2 . ) 2rw—. w. P1P2P3P4 Taking 4 = —(pi + P2 +p3), and using (2.152) we see that 1 1fr2 (2.156) P1P2PS (P1+P2+P3) 11 where all p are considered absolute valued, or equivalently the sum considered over positive integers. This is manifestly convergent. Continuing on to evaluate the leading x dependence, for the top choice in (2.155) we have poles for all three summation variables, while in the large x limit the K’s go as constants, G 1/\/ and the energy denominator is linear in x, thus giving 6E1 ‘ 1/x. For the bottom choice in (2.155), Pi and p3 have poles, while the sum over P2 must be executed using (2.117). The scaling turns out identical however. Thus 6E1//L is convergent and Q(A’). One can repeat this argumentation for the second intermediate state in (2.153) and find the same behaviour. Also the entire exercise may be repeated for 6E2 in (2.150) using the following intermediate states rsJ I’ c a I3 /3 a (2 157I P1 P2 P3 P4 1, 2, and one discovers the same behaviour. The essential point is that we will always have at least 5 (inverse) powers of the summation variables, while the number of summation variables is 3. Alternate positionings of the oscillators in the intermediate states such as 1) €41 €42 I €i) 2) only improves the convergence, since level matching removes one more summation variable in these cases. We can now consider adding additional pairs of fermionic and bosonic impurities to the intermediate state I’). This will add two factors of or two factors of GWG (or equivalently two factors of Either way the number of powers of summation variables increases in concert with the number of summation variables, preserving the convergence. Similarly the leading behaviour in A’ is unaffected. So it would seem that there are Q(A’) contributions to 6E(2)/jt at every order in impurities, however any non-perturbative behaviour is absent. Chapter 2. AdS/CFT and the interacting strings 57 2.3.4 Conclusion The principal result we have presented in this section is the cancelation of the logarithmic divergences that appear in the sum over the excitation numbers for the intermediate states with multiple oscillators. This cancelation is not unexpected as it is reminiscent of similar behavior in string field theory on Minkowski space. We have also shown that the non-perturbative term \/X that appeared in the calculations involving these “impurity non-conserving” channels are an artifact of those divergences and thus disappear in a careful calculation leaving the O’) as the leading order in the expan sion. These statements were generalized to an arbitrary number of impurities estabilishing generically both the absence of Q(\/) and the presence of O’) in the calculation at an arbitrary number of impurities. The upshot of the later result is that, barring some further insights, it would be very difficult to perform the full calculation on the string theory side that would match the CFT result given in 2.42. Furthermore, our results seem to imply that the intermediate states of arbitrary energy would all contribute to the same order to the energy shift. This is a position that our physical intuition argues heavily against but that, so far at least, seems to be born out by the mathematics. There are several possible ways in which this problem could be solved. The most obvious is the potential contribution from the hitherto ignored Q4 factor. Unfortunately we know very little about this factor and so it remains the black box of this theory. The second potential solution is the existence of hidden cancelations that would suppress low order terms in A’ from the high impurity channels. We were interested enough in the possibility of such hidden cancelations that we actually performed the full 4-impurity calculation under two different formalisms (both will be presented in later sections and Appendices) as well as the rudimentary 6-impurity calculation. In neither of those cases are there any cancelation of the 0(A’) terms. The final consideration of potential significance is the fact that the string vertex presented above is not a unique solution satisfying the required symmetries and conservations. Two other distinct vertices can be constructed which fuffill the same requirements. In the remainder of this chapter we will discuss the string field theory using these alternate vertices. 2.4 Alternate vertices The vertex given by 2.87 (and referred to as SVPS vertex after Spradlin, Volovich, Pankiewicz and Stefanski) is not the only solution that satisfies the super-algebra and conservation laws. The alternative vertex becomes apparent if one gives up on smooth fiat space limit as —÷ 0 and instead focuses on the simplest possible pre-factors which still satisfy the super-algrebra. This vertex was first proposed by Di Vecchia, Petersen, Peterini, Russo and Tanzini [67] and is referred to as the DVPPRT vertex. It was then shown by Dobashi and Yoneya that the weighted averages of DVPPRT and SVPS vertices also satisfy the necessary conditions. They, in particular, argue that the equally weighted average of the two gives a vertex which is the most physically relevant of the three. This vertex is referred to as DY vertex. The simple form of the DVPPRT vertex enabled us to develop a generic calculational Chapter 2. AdS/CFT and the interacting strings 58 method for higher impurity channels which we used to test for “miraculous cancelations” of low order terms at higher impurities. This, previously unpublished work, will be presented in this section. The full 4-impurity calculation and cursory 6-impurity calculation have not yielded any indication of cancelation of low order terms or “dampening” of higher impurity contributions. We have also confirmed the divergence cancelation - studied in the previous section - for the DVPPRT and DY vertices and calculated the 2-impurity DY energy shift which, for the reasons which may or may not have a physical basis, is in so far the closest result to the CFT one given by 2.42. These results were published in our paper [80] and will be repeated in this section as well. 2.4.1 DVPPRT vertex The cubic term in the supercharge and Hamiltionian in the DiVecchia proposal are IQ3>= Iv> IH3>= Iv> Where 1 - v >= e(tt tt)i&1 > ®2 > Ø3> (2.158) wherea1+a2Q3 0 and the Neumann matrices Q are diagonal in the SO(4)xSO(4) indices, which we have suppressed in the above formula. These cubic terms are designed to satisfy the supersymmetry algebra { 2f11E,2H , {Qria2, ,}=2EáiiEa2H (2.159) for the full supercharge and Hamiltonian operators which are defined as the series of string coupling constant, g2, Q=Q+g3g4... , H=H2+g3g4... (2.160) It should also satisfy [Q, H] = 0. We will consider the corrections to the energy of a state of two bosonic oscillators, Ie > > (2.161) Its energy at zeroth order in 92 is H21e >= EoIe> , E0 = 2c(3) = 2n+ 2& (2.162) We will compute the leading correction to this energy coming from string loops. First order perturbation theory vanishes. At second order, the contribution is 62E = —g <H3e> H2 E0 <eIH3 > +g <eIH4e> (2.163) Chapter 2. AdS/CFT and the interacting strings 59 Here, we note that H4 is an operator which can contain either two-string states or four-string states. In (2.163) above, we are using only its two-string part, where one of the strings is incoming, the other outgoing. (2.163) can be written as 2 2 1ö E g(Eo <vie >< ejv> + [< viQ2e >. Q2 <ely> + + <vie > Q2 <eIQv> + < vQe >< Qev >]) (2.164) The intermediate states in the above formula are not automatically level-matched and must be projected onto level-matched states. We will accomplish this by inserting a projec tion operator onto the level-matched states. The operator is 2 d9 P = fl f -— exp (i95N) (2.165) where the level number operators for each string are N(s) = Ti (ota + (s)f(s)) and we have suppressed the SO(4)xSO(4) indices. One might worry that the supersymmetry algebra is only valid once the level matching condition is applied, and we have used it to derive the equation above. It is easy to see that, if level matching is applied earlier, at the derivation of the equation for second order perturbation theory, since both the Hamiltonian H2 and supercharge Q2 commute with the constraint, and the external state e> is automatically level-matched, all steps remain valid and in the end we obtain (2.164) with the operator P inserted in intermediate states. The calculational method of Appendix E can then be used to obtain the full formula for the second order energy shift: — det8(1 + UQUQ) — ia3I/I J 2ir det8(1 — UNUN) • (öitSik [Nu1 - NUNU N] [EONU1 - uNu N + QU1 + QUQU +QQUQU1 + QUQUQN1- UNUNUN]Th +oj [Nu1 - NUNU N] [EONU1 - NUNU N + QQU + UQU +QUQU1 + QUQU QN1 - UNUN UN] -n -n +óiköul [Nu1 - NUNU N] [EONU1 - NUNU N + QU1 + QUQU Chapter 2. AdS/CFT and the interacting strings 60 +QUQU1 + QUQUl - UNUNUN] +6jkóu [Nu1 - NUNU N] [EONU1 - NUNU N + QU1 + Q’UQU +QQUQU1 + QUQUNl - UNUNUN]166) Where N and Q are usual Neumann matrices as defined in the appendix B and U are given by: U = ööpqeW8s r, .s = 1, 2 (2.167) U = 0 r or s = 3 (2.168) 2.166 is a “Master Formula” that holds exactly for the DVPPRT vertex. It is from the specific ways of solving this equation that we obtain particular impurity channels and the limits such as the large 4u limit. The existence of this formula and its potential counterparts for the other vertices could potentially be very useful in investigating the behavior of the channels with the arbitrary number of impurities. 2.166 can also be used to calculate the higher impurity channels more easily then the usual methods like the ones in [80]. We give the 2-impurity calculation here and the 4-impurity one in the Appendix. The two impurity truncation To find the 2-impurity truncation, we keep all terms that are of the second order in the matrix U. Then, integration over the angles just enforces the level-matching condition, which we find more convenient to write explicitly in this case. A useful identity is = 2w,3 — 2n , 3) = —21u&3 In the 2-impurity approximation, we get 2 coöE,. — 4 ç- s—’ sin (nirr) ((n) j- R — l°3I/ L••d L..d (3)2 (r)2 ‘ P fl )r=1 p=—oo W LiJp (3)2n — 2n — 2 169 (p13rfl)4 (p+i3rri)4 (p/3rn)2+/3rn Here, both of the impurities must be on one of the two internal strings and the summation over r = 1, 2 counts the cases where both impurities are on one string or the other string. The sum over p is the sum over the opposite world-sheet momenta of the pair of internal strings. Since the integration measure is symmetric under the replacement r —* 1 — r which interchanges the two internal strings, this sum can be replaced by a factor of 2. Also, note that the first two terms (which arise because of the averaging over n and —n in the master formula) cancel when we change the sign of the summand, p. Chapter 2. AdS/CFT and the interacting strings 61 To perform the sum over p we use the contour integral formula d f(p) = cotirzf(z) p—--OO where the contour C is the sum of infinitesimal circles surrounding the integers on the real axis, z with counter-clockwise orientation. SEr 2 f dz sin4(Inirr) / (r) (3)\4 P’3 IL = k3J/- L 2iK4w)w) + /3rW ) COt lrZ( — 3)2( + 3)2 (2.170) The contour can then be deformed to encircle (with clockwise orientation) the singularities of f(z) and goes to zero sufficiently rapidly at z —* oo that there is no pole there. In our case, f (z) has both pole and cut singularities. The cut singularities are square-root cuts which occur in the linear and cubic terms when the quartic in the numerator is expanded. The poles are double poles. Taking into account the reversal of the orientation of the contour, we get the following contribution from the poles. SEr 4 3 sin4(nIr) + = — [w — 32 r”2 2 cot rz + ... (2.171)IL ‘ (z + /5’r) Z13rfl This is not an approximate expression. The three dots denote contributions from contour integrals around the cuts. It can be shown that the large limit of the cut integrals is smaller than the order of interest, 1/i2 and thus for our considerations, it can be neglected. (Another way to see this is to take the large t limit, keeping the contour fixed. ) The dominant terms in the large t limit are the terms produced by the derivative acting on the cot irz and the 1/(z + ,6rn)2. The result is öEr 4 sin4(InIr) (W+rW)4 1 IL — Ic3i 3 23)wO’) (z + /3rn)2 sin2 irz Z13rfl cotirz +... (2.172) Z—/3rfl Taking the large limit, we get r ______ •2 ______ .3 = 2 2 2 (InIKr) + 3 - 2 2 — sin (nirr) cos(nirr) + ... (2.173)[L 7rlo3IIL lrIaIILrfl In the first term on the right-hand-side, a factor of 7t as well as a minus sign was produced by taking the derivative. The derivative produces an inverse of sin2 which cancels two powers of the sine. In the second term, the derivative of the denominator produces a minus sign (z + /3rn) Chapter 2. AdS/CFT and the interacting strings 62 and a factor of 2. In taking all of the limits, we have assumed that n << !3ita. The final expression should be integrated over r from 0 to 1. The result is: SE2,1 2 1d r(1—r) SEr — 8 (1 11 2174 = g r 2 — K2 32[2 4 + 64ir2n This, however, ignores the channel whereby one impurity is on each string. In that case though, the level-matching condition limits the sum to the zero modes. Therefore the missing part of energy shift will be given by: SE2, = [2NN] [—2( — a)N0N] = = 5cI2z2 [NNp,] [N0N] (2.175) with p and s here being different strings and with factors canceling each other as they do above. Taking the expression for the zero mode Neuman matrix we can write the above in the large t limit as: SE2, — 2 1’ d r(1 — r) —8n2 sin2(nirr)sin2(nir(1 — r)) — —8n2 ( 6 2 176— g2 r 2 Ia322 K4nr(1 — r) — K2I&32 64n2n2 Therefore, the full value of two impurity contribution is: SE2 — SE2,1 SE2, — 8 (1 2 177— + — K232 4 + 642n Which is in keeping with the full 2-impurity result we used in [80]: SEDvIT_._ —(-—+ 5 — 4ir2 24 64qr2n2) 16 ir2 2K) + n2 ( + 1287r2n2) — n2 (32 + 5/2 (2.178) + + 512K2fl2) + n4 (12 + 256K) A’7’2 + Four impurity truncation The result derived from the “master formula” confirms the absence of divergences and agrees with the usual method of calculation. However, this result is still different from the CFT one given in 2.42. We were therefore interested in performing the 4-impurity calculation with hope of either observing some cancelations or perhaps getting closer to the 2.42 result. The details of the 4-impurity calculation (which can also be used as a template for all the higher impurity calculations are given in the appendix E.2. The end result for the 4-impurity truncation is: SE4 1 /1 64 \ = K23 + 64K2n2) (2.179) Chapter 2. AdS/CFT and the interacting strings 63 6E2 .6E4 2 15 57 —+——= 1+• (2.180) j 2JJ2 \24 64ir2nj The conclusion of this calculation is that the 4 impurity channel contributes to the same orders in t as the 2 impurity one, and that it does not lead to any noticeable convergence to the 2.42 result. The skeletal 6-impurity calculation which we do not give in detail in this thesis appears to lead to the same conclusions. Divergence cancelation We have seen explicitly that the DVPPRT vertex does not carry term. The reason for this is once again cancelation of the divergent terms between the H3 and the contact term. This cancelation can be seen exactly in the derivations of 2.166 but it is useful to derive it explicitly in the language of [79]. We did that in [80]: In the language of [79], DVPPRT vertex is given by the following expressions [67], IH) = 92 f([ta3, [K2 + 2 — 4ya12y,2— 4Za1a2Z12]IV>, IQfl,2)= 92 f(, (z12K— iY172K) v>, = g2f(a3, -iZ2KV). (2.181) Unlike the SVPS case, the H3 divergence does not stem from the two-bosonic-impurity intermediate state. This can be traced to the substitution of K2 + K2 for K K in the H3 prefactor. There is, however, another divergence that was not present in the SVPS case. It is due to the contribution coming from matrix elements with two fermionic impurities in the intermediate state. In particular, the relevant matrix elements are given by I i i / I (12t riD\(Y3 n—n \2 \Q1 /p(1) /-—p(1)/3j/32 113 / (3) (i)\ 4g2r (1 — r) (\- + (‘i Nö62 (2.182) and similarly for the intermediate state with dotted indices. The divergent contribution to the energy shift coming from these matrix elements is found by taking the large p limits of the summands. One finds: 6E r’I — f dr gr(l—r) (p33)2 (2.183) The contribution from the contact term stems from the following matrix element, (92 (1 j -1 2I(a1’’E2Iq12)= Chapter 2. AdS/OFT and the interacting strings 64 2 (G? KK + G? K3)N) (uk)62 + 8 G’? (2.184) The divergent contribution to the energy shift is found to be, 5E +fdrg21(NL) (.185) p>0 Noting that in the H? contribution the divergence is found for both positive and negative p, while in the Hj3 contribution the divergence occurs only for negative p, and hence a relative factor of 2 is induced in the H? term, one sees that the logarithmically divergent sums cancel identically between the H? and contact terms, leaving a convergent sum. This result can be generalized to arbitrary impurity channels, as was done for the SVPS case in section 2.3.3 2.4.2 DY vertex Seeing as both the SVPS and DVPPRT vertex satisfy the super-algebra it is to be expected that every linear combination of them will do likewise. We can thus create any number of vertices by taking weighted averages of the two. One of those, namely the one in which weights of the two vertices are equal is of special importance. This was noticed by Dobashi and Yoneya in [71] and we refer the reader to that paper for the exact details of the reasoning. In summary, they claimed that the cubic Hamiltonian ought to only count excitations of the one SO(4) of the SO(4) x SO(4) background, specifically the one that inherits from the geometry of the S5. The reasons for this are subtle and have to do with isolating the contributions of various fields to the three point functions on the CFT side of the duality. The end result was that in order to maintain the AdS/OFT duality the H3 part of the vertex must explicitly break the Z2 symmetry and ignore the contributions from one of the SO(4)s. This is accomplished by taking an average of the Z2-even prefactor of DVPPRT and the Z2-odd prefactor of SVPS. In this way the second SO(4) zero modes cancel-out. The DY vertex is then given by: H) = (H’T)+ HVPS)) (2.186) — - I r)DVPPRT\ ,SVPS “3 /_‘3 /1 “3 Divergence Cancelation The argument from section 2.4.1 can be extended to the DY vertex. More generally it can be extended to any linear combination of the SVPS and DVPPRT vertices. We give this generalization in [80]: An arbitrary combination of the SVPS and DVPPRT vertices: He” = QH +H’ (2.187) QN = QSVPS + 3 QDVPPRT (2.188) Chapter 2. AdS/CFT and the interacting strings 65 similarly yields a finite energy shift. We calculate the mass shift of the trace state. The divergence stemming from the H3 term is simply a2 times the SVPS H3 divergence (2.124) plus /32 times the DVPPRT divergence. The reason is simple - the SVPS divergence stems from an entirely bosonic intermediate state, while (2.183) results from an entirely fermionic one. This precludes any divergences arising from cross-terms. We note that the SVPS divergence is exactly equal to (2.183), therefore we have —(ag + 32) f dr g2 r(1 r) (j33)2 (2.189) The pieces of the SVPS Q relevant to a two-impurity channel calculation are exactly QVPPRT with K .— K, therefore, from (2.126) (92 /r (1 1 (a3aa (a2 (ajIa’E E QDVPPRT)= 2G? ([a + K$3)N) + 4? (KN + K3)N3)] (uk)62 + 4 (4?K + aK)Nn(uK)) (2.190) The last term in (2.190) gives rise to a log-divergent sum, the large-p behaviour of which is +(a2 + /32)11 dr g(i-r) ()2. (2.191) 0 Thus, by the usual arguments , the energy shift is finite for arbitrary a and 3. The DY vertex uses a = 4? = 1/2. Again, as for the DVPPRT vertex, the generalization of these arguments to the impurity non-conserving channels is a straightforward application of the treatment given in section 2.3.3. 2-impurity channel DY energy shift In [80] we reported the results of the calculation of the 2 impurity channel contribution to the energy shift in the case of DY vertex. As it happens it is the closest result thus obtained to the one on the CFT side. While it is possible that this indicates that something is fundamentally “correct” about the DY vertex it bears remembering that the correspondence is still very much inexact and, perhaps more importantly, we have every reason to believe that the higher impurity channels contribute in equal order to the energy shift making every correspondence from a single channel potentially just a numerical coincidence. On the topic of numerical coincidences, we also find that the unjustified factor of two change between H3 and the contact term contributions still improves the result in the DY case making it even more closely aligned to 2.42 The calculations undertaken in [80] are practically identical to those in [70], using the DVPPRT and DY vertices in place of the SVPS vertices used there. The external state for which we are calculating the energy shift is still Chapter 2. AdS/CFT and the interacting strings 66 [9, ij)(ui) = (atioti + — löotkctk) 3). For this particular state, individual 113 and contact terms are not divergent in the two impurity approximation. It should be further noted that for this state, and for the impurity conserving channel, we shall find that use of the DY vertex, rather than the SVPS vertex, is equivalent to making the replacements of the quantities (K, K) as K —* (K + K)/2 and K — (K + K)/2 in the SVPS vertex. This is the simplest way of reproducing our results. The separate 113 and contact term contributions to the energy shift for each of the three vertices are given below. We find that the DY energy shift agrees with gauge theory only at the leading order, while also enjoying the vanishing of the 3/2 and 5/2 powers of A’. The order-A’2 term is of the correct form, but suffers from an overall factor of 4/3. The SVPS and DVPPRT results do not agree with gauge theory at the leading order. By multiplying the contact terms by two (an unjustified operation), one can recover the correct gauge theory result up to A’2 order with the SVPS (including vanishing of its ,\13/2 term) and DY vertices. Further, this operation does not spoil the vanishing 3/2 and 5/2 powers of A’ for the DY result. H3 terms oEPS = [ 15 ,\I +3 (1 + 1) A’312 27A2 — ,2 (_- + A’512 + :2::fl4 ( + 2 (2.192) SEVPPRT = 2 — + 2 2 A’ +3 (- + --- A’3’2 + 2 (1 — A’232ir \3 4ir n ‘sir 2irJ \ 8ir2nj — 5n2(2+3A/5/25fl4(1 21 \ir 4irj \4 32ir n2j \167r 5ir2j + O(A’4)] (2.193) 2 rQ / 1 / 1 \ EDY — g2 ______ A’ 2 ( ‘H3 — L 12 32ir2n2) — k96 256ir2n2) + 4 ( + 10247r2n2) A’3 + n4 (2:6 + 6407r2) A’72 + O(A14)] (2.194) Contact terms öESVPS — g F (1 A’ 3 (1 1 N A’32 2 (1 19 N 2H4 — 327r [ + 87r2n2) — + — — 16ir2n2) A + 2 (11 + --- A’52 + - ( — 105 A’3 — (--- +\41r 8irj 8 \ 8ir2nj \32ir 20KJ Chapter 2. AdS/CFT and the interacting strings 67 + OA’4)] DVPPRT — ZSVPSE U -‘-‘H4 (2.195) (2.196) 35 \ ,25n4 /1 29[n2 ( + 2562n2) A + 8K2n2) A,3 ( + A’712 + O(A’4)] (2.197) g ni 65 = + 642n2) A’ + ( + 89 “ A’2 — n2 / 1 1 A’512- 2(1+) 339 \‘ ______ 59 45 N A’712 + O(A’4)] (2.198)+ n4 ( + 5i222) A’3 + n4 (i6o2 + 256) — 42 “5 1 A2+n1282J / 9 105 \ +4(\—+51222) — _[(+ 35 NI— 4.24 327r2n2) \ n4 79 142 + 4n2 ,2N n4 / 255 \ --A ) + + i67rn) A 1 (2.200) DY ‘ -‘--‘H4 2 42 Energy shifts The results for the complete energy shifts are as follows, 6ESVPS 6EDVPPRT SEDY /1 5 + 64ir2n A’ + + A’3’22ir j — 2 (32 + 21 “ A’512 A’3 + n4 303 + 165 ) A’712 + O(A’.i99)160ir 2567r Recall that the leading 3/4 is irrelevant and can be scaled away by fixing the overall f factor which multiplies the vertices (and which has not been written in the above formulae, where it would appear in each as an overall factor of If!2). We see that the gauge theory result 2.42 is matched only by the DY result, and only at leading order in A’, with the A’2 term being of the correct form but with an overall factor of 4/3. We also see the miraculous absence of the A’312 and A’512 terms which are clearly generic in the string field theory. The result (2.200) represents the best matching of this quantity to gauge theory so far, and thus is an indication that the DY vertex is an improvement over its predecessors. Mysteriously, if the contact terms are scaled by a factor of 2, the agreement with gauge theory is enhanced for both the SVPS and DY results, Chapter 2. AdS/CFT and the interacting strings 68 2 / ‘ \/ 2 \ 2SESVPS — + I (;‘ ‘2 + ‘‘__i5/2 2H4 — 42 \.12 32ir2ri2) 2 ) 16ir2 + 4 ( + 2561r2n2) — + (2.201) 2Q /1 \/ 2 \ /7 6EDY — g2 .-, ( .J’J I I )L’ fl )I2 4 1 “2H4 iJ 32irn} 2 ) ‘ 288 7682n2) + (_1 + + (4) (2.202)\107r2 327rJ however, the DY result is still superior in that the ),/5/2 power is absent. 2.5 Conclusion The string field theory program is very ambitious. In the best case scenario it could provide one of the most important remaining confirmations of the AdS/CFT duality - one that has to do with the interacting strings and non-planar limit of the CFT. In attempting to pursue this program, however, we have encountered a number of important obstacles. Perhaps most importantly we still do not have any reason for setting Q4 to zero and therefore may well be missing a fundamental factor in our calculations. There is currently no obvious way to address this issue. Secondly, in the aftermath of our own work we are facing an unpalatable result which would have intermediate states of arbitrary energy contribute equally to the energy shift. Our proof of divergence cancelations removed the a-priori reasoning used in excluding them and the explicit calculations of the 4 and 6 impurity contributions for the case of DVPPRT vertex confirmed their existence at all relevant orders in )‘. This is a difficult problem but one that can possibly be tackled. Constructing a DY version of “master formula” 2.166 that enables us to work formally in all impurities, and working to develop a way of manipulating the inverse matrix products such as the ones that appear in that formula, is a possible line of approach. This author is quite interested in continuing that line of research. The fact that, despite these serious problems, forms of the stringy result still closely resemble 2.42 is both tantalizing and fascinating. Chapter 3. Orbifolding and the discrete light-cone quantization 69 Chapter 3 Orbifolding and the discrete light-cone quantization There are a number of interesting modifications to the pp-wave/BMN limit. Most broadly, it is possible to investigate what happens as one goes to higher orders in the original coupling constant ). = g thus going beyond the strict pp-wave limit. This was done by Callan and collaborators and published in [44] as well as by a number of other authors [40—44]. Equally interesting is a change of geometry of the background space in the string theory whereby some of the dimensions get orbifolded by the periodic identification. Early work in this direction is due to Takayanagi and Terashima [82] and Mukhi, Rangamani and Verlinde [83] and was followed by extensive efforts including [73] and our work in [85]. The important point about orbifolding is that it, if it is done in particular directions, leads to discrete light-cone gauge quantization of the string and to changes to the level-matching conditions. One of the consequences of this is that the string field theory calculations of the sort discussed in the Chapter 2. become somewhat easier. Starting from the observations of [83] where the gauge theory analogous to the orbifolded strings is described, De Risi, Grignani, Orselli and Semenoff calculate the generalizations of the double expansion energy shift formula 2.42 to the DLCQ case for various values of the total string momentum. As part of our string field theory research we performed string theoretic analogues of that calculation. The results, published in [81] suffer from most of the problems already discussed with regards to the string field theory calculations, but the methods employed may well prove valuable in later attempts to resolve those issues. We will discuss those methods and results in the following sections. Another interesting result is that the DLCQ inducing orbifolding is an inevitable result of imposing the “magnon boundary condition” on the string, which is necessary for finding the string theoretic equivalents of a “single magnon” multiplet in CFT theory. This connection was the main result of [85]. In the last section of this chapter we will discuss the relationship between the magnon multiplet and the single impurity string multiplet in and near the pp-wave limit. Chapter 3. Orbifolding and the discrete light-cone quantization 70 3.1 Orbifolding and the BMN limit 3.1.1 String theory on the pp-wave orbifold We can take the plane-wave limit of the orbifold of the AdS5 x S5. We begin from the metric given by [83]: ds2 = R2 — cosh2p dt2 + dp2 + sinh2 pd + da2 +sin2adO + cos2a (d72+cos27dX +sin2d2)] , (3.1) Here, the first line is the AdS metric in global coordinates and the second is the 55 metric embedded in the 6-dimensional space. If we want the metric to be orbifolded we treat it as AdS5 x Ss/ZM where ZM is contained in the same 6-dimensional space as 55. Somewhat different form of the metric was used here from that in 2.1 in order to emphasise the period icities of the AdS5 and S5. The coordinate frame given here is also one in which orbifolding is most natural. It is a simple exercise to perform the coordinate transformations relating 2.1 to 3.1 We identify the scalar fields acted on by the orbifold group with the coordinates of this space. At this point, all the directions of the embedding space are equivalent so our labeling is arbitrary. However, we will soon be focusing on a plane-wave limit of the AdS5 x S5 at which point one direction will be singled out as a light-cone direction. It will then become important whether this direction was chosen for orbifolding or not. Throughout, we will point to the consequences of those two possible choices. Picking two’ arbitrarily labeled angles we can then write the periodicity condition for the orbifolded 55: x—*x+, -*ç—. (3.2) We now take a pp-wave limit. As stated above, we can choose whether the light-cone direction will have orbifolded periodicity (light-cone in the direction of x or q) or not (light-cone in the direction of 8). The main consequence of this choice will be whether or not the x coordinate ends up being quantized and therefore whether the end theory is quantized with DLCQ or with the regular light cone gauge quantization. The choice, however, does not affect the number of supersymmetries in the near pp-wave limit as we shall show later. As we are interested mostly in the DLCQ case, we proceed with taking limit with the light cone in the direction of x It will be relatively easy to follow what happens in the alternative case. Still following [83] we introduce new coordinates: r=pR, w=aR, y=7R. (3.3) 1t turns out not to be possible to orbifold just one direction and end up with a supersymmetric theory, the gauge theory discussion will provide some indication as to why this is the case Chapter 3. Orbifolding and the discrete light-cone quantization 71 however, seeing as we will be interested in near-pp wave limit and want to avoid periodicity in x+ we choose slightly different light-cone coordinates then usual: — t, x = (t — x) (3.4) Making the substitutions the metric (3.1) becomes ds2 = R2 [ — cosh2 (dxj2+ + sinh2 d2 +- + sin2 d62 + cos2 ( + cos2 (dx+ — dx_) + sin2 d2)] (35) In the limit R —* 00 the metric reduces to ds2 = —4dxdx — (r2 + w2 + y2) dx2 + dr2 +r2d+ dw2 + w2d0 + dy2 +y2db (3.6) which is the standard pp-wave metric. To see that, we make substitions: = cose, 6 = wshi8 (3.7) = y cos q5, x8 = y sin q (3.8) And similar for the x1 through x4 from r and angles. The metric can then be written as usual: ds2 = —4dxdx — (x)2dx2 + 8 dx2, (3.9) It is important to note here, that we are interested in the near-pp wave limit and should therefore be keeping the next order in as well. However, a detailed analysis shows that for the purposes of analyzing the effects of orbifold on the spectrum of one impurity states and supersymmetries higher orders in the metric and the subsequent corrections to the action and Hamiltonian do not contribute and that the only relevant contribution to the order will come from orbifold identifications. To establish this we have re-done all the near-pp wave limit calculations, originally done in [44], but with the orbifolding condition imposed. Looking at the periodicity equations coming from the orbifolding 3.2 and the definitions of the pp-wave coordinates, we can see first of all that the light cone gauge coordinate x acquires periodicity condition: irR2 x —*x+-j- (3.10) R2, the radius of AdS5 and S5, is given by: R2 = 4q-g8/2NM (3.11) where MN is the total number of units of 5-form flux through the 5-sphere with M being the number of copies of fundamental domain that are identified by the orbifold group and Chapter 3. Orbifolding and the discrete light-cone quantization 72 N the number of flux units per fundamental domain. The rules of the Penrose limit taken, demand that R2 be made large by scaling both N and M to infinity while keeping g3 small but finite. Also, the ratio is kept fixed and finite so a finite quantity can be defined: R = (3.12) It can be seen therefore, that even in the full pp-wave limit the null direction becomes periodic, resulting in the light-cone momentum 2p being quantized in the units of . This is exactly the discrete light-cone gauge quantization (DLCQ) which will lead to the introduction of wrapped states and a change of the level-matching condition in comparison to the standard pp-wave string theory and ultimately to the introduction of the central extension into the superalgebra. All this has been discussed, elsewhere in our work, as well as in [73]. Discrete light-cone quantization of the string on the pp-wave background is a slight generalization of [36]. One component of the light-cone momentum is quantized as 2p=— , k=1,2,3,... (3.13) The other component is the light-cone-gauge Hamiltonian, = ,/4n2(R_)2 (8 + Ji + 47rg3Nn2 (3.14) where c, a and ,6t are the annihilation and creation operators for the discrete bosonic and fermionic transverse oscillations of the string, respectively. They obey the (anti-) com mutation relation F iti — 6ij faa — 3 15 — nini , V’ni’t’niJ — In the last line of 3.14 we have written the compactification radius in terms of string back ground parameters. There are also wrapped states. If the total number of times that the closed string wraps the compact null direction is m, the level-matching condition is km = n (8 + , (3.16) The states of the string are characterized by their discrete light-cone momentum k and their wrapping number m. The lowest energy state in a given sector is the string sigma model vacuum, 1k, m) which obeys Ik,m)=O=/3Ik,m) , Vn,i,a Chapter 3. Orbifolding and the discrete light-cone quantization 73 Other string states are built from the vacuum by acting with transverse oscillators, fl fi 13a;,lt k,m) (3.17) ji j’=i The level matching condition reads n+n’=km. (3.18) j=1 j’=i There is, however, one more simultaneous periodicity condition for the bosonic variables. Namely, one coming from the periodicity of . One way to express it simply is to do the following change of variables: z’=x’+ix2,z2—x3+i4 (3.19) y1 = x5 + ix6, y2 = x7 + ix8 (3.20) which explicitly shows the breaking of the S0(8) symmetry into S0(4) x 80(4) with the first 50(4) coordinates (z) being descendent from the coordinates of the AdS5 and (y)s - the second 50(4) - coming from the S5. The orbifolding periodicity condition is then simply: 2iiw —2iriw lI2 —* e7vTy, 112 —* e M Y2 (3.21) If we chose the light-cone to be in non-orbifolded direction, we do not get the DLCQ quantization but we obtain the same periodicity condition on Yi as we do on Y2 It should be noted that contrary to the light-cone direction periodicity, these periodicity conditions are of the order and therefore are not present in the full pp-wave limit. However, it is the contribution from them that will cause energy splitting and the change in the number of supersymmetries that occurs in the near pp-wave limit. Fermionic fields also acquire periodicity from the orbifolding. The superstring on the pp-wave is described by the 8 worldsheet scalars and 8 worldsheet fermions which are free and massive. Bosonic fields are described by the functions y and z1 as a representation of S0(4)1x 80(4)2. Fermionic fields will likewise be a representation of those, with the first and second spinorial indices transformining under S0(4) and 80(4)2 respectively. The dot on the spinorial index represents the splitting of the S0(4) into SU(2) x SU(2) as per the Appendix A. The orbifold transformation will always affect exactly one half of the fermionic fields. This can be seen from the index analysis of bosons in the spinorial representation (once again, using the conventions of the Appendix A) or more generally, by analysis of the breaking of the 80(4)2 under the orbifold group. Half of the fermionic fields affected will split into quarters, each consisting of a pair of 2ir 2ir, , .fields and those pairs will acquire J’ —* e M i,L’ and L’ —+ e M b periodicities respectively. Which fermionic fields end up acquiring the periodicity ends up depending on the choice of the orbifolding direction. Chapter 3. Orbifolding and the discrete light-cone quantization 74 We will argue that in the DLCQ case two pairs of fermionic fields will have different chiralities and will therefore be from the different SU(2)s: 27riw _7yj a112 eMTh1aii, I’a122 —+ e M (3.22) /122 122, 1i2 —+ ‘/112 (3.23) To see that this is necessarily the case, consider the following argument: The effect of orbifolding on the SO(4)2 will depend on the directions on the original SO(6) being orbifolded. There is exactly three distinct choices there. Either the orbifolding directions will be two transverse directions (one option) or they will be a light-cone direction and one of the transverse directions (two options). Assuming that one fermionic pair affected by orbifolding belongs to an arbitrary SU(2) the other pair will then either belong to the same SU(2) (one option because two pairs would constitute entire SU(2)) or to the other SU(2) (two options). This “singlet” and “doublet” are theories with physically distinct symmetries and must match each other between the two cases. The conclusion is that the periodicity conditions on the fermions differ, depending on whether or not we orbifold along the light-cone direction, even though no fermionic field “disappears” out of the action in the fashion of x+ and x. This argument will become even more clear when we write down explicit orbifold trans formations in the gauge theory case. The periodicity of the DLCQ fermions is the one given above in 3.22 and 3.23 whereas the other case of orbifolding in two transverse directions yields: 2,rjw?/1j2 eT12 l122 —p e M (3.24) 112 “ /ai12, ‘hIlIt22 L’aj22 (3.25) The results 3.22, 3.23, 3.24 and 3.25 can also be obtained in rigorous but not particularly illuminating fashion by index analysis starting from the bosonic results. We will return to the Hamiltonian and the super-charges of this theory later in the context of the near-pp-wave limit. 3.1.2 .N = 2 gauge theory Most of the treatment in this subsection follows closely that in [73]. The dual gauge theory is constructed by replacing the N’ coincident branes of the original U(N’) gauge theory with N coincident branes located at the C3/ZM orbifold point. In this new theory we can therefore talk about M copies of N branes. This breaks the gauge group in the following way: U(NM) — U(N)’) x U(N)2) x . . . U(N)(M). (3.26) Chapter 3. Orbifolding and the discrete light-cone quantization 75 U(N)(M+l) is identified with U(N)(1). The orbifold group will be the cyclic group ZM whose generator -y acts on the six scalar fields of N = 4 theory as (q’+i2 qS3+iq4ç5+i6’\ ( ‘+i2 _13+4q5+iq6’\ -v I I = I W w I W = e M •\f’f’/) ‘\ /‘ (3.27) If we want to express the orbifolding in terms of the R-symmetry we can assemble the scalar fields into the anti-symmetric bi-spinor 0 p2c°3 coab = —ço 0 (3.28) —ç02 S03 0 cp 3 S02 — 0 which transforms as __ FT aTT b’ Pab “ 1—ia -‘& Pa’b’ under the SU(4) R-symmetry and which satisfies the self-dual constraint ab = abcd (3.30) This constraint ensures that Zab abcc,, = çojçoj is invariant. In the same basis, the four Weyl spinors transform as —a —a’ taXoa Ua Xca’ , X, Xa Uai (3.31) The orbifold transformation is implemented with 100 0 010 0 Uorb = 0 0 w 0 (3.32) 0 0 0 w1 The U(l) symmetry corresponding to the conserved charge J is implemented by e°2 0 0 0 0 e012 0 0Uj = 0 0 e012 0 (3.33) 0 0 0 e912 The four Weyl supercharges transform in the conjugate representation. They are schemati cally like Qa ab Q = (3.34) If Xa, Qa transform like a 4, a, Q transform like 4. The orbifold projection is the constraint UorbQQ , QUrb=Q which will set Q, Q r- 0 and Q, Q 0. In this way the N = 4 supersymmetry will be reduced to N = 2 supersymmetry with eight supercharges Qi, Q2, Q’, Q2. Importantly, however, in the double scaling limit BMN limit M —* oc and so w —* 1 and the N = 4 supersymmetry reappears. Chapter 3. Orbifolding and the discrete light-cone quantization 76 3.1.3 Duality Following the treatment of BMN we identify the energy in the string theory with the con formal dimension of the operators in the gauge theory. Likewise, we would like to identify the J angular momentum with the charge under under SO(6) R-symmetry. With the R-symmetry broken, however, where there was one angular momentum J, now there are two angular momenta [83]: J=—-(—a), J’=—(a+8) (3.35) of which J’ generates U(1) group which is in the remaining SU(2) of the R-symmetry. There is also U(1) generated by J whose eigenvalues are integer multiples of M. Light-cone momenta are then expressed as 2p =i(a+a)=z.—MJ—J’ + . (0 — L + MJ + J’ (3.36)2p=’i R2 = R2 It is useful to label the scalar fields of the gauge theory as: A1 +i2), B1 = +i4), = +i6). (3.37) Where the fields are N x N matrix blocks and the index I = 1... M refers to the corresponding gauge group. The charges of the A1, B1, and 4? fields are [83]: L MJ J’ A1 1 1/2 1/2 B1 1 —1/2 1/2 I 1 0 0 With a similar table for the super-partners being given in full in [83]. In analogy with the BMN case, we would like to take z and MJ + J’ to infinity as R2, while keeping their difference finite. The desired operators are long chains of Aj’s (for which L — (MJ + J’) = 0), with insertions of ,, B1,B1 as the fundamental impurities which have Li = 1 while having MJ + J’ = 0. The other 80(4) impurities are constructed via insertions of derivatives of the A1. In order that the operator be gauge invariant, the product must be over all M copies of S0(N). The vacuum is then given by: Ik= 1,m=0) (AlA2...AM) (3.38) where for the string vacuum we must have m = 0 (a string must exist in order to wrap a direction). For general k, the operator is Chapter 3. Orbifolding and the discrete light-cone quantization 77 k, m = 0) ((A1A2.. . AM)k) (3.39) so that k copies of the string A1. . . Apq2 are traced, over. Adding impurities we see a novel feature as compared to the standard BMN picture. Consider the addition of a single impurity to the operator (3.38) kM (at + ia) k, m) -* e2M) Tr (A1. . .A1_1 . . AM (A1 . . . AM)k_1) (3.40) We have superposed over positions at which the impurity could be inserted. The momentum in the insertion n coincides with the world-sheet momentum of the oscillator state. The level matching condition comes from realizing that the actual periodicity of the operator is I —* I + M, rather than I —* I + kM, which the plane waves anticipate. This requires that n = km, where m is an integer; this is the level matching condition. The integer m is identified with the wrapping number of the world-sheet on the compact coordinate. In [73], the DLCQ analogue of (2.42) was computed for one and two-impurity operators built upon k = 1,2, and 3 vacuua. The couplings A’ and g2 may be expressed in terms of N, M, and k 1 gN — 2R_ — R2 gy V N (a’p+)2 — k2M (3.41) 2 ‘+2 k2M g2=gYM(ap = N where t has been scaled out of the metric. The results of [73] may be summarized as follows. 1. The single oscillator state is no longer a protected operator. Its dimension should get radiative corrections beyond the tree level in Yang-Mills theory, even for planar diagrams. In fact, it must get such corrections if it is to match the string spectrum, = V/i + gNn2 (3.42) for planar diagrams. It produces this spectrum to one order in However, the op erator is quasi-protected in that, in the double scaling limit, all non-planar corrections to (3.42) vanish. Yang-Mills computation predicts that the spectrum of this state in string theory does not receive string loop corrections. 2. String states with one unit of light cone momentum and any number of oscillators are free states in that they do not get string loop corrections. 3. For string states with two units of light cone momentum and two impurities there are two possibilities: states for which both the world-sheet momenta are integer multiples Chapter 3. Orbifolding and the discrete light-cone quantization 78 of k = 2, namely are even, have a free spectrum; states for which both the world-sheet momenta are odd get only the one string loop correction given by: —N2JJ’= (24(n+n)A’+...) n1,n2 odd (343)2 n,n2 even which truncates at O(g). The states with even-odd world-sheet momenta are excluded by level matching. 4. String states with three units of light cone momentum and two impurities for which both the world-sheet momenta are integer multiples of k = 3, have a free spectrum. k = 3 states for which both the world-sheet momenta are not integer multiples of 3 get computable corrections to all orders: —N2J—J’= (2+(n+n’÷...) gA’ 6 / / . /lrfl1\ flrfl2\ . /lrfl2\\ (3.44) + 1+ (cos(—)sinI-———)—cos(———Jsin(——-— 16ir2 ir(flifl2)\ \3/ \3 3 +... where all non-planar corrections (not just the leading term shown) vanish for n1,n2 multiples of three. 3.2 String field theory on pp-wave orbifold The construction of the string field theory in the DLCQ case is parallel to the construction in the regular light-cone gauge, with two obvious but important distinctions. Firstly, mo mentum p+ is quantized and secondly the new level-matching conditions take effect that, among other things, allow single impurity states to exist. Quantization of the momentum imposes several constraints on the energy shift that correspond to the results of the previous section. 1. Every Neumann matrix with a “leg” on an external string carries the term proportional to sin(1) where k is the momentum of the external string. This means that the states with mode numbers which are a integer multiples of the external k will always have zero non-planar corrections. This corresponds to result 1. from the previous section and also explains riders on the results 3. and 4.. 2. k 1 string can not split because, by conservation of momentum, there is no lower momentum number for it to split into. It will therefore be described solely by the non-interacting string / plane level diagrams regardless of the number of impurities. This corresponds to result 2. from the previous section. Chapter 3. Orbifolding and the discrete light-cone quantization 79 To calculate the actual energy-shift we apply exactly the same methods as in the regular light-cone gauge with the exception of the integral over p being replaced by a sum. The results quoted here were calculated by our group after our work on [79] and [80] and were first published in [81]. 3.2.1 k = 2 Impurity-conserving mass-shift The mode numbers of the external [9, 1]) state have distinct, odd values n1 and n2 satisfying n1 + fl2 = 2m (3.45) where m is the external wrapping number. For the impurity-conserving channel, we may either place the two intermediate-state impurities on the same string (string #1), or one on each string. In the former case string #2 is in its vacuum state and necessarily has wrapping number m2 = 0. The level-matching condition for the excited string gives q1 +q2 = m1, where q are the internal mode numbers; conservation of wrapping number then gives m1 = m. In the latter case we have q1 = m1, and q2 = m2 while m1 + m2 m. Thus the two choices for the distribution of intermediate state impurities are indistinguishable, both leading to the same condition which is introduced into the amplitudes via the factor öqi,mq2 where m = (n1 +n2)/2 E Z. We begin with the SVPS result for the 113 term 3EPS = r(1 r) [() (2)2 +L1N ri r2 ql q2 + L1L1N1q2N2q + L1L2‘Vfl1 q (3.46) a36q1,m—q2 1 + (n1 .‘ n2)Wn1 + Wn2 — i3 Wq1 — /3;:; Wq2 where now instead of an integration over a continuous r E [0, 1], r is fixed at 1/2. The result is (oES)k2 = 16ir2 [8 (- + — (n + n) + A’512 (3.47) — - ((n + n) + A’52 +... The contact term contribution is as follows 6EPS - (Gqj)2(n2+K12(Gqi)2Nmiq2n]q1,m-q2 rj r2 q q +(n1 €—* n2) (3.48) Chapter 3. Orbifolding and the discrete light-cone quantization 80 giving ___ +fl2 / 1 +(6E)k + (n1 2 2)j= 16ir2 [ (1 i +2(nj+n) - 4 1 /23 2 - 2(n-bn 1 /13 (3.49) Combining the results we find g2 ________ +fl2 /1 (6E55)k_2 = 162 [A’ + (fh 2 + 2)J i+n2+(+)(1+1))A12 - 4 — 2 + — ((n +n)+ + (n+n)+f12))AI5/2 +...]. (n+n 1 (3.50) This result does display a leading agreement with the gauge theory result (3.43). However, it also suffers maximally from half-integer powers of A’. We will see that the DY vertex will do better, in analogy with the standard case. First, we present the results for the DVPPRT vertex. The expression for the H3 term is 2 2 (j3 r2 + Zr r j3 r2 j3 rlETPPRT — 2 i2 ) fl2 q2) fli qi flj q2 fl2 q2 fl2 qi — r(1—r)64c$ rl r2 qi q2 ± Z3n1 Z3n1 3r2 j3r2 ± Z’’ Z3r2 N3r2 1fl2 qi ni qi ni q2 fl2 q2 fl2 qi ii q2 fli q2 ni qi j 3 öq1,m_q 1 + (n1 n2)x __ + Wn2 —!3rqi Wq2 (3.51) with result g2 (EIPPRT)k2 = 162 [_2A’ +8 ( + A’2 + (n + n)A’2 — ((n + n) + 12)A’512 — 1 ((n + n) — 12)A’5’2 +...] (3.52) Chapter 3. Orbifolding and the discrete light-cone quantization 81 while the contact term gives _____ 2 I3r2 2 3r2 3r2 1 6SEPPRT — — a’ [(K1)2 (Gq1) n2q2) + K12(Gqj)2 qi ,m—q — 16cr3 3rlr2qlq2 nlq2 fl22j +(n1 —* n2) (3.53) with result T g2 — In1 + 2 A’312(6E’ )k=2 167r2[ 2 +4 2+2)) (n+n 1 1 — _2(fl+n)(+))A’2 1 /23 +(+ (fl+fl+fl2fl1) (3.54) Combining these results we obtain the mass-shift for the DVPPRT vertex (6EDVPT)k_2= A — 11 + n2 16ir2 L 2 ( + A’3’22ir / j 1 + ((n+n+2(n1+n2) +( +n 1 /29 2 2)+n2i) — +n) —n12))A1512 + .1 /53 ___ —— —(n’+n2 it 8 (3.55) which fails to agree with the gauge theory result even at the leading order, as the sign is incorrect. Finally, we compute the extra cross-terms required to assemble the DY result. The H3 cross-term is given by 6EV =2(H?vlTIe)(eIHrPs) = ZE 2 g a’2 Z3n1 L3r (3r2 2 + Z3n1 L3r2 j3r2 j3ri ri r2 qI q2 [r(1 — r) 32a njqi nqi n2q2) njqj niq2 n2q2 n2ql I Z3’’ L3 3r2 3r2 + Z3n1 L3T2 j3r2 3ri 1 n2ql niqi nlq2 n2q2 n2ql nIq2 nlq2 fl21j —cr3_6q1,m—q2 __ Wni + Wn2 Wq1 — Wq2 + (ni “ n2) (3.56) Chapter 3. Orbifolding and the discrete light-cone quantization 82 resulting in (oEV)k2 = 162 [8A’ — 16 ( + A’ — 4(n + n)A’2 + (n + n) + +(n+n)A!2+...]. (3.57) The contact cross-term is given by SEV = l(QDvPPRTe>(eIQsvPs) = — [KniK_ni (Gqi)2 (3T2)2 +K1_2(Gq1)2N2] + (ni “ n2) ri r2 qi q2 (3.58) with result (oEV)k2 = 16Tr2 [_2A’ +8 ( + + (n+n)A’2 _( fl+fl)+fl2fl1) + (n+n+nln2))A15/2+...]. (3.59) Assembling the final result 6EDY =(6EDVPPRT + 5E-1+6E55)/4, we find (6EDY)k2 = 1622 [A! — n + n,2 — (n1 +n2)(+ A5/2 + . ..] (3.60) This result matches the leading order gauge theory result (3.43) if we re-scale the unde termined function f (appearing in front of the vertices) by The result is superior to the SVPS result (3.50) as it does not contain the 3/2’s power of A’. It would be interest ing to know whether the A’2 term also agrees with gauge theory, however the gauge theory computation of this term has yet to be done. 3.2.2 k = 3 Impurity-conserving mass-shift For the k = 3 string, the splitting and level-matching are more involved. There are two distinct cases, the first is when string #1 has k1 = 1. We can then distribute the two Chapter 3. Orbifolding and the discrete light-cone quantization 83 intermediate state impurities both on string #1, both on string #2, or one impurity per string (of which there are two equivalent configurations). The next case is when the assignments of light-cone momenta are reversed, so that string #1 has k1 = 2 (and so string #2 has k2 = 1). This just counts the k1 = 1 case again, leading to a factor of two. The level-matching is therefore achieved via the insertion of the following operator r = , 2 (SrI16r21öqim_q + + 26n11ör22Sql,(m_ql)) (3.61) where the intermediate-state impurities have mode-number/string label configurations (qi, ri) and (q2,r2), and m = (ri1 +n2)/3 E Z is the external state winding number while n1 and n2 are integers and not multiples of three. The expressions given for the k = 2 case in the previous subsection are equally valid here, however with the replacement of the k = 2 delta function with (3.61). The results are difficult to obtain for high order in A’, and so we present leading order results only. Since the calculations are straightforward, we will be brief and simply state the results (SEs\s) = ‘ + 9 [cos (9’) sin (9’) — cos (9’) sin (9’)] +... (3.62)k=3 16ir2 2 lr(ni — n2) (6EDVPPRT) = g2 —1 + 3 [cos (9-’) sin (9’) — cos (9’) sin (9’)] +... (3.63)k3 16ir2 2 ir(ni — n2) (6EDY) — = gA’ 1 + [cos (9’) sin (91) — cos (9’) sin (s)] •• (3.64)k—3 167r2 2 2 ir(ni — ri2) Comparing with the gauge theory result (3.44), we see that although the dependence on the external mode numbers is of the correct form, the coefficient of the second term is not matched by any of the vertices. Further, the first term of the DVPPRT does not match on account of the sign. 3.2.3 4 impurity channel for the k=2 The relative simplicity of the DLCQ calculations also makes it possible for the “standard” method calculations to be carried to the four impurity channel. The principal simplifications have to do with the fact that the k = 2 string splits necessarily into two k = 1 strings. Unfortunately the calculation still leads to an integral: — gA’ [°° [°° (At + A) A [AAt — AA]5E1 — dq1 dq3 (3.65) l6ir j_, j, q1wc..’34(1 — — — w4) where _______ (3.66) Chapter 3. Orbifolding and the discrete light-cone quantization 84 which is not analytically solvable. Our collaborator D. Young solved this integral numerically and the results are presented in [81]. His results confirm the higher-impurity behavior that we have observed in the master- formula 2.166 calculations for the DVPPRT vertex and generalize them to SVPS and DY indices. Specifically, there is still a contribution to all orders in A, no miraculous cancelations are taking place and the added results are still functionally same but numerically different from the gauge theory ones. 3.3 Giant magnon and the single impurity multiplet It is possible to draw a parallel between the string theory on the orbifold and the so called “giant magnon” states in the CFT. This was noticed in [86] and [87] and in particular in [84]. A strong version of the statement was made in our paper [85]. In this section we follow [84] to provide the context and background and then state results of our work as published in [85]. 3.3.1 Giant magnon in AdS/CFT The term “magnon” comes from solid state physics and refers to the collective excitation of the electron’s spin structure in a crystal lattice. In the CFT context it refers to an impurity in the chain of Z fields in the large J limit. The name is chosen because the problem of diagonalizing the planar Hamiltionian can be reduced to a type of spin-chain. The large J limit that we are interested in here is defined by: J — oo, A=g2N=tfixed (3.67) p = fixed, E—J=fixed (3.68) This differs from the BMN/plane wave limit in two ways. First, here we are keeping A fixed, while in BMN it was taken to infinity. Secondly, here we are keeping p fixed, while in BMN n = pJ was kept fixed. The reason this limit is of interest in the first place is that it decouples the quantum effects which are governed by the A from the finite effects governed by J. This distinction persists even after we eventually take the large A limit. Despite stated differences with BMN limit we proceed in a similar fashion as there by studying the states with finite E — J. The state with E — J = 0 corresponds to a long chain (or string) of Zs, namely to the operator Tr [Z]. We can also consider a finite number of other fields W that propagate along this chain of Zs. In other words we consider operators of the form 07, . . ZZZWZZZ...) (3.69) where the “magnon” field W is inserted at position 1 along the chain. Using supersymmetry, Beisert has shown [90] that these excitations have a dispersion relation of the form: E—J= V+sin2 (3.70) Chapter 3. Orbifolding and the discrete light-cone quantization 85 Note that the periodicity in p comes from the discreteness of the spin chain. The large ‘tHooft coupling limit of this result is E—J=z sin (3.71) 3.71 is a strong coupling result and we therefore expect it to have a dual in the perturbative regime of the string theory. Hofman and Maldacena in [84] determine the conditions needed to recover the 3.71 result in the string theory using the usual strings in AdS5 x S5. They show that the strings corresponding to the “giant” magnon (which is to say a magnon on a long chain of Zs) will be a closed string with an open boundary condition, where the azimuth angle spanned by the two ends of the string corresponds to Pmag with the side result of introducing the central charges to the super-algebra that matched ones noticed by Beisert [90]. [86] argued that the open boundary condition led to a modification of the level-matching condition and gauge parameter dependence of the spectrum was a result. In [87] it was suggested that the single magnon is well-defined as the twisted state of a closed string on an orbifold — where the orbifold group acts in such a way that it identifies the ends of the string, resulting in a legitimate state of closed string theory. In [85] we took this reasoning a bit further. 3.3.2 Magnon boundary conditions and the orbifold The main observation of [85] was that if we consider the single magnon state in the Type JIB string theory, with the boundary condition that the string is open in the direction of magnon motion, we are inevitably led to an orbifold. To get the gist of our argument, consider the following (drastically oversimplified) ex ample of the closed bosonic string on fiat Minkowski spacetime where we legislate that one of the string coordinates is not periodic, but obeys the “magnon” boundary condition X’(T,cr 2ir) = X’(r,O) +Pmag and all other variables, including 8X’(r,o) are periodic. Then, a solution of the worldsheet equation of motion (ô — 8) X’ = 0 with the appropri ate boundary condition is [4] X’ = x’ + c’p1T + Pmag + oscillators. One of the Virasoro constraints is the level matching condition L0 — L0 0 which takes the form N_N+p1=0 (3.72) 2n- where N = c.cr and N = n.n• Since the spectra of the operators N and N are integers, there is no solution of the level-matching condition unlessP1mag = 2ir• integer, i.e. the momentum p’ is quantized in units of integer.2ir/pmag. This is identical to (and indistinguishable from) the situation where the dimension X1 is compactified with radius R = itr and where we consider a wrapped string with fixed momentum which is then quantized in units of . We see that the magnon boundary condition leads us to string theory on a simple orbifold, a periodic identification of the direction in which the magnon boundary condition was taken. We shall observe a similar fact for the more complicated case of a single magnon on the AdS5 x S background. Chapter 3. Orbifolding and the discrete light-cone quantization 86 The reverse of the above argument is a simple exercise in T-duality, applied to the string sigma model in a direction where the space is not identified. The T-dual of a string with momentum p is one which is no longer closed, but has the magnon boundary condition. The original giant magnon of [84] is a solition solution of a bosonic Type IIB sigma model on AdS5 x S. We can write the Lagrangian of this theory: {_ ( )2aaToaT+ (1Z2)OaZ.ãaZ + 2 + 2 a} (3.73) supplemented by Virasoro constraints. The eight fields and transform as 4-vectors under SO(4) x SO(4) - SU(2)4. We will impose the magnon boundary condition on the angle coordinate x(T, a = 27r) x(T, a = 0) + Pmag (3.74) If xQr, a) = (r, a) + pmaga/27r with periodic, £[T, = £[T, i - (() + ( (375) The effect of the magnon boundary condition is to add terms to the action. These, as well as similar terms which appear in the Virasoro constraints, will break some of the (super )symmetries of the background. The last term in 3.75 has the symmetries SU(2)2x SU(2)2x R2 where the R2 are translations ofT and . The bosonic part of the level-matching condition is o = da {HTT’ + HZ’ + ll’ + llyY’} + Pmag (3.76) where H 8.1/OXI are the canonical momenta conjugate to coordinates X and the charge J is the generator of translations of , x — x + const. 2ir 2ir / y2\2 4J = f da11 = Y f da 2 ) x (3.77)K Since x x + 2K, the eigenvalues of J must be integers.2 Furthermore, being generators of translations of the worldsheet cr-argument of the fields, and the fields involved being periodic in a, the first four terms in (3.76) must be integers plus a possible constant.3 Since 2When fermions are included, they could be half-integers. 3Consider the operator which has the property [, ço(o•)) i4,(o-). Consider eigenstates Ic > and a’ > where Ia >= ala>. If < a’I(o)la >=< a’le(O)e1la>= ea’) <a’lç(O)lcr >, the matrix element obeys <a’i(o)la >=< a’(o + 2ir)Icr> only when a — a’ = integers. The eigenvalues are equal to integers plus a constant which is common to all eigenvalues. If, there is a reflection symmetry o —f 2ir — u under which —> —, the constant must be either an integer or half-integer. Chapter 3. Orbifolding and the discrete light-cone quantization 87 the theory has a symmetry under a —* 2K — a, the constant must be either zero or one- half. Thus, the spectrum of the first terms in (.76) is either integers or integers+. To eliminate the second possibility, we shall see that, in the plane wave limit, we can solve for the spectrum explicitly and there we find that it is integers. Then, since the spectrum should not change discontinuously as the plane wave limit is taken, we conclude that it should always be integers. Since J comes in units of integers, and the first four terms in (3.76) are integers, (3.76) will only have a solution if 9 is a rational number, Then, J is quantized in units of M. This is identical to what should occur for a rn-times wrapped string on a ZM orbifold of AdS5 x S5 where the orbifold group ZM makes the identification x —p x + 2ir. To get the superstring, we must include the ferrnions. For this, we must decide what their boundary conditions will be. It is clear that, at large J, we will obtain the correct magnon supermultiplet if we add them in such a way that, in the modification of the Virasoro constraint (3.76), J also contains the appropriate fermionic contribution J —* J = f(ll5’ + H,1,Th/”). This gives the magnon boundary condition for the fermions = 2K) = eu13ma/,(r, a = O)e_2PmaJ = em8(r, a 0) (3.78) where diag (. — , , —) and the orbifold identification is (x)- (3.79) All of the fermions have a twist in their boundary condition. With this identification, all supercharges transform non-trivially under the orbifold group and all of the supersymmetries will be broken (in fact, the supercharges are set to zero by the obtifold projection). This twist in the fermion boundary condition and concomitant breaking of supersymmetry is well known from orbifold constructions in string theory [88] and was outlined in detail in a context similar to ours in [89]. Some supersymmetry can be saved if we impose a slightly more elaborate identification: (,Yi +iY2,) (X+pmag,e_iPm(Yl +iY2),eiPma) (3.80) where, now = diag (0, 0, 1, —1). This contains the previous identification of the angle x as well as a simultaneous rotation of the transverse Y-coordinates. Half of the fermions are un-twisted and this identification preserves half of the supersymmetries. The giant magnon can still be considered a wrapped state of this orbifold where the identified Y-coordinates are not excited. This double orbifolding geometry turns out to be exactly the one whose plane-wave limit leads to the DLCQ quantization of the string, as described early in this chapter. 3.3.3 Orbifold in gauge theory The gauge theory dual is likewise one described above. It is obtained by beginning with the parent theory, N = 4 super Yang-Mills with gauge group SU(MN) and coupling constant gy. Then, we consider a simultaneous R-symmetry transformation by a gen erator of the ZM orbifold group and a gauge transform by a constant SU(MN) matrix Chapter 3. Orbifolding and the discrete light-cone quantization 88 = diag(1, w, ..., wM_l) where is the M-th root of unity. Each diagonal element of the MN x MN-matrix 7 is multiplied by the N x N unit matrix. The projection throws away all fields which are not invariant under the simultaneous transformation. This reduces a typical field which was an MN x MN matrix in the parent theory to M N x N blocks embedded in that matrix in the orbifold theory. For example, consider a field Z of the parent theory which is charged under the orbifold group and transforms as Z —* wZ. The orbifold projection reduces it to a matrix which obeys Z7=c-yZ (3.81) By similar reasoning, a field I which was neutral in the parent theory commutes with 7 once the orbifold projection is imposed, (3.82) Given any single-trace operator of the parent Al = 4 theory, for example, a single magnon state such as TrZ, there are a family of M states of the orbifold theory rfr7mZJ with m = 0, 1, ..., M — 1. The operator must be neutral under the orbifold group transformation in the parent theory. To see this: we could insert 1 = 7M1 into the trace and use the commutators such as 3.81 and 3.82 and cyclicity of the trace to show that the trace of any operator which is not a singlet under the orbifold group must vanish. In our example, if is neutral, this requires quantization of J in units of M, J = kM, in the state rfi.7mZJ This gauge dual of the quantization of the momentum J in units of M.integers, rather than integers after the orbifold projection, is imposed in the sigma model, discussed above after 3.77. In addition, the single-trace operator of the parent theory descends to a family of M operators which are distinguished by an additional quantum number, m. It is easy to see that moving the position where was inserted into rp7mZJ changes the operator by an overall factor of wm. This implies that this trace is already an eigenstate of magnon momentum, Pmag = 2ir. The integer m is the gauge theory dual of the wrapping number of the string state on the orbifold cycle. There is a theorem to the effect that, in the planar limit of the orbifold gauge theory, un twisted operators (with m = 0 in the above examples) have the same correlation functions with each other as those in the planar parent Al = 4 gauge theory — with the only difference being a re-scaling of the coupling constant by the order of the orbifold group [91]. For this reason, in the planar limit, the gauge theory resulting from either of the orbifold projections (3.79) or (3.80) is a conformal field theory. In the non-supersymmetric case (3.79) non-planar corrections would give a beta-function, whereas in the Al = 2 supersymmetric case (3.80) the beta function would vanish in the full theory. On the orbifold, the spectrum of states in the Al = 4 magnon super-multiplet are expected to be split according to the residual symmetries. In the two cases we considered, the first (3.79) has no supersymmetry but has SU(2)4 x R2 bosonic symmetry. We would expect that the fermionic states gain different energies than the bosonic states and that the SU(2) multiplets within the bosonic states also split. In the other case (3.80), there remains Al = 2 supersymmetry and the spectrum should represent the super-algebra SU(21)2 x R2. The Chapter 3. Orbifolding and the discrete light-cone quantization 89 N = 4 magnon supermultiplet becomes rfr7mDZZkM_l (3.83) rfr7mZkM , Tr7mZkM rp.7mkM+l rfi.m1jkM_l (3.84) rpfmXZkM rpfmXZkMl rpjm2ZkM rfi.7m<4ZkM+l (3.85) Here m gives the number of units of magnon momentum Pmag = m and k is the number of units of space-time momentum J = kM. There are two limits where the operators in the set (3.83)-(3.85) are degenerate and have energies — J = 1: One is when we turn off the ‘tHooft coupling A = g,-MN —* 0 so that the operators have their classical conformal dimension. The other is when magnon momentum vanishes, m = 0. In the latter, the “untwisted operator” with m = 0 is known to have identical correlation functions with the operators in the parent N = 4 theory and therefore have an exact conformal dimension = J + 1. The spectrum away from these limits will depend on both A and m. 3.3.4 Orbifold in plane-wave limit We re-define the string coordinates as: T = X+, x = — X+. This has been chosen so that — j = - ( — = In addition we re-scale the transverse coordinates 9 —f —* The appropriate plane-wave limit [35] then takes A —f cc simultaneously with L — cc and J —* cc with L — J and finite. From (3.76) we see that the limit should be taken so that PmagJ is finite. This implies that Pmag (3.86) The magnon boundary condition (3.74) implies X(u = 7r) = X(u 0) +PmagV5 (3.87) The scaling (3.86) then gives a finite radius for X—. We have already argued that J = = should be quantized in integral units. In fact, in the magnon sector, we have argued that the level-matching condition (3.76) has a solution only when Pmag = 27r where m and M are integers and J is quantized in units of M, J kM with k an integer. To get the correct scaling of Pmag we must therefore take the plane wave limit by taking M to be large so that is held finite. What is effectively the same limit was discussed in [83] where it was shown to result in a plane-wave background with a periodically identified null direction, X r X + 2irR where Th = . (To be consistent with (3.87)), the integer m which appears in Pmag is interpreted is a wrapping number.) The resulting discrete light-cone quantization of the string on the plane wave background is a simple generalization of Metsaev’s original solution [36]. Here, we are interested in a wrapped sector where X(u = 27r) = X(cr = 0)+2irRm. In [83] the spectrum of the JIB string theory in this plane wave limit was matched with the appropriate generalization of the BMN limit of the N = 2 Yang-Mills theory which is Chapter 3. Orbifolding and the discrete light-cone quantization 90 obtained from .N = 4 by the orbifold projection corresponding to (3.80). It was also used to study non-planar corrections [123] and finite-size corrections at weak coupling [117]. Together with the limit, we take the light-cone gauge, X = Periodicity of X quantizes p+ = k/R. We obtain the sigma model as a free massive worldsheet field theory _{ãaO+8a+(p+)2(Y2+Z2)} --- (a + + 2ipbfl) (3.88) with U = diag(1, 1, 1, 1, —1, —1, —1, —1). In this limit, the magnon parameter Pmag does not appear in the Lagrangian or the mass-shell condition which determines the light-cone Hamiltonian: p = + (p+)2 (a1a1ta + 2à2tana2 Lac1c2tf 38&‘fl t-’naa I p-” &‘flL2I1 Its only vestige is in the level-matching condition. km fl (a1á1ta + aa22t + + (3.90) where k are the number of units of J = kM and m is the wrapping number. The bosonic and fermionic oscillators have the non-vanishing brackets /3i/3iti — ,ç ,çai,cai j 1/3i/3fi — ,c Lmcxicxi, C j — VmflU13V lPmcrlcx2, J — UmnJ/31 /32 [amc22,/32/32t] = , {/3mcr2ài, 13/32/ 1t} = ómn5’ (3.92) and bi-spinors of SO(4) x SO(4) SU(2)4.We confirm in (3.90), which is the plane wave limit of (3.76), there is solution of the level matching constraint unless J =integer. Here, we can think of the null identification as the vestige of the orbifold identification. The level-matching condition (3.76) allows 1-oscillator states and the magnon supermul tiplet is the sixteen states cmLIII I > akma2I > /3kmo1ã2 I > Ikmo21 I > (3.93) These states are degenerate with spectrum given by = (km)2 + (+)2 = i + (Rj2m = 1 + m2 (3.94) The degeneracy of the states in (3.93) can be attributed to an enhancement of the super- symmetry which is well known to occur in the Penrose limit. One would expect, and we shall 4lndices are raised and lowered with E° and respectively, always operating from the left. Chapter 3. Orbifolding and the discrete light-cone quantization 91 confirm, that the supersymmetry is broken when corrections to the Penrose limit are taken into account. Before that, we recall that in [90], [98] Beisert argued magnon states form a sixteen dimensional short multiplet of an extended super-algebra SU(212) x SU(22) x (R1)3 where the spectrum (3.70) is the shortening condition. The superalgebra SU(22) has gen erators R. and of SU(2) x SU(2), supercharges Q1 and and the algebra 3711 = i jci — i j71 Ji’2] = :Jà2 — 52 f (-)a $131 1 — ó/31J2 5(l27j31 5/3i 5(Y2( -‘ cvi’ — ci 132 132 ai ai /32 I1-a (132 1. — c12/32 V J’3cri — a1131 - aj’ - 13if — 2’ 13zf 12I3 3 represents any generator with the appropriate index, AC, P and C are central charges. In our application, C = — J p and — {a’c + t172313 } — {t7ii . + /3172/37172 } Là2 {at2à2a + /fl ‘1/32 } — + 12!3,r2 } = {—e(n)/wn + p+ if 12 + j/w — p+ana/3f71/32 — i/wfl — p+/3l72/3+ e(n) +p+nai72a7 2} { /w —p’’12 — ie(n)w +p’’13+ + ie(n) + p 172c — — p+/9172at } (3.95) where .J(p+)2+ n2 and e(n) = . We have used Metsaev’s [36] conventions for the supercharges (those called Q and Qj. Computing their algebra, we find that the plane wave background supercharges indeed satisfy Beisert’s extended superalgebra with the central extensions set to the plane-wave limits of those found by Beisert [90] p = .VPmag — 1) AC = ./XPmag V’ (eiPma — i) (3.96) The existence of the central extension follows directly from the fact that the unextended algebra closes up to the level matching condition and the level-matching condition (3.76) contains the term with km kM Pmag A derivation of Beisert’s superalgebra in the context of the AdS3 x S5 sigma model was first given in [118] and developed in [119]. They worked with the un-orbifolded theory by “relaxing” the level-matching condition. Then, there is a central charge in the superalge bra which depends on the level miss-match. The idea is that, once the resulting algebraic structure is used to study magnon and multi-magnon states, the level-matching condition Chapter 3. Orbifolding and the discrete light-cone quantization 92 should be re-imposed so as to get a physical state of the string theory. They work in the “magnon limit”, where J —* cc, but magnon momentum is not necessarily small (in our case it relaxes the plane-wave limit by taking M not necessarily large). They obtain the full central extension, rather than the form linearized in Pm that we have found in (3.96). In their work, they use a generalized light-cone gauge r = (1 — a)T + ax, x = x — T with a a parameter. They also use the identification, x_(T, a = 2ir) — x_(T, ci = 0) = Pws with Pws an eigenvalue of the level operator and z = -r trivially periodic in a. For the variables in (3.73), this amounts to using the boundary condition x(r, a = 2ir) — x(-r a = 0) = —(1 — a)pws and T(T, ci = 27r) — T(r, 0) = apws which is different from the one which we use when a 0 (they primarily use a = ) - where T(T, a = 2ir) T(r, ci = 0) and x(r, a = 2ir) — x(r, T = 0) = Pmag. This makes no difference at infinite J where the effect of a is diluted by scaling. However, it matters at finite size. In fact, the same gauge fixing was used in Ref. [86] and the a-dependence of the one-magnon spectrum found there (away from the infinite J limit) can be attributed to this a-dependence of boundary conditions, rather than the gauge variance which is claimed there. 3.3.5 Near pp-wave limit To see how the spectrum will be split in the near plane-wave limit, we must include cor rections to the Lagrangian and the Virasoro constraints that are of order . A systematic scheme for including these corrections in the usual Pm = 0 sector are outlined in the series of papers [120]-[44] and nicely summarized in [122]. There they find that the corrections terms to the Hamiltonian add normal ordered terms which are quartic in oscillators. They also adjust the gauge by adjusting the worldsheet metric in such a way that the level-matching condition remains unmodified. We have shown, and will present elsewhere, that the modifi cation of at procedure in the magnon sector are minimal. The corrections to the free field theory light-cone Hamiltonian are of two types, quartic normal ordered pieces from near- plane-wave limit corrections to the sigma model identical in form to those found in [120], [122] and terms such as the last one in 3.75 which arise from the orbifolding. To leading order in perturbation theory, the normal ordered quartic interaction Hamilto nian cannot shift the spectrum of 1-oscillator states. Furthermore, none of the extra terms displayed in Eq. (3.75) contribute in the leading order in 1/”. However, recall that, to preserve some supersymmetry, the orbifold identification (3.80) that we have been discussing also acts on the transverse direction and this action must also be taken into account. This generates simple correction terms in the Hamiltonian to order . The derivation of the interaction Hamiltonian is given in the appendix F. The relevant part of the interaction Hamiltonian is = .Pmagl fda(1111 + jp + (3.97) With this orbifold identification exactly half of the supersymmetries are preserved in the near plane-wave limit. Specifically, out of the 16 supersymmetries Q, S’ only Sr’/Q and S/Q survive. This leads to a splitting of the energies of the single impurity states. The original multiplet had 16 states (8 bosons - 0 >,c22 0 > and 8 fermions - /3a1I2l0 >, /3l0 >). In the near plane-wave, it breaks up into 4 super-multiplets of Chapter 3. Orbifolding and the discrete light-cone quantization 93 the residual superalgebra: one with 9 elements (5 bosons and 4 fermions) and two with 3 elements (2 fermions and a boson in each) and one boson singlet. The following table illustrates the breaking of the original super-multiplet: Sj2’/Q Q/S1 at 10> — 0> — at 0> 0> • 2i2j 2112 lj2i 2122 Q21/$2 I I I I /3212210> — aI0> — 13112210> 22221 S2/Q I I I I (3.98) at lO> — I3 l0> — at 0> 0>21j 1112 11j 1122 Q /S — aI0> — /31112I0> a2I0> S/Q Here, columns and rows with dashes represent the surviving supersymmetry transfor mations: S1/Q and S /Q. Columns and rows without dashes represent the broken supersymmetries: S / Q21 and S /Q. The energy degeneracy of the original multiplet is likewise broken by the interaction Hamiltonian in the near plane-wave limit. One of the triplets gets positive energy shift, its energy becoming: ________ M2 2\/ V M2 The other triplet gets an equal but negative energy shift: !i+m2 1 V M2 2V’X 11+.\!2 V M2 The s-inglet and a 9-multiplet are annihilated by the interaction Hamiltonian and thus retain the energy of the original multiplet: I m v1+ 3.4 Conclusion We have made an number of observations about the giant magnon solution of string theory. We noted that the previously noted resemblance of the magnon to a wrapped string on a ZM orbifold of AdS5 x S5 seems to be the only solution of the Virasoro constraints in the string sigma-model. We argued that this point of view is consistent with AdS/CFT duality as single magnons are physical states of the orbifold projections of .A/ = 4 supersymmetric Yang-Mills theory. We also argued that this point of view is consistent with the plane- wave limit, where the sigma model is solvable. In that limit, the orbifold identification appears as a periodic identification of the null coordinate and the magnon is a wrapped Chapter 3. Orbifolding and the discrete light-cone quantization 94 string. There, we can see explicitly how the wrapping modifies the supersymmetry algebra and is consistent with the magnon spectrum. The N 2 supersymmetry of the orbifold is enhanced to N = 4 supersymmetry in the plane-wave limit, so that the full sixteen dimensional magnon supermultiplet appears there. We end with a question. We have shown that the supersymmetry is broken again by near plane-wave limit corrections to the sigma model by showing that the energies of the magnon multiplet are split. However, there is another limit, the “magnon limit” which is similar to the plane wave in that A and J are taken to infinity but it differs in that Pmag remains of order one, rather than scaling to zero. It would be interesting to understand whether the supersymmetry is also enhanced in this limit so that the orbifold quantization of the infinite volume limit has more supersymmetry than the orbifold itself. Chapter 4. Summary 95 Chapter 4 Summary This thesis is a result of five years of research in the area of string-gauge duality with the particular emphasis on the string theory in the plane-wave background. Two main lines of inquiry we pursued were the question of string interactions and the consequences of placing the theory on an orbifold. The following is the list of the most important original results we achieved which are presented in detail in the earlier chapters. In the context of string interactions 1. We investigated the impurity non-conserving channel of the interacting string, in the context of string field theory, and found that the divergences, which were previously thought to disqualify this channel from having a meaningful physical contribution to the energy shift, actually cancel out at all orders. This introduces an important new consideration for the theory of interacting strings. 2. This cancelation also settled the issue of symmetry factors, and relative weight between the interaction term and the contact term in the energy shift calculation. 3. We calculated the energy shifts of a particular string state of interest, under the differ ent vertex regimes, up to a variable number of impurities. In doing so we have achieved hitherto closest agreement ever between the interacting string calculation and its gauge theory dual. We were also interested in the string theory on the orbifolded plane-wave. In this context: 1. We applied the string field theory methods and have shown how features of the non planar gauge theory, peculiar to the orbifold background, translate directly onto its string dual. 2. We studied the equivalence between the giant magnon and the string wrapped in the orbifolded direction, and have shown that, in and near the plane-wave limit, string spectrum matches the behaviour of the magnon super multiplet and the super-algebras of string and gauge theories are exactly identical. Bibliography 96 Bibliography [1] G. Veneziano, “Construction of a crossing - symmetric, Regge behaved amplitude for linearly rising trajectories,” Nuovo Cim. A 57, 190 (1968). [2] J. M. Maldacena, “The large N limit of superconformal field theories and supergravity,” Adv. Theor. Math. Phys. 2, 231 (1998) [mt. J. Theor. Phys. 38, 1113 (1999)] [arXiv:hep th/971 1200]. [3] M. E. Peskin and D. V. Schroeder, “An Introduction To Quantum Field Theory,” Read ing, USA, Addison-Wesley (1995) [4] J. Polchinski, “String theory. Vol. 1: An introduction to the bosonic string,” Cambridge Unversity, Cambridge University Press, (1998) [5] J. Polchinski, “String theory. Vol. 2: Superstring theory and beyond,” Cambridge Un versity, Cambridge University Press, (1998) [6] M. B. Green, J. H. Schwarz and E. Witten, “Superstring Theory. Vol. 1: Introduction,” Cambridge Unversity, Cambridge University Press, (1987) [7] M. B. Green, J. H. Schwarz and E. Witten, “Superstring Theory. Vol. 2: Loop Am plitudes, Anomalies And Phenomenology,” Cambridge Unversity, Cambridge University Press, (1987) [8] S. Weinberg, “The Quantum Theory of Fields, Vol. 3: Supersymmetry” Cambridge Un versity, Cambridge University Press, (2000) [9] G.Kane, “Supersymmetry” Helix Books, Perseus Publishing [10] M. B. Green, J. H. Schwarz and L. Brink, “Superfield Theory Of Type Ii Superstrings,” Nucl. Phys. B 219, 437 (1983). [11] M. B. Green and J. H. Schwarz, “Superstring Field Theory,” Nucl. Phys. B 243, 475 (1984). [12] J. H. Schwarz, “Introduction to M theory and AdS/CFT duality,” arXiv:hep th/9812037. [13] A. Giveon, M. Porrati and E. Rabinovici, “Target space duality in string theory,” Phys. Rept. 244, 77 (1994) [arXiv:hep-th/9401139]. [14] J. Polchinski, “TASI Lectures on D-branes,” arXiv:hep-th/9611050. Bibliography 97 [15] E. B. Bogomolny, “Stability Of Classical Solutions,” Soy. J. Nucl. Phys. 24, 449 (1976) [Yad. Fiz. 24, 861 (1976)]. [16] M. K. Prasad and C. M. Sommerfield, “An Exact Classical Solution For The ‘T Hooft Monopole And The Julia-Zee Dyon,” Phys. Rev. Lett. 35, 760 (1975). [17] J. D. Bekenstein, “Black Holes And The Second Law,” Lett. Nuovo Cim. 4, 737 (1972). [18] 5. W. Hawking, “Particle Creation By Black Holes,” Commun. Math. Phys. 43, 199 (1975) [Erratum-ibid. 46, 206 (1976)]. [19] A. Strominger and C. Vafa, “Microscopic Origin of the Bekenstein-Hawking Entropy,” Phys. Lett. B 379, 99 (1996) [arXiv:hep-th/9601029]. [20] G. ‘t Hooft, “A PLANAR DIAGRAM THEORY FOR STRONG INTERACTIONS,” Nuci. Phys. B 72, 461 (1974). [21] I. R. Klebanov, “TASI lectures: Introduction to the AdS/CFT correspondence,” arXiv:hep-th/0009 139. [22] 0. Aharony, S. S. Gubser, J. M. Maldacena, H. Ooguri and Y. Oz, “Large N field theories, string theory and gravity,” Phys. Rept. 323, 183 (2000) [arXiv:hep-th/9905111]. [23] 5. 5. Gubser, I. R. Klebanov and A. W. Peet, “Entropy and Temperature of Black 3-Branes,” Phys. Rev. D 54, 3915 (1996) [arXiv:hep-th/9602135]. [24] S. S. Gubser, I. R. Klebanov and A. A. Tseytlin, “Coupling constant dependence in the thermodynamics of N = 4 supersymmetric Yang-Mills theory,” Nucl. Phys. B 534, 202 (1998) [arXiv:hep-th/9805156]. [25] P. Di Vecchia, “An introduction to AdS/CFT correspondence,” Fortsch. Phys. 48, 87 (2000) [arXiv:hep-th/9903007]. [26] E. D’Hoker, D. Z. Freedman, S. D. Mathur, A. Matusis and L. Rastelli, “Graviton exchange and complete 4-point functions in the AdS/CFT correspondence,” Nucl. Phys. B 562, 353 (1999) [arXiv:hep-th/9903196]. [27] H. Liu, “Scattering in anti-de Sitter space and operator product expansion,” Phys. Rev. D 60, 106005 (1999) [arXiv:hep-th/9811152]. [28] L. Susskind and E. Witten, “The holographic bound in anti-de Sitter space,” arXiv:hep th/9805 114. [29] I. R. Klebanov, “World-volume approach to absorption by non-dilatonic branes,” Nucl. Phys. B 496, 231 (1997) [arXiv:hep-th/9702076]. [30] R. Arnowitt, S. Deser and C. W. Misner, “The dynamics of general relativity,” arXiv:gr qc/0405 109. Bibliography 98 [31] J. X. Lu, “ADM masses for black strings and p-branes,” Phys. Lett. B 313, 29 (1993) [arXiv:hep-th/9304159]. [32] R. Penrose “Any space has a plane-wave as a limit” Differential Geometry and Relativity 271-275 (1976) [33J M. Blau, J. Figueroa-O’Farrill, C. Hull and G. Papadopoulos, “A new maximally super- symmetric background of JIB superstring theory,” JHEP 0201, 047 (2002) [arXiv:hep th/01 10242]. [34] M. Blau, J. Figueroa-O’Farrill, C. Hull and G. Papadopoulos, “Penrose limits and maximal supersymmetry,” Class. Quant. Gray. 19, L87 (2002) [arXiv:hep-th/0201081]. [35] D. Berenstein, J. M. Maldacena and H. Nastase, “Strings in flat space and pp waves from N = 4 super Yang Mills,” JHEP 0204, 013 (2002) [arXiv:hep-th/0202021]. [36] R. R. Metsaev, “Type JIB Green-Schwarz superstring in plane wave Ramond-Ramond background,” Nucl. Phys. B 625, 70 (2002) [arXiv:hep-th/0112044]. [37] R. R. Metsaev and A. A. Tseytlin, “Superstrings In Curved Ramond-Ramond Back grounds,” Russ. Phys. J. 45, 719 (2002) [Izv. Vuz. Fiz. 2002N7, 67 (2002)]. [38] D. J. Gross, A. Mikhailov and R. Roiban, “Operators with large R charge in N = 4 Yang-Mills theory,” Annals Phys. 301, 31(2002) [arXiv:hep-th/0205066]. [39] A. Santambrogio and D. Zanon, “Exact anomalous dimensions of N = 4 Yang-Mills operators with large R Phys. Lett. B 545, 425 (2002) [arXiv:hep-th/0206079]. [40] 5. S. Gubser, I. R. Klebanov and A. M. Polyakov, “A semi-classical limit of the gauge/string correspondence,” Nuci. Phys. B 636, 99 (2002) [arXiv:hep-th/0204051]. [41] J. A. Minahan and K. Zarembo, “The Bethe-ansatz for N = 4 super Yang-Mills,” JHEP 0303, 013 (2003) [arXiv:hep-th/02 12208]. [42] N. Beisert, J. A. Minahan, M. Staudacher and K. Zarembo, “Stringing spins and spin ning strings,” JHEP 0309, 010 (2003) [arXiv:hep-th/0306139]. [43] I. Bena, J. Polchinski and R. Roiban, “Hidden symmetries of the AdS(5) x 5**5 super- string,” Phys. Rev. D 69, 046002 (2004) [arXiv:hep-th/0305116]. [44] C. G. . Callan, H. K. Lee, T. McLoughlin, J. H. Schwarz, I. Swanson and X. Wu, “Quantizing string theory in AdS(5) x S**5: Beyond the pp-wave,” Nuci. Phys. B 673, 3 (2003) [arXiv: hep-th/0307032]. [45] M. B. Green, A. Sinha and S. Kovacs, “Non-perturbative effects in the BMN limit of N = 4 supersymmetric Yang-Mills,” arXiv: hep-th/0506200. [46] M. B. Green, S. Kovacs and A. Sinha, “Non-perturbative contributions to the plane wave string mass matrix,” JHEP 0505, 055 (2005) [arXiv:hep-th/0503077]. Bibliography 99 [47] C. Kristjansen, J. Plefka, G. W. Semenoff and M. Staudacher, “A new double-scaling limit of N = 4 super Yang-Mills theory and PP-wave strings,” Nuci. Phys. B 643, 3 (2002) [arXiv:hep-th/0205033J. [48] N. R. Constable, D. Z. Freedman, M. Headrick, S. Minwalla, L. Motl, A. Postnikov and W. Skiba, “PP-wave string interactions from perturbative Yang-Mills theory,” JHEP 0207, 017 (2002) [arXiv:hep-th/0205089]. [49] M. Bianchi, B. Eden, G. Rossi and Y. S. Stanev, “On operator mixing in N = 4 SYM,” Nucl. Phys. B 646, 69 (2002) [arXiv:hep-th/0205321]. [50] N. Beisert, C. Kristjansen, J. Plefka, G. W. Semenoff and M. Staudacher, “BMN corre lators and operator mixing in N = 4 super Yang-Mills theory,” Nucl. Phys. B 650, 125 (2003) [arXiv:hep-th/0208 178]. [51] N. R. Constable, D. Z. Freedman, M. Headrick and S. Minwalla, “Operator mixing and the BMN correspondence,” JHEP 0210, 068 (2002) [arXiv:hep-th/0209002]. [52] N. Beisert, C. Kristjansen, J. Plefka and M. Staudacher, “BMN gauge theory as a quantum mechanical system,” Phys. Lett. B 558, 229 (2003) [arXiv:hep-th/0212269]. [53] N. Beisert, C. Kristjansen and M. Staudacher, “The dilatation operator of N = 4 super Yang-Mills theory,” Nucl. Phys. B 664, 131 (2003) [arXiv:hep.-th/0303060]. [54] M. Spradlin and A. Volovich, “Superstring interactions in a pp-wave background,” Phys. Rev. D 66, 086004 (2002) [arXiv:hep-th/0204146]. [55] M. Spradlin and A. Volovich, “Superstring interactions in a pp-wave background. II,” JHEP 0301, 036 (2003) [arXiv:hep-th/0206073]. [56] C. S. Chu, V. V. Khoze, M. Petrini, R. Russo and A. Tanzini, “A note on string interaction on the pp-wave background,” Class. Quant. Gray. 21, 1999 (2004) [arXiv:hep th/0208 148]. [57] A. Pankiewicz, “More comments on superstring interactions in the pp-wave back ground,” JHEP 0209, 056 (2002) [arXiv:hep-th/0208209]. [58] 5. Dobashi, H. Shimada and T. Yoneya, “Holographic reformulation of string theory on AdS(5) x 5**5 background in Nucl. Phys. B 665, 94 (2003) [arXiv:hep-th/0209251]. [59] J. Gomis, S. Moriyama and J. w. Park, “SYM description of SFT Hamiltonian in a pp-wave background,” Nuci. Phys. B 659, 179 (2003) [arXiv:hep-th/0210153]. [60] A. Pankiewicz and B. . J. Stefanski, “pp-wave light-cone superstring field theory,” Nucl. Phys. B 657, 79 (2003) [arXiv:hep-th/0210246]. [61] C. S. Chu, M. Petrini, R. Russo and A. Tanzini, “String interactions and discrete symmetries of the pp-wave background,” Class. Quant. Gray. 20, S457 (2003) [arXiv:hep th/021 1188]. Bibliography 100 [62] Y. H. He, J. H. Schwarz, M. Spradlin and A. Volovich, “Explicit formulas for Neumann coefficients in the plane-wave geometry,” Phys. Rev. D 67, 086005 (2003) [arXiv:hep th/0211198]. [63] J. Lucietti, S. Schafer-Nameki and A. Sinha, “On the plane-wave cubic vertex,” Phys. Rev. D 70, 026005 (2004) [arXiv:hep-th/0402185]. [64] J. Lucietti, S. Schafer-Nameki and A. Sinha, “On the exact open-closed vertex in plane-wave light-cone string field theory,” Phys. Rev. D 69, 086005 (2004) [arXiv:hep th/0311231]. [65] R. Roiban, M. Spradlin and A. Volovich, “On light-cone SFT contact terms in a plane wave,” JHEP 0310, 055 (2003) [arXiv:hep-th/0211220]. [66] J. Gomis, S. Moriyama and J. w. Park, “SYM description of pp-wave string interac tions: Singlet sector and arbitrary impurities,” Nucl. Phys. B 665, 49 (2003) [arXiv:hep th/0301250j. [67] P. Di Vecchia, J. L. Petersen, M. Petrini, R. Russo and A. Tanzini, “The 3-string vertex and the AdS/CFT duality in the pp-wave limit,” Class. Quant. Gray. 21, 2221 (2004) [arXiv:hep-th/0304025]. [68] A. Pankiewicz, “An alternative formulation of light-cone string field theory on the plane wave,” JHEP 0306, 047 (2003) [arXiv:hep-th/0304232]. [69] M. Spradlin and A. Volovich, “Light-cone string field theory in a plane wave,” arXiv:hep th/0310033. [70] P. Gutjahr and A. Pankiewicz, “New aspects of the BMN correspondence beyond the planar limit,” Nucl. Phys. B 704, 583 (2005) [arXiv:hep-th/0407098]. [71] S. Dobashi and T. Yoneya, “Impurity non-preserving 3-point correlators of BMN oper ators from pp-wave Nucl. Phys. B 711, 54 (2005) [arXiv:hep-th/0409058j. [72] E. D’Hoker and S. B. Giddings, “Unitary Of The Closed Bosonic Polyakov String,” Nucl. Phys. B 291, 90 (1987). [73] G. De Risi, G. Grignani, M. Orselli and G. W. Semenoff, “DLCQ string spectrum from N = 2 SYM theory,” JHEP 0411, 053 (2004) [arXiv:hep-th/0409315]. [74] M. M. Sheikh-Jabbari, “Tiny graviton matrix theory: DLCQ of JIB plane-wave string theory, a conjecture,” JHEP 0409, 017 (2004) [arXiv:hep-th/0406214]. [75] M. B. Green and N. Seiberg, “Contact Interactions In Superstring Theory,” Nucl. Phys. B 299, 559 (1988). [76] E. Cremmer and . L. Gervais, “Combining And Splitting Relativistic Strings,” Nucl. Phys. B 76, 209 (1974). Bibliography 101 [77] B. Chandrasekhar and A. Kumar, “D-branes in pp-wave light cone string field theory,” JHEP 0306, 001 (2003) [arXiv:hep-th/0303223]. [78] S. Dobashi and T. Yoneya, “Resolving the holography in the plane-wave limit of AdS/CFT correspondence,” Nuci. Phys. B 711, 3 (2005) [arXiv:hep-th/0406225]. [79] G. Grignani, M. Orselli, B. Ramadanovic, G. W. Semenoff and D. Young, “Divergence cancellation and loop corrections in string field theory on a plane wave background,” JHEP 0512, 017 (2005) [arXiv:hep-th/0508126]. [80] G. Grignani, M. Orselli, B. Ramadanovic, G. W. Semenoff and D. Young, “AdS/CFT vs. string loops,” JHEP 0606, 040 (2006) [arXiv:hep-th/0605080]. [81] D. Young, “The AdS/CFT Correspondence: Classical, Quantum, and Thermodynami cal Aspects,” arXiv:0706.3751 [hep-th]. [82] T. Takayanagi and S. Terashima, “Strings on orbifolded pp-waves,” JHEP 0206, 036 (2002) [arXiv:hep-th/0203093]. [83] S. Mukhi, M. Rangamani and E. P. Verlinde, “Strings from quivers, membranes from moose,” JHEP 0205, 023 (2002) [arXiv:hep-th/0204147]. [84] D. M. Hofman and J. M. Maldacena, J. Phys. A 39, 13095 (2006) [arXiv:hep th/0604135]. [85] B. Ramadanovic and G. W. Semenoff, “Finite Size Giant Magnon,” arXiv:0803.4028 [hep-th]. [86] G. Arutyunov, S. Frolov and M. Zamaklar, “Finite-size effects from giant magnons,” Nuci. Phys. B 778, 1 (2007) [arXiv:hep-th/0606126]. [87] D. Astolfi, V. Forini, G. Grignani and G. W. Semenoff, “Gauge invariant finite size spectrum of the giant magnon,” Phys. Lett. B 651, 329 (2007) [arXiv:hep-th/0702043]. [88] M. R. Douglas and G. W. Moore, “D-branes, Quivers, and ALE Instantons,” arXiv:hep th/9603 167. [89] L. F. Alday, G. Arutyunov and S. Frolov, “Green-Schwarz strings in TsT-transformed backgrounds,” JHEP 0606, 018 (2006) [arXiv:hep-th/0512253]. [90] N. Beisert, arXiv:hep-th/05 11082. [91] M. Bershadsky and A. Johansen, “Large N limit of orbifold field theories,” Nuci. Phys. B 536, 141 (1998) [arXiv:hep-th/9803249]. [92] N. Beisert and R. Roiban, “The Bethe ansatz for Z(S) orbifolds of N = 4 super Yang Mills theory,” JHEP 0511, 037 (2005) [arXiv:hep-th/0510209]. [93] 5. 5. Gubser, I. R. Klebanov and A. M. Polyakov, “Gauge theory correlators from non-critical string theory,” Phys. Lett. B 428, 105 (1998) [arXiv:hep-th/9802109]. Bibliography 102 [94] E. Witten, “Anti-de Sitter space and holography,” Adv. Theor. Math. Phys. 2, 253 (1998) [arXiv:hep-th/9802150]. [95] N. Beisert and M. Staudacher, “The N = 4 SYM integrable super spin chain,” Nuci. Phys. B 670, 439 (2003) [arXiv:hep-th/0307042]. [96] G. Arutyunov, S. Frolov and M. Staudacher, “Bethe ansatz for quantum strings,” JHEP 0410, 016 (2004) [arXiv:hep-th/0406256]. [97] M. Staudacher, “The factorized S-matrix of CFT/AdS,” JHEP 0505 (2005) 054 [arXiv:hep-th/0412188]. [98] N. Beisert, “The Analytic Bethe Ansatz for a Chain with Centrally Extended su(2—2) Symmetry,” J. Stat. Mech. 0701, P017 (2007) [arXiv:nlin/0610017]. [99] R. A. Janik, “The AdS(5) x 5**5 superstring worldsheet S-matrix and crossing symme try,” Phys. Rev. D 73, 086006 (2006) [arXiv:hep-th/0603038]. [1001 R. Hernandez and E. Lopez, “Quantum corrections to the string Bethe ansatz,” JHEP 0607, 004 (2006) [arXiv:hep-th/0603204]. [101] N. Beisert, R. Hernandez and E. Lopez, “A crossing-symmetric phase for AdS(5) S**5 strings,” JHEP 0611, 070 (2006) [arXiv:hep-th/0609044]. [102] N. Beisert, B. Eden and M. Staudacher, “Transcendentality and crossing,” J. Stat. Mech. 0701 (2007) P021 [arXiv:hep-th/0610251]. [103] L. Freyhult and C. Kristjansen, “A universality test of the quantum string Bethe ansatz,” Phys. Lett. B 638, 258 (2006) [arXiv:hep-th/0604069]. [104] M. K. Benna, S. Benvenuti, I. R. Klebanov and A. Scardicchio, “A test of the AdS/CFT correspondence using high-spin operators,” Phys. Rev. Lett. 98, 131603 (2007) [arXiv:hep-th/061 1135]. [105] F. Fiamberti, A. Santambrogio, C. Sieg and D. Zanon, “Wrapping at four loops in N=4 SYM,” arXiv:0712.3522 [hep-th]. [106] C. A. Keeler and N. Mann, “Wrapping Interactions and the Konishi Operator,” arXiv:0801. 1661 [hep-th]. [107] J. Ambjorn, R. A. Janik and C. Kristjansen, “Wrapping interactions and a new source of corrections to the spin-chain / string duality,” Nucl. Phys. B 736, 288 (2006) [arXiv:hep-th/0510171]. [108] A. V. Kotikov, L. N. Lipatov, A. Rej, M. Staudacher and V. N. Velizhanin, “Dressing and Wrapping,” J. Stat. Mech. 0710, P10003 (2007) [arXiv:0704.3586 [hep-th]j. [109] R. A. Janik and T. Lukowski, “Wrapping interactions at strong coupling — the giant magnon,” Phys. Rev. D 76, 126008 (2007) [arXiv:0708.2208 [hep-th]]. Bibliography 103 [110] R. Ishizeki and M. Kruczenski, “Single spike solutions for strings on S2 and S3,” Phys. Rev. D 76, 126006 (2007) [arXiv:0705.2429 [hep-thj]. [111] Y. Hatsuda and R. Suzuki, “Finite-Size Effects for Dyonic Giant Magnons,” arXiv:0801 .0747 [hep-th]. [112] J. A. Minahan and 0. Ohlsson Sax, “Finite size effects for giant magnons on physical strings,” arXiv: 0801.2064 [hep-th]. [113] H. Hayashi, K. Okamura, R. Suzuki and B. Vicedo, “Large Winding Sector of AdS/CFT,” JHEP 0711, 033 (2007) [arXiv:0709.4033 [hep-th]j. [114] N. Gromov, S. Schafer-Nameki and P. Vieira, “Quantum Wrapped Giant Magnon,” arXiv:0801.3671 [hep-th]. [115] T. Klose and T. McLoughlin, “Interacting finite-size magnons,” arXiv:0803.2324 [hep th]. [116] A. Solovyov, “Bethe Ansatz Equations for General Orbifolds of N=4 SYM,” arXiv:071 1.1697 [hep-th]. [117] D. Astolfi, V. Forini, G. Grignani and G. W. Semenoff, “Finite size corrections and integrability of N = 2 SYM and DLCQ strings on a pp-wave,” JHEP 0609, 056 (2006) [arXiv:hep-th/0606 193]. [118] G. Arutyunov, S. Frolov, J. Plefka and M. Zamaklar, “The off-shell symmetry algebra of the light-cone AdS(5) x 5**5 superstring,” J. Phys. A 40, 3583 (2007) [arXiv:hep th/0609 157]. [119] G. Arutyunov, S. Frolov and M. Zamaklar, “The Zamolodchikov-Faddeev algebra for AdS(5) x 5**5 superstring,” JHEP 0704, 002 (2007) [arXiv:hep-th/0612229]. [120] C. G. . Callan, T. McLoughlin and I. Swanson, “Higher impurity AdS/CFT correspon dence in the near-BMN limit,” Nuci. Phys. B 700, 271 (2004) [arXiv:hep-th/0405153]. [121] C. G. . Callan, T. McLoughlin and I. Swanson, “Holography beyond the Penrose limit,” Nucl. Phys. B 694, 115 (2004) [arXiv:hep-th/0404007]. [122] T. McLoughlin, “The near-Penrose limit of AdS/CFT,” . UMI-31-97357, 2005. Caltech Ph.D. Thesis [123] 0. De Risi, G. Grignani, M. Orselli and G. W. Semenoff, JHEP 0411, 053 (2004) [arXiv:hep-th/04093 15]. Appendix A. Fermion representations 104 Appendix A Fermion representations In greater part of this thesis we work in the representations of SO(4) x 80(4)2 labeled by (SU(2) x SU(2))1 x (SU(2) x SU(2))2 spinor indices. Fermionic creation operators are then given by and !12 which transform in the (1/2, 0, 1/2, 0) and (0, 1/2, 0, 1/2) representations of (SU(2) x SU(2))1 x (SU(2) x SU(2))2, respectively; ak,ak being two- component Weyl indices of SO(4)k. The 80(8) vector index I splits into two S0(4) x S0(4) vector indices (i, i’) so that we use vector index i = 1,. . . , 4 and bi-spinor indices a, à = 1, 2 for the first 80(4) and (i’, a2,a2) for the second S0(4). Vectors are constructed in terms of bi-spinor indices as (an)aii = (an)a22 =u2a/V’ and transform as (1/2, 1/2,0,0) and (0, 0, 1/2, 1/2), respectively. Here the u-matrices consist of the usual Pauli-matrices together with the 2d unit matrix = (A.1) and satisfy the reality properties [u] = u, {i]t = —u. These properties are also satisfied by the fermionic oscillators, so that 2) 3’ 2 and (131)t = —/3; the same relations are obeyed for the dotted-index fermions. Spinor indices are raised and lowered with the two-dimensional Levi-Civita symbols, ,0 iN = _i 0)’ ( ) = for example A’=A13e Aa=AEa (A.2) and = e eu. (A.3) The u-matrices satisfy the relations + uo4 = 25’ö, + = 2S6. (A.4) Some other properties satisfied by these matrices are Appendix A. Fermion representations 105 = — (A.5) [i j]a = + (u uo = (A.6) (A.7)UU = + g (ae3 {i j]a ià3 = uu = (A.8) uo =4(7s+ o€-y), (A.9) (A.10) k(i j)k2uu =6s+U1/3. — — (A.11) (iJ)t = (A.12)f3 0k/3ii = 5iki — 3jki (AJ3) 7 c3 In this basis the gamma matrices have the following representation I cii3i /32 1 (A.14)/ 0 o 5/32\ ( 0 cr2 . 5a2\ = ( 0 ) ‘ = Q•Z(’/3’5/32 0 )/32 a2 (_-5/3’uj’ 0 “ (_oun!a2/32 0 7aa — l2/32 — 0 1U) ‘ 7aa = 0 51g2 ) . (A.15)/3i 2/32 and the projector reads( i234)th5i32 0 ) /5/315/32 0 \(12 — I a 5(115(12 , (A.16)ab 0 (o’1u2cr3a4)62 — 0 — so that (1 ± ll)/2 projects onto (1/2, 0, 1/2, 0) and (0, 1/2, 0, 1/2), respectively. The supercharge Q is a (1/2, 0, 0, 1/2) and is a (0, 1/2, 1/2, 0) representation. cxi /32 In this notation it is convenient to define the linear combinations of the free supercharges Q + iQ , /Q - (All) where = e’4, and = e(c)(Q±)t. On the space of physical states they satisfy the dynamical constraints {Qa1a2,Q/32}= = —2e1/3ç212H { Qcxiã2,Q/3l/2} = 2/32 (gui) + (‘) J’’ (A.18)cu i3i (12/32 and similarly for Qa12 and Q1/32. The free supercharge with raised indices is understood as Appendix A. Fermion representations 106 QW2 e(a) (Q21)t, Qà1c2 e(c) (Q2a12 (A.19) and this gives f12f — A U — r1a2 ‘2 “2c1à — — for these operators in the single string Hubert space ‘H1. For states in the three-string Hubert space ?-i3, i.e. jQ), the e(c) is already encoded into the construction so that it should be dropped in the adjoint Q2aj2) = (Qai2)IQ3cz,a2)= +4H3) (A.21) and similarly QI2 (Q3a,a2). In the BMN basis, the full expression for the quadratic supercharge Q2a12 Q2c1a2 = k (c4 2 + i e(a) ak k#O :I3ki /32 + e(a) ak 1L /32) (A.22) (t 2 + O/3i a e(c)c /32 + e(a) co /L /32) where k is defined in (C.6). Among states that are created by two oscillators, the state with quantum numbers (1, 1, 0, 0) and (0, 0, 1, 1) which are created by two bosons have no analogues amongst the two oscillator states containing either one or two fermions. Thus, they are not mixed with other members of the supermultiplet. These states in the main text are denoted [9, iJ)(ui) and [1,9})(i’i’) in SO(8) notation. ‘Note that c4’ = and similarly for the other SO(4) since [u’]t = Appendix B. Neumann matrices and associated quantities 107 Appendix B Neumann matrices and associated . .quantities In this section we present the explicit expressions for the quantities appearing in the pref actors and exponential part of H3) and 1Q3) (2.87). Following the notation of [70], the Neumann matrices can be written as 2 ImIIn \ St ‘Nat m0 (B.1) { ljst ( + Um(s)Un(t)) ,m,n 0 ImIOmn with’ N3t = —(1 — 4K)’ [CUG2NS] [CU)1C2Nt] (B.2)mn asn(t) + atwm(s) m N0 = —2w(1 — t e {1, 2} (B.3) s,tE{1,2} (B.4) e {1,2} (B.5) while {e(m)Q”fl’, m,n 0 rs = e(m)Io, m 0 (B.6)‘% mn — rsQoo where [68] = e(ar) [U2Ch/2Nr3C_h/2Uh/2l (S)j ‘ m,n>0 “ mn mn e(a)C) = _a3(1 — ______ /_ [(U(s)C(S)G)1/2JVS]m m>0 (B.7) ‘mO 3r __ — -Q — /:-E, Q=0, r,s= {1,2} a3 ‘To have a manifest symmetry in 1 —* 2 we additionally redefined the oscillators as (—1)(1)c(5 en(s) for n e Z, s 1,2,3 and analogously for the fermionic oscillators. Appendix B. Neumann matrices and associated quantities 108 and we note that Q = 0, while Cn = fl, C(8) = un(s) = n2 + (a3)2, (B.8) 1 1 U71,(5) — U,) = —(W(8)+ 1ua8) (B.9) and [62] 1 1 — 4/IKK — (B.1O) 4irr(1 — N3 — sin(nirr) 1 (B.11) irr(1 — r) W(3)—2fLa3(w()+1Ua3) 1 3N =a3N(/3) — ______________ (B.12) 2irr(1 — r) — ic38) up to exponential corrections O(e3) 2 For the bosonic constituents of the prefactor one has 3 3 K’ = Kfl(S)c8), K’ = Kfl(S)’() (B.13) s=1 nEZ s=1 nEZ where _____________ _ Ko(8) = (1— 4cK)V2_(1 — Ko(3) = 0 (B.14) and Kn() = v’1c8 (1 — 4K)”2(w(3)+/ta3)/N11(i — U(8)) (B.15) For the fermionic constituents of the prefactor one has 3 3 tala2 ZalQ2 = ZZG t1’2yc1a2 G1nIs/3S InI(s)/3n( (B.16) s=1 nEZ s=1 nEZ where Go(8) (1 — 1 K)”2./f— i3, Go(3) = 0 (B.17) and _ __ __ e(a) = /j (1 — 4K)’I2(w(8)+ as)wn(s)N11 (B.18) where in the above expressions we have used /3 r and /32 1 — r (with —at/a3 and 2To compare with the definition used in [62] note that ‘here = (_1)8(18ns21there Appendix C. More Neumann matrices and relations 109 Appendix C More Neumann matrices and relations The above matrices can also be written in the following compact form: j3r — sin(n7rr)/ (AA + AA) jrs — (c.1)nq 27r/7(q—/3n) qp 4ir/JJ(/3swq+r p) isin(Inirr)(wq +/3rwn) rs = — 13rP) (C.2) 2ir/(q—8rn) qp 4ir./(/3swq+/3rwp) where Q = Q — QT We also find Kn+3sin(nr)/T(1T)_A—_ A+Jk (C.3)V ira’ ‘r(1-r)AE-A Kq = a34 I (C.4) V 71°’/3r 2/ 1 sin(Inirr) (C.5) = e(n)(A — A) (C.6) where, = /wq — !3rY AE = e(q)/wq +/3riLa3 (C.7) = e(n)-../w +/ (C.8) We will also find use for L3” =nq — KnK_q + K_nKq Lrq KnKq + K_nK_q. (C.9) The following relations may also be proven (r) (s)\ K8) KT) + K K(r) — 2 a r (1 — r) (Wq + rs (C.10) —q a’ qp K3)KT)+KK=2a3T(1T) (r) __________________ V(__w3)) iq (C.1fl Appendix C. More Neumann matrices and relations 110 I /3a’ 1ç(r) = V r (1 — r) KT) (C.12) (3) (3) L’ 1G = /r(1—r) —K3 (C.13) ‘“q rs P rs _________ (r) a(s) / a’ *K(T)G(8) (C.14) a3 q / a (C.15)q 3r __ n +7Nnq(1) 3 ç(r) /q 3rç(3) 3r _ (C.16)nq NThq=(l) q ‘ 2 2 (‘v;) — = (c;) G?) (C.17)‘%\ qpj (3)2 + (37.\2 = — (G;? G) (C.18)\ nq) Appendix D. Calculational method 111 Appendix D Calculational method While most of the work presented in this thesis was done in collaboration, particular credit for systematizing the calculational methods presented in this appendix goes to D. Young who was one of our co-authors in [79] and [80]. This appendix itself is taken largely intact from [81]. D.1 Vertices and definitions Beginning with the known construction of H3) and IQ) in (2.87): 3 V) = lEa) )6(ar) (D.1) r=1 where Ea) and E,3) are exponentials of bosonic and fermionic oscillators respectively / 3 00 lEa) = exp a st atK) a)123 (D.2)rn(s) rnn n(t) \ r,s=1 m,n=—oo and /3 00 lEa) = exp ( (1a2tt() — rS a)123 (D.3)rn(r) n(s)r1à2) rnnrn(r)\r,s=1 rn,n=—oo I where a)123 = lO;ai) 0 0;a2) 0 0;a3). We then have Qi a’H3) = g2 f(ic3, — — (Ki? —8a — Ka1Kdl2a2S (Y)s12Z) — Ka1a1Ka2a2s* (Y)si2Z)] iv>,ala2 \ ala2 \ al) =g217f(/UY3,— ___(s12(Z)t/37l(Y)’7’ a3 (D.4) +is/312(Y)t (Z)K22)iV), /3272 a1 IQ31/32)=g2f(a3,—) k(*(y)t*(z)171a3 +is (Z)t/3272Y)K22)IV). /3172 Appendix D. Calculational method 112 where 3 3 K’ = K(s)c, K’ Kfl(S)a’(S) (D.5) s=1 nEZ s=1 nEZ 3 3 t12 Za = t1c2 = G1flI8i33 InI(s)!3n( , (D.6) s=1 nEZ s=1 nEZ and K7272 ‘‘7272 (D.7) where the a-matrices are defined in appendix A. We also have = o’ [1 + (Y + z4) + Y4Z4] 21 i _[Y2ii(l+±z4)_z2ii(l+±Y4)]+[Y2zj s’’ (i — —— (Y4 + z4) + -J_Y4z4] 12 144 — i [i1i — Z) — (1 — y4)] + [y2Z2]i’Y Here we defined y2Zi iiy2a1I31 , Z2 o Z2a11 (y2Z)ii y2k(iZ2i)k (D.8) &/3i and analogously for the primed indices. We have also introduced the following quantities quadratic and cubic in Y and symmetric in spinor indices y2 = y ya2 y2 = y yai (D.9) — ala2 /3 ‘ C2/32 — c1a2 /32 = y2 ya (D.1O) /322 ai and quartic in Y and antisymmetric in spinor indices y4 = y2 y27’ — 171 = 2/32 g272y= 62132y, (D.n) where y2 y2al/31 — y2 y22/32 (D.12) — aii3i — a2/32 The spinorial quantities s and t are defined as s(Y)Y+Y , t(Y)e+iY2_Y4. (D.13) Analogous definitions can be given for Z. The normalization of the dynamical generators is not fixed by the superalgebra at order 0(92) and can be an arbitrary (dimensionless) function f(u3,) of the light-cone momenta and t due to the fact that P is a central element of the algebra. Appendix D. Calculational method 113 D.2 Commutation relations Rules for (anti)commutation of /3 annihilation operator with Y and Z elements in the pre factor: 3 =G /t’1’2 (D.14)ml (r)P (r) r=1 n {/3 Y’’2 — G (D.15)71 72 rn(s), I — ImI (s) y 72 {/3y 72 rn(s), Yai (2} Girni (s)ai 7lEC2 72 (D.16) {/37172m(s), = G1m(s) (671 aiYi72 +€7iiYci2) (D.17) {/37 72m(s),c132} = G1m (s) (6722y12 +672/32Yy1cr2) (D.18) {/37172m(s),2} = Gimi(s) (f7iaiY 2 E722Y171 +Yai72Yy) (D.19) {/37i2m(s),4}= 4Glml(s)1’72 (D.20) And exactly the same for Z and the dotted indices D.3 Matrix elements Some useful matrix elements are (where (31 (c3I) = (Ku”7’ (31V) (D.21) Where s and any other internal string index is restricted to run over 1, 2 only. We also have, (31 a$ KkKIIV) = (KA R 6ik + K Kk S1 + KkK1 (s)i’\ (31V> (D.22)np p ) (31 (3)j Kk1iv) = (K (3) ik + K1 il öjkK_2o ofli 2 + j13s ct(s)ióik + f(s)i6jkfl2P P n’p (D.23) + K1 Kk 2P (s)j + K2 Kk 5j1fliP P + K,, A (p33 + 3s 3r (s)i (r)j\p aq ))(3IV) Appendix D. Calculational method fl4 (31 t171(Y) IV) = { (S — Qs3) () (6th71 + iY,71 + e171Y4) Jfl PU1Q•2 (D.24) + iG jU2 +f7Y1g2)— 1U2 } (31V)3 ITI (31 1a2t72 (Y) V) = { (as — s3 (s) (6272 + —flP PflJ P12 (D.25) + iG (22 Y72 + EU272 Yl2) + 272 T1U2 } (31V)3 8 s172(Y) IV) { (3s — s3) sf(s) (172 + ‘72) + G U272I’ flUU2 flP Pfl PU1U2 (D.26) + (c Y2 — Y + Yg Y172)} (3W) _______ j/1(3Ia Q2 ala2 = (l (n2 a1 th2 + (i i ni n2)) (D.27) We now construct the matrix elements we need in later calculations, for instance, QTh aii6a2/32 92 ____ e1thEa2I32(3l() oiQ.lQ312)= 4a { KL, + (s)i tlUl(Y) { (z2 +z2)3r f(r)n2q q71a2nip p j + G1€, + G1 z — z2 +z2z) }i2I32 y1â (3)s)i {cz:qI3t(r) I + c4 s12(Y) q y1à2 f32U2 — iZ — e1a Z4) G21 E1322 71232U2 + i G1 (22 Z712 + 22 Z12)}] (31V) + (i n1 n2) (D.28) where = — QT Appendix D. Calculational method 115 (3(3)ia(3)i H3) g2a’ öij+3s3r (r), 3 ifl2 nq p 1 x ({Kkkl — vkt — {Kk’i?l’ — —7— Sk’l’j v’’1’a’ a — K’ K2P2s12(Y)s12(Z) — K’ KP2s12(Y) + (K(3) K3 5ik 6fi + K3 K3 3j6jk + K$) i i(s) + i?I af(s)iöjkflu —fl2 —flu fl2 fl2P P + K1 Kk c4 5u1 + K2 Kk ö1) v’lflip p — (ii5iPi KP2P2 3s + iIiP1 K3K22fl2P P fl2 )s12(Y)s12Z) (s)i) s12(Y)s2(Z)] (31V)— (iiii K1K22 3s + K2 K2P2 a’flip p722P P (D.29) D.4 More matrix elements Consider (3’ a3’ K’r7iIV) = (K1 j7i’Y13s at’8 + KL2 j7i7i3s a’’fl fl2 flip pfl2P P (D.30) +k”’ flu fl2 and therefore g2i fl2 I’31/2) = 4c$V 2 x{s12(Z)t7i(Y)[Kia7’N ± K3 uj7135p p nip (D.31) ±K’ c5 +71r a81)]flifl2 q q fl2P + is13172 (Y)t (Z)272 /33 + as)i) }2Y2 flifl2 niq q fl2P We will need the following expressions: = — G{oi ±y4 )fl/31a2 — fl/312’ — 3 /3ir — 36 /3ic2 + ‘z’ (i + 1y4)] — 1 y2k(ii)k z+ [Y2iiZ 2 — ( &2 / a2)/3i /31’y1 a2f (D.32) Appendix D. Calculational method 116 = [ = G3 (Z3 ly43— n/37à2’ I’ 3 /icz — 36 /31a2j [ 1y2i’i’3 — ‘‘ 16z + 672zP2) (i — Y4)]+ 2 3 /312 P272 2 a2 272 f3 (D.33) We’ll also need the following Q2 a2 a3 k at(3)l k3) (c711ucot + (k-l, n1 -*n2)) 3)i (D.34) or = Qi/2a(3)kcl a3) = ‘ c L3 + (k l n1 Ti2)) Ica) ,,/]j (‘“fli° fl2’ 71171 (D.35) allowing us to calculate, g2 a’(,\1H3) (nh’ 3r ‘ 3s at(8)1{ [Kk — !- v — — ia 1 q(r)f2 niqj Th2P P — K’’ KP2P2 S2 (Y) 8P1P2 (Z) — 1P1 Kp 8 1Y (Z) }P1P2” I P1P2 jia. ] / ,,\71 + ].9 at(8{ — L- S] (w1)’ — — —- o,yi (w )2fl2P P + G3 K’’ K2P2 s(Y) — Z 62P2 z +z12 z’)]132P2 3 P1 132P2 —Ill + G3 1P1 KI2P2s12(Y)[ + “si’ z2 6f32p2 z’ +z12 z)] }3kPI 132p2In’ I + (K(3) K 6 + K2K o’i) { (_,3tri 3r ‘ v + (wf1)}fl2 .7 q(r)42 niq) — a’’ K3 K2P2 s (Y){s*(Z) (_ti 3r q(r)2 fhq)712 — G3 € (o’ Z2 f322 z’ + 4)] }mu 132P2 — 3 \ P1 12 P2 — — -1 P1 P1 T7(3) K2”s (YP1P2 ){si(Z) (_8ti 3rq(r)/ niq) — G3 [ P2 + 2 2 +z2 4’)]IniI 3Pi 2P2 + (k—*l,ni<--*n2) (D.36) Appendix E. Energy Shift for DVPPRT Vertex 117 Appendix E Energy Shift for DVPPRT Vertex This appendix contains the hitherto unpublished work by the author. It is therefore some what more detailed then the earlier appendices. E.1 Derivation of the “Master Formula” E.1.1 The two-string state <ely> and the number <vie >< ely> The simplest quantity that we shall need to compute is Fjc oi + 3r (r)it(s)itfs3l < Iv > (E.1)<ely> = <3I_n i >= [ -nfl q qfl] In the last expression, p and q are summed over all integers and r and s are summed from 1 to 2. This is a state in the two-string sector of the Hubert space. The state < ev > has Neumann matrices with creation operators for the two strings. Now, from Eqn. (E.1) <ely> = <&3lca?iv> Ijçr33 + ]f3r c(r)ita(s)ifJrs3] <o3Iv>L q qn we have <vie > P < ely >=< vi&3> [33 ó + 3r r)ifa(s)jts3l —fin —fip q qfl] .p [ir33 öki + < a3v > = +J N?T <vi&3 > (P6ui(1kta(s)tt + r)i(s)iSktp) <ö3Iv > N + —nn —np f3r ]TW < vö > ai 8)jPaktcrtt < °3i > NS3 (E.2)qn tn —np —n dO dO2 f 133 2 <vie>P<elv>= I <vNqia3><a3ivMp> U +/ jçr3r f5iii(qOs+PSi) < (s)kf(r)if > + < (r)i(s)j > 5k1) ]cr:+nfl —flp’ +I3r JT e90 < (r)i(s)jO)kt(t > jrs3 (E.3) —np —n qn flj Appendix E. Energy Shift for DVPPRT Vertex 118 Now, we have the formulae for contractions: < s)i(r)j >= 5(1 (eNeOr + eiP°sJcT,1 e1Ot1 Nj? eZl2Ot2 t2riqSr + (E.4)12q < (s)if((r)Jt >= (.iSi + N eul1Ot1N2eul2&t2N + (E.5) If we define (T3T = SsrSpqeePos r, s = 1, 2 (E.6)pq u8” = 0 r or s = 3 (E.7)pq The first two lines of the equation above combined with the <aa> and < crci > contrac tions of the third line give the result: 5ijkl {[N + NUNUN + NUNUNUNUN •• 2 det8(1 + UQUQ) =i—nnj det8(1 — UNUN) 2 ________ det8(1 + UQUQ)1 = Suio { [1 — UNUN] _} det8(1 — UNUN) The other two contractions of the last term produce ___________ _ ________ det8(1 + UQUQ)[N1 — UNUNUN] 1 UN] det8(1 —[ 1-UNUN and det8(1 + UQUQ)5iljk [N1 - UNUNUN] 1N - UNUNUN] det8(1 - UNUN)[ 1 Combined, these give <vie > P < ev >= 33331 d det8(1 + UQUQ) _ ___ _________ = J_ 2det8(1 — UNUN) (öi5k1 [N1 — U1NUN] -nfl [N1 — UNUN] 33 33 +obo [N1 - UNUNUN IN1 - UUN UN1J —nflL 33 33 +5ö [N1 UNUNUN] [N UNUNUN] ) (E.8) nn[_ 1— Appendix E. Energy Shift for DVPPRT Vertex 119 This can be decomposed into a contribution to the singlet <vie> P < eiv >1(1,1) = T d8a det8(1 + UQUQU) ( 33 det8(1 - UNUN) [N1 - UNUN] [N1 — UNUN] -nfl + [N1 J UN] IN UN]— N L 1—UNUN ] 33r 33 “ + [N1 - JNUNUN1 IN NUNU (E.9)inn L 1—U J_n,—nJ the anti-symmetric state <vie > P <eiv >1(6,1) = 33 33det8(1 + UQUQ) (1 1N 1 UN] [N1 — UNUNUN]Th2det8(1 — UNUN) 2 L 1— UNUN ,33 33 _ [1 - JNUNUNI [N 1 UN] ) (E.10)L 1— UNUN and the symmetric traceless state <vie > P <ely >1(91) = 33, 33 da det8(1 + UQUQ) (1 FN 1 UNI [N1 — UNUNUN]_nTh = 2det8(1 — UNUN) 2 L 1— UNUN 33 33 + [1 - UNUNUNI IN 1 UN] ) (E.11) , [ 1 — UNUN J E.1.2 The two-string state <Q2eIv> and the number <vIQ2e><Q2eIv> Now, we must consider the contribution of the states of the form <Q2eiv >=< Iv>n —n 00 ______ k(3) < ( 3/iit (3) ) i >—fl a1 kf1â2 k=-oo _______ * — j(3) __ __ = (3)67llJi <a3i_n12iv> +(n “ —n,i ,‘ j) = — 11 8(r) Qr3(3) <aaiv> +(n —n, i j) (E.12) ai/1’ q712 Appendix E. Energy Shift for DVPPRT Vertex 120 where this expression is summed over p, q, r, s, j3. The minus sign comes from transposition of Q. Then: <vQe > P < QeIv >= = 112a2 1< vI3> {ii(3r)(r)i5(s) (3s) + (n —n,i ‘ i)].‘ P qi3ia nqk3I (3f) (tjkf ,()t (3)P [u1*N_npap ! + (n — n, k -* 1)] <&aIv >} _€1a1Ea22_. n dO192 a3 f <VNQ3 >< 3VMP> •[J-i/31Ulth*N3r ]r3 < a)’/3 (f)kf()f > 3s1 —up —n I312 q/31c2 nq ijn < (r)j(8) (r)kt ()f P qthc21’ q31a2 —nq n1 flp —fl +u1u1*1/3? N3reo2o < r)i,3(8) (r)lt/3s)t > 3s3i —np nb 12 uq —fl +uu1*]3nI3fei < (r)j,38) clf()f > 3s c?’3 1 (E13) —nq q—niP P q/31c2 qthc2 Fermionic contractions are: < I 213q/3i/32 > = ai/3i6a2/32 (ewes — e’0 e19t tlt26il29t t2riqer + •..) (E. 14)1112 12q < (s)t a(r)fpa1a2q12 > 1fl122 %pq — Qpiie 1Qj12e2Qq+ (E.15) Using those and the properties + 2ö5 (E.16) we get: <vjQ3e>< Q3eI 4 f dO det8(1 + UQUQ) V > Icr3 2ir clet8(1 — UNUN) 331 _____________ • (öJlöik [Nu1 - NUNU N] [QQu1 + QUQU Q] 3333 +o1 [NU 1 _ 1- NUNU N] [Qu1 + QUQU QQ] 1 +öulöik [Nu 1 1- NUNU N] [Qu1 + QUQU Q] 33 r 33 +6jlö [Nu 1 Ni JQQU1 + ‘uQuQ]_,) (E.17)1-NUNU ]L Remaining terms are: <ve> Q2P < Q2eIv > + <vIQ2e> Q2P <ely> (E.18) Appendix E. Energy Shift for DVPPRT Vertex 121 First of those is: <vje> Q2P < Q2eIv >= 1 11çr33 +<vI&3> q qnjL —nfl 00 m(t) (t8tt + t13) ‘ mai m/31a2 mi m/31a2) m=-oo (3) ()kt)f + (n ‘ —n, k 1)] <3(v> (E.19)•P 12 Disregarding for now the trace component, we are left with: dO1 dO2 <vje> Q2P < ejQ2v >= 1 f < VNQIa3 >< 3jVMp>Vk3IIsI Hml/3i*f-3r JSJS’ < (r)i(s)j(t)i5(T)t (r)kt()f >Oi —np qn —n’,fl moj m/31a2 q/31c2 1/3i *j3r j3) —)(3) < r)i(s)j(t)1f (t) ()kf(.)f > — m1 mf31a2 q/31c2 _m(t)U1N3rjs3j(3f) (p3) a1 —np qn n < r)ia,s)i(t)fIB(t)t (f)1t()t >ma m/31c12 q/31a2 _j2m(t)0a1NT fs3f(3r) (3) —np qn _e00 < (r)i(s)ja(t)/1tB(t) ()1f()f >]mc m/3lcr2P q/31a2 Taking traceless Wick Contractions: <vie> Q2P < Q2eIv > <V1\/Ia3iiosI 2ir 27r NQIa3 >< a3iVMP > [_c2m(t)0i1*1d1J js3jçr(3f) ()r i(9+9) (< r)ia(f)kf >< >< (t)f ()t >np qn mai m/31a2 q/31c2 + < >< (8)j(ijkf >< (t)f $)f >p mal m/31a2 q/31c12 + < r)i(f)kt >< a(8)ja(t)1t >< (t) ()t > mcli i2 q/3ici +i < >< (3)j(f)kf >< (t) ()t >?flclj m/31cl2 q/31a2 J 3r (3)Qm(t)Ua.’ N_np qn _e’0(< (r)j()1t >< s)j(t)fi >< (t)I- (t >mdl m/3lc2 q/31a2 + < >< (s)jU)1t >< (t)t (f > p mcli m/31c12 q/31C2 j < >< (s)j(t)/it >< (t) ()t >md m131d12 q/3la2 + < r)ia(t)flf >< >< 0(t) (t >1 mdl mJ3lo2 q131c12 JJ Appendix E. Energy Shift for DVPPRT Vertex 122 Which is equal to: 4 I”’ d8a det8(1 + UQUQ) <vie> Q2P < eiQ2v > Vi3ilsi 2 det8(1 — UNUN) 33 33 [öilöik ([Nu1 - N’UNUN] FNUNU 1 1 UQQ1 1-NUNUTh+UQUQ 33 33 -i [Nu1 - NUNUN] [1 - UNUN1 + UQU UQlQ inn 33 -133 + [Nu1 - N1UNUN] FNUNU NUNU1 + UQUQUQII —n—n1— Qc1 -i [NU1 - NUNUN] fin [N1 - UNUN1 + UQUQU i -n-nj 33 33 5jki1 ([Nu1 - NUNU N] FNUNU 1 1 UQl n-n L 1 NUNU 1+ UQUQ j 33 33 _______ _______ 1 UQl -i [Nu1 - NUNUN]nn [N1 - UNUN1 + UQUQ i-nfl 33 33 _______ _ 1 UQl+ [Nu1 - N’UNUN] FNUNU1 - NUNU1 + UQUQ -nfl 33 33 \1 -. 1- NUNU N] [N1 - UNUN 1+ UQUQ UQl Iz[Nu 1 __ ____ i n_nj] (E.20) Similarly: <viQ2e> Q2P < ev >= 1 <via3> L ‘ P 00 • m(t) (ta1tt a(t)hult8( ) ‘m/31cz2 mai mfll2) m=-oo . [33 6/cl + <a3v> Appendix E. Energy Shift for DVPPRT Vertex 123 For traceless part this is: cr2a2 1 r d81 dO2 <VNQI3 >< a3IVMp>•<vQ2e> Q2P < ev > 6a1ã6 /Ia3HosI 2r 2ir [c j/3i*j-3r s3N(r)N)c < r)i)kt >< >< a(s) 3(t)f >m(t) al —np qn -•fJ q,n n q/31a2’ m/312 i < >< >< 3() 0(t)f > qP1c2 m131Q2 + < fr)i(f)kt >< >< (s) 5(t) > q/31a2 mf31c2 + < >< >< ,(s) ,8(t) >) mai 5 q1a2 m/31c2 +m(t)O1N3?I9 (j < >< (t).à1)1f >< $s) 8(t)f >i np’q—n —n5 7,n q/31a2 m/31c2 +i < >< (t)/1f)kf >< 3(3) 8(t)t > q131a2’ m/31cx2 + < >< >< 3() (t) >mai q/31a2 m13Jc2 + < >< >< /3() (t) >.21)mcfl qI31c2 m/31a2 ,‘j Or: 4 1 dOa det8(1 + UQUQ) <vQ2e> Q2P <ely >= _____ a38IJ_ 2 det8(1 — UNUN) 33 ,331 UNI[óiióik ( [Nu1 — NUNU N] , + UQUQ 1— UNUN inn UN1QUl+UQUNlJNU+[NulUNUNl FQUi N ] 33 33 -i [Nu1 - NUNUN] nn + UQUQ1 — UNUNUN]i —n—n QNiUUNUNl+ [Nu1 - NUNUN] FQUQU 1L 1 + QUQU ] —n—n/ 33 331 UN]6jkil (_ [Nu1 - NUNU N] n-n + UQUQ 1— UNUN ] -nn -133 33 ______ _ __ 1 UNI+ [Nu1 - UNUNI Fu1+ QuQul - UNUN Jin—n L 33 33 ______ ____ 1 UN]_j[NU1 ] [Q1+JQUQ1_UNUN in-n + [NU1 - NUNUN] FQUQU 1 nn 1 + QUQUN 1 - UNUNUNI Ii n_n) i (E.22) Taking into account that the expressions in square brackets which are odd in Q are anti- Appendix E. Energy Shift for DVPPRT Vertex 124 symetric in change of indices and that ones that are even in Q are symmetric we can add the two cross terms to get: 8 dOa det8(1 + UQUQ) <vQ2e>P<ev>+<ve>Q<>= det8(1_UNUN)/lc3IkS — 33 33 [Silöik ([Nu1 - NUNU FQUQU1+ UQU1 - UNUNUNj finj L 33 33 + [Nu1 - NUNUN] FQUQU1+ UQUl - UNUNUN] -fl-fl)L -i33 33 jk5i1 ([Nu1 - NUNUNI FQUQU1+ QUQU1 - J UN1NUN JL_ L 33 33 + [Nu1 - NUNUN FQUQU1+ QUQUNl - UNUNUN])]L (E.23) We can then combine all the above to get the full formula for traceless part of energy shift. 4 f dOa det8(1 + UQUQ)/J a3 2ir det8(1 — UNUN) 33 (Si1k [Nu1 - NUNUN] [EONU1- NUNUN + QQU1 + UQU 33 +QQUQU1 + QUQUN1 - UNUN UN] 33 +öulöik [Nu1 - NUNUN] [EONU1- NUNUN + QU1+ QUQU 33 +QUQU1 + QUQUNl - U’NUNUN] 33 +öikSut [Nu1 - N’uNuN] -nfl [EONU1 - NUNUN + QQU1+ QUQU 33 +QQUQU1 + QUQUN1 - UNUN UN] 33 +6jk1 [NU1 - NUNU N] [EONU1 - NUNU N + QU1 + QUQU 33 +QUQU1 + QUQUNl - UNUNUN] ) (E.24) Appendix E. Energy Shift for DVPPRT Vertex 125 E.2 4-impurity calculation At the 4-impurity level we have to take into account the determinants. Two posibilities for the 4-impurity contributions are one where two factors of U come from determinant expansion and two from the rest of the formula and the one where all four come from non- determinant part of the formula. To second order in U the determinant factor can be written as: det8(1 + UQUQ) det8(1 - UNUN) =1+ 8[Tr(UQUQ) + Tr(UNUN)] + ... (E.25) so 4the order in U contribution of will be of the form: 4 [d& /1, fr.3Lj 2ir 8[Tr(UQUQ) + Tr(UNUN)] . (öiköil[NUN]33 [NUN + QUQ] + ...) +(6ö1[NUNUNUN])[EoNUN + QUQ1] + ...) +[NUN][EoNUNUNUN + 2QUQUQUQ1 + QUQU2NUN] + ...) (E.26) where once again, integration over 0 is substituted for by direct level-matching condition that all indices on Us in in any given product add up to 0. To simplify the above lets make the following substitutions: — 1 sin(nIirr)(w+/3rw,) — 1 A3T (E27) P/3r 2is/ P/3rfl flJJ = ______ 1 (E.28) 47/Wsn1W2(,3r2Wsn1 +/3riWt’2) then N3T_ ‘E2 = —i4 (E.30) NW2 = /2 (w3 + /Lari ,/Wt + IIar2 + e(st)J Iiri — [Lr2)BW (E.31) = — !3rit)Bsrthl2 (E.32) In cases where both s and t are much smaller then u this can be written more compactly as: — 1 —sin(Inhirr)/ (E 33) 7t 1 (E.34) 8ir(iu)2(/3ri/3r) 7j3r_ I A3r _e\n) = —iA, (E.36) Appendix E. Eneggy Shift for DVPPRT Vertex 126 Trr1r2 — C) a a 12r1r2 — — .LVSt — I.La3IJri,Jr2. st — ______ 4KUO V’!3ri/r2 flT1T2 — •f,q a #pr1f2 ‘st — I-’r28 We can then generalize the cancelation from 2-impurity calculation by noting: [E0NUN + QUQ1] = (E0 — f1J[AUA] = 2n[AUA] (E.39) [E0NUN + QUQ] = (E0 — [AUA] = —2n[AUA] (E.40) [E0NUN + QQUQ] = (—E0 — = —2(w — a)[AUA] (E.41) [E0NUN + QQUQc2] = (—E0 — = —2(w — ,ua)[AUA] (E.42) In all cases (to all impurities), the above are multiplied by a term proportional to [AUAImm so the sum can be written as: 2n( [AUA] [AU.. .Aj -n- [AUA] [AU.. .A])+-- ([AUA]3[AU. .A]+[AUA] [AU. .A]) (E.43) It is obvious that the parts represented by 3 dots can be moved from one square bracket to the other so the first two terms cancel out and the second two can be writen compactly: (E.44) Therefore all the terms proportional to [E0NUN + QUQ2] will be of order rather then of order uc In 2-impurity case this brought the leading term from being of order 1 to being of order \ = In 4-impurity, as well as all higher impurity cases, this makes all terms containing [E0NUN + QUQQ] term subleading. To see this and to identify the leading order behavior we need to look into the ua dependance of the individual terms. We also have to take into account the indices that are being summed over that could in principle blow up to rival 1ua terms for any . To see that at 4-impurities, all indices are controled and kept finite by the poles we can look at a generic term: [AUA]I [AUBUBUAjmi A;1 + q + s + t =0= p q S t 1 1 1 1 = p q t prjflprflqr2mt4 .A3rlArlA3r2Br2 a Br3T4 A”3 E 45np pn’ mq q(—p—q—t) (—p—q—t)t tm’ Clearly the poles will controll the sum and the term will be of the form: [AUA], [AUBUBUA]mi = A;’A;ABpqt)Bq_t)tA (E.46) Where p,q and t are constants set by the values of the poles. Appendix E. Energy Shift for DVPPRT Vertex 127 With all the sums thus controlled only factors of A in the large i limit will come from factors of c and w = n2 + (au)2. Expanding w in large ,u limit we have: 1 (E.47) We can then count the highest possible order (baring any cancelations) in A coming from any term in the expansion so as to identify those terms which may contribute at order A. is clearly of order 1 and so are therefore N and which are its multiples. B’2 is of the order and so is Q2 (as long as the sums are controled) but the N2 has the (/w + c)2 term which makes it overall of order . Furthermore, E0 is of order ci and 2 is of order Lastly, as we have seen above [E0NUN + QUQc2] will be of the order Therefore: The highest order possible contribution from the various terms will be —-8[Tr(UQUQ)+Tr(UNUN)] (S61[NUN][E0N+ QQUQQ] +...) O()3) (E.48) ‘(ikSi1{NUNUNUN1)33[E NUN + QUQ] + ...) O() (E.49) ±[NUN][QUQUQUQJ + ...) < O() (E.50) ±[NUN][2QUQUc1NUN] + ...) O() (E.51) ±[NUN133[EONUNUNUN1 + ...) O() (E.52) Note how here fact that the internal N matrices are order in oqi higher then internal Q ma trices actually plays a pivotal role making it impossible for the two-impurity style cancelation to happen. Therefore, to find the order A contribution at the four impurity level we just have to calculate: I ([NuN][E0NuN UN]+ +[NUN][E0NUNUNUN] + +[NUN][ENU NUN]+ +[NUNj[EoNUNUNUN]) (E.53) Appendix E. Energy Shift for DVPPRT Vertex 128 This can be written as: SE4 4(2w) ç— a3/LL L.d /2V/q’ + /tri \/-‘t + fr3(’3 +[Lar2)sjn4(n1rr)(w4 +/3r4Wn)2(i’ + /3rin)(W + /3rn) 256i6ww4’W32(I3rW’ + /3rjw2)(/3r32 + 13r2) 1 1 1 + 1 1 PI3r4fl’ q+/3nt P+/3r4fl’ q—Int 1 1 1 1 1 1 1 1 11 p+np—nq+flt—fl In the case when all the summands are bound by poles and/or level matching we can take a simple large t limit: SE4 1 V’13r4 . 4i — •2—s’in n7rr 1L 2(cr3/.L)7r6 pqt /9r2 •_1 1 1 +_1 1 1 p/3r4flq+/tl p+/r4n’q/3rt/3 1 1 1 1 1 1 1 1 p+flp—flq+flt—fl p+flp—flq—flt+fl (E.55) With level matching condition to be imposed by hand. When all the impurities are on the same internal string then = = /3r3 ,8r4 = r (E.56) and the level matching condition is (E.57) Furthermore, at the poles, = (±rn)2 + (ra)2 = rw Wp = = Wt (E.58) Using contour integral method we can then write it in large ii limit as as: SE4(r) 2()2 sin4(nr) [a [cot(p)]prcot2(—nr) + ã [cot(p)]p_nrcot2(nr) + rncot2(_nh)c0t(nh) + -_cot2(n1rr)cot(_n7rr)](E.59) or, even more simply: 5E41(r) 1 2 1 1 -2 2 3 —cos (nirr)ir — —sin(nirr)cos (nirr) (E.60)I_I Q3/L1t Tn J Taking the large i limit and integrating over r we get: SE4,1 — 2 1 d r(1 — r) 5E4,i(r) — 1 (—1 3 E 61 — g2 r 2 — 2&3I22 + 642n ( . Appendix E. Energy Shift for DVPPRT Vertex 129 We also have to consider the cases where the impurities split between two strings. There are three such combination one being: /3r1 = 13r2 = r; I3ra = 13T4 = r’ (E.62) where r+r’=l (E.63) In that case, level matching gives us: s=—q;t=—p (E.64) In the same way then: = rw; Wt = = r’w (E.65) Using this and taking large u limit we get: 5E4,2(r) 1 sin4(nrrr) r’ — 1 — 1 — 2(&) it6 r (p — r’n)3(q + rn) (p + r’n)3(q — rn) 1 1 (p — r’n)2(p+ r’n)(q — rn) — (p + r’n)2(p — r’n)(q + rn) (E.66) Integrating over p and q and being carefull of the signs of r we get: £1’ f I 1u.c42rj r i 2 _____ _______ — - —2cos (nirr) + sn(n-irr)cos(nirr) (E.67) r (a3tii-)2 2r’nir with the single-pole contributions canceling out the contributions from Finaly integrating over r: SE4,2 — 2 f’ r(1 — r) 5E4,2(r) — —1 ( 2 27g21 7’ — 2221+ 22 (.68)I’ 2 it k3 [L \12 128ir n remaining two combinations are: /ri = /r4,/3r2 = r3 (E.69) and =13r3;/3r2 /3r4 (E.70) First of those is identical to the one evaluated above and the second gives: SE43 1 . 4, -/1 2(c3)ii-6 pq 1 21 1 1 21 1 1 1 1 2 1 1 1 1 + ( ) + ( )i (E.71)p+r’np—r’n q+rn p+r’np—r’n q—rn j Appendix E. Energy Shift for DVPPRT Vertex 130 6E4,3(r) 1 [ _sin(n7rr)cos(nlrr) + 1 sin(nirr)cos(n7rr)] (E.72)(3p)2 2r’n7r 2rnir E43 1 r(1—r) 6E4,s(r) 1 7 8 •\=g2f dr 2 23I22 642n2) (E.73) As in the two impurity case we still have to account for 0 modes, specifically for the case where one 0 mode exists on one string and 3 remaining ones are left on the other. Consider first case where: I3T = 13r2 = /3T3 = r , !3T4 = 1 — T (E.74) s=—q—t ; p=O (E.75) It should be noted that for some of the poles = (±2rn)2 + (r[Ic)2 rw, (E.76) However, as long as the both t and q are limited by the poles = rw = r/ta (E.77) will still hold in the large t limit so we can continue to use it. We can then write: 6E4,(r) 1 ________sin4(nhirr) 2(ä34u)ir6 r(1 — r)n2 +rn q—rnt—rn q+rnt—rn q—rnt+rn] — [1 1 1 1 1 1 1 1 q+rnt + + + —0 (E.78) Second 0-mode case is one with: I3ri !3r4 = = r 13r2 = 1 — r (E.79) p = —q — t ; s = 0 (E.80) In this case we have: sin (Inrr)öE4,5(r) 1 r2(ä3j)ir6 1 — r[ 1 21 1 1 21 1q+t+rn q+rnt+rnq+t—rn q—rnt—rn 1 1 1 1 + +q+t+rnq+t—rnq+rnt—rn 1 1 1 11 +q+t+Tnq+t_ rnq— rnt+rnj (E.81) We can simplify: sin ((n(irr)6E4,5(r) 1 r 2(&)ir6 1 — r[ ( 1 2 1 1 1 2 1 1• +(q+t+rn q+rnt+rn q+t—rn q—rnt—rn 1 1 ( 1 1 1 1 )1 (E.82)++ q+t+rnq+t—rn q+rnt—rn q—rnt+rn ] Appendix E. Energy Shift for DVPPRT Vertex 131 then using partial fractions: 6E4,5(r) 1 r sin Gnhirr)2(t)26 1 — r Fl/i 1 ‘\ 1 1 L çq+rn — q+t+rn) q+t+rnt+rn +-(1/1 1 ) 1 1 t q—rn — q+t—rn q+t—rnt—rn 17 1. 1 ________ ________ 1 1 1 1 (E.83)+—(2rn q+t—rn +t+rn) (q+rnt_rn+q_rnt+rn)j r sin (Inrr)E4,5(r) 2(3t)6 1 — rIL 11/ 1 1 ‘\ 1 1 1 )2i • [ q+t+rn q+rn) t+rn — q+t+rn t+rn + (_ — rn) t—1rn — q+ti_rn)2t_lrn q+t—rn — q+t+rn q+rnt—rn q_rnt+rn)] 8 4)1 1 1 )(i 1 1 1+ It can already be seen that with some shifting of variables like q’ q + t and such large parts of the above dissapear. Only thing that is left is: öE45(r) , _ • V’ r__sin4(nIr) 2(&3u)ir L.a’ 1 — qt _lr 1_)2_i +(_1_)2_1T [(q + rn t + rn q — rn t — rn] (E.85) The pole at t = 0 cancels out and we are left with 6E4,5(r) —l 1__sin(nr)cos(nr) (&31u)irn1 — r (E.86) 1 r(l — r) 6E4,5(r) 1 / 8öE4,5 = g / dr 2 = K21&31IL 642n2) (E.87)I-I Jo Finaly there is two cases where q Or t is equal to zero and is on the separate string. There: 2(&)26 e(q)sin4(JnJr)IL _ _ 2 +( 1 )2 1 1[p—rn q+rn(i—r)n p+rn q—rn(1—r)n +rnp —rn q +rn (1 —r)n + p +rnp —rn q —rn (1 —r)n] (E.88) Appendix E. Energy Shift for DVPPRT Vertex 132 tSE4,6(r) 1 1 2(ã3i)r5(1 — r)n sin3(nhirr)cos(Inirr) p 1 )2 + )2 1 1 1 1 1 (E.89)+ +L p—rn p+rn p+rnp—rn p+rnp—rnj SE4,6(r) 1 1 2(&3)ir5(1 — r)n sin3(nIirr)cos(Inirr) p 1 )2 + 1 )2 1 1 1 1 1 (E.90)+ +L p—rn p+rn p+rnp—rn p+rnp—rn] 1 1 1 2 2jsin(jnr)cos(InIr) + —sin (InIr)cos2(InIr)] (E.91)(&3)23 (1 — r)n L nirr SE4,6 2 r(1 — r) 5E4,6(r) (E.92)=g2 dr 2 We can then put it all together: SE425E,l++5E36 = 1 / 1 64 \ 2l&3j + 642n2) 93) SE2 SE4 2 /5 57 \ -2I22 (\ + 641r2n2) (E.94) Appendix F. Hamiltonian and the supercharges of the orbifolded string 133 Appendix F Hamiltonian and the supercharges of the orbifolded string F.1 Hamiltonian of the orbifolded string The action of the pp-wave string is derived using the formalism of Cartan forms [? ]. This formalism uses vielbeins and spin connections associated with the metric 3.9. As the actual form of the metric remains unchanged by the orbifolding, the entire mechanism discussed in [? ] applies for as long as no boundary conditions on the scalar and fermionic fields are used. As we are interested in the near pp-wave limit, we are in fact following formalism of the [? 1. As far as the effects of orbifolding to the order are concerned, however, there is no difference between the results derived from [? I and [? I. In both cases we derive the same Hamiltonian density: H = fd [(xi)2 + (pi)2 + (xu’)2] + + + 2ifl] (F.1) Where the prime indicates u derivative and the addition over all possible fermionic indices is assumed. Furthermore, the bosonic and fermionic fields are governed by the usual equations of motion: —ii”+x 0 (F.2) i(+’çb’)+fl=0 (P.3) However, the periodicity conditions of non orbifolded theory which demand that the xs and bs are periodic over the a coordinate are in our case replaced by the equations 3.21, 3.22 and 3.23. (Or 3.21, 3.24 and 3.25 if we are dealing with a case of two transverse directions being orbifolded). Before we proceed with solving the equations and integrating the Hamiltonian it is useful to note that for any x(a, ‘r) and (a, r) that solve equations F.2 and F.3 with standard periodicity conditions we can construct the (a, T) = e’x(o, T) and ‘zb(o, r) = e(o, r) where the phase governs the periodicity of the boundary conditions. This lets us use the known solutions of the F.2 and F.3 and simply making sure to insert the eAI or phase where appropriate. F.1.1 Bosonic interaction Hamiltonian It is obvious that the only part of the Hamiltonian that will be affected by the orbifolding will be a derivatives of the functions that have acquired the phase from the new periodicity condition. We can then write the interaction part of the bosonic Hamiltonian: = fda {0(+i8)8(7—i8) — 8(x7+ix8)O(x7— ix8)] (P.4) Appendix F. Hamiltonian and the supercharges of the orbifolded string 134 which, following the equation 3.21 can be re-written as: = f dcr [8[e(x7 + ix8)]8 [eW(x — ix8)] — 8(x7 +ix8)8,(x7— ix8)] (F.5) Which to the first order in is equal to: = fdcr27 [(x7 + ix)(x’ — ix8t) (x” + — ix8)] (F.6) or: = fda [x7x81 — x7’x8] (F.7) We can now use well known solutions of the F.2: x(u, T) = x(r) *(ae_T — teiwnT) (P.8) Substituting solutions P.8 into the F.7 we get: = fda i(n —m)x7nxsme_im (F.9) n,m = 4iriw (F.1O) 2iriw Z- [(7atneT — aae_iL1T) + (a7a, — at8cr7)] (F.11) After quantization, a are promoted to creation operators and the a into annihilation oper ators The part carrying the T phase then mixes the states of various number of impurities, second part however acts on the single impurity multiplet (as well as any other multiplet of n impurities) and breaks the energy degeneracy of that multiplet. For the multiplet aIO >;i = 1..8 (F.12) we diagonalize with the new set of eigenstates: aO >;i = 1..6,(a7+ic48)O>,(a7—ic48)IO> (F.13) The first 6 clearly remain degenerate with energy, E = w whereas latter two get energy splitting of order — 2irwn — i 2irwn F 14 — Wfl Mw’ — Mw In the case of orbifolding along the two transverse directions, an additional term would be added to the of the same form but with the oscillators in directions 5 and 6 replacing the 7 and 8 ones respectively. In this case, each new energy level would get two states rather then one. Appendix F. Hamiltonian and the supercharges of the orbifolded string 135 F.1.2 Fermionic interaction Hamiltonian A very similar argument holds for fermions. Fermionic part of the interaction Hamiltonian can be written as: — fd [a112a +t12a t +122Og12 +tD t 1 (F.1511int — ‘a 12 ‘ — fdu’ [cr112 +tah12,t _a122 _ta122t (F.16)112 à12 c122j Solutions of the F.3 are: 00 = 12(r)e2fl (F.17) fl= —00 1 //n1/32(T) = _____ A 132e_twflT + Bn12e1T)V’n/n2/ 00 /jf1I32(g, T) = fl=—00 = 1 (HBn12e_?2T — HAn f32eiWnT) 2/ A = (i/n— \/w+nH), B = (/w+n+/w—nH) Substituting back into the F.15 — —71W 1 F(AThA_ + BnB_n)(/3hl2/3_naii2— aj22 —2iwT (F.18)11int 4M +(AA_ + BB_)(/3hl2 ,t — atc1225f )e —n ‘flc112 ‘fl —nà1 +2(AnB_n — BA_)(3h’2!3 t122 1flC112 — /3fl /fla122)j 71W fl l-’—Th’112 — /-1fl 3_na2j)e_IT (F.19)H1 = 4M [2(ih12a Qcz122 n — 13tãi213 e2T — 8n( u12/3n12 3tc122i.)] flall2 fl —na1221 As with the bosonic case, there are two -r dependent parts that mix states of various number of impurities. For the energy splitting in the single impurity multiplet Hamiltonian is already diagonalized and we can see that 4 states break degeneracy into a pair of two-fold degenerate states: E5 E6 = — 2,rwn E7 = E8 = wj,-, + (F.20’)IVIC*)n Mw Where E5 and E6 correspond to states th122 0> and /3t2122 10> and E7 and E8 to states ,t3t111210> and,3t2112IO> In the case of two transverse directions the fermionic result is very similar except that the index structure on the fermionic oscillators matches that of the boundary conditions - that is to say all indices are dotted. Appendix F. Hamiltonian and the supercharges of the orbifolded string 136 F.2 Supersymmetries of the orbifolded string in near pp-wave limit We can now examine the supersymmetries of the pp-wave and see which are broken by the orbifolding. Supercharges can be written as: 00 (s) ak(s) (it18) + ie(&5)c’ (s)t Q2a1à2 = kai k/312 lcczi k=-oo (s)/32[ (s) (5)132 (s)f ‘\ ko2 I3kai/3 — e(aS)ak2Ik13) (F.21) 00 (s) ______ ç ( (s)13j (s) (s)j3i (s)fk(s) °ka /3k/31cr2 + ie(ã5)ckci 13k/31a2 k—oo ia(8)/32t/3(S) (s)f2 (s)f ‘\ — —e(c) c1i32 aka2 ki13) (F.22) where we define = — — e(k)/w + , e(x) = x/Ix (F.23) Obviously, in the strict pp-wave limit H1 disappears and thus all supersymmetries are preserved. To the first order in we have to consider which of the above commute with Ignoring the terms that carry the r phase we can write: 2iriw fl I a413’ — fRt’1l2 “ — 13ta1223 (F.24)n n it-’n Pnc,,1 n ncsl22)]M w [an — Using the (s) 1 i(s) (s) 1 an2c — a2a2 fl It is relatively easy to show that Qaij2] = 0, [H, Qa12 = 0 (P.25) Qai2] 0, {H1,Qaii2l 0 And that therefore exactly half the supersymmetries survive.
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- The AdS/CFT correspondence and string theory on the...
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
The AdS/CFT correspondence and string theory on the pp-wave Ramadanovic, Bojan 2008
pdf
Page Metadata
Item Metadata
Title | The AdS/CFT correspondence and string theory on the pp-wave |
Creator |
Ramadanovic, Bojan |
Publisher | University of British Columbia |
Date Issued | 2008 |
Description | Aspects of the AdS/CFT correspondence are studied in the pp.-wave/BMN limit. We use the light cone string field theory to investigate energy shifts of the one and two impurity states. In the case of two impurity states we find that logarithmic divergences, in the sums of intermediate states, actually cancel out between the Hamiltonian and a Q-dependent contact term”. We show how non-perturbative terms, that have previously plagued this theory, vanish as a consequence of this cancelation. We argue from this that every order of internal impurities contributes to the overall energy shift and attempt to give a systematic way of calculating such sums for the case of the simplest 3-string vertex (one proposed by diVecchia). We extend our analysis of the mass shift to the case of the most advanced 3-string vertex (proposed by Dobashi and Yoneya). We find agreement between our string field theory calculations and the leading order CFT result in the BMN limit. We also find strong similarities between our result and higher orders in the field theory, including, on the string side, the disappearance of the half-integer powers which generically do not exist in the field theory calculations. We also study the orbifolding of the pp-wave background which results in the discrete quantization of the light-cone momentum. We present the string field theory calculation for such a discreet momentum case. We also observe how a particular choice of the orbifold, results in the string theory corresponding to the quantization of the finite size giant magnon on the CFT side. We study this theory in detail with particular emphasis on its super algebra. |
Extent | 3289309 bytes |
Genre |
Thesis/Dissertation |
Type |
Text |
FileFormat | application/pdf |
Language | eng |
Date Available | 2009-03-02 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivatives 4.0 International |
DOI | 10.14288/1.0066996 |
URI | http://hdl.handle.net/2429/5310 |
Degree |
Doctor of Philosophy - PhD |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
GraduationDate | 2008-11 |
Campus |
UBCV |
Scholarly Level | Graduate |
Rights URI | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
AggregatedSourceRepository | DSpace |
Download
- Media
- 24-ubc_2008_fall_ramadanovic_bojan.pdf [ 3.14MB ]
- Metadata
- JSON: 24-1.0066996.json
- JSON-LD: 24-1.0066996-ld.json
- RDF/XML (Pretty): 24-1.0066996-rdf.xml
- RDF/JSON: 24-1.0066996-rdf.json
- Turtle: 24-1.0066996-turtle.txt
- N-Triples: 24-1.0066996-rdf-ntriples.txt
- Original Record: 24-1.0066996-source.json
- Full Text
- 24-1.0066996-fulltext.txt
- Citation
- 24-1.0066996.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.24.1-0066996/manifest