Couplings Between 11-Dimensional Supergravity Fields and The ABJM Multiple M2-Brane Theory by Hamed Karimi A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The Faculty of Graduate Studies (Physics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) September, 2009 c Hamed Karimi 2009 ii Abstract In this work we study the proposed model for multi M2-Branes by ABJM( Aharony, Bergman, Jafferis, Maldacena). We take an specific limit in moduli space of vacua of this model, and we will show explicitly that at this limit ABJM model becomes equivalent to maximally supersymmetric (2+1)dimensional Yang-Mills model. Then we find the currents that are coupled to background fields of ABJM model and will try to show that these currents are some of the currents of the relevant Yang-Mills model at that limit. We also discuss a field theory approach to get these results. iii Table of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . vi Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Introduction . . . . . . . . . . . . . . . 1.1 Perturbative String Theory . . . 1.1.1 Free Strings . . . . . . . . 1.1.2 Spectrum of Closed String 1.1.3 Superstring Theories . . . 1.2 Dualities and D-Branes . . . . . 1.2.1 T and S-Duality . . . . . 1.2.2 Dirichlet Branes . . . . . 1.3 M-Theory . . . . . . . . . . . . . 1.3.1 M2-Branes vs D2-Branes 1.3.2 Dynamics of M2-Brane . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 . 1 . 1 . 4 . 5 . 6 . 6 . 8 . 11 . 12 . 13 2 ABJM Proposal . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.1 ABJM Lagrangian . . . . . . . . . . . . . . . . . . . . . . . . 16 2.2 Multi D2-Branes Action From ABJM Action . . . . . . . . . 20 3 Supergravity Currents from ABJM Model . . . . . . . 3.1 Setup . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Relation of ABJM Currents to D2-Brane Currents . . . 3.3 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 25 30 32 Table of Contents iv Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 Appendices A Field Theory Calculations . . . . . . . . . . . . . . . . . . . . . 35 v List of Figures 1.1 1.2 1.3 1.4 2.1 Propagation of Closed String . . . . . . . . . . . . . . Open Strings End on D-Branes . . . . . . . . . . . . Web of Dualities and M-Theory . . . . . . . . . . . . Relation Between M-theory and Various Supergravity, string Theories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Super. . . . . 2 . 10 . 13 . 14 From M2-Brane Theory to D2-Brane Theory . . . . . . . . . . 20 vi Acknowledgements During my Master study, I was fortunate to get help, guidance and support from many people, and my acknowledgement reflects this. First, I like to thank my research supervisor, Dr. Mark Van Raamsdonk. Mark’s generous helps, guidances and supports inspired me to study physics. I also like to thank the second reader of my thesis Dr. Moshe Rozali and all the members of string theory group at the Physics Department. I specially like to thank my best friend MohammadSadegh Mashayekhi and all of my good friends, and thank them for all the good time that we have had during all these years. vii Dedication To my parents, my brothers and my sister 1 Introduction String theory, since its inception, has changed our understanding of fundamental physics. It began by unifying all different particles as distinct vibrational excitations of a fundamental one-dimensional object, named string. It is a quantum theory that has in itself gravity. And it is a promising candidate to our final goal, the unification of all the forces. By discovery of different dualities in the 1980’s and 1990’s, and pioneering work of Witten, string theory opened new doors and steps forward to reach that goal, in the context of M-theory. In the late 1990’s by breakthrough work of Maldacena[5], the AdS/CFT or gauge/gravity duality, people could use string theory to obtain some phenomenological models of particle physics such as Sakai-Sugimoto model. And also for the first time since the discovery of string theory, it could be used to predict some results that can be compared with experiment in quark-gluon plasmas. Recently people have used the AdS/CFT correspondence to get remarkable results in different areas of physics, specially Condensed Matter physics. This lead us to a better understanding of Strongly Correlated systems and High Tc superconductors. In this section I will briefly introduce basic ideas of string theory, dualities, D-brane and their dynamics and finally introduce M-theory and its relation to string theory. 1.1 1.1.1 Perturbative String Theory Free Strings To study the behaviour of string we need the action that describes the dynamics of string . The general action for interacting strings is a big goal and no one knows how to get that ; only some low energy effective actions around particular vacua have been found. The starting point to study strings and 1.1. Perturbative String Theory 2 their spectrum is to find the action for free strings[2],[3]. The action of free string is a simple generalization of free relativistic point like particle. We know that the action of free particle is, S = −m dτ The geometrical description of this action is straightforward and generalizable. This action gives the length of the world-line of the particle from a starting point to some final point. So by equation of motion, the stationary path would be an straight line. Figure 1.1: Propagation of Closed String Now suppose that string is propagating from point A to B,Fig[1.1] . As string is one-dimensional, it sweeps out a surface, this surface is called the world-sheet of the string. By analogy of point particle action we can simply find the action for a propagating string. The resulting action is called Nambu-Goto(N-G) action, and that is the area of swept surface, SN G = − T 2 dσdτ det(∂α X µ ∂β X ν Gµν ) (1.1) In above action (σ, τ ) are world-sheet parameters, X µ ’s are space time coordinates and Gµν is the metric, T is the tension of the string. 1.1. Perturbative String Theory 3 As it can be easily seen this action is highly non-linear and it is very difficult to quantize, even for flat space time. There is an equivalent way to get this action by introducing an auxiliary world-sheet metric. The resulting action is the Polyakov action , SP olyakov = − √ dσdτ hhαβ ∂α X µ ∂β X ν Gµν T 2 (1.2) And h = det(hαβ ). The Polyakov action and Nambu-Goto action are equivalent at least at the classical level. By finding the classical equation of motion of the world-sheet metric hαβ , we find that 1 Tαβ = Gµν ∂α X µ ∂β X ν − hαβ hα β ∂α X µ ∂β X ν Gµν = 0 2 (1.3) By taking a determinant of right hand side of above equation it can be verified that √ αβ hh ∂α X µ ∂β X ν Gµν = det(∂α X µ ∂β X ν Gµν ) This will return us back to N-G action. Both Polyakov and N-G actions have re-parametrization invariance. It means that by choosing different parametrization of world-sheet the action does not change. But Polyakov action is easier to dealt with. First, it is quadratic. And second, it manifestly has world-sheet Weyl scaling symmetry, such that under transformation hαβ → eφ hαβ , the action is invariant. By using re-parametrization invariance we can fix two of three degrees of freedom of world-sheet metric. By help of Weyl invariance we can fix the last degree of freedom of metric, and choose the so called Conformal Gauge for the metric −1 0 hαβ = ηαβ = (1.4) 0 1 Then for a flat space time metric we will have S=− T 2 dτ dση αβ ∂α X µ ∂β Xµ With this action the equation of motion simply is the wave equation, ∂σ2 − ∂τ2 X µ = 0 (1.5) 1.1. Perturbative String Theory 4 But to fully satisfy the invariance of the action, we need to also impose some boundary conditions. There are two type of boundary conditions, X µ (σ, τ ) = X µ (σ + π, τ ) or ∂τ X µ (0, τ ) = ∂τ X µ (π, τ ) = 0 (1.6) These boundary conditions leads to two different type of strings, Closed and Open string, respectively. 1.1.2 Spectrum of Closed String It is very straightforward to quantize string by the regular canonical quantization method. Having done that it becomes evident that vibrational excitations of string are carried out by operation of some creation operators, αµ† over the vacuum. By repeated operation of these operators we can build tower of all possible states known as Fock space. The mass spectrum of closed string is very interesting. First, the vacuum is Tachyonic, it means it has negative mass squared. Second, in mass-less sector , there are three kinds of excitations: 1- Scalar field, φ. It is called Dilaton and its expectation value determines the string interaction coupling, gs = e<φ> . 2-Mass-less spin=2 excitation. This is the graviton, the field responsible for gravity. So string theory manifestly has gravity in itself and it lives consistently in a quantum theory. 3-Anti-Symmetric rank-2 field, The Kalb-Ramond field. The quantization of string action has another remarkable consequence: And it becomes evident that to have self-consistent bosonic string theory space time dimension has to be 26!. Bosonic string theory has some problems such as • It only has bosons, but for ordinary matter we need fermions • D=26; space time dimension is 26, but we live in four dimensional world. 1.1. Perturbative String Theory 5 • Its vacuum is Tachyonic! Trying to solve these problems leads people to study string theories with fermionic degrees of freedom, or superstring theory that can address some of above questions. 1.1.3 Superstring Theories We know that the action for free fermion is the Dirac action ¯ µ ∂µ ψ LDirac = −iψγ We can simply generalize the bosonic string action to include fermionic degrees of freedom[7]. We add two dimensional world-sheet fermions to the string action, to get the free superstring action. In conformal gauge we have Ssuperstring = − T 2 dτ dσ(∂α X µ ∂ α Xµ − ψ¯µ ρα ∂α ψµ ) (1.7) ψµ+ is a two component ψµ− Majorana spinor. The Majorana condition simply means that ψµ+ and ψµ− are real in a suitable representation of the Dirac algebra. The above action is also globally supersymmetric, And it is important to mention that in contrast to bosonic string theory, superstring theory lives in space-time with dimension equal to 10. Here ρα are 2 × 2 Dirac matrices, and ψµ = By the mid 1980’s it became evident that there are five distinct superstring theories, • N = 2, Non-Chiral type IIA superstring theory • N = 2, Chiral type IIB superstring theory • N = 1, E8 × E8 heterotic superstring theory • N = 1, SO(32) heterotic superstring theory • N = 1, Type I superstring theory 1.2. Dualities and D-Branes 6 Having found these five superstring theories, some relations between them were found soon after their discovery. But a clear picture emerged only in the mid 1990’s by help of different dualities. This led to M-theory, such that different superstring theories are different limits of M-theory on different vacua. We will back to these relations between M-theory and string theory later. The last problem with string theory that has to be solved is 6 extra dimensions in superstring theory. The solution to this question is Compactification. It means that extra dimensions are compactified on a small manifold, M, so snmall that the present day experiments cannot resolve that distance. Of course manifold M, cannot be any arbitrary manifold, it has to satisfy the symmetry and equation of motions of string theory. Despite the fact that these manifold are so small that they cannot be seen directly by today experiments, their topological properties have significant effect on the types of field theories and phenomenological models on remaining 4-Dimensional space time. 1.2 1.2.1 Dualities and D-Branes T and S-Duality Even if we have not found a unique connection of different types of string theory to our 4-dimensional world, string theory greatly contributed to our understanding of physics by use of different dualities. Dualities are transformations that transforms the states and vacua of one theory to states and vacua of a distinct theory. There are many kinds of dualities in string theory, but in this section I will briefly introduce two of most important of them[6, 8, 9]. T-Duality T-duality was discovered in the late of 1980’s. It relates one string theory with a circular compactified dimension of radius R to a different string theory with compactified dimension of radius R1 . To see how it could happen , let us consider a closed string theory with one compactified dimension. There are two kinds of excitations for string. First, we have Kaluza-Klein(K-K) excitations. These excitations are general for any quantum field theory with a compactified dimension. For any such quantum theory to have well defined 1.2. Dualities and D-Branes 7 and single-valued wave functions for free particles we need, ψ(x) = ψ(x + 2πR), with x is coordinate along compactified direction. So to satisfy this condition we need that momentum along that direction to be a multiple of 1 R p= n R 2 so K-K excitations have contribution of Rn to energy squared. The second kind of excitations are peculiar to the character of closed strings as one-dimensional objects. For a closed string with tension T , that wind m-times around the compactifed direction there is another contribution of (2πRmT )2 in energy squared. So in units of 2πT = 1 we have, E2 = n R 2 + (mR)2 + ... (1.8) In the above equation ... means contributions from excitations of harmonic modes. From above equation it is obvious that if we do do the following transformations the energy does not change. m↔n R↔ 1 R It means that K-K excitations of one string theory on compactified dimension R, are winding modes of the other string theory with compactified dimension 1 , and vice versa. R The interesting point here is that from the viewpoint of closed strings there is no difference between a theory with compact dimension of R of R1 ?! What about open strings? For open strings there is no winding modes so it seems there is a paradox, that the dimension of world looks different in the limit of R → ∞, for closed and open strings. This paradox can be easily resolved by introducing D-branes, higher dimensional extended objects to which the ends of open strings attach. S-Duality Another exciting duality that discovered in the mid 1990’s is S-duality. Sduality maps the states and vacua of one string theory with coupling constant g, to other states and vacua of the same or different theory with coupling g1 . It is very interesting that the strong coupling regime of one theory is dual to the weak coupling regime of other theory. So by use of S-duality on can 1.2. Dualities and D-Branes 8 study a theory in the weak coupling regime by perturbative methods to learn about the strong coupling regime of the other theory. Web of Dualities Till now we have mentioned that there are five different consistent superstring theories in ten dimension. As we will see these theories are not exactly distinct, and are related to each other by different dualities. Here are few examples of different dual pairs in D = 10[9], • Type IIA string theory is T-Dual to type IIB string theory • SO(32) and E8 × E8 heterotic string theories are also T-dual to each other. • Type I and SO(32) heterotic are S-dual to each other. • Type IIB string theory is S-dual to itself. 1.2.2 Dirichlet Branes In string theory the strings are fundamental objects. There are also a variety of other objects like D-branes. As we saw, to minimize the action of strings we needed that strings have to satisfy some boundary conditions. There are two types of boundary conditions for open strings. One is that the ends have to be free. This is called the Neumann boundary condition. The other is that the ends of string have to be stationary. This is called the Dirichlet boundary condition. For Dirichlet boundary conditions it is needed some extended objects to restrict the ends of open string on them. These objects are called Dirichlet-branes or simply D-branes. D-branes can have any dimension between 0 to 9. D0-branes are like point particles and D9-branes are called worldvolume branes. Generally Dp-branes are D-branes that their spatial dimensions are p. Actually it is possible to extract D-branes from interacting string action, and D-branes are solitonic excitations of string field equations. Their tension is proportional to g1s , and exactly because of this they do not appear in perturbative study of string theory, as the perturbation is around gs = 0, so they are hidden in perturbation. 1.2. Dualities and D-Branes 9 Gauge Theories and D-Branes At the early stages of string theory, there was a way to introduce gauge symmetries to string theory. by use of non-dynamical Chan-Paton factors[6]. It is consistent with all symmetries of string theory, to add non-dynamical degrees of freedom to the ends of open string. By non-dynamical we mean that an end of open string prepared in one state will remain in that state or the hamiltonian of those degrees of freedom is zero. So in addition to the usual Fock space label there are other labels, i and j for each end of open string, so state of string is, N |p, ij λaij |p, a = (1.9) i,j=1 λaij is an N × N matrix and is called Chan-Paton(C-P) factor. The nondynamical structure of C-P factors, forces them to appear as a trace in interactions. So any amplitude of string interaction is proportional to, λ1ij λ2jk ...λnki = T r(λ1 λ2 ...λn ) (1.10) As it is evident, such an amplitude is invariant under U (N ) transformation as, λ ↔ U λU −1 An important thing about D-branes is that, they provide us a remarkable, geometrical picture of introducing non-Abelian gauge symmetries in string theory and understand the nature of Chan-Paton factors. For now suppose that we have two parallel D-branes, 1 and 2, and are separated by distance d,Fig-1.2. There are two kind of open strings, 1- Strings that both ends are on the same brane: the lowest excitations of these strings along D-brane are mass-less and represents U (1) symmetry. Then we have U (1) × U (1) gauge symmetry. 2- Strings that the ends are on different branes, the lowest excitations of these strings have mass proportional to d ∗ T . Now if we take the limit d → 0, an interesting thing happens: the lowest excitations of the second kind of strings will also become massless and with the first kind of string will represents the U (2) gauge symmetry. It is easy to generalize this picture to an arbitrary number of D-branes. So by use of D-branes, the meaning of Chan-Paton factors is that each number, i, will be 1.2. Dualities and D-Branes 10 Figure 1.2: Open Strings End on D-Branes the label of each brane. And also the nice geometrical picture of symmetry breaking will emerge: symmetry breaking is nothing but making D-branes separate. D-Brane Dynamics As we saw open strings are attached to D-branes, so D-branes interact with strings. Also as they are massive they can propagate closed strings and interact with other D-branes. It is very important to understand the dynamics of D-branes as they are reason for gauge symmetries and building blocks of constructing phenomenological models. For a single Dp-brane, the low energy effective action is described by Dirac-Born-Infeld (DBI) action Sp = −Tp dp+1 ξe−φ det(Gab + Bab + 2πα Fab ) (1.11) In the above action ξa are world volume coordinate of D-brane and Gab = ∂a X µ ∂b X ν Gµν and Bab = ∂a X µ ∂b X ν Bµν , are pull-back of space-time fields, metric and Kalb-Ramond field. In the above action the det(Gab ), is giving the world-volume of the Dp-brane and is similar to string Nambu-Goto action. For N coincident D-branes the fields become N × N matrices, so the 1.3. M-Theory 11 simple generalization of the DBI action is Sp = −Tp dp+1 ξe−φ T r det(Gab + Bab + 2πα Fab ) + O([X a , X b ]2 ) (1.12) The X a fields are describing the transverse coordinates, or position, of Dbranes and for a single D-brane the second part is obviously zero. 1.3 M-Theory Since the early stages of string theory, parallel to string theory, people studied various supergravity and supersymmetric theories[13]. One of them was the eleven dimensional supergravity(SUGRA) that was constructed at the late 1970’s. Based on supersymmetric arguments the largest possible spacetime dimension for a supersymmetric theory of gravity(spin < 2) is eleven. It has three kinds of fields, the graviton, gravitino(supersymmetric counterpart of graviton) and three-index anti-symmetric tensor gauge field Cµνρ . This D = 11 supergravity was thought to have major problems. First, it is non-renormalizable so it cannot be a fundamental theory. Second, it was impossible to do chiral compactification on it[8, 13]. Based on dimensional reduction and some other techniques people constructed other supergravity theories like i) Non-Chiral N = 2 supergravity (IIA) ii) Chiral N = 2 supergravity (IIB) iii) N = 1 supergravity/YM with E8 × E8 gauge group iii) N = 1 supergravity/YM with SO(32) gauge group All of these SUGRAs are effective field theory of similar superstring theories in infinite tension limit, except D=11 supergravity that is not the effective field theory of any string theory. As we have seen, different string theories are related to each other by dualities, and effective field theories of string theories are supergravity theories. All this evidence lead people to conjecture that all of these theories are different limits of a unique, fundamental underlying theory that people called it M-Theory. And D=11 supergravity is low energy effective field theory of it, and also strong coupling limit of IIA string theory is M-theory. In IIA string theory there are non-perturbative point-like excitations, D0branes. The mass of D0-branes is (ls gs )−1 . The claim is that D0-branes can 1.3. M-Theory 12 be interpreted as Kaluza-Klein excitations of M-theory on one circular compactified dimension. The mass of graviton in M-theory is zero so 2 = −PM P M = 0 M11 M = 0, ..., 10 (1.13) then in 10-dimension 2 − Pµ P µ = P11 µ = 0, ..., 9 (1.14) as the momentum along the compactified dimension has to be multiple of 1 then R11 n (1.15) M2 = R11 so if the conjecture is true then R11 = ls gs . This is the relation between the string coupling and the radius of the compactified direction. It can be verified, if D=11 SUGRA as low energy limit of M-theory and compactified D=11 SUGRA on a circle be effective field theory of IIA string theory. And it is true because dimensional reduction of D=11 SUGRA is IIA supergravity Fig.1.4. From the relation R11 = ls gs , something very interesting happens if we take the limit of gs → ∞. In this limit IIA string theory becomes eleven dimensional, How can it happen? The point is that we studied string theory by perturbation around gs = 0, so actually we studied string theory around R11 = 0 so by perturbation theory we cannot resolve the extra dimension. Now by all this we can complete the web that relates all the theories. In Fig.1.3 and Fig.1.4, the complete picture of dualities are depicted. 1.3.1 M2-Branes vs D2-Branes M-theory in not a string theory, because we know that a consistent superstring theory can live only in 10 dimensions but M-theory is 11-dimensional. So what are the fundamental objects in M-theory? To answer this question we need to look at the field content of M-theory. In low energy limit it becomes D=11 SUGRA and we know that it has a three-index gauge field Cµνρ , in addition to graviton. 1.3. M-Theory 13 Figure 1.3: Web of Dualities and M-Theory For a point particle, the one-form field is coupled to its world-line, and for the string, a two-form field Bµν is coupled to string world-sheet. So we expect that this three-form gauge field has to be coupled to 3-dimensional worldvolume of a 2-dimensional object, people called this 2-dimensional object, membrane or M2-brane. So the fundamental object of M-theory is M2-brane. What is the relation between strings in 10-dimensional string theories and M2-branes? The answer is very simple as we said IIA string theory is low energy limit of compactified M-theory, so if we wrap an M2-brane around compactified dimension in the other 10-dimensions it looks like an string. And if M2-brane is not wrapped then it becomes ordinary D2-brane in D=10, string theory. 1.3.2 Dynamics of M2-Brane Having known the fundamental object in M-theory, It is important to find the action that describes the dynamics of it. For a single M2-brane the action 1.3. M-Theory 14 Figure 1.4: Relation Between M-theory and Various Supergravity, Superstring Theories is a generalized version of Nambu-Goto action (only for bosonic part), SM 2 = −T d3 σ( −det(hαβ ) + αβγ ∂α X µ ∂β X ν ∂γ X ρ Cµνρ ) (1.16) In above action T is the tension of M2-brane, Cµνρ is the three-form background field and hαβ = ∂α X µ ∂β X ν gµν , is the pull-back of metric to the world volume. With an auxiliary world-volume metric hαβ , this action can be written as, SM 2 = − T 2 √ d3 σ[ −h(hαβ ∂α X µ ∂β X ν gµν ) + αβγ ∂α X µ ∂β X ν ∂γ X ρ Cµνρ )] (1.17) Finding the action that describes the world-volume of multiple M2-branes was a challenging work, it could not be simply generalized as we did for D2branes. The reason is that the number of low energy degrees of freedom for N D2-branes is N 2 , this is reasonable as we are dealing with U (N ) gauge symmetry that have N 2 generators. But for stacks of N M2-branes, with many different methods, such as entropy calculations and supergravity methods, people found that the number of 3 degrees of freedom is proportional to N 2 . So it was very difficult to find an 1.3. M-Theory 15 action that gives these results, until the recent pioneering work of Bagger and Lambert[11] and Gustavson. A few month later, ABJM(Aharony, Bergman, Jafferis and Maldacena)[14] conjectured that an U (N )×U (N ), 3-dimensional superconformal Chern-Simons matter theory can describe the multiple M2brane action. The rest of this work is as follows. In the next section we will describe, the ABJM proposal and we will show that in some particular limit it becomes the maximally supersymmetric 2 + 1-dimensional Yang-Mills theory. Then we will try to find coupling of supergravity fields, metric and three-form, to sources and compare them to results for the D2-brane theory. 16 Chapter 2 ABJM Proposal As we described in the introduction, from the results of supergravity, the number of degrees of freedom for N stacks of M2-branes, is proportional to 3 N 2 [12]. This scaling, suggests that the underlying microscopic theory that describes the dynamics of M2-branes is not trivial generalization of action of single M2-brane. It was believed, from SUGRA, that world-volume theory of multi M2branes is dual to M-theory on AdS4 × S 7 , space time[15]. Since the late of 1990’s, people have tried to find the microscopic theory of multi M2-branes with different number of supersymmetry, but till recently that by pioneering work of Bagger and Lambert has resulted in the construction of three dimensional conformal field theory that describes low energy effective field theory of multi M2-branes, by ABJM, in different M-theory backgrounds. In this section we first describe the ABJM proposal, and then by taking certain limit, will derive the multi D2-brane action from ABJM action in specific limit. 2.1 ABJM Lagrangian The ABJM proposal is believed to describe dynamics of multi M2-branes in C 4 /Zk orbifold[14–16]. It is a N = 6 superconformal gauge theory with gauge group G = U (N ) × U (N ), with gauge fields Aµ and A˜µ that have Chern-Simons kinetic term of level (k, −k). Its matter contents are composed of four complex scalars ZA (A=1,2,3,4), this scalar fields are describing complexified eight coordinates transverse to M2-branes world-volume , and ¯ A . Which both four 3-dimensional spinors ΨA , and their adjoints Z¯ A and Ψ ¯ ) for ZA , ΨA , and (N ¯ , N ) for Z¯ A , Ψ ¯ A , under the of them transforms as (N, N gauge group G. In addition to gauge symmetry, it also has global SU (4) R-symmetry, which fields(scalar and spinors) with lower index , labels the 4 representation of 2.1. ABJM Lagrangian 17 R-symmetry, and fields with upper index labels the complex-conjugate ¯4 representation. The Lagrangian of ABJM model is L = LCS + Lkin + LYukawa + Lpotential (2.1) Where 2 2 k µνρ ε tr Aµ ∂ν Aρ − i Aµ Aν Aρ − A˜µ ∂ν A˜ρ + i A˜µ A˜ν A˜ρ 4π 3 3 ¯ A γ µ Dµ ΨA , −tr Dµ Z¯ A Dµ ZA − iΨ 2πi ¯ B ΨB − ZA Z¯ A ΨB Ψ ¯B = − tr Z¯ A ZA Ψ k 2πi ¯ A ZB − 2ZA Ψ ¯ B ΨA Z¯ B − tr 2Z¯ A ΨB Ψ k 2πi ABCD ¯ B ZC Ψ ¯ D + 2πi ABCD tr Z¯ A ΨB Z¯ C ΨD − tr ZA Ψ k k (2.2) LCS + Lkin = LYukawa and Lpotential = + 4π 2 tr ZA Z¯ A ZB Z¯ B ZC Z¯ C + Z¯ A ZA Z¯ B ZB Z¯ C ZC 3k 2 +4ZA Z¯ C ZB Z¯ A ZC Z¯ B − 6ZA Z¯ A ZB Z¯ C ZC Z¯ B (2.3) We are basically using the convention of [15], and the covariant derivatives are Dµ ZA = ∂µ ZA − iAµ ZA + iZA A˜µ Dµ Z¯ A = ∂µ Z A − iA˜µ Z¯ A + iZ¯ A Aµ (2.4) As we said the ABJM model has N = 6 supersymmetry, whose transformaton rules for gauge fields are 2πi AB ¯ B + ηAB γµ ΨB Z¯ A η γµ ZA Ψ k 2πi AB ¯ = η γµ ΨB ZA + ηAB γµ Z¯ A ΨB k δAµ = δ A˜µ (2.5) 2.1. ABJM Lagrangian 18 And for the matter fields δZA = −iηAB ΨB 4π Z[C Z¯ C ZB] η BA 3k 4π ABCD 8π ZB Z¯ E ZC ηDE ZB Z¯ A ZC η BC − + 3k 3k δΨA = γ µ Dµ ZB − (2.6) In above equation, γµ is two dimensional Dirac matrices and η AB is supersymmetry transformation parameter that has the following peoperties, η AB = −η BA ηAB = η AB ∗ = 1 2 ABCD η CD (2.7) ˜ are given And finally the infinitesimal gauge transformations, by Λ and Λ, by δAµ = Dµ Λ = ∂µ Λ + i[Aµ , Λ] ˜ = ∂µ Λ ˜ + i[A˜µ , Λ] ˜ δ A˜µ = Dµ Λ ˜ δZA = −iΛZA + iZA Λ (2.8) There are some interesting points about ABJM model. First, The ChernSimons level k is quantized integer, and because of its quantized nature the conformal symmetry persists at the quantum level. In the large N limit, it is easier to introduce a ’t Hooft like coupling λ = Nk , so it is evident that for small k the model is strongly coupled and very hard to dealt with, but for large k it is weakly coupled. We will return to discuss this situation more. Finally it is constructive to study the vacuum moduli space of the model at classical level V (φ) = 0. It is known that the potential part of Lagrangian can be written in quadratic form as V = 2π 2 C ¯ AB T r(WAB WC ) 2 3k (2.9) with C WAB = ¯ CAB = W 2ZA Z¯ C ZB − δBC ZA Z¯ D ZD − δAC ZD Z¯ D ZB − (A ↔ B) 2Z¯ A ZC Z¯ B − δCB Z¯ A ZD Z¯ D − δCA Z¯ D ZD Z¯ B − (A ↔ B) (2.10) 2.1. ABJM Lagrangian 19 to have V = 0, it leads to the equations of motion ZA Z¯ C ZB = ZB Z¯ C ZA Z¯ A ZC Z¯ B = Z¯ B ZC Z¯ A (2.11) This implies that the hermitian matrices, ZA Z¯ C , has to commute with each other. So up to some gauge, ZA can be written in diagonal form, ZA = diag(zA1 , zA2 , ..., zAN ) (2.12) It means in that point of vacuum moduli space the gauge group U (N )×U (N ) is broken to U (N )N , by keeping also the diagonal elements of the gauge fields Aµ and A˜µ , Aµ = diag(a1 , a2 , ..., an ) A˜µ = diag(˜ a1 , a ˜2 , ..., a ˜n ) µ µ µ µ µ µ The classical low energy, bosonic part of the Lagrangian becomes, k µνρ i i (aµ − a ˜iµ )fµν L=− |Dµ zAi |2 + 4π i i (2.13) ˜i )/2. Now we add a total ˜iµ ), and f i = d(ai + a Where Dµ zAi = ∂µ zAi − i(aiµ − a derivative term to above Lagrangian, that term is 1 µνρ i ∂µ θi fνρ 4 i and θ is normalized to have 2π period. Why this term is total derivative is because µνρ i i i i ∂µ θ fνρ = µνρ (∂µ θi fνρ + θi ∂µ fνρ ) (2.14) By use of Bianchi identity the last expression in right hand side of above equation is zero, so the added term to Lagrangian is total derivative. Now i by integrating out the field fµν we will have k(aiµ − a ˜iµ ) = ∂µ θi (2.15) Then the action simplifies to i z˜Ai = e−iθ /k zAi |∂µ z˜Ai | L=− (2.16) i So by use of 2π periodicity of θi , we will have the vacuum moduli space is C 4 /Zk N N /SN (2.17) in here, (C 4 /Zk ) is because zAi (A=1,2,3,4) are complex fields and are im2πi portant up to a phase,e k , as θi have periodicity of 2π, and the power of N is because i is going from 1 to N . 2.2. Multi D2-Branes Action From ABJM Action 20 Figure 2.1: From M2-Brane Theory to D2-Brane Theory a) is multi M2-branes at distance r of orbifold origin with cone angle 2π b) k r by taking the limit of (r, k) → ∞ and k constant, the orbifold will become like a cylinder 2.2 Multi D2-Branes Action From ABJM Action In this section we want to derive the action of mltiple D2-branes from multi M2-brane action of ABJM model. For doing that we put N stacks of M2branes at distance r, of the orbifold origin. This means we are probing the action, at specific point of vacuum moduli space, such that < ZA >= rδA4 . By doing this we explicitly are breaking the U (N ) × U (N ) gauge symmetry to U (N ). We expect that by taking the limit of (k, r) → ∞, we can get the low energy effective action of multi D2-branes of IIA string theory, and will show it explicitly in this section. But for now let us get some physics of behind the calculations. In Fig(2.1) we depicted the orbifold background at different limits, Fig.2.1(a) is N stacks of M2-branes at distance r of orbifold origin, < ZA >= rδA4 , with orbifold cone angle of 2π , and d = 2πr . In the limit of k k 2.2. Multi D2-Branes Action From ABJM Action 21 (k, r) → ∞ by keeping kr as constant and finite, d will remain finite and we reach to Fig.2.1(b), and for M2-branes the geometry looks like one direction is compactified on circle. We said that M-theory compactified on circle is IIA superstring, so in this limit we expect to get multi D2-brane action with gY M coupling as 4πr (2.18) gY M = √ k 2N To clarify the procedure, we choose ZA = rδA4 + ZA , such that ZA are fluctuations around vacuum. Then we will see that some fields will become massive with mass proportional to r, then by integrating out those fields we will find a low energy effective Lagrangian that is equivalent to, N = 4 Super Yang-Mills matrix model. 1 −1 T r( Fµν F µν − Dµ xi Dµ xi − iΨΓµ Dµ Ψ 2 2gY M 2 ¯ i [xi , Ψ]) + [xi , xj ]2 + iΨΓ LSY M = (2.19) i,j First to see which fields become massive, let us assume that ZA = rδA4 , then from Eq.(2.4) we see that Dµ ZA = −(Aµ − A˜µ )rδA4 Dµ Z¯A = +(Aµ − A˜µ )rδA4 Then by using above equation we have LABJM = LCS + r2 T r([Aµ − A˜µ ]2 ) (2.20) So we see that Aµ − A˜µ becomes massive. By use of this, we introduce new combinations of gauge fields as ˜ A+ µ = Aµ + Aµ ˜ A− µ = Aµ − Aµ (2.21) as we have broken the U (N ) × U (N ) gauge symmetry to U (N ), so in Eq.2.8 ˜ then it is evident that A+ and A− are transforming as a we have Λ = Λ, µ µ gauge field under broken symmetry. By using this combinations, the kinetic part of gauge fields become Lgauge = k π µνρ i − − − + + + T r(A− µ (∂ν Aρ − iAν Aρ ) − Aµ Aν Aρ ) 3 (2.22) 2.2. Multi D2-Branes Action From ABJM Action 22 for the rest of this section, I will take ZA = rA + ZA , but at the end will replace rA by rδA4 . For sake of simplicity, we will absorb a factor of k into the A− µ . As we will integrate out this field, at the end, this does not affect anything. So by − changing kA− µ → Aµ the Eq.2.22 becomes Lgauge = now by defining, eA = Dµ Z¯ A Dµ ZA ˜ µ ZA D 2i − − − 1 µνρ T r(A− A A A ) µ Fνρ − 2π 3k 2 µ ν ρ + + + Fµν = ∂µ A+ ν − ∂ν Aµ − i[Aµ , Aν ] rA , k (2.23) the kinetic part of scaling fields become i − ¯A ¯A − ˜ µ Z¯ A + 2i¯ D eA A− µ + (Aµ Z + Z Aµ ) k i − − ˜ µ ZA − 2i¯ D eA A− ∗ µ − (Aµ ZA + ZA Aµ ) k + := ∂µ ZA − iAµ ZA + iZA A˜+ µ = (2.24) Now by taking the limit of (k, r) → ∞ and keeping eA as finite, we see that terms proportional to k1 and k12 in Eqs 2.23 and 2.24, will disappear and Chern-Simons + kinetic part of scalar fields become, L = Tr 1 2π µνρ ˜ ¯A A− eA A− µ Fνρ − Dµ Z + 2i¯ µ ˜ µ ZA − 2ieA A− D µ (2.25) As we said before, from above action it can be easily seen that A− µ is massive and action is quadratic in terms of it. So by easily integrating it out we have ˜ µ Z¯ A D ˜ µ ZA − L = −D 1 ˜ µ (Z¯ − Z) + 1 (2iD 2 16e 2π µνρ Fνρ )2 Z = e¯A ZA (2.26) As we said before ZA are complexified, eight coordinates transverse to worldvolume of M2-branes and actually ZA = xA + ixA+4 Z¯ A = xA − ixA+4 (2.27) and xi (i=1,...,8) are transverse coordinates of world-volume. Now by taking e¯A = eA = eδA4 , with e = kr we have ˜ µ Z¯ A D ˜ µ ZA ) + (D ˜ µ x8 ) 2 − L = −T r (D 1 1 F2 − 2 2 32π e 4eπ µνρ ˜ µ x8 Fνρ D (2.28) 2.2. Multi D2-Branes Action From ABJM Action 23 It is obvious that in the first and second term, the kinetic part of x8 will cancel out. It only remains to show that the last term is zero or is a total derivative to get rid of x8 . We need to only have seven scalar field, because D2-brane of IIA string theory has 7 coordinate transverse to itself, as superstring is 10-dimensional. The last term of Eq.2.28 is actually a total derivative, to see this let us take the following equation ˜ µ( D µνρ x8 Fνρ ) = µνρ ˜ µ x8 Fνρ + x8 D µνρ ˜ µ Fνρ D The rhs of above equation is total derivative. By use of Bianchi identity we have ˜ µ Fνρ ) T r( µνρ D finally by use of this and using xi in terms of ZA we reach to 7 ˜ µ xi D ˜ µ xi ) − (D LCS+kinetic = − i=1 1 Fµν F µν 32π 2 e2 (2.29) Now we want to find the above limit for the other terms of ABJM action. First, for interaction part Eq.A.3. As the same as before by replacing ZA → rA + ZA and doing tedious algebra we find that Lpotential ∝ [ZA , Z4 + Z¯ 4 ][Z¯ A , Z4 + Z¯ 4 ] − [Z4 , Z4 + Z¯ 4 ][Z¯ 4 , Z4 + Z¯ 4 ] + [Z¯ A , Z¯ B ][ZA , ZB ] + [Z¯ A , ZB ][ZA , Z¯ B ] (2.30) In above relation A = 1, 2, 3, 4 and A = 1, 2, 3. It is easy to see that there is no term with x8 in above equation. Because if we take A = 4 then the first and second term will cancel each other. So finally by using xi as the same as before the above equation will simplifies a lot and 7 Lpotential = −8e2 π 2 [xi , xj ][xi , xj ] (2.31) i=1 It only remains to find kinetic part of spinors and Yukawa part of the action. For kinetic part we have ˜ µ ΨA − i (A− ΨA + ΨA A− Dµ ΨA = D µ) k µ + ˜ µ ΨA = ∂µ ΨA − iA+ D µ ΨA + iΨA Aµ 2.2. Multi D2-Branes Action From ABJM Action 24 ˜ µ ΨA . The only remaining part so in the limit of k → ∞ we have Dµ ΨA = D is Yukawa part by doing exactly the same as before, we get LY ukawa = 4πe[x8 (ψ¯A ψ A − ψ A ψ¯A ) + ψ¯4 (ZA ψ A − ψ A ZA ) + ψ 4 (ψ¯A Z¯ A − Z¯ A ψ¯A ) + A B C (ψ¯A ZB ψ¯C − ψ A Z¯ B ψ C )] (2.32) As the same as ZA we can write ΨA ’s in term of SO(8) Majorana spinors ψi such that ΨA = iψA − ψA+4 ¯ A = iψA + ψA+4 Ψ (2.33) by using Majorana conditions on ψi it can be easily shown that there is no term that contain x8 in Eq.2.32. It is also possible to write down the Yukawa term in a compact form [18, 19] as LY ukawa = − gY M ¯ i [xi , Ψ]) T r(ΨΓ 2 (2.34) In above equation gY M is defined in Eq.2.18 and Ψ is SO(2, 1)×SO(7) spinor Ψ = ψ1, ψ2, ψ3, ψ4, ψ5, ψ6, ψ7, ψ8 T which Γi are defined in [18]. So finally we got all the terms of N = 4 SYM, and we explicitly showed that in the limit of weak coupling of ABJM model we will get the multi D2-branes action of IIA superstring theory as expected before. 25 Chapter 3 Supergravity Currents from ABJM Model As we described in previous chapter, ABJM proposal is believed to describe the low-energy physics of world-volume of multi M2-branes on R8 /Zk . By complexifying the coordinates, we introduced z I such that there is an equivalence relation on z I z I ≡ e2πi/k z I We also found that by probing the multi ABJM model at specific point in moduli space, we will get the action that describes the dynamics of multi D2-branes of IIA string theory. In this chapter we want to derive the coupling between M2-brane degrees of freedom (currents) with the bulk of eleven dimensional supergravity fields (sources). Then by taking the limit that we introduced in previous chapter, we expect that in that limit those currents of ABJM should reduce to the known the currents of D2-branes in IIA string Theory. 3.1 Setup As we have known the degrees of freedom, field content, in ABJM model are: hAB the metric that is the field of graviton, ΨA the gravitino field and AABC the anti-symmetric gauge field. There is also a magnetic dual of gauge field which is five-index anti-symmetric tensor, and is supposed to couple to world-volume of some M5-brane, AA1 ...A5 . In general the coupling between above fields and background fields is S= d3 xd4 zd4 z¯ 1 1 1 hAB T AB + AABC J ABC + AA1 ...A5 J A1 ...A5 + iψA S A 2 3! 5! (3.1) It is convenient to write above equation in terms of fields that only depends on coordinates along M2-brane. To do that we have to integrate out 3.1. Setup 26 the transverse coordinates of world-volume of M2-brane. For a field φ on R8 /Zk , we can expand it as a Taylor expansion along coordinates transverse to M2-brane, ∞ φ(z) = k|(m−n) 1 1 φI ···I J1 ···Jn z I1 · · · z Im z¯J1 · · · z¯Jn m! n! 1 m (3.2) In above equation we have to restrict the only values of k, such that k|(m− n), because we assumed that our fields are invariant under transformation z → ωk z,such that ωk is k th -root of unity. In equation (3.2) we have φI1 ···In J1 ···Jn ≡ ∂I1 · · · ∂Im ∂¯J1 · · · ∂¯Jn φ(0) (3.3) by pluging above equation into Eq(3.1) we have ∞ 3 S = dx k|(m−n) T AB;I1 ···Im J1 ···Jn (x) ∞ d3 x + k|(m−n) J 1 1 1 ∂I1 · · · ∂Im ∂¯J1 · · · ∂¯Jn hAB (x) ∗ 2 m! n! ABC;I1 ···Im ∞ J1 ···Jn (x) d3 x + k|(m−n) M 1 1 1 ∂I1 · · · ∂Im ∂¯J1 · · · ∂¯Jn AABC (x) ∗ 3! m! n! 1 1 1 ∂I · · · ∂Im ∂¯J1 · · · ∂¯Jn AD ABCDEF (x) ∗ 6! m! n! 1 ABCDEF ;I1 ···Im ∞ d3 x + i k|(m−n) S A;I1 ···Im J1 ···Jn (x) 1 1 ∂I · · · ∂Im ∂¯J1 · · · ∂¯Jn ψA (x) ∗ m! n! 1 J1 ···Jn (x) (3.4) In above equation the multipole moments are defined as T AB;I1 ···Im J1 ···Jn (xµ ) = J ABC;I1 ···Im J1 ···Jn (xµ ) = d4 zd4 z¯z I1 · · · z Im z¯J1 · · · z¯Jn T AB (x, z) d4 zd4 z¯z I1 · · · z Im z¯J1 · · · z¯Jn J ABC (x, z) 3.1. Setup M ABCDEF ;I1 ···Im J1 ···Jn (xµ ) = 27 d4 zd4 z¯z I1 · · · z Im z¯J1 · · · z¯Jn M ABCDEF (x, z) S A;I1 ···Im J1 ···Jn (xµ ) = d4 zd4 z¯z I1 · · · z Im z¯J1 · · · z¯Jn S A (x, z) (3.5) In these equations the indices A, B, ..., can be on M2-brane world-volume (µ, ν, ...) and also transverse coordinates (I, J, ...). Then it is convenient to write down above currents in SO(2, 1) × SU (4) representations. For example for T AB we have,T µν , T µI , T µ J , T IJ , T I J , TIJ in SO(2, 1) × SU (4) representations. These are the fields that we are trying to find in this chapter. Before going to find the expressions for currents, It is useful to say general things about the currents. As these currents are responsible for some symmetries, these currents are conserved so we have ∂A J αA = 0 (3.6) in here α could be any index. Then ∂µ J αµ + ∂I J αI + ∂¯I J α I = 0 by using the definition of multipole moments of currents, we have ∂µ J αµ + ∂I J αI + ∂¯I J α I z I1 ...z Im z¯J1 ...¯ zJn d4 zd4 z¯ = 0 so by partial integration we m n ˆ ∂µ J αµ;I1 ...Im J1 ...Jn = J α Ji ;I1 ...In J1 ..Jˆi ..Jm J αIi ;I1 ..Ii ..Im J1 ...Jn + i=1 (3.7) i=1 In above equation the hatted indices means that those are omitted in multipole moments. This equation is very useful, as it gives a relation between higher multipole moments and lower ones. In this work we will use these equations to find currents. Bosonic Currents for U (1) × U (1) For N = 1, ABJM model describes the dynamics of single M2-brane. We know the action for one M2-brane is described by Eq(1.16) SM 2 = −T d3 σ( −det(hab ) + abc ∂a X µ ∂b X ν ∂c X ρ Cabc ) (3.8) 3.1. Setup 28 In this equation hab = ∂a X µ ∂b X ν gµν . Now by assuming the background fields are weak, we can expand metric around flat spacetime so we have gµν = ηµν + lµν , then for the pull back of metric we have hab = ηab + lab + ∂a X I ∂b XI + 2∂a X I lbI + ∂a X I ∂b X J lIJ In above equation a, b, ... represents coordinates along M2-brane. To find above equation we have used the physical gauge along M2-branes such that X a = ξ a , such that ξ’s are coordinates along M2-branes. Now by plug above equation into Eq(1.16) and comparing it with Eq(3.1), it is easy to see that J µνρ;i1 ...in T ab;i1 ...in T ai;i1 ...in T ij;i1 ...in = abc ∂a X µ ∂b X ν ∂c X ρ X i1 ...X in = η ab X i1 ...X in = ∂ a X i X i1 ...X in = ∂a X i ∂ a X j X i1 ...X in (3.9) in above equation a,b are along D2-brane coordinates, µ, ν, ρ are all space time coordinates and finally i1 , ..., in are coordinates transverse to D2-brane. Generalization to U (N ) × U (N ) The generalization of above currents to U (N ) × U (N ) case is not straight forward. The first subtlety is that, now we are dealing with matrices rather than functions. The second and more important one is that, The scalars Z and Z¯ are transforming differently under U (N ) × U (N ) gauge symmetry, Z → U ZV −1 ¯ −1 Z¯ → V ZU and, as we want to our currents to be invariant under gauge symmetry so we ¯ or if we want to put two Z or Z¯ adjacent have to put every Z adjacent to Z, to each other we have to use an operator called ’t Hooft disorder operator in between to respect the gauge symmetry, like (...ZZ...) → (...ZT Z...) ¯ ¯ (...Z¯ Z...) → (...Z¯ T¯Z...) such that T is ’t Hooft disorder operator and T¯ is conjugate of it. In this work we restrict ourself to the case that in multipole operator the number of Z and Z¯ are equal. In this case we do not need to use ’t Hooft operator to satisfy the gauge invariance. The problem with ’t Hooft operator is that 3.1. Setup 29 does not have explicit local form so it is very difficult to use it. The last subtlety in our approach to find the curernts is that, the currents that we are trying to find them are not unique in the sense that these are defined up to terms that are coming from equations of motion. Now let us show with an example, to how find the currents. We are only interested to the case of m = n, because of two reason. First, in this case the number of Z and Z¯ are equal and for generalization we do not need to use the t’ Hooft operator, Second, as we saw in Taylor expansion we have to restrict m, n such that k|(m − n), so we see that the terms with m = n are the only terms that satisfies this condition for any value of k, so these terms are present for any k. From single M2-brane currents Eq(3.9) we have J µνρ;i1 ...in j1 ...jn = µνρ i1 z ...z in z¯j1 ...¯ zjn a point about above current is that it is symmetric in i’s and j’s, as it coupled to a term like ∂i1 ...∂in φ(0). So the generalized current that is gauge invariant and is symmetric in higher moments is, µνρ J µνρ;I1 ...In J1 ...Jn = ST r(Z i1 Z¯j1 ...Z in Z¯jn ) (3.10) Now let us to use Eq(3.7) to find J along transverse directions. To do that we first have to take derivative of above equation so, ∂ρ J µνρ;I1 ...In J1 ...Jn = µνρ + µνρ T r[Z (I1 Z¯(J1 ..∂ρ Z Ii Z¯Ji ..Z In ) Z¯Jn ) ] i T r[Z (I1 Z¯(J1 ..Z Ii ∂ρ Z¯Ji ..Z In ) Z¯Jn ) ] (3.11) i by use of Eq(3.7) we also have ˆ ∂ρ J µνρ;I1 ...In J1 ...Jn = J µνIi ;I1 ..Ii ..In J1 ...Jn + i J µν Ji ;I1 ...In J1 ..Jˆi ..Jn (3.12) i It is easy to see that above current also satisfies Eq(3.11) By use of above equations and comparing it with Eq(3.11) the naive guess says that the curent could be J µνI;I1 ...In−1 J1 ...Jn = T r[∂ρ Z (I Z¯J1 Z I1 · · · Z In−1 ) Z¯Jn ) ] but simple observation says that above current is not invariant under gauge transformation, unless we replace partial derivative by covariant derivative. So J µνI;I1 ...In−1 J1 ...Jn = T r[Dρ Z (I Z¯J1 Z I1 · · · Z In−1 ) Z¯Jn ) ] (3.13) 3.2. Relation of ABJM Currents to D2-Brane Currents 30 By similar procedure we can find that T r[Z (I1 Z¯(J1 · · · Z In ) ZJn ) ] αβγ T r[Dρ Z (I Z¯J1 Z I1 · · · Z In−1 ) Z¯Jn ) ] αβγ T r[Z (I1 Dρ Z¯J Z I2 · · · Z In) Z¯Jn−1) ] αβγ T r[Dγ Z (I Z¯J1 Dβ Z I Z¯J2 Z I1 · · · Z In−2 Z¯Jn ] αβγ T r[Dγ Z (I Dβ Z¯(J Z I1 Z¯J1 · · · Z In−1 ) Z¯Jn−1 ) 1 + Fβγ Z I Z¯J Z (I1 Z¯(J1 · · · Z In−1 ) Z¯Jn−1 ) 2n 1 ¯ I˜ ¯ (3.14) − ZJ Z Fβγ Z(J1 Z (I1 · · · Z¯Jn−1 ) Z In−1 ) 2n J αβγ;I1 ···In J1 ···Jn = J αβI;I1 ···In−1 J1 ···Jn = J αβ J ;I1 ···In J1 ···Jn−1 = J αII ;I1 ···In−2 J1 ···Jn = J α J I;I1 ···In−1 J1 ···Jn−1 = J II I ;I1 ···In−3 J1 ···Jn = αβγ T r[Dα Z (I Z¯J1 Dβ Z I Z¯J2 Dγ Z I Z¯J3 Z I1 · · · Z In−3 ) Z¯n) ] = αβγ T r[Dα Z (I Dβ Z¯(J Dγ Z I Z¯J1 Z I1 · · · Z In−2 ) Z¯J ) αβγ JJ II ;I1 ···In−2 J1 ···Jn−1 n−1 1 + Fαβ Z I Z¯J Dγ Z (I Z¯(J1 Z I1 · · · Z In−2 ) Z¯Jn−1 ) 2n 1 − Fαβ Z I Z¯J Dγ Z (I Z¯(J1 Z I1 · · · Z In−2 ) Z¯Jn−1 ) 2n 1 − Z¯J Z I F˜αβ Z¯(J1 Dγ Z (I Z¯J2 · · · Z¯Jn−1 ) Z In−2 ) 2n 1 + Z¯J Z I F˜αβ Z¯(J1 Dγ Z (I Z¯J2 · · · Z¯Jn−1 ) Z In−2 ) 2n All of above equations are correct up to corrections from equations of motion, and also some commutator of fields that are definitely hidden in U (1) × U (1) case and are higher order corrections. 3.2 Relation of ABJM Currents to D2-Brane Currents Till now we have found the form of bosonic currents of ABJM model and also in chapter two we showed that in some specific limit in moduli space we will get the action of multi D2-branes. In this section we want to check that weather the ABJM current should also reduce to D2-brane currents in the limit that described before. 3.2. Relation of ABJM Currents to D2-Brane Currents 31 General Setup Suppose we have turned on some weak background SUGRA fields φα on R8 /Zk , we assume that these fields does not depend on Z 4 , as it will simplifies the calculations. In language of D2-brane, this means that fields does not depend on coordinate along compactified dimension. So we have S = SABJM + d3 x 1 1 ...an ∂a ...∂an ∂¯b1 ....∂¯bn φα (x, 0)Jbα;a 1 ...bn m!n! 1 (3.15) here a,b are taking only values of 1,2,3. As we showed by taking the limit as described before and integrating out Bµ = Aµ − A˜µ , it leads to Bµ → µνρ F νρ , we reach to multi D2-brane action. On the other hand in IIA string theory for multi D2-branes in weak background field we have S = SD2 + d3 x 1 α;a1 ...an ∂a ...∂an ∂¯b1 ....∂¯bn φIIA α (x, 0)JD2,b1 ...bn m!n! 1 (3.16) by comparing Eq(3.15) and Eq(3.16), we will be able to determine the expressions for M2-brane currents in terms of D2-brane currents, or test that the determined M2-brane currents to reduce to D2-brane ones by taking the above limit. So the final expression for currents is J α;a1 ···am b1 ···bn (x; Z 4 = δ4I r, B ∼ F ) k→∞ r/k fixed α;a1 ···am 7 = JD2 b1 ···bn (x; X = 0) (3.17) by using above equation, we expect that we could check that Eq(3.14) to reduce to D2-brane currents. But it does not happen. The reason that why it did not happen, is not clear to us. Some possibilities are, the currents that we have found are simple generalizations from U (1) × U (1) case, and are defined up to some terms from equations of motions, may be these extra terms could change the results. To find currents explicitly there are other approaches to find them. One way is to do field theory calculations. To do that we need to turn on some weak background fields in ABJM action. Then by expanding the action in second order in terms of perturbations around the background, and using perturbative methods to find the effective action. We also tried to find the effective action, but we found that in U (N ) × U (N ) case, the propagators and vertices become very complicated and very hard to deal with them, and 3.3. Summary 32 also to find the effective action by simple analysis we need to do perturbation to fifth order. Till now we only found the bosonic currents, What about fermionic currents? The easiest way to find the fermionic currents is to use the invariance of the action under supersymmetric transformations. As we know SUSY transformations relates the variation of bosonic fields to fermionic ones and vice versa. So by restricting the action to be invariant under these transformation we will get some relations between variation of bosonic currents and fermionic currents So by knowing the bosonic currents and using SUSY transformations we could find fermionic currents up to some terms from equations of motion. 3.3 Summary This work was mainly a review of ABJM model and relation of this candidate of multi M2-branes to type IIA superstring theory and multi D2-brane action. We also tried to find the multi M2-brane currents and check the relation between these currents and currents of D2-branes, but the results are in contrast with the results that we expected to find. Some possible work for future could be, to find the currents from field theory approach and check them with the currents that we have found and also check the limit that we tried to do in this case, to find out that, what was the problem with our approach. Definitely this approach is very cumbersome as we tried to do. With field theory approach it is also possible to find the fermionic currents directly but it will complicate the problem more. 33 Bibliography [1] M. E. Peskin, D. V. Schroeder, An Introduction to Quantum Field Theory, USA, Addison-Wesley (1995). [2] K. Becker, M. Becker, J. H. Schwarz, String Theory and M-Theory, Cambridge University Press (2007). [3] J. Polchinski, String Theory. Vol. 1: An Introduction to Bosonic string, Cambridge University Press (1998). [4] J. Polchinski, String Theory. Vol. 2: Superstring Theory and beyond, Cambridge University Press (1998). [5] O. Aharony, S. S. Gubser, J. M. Maldacena, H. Ooguri, Y. Oz, Large N field theories, string theory and gravity, Phys.Rept. 323, 183(2000)[arXiv:hep-th/9905111]. [6] J. Polchinski, TASI Lectures on D-branes, arXiv:hep-th/9611050. [7] J. H. Schwarz, Introduction to Superstring Theory, arXiv:hepex/0008017. [8] J. H. Schwarz, Introduction to M Theory and AdS/CFT Duality, arXiv:hep-th/9812037. [9] A. Sen, An Introduction to Non-Perturbative string Theory, arXiv:hepth/9802051. [10] W. Taylor, The M(atrix) Model of M-Theory, arXiv:hep-th/0002016. [11] J. Bagger and N. Lambert, Modeling multiple M2’s, Phys. Rev. D75 (2007) 045020, [hep-th/0611108]. [12] D. S. Berman, M-theory branes and their interactions, Phys. Rept. 456:89-126,2008 [arXiv:hep-th/07101707] [13] P. K. Townsend, Four Lectures on M-Theory, arXiv:hep-th/9612121v3. [14] O. Aharony, O. Bergman, D. L. Jafferis, J. M. Maldacena, N=6 superconformal Chern-Simons-matter theories , M2-branes and their gravity duals, JHEP 0810:091,2008. [arXiv:hep-th/0806.1218] [15] K. Hosomichi, K-M. Lee, S. Lee, J. Park, P. Yi, A Non-Perturbative Test of M2-Brane Theory, arXiv:hep-th/0809.1771v2. [16] M. A. Bandres, A. E. Lipstein, J. H. Schwarz, Studies of ABJM Theory in a Formulation with Manifest SU(4) R-Symmetry, arXiv:hepth/0807.0880v2. [17] J. Gomis, D. Rodriguez-Gomez, M. Van Raamsdonk, H. Verlinde, A Massive Study of M2-brane Proposals, arXiv:hep-th/0807.1074v2. [18] Y. Pang, T. Wang, From N M2’s to N D2’s, arXiv:hep-th/0807.1444v3. [19] T. Li, Y. Liu, D. Xie, Multiple D2-Brane Action from M2-branes, arXiv:hep-th/0807.1183v1. [20] S. Mukhi, C. Papageorgakis, M2 to D2, arXiv:hep-th/0803.3218v2. [21] W. Taylor, M. Van Raamsdonk, Supergravity Currents and Linearized interaction for Matrix Theory Configurations with fermionic backgrounds, JHEP04 (1999) 013. [22] D. Kabat, W. Taylor, Spherical membranes in Matrix Theory, arXiv:hep-th/9711078. 35 Appendix A Field Theory Calculations In this appendix we want to derive the vertex coefficient that are required to do perturbative calculations in field theory approach to find the currents of ABJM model. We only assume that a weak scalar background is turned on and we do the perturbation around that background. The ABJM Lagrangian is L = LCS + Lkin + LYukawa + Lpotential (A.1) Where 2 2 k µνρ ε tr Aµ ∂ν Aρ − i Aµ Aν Aρ − A˜µ ∂ν A˜ρ + i A˜µ A˜ν A˜ρ 4π 3 3 ¯ A γ µ Dµ ΨA , −tr Dµ Z¯ A Dµ ZA − iΨ 2πi ¯ B ΨB − ZA Z¯ A ΨB Ψ ¯B tr Z¯ A ZA Ψ = − k 2πi ¯ A ZB − 2ZA Ψ ¯ B ΨA Z¯ B − tr 2Z¯ A ΨB Ψ k 2πi ABCD ¯ B ZC Ψ ¯ D + 2πi ABCD tr Z¯ A ΨB Z¯ C ΨD tr ZA Ψ − k k (A.2) LCS + Lkin = LYukawa and Lpotential = + 4π 2 tr ZA Z¯ A ZB Z¯ B ZC Z¯ C + Z¯ A ZA Z¯ B ZB Z¯ C ZC 2 3k +4ZA Z¯ C ZB Z¯ A ZC Z¯ B − 6ZA Z¯ A ZB Z¯ C ZC Z¯ B (A.3) The covariant derivative is defined Dµ ZA = ∂µ ZA − iAµ ZA + iZA A˜µ , (A.4) As I said we only turn on a scalar background field so the form of our fields become, ¯ A Y¯ˆA XA YA X A ¯ ZA = Z = ¯ˆ ˆA YˆA X Y¯A X A Appendix A. Field Theory Calculations ΨA = Aµ = 0 ψA ψˆA 0 ¯A = Ψ ¯ 0 ψˆA ψ¯A 0 0 aµ a ¯µ 0 A˜µ = 0 a ˜µ a ˜¯µ 0 36 In above relations as you can see we only consider the fluctuations that are ˆ are background fields and off-diagonal part of our field matrices , X and X the other are fluctuations. The reason for doing that is very simple, we only want to keep low energy fluctuations and integrate out the high-energy ones, from ABJM Lagrangian it is evident that all the diagonal fluctuation of the fields are massless and only the off-diagonal parts are massive with mass proportional to kr , despite the diagonal part of A − A˜ that we have to integrate it out later. Now by plug in above relations into the Lagrangian and expanding it to quadratic order in terms of fluctuations we have: First for potential term δLpotential = 4π 2 k2 ¯ YˆA YA MbAB YˆB Y¯B the elements of matrix MbAB are b(11) MAB ¯ˆ ˆ ¯ˆ ¯ ˆ ¯ˆ ¯ C KD K ¯D + K ˆCK = δAB (KC K C KD KD − 2KC KC KD KD ) ¯ˆ ˆ ¯ˆ ¯ ˆ ¯ˆ ¯ D KD K ¯C + K ˆCK − 2δAB (KC K D KD KC − 2KC KD KD KC ) ¯ˆ ˆ ¯ˆ ¯ ˆ ¯ˆ ¯ C KC K ¯B + K ˆ AK + KA K C KC KB + K C KC KA K B ¯ˆ ˆ ¯ˆ ˆ¯ C KA K ¯ B + 4KC K ¯ B KA K ¯ C + 4K ˆCK ˆCK + K B KA KC ¯ˆ ¯ B KC K ¯ C − 2KC K ¯ C KA K ¯ B − 2KA K ¯CK ˆCK − 2KA K B ¯ ¯ ¯ ¯ ¯ ˆ AK ˆ C KC K ¯ B − 2K ˆ AK ˆBK ˆCK ˆ C − 2K ˆCK ˆCK ˆ AK ˆB − 2K (A.5) b(12) MAB ¯ˆ ˆ ¯ C KC K ˆB + K ˆ AK ¯ ˆ = KA K C KC KB + KC KC KB KA ¯ˆ ˆ ˆCK ¯ ˆ ˆ ¯ˆ ˆ + K C KB KA + 4KB KC KA KC + 4KB KC KA KC ¯ˆ ˆ ¯ C KB K ˆ C − 2K ˆ AK ¯ ˆ − 2KA K C KB KC − 2KC KC KA KB ¯ˆ ˆ ˆCK ¯ ˆ ˆ ¯ˆ ˆ − 2K C KA KB − 2KB KC KC KA − 2KB KC KC KA (A.6) Appendix A. Field Theory Calculations 37 ˆ is In above and the rest of work the definition for K and K ˆ := X ˆ ⊗ 11 K K := 11 ⊗ X b(22) b(21) for MAB and MAB we only need to do following replacements ¯ˆ ˆ ←→ K K ¯ K ←→ K There is also contribution to scalar part from gauge fixing function, this contribution has to be added to M, ¯ˆ ˆ B + ξ− K ˆ A KB ) ¯ B + ξ− K ˆ AK −(ξ+ KA K ξ+ KA K B ¯ˆ ˆ ¯ˆ ¯ ¯ˆ ¯ ¯ A KB ξ+ KA KB + ξ− K −(ξ+ KA KB + ξ− KB KA ) b NAB = (A.7) The gauge fixing function that I have used is: f= 1 ∂µ Aµ − iξ+ (X Y¯ − Y X¯ ) ξ+ f˜ = 1 ¯ ) ∂µ A˜µ − iξ− (X¯ Y − YX ξ− In above relation X and Y are diagonal and off-diagonal parts of Z, respecˆ the same is tively. Actually X in above relation contains both X and X, true for Y. Second, for Yukawa potential term δLYukawa = −2πi k ¯ ψˆA ψ A MfAB ψˆB ψ¯B f are The elements of matrix MAB f (11) MAB f (12) MAB f (21) MAB f (22) MAB ¯ˆ ¯C − K ˆCK ˆ ¯ˆ ¯ = δAB (KC K C ) + 2(KB KA − KB KA ) ˆ C KD = −2 ABCD K ¯ˆ ¯ = 2 ABCD K C KD ¯ˆ ˆ ¯ˆ ˆ ¯ C KC − K ¯ = −δAB (K C KC ) − 2(KB KA − KB KA ) (A.8) Appendix A. Field Theory Calculations 38 Then for gauge field part we have δLgauge = Mgµν a ˜ µ aµ ¯˜ν a a ¯ν And elements of Mg are ∂ µ∂ ν k + ξ+ 2π ¯ ˆ C KC = 2η µν K ˆCK ¯C = 2η µν K g(11) = Mµν g(12) Mµν g(21) Mµν g(22) Mµν = ∂ µ∂ ν k − ξ− 2π µνρ ¯ˆ ˆ ¯ ∂ρ − η µν (K C KC + KC K C ) µνρ ¯ˆ ¯ ˆCK ∂ρ − η µν (K C + K C KC ) (A.9) there is also a gauge-scalar vertex that it comes as follow, −2i a ˜ µ aµ Qµ,A 1 YˆA Y¯A + 2i ¯ YˆA YA Qµ,A 2 a ˜¯µ aµ And, Qµ,A = 1 ¯ˆ −∂ µ KA ∂ µK A ¯ A ∂ µK ˆA −∂ µ K Qµ,A = 2 ˆ A −∂ µ KA ∂ µK ¯ˆ ¯ A ∂ µK −∂ µ K A And Finally the Ghost part, I only write the the vertex of it G=δ AB ¯ˆ ˆCK ¯ ∂ 2 − ξ+ (K 0 C + KC KC ) ¯ˆ ˆ 2 ¯ C KC ) 0 ∂ − ξ− (KC KC + K So if we have some stack of M2-branes at the origin ,say X, and some of ˆ Then in All of above relations we have to replace them at distance r ,say X. ˆ A by rA + X ˆA. X As you can see the form of the vertex coefficients are very complicated and very hard to deal with, only in the case of U (1) × U (1) case the matrices becomes two by two matrices and the vertices can be simplified ,[19]
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Couplings between 11-dimensional supergravity fields...
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Couplings between 11-dimensional supergravity fields and the ABJM multiple m2-brane theory Karimi, Hamed 2009
pdf
Page Metadata
Item Metadata
Title | Couplings between 11-dimensional supergravity fields and the ABJM multiple m2-brane theory |
Creator |
Karimi, Hamed |
Publisher | University of British Columbia |
Date Issued | 2009 |
Description | In this work we study the proposed model for multi M2-Branes by ABJM( Aharony, Bergman, Jafferis, Maldacena). We take an specific limit in moduli space of vacua of this model, and we will show explicitly that, at this limit ABJM model becomes equivalent to maximally supersymmetric (2+1)-dimensional Yang-Mills model. Then we find the currents that are coupled to background fields of ABJM model and will try to show that these currents are some of the currents of the relevant Yang-Mills model at that limit. We also discuss a field theory approach to get these results. |
Extent | 501820 bytes |
Genre |
Thesis/Dissertation |
Type |
Text |
File Format | application/pdf |
Language | eng |
Date Available | 2009-09-30 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivatives 4.0 International |
DOI | 10.14288/1.0067726 |
URI | http://hdl.handle.net/2429/13399 |
Degree |
Master of Science - MSc |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
Graduation Date | 2009-11 |
Campus |
UBCV |
Scholarly Level | Graduate |
Rights URI | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
Aggregated Source Repository | DSpace |
Download
- Media
- 24-ubc_2009_fall_karimi_hamed.pdf [ 490.06kB ]
- Metadata
- JSON: 24-1.0067726.json
- JSON-LD: 24-1.0067726-ld.json
- RDF/XML (Pretty): 24-1.0067726-rdf.xml
- RDF/JSON: 24-1.0067726-rdf.json
- Turtle: 24-1.0067726-turtle.txt
- N-Triples: 24-1.0067726-rdf-ntriples.txt
- Original Record: 24-1.0067726-source.json
- Full Text
- 24-1.0067726-fulltext.txt
- Citation
- 24-1.0067726.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:
http://iiif.library.ubc.ca/presentation/dsp.24.1-0067726/manifest