UBC Theses and Dissertations

UBC Theses Logo

UBC Theses and Dissertations

Open strings in a background guage field Laidlaw, Mark 2000

Your browser doesn't seem to have a PDF viewer, please download the PDF to view this item.

Item Metadata


831-ubc_2000-0454.pdf [ 3.06MB ]
JSON: 831-1.0085179.json
JSON-LD: 831-1.0085179-ld.json
RDF/XML (Pretty): 831-1.0085179-rdf.xml
RDF/JSON: 831-1.0085179-rdf.json
Turtle: 831-1.0085179-turtle.txt
N-Triples: 831-1.0085179-rdf-ntriples.txt
Original Record: 831-1.0085179-source.json
Full Text

Full Text

O P E N S T R I N G S I N A B A C K G R O U N D G U A G E F I E L D By Mark Laidiaw B. Sc. University of Victoria, 1-998 A T H E S I S S U B M I T T E D IN P A R T I A L F U L F I L L M E N T O F T H E R E Q U I R E M E N T S F O R T H E D E G R E E O F M A S T E R O F S C I E N C E in T H E F A C U L T Y O F G R A D U A T E S T U D I E S D E P A R T M E N T O F P H Y S I C S A N D A S T R O N O M Y We accept this thesis as conforming to the required standard T H E U N I V E R S I T Y O F BR IT I SH C O L U M B I A August 2000 © Mark Laidiaw, 2000 In presenting this thesis in partial fulfilment of the requirements for an advanced degree at the University of British Columbia, I agree that the Library shall make it freely available for reference and study. I further agree that permission for extensive copying of this thesis for scholarly purposes may be granted by the head of my department or by his or her representatives. It is understood that copying or publication of this thesis for financial gain shall not be allowed without my written permission. Department of Physics and Astronomy The University of British Columbia 6224 Agricultural Road Vancouver, B.C. , Canada , V6T 1Z1 Date: 25 / W 10QO Abstract The vacuum energy for open strings in a constant gauge field background is calculated for the disk and the annulus in a path integral formalism. This same formalism is then used to reproduce and generalize previous results for D-brane non-commutative geometry at string disk level. The contribution to non-commutative geometry from string annulus diagrams is calculated, and shown to be proportional to the divergence of the open string tachyon. 11 T a b l e o f C o n t e n t s A b s t r a c t i i T a b l e o f C o n t e n t s i i i A c k n o w l e d g m e n t s v i 1 I n t r o d u c t i o n t o t he F ree S t r i n g 1 1.1 Introduction 1 1.2 Boundary Conditions and Mode Expansion 2 1.3 Commutation Relations 6 1.4 Virasoro Generators and Algebra 7 1.5 Ghosts and Vacuum Energy 10 2 V a c u u m E n e r g y b y P a t h I n t e g r a l C a l c u l a t i o n s 13 2.1 Introduction 13 2.2 The Annulus 15 2.2.1 The Bosonic Propagator 15 2.2.2 Bosonic Vacuum Energy 16 2.2.3 The Fermionic Propagator 20 2.2.4 Fermionic Vacuum Energy 24 2.2.5 Superstring Vacuum Energy 28 2.3 The Disk 31 2.3.1 Boson Vacuum Energy 31 iii 2.3.2 Fermion Vacuum Energy 33 2.4 The Bosonic Mobius Strip 34 3 N o n - C o m m u t a t i v e G e o m e t r y 36 3.1 Introduction 36 3.2 Disk Calculations 38 3.3 One Loop Correction to Non-Commutative Geometry 40 3.3.1 The Charged String 43 3.3.2 The Neutral String 44 3.3.3 Distinct Branes 46 3.4 Non-Commutative Geometry from the Mobius Strip 47 4 C o n c l u s i o n 49 A A l t e r n a t e C a l c u l a t i o n o f W o r l d - s h e e t P r o p a g a t o r s 51 A . l The Bosonic Propagator 51 A. 1.1 Equivalence to Published Expressions 52 A.2 The Fermion Propagator , 55 B A L e m m a 58 C C a n o n i c a l Q u a n t i z a t i o n o f t he O p e n S t r i n g i n a (7(1) B a c k g r o u n d 61 C l Motivation 61 C.2 Bosonic Degrees of Freedom 62 C.2.1 Boundary Conditions and Mode Expansion 62 C.2.2 Commutation Relations and the Virasoro Algebra 64 C.3 Fermionic Degrees of Freedom 68 C.3.1 Boundary Conditions and Mode Expansion 68 iv C.3.2 Commutation Relations and the Virasoro Algebra 71 Bib l iography 74 v Acknowledgments I gratefully acknowledge the encouragement, assistance and constructive criticism from Dr. G. Semenoff, and the patient ears and ready minds of Kirk Buckley, Joel Erick-son, Todd Fugleberg, Matthew Horton and Michel Olivier who helped clarify the problem for me many times. I would like to thank my wife for her support and encouragement. This work is supported by NSERC. v i Chapter 1 Introduction to the Free String 1.1 Introduction The purpose of this text is to calculate in a well motivated manner the vacuum energy of a superstring in a background gauge field, and to show how one can recover non-commutative geometry from the study of stringy degrees of freedom. This is a problem that is of historical interest [1] [2] [3] [4], as the effective action for this background field, which can be obtained by integrating out the string degrees of freedom, is the Born-Infeld action, an non-linear generalization of Maxwell's equation. This problem is also of interest in current research as open string which end on D-branes are used in such diverse areas as the A d S / C F T correspondence and non-commutative geometry. A non-trivial question to ask is whether the question is well posed, since the photons that make up a background F^u field are in principle described by stringy excitations themselves, would it not be more useful to fully understand the interaction of two open strings and leave it at that? Two considerations make the approach taken reasonable, the first is that string phenomenology is not yet fully understood, so that the determination of what excitations constitute a photon is a difficult task in and of itself. The second is that in the limit of low energies the spectrum of the string is dominated by the massless excitations anyways, and it could be appropriate to regard the background field as some condensate of strings. To the end of better understanding of the subject, this chapter is intended to review 1 Chapter 1. Introduction to the Free String 2 the development of the open string. While certainly not exhaustive, as the subject is covered in detail in the literature [5] [6] this has two motivations. The first is to make this text as self contained as possible, and the second is to highlight some of the differences between a string that interacts with a background gauge field and the free case. 1.2 Boundary Conditions and Mode Expansion When discussing any field theory, a useful starting place is the action, and string theory can be characterized as a free field theory on a two dimensional manifold with some arbitrary topology, with interactions being described by computations on higher genus surfaces. In the case of open string theory interactions only take place at the edge of the strings, in the sense that interactions involve a string breaking off and propagating freely, and this changes the topology of the surface. The action for a free Neveu-Schwarz-Ramond open string is given [5] as 5 = 7 ^ 7 / dadr (daX»daX, + V (-i-fda) Vv) (1-1) where i i is the index on the target space, a is an index on the world-sheet, which is parameterized by o 6 [0,7r] and r and the target space metric is taken to be minkowskian, which eliminates the terms such as \f—g as they become trivial. In addition, the two (0 i\ (0 -i\ dimensional 7 matrices are given by 7 T = , ^a = which satisfv the Clifford algebra J 7 A , 7 6 } = 2r)ab, where r]ab is the world sheet metric. The X fields represent bosonic degrees of freedom on the world-sheet, and commute, while the ip fields are world-sheet fermions and hence anticommuting, but they transform under target space Lorentz transforms as vectors. In a sense they can be regarded as auxiliary degrees of freedom, since they do not have the attractive physical interpretation of target space position that the X fields do, however, they contribute the necessary number of degrees of freedom to have a critical theory in 10 dimensional target space. Chapter 1. Introduction to the Free String 3 A classical method for calculations in string theory is to expand the fields in terms of orthogonal modes, and then to use the canonical commutation relations of the theory to deduce the commutators of the mode coefficients which are then interpreted as raising and lowering operators. In addition, the constraints on the theory which are given by conditions on the energy momentum tensor are conveniently expressed in terms of these operators, and can be calculated. The first step in finding the orthogonal modes is to find boundary conditions that the fields must satisfy, and this is best accomplished by using variational arguments. Using the above and letting the X field vary by 5X it is clear that SS = — ! - / dodr2da5X^daXtl = 4 ^ / d a d T [9<l (25X>ld«X*) ~ ^X"dadaX^} . (1.2) This gives the equation of motion for the boson, dadaX^ = 0. (1.3) Imposing that the X fields either vanish at T — ±oo or are periodic in compact r, depending on the topology of the string, this leaves the boundary condition j drSX^X^l = 0. (1.4) There are numerous boundary conditions that satisfy this, however, the literature singles out two cases, Neumann boundary conditions, where the normal derivative vanishes at the ends of the string, and Dirichlet boundary conditions, where the position of the string end is held fixed. Dirichlet boundary conditions, which give rise to D-branes, explicitly break Lorentz invariance, while Neumann boundary conditions are chosen because they preserve the maximum possible symmetry for open strings. The boundary conditions and Chapter 1. Introduction to the Free String 4 demands for orthogonality only apply to the o dependence of X and the r dependence is undetermined. As given in [5] the mode expansion satisfies X» = of + p^r + iJ2 ~<e-inT cos (rur). (1.5) so the modes are (f)m = —e-imT cos (ma). (1.6) m These modes satisfy the orthogonality relation [2] / — \<j>midT<l>n - c/>„Z(9T^m] = — Smn (1.7) and redefining the a oscillators to be the conventional raising and lowering operators eliminates the factor of —. m In a similar manner it is necessarv to determine mode expansions for the world sheet fermions. Writing the fermion as a spinor in two dimensions, ip11 = I , and varying the above action results in the change in the action SS = ^ J dadr (dT + da) c%_ + {dT ~ d„) S^ Ana1 J L r " v~' ' • ^ ---^+ + S^T (dT + da) + (dT - ^+] • (1.8) Imposing that the fermion fields are majorana gives, using the fact that the '0s anticom-mute, ^ j dadr [2S^ (dT + da) + 25^ (dT - da) ^ + (Or + da) (^^-) + (dT - da) . (1.9) This gives the standard equations of motion, (dT + da)ib. = 0 (dT-da)^+ = o (I.IO) Chapter 1. Introduction to the Free String 5 for the fermion fields, which can be summarized as i^adaip = 0 using the matrices listed above. The boundary terms are of interest, and assuming, as in the case of the bosons, either a periodicity in r or that the fields vanish at r = ±oo the conditions are J dr ~ r+^+)Zl = 0- (1-11) Naively, an ansatz = M^ipu+ at o = 0, ir will solve this for any M that satisfies M^M = 1, and M may be different at o = 0 and o = n. This causes the surface terms to vanish at both ends of the string independently. However, there is another consideration which restricts the choice of boundary conditions. The theory ought to be invariant under Lorentz transforms on the indices /J, since the J ' 1 are regarded as target space coordinates. The only boundary conditions that preserve this symmetry are = ±<5 .^ Due to the fact that there is ambiguity in the choice of boundary conditions for the fermions, there are two inequivalent choices of boundary conditions. Since the overall sign of •0_ is a normalization convention one can unambiguously set = at o = 0. The most general mode expansion of ip+ that satisfies the condition that (dT — da) tp+ = 0 is ip+ = Y,m dmeim^T+a\ and similarly 0_ can only depend on r — a. In the case where VV- = Vv+ at a = 7r, the Ramond sector of the theory, the expansion for tp is ( e-im(T-<j) \ where m is an integer, whereas for the case = — ip^+ at o = ir the expression in the Neveu-Schwarz sector becomes ( e - i m ( T - o ) \ e-irn(T+o) J m where m is half-integral. The Ramond sector gives rise to target space fermions because of the non-commuting zero modes, while the Neveu-Schwarz sector gives rise to target-space bosons. Chapter 1. Introduction to the Free String 6 The fermion modes are also orthogonal in the following sense, JO 7T JO 7T V ' e-in(r+a) •7r do i ( o JO 7T 1.3 C o m m u t a t i o n R e l a t i o n s The commutation relations for the modes must be determined, and the easiest way is to express canonically conjugate variables in terms of raising and lowering operators, impose commutation relations, and fourier analyze the results. For the bosonic variables X11 and dTX^ the commutation relation is [drX^a), Xv{a')\ = -i5{a - a')rf\ (1.15) and substitution of the expansion 1.5 gives -i5(a - a')jf" = P^ + Y. < e m T cos(ncr), x" + fr + i £ —avme~imT c o s ( m r ) = [P"> + ~5rn+n COs(flo) COs(mcr') [ < , < J (1.16) using the fact that the commutator must be independent of r . Fourier analysis of the above immediately gives the standard commutation relationships for the modes, [x^p"] = irfv K , c 4 ] = n c W T - (1-17) For the fermions the momentum canonically conjugate to ip± is ib±, and so the anti-commutation relationship reads { ^ ( C T ) , A V ) } = ™5(a - ^rTSat (1.18) Chapter 1. Introduction to the Free String 7 where a, b = ± . Applying the expansion for the fermions given above gives for the case of a = b = — = {E r f me- J M ( R - < T ) ,E< E " M ( T " ' J ' ) } » (1-19) i m n ) which again is forced to give the standard relationship since there must be no r depen-dence in the anticommutator, giving {^,<} = »T*m+n (1-20) with an identical result for a = b — +, while the cross terms vanish, giving the proper orthogonality. 1.4 Virasoro Generators and Algebra From the free string action, it is possible to determine the two dimensional energy-momentum tensor by varying the action with respect to that metric. As given above the action is S = 4 ^ / drdo^jg^X^X, - l-^g^^db^ - ^ v ^ a W 0 ° < / v (1-21) where g = det (#„(,). Taking the variation of this action with respect to gab is simple with the identity that det(gab) — exp(Tr In gab). Then for a change in the metric of Sgab the change in the action is 6 S = 4^c7> IdTd°^g5gabdaX»dbX^ - l-^5gabr1adbtPll - \ ^ g a b V l b d a ^ - l-8gabS. (1.22) Then, because the energy-momentum tensor is given by varying with respect to the two dimensional metric, SS i - ? - 1 / ? - \ Tab = — = daX»dbX» + - r j a d b ^ + ~rj"da^ - -gab (dcX»dcX, + - ^ 7 c 0 c V v ) (1.23) Chapter 1. Introduction to the Free String 8 as in [5]. Since the left and right moving degrees of freedom on the string are mixed, the independent fourier components of this are defined as Lm = ^J* do (eimaT++ + e-imaT__) . (1.24) This expression can be explicitly evaluated for the modes as developed above, and it is found that L m = ^Yla-n •am+n + (n + ^rnj cL„ -dm+n. (1.25) This is unambiguous because of the diagonal commutation relationships except for the case of m = 0 in which case the operators are defined to be normal ordered, and there is some constant addition to LQ which reflects this. In the sum above the sum is implicitly over half-odd integers for the case of anti-periodic fermions. Now, the condition which arises as an equation of motion, that J^E = 0 arises as a constraint, which implies that all components of Tab vanish. This condition is very restrictive, and is relaxed so only the positive fourier components of this will annihilate any physical states, so that Ln\<f>>=0, n>0 (1.26) and Lo-a\(t>>=0 (1.27) for some value of a. It is also possible to calculate the commutators of the Ls, and explicitly one finds that [La, Lb — ^ a - n • &a+n + (n + ^aj d-n • da+n, ^ Y tt-m • ab+m + (m + ^bj d_m • d{ * ab+m mn Chapter 1. Introduction to the Free String 9 + \ n + -a) \ m + -bj [d_n • da+n, d_ m • db+m] = (a - b) La+b + A(a)6a+b. (1.28) The term A{d) is the central extension of the algebra, present because of the normal ordering ambiguity in L 0 - To determine the normal ordering constant, one takes the expectation value of commutators [5], between two states in the perturbative vacuum which have zero momentum. It can be shown that because of the Jacobi identity for commutators the central extension can be determined by only evaluating the expectation values of and [L 2 , .L_ 2 ] . For the Ramond sector the calculation is (OKLi.L-xllO) = <0|i [d0 do] |0) = (0| i d ^ d - i X |0) = (0| j ^ d o V 10) = IW = \D. (1.29) This makes use of the facts that OLQ |0) = 0 on a zero momentum state and the normal ordering of the terms in the fermionic part of L\. The expectation for L 2 gives (0|[L 2,L_ 2]|0> = ^(0|[a, -a-ij + ^do -d 2,2d_ 2- d0] |0) = ^ (0| 2 a ^ l V ^ + Ad»d2lld_2„dl |0) = \(2^rr + l^rr) = D (1-30) which confirms that for the Ramond sector the central extension is A(m) = lm3D (1.31) 8 where D is the dimension of the target space. Chapter 1. Introduction to the Free String 10 In the Neveu-Schwarz sector where the fermionic excitations are half-integrally moded a similar calculation can be performed and one obtains (0 | [Li ,L_i] |0) = 0 (1.32) because the bosonic part gives zero, and the fermionic part has normal ordered creation and annihilation operators, which will annihilate the vacuum. However, (0| [L2,L-2] |0) = ^ (0| [ai • a i . a - i • a_i] + [d1/2 • d 3 / 2 , rf_3/2ci_1/2] |0) = \D (1.33) which shows that the central extension for the NS sector is A(m) — ^ (m3 - m) D. (1.34) 8 ^ ' 1.5 Ghosts and Vacuum Energy For the free string in a Minkowski target space there is an additional consideration, which is that some of the states created by naive application of the raising and lowering operators for world-sheet bosons and fermions have negative norm. These negative norm states are known as ghosts, and they do not correspond to physical excitations. There are several approaches [5] [6] that will eliminate them, such as quantizing in light cone coordinates or proving that they decouple in critical dimensions. It is shown in the literature that string theory is critical, that is that the negative norm states decouple from the physical spectrum, in the case of D = 10 and a = 1, where a is as defined above in 1.27. The approach that generalizes best to the case of an interacting string is to introduce additional non-physical degrees of freedom to the system which have statistics that will cancel the undesired excitations. This is analogous to the field-theory formalism Chapter 1. Introduction to the Free String 11 of adding 'Fadeev-Popov ghosts' in Q E D to cancel non-physical excitations. In addition, the perturbative spectrum must be truncated by the GSO projection. The reason for this is that there are naively too many degrees of freedom for the preservation of target-space supersymmetry, which would require that the number of space-time bosons and fermions should be equal. This condition is such that for fermions the trace becomes the operator 1 + ( —l)^ where / is the fermion number operator. It only remains to calculate the vacuum energy for the free string. Since the general form of the partition function for any field theory is Z = [ [Df] exp / dxf / J J vronanator „ = constfdetpropagator) l^2. (1.35) propagator J This is in general infinite, with the constant proportional to the volume of the space that the calculation is done in. On the critical dimensions the propagator for the string is Lo — 1. [5] Using an identity for determinants we find that Z = V exp ~ T r l n ( L 0 - l ) (1.36) This implies that Ev = ^ T r l n ( L 0 - l ) •\ f -Tre-l<L°-l\ (1.37) 2J J t To evaluate J V c-M^o - i ) no^e j-jQ^ h £ q _ la2 ^ Y^n>1 a_nan and the convention that ao = P11- This, together with the mass shell condition that a'M2 = y j n > ] a_„a„ — 1, gives the vacuum energy as \ ' pays In critical theory with a' = \ this becomes -D ' v / phys Chapter 1. Introduction to the Free String 12 The sum over physical states is nothing but the product of geometric series, since exci-tations at a given level have a unique polarization tensor. The sum over physical states then becomes 2~2physe~^Mphys = entYin>i (1 — e~ntn)~8. This then gives the contribution from the bosonic components to be agreeing with [4]. However, the contribution from the fermions is multiplicative, since the fermion and boson oscillators commute, and it vanishes by virtue of the GSO projection, as is appropriate for a theory which has space-time supersymmetry. C h a p t e r 2 V a c u u m E n e r g y b y P a t h I n t e g r a l C a l c u l a t i o n s 2.1 I n t r o d u c t i o n The previous development was exclusively for free strings that do not interact with any form of background. The generalization that is now being considered is that of a string that interacts at its endpoints with a background antisymmetric field, and the goal is to compute the vacuum energy of these strings. The original motivation for this type of calculation was to produce a 'stringy' nonlinear generalization of Maxwell's equations, since the procedure can equally well be thought of as integrating out all string degrees of freedom, and interpreting the resulting vacuum energy as an action for the background fields. This chapter presents a method which stands in contrast to the canonical quantization method of the previous chapter, and that of the treatment for the background dependent string vacuum energy presented in the appendix. The philosophy which is embraced is to take the fields that live on the string world-sheet and calculate a free Greens function for them for a given topology, which is in this case the annulus or the disk. Once the propagator has been determined the interaction with the background field is treated as a perturbation, and the vacuum energy of the string is calculated by simply summing all the possible world-sheet vacuum diagrams for a particular field. This method, unlike canonical quantization can be seen to generalize much more readily. In the case of a non-constant field the interaction at the end of the string gives 13 Chapter 2. Vacuum Energy by Path Integral Calculations 14 rise to higher order vertices on the world-sheet [2]. These, in turn will give higher loop corrections to the theory that exists on the world-sheet. In general these vertices need renormalization, and that provides a check on the effective action for the external fields. In addition, the method obviously extends to interactions between the world-sheet fields and the background in the bulk of the world-sheet. In the case of canonical quantization, this would present a conceptual challenge, whereas in this method, it adds computational rather than conceptual difficulties. Another strength of particular interest for current research is that the coupling to antisymmetric fields which themselves are confined to D-branes is immediately accounted for in this methodology. This is because there is no reliance on a particular form of the background than for convenience in the presentation of a compact final answer. The point of this exercise is to compute the vacuum energy of a superstring in a background gauge field, and the calculation is performed explicitly for both the fermion and boson degrees of freedom. The starting place for the calculation is the string action as given in [4] [7] for the string coupled to a background field, with the world-sheet topology of the annulus 5 = ^ 1 dadr (y/=dgab&lX»dbXtl - i$»jada%) + ^ j dTF,u (x»dTX» - Ul> - l-e2 j drF^ (xvdTX» - J f f f ) l=a- (2.1) The generalization to an arbitrary topology coupled to the background is accomplished by the addition of a Wilson line along each boundary [8]. The addition of a bulk field is trivial, since it is a total derivative, and is treated explicitly in the next chapter. Chapter 2. Vacuum Energy by Path Integral Calculations 15 2.2 The Annulus 2.2.1 The Bosonic Propagator The first task is to calculate the Greens function for the Bose degrees of freedom. While this calculation can be performed in several different ways (see Appendix A), the most transparent is to perform a conformal transformation of the Euclidean annulus of inner radius a and outer radius 1 to a cylinder of length In a. If the annulus is parameterized by the complex coordinate z = re10 then this transformation is accomplished by the identification of the cylinder coordinates p, <f> as p = lnr , cp = 6. The equation that must be solved to determine the Greens function is +w)G(p' ^ /9''0,)=27ro/J(<A ~ ~ { 2 ' 2 ) where 5 is a modified 5-function with the constant mode subtracted so that 6 = 5— TT-\—, 2TT In a ' and the 5-function in ct> understood to have a periodicity 2-K. Obviously G will have to be periodic in cp, and Neumann boundary conditions are imposed. The correct boundary conditions are then d d-G^,p-^J) = 0 p=0 l-G{<t>,P-<l>',P') = 0. (2.3) p=\n a Similar conditions apply for p' also. A properly normalized eigenfunction of the Laplacian is 1 / 777T \ ^x (p, cfy = - = = c o s (T—P), (2.4) v 2 7 r l n a V i n a / y/ ir I   with eigenvalue A = m2 + ( ^ ) , and so using the relation G M , P ' A ' ) = -^^dmMi (2.5) Chapter 2. Vacuum Energy by Path Integral Calculations 16 and taking into account the 2-KCX multiplying the 5 function, we obtain the Greens func-tion In a ,n m2 m ^ O , m=—oo 2a' ~ ~ nrr nit , 1 + - — > > e , (* * , m cos -—pcos -—p o-(2.6) \\naj This can be re-written to obtain G{pA,P'A') = E E e ^ ) ™ c o s ^ p c o s ^ l n f l m ^ = - « > ™ = oo In a In a • • • • ^ 717T »7T . / 111 , + 27ra 'Vcos-—pcos-—p ' I . (2.7) ~ ^ In a ma \mr j This expression turns out to be a useful form of the bosonic propagator, and in the appendices, this is shown to be equivalent to other similarly derived expressions which are found in the literature. 2.2.2 Bosonic Vacuum Energy The bosonic part of the action given in equation 2.1 is 5 = 4 ^ / d(7dT^99abdaX»dbX,+^ei j drF^X'drX^o-^ J drF^X"drX%=a. (2.8) This means that the interaction Lagrangian takes the form LM = ^e1FllvX,/dTX>'6(a) - ^F^X'drX^ia - In a), (2.9) which is identical to the statement that the X field can interact at either of the strings ends with the background field. To determine the vacuum energy in field theory one procedure is to take all the vacuum Feynman diagrams, sum them, and exponentiate the result. Now the possible elements in these diagrams can be enumerated. Due to the Chapter 2. Vacuum Energy by Path Integral Calculations 17 fact that this is a vacuum diagram there can be no external X propagators, and since the only interactions take place at p = 0, In a the possibilities are that the field either experiences two subsequent interactions on the same edge of the cylinder, or on opposite edges, for a total of four possibilities. It is shown in Appendix B that the appropriate thing to do in this situation is to generalize the propagator from a number to a matrix, sacrificing the p dependence, which has the following structure: In this ,4(0,0') = G(0, 0,0,0'). and 5(0,0') = G(ln a, 0, 0, 0') with A' and B' being the obvious generalizations, and in the appendix this is shown to be a special case of a more general result. In this language, the vertex can be re-written as [1] The rational for this is in direct analogy with the re-expression of the propagator, and the reason that this matrix is diagonal is that the interaction does not mix the ends of the string. An interesting feature of this is that since the interactions of the strings bosonic fields are only at the boundary this has converted a 1 + 1 dimensional scalar theory into a 0 + 1 dimensional theory described by matrices. The calculation of C7(0, 0') must be done carefully. The starting point is the propa-gator calculated above, (2.10) (2.11) a oo oo 1 Im cos In a pcos In a (2.12) and so it is immediately clear that .4(0,0') C7(0,0,0,0') Chapter 2. Vacuum Energy by Path Integral Calculations 18 / oo oo " ^ ^ 0i(4>-<t>')m_ In a E E < m 0^,m=—oo n.=—oo + 2 W ^ 0 0 / l n a \ 2 „ . v 7T.7T 71=1 \ a' ~ ei(*-*')"» i n 2 a 2^ In a com(ra In a) + 7ra —— In a , n m , l n 2 a „ , v - , cos(m(d) — 0 ' ) ) . . . = T r a ' — - + 2a' ]T —T-LLCoth{m In a). (2.13) 3 m>0 m Clearly the same result holds for A'((J),<j)') = C7(lna, 0 , In a, 0 ' ) , since the only change in the calculation would be that the sum over n would now be multiplied by cos 2(n7r) which is identically 1. Similarly, for B(4>, 4>') the sum is multiplied by cos(rar) = (—1)", and the identity J2n m I + n 2 = ^csch(mir) immediately gives ,-./ , ,»\ ^ / / , ,/\ /In 2 a n i cos(m(d> — d>')) , . B((f>, (f)') = B'(<f>, (j)') = T r a ' — - + 2a' V — ^ c s c h i m In a). (2.14) Thus the Greens function can be compactly expressed as G ( A , ) = 2 R F E £ 5 ! M * Z * 2 ) G m , c . H I " 1 1 " " ' - M - l - A ( 2 I 5 ) m>o m \csch(m In a) coth(rn In a) / It is also possible to obtain similar expressions for arbitrary p and p', however, that is unnecessary in this analysis. Now, armed with both a propagator and an interaction vertex it is possible to calculate any Feynman diagram that would arise in the theory. Because the coupling to the external field has only two X legs, there is a unique world-sheet diagram at each order in n, and it can be explicitly calculated as J ,™ ™, r> 777*1 mi...mn>0 d,,C0S{mM"-MTrlGm,a...Gm,n]. (2.16) 772 Chapter 2. Vacuum Energy by Path Integral Calculations 19 The factor of ^  is due to the order of the diagram, (n — 1)! comes from the inequivalent orderings of the vertices, 2n is a result of the fact that there are two propagators on each vertex that can be connected either way, and Tr(Fn) together with ^ come from the interaction Lagrangian, and the factors of 2n cancel. The reason that the derivatives are shown operating on distinct propagators is that if two operate on the same one, the expression can be converted into the above form by integration by parts and using the antisymmetry of F^, noting that the surface terms vanish because the world-sheet is compact in the (j) direction. The (j) integrals enforce the equality of the m,, so the final expression for the diagram is 1 nth = 2ira')nTr(Fn) E Tr [GmQ]n . (2.17) n m>0 The matrix GmfL can be diagonalized, and will generically have two eigenvalues, A m + and A m _ which can be determined explicitly. This results in the simplification V 2 W ) " T r ( F " ) £ ( A " + + A^_) (2.18) n m>0 Now that there is an expression for the nth diagram in the set of all vacuum Feynman diagrams, it is possible to sum explicitly, {-2iva')n Y, connected = E ^—^—Tr(Fn) E (Ki+ + Ki-) n>l 7 1 m > l = - E T r tln (<W + 2 W F M „ A m + ) + In + 2Tra'Ffll/\m-)] m > l = - E Tr In (V + 2na'Am(ei - e2)Flll/ + (2W) 2i^,(-e i e 2)) , m>\ (2.19) where the last manipulation is obtained by evaluating the secular equation for GmVL and having set Am = • Thus, the exponential of the connected diagrams is e Econnected = j j e x p _ T r l n ^ + 2 W A m ( e i - e2)Fllv + (2W) 2 F%,{ -e x e 2 ) ) m > l Chapter 2. Vacuum Energy by Path Integral Calculations 20 II (det [8^ + 2-KdAm(ex - e2)FfU, + ( 2 W ) 2 F 2 I / ( - e 1 e 2 ) J ) 1 , (2 .20) m > l which is the expression for the vacuum energy of the bosonic degrees of freedom of the string, and agrees with [1] [4] [9]. Note that in the case of the neutral string (ex = e2) this is exactly the square of the Born Infeld action for the background field F^. This is because of the contribution of the different ends with opposite charges, each giving rise to a copy of the Born Infeld action. 2.2.3 T h e F e r m i o n i c P r o p a g a t o r We wish to analogously determine the fermion propagator, and use an identical technique to determine the contribution to the partition function from fermions. Since the topology under consideration is a cylinder with a Euclidean metric, and following the convention [5] for the two dimensional 7 matrices we have * = C 0 ) ' 7 ' = ( ! ~l\ ( 2 ' 2 1 ) Then the eigenvalue problem for the Dirac operator jada(f) = \(p is expanded as 0 L+^A 0>\ J ^ r . A I . (2 .22) Taking as an ansatz for ip E^M . I (2.23) IpJ n \tb„ and noting that em^ is a complete set on cp 6 [0, 27r] then for each mode the eigenvalue problem becomes l~n 0 JUJ UJ which is equivalent to ' d2 \ Chapter 2. Vacuum Energy by Path Integral Calculations 21 —2- - n tin = An- (2.25) Now, with the definition k2 = A 2 — n 2 it is clear that the most general solution to the first of those equations is i)n = Aeikp + Be-lkp. (2.26) This implies in turn that ^ = z i ! L l J l A e ^ P + i ± Z J l B e - * P . (2.27) A A Now it is necessary to impose the boundary conditions, and since these are free fermions either Ramond or Neveu-Schwarz boundary conditions will suffice. The condition that ibi = tpr at p = 0 immediately implies that B = — w h i c h can be simplified using the definition of k to obtain B = — A11^. This means that the condition = ±ip at p = In a is converted to gifclna _ n + c-ik\na _ _j_ f ~ i k — TI ^ i k l n a ^ ^-iklna\ (2 28) which has the effect of quantizing k as nm k = . 2.29 m a where m is either an integer or half integer depending on whether the + or — sign was chosen in the boundary conditions. Choosing the appropriate normalization constant A = \JA%\Da the final expression for the eigenstate of the Dirac operator is , / eikp — n+ik c-ikp \ ^ = ^ 7 = + . . . / ., • (2-30) V47r lna y — n+ik^kp + e - i k P j Noting that the sign of A is not chosen by the definition means that, in addition to the value of k and n, the sign of A is also a choice. In analogy with the approach taken by Chapter 2. Vacuum Energy by Path Integral Calculations 22 [5] in quantizing the Fermionic modes of the open string, note that the above expression for tp implies that ipmn±{pA) =1pmn±(-p,(f>)- (2-31) This means that the ip and ib fields on the domain 0 < p < In a can be combined into a single field which lives on the interval — In a < p < In a and which has either periodic (Ramond) or anti-periodic (Neveu-Schwarz) boundary conditions ib(<b,p + 2\na) = ±V>(0,p), (2.32) and the eigenvalue equation for the Dirac operator is trivially rewritten in the form ( d .3 dp ' %d~4> ' P^ = (2.33) which explains the mixing of left- and right-movers in the expression for ib, which stands in contrast to the free string case. The inner product of the eigenfunctions is defined as /•in a r£K (i>mn±i>m'n'±') = dp d(ptplnn±1p, Jo Jo m'n'±' • (2.34) This is in direct analogy with the orthogonality condition of the previous chapter. This can calculated explicitly as follows, f i n a r2ir / dp d4>Amn±'ibmln,±l = I dp d(f> i)*mnibm>n> + VCmVWn' Jo Jo Jo Jo L e-i(n-n')4> (e^kp _ ™ %Aeikp | x eik'p _ n'' + % k ' c-ik'p" +e -i(n-n')4> (_n lJle-ikP + &ikp ] ( n> + tk' ^ p + £-ik'p" A A' 1 x /"'na i < W In a Jo ' n-ikn' + ik'\ , 1 + —j; —Uos(k-k')p Chapter 2. Vacuum Energy by Path Integral Calculations 23 'n — ik n' + ik's A A' cos(£; + k')p _ / n — ikn' + ik'\ (n — ik n' + ik'\ — Onn'°k-k' I H ^ I — Onn'Ok+k' I ^ 1 ^ I = 5mm'finn'8±±', (2.35) upon imposition of the condition that k is exclusively positive. This condition can also be deduced from the observation that ip(-m)n = (—l)11-^1'4>mn which means that those degrees of freedom are not linearly independent, and is reminiscent of the condition for the bosons. Now the Greens function can be calculated, and it is simply G(p,1p,p',lp') = E ^-^mn±(p,tp)lpLn±, (2-36) m > 0 , n , ± ^ which is a 2 x 2 matrix, with the factor of 2na' accounting for the normalization of the Dirac operator in the action (2.1). Also, the sum is restricted to being over positive m by the observation above that the terms for negative m are not linearly independent. The elements of this matrix can be explicitly evaluated, and are G n = 2l\a' E V V , m n ± (P, (t>Wr,mn± <t>') m > 0 , n , ± a E m > 0 , n , ± }iein(4>-4>') (jkp _  71 +  lkc-ikp\ fe-ikp' _ ™ l^Jkp1 .(2.37) A " A " A The sum over the sign of A has the effect of eliminating the odd power terms, and what is left can be written as a. ^ i— E —e In a 1 m>0 ,n J_pin{4>-4>') A 2 -2n(e ik(p+p') e-ik{p+p>)^ + 2lk(elk(p+^ - e-lk{p+pl))\. (2.38) Similar calculations for the other components reveal that the structure of the Greens function is G(p^,p',^') T L X V _L„in(0-*') m>0,n -ncos k(p + p') — ncos k(p — p') -ncosk(p-p') —ncosk(p + p') + -k sin k(p + p') +k sin k(p — p') -k sin k(p-p') +k sin k(p + p') (2.39) Chapter 2. Vacuum Energy by Path Integral Calculations 24 2.2.4 F e r m i o n i c V a c u u m E n e r g y The fermionic part of the action (2.1) is (2.40) The interaction Lagrangian can be written as Lint = \eiF^rW8(p) - l-e2F^~rYV5{\na - p), (2.41) which means just as in the case of the bosons that the fermions only interact at the ends of the string. Exactly as in the case of the bosons the fermion propagator can be restricted to the edges and made into a larger matrix of the form G(p,<t>,p'A')^G((f>,(f>')=[ , (2-42) V B ' O M ' ) AM, <j>')) with the same definitions for A and B as in the bosonic case. Now it is necessary to calculate the explicit form of A, A', B, B' for both Ramond and Neveu-Schwarz boundary conditions. The case of periodic fermions is straightforward, and explicitly An' 1 / ~ n ~ n AR = 0(0,4,0,4') = E T W ^ ^ l n a m > o , n A \ -n -n 4a' v _ 1 -e in(<t>—41') -n —n l n a m>o,n " 2 + \-n -nj ( cothin ln a) cothin ln a) \ • (2-43) coth(n\na) coth(n\na) J The calculation of A'R is identical, because m is quantized as an integer, so cos(27rm) = cos(0) = 1 while sin(m7r) is vanishing, and because there should be no physical difference between the two ends of the string, the two values are expected to be equal. In particular, Chapter 2. Vacuum Energy by Path Integral Calculations 25 the vacuum energy is not changed by the exchange of e\ and — e2. Similarly, BR can be calculated as W 1 (-n(-l)m - n ( - l ) l n am t £ n A 2 V - ^ ( - l ) m - n ( - l ) ( cschin In a) cschin In a) \ csch(n In a) csch(n In a) / and the calculation is identical for .B^. For the Neveu-Schwarz sector the calculation of A^s and B^s requires more care, due to the fact that m is half integer instead of integer. The calculation for A^s can be done as Am' 1 (—n —n\ A N S = GMM') = p - E ( tanh(nlna) tanh(nlna)\ • (2-45) tanh(n\na) tanh(nIn a) / The calculation for A ^ - 5 is analogous, resulting in > / —tanh(nIn a) tanh(nlna) \ A ; s = + W ^ e » ( H ' ) . ( 2.46) n \ tanh(n\na) —tanh(n\na) / The subtlety comes from the evaluation of An' 1 / - n cos k(+ In a) — n cos — In a) \ BNS = G(0,A\na,A) = E i e - ^ M m a m > o , n A \ — n cosA:( — In a) — ncos/c(+lna) / —A; sin&(+ In a) +/c sin k(— In a) -A: sin k(— In a) +£; sin k(+ In a) zW i /—^-smlmn) — P^sin^/wr) E re l n a m > o , n A 2 I FsinfTriTr) ^ s i n ( m T r ) ' \ lna v ' In a ' ( sechtn In a) sechin In a) \ , (2.47) —sech(n In a) — sech(n In a) / Chapter 2. Vacuum Energy by Path Integral Calculations 26 and the subtle point is that when evaluating B'NS there is a difference compared with the above calculation. The signs of the off-diagonal elements change, because they depend on p — p', while p and p' are interchanged. The result is that ( sechin In d) —sechin In a) \ (2.48) sech(n In a) — sech(n\i\d) ) From the interaction Lagrangian it is clear that we can re-write it as / ^ ( - r y * ) 0 - \ Lmt = i / d^Ffu, . 2.49 Given this interaction term, it is possible to write down the contribution from the unique diagram at order n. This takes the form nth = ^ ( n - l ! ) T r ( F ; j a m £ e™i(*2-*i) r l - ^ m i . . . m „ • • • e i r o»(*-*»> x Tr [GmiQ... G m B f t ] , (2.50) where Q is the matrix component of the interaction term, and Gm is the matrix portion of the fermion propagator. The term ^ comes from the order of the diagram, and (n —1!) counts the number of ways of ordering the vertices. The integration over the (ps is trivial and the result is nth 1 S Tr(Fp (a'n)n £ Tr (Gmtt)n . (2.51) Now, using the fact that the matrix can be diagonalized, and denoting the four eigenvalues of Gmfl by A i m • • • ^4m this can be re-expressed as 1 nth n *n Tr(Fp (oV)" £ (A?m + Xn2m + A? m + A ? J . (2.52) To obtain the vacuum energy it is necessary to sum all the diagrams so £ connected = £ \ Tr{F^) (a'-n)n A? mnj E l o S T r (<W + (<*'*) F^Xjm), (2.53) mj Chapter 2. Vacuum Energy by Path Integral Calculations 27 so _,y] connected (2.54) GmR$l — and the sum in the determinant depends on the eigenvalues of Gmfl. The task is then to determine the eigenvalues of GmQ for both the case of Ramond, and Neveu-Schwarz boundary conditions. In the periodic sector the matrix ( AR BR\ / e l 7 * 0 \ B'R A ' J { 0 - e 2 7 V f coth(m\na) coth(m\na) csch(mlna) csch(m\na)\ coth(m\na) coth(m\n a) csch(m\na) csch(m\na) csch(m\na) csch(m\na) coth(m\na) coth(m\na) \csch(mlna) csch[m\na) coth[m\na) coth(mlna)) ( 0 ex 0 0 \ ei 0 0 0 0 0 0 - e 2 V 0 0 - e 2 0 / had two non-zero eigenvalues Ai#, A2# that satisfy (2.55) Ai/j + A 2/j = 2(ei — e2)cot/i(m In a) AiflA 2K = -4e ie 2 . (2.56) In the antiperiodic sector the result is different, but analogous. Evaluating ftanh(m\na) tanh(m\na) sech(m\na) sech(mlna) \ tanh(m\na) tanh(m\na) —sech(mlna) —sech(m\na) sech(m\na) —sech(m\na) —tanh(m\na) tanh(m\na) \sech(m\na) —sech(m\na) tanh(m\na) —tanh(m\na)J GmNS^ X Chapter 2. Vacuum Energy by Path Integral Calculations 28 / 0 e i e i 0 0 0 0 0 \ 0 0 0 - e 2 (2.57) VO 0 - e 2 0 / Again , two non-zero eigenvalues are found, which satisfy ^INS + A2JVS = 2(ei — e2)tanh(m In a) ^INS^2NS = —4eie 2. (2.58) W i t h this information the contribution to the vacuum energy in both the Ramond and Neveu Schwarz sectors can be written down explicitly. The result is ^ connected _ JJ D E T + 2 a ' 7 r ( e 1 - e 2)coth(m In a ) + ( 2 a V ) 2 ( - e i e 2 ) F ^ ) m e X>"" e c ' e r f = J J d e t + 2af/7r(e1 - e2)tanh(m In a)F^ + (2a '7 r ) 2 ( - e i e 2 )F 2 , , ) , m (2.59) in agreement with the results of [4]. 2.2.5 Superstr ing V a c u u m Energy For the bosons, the energy associated with an annulus of inner radius a and charges e\ and — e 2 at the ends was determined to be E = II (det [V + 2 W i m ( e i - e2)Ftu, + (2Txa'fF%{-e1e2)\) 1 , (2.60) m>\ with A m defined as above. Since the external field can be block diagonalized, it is only necessary to determine the effect of one of those blocks on the energy, and the rest wi l l be identical calculations. If the field strength is / in this pair of directions, with the identifications /?! = 2 7 r a ' e i / , /? 2 = -2ira'e2f (2.61) Chapter 2. Vacuum Energy by Path Integral Calculations 29 then for the two dimensions in question, the energy is JJ det - i m > l -1 AmPl + fo 1 - P1P2 II ( l - A / ? 2 ) 2 + ( ^ m ( / ? l + / ? 2 ) ) 1 + 2 a 2 m + a 4 m \m>\ n \m>\ t n \m>\ 1 - + + 1 (1 - a 2™) 2 1 - 2 a 2 m + n ( l + /? 1 2)(l + /522) x n>l n 1-2 1 - p\ - PI - AP,p2 + p\p\ 2 m - I 4m m>!V ( l + j S ? ) ( l + # ) Now, making the identification _1_ _j I-PI- PI - 4Aft + P\Pl V 2nC°S (1+/?2)(1 + / ? I ) the energy can be re-written in terms of a Jacobi 9 function as 3 / _ _ , / 1 _ 1 \ Z na+A 2 ) ( i+^ 2 2 ) f ^ n ^ TI>1 \ U m > l 1 ' -1 T-) —OiU—) a2m ] 2sin7r^ V ml which can be re-cast with a Dedekind r\ function as i ^M^)\X n(i+/?2)(i+/?22) i n > l 2sin7r^ rfl I Ina \ \ iir J ( ( l + / ? 2 ) ( l + / ? 2 ) ) - 1 / 2 ^ {Pl + p2? (Ina \ \ in J 2(Pi+P2) (2.62) ' (2.63) (2.64) (2.65) The second step makes use of the fact that sin(|cos_1/c) = \f^r and also £ function regularization. This gives the effect of one independent block of on the vacuum energy of the bosons. Chapter 2. Vacuum Energy by Path Integral Calculations 30 The above must be integrated over the Teichmuller parameter, and the obvious gen-eralization is that the vacuum energy in 10 dimensions is *=/ di rr 2<A.+A»>rJMr n ( i - « - * * ) ' . (*•«»> J U n=l Vl \ u n \ ^ - ) k>l where as before, / 1 ; . . . / 5 are the independent components of the background F^ field, equation 2.61 is extended to read pin = 2Tra'eifn, fan = -27ro:'e 2/ 2 j (2.67) and the generalization of 2.63 is T _,!-/??„ - pi - 4 f t „ f e „ + m o i "" = S C ° S (! + «.)(!+«.) • < 2 - 6 8 ) The contribution from the ghosts is simply the vacuum energy in the limit of zero field for a pair of the coordinates, but in the numerator, as is appropriate for the degrees of freedom which reduce the number of bosons. The integration has an imaginary part for a background electric field, which indicates, as discussed in [4] that there is pair production of strings from the vacuum. The contribution from the fermions is more subtle. They are multiplicative with the bosonic contribution, but must be summed over four spin structures [10] [11] which is equivalent to performing the GSO projection on the string. These spin structures correspond to periodicity or antiperiodicity in both the p and <j> directions on the annulus, and have their origin in the fact that the annulus is also a tree level closed string diagram. The contribution of the two terms that have periodic (j> a r e 1 #i (H—) ^ - 2 ( A + A ) rf(4)  (2'69) JNS,P -w.- 1" n ( i + « 2 i . (2.70) 2 ( 1 - A f t ) „ ( ! M ) Chapter 2. Vacuum Energy by Path Integral Calculations 31 while the terms antiperiodic in (j) are ZR,A = , ] ^f^a-W II ( l - ^ - 1 ) " 2 (2.71) V / ( l + /5i2)(l + /522) ->o V J ZNS,A = , } ^ 3 H ^ ) a - l / 1 2 JJ ( 1 + a 2 m - ! N - 2 ( 2 7 2 ) As in [11] the sum over spin structures is given as ZR,A + ZNs,p — ZRjp — ZNS,A (2.73) and as noted in [4] the zero field limit has this exactly vanishing, as expected for a model with unbroken supersymmetry. 2.3 T h e D i s k 2.3.1 B o s o n V a c u u m E n e r g y The amplitude for the disk is a simpler calculation than that for the annulus, and can be obtained as a limit of the annulus calculation. The calculation starts in the same place as the others, with the action for a set of bosonic fields on the string that are only coupled at the boundary to the external field. This action is [1] 1 l' i2ixn'p c S = - J dadrdaXTX^ + J dTFp,X"dTX», (2.74) where the X fields have been rescaled by a factor of yj^y compared with the previous section, for ease of computation. Reading off from this the term associated with each vertex is -eira'F^J drX^rX", (2.75) and the analogy with the annulus is that because there is only one boundary il, = 1 here. A convenient way to do calculations on the disk is to parameterize it as the unit Chapter 2. Vacuum Energy by Path Integral Calculations 32 disk in the complex plane, because the Greens function satisfying Neumann boundary conditions is well known there and is [12] G{z, z') = -^- In \\z-z'\ z - z'-1 1 . (2.76) 2TT Using the parameterization z = relT, z' = r'elT' and denoting £ = r — r', because there is only one boundary in analogy with the calculations done for the annulus it is necessary to calculate the propagator restricted to the disk's edge. With r = r' = 1 the propagator immediately becomes G(r , r ' ) = -^ln(2-2cosC), (2.77) and using the identity In ( l + b2 - 26 cos C) = - 2 E — cos m(, (2.78) n=l m then / x 1 ^ cos mC G(T,T') = - J 2 — - ± . (2.79) This expression also has an analogy in terms of the annulus, where the matrix Am = 1 in this case. This considerable simplification makes the closed form for the disk simpler than that for the annulus. Now it is necessary to calculate an arbitrary Feynman diagram, and exactly as in the case of the annulus, the nth diagram is nth = 1 ( - e W ) " Tr(Fn) (n - 1)!2" f dn . . . drn^-G(ru r2)Ct... ^-G(rn, (2.80) The term 2 n comes from the observation that each vertex has two equivalent bosonic legs, and no matter how they are connected the diagram can be restored to the form above by and integration by parts. Using the above expression for the propagator this Chapter 2. Vacuum Energy by Path Integral Calculations 33 can be re-expressed as = - ( - 2 e W ) " Tr(Fn) ]T \ j drx... drn sin mx(rx - r 2 ) x m\...mn . . .sin m„(r„ - TX)AmiVt... Amnil 1 (-2ena')n Tr(Fn) £ (AmQ)n . (2.81) n m > 0 So the sum of the connected vacuum diagrams is Y, connected = ^ £ ^ ( -2 e 7 ro / ) n T r (F" ) ( ^ m f t ) n ? i > l m > l ^ = ~ T r l n (V + 2e-Ka'F^AmQ) . (2.82) m > l So that e £ c o n n e c t = J J exp ( - T r In (5^ + 2eTia'F^AmQ)) m>\ det (5^ + 2e-na'FilvAmQ)' ( 2 ' 8 3 ) But since the factors A m and are trivial, this becomes = yjdet (5^ + 2ena'Fllv) (2.84) by £ function regularization, and this is exactly the Born-Infeld action. It is worth noting that the expression for free energy of the annulus exactly reproduces this in the limit where a —> 0 and e2 0, which corresponds to the disk amplitude. 2.3.2 Fermion Vacuum Energy It is more difficult to place fermions conventionally on the disk, because while the topology had a Greens function that satisfied the two dimensional Laplacian, the mapping to appropriate boundary conditions is non-trivial for the fermions. However, since the question has already been solved for the annulus, and since for the bosons one can get Chapter 2. Vacuum Energy by Path Integral Calculations 34 the disk amplitude from the annulus amplitude by taking the limits a —> 0 and e2 —> 0, it is reasonable to suppose that the same procedure will work for the fermions. In this limit the energy for the fermions from the Ramond sector (2.59) is e £ c°nnected = II det (V + 2 a V e 1 F / u / ) , (2.85) m and equally the sum in the Neveu-Schwarz sector is e E connected = JJ ^ ( ^ + j ( 2 gg) m so the contribution from either sector is equal, which confirms the naive expectation that there should only be one way to include fermions on such a simple topology. After C function regularization the fermion contribution becomes 1 (2.87) x/det (5^ + 2e7ra'Ftll,) This means that for superstrings in a background U(l) field the disk amplitude becomes trivial, and the tachyonic divergences are cancelled. 2.4 T h e B o s o n i c M o b i u s S t r i p The mobius strip is very similar to the annulus, and the propagator and vacuum energy can be calculated similarly. The fields must obey the same Neumann boundary condi-tions as on the annulus, with the only significant difference coming from the topological boundary condition G(p, <j>, p', </>') = G(\na - p, <f> + 2vr, p\ (/>'). (2.88) This has the effect of suppressing the odd modes in p and p', which leaves the Greens function in the form G{pA,p'A') = f - E ^ - . e ^ ' ^ c o s ^ p c o s ^ p ' , (2.89) Chapter 2. Vacuum Energy by Path Integral Calculations 35 which is exactly the same form as the propagator for the annulus, with the multiplicative change in the constant multiplying k. When restricted to the edge of the strip, of which there is only one, we find that C7(0, 0 ,0 ,0') = C7(lna,0,O,0') = C7(0, 0, Ina, 0') = G(lna, 0, Ina, 0') , , ^  COS 777.(0 — 0') , 777 In a . = 4a' Y, — — — c o t h — — , (2.90) m>0 m 2 and so, following the exact same steps as in the case of the disk we find that the partition function, given by z = eEconn = j j e x p (Tr l n ( ^ + 2 . 27ra'eF^cothH^)X m>0 \ J] Idet m>0 V , _, . rn In a o^u + 2 • 27ra eF^coth—-— 2 - l (2.91) Several things can be observed. In the limit a —> 0 this reproduces the form of the Born-Infeld action for the field F^. The additional 2 multiplying the field strength can be thought of as encoding the information that the mobius strip has an edge twice as long as that of the disk, and the lack of a F2 term indicates that there is one and only one edge, in contrast to the annulus where the "squaring" of the Born-Infeld action is precisely because of the existence of two edges. Chapter 3 Non-Commutative Geometry 3.1 Introduction Non-commutative geometry is a subject that has received a great deal of attention in the past few years [13] [14] [15] [16] [17] [18] [19]. It is interesting for two particular reasons. The first is that field theory on non-commutative spaces are currently being studied because of interesting properties such as U V / I R mixing, and the second is that if the X^ fields on the string world-sheet are regarded as the coordinates of the string embedded into a larger space it can be shown that they are themselves non-commutative. The general form of the non-commutativity among the coordinates is encoded in the non-commutativity parameter 9pi/ which is defined by the relation [X*,XV] = itf"", (3.1) and it is taken to be a constant. The algebra of the functions on the non-commutative space is governed by the Moyal product, defined as f*g(x) = e L ^ d ^ f ( x + ci)g(x + Ok=c=o, (3.2) which is associative and non-commutative to order 9. The way that non-commutative geometry appears is by considering the end-points of open strings, for which it is possible to derive an exact propagator in the presence of a antisymmetric background. Non-commutativity appears in the guise of coordinate dependent coefficients in the OPE. 36 Chapter 3. Non-Commutative Geometry 37 The purpose of this section is to derive the non-commutativity of space time coor-dinates in the perturbative framework developed previously for the calculation of the partition function for strings in an electro-magnetic field background. The methodology is as follows, given the action for a string ending on a Dp-brane with a constant gauge field confined to the brane and an antisymmetric B^ field in the bulk of target space, the two fields appear in a gauge invariant combination, which is treated as a perturbation which gives rise to an interaction term in the two dimensional field theory of the bosons on the string world sheet exactly as in the previous section. The modification to the X field propagator due to an arbitrary number of such interactions is calculated, and using a technique due to [14] the non-commutative nature of the Dp-brane is revealed both at the disk and annulus levels. This is generalized for the case of a string ending on two separate branes. It is not surprising that there should be some modification to the standard commu-tation relations given an antisymmetric background. The well known problem of the motion of a charged particle in a constant magnetic field background gives rise to a non-trivial commutation relation with the anticommutativity parameter depending on the magnetic field strength. Indeed, it is noted in [14] the a' —> 0 limit of string theory, which is equivalent to that of a large (T 3> 1) background field, has an action which is exactly that describing the motion of electrons in a large background field. It is shown [14] [20] that the dynamics of the X fields is that of electrons in the lowest Landau level, and the commutation relations, derived later, reduce to (3.3) in the large field limit. Correspondingly, the noncommutativity parameter, (3.4) Chapter 3. Non-Commutative Geometry 38 goes in the limit of small fields (F -C 1) to 9 — T which illustrates the fact that commutativity should be restored in the case with no background field. 3.2 Disk Calculations It is well known that the action for a fundamental string ending on a Dp-brane in the presence of a B-field, with a gauge field confined to the brane is [21] [22] S = 4 ^ / [^G^X^dpX" + ncx'ea0Blll/daX'idpX'/] + J drA^X", (3.5) and since the term involving the B field is a total derivative, and in the approximation of constant B and F fields the last two terms can be combined in the form S = tta! I  d2(J9a0G^daX»dpXv + i | drT^drX^ (3.6) with •Faw Fp^v (3.7) as the gauge invariant field strength that appears in the Born-Infeld action. Using the gauge transformations A -> A + dA, B -> B A ^ A + X, B ^ B + dX (3.8) it is possible to leave only components of T which are on the brane. It is equally well know that for the disk amplitude the world-sheet of the string can be conformally transformed into a unit disk on the complex plane, and using the propagator from the previous section G(z, z') = -^-ln\z- z'\ z- z'-1 . (3.9) Chapter 3. Non-Commutative Geometry 39 When this is restricted to the boundaries \z\ = \z'\ = 1 it becomes ^ e ' ^ l f C O S ^ - ^ , (3.10) so using the standard Feynman rules for the now interacting field theory the correction to the propagator from N interactions with the external field is GN(pei<",p'ei1/) = j ^...d^pe'V^ = (-2ita'ef (T")^ J d 9 l . . . d 9 N - ^ l J2 p'mN _j_ J-mN x sinmi(^i — 92) sinm2(92 — 93) . . . smmN(9N — </>') „ . . „, . 1 nm nim 1 fJ-m ( COS Vflid) — 6') NeveTl V 1 * m rn 2 [ S i n m(0-0 ' ) Nodd (3.11) Then summing the contributions from all the values of N gives the propagator as r i r J * n'^'\ I 1 f 1 v (PPT + (P/PT , . / V Gint(pe*,pe*) = [l_{2nale)2^) -cosm^-^Neven (3.12) The only thing that remains is to calculate the equal time commutator of the X fields, and to do that using the technique due to Witten's paper, [X"(T), X"{T)\ = l i m T ( X » ( T ) X » ( T - e) - X»{T)X»{T + e)), (3.13) where T represents time ordering. In the case p = p' = 1 the sine series above is nothing but a step function in the limit e —> 0, while for either p or p' not on the boundary this converges to something proportional to t a n - 1 (f^^iyf)> which vanishes in the limit Chapter 3. Non-Commutative Geometry- AO e —> 0. This shows that for the end-points of the open string at the disk amplitude there is a non-trivial commutation relation, which is the signature of non-commutative geometry on the brane, and this relation is, after rescaling the Xs by \J2KOL' to restore the fields to a form comparable to those used in analyzing the annulus, ^ • J f ' W ' = w ( i - " ( w ^ ) " - ( 3 - 1 4 ) This reproduces the non-commutative geometry on the brane [14] [21], and it also demon-strates that the non-commutative geometry is in fact a perturbative effect, and not due to instantons, or other non-perturbative effects. 3.3 One Loop Correction to Non-Commutative Geometry Since the foundation of the non-commutative geometry is given in tree level diagrams, it is interesting to consider the corrections that come from one loop string diagrams. In this section one loop diagrams are discussed with two main thrusts, the first being to examine the effect of an open string stretched between two branes, and the second, to give the one loop correction to the commutator found at the disk level for the X^ fields. As is developed elsewhere, the free propagator for the X fields on the annulus with Teichmuller parameter Ina, which has been conformally transformed to a cylinder is (2.7) + 2 W T cos ^ cos ^ (—\ | , (3.15) nTo l n a l n a \ n 7 r / / and as discussed in the calculation of the partition function of the string, this propagator can be re-cast as a matrix valued propagator of only one variable when the interaction happens only at the edges. The Lagrangian for the string coupled to the two branes is the same as that given before, with the Ti being the gauge invariant field strength Chapter 3. Non-Commutative Geometry 41 on the ith brane. In this language, the Nth diagram for the propagator on the annulus < X ' ( P , T ) X V , T ' ) > ^ GN(P,T,P',T') = ^N\jd91...d9N(G(p,T,O,01),G(p,T,\na,9l)) u )de1M(9u92)x...x 1 lkN~l 0 -e^rt) V 0 -e2Tl 2k N where G(0,9n,P',T') \ xdgN\ , (3.16) \G(lna,9N,p',T') , T , n ^ cosm(9-9') fcothmlna cschm\na\ M(9,9') = Y, • (3.17) m>o 171 \ cschm ln a cothm ln a ) The integration is trivial and gives i ( sin m(r — T') Nodd Gn(P,T,P',T>) = (2aT+1(-*)NA-Y,{ , n m a m>o [ cos m(r — r ) Neven ik\ ^ i rnrp 1 nixp (-1)™ 1 fei^i u x > cos y, cos y l n a ^ 2 + t e ) l n ° ™ 2 + f e ) J V 0 -e2Tt 777, / cothm ln a cschm ln a \ / cothm ln a cschm ln a cschm ln a cothm ln a / \ cschm ln a cothm ln a ' e i ^ . , 0 \ _ /cos l n a £ l n a ™ 2 + ( i n i ) . ( 3 . 0 - e 2 ^J »' Vcos^^g, V In a / Note that this expression reproduces and generalizes the non-commutativity relation found by Chu [22] for strings between two branes, namely that 1 - ( 2 7 r a ' e i J r ) i < 7ra'27ra'e2T2 p = p' = ln a Vl-(27ra 'e 2 ^)iy 0 otherwise. (3.19) Chapter 3. Non-Commutative Geometry 42 The generalization is that there is no requirement that the fields on the two branes are aligned in any way with each other, which is no surprise, but reassuring to discover. The limit in which the above expression reproduces Chu's result is in the limit a —> 0. The way to understand this is to note that this limit corresponds to the disk limit, since a is the Teichmuller parameter for the annulus. Chu's results rely upon a time average to calculate commutators, and this average is taken over non-compact time (on the string world-sheet) which corresponds to an infinite string world-sheet extending between the branes in question. This is nothing but a disk amplitude. The last thing to note is that in the most general case, with two branes with indepen-dent T fields on them the commutator of the X fields will generally depend on both the Fs in a non-trivial way. This means that in a Randall-Sundrum type scenario in which there are two branes, with us living on one, subtle deviations in the non-commutativity parameter would enable the measurement of the T field on the other brane, which is an exciting possibility. Now, consider a string beginning and ending on the same D-brane. This brane has a gauge field with field strength F on it, and there is a B field in the background. The commutation relation for the X fields will be determined exclusively by the values of the string endpoint charges. The dependence on the background fields occurs in the combination T = B — F which is gauge invariant. The action is re-written so that the X and T fields have a derivative interaction at the edge of the string world-sheet. This process in itself suggests that the string coupling to the T should be the same strength at each end because the bulk interaction with the B field is a total derivative, and appears with equal coefficients when rewritten as a surface term on the world-sheet. This is in direct analogy with the procedure used previously to determine the string partition function. Chapter 3. Non-Commutative Geometry 43 3.3.1 The Charged String For a charged string with equal coupling at each end, we have e\ = —e2 = e and the above expression (3.18) can be modified. With equal charges and p = p' = 0 analysis identical to that for the partition function that we've discussed before gives that i f smm(6 — d>') N odd 1 (X*(0,0)^(0, cj>'))N = 2 c / ( 2 W ) " ( e " F " ) U £ -m 171 [ cos m((f> — (j)') N even J / (1 + 2am + a2m)N-1 0 \ V 0 (1 ~2am + a 2 m ) N - 1 ) (I 1 \ x I 1 (1 + a2m,2am), (3.20) and so . j , - i f sinm((f) - (j)') N odd ] i / i N N+I m r n [ cos m(<p — (f>) N even J z V i " / ((1 + 2a m + a2m)N+1 + (1 - 2a m + a 2 m ) / v + 1 ) . (3.21) The same calculation for p — p' = lna gives an identical result. The results for p = 0, p' = In a and p = In a, = 0 are equal to each other with i f sinm(c!> — d>) N odd (Xl(0,cf>)X^lna,(f>'))N = 2a'(2na')N (eNTN) 3 £ -m m { cos m((f) — (f)') N even x - ( _ a 2 r n ) ((1 + 2am + a 2 m ) N + l - (1 - 2a m + a2m)N+1) . (3.22) Thus, the sum of these four contributions, which must be taken to evaluate the commu-tator gives . i,- i f sinm(0 — <t>') N odd 1 / 1 , m x7v+i <A^)A-(0')>* = 2 a ' ( 2 W ) - ( e ^ ) i J E ^ „ 2 ( T T T ^ ) m m [cosm(0 — (j)) N even J V i a ' Chapter 3. Non-Commutative Geometry 44 (3. Since in the end, a commutator is going to be evaluated, it is obvious that the terms which have even N will cancel, while the odd N terms add. Summing over all odd iV and integrating over the Teichmuller parameter one obtains \X\X>] = lim / — V - s i n m ( e ) x 4a' / f c * , (3.24) L J e^o+J a ^ m w 1 - f2k2 v ' where / = 2-Ka'eT, and k = . The sum of sine terms is the fourier series for a sawtooth wave, and so the limit e —> 0 can be evaluated as This integral has two poles, one as a —>• 0, and one near a — 1. The second is a simple pole, and the contributions of the integral on either side of it cancel, and the pole at a = 0 can be regulated by introducing a small cutoff, and then up to constant terms "i da , fk2 1 J Je a 1 Pk2 f_ I - / 2 - 2 7 r a ' 7 - ^ - 7 i l n e , (3.26) Thus the contribution at one loop level from a charged string to the non-commutative geometry is a renormalization effect. The divergence is the same encountered in the free energy for the free annulus, which is interpreted in [6] as originating from the open string tachyon. 3.3.2 T h e N e u t r a l S t r i n g For the neutral string, a very similar process can be followed. In particular, taking the initial form of the Nth interaction, and substituting e\ = e2 = e, which is a neutral string, Chapter 3. Non-Commutative Geometry 45 one obtains i f sinm(0 — d>') N odd (X\PA)X>{P'A'))N = 2 a ' ( 2 W e ) w ( j f E i m m [ cos m((j) — (f)') N even fl 0 \ / 1 o! x ( / m (p,0) , / m (p, lna)) \ 0 - 1 / \ - a m - 1 0 ( - l ^ l - a 2 ™ ) " - 1 ; \ - a m - J V/m(lna,p') 1 \ N ~ X / 1 , l - a 2 " V V l - a 2 m , Since the properties which determine whether a particular TV survives the difference in the commutator depends only on / and sin, and from previous experience we know that only the odd N survive, in the following we only consider odd N. For the case of p = p' = 0 the expression simplifies to 1 / 1 n 3 (3.27) A-(O,0)A^'(O,0'))iv = 2a\2na'e)N (FNYY-^m{ct>-—A l - a 2 m 0 \ /1 + a m 2m n \ / 1 i „ 2 m ' i i — II. x f l + a 2 m , 2 a m ) I I I V V 0 -(1 -a2m) j \ 2am 2 ) ,2m = 2a'27ta'e)N sin m{<j> -</>')(—-m m \ 1 — a x ( ( l + a 2 m ) 2 - 4 a 2 m ) . (3.28) Following similar logic, we find that for p = p' = ln a, ( ^ ( l n a ^ X ^ l n a , ^ ) ) ^ = 2a\2na'e)N (TNy Y-smm(<f> - <f>') ui- in \ 1 Cl 771J ( - ( l + a 2 m ) 2 + 4 a 2 m ) , (3.29) and for p = 0, p' = ln a, the result is (X\0A)X^\naA'))N = 2a ' (2We ) y v ( ^ A r ) t J ^ l s inm (0-0 ' ) f ^ -^ ) 2 Chapter 3. Non-Commutative Geometry 46 x ( ( l + a 2 m ) 2om-2am ( l + a ,2m )) = 0. (3.30) So since the four contributions must be summed to obtain the annulus correction we see explicitly that the contribution at each order in perturbation theory from the neutral string to the commutation relations vanishes. 3.3.3 Distinct Branes As noted above for an open string stretched between two branes, in the limit a —> 0 the non-commutativity parameter is 9 = 1 j ^ 2 where T is the gauge invariant field strength appropriate to the brane. This will, of course, be modified when not in the disk amplitude limit. Since the field strengths on the two branes are not a priori related to each other, it is unreasonable to expect that they have similar decomposition or block diagonal forms. Here, we examine the limit T2 <C T\, which gives leading order corrections to the non-commutativity parameter. With T2 <C T\ we find that the contribution of the N interactions with either back-ground field gives Since the expression multiplying csch2m ln a is manifestly odd for odd N, and even for even TV it is clear that following the same procedure as above +csch2m ln a (T2T^1 + TXT2T[ (3.31) [X",XV[ N = ira. •! {2na'f cothN-lm ln a [coth2m ln a ( j f ) +csch2m\na (T2T"-1 + TXT2T[ TtlF2Y] . (3.32) Chapter 3. Non-Commutative Geometry 47 Now, making the assumption that T\ and J-2 have the same block diagonal form we obtain. 2na'' T\Coth2mma (2ira'Jri)2coth2m In a fl + (27ra'Jri)2coth2m In a , 2 + 7 - — . 2 2 — csch m\naT2 V I — (2i:a'j7iYcothlmma (3.33) Using the same techniques as before we can see that upon integration over the Teichmuller parameter, there will be the same divergent structure for the full commutator as in the case of the charged string. 3.4 Non-Commutative Geometry from the Mobius Strip The mobius strip is the simplest non-orientable surface that can be incorporated in string theory, and as such it is interesting to study its effects in the context of non commutative geometry, since it will give the contribution of non-planar diagrams. As was derived previously, the propagator for bosons on the annulus is GMJA') = ^~ E 2 ^ - ^ c o s ^ p c o s ^ p ' , (3.34) l n a m ^ o m 2 + ( M ) lna lna and following the procedure given for the annulus, it can be shown that the correction to this due to N interactions with the background field can be written as / i x 2 f s'mmU - <b')N odd ) / m]nn\N~1 (X*Xi)N = 2ct{-2*otef (FN)J V (-M \ h c o t h 7 ^ ) V ' m k k ^ l n a J [cosm(<f>-<l>')N even) \ 2 J cosf^p cosf^-p \ xm T ^ T 2 > 3.35 -2+(s) -2+m and similarly to the case for the disk, for p, p' ^ 0, In a this will identically vanish for Chapter 3. Non-Commutative Geometry 48 Now, calculating the commutator of the fields on the endpoint, we find that after summing the contributions of all possible interactions with the background field for a particular value of a, of the annulus, and so when integrating over the parameter a, we see a logarithmic divergence near a = 0 and the pole for the critical value of a near a = 1 does not contribute any infinite pieces to the integral, because it is a simple pole. Thus, we see that the contribution to non-commutativity from the mobius strip is the same as that of the charged annulus. (3.36) where k = 2coth mlna 2 and / = 2-Ko!eT. This is clearly of the same form as the case Chapter 4 Conclusion There are two major themes that are presented in this thesis. The first is the verification of previous work on the vacuum energy of strings. The contributions from both the disk and the annulus for the bosonic degrees of freedom were analyzed and found to be in exact agreement with the results presented by Fradkin and Tseytlin [1]. The fermions on the world-sheet were similarly analyzed and their contribution to the vacuum energy were also in agreement with those of Bachas and Porrati [4] for the disk and annulus, however the method used to obtain these results are distinct from those used in the original paper and thus add confidence in the final results. Finally, the bosonic vacuum energy was found for the Mobius strip, and while it had the same form as that for the disk, namely the Born-Infeld action for the background field, the coefficient multiplying the field-strength encoded the fact that the boundary of the nonorientable surface is twice the length of the boundary of the disk. Using the mechanism and propagator developed for the calculation of vacuum ener-gies several results pertaining to the non-commutativity of D-brane world-sheets were obtained. It was possible to reproduce the classic disk contribution to non-commutative geometry, and also more recent calculation for non-commutativity from strings stretched between two separate branes. The new results obtained from this analysis were the deter-mination that the uncharged string makes no contribution to the non-commutativity at the annulus level, while for the charged string there is a logarithmic divergence which has as its coefficient the standard non-commutativity parameter, and the origin relations for 49 Chapter 4. Conclusion 50 the Mobius strip are shown to have the same structure as those for the annulus. Perhaps the most significant result is the determination of corrections to non-commutativity on one brane due to a weak independent antisymmetric field on another brane. There are several opportunities for further research presented by these results. One is the calculation of tachyon and vector particle scattering amplitudes in the presence of an antisymmetric background, using the techniques applied above. Another is the exciting possibility of combining the results for non-commutativity within a Randall-Sundrum framework, which could provide a cosmological explanation for non-commutativity in our world. Appendix A Alternate Calculation of World-sheet Propagators A . l The Bosonic Propagator Another method of calculating the bosons green function can be obtained from a path integral formalism on the string world sheet. The action for the boson is written Sboson = 4 ^ 7 / d2adaX^Xll = ^ j dpd^X^X^ + dpX^dpX^) (A. l) in Euclidean space. Since the boson satisfies Neumann boundary conditions an ansatz is E / £ „ e i r a * c o s ^ . (A.2) n>0.m l Q a Applying this it is clear that S = ^ 7 J dpd(f> E [-mm'F^nFmln,p mnm'n' \ e ^ c o s ^ e ^ c o s ^ -ma lna In a In a In a In a , " l l n a v - ™ ^ / r__2 , fn7T\ T E mnFpnF.mnp U + ( ^ ) * ) . (A.S) 4 a' Now the fact that A' is a real valued field implies that F _ m n = F,^n so — l l n a ^ - , . l 2 ( 9 / mr \2\ ,, . S = T ^ r E ™ » K J 2 ( ™ 2 + ( ^ ) j - (A.4) Now consider the path integral / [dF}e~s = J [dReF][dImF}eW J > „ |F£B|2 (™2+ (j^ )')) , (A.5) 51 Appendix A. Alternate Calculation of World-sheet Propagators 52 with the assumption that the target space metric is Euclidean -2d n n 2a'n >on>o^ lna [m2 + (^) (A.6) The power of 2 in for the result of the Gaussian integral is due to the degrees of freedom of the real and imaginary parts of F and the d is from the number of free bosons, the dimension of the target space. Now consider the integral J[dF}e-sX^(j),p)X^^,p') = J[dF) 1 ln a . ,_,„ ,n i o exp [ — — J 2 m n \ F m n \ ™ + 4 a' lna mr ln a x E ^ c o s ^ E ^ c o s ^ . (A.7) ao cd The only non-vanishing contributions to the integral come from c = —a, b = d and p = u, so this becomes \ p eim{4>-<t>') mrp mrp' 2a' 1 cos cos ln a ln a ln a ™ 2 ( nir \ \na) 2 ' (A.8) which is equivalent to the propagator calculated previously. A . 1.1 Equivalence to Publ i shed Expressions The bosonic Greens function was determined above in two different ways, resulting in identical expressions. However, both of these methods are for the cylinder, and it is instructive to verify that they correspond to the the Greens function on the annulus, which can be obtained from complex analysis. The free propagator on the annulus with Neumann boundary conditions is [1] [2] ,2n In \z — z'\ z — z ' -1 + 5 > n > l \ l - a 2 ^ \ \ l - a 2 ^ \ \ l - a 2 " z z ' \ \ l - a -(A.9) Appendix A. Alternate Calculation of World-sheet Propagators 53 and it is desired to compare this with the previous result for the Greens function, which, appropriately scaled, is (2.7) G{PA,P'A') = TT4— E E e^^cos^cos™ ' 1 27T In a Lcfzf— „ In a ln a ™ 2 777^7^0 ,771= — O O 7 7 , = O O TR + I I 2 C7(p,0,p',0') = ^ E / d n e ^ ^ cos ^-pcos^-pf-^— x L _ * c o t 7 r n . 1^) lna lna 7T In a ^2 j_ ( HJL) 2 Vina,/ ^ mr n7r . / ln a , + Ecosi—/°cosi—P\— • A.IO In a ma \mr J This expression has to be converted into a form that facilitates comparison. The first thing to note is that the second term is formally divergent, and further is eliminated from consideration by the fact that the fields have a derivative coupling to the external field. The above expression, without the m = 0 modes, is even in n, and can be rewritten as a contour integral: mr mr , 1 1 —i m2 \ i n a / (A .H) In the preceding the factor ^ came from using the evenness in n to expand the sum over-all integers, and the factor of ^ is to ensure that the coefficient of the residue at each integer is 1, and the contour is an infinitesimal circle around each element in the sum. The contour can then be continuously deformed to a pair of semi-circles in the upper and lower half plane respectively, that do not overlap the real line. This integral can then be evaluated at the poles n = ±imX"a, and the objection to the procedure that the cosine terms diverge at n — ±ioo is taken care of by the fact that the cotangent in the expression gives an additional sign change, so the curves at infinity cancel. This implies ^/ , / ,i\ s.—* /, , - A c o s h mp cosh mp' , . , . G(p,<p,p,<f>) = > cos m(<p — phi) cothm lna (A. 12) rT^o mTrlna is an equivalent expression. Now explicitly expand the above in terms of 4> and p to obtain eim{4>-<j>') _|_ g-im(0-«4') grip _j_ £-mp £mp' _|_ e~mp' flra _j_ a-m ~2>o m7rlna 2 2 a m - a - m ' (A.13) Appendix A. Alternate Calculation of World-sheet Propagators 54 and using the identification z = ep+l<^ this becomes 1 = E m>0 mirS In a 2 2 22 + ( £ r + ( ^ r + ( i r 2 2 22: a"1 + a E i m>0,n>0 m7r8 In a ,z' (zz')m + (-)m + (-)m + (—)m + {zzj z' z z'z + ( i r + ( £ r + ( _ L r Now, doing the sum carefully this becomes 1 2m\ „ 2 m n (1 + alm)a (A-14) E m>0 m7r8 In a (22')m + (^)m + ( | ) m + {^z)m + (ZZ'Y z' z zz' 2 E m>0,n>0 1 m7r8 In a (22')"1 + ( - ) m + ( - ) m + ( — ) m + (22')T 2 2 2 2 +(4r + (-r + (-17)r 2' 2 ZZ' , 2 m n (A.15) This expression simplifies to 1 rrnr8 In a In M l - 22I 2 2' 1 1 1 1 . V 2' 2 2'2 + 2Eln 71>0 1 1 2n -I 1 — a 22 1 - a 2 " - 1 - a 2 n ' 1 - a 2 " — r /, 1 2 In 2 -2 ' 2 V 1 z' - 21n Ul + 2Eln n>0 1 - a2"22' 1 - a 2n 1 - a 2 " -2 1 - a 2n (A.16) Now, this can be seen to be equal to the expression from [1] apart from the In \z\ term, which is clearly harmonic in the region. Due to a general property of differential equations any function / that satisfies V / = 0 and does not affect the boundary conditions can Appendix A. Alternate Calculation of World-sheet Propagators 55 be added to the Greens function and it is still a Greens function. This demonstrates the equivalence of the two different representations of the Greens function. A.2 The Fermion Propagator In close analogy with the case of the boson, a path integral calculation of the fermion propagator can also be done. Again, the starting point for the calculation is the free fermion action, which can be written as S = 4 ^ / S ° (-W-fM*) • (A-17) In this case the mode expansion for the fermions is VKp,0) = £Vw . ' e" i m*. (A.18) mn This expansion clearly satisfies Neveu-Schwarz or Ramond boundary conditions depend-ing on whether n is integer or half integer. Using the convention for the 7 matrices o ) ' 7 " 0 o ) " ( A " 1 9 ) / 0 d^-dA In this case the Dirac operator —ijada becomes . Making the as-sumption that the target space metric is Euclidean, and recalling that the Dirac conjugate of a spinor is i/> = 7/^7^ the action can be rewritten as .1 r I eim(i> \ 1 / 0 % 47ra J MN M,N, 0 d t - d p \ ( em'^ ^ n u L J mn m'n' Appendix A. Alternate Calculation of World-sheet Propagators 56 le l n ° , e l n a I m'n' 0 d * - d p \ ( e M & d<t, + dp ) \e-in'& ^Ct ' mn m'n ie"n<Pe~im cp x mnm'n' V n a / for each of the d fermion fields. Now consider the free vacuum energy / [oV] e*s = / [dtf] M exp £ ( _ m + . (A.21) This exponential can be Taylor expanded very simply since the coefficients ipmn are Grassman parameters, so / m [d^ t] n ( i + Ana .+ / n7r ' m n I + m n * ^ In a = n — ( - m + d - (A-22) Now, to calculate the Greens function for the fermions, it is necessary to similarly consider the quantity / [dV>K5VKp,^ V>')- (A.23) Now, using the expression for tp from above it is possible to directly substitute into the above expression and find = / m [dtf] n (l + ^ L t f V n n (-m + —)) E ^ e - ^ 1 e l b l n ° - i 7Tp ab \e W l n c ( e ^ , c - * r f r ) . (A.24) Appendix A. Alternate Calculation of World-sheet Propagators 57 It is immediately obvious that the Berezin integral forces the conditions a = c, b = d, and noting that the mode coefficients anticommute, = / m M n f i + ^ L ^ m n ( - m + ( - i ) £ ^ e w - v X J mn \ a v m a / / a b j e i b ( p + p ' ^ eib^-p'^Tta \ \ e - ^ p - p ' ^ e - ^ + P ' ) i ^ ) = EH)e"l'-« ) n i l ^ _m + iHL .(A.25) From the above result it is immediately apparent that for the fermions the propagator can be written as . . . 1 . ( ein(p+p'^ ein(p~p'^ \ G(p, <f>, p', <j>') = T i — - " - ^ - * ) (A.26) which can be trivially re-expressed as JUL n< ( ein{-p+pl)^ ev = m+ [ n o a cjm (^>_^ | - - | (A 27) \ in a/ x which can be seen to be of the same form as the propagator calculated from the eigen-functions of the Dirac operator, with the observation that because this calculation was performed with a Minkowski world-sheet metric it is necessary to let n —> in for the purposed of comparison. A p p e n d i x B A L e m m a The purpose of this lemma is to offer a proof of the validity of the technique used above to promote the bosonic and fermionic propagators to matrices. Consider a field X(x\ .. .xn) which is defined on a manifold of dimension n with p boundaries all of dimension n — 1, and interacts with some external potential F only on these boundaries. Further, assume that there exists some choice of coordinates such that each of the p boundaries corresponds to a unique value of xn. A Greens function can be determined for the field on the manifold, and in general it will have the form G(xi,... xn, x^,... xn). The statement to be proved is: 'The vacuum Feynman diagrams of a field which only interacts at the boundaries of a manifold can be evaluated by integrating over all the coordinates transverse to the boundary and replacing the propagator by the matrix constructed in the following way (Axl Al2 ... A l p \ A2\ A22 • • • A? G(x-[, where • %n) ^ G(X\ • . • Xn—\, X^ . . . %n_i) i 2 p V Api Ap2 , (B.l) A / Aab G(x\ , . . . , Xn—\ , Xn, Xy,... xn_x, x n ) , (B-2) with x^ as the coordinate of the ath boundary. The interaction vertex is given by a 58 Appendix B. A Lemma 59 diagonal matrix whose entries are the coupling to the field at each boundary with ti = diag(gug2, • ••gP)F (B-3) and taking the trace of the result.' The proof is by induction, and the case of 0 interactions with the external potential the statement is trivial. In the case of one interaction it must be shown that the two methods of calculating the vacuum diagrams are the same. In the case of p boundaries, there are p integrals of the form J ctai... dxnG(xi,..., xn, xi,... xn)gaF5(xn - xan) and the sum of them is r P J dxi. ..dxn-i E (G(xi,.. .,xn-i,x%,xi,.. . , i B - i , < ) F f l a ) ) . (B.4) (B.5) a=l Now, for the matrix method one evaluates / A n A12 I dx\... dxn-\Tr A l p \ A21 A 22 V Api Ap2 A 2p A J PP ' (9x 0 0 £2 V 0 0 0 9PJ F (B.6) with x = x' which can be trivially seen to be identical to the expression above. Now, assume that the expression above is valid for the interactions of order m, the task is now to show that it is valid for order m + 1. Consider a general Feynman diagram for the field X interacting with the potential F. There is a propagator for X between the mth point (which is on boundary am) and the I s ' point (which is on boundary a,i). To construct a diagram of order m + 1 that propagator will be replaced by two propagators and a vertex. There are a total of p possibilities for which boundary the inserted vertex Appendix B. A Lemma 60 is on, and the modification to the Feynman diagrams will be as follows Prior to the insertion the additional vertex, the Feynman diagram would be evaluated as j dxl... dxmG{x\x^, x\ x%)gai ... G(xm, x\ x^)gam (B.7) where xl is the ith set of coordinates x\ ... x\_x. Summing the p possible insertions gives E / dx\..dxmdxm+lG{x\xan\x\x^)gax .. .G(xm,x*~,xm+\xl)gamG(xm+\xlx1,x% 6=1 J (B.8) The analogous operation with the matrices would be to replace G{x™,xl) ^ jdxm+lG{xm,x^+l)m{xm+\xt) (B.9) which is equivalent to the above expression. This justifies the approach used in the calculations using the propagators. Appendix C Canonical Quantization of the Open String in a U(l) Background C l Motivation The interacting open string is different in several respects from the free string. The most notable difference is that the world-sheet fields, which were free apart from boundary conditions, have those boundary conditions changed. In a sense the external gauge field acts as a source on the boundary for the degree of freedom on the string. Another difference is that spacetime supersymmetry is broken by the presence of background field which chooses particular directions in space by its components. The consequence of this breaking of supersymmetry is the absence of certain zero modes that are present in the spectrum of the open string. The method used throughout this chapter can be summarized as follows: First, using variational arguments the world-sheet equations of motion are reproduced, and coincide with those of the free string. Second, the surface terms are analyzed and appropriate boundary conditions which involve the external are determined. The boundary con-ditions and the equations of motion determine the mode expansion, and care is taken to produce modes that are orthogonal with respect to the inner product that is natural given the action. Using canonical commutation relationships between the fields, commu-tation relations for the coefficients of the modes are determined, and those coefficients are promoted to operators in the usual way. The Virasoro generators and central extension are calculated. 61 Appendix C. Canonical Quantization of the Open String in a U(l) Background 62 This method is useful, since it follows very closely from the development of the free string which is well understood. It has limitations however. In particular, it relies on the fact that the external field is constant. If it were not, there would be higher derivative interactions at the edge of the string which would complicate the boundary conditions. In addition, a non-constant external field could not necessarily be block diagonalized consistently at both ends, that is to say different rotations would be necessary to obtain an identical block diagonal form, which would mean that there would be a non-trivial interaction between the different fields on the string world-sheet, which would complicate quantization. This same objection makes this an inappropriate vehicle for the discussion of open string coupled to an antisymmetric field living on a stack of D-branes. C.2 Bosonic Degrees of Freedom C.2.1 Boundary Condi t ions and M o d e Expansion To use the operator formalism, it is necessary to construct orthogonal modes for use in the expansion of the fields, which account for the background F ( („ field. As in the case of free strings, the first step is to determine appropriate boundary conditions from a variational method. Re-writing the bosonic part of the superstring action gives S = - 1 Ana' ( C l ) so varying the field gives 5S = - 1 Arra' (7 = 0 (C.2) Imposing that the string world-sheet metric is Euclidean, this becomes SS = - 1 j dadr [SXP (-d2 - a2) X " + dT (SXpdrX*) + da (SX&X") 2ira' Appendix C. Canonical Quantization of the Open String in aU(l) Background 63 + X-ex J drFpU (dT (XU5X») + 28X»dTX») \ a = 0 - l-e2 j drFpU (dT (X»5X») + 28X»dTX») \ a = a . (C.3) Integrating over the total derivatives gives, after imposing the periodicity of X on the annulus, 2-Kd + l- J dodrSXp (-dl- d2a) Xp + jdr (^-SX^X* - ±e2FfU,26X"dTX'^ \ f f = a IdT (2^ "  SX» d° Xli + l^F^SX'drX^ \ a = 0 . (CA) This gives the equations of motion ( - % - % ) X » = 0, which is the same as those for the free string, and the boundary conditions daX« = -2va'e2F»dTXv\a=a daXp = -2ixdexF»dTXv\a^. (C.5) (C.6) The mode expansion for the bosons must satisfy both the boundary conditions and the wave equation, and also be orthogonal. One of the principal differences between the case of the free string and the charged string in a (7(1) gauge field is that while the boundary conditions for the free string are diagonal in the target space indices, the boundary conditions for the charged string mix them. The boundary conditions can be made diagonal however by use of the fact that Fpil can be re-cast in a block diagonal form by a rotation of target space coordinates, so / 0 /1 • •• \ - / 1 0 0 h ••• (C7) -h 0 . . . F, Appendix C. Canonical Quantization of the Open String in a U(l) Background 64 Now, this can be diagonalized for any individual block by a change of basis 1 1 X+n = ^= (X2n-1 + iX2n) j X-n = —j= (A^n - l ~ iX2n) , (C8) as noted in [2] this has the effect of changing the boundary conditions to daX+n = iandTX+n\a=o d<jX+n = i(3ndTX+n\a=a, (C.9) where an = 2ira'e±fn and (3n = 27ra'e2fn, and since X_n = X\_n the sign of the boundary conditions changes for X _ n . Restricting attention for a moment to one of the n independent components of the field strength and, for instance the + component, the normalized mode that satisfies the boundary conditions and the wave equation is Xm = t ' 1 [ 1 / 2 cos [(m - e) a + 7 ] e"^""^ (CIO) \n - e\ ' with e = - ( 7 ' - 7 ) , 7 = t a n - 1 a, 7 ' = t a n - 1 /?, ( C l l ) 7T where a and /3 are the appropriate constants as defined above for the mode in question. The particularly interesting thing about this mode expansion is that the right and left moving terms that were in the free mode expansion are mixed by the boundary conditions. The orthogonality condition for the modes can be expressed as fir . _ _ _ -/ — XnidTXm - XmidTXn + a6(a)XnXm - (35(a - 7r)XnXm = 5mnsign(n - e). JO . 7T L J (C.12) C .2.2 C o m m u t a t i o n R e l a t i o n s a n d t he V i r a s o r o A l g e b r a In terms of the modes given above, the expansion for X+ is [2] [4] 00 X+ = x+ - iblX0 + % Y [anXn - biX^n] • (C.13) 71 = 1 Appendix C. Canonical Quantization of the Open String in a U(l) Background 65 and similarly for X _ oo + ib0X0 + i E bnXn - anX. —n (C.14) n = l An interesting point to note is that unlike the case of the open string in this mode expansion there is no term linear in r ± o. This is simply due to the fact that there can be no such term that satisfies the boundary conditions. Using the orthogonality relation above, the oscillators can be obtained by taking the inner product defined above with Xn in the following manner, where XdTY = XdTY — YdTX given that X and Y commute. Similar expressions hold for a*, bn, and b^. This can be written in an easier way for the purpose of calculating commutation relations. The momentum conjugate to X+ satisfies and the conjugate of this for P_, since X+ and X_ are complex conjugates of each other. Given the expressions for P, the expression for an can be re-expressed as (C.15) (C.16) + (C.17) and so the calculation of commutators between the a operators becomes = j dodo'Xn(a)Xm(a') ( (n - e) + \a8{o) - ^B6(TT - a ) ) ) [X+(a), P+(o')} + ( i ( (m - e) + \a5{o) - ^ ( T T - a ) ) ) [P_(a), X.(o>)] = / doXn{o)Xm(o) ((n - e) + (m - e) + aS(o) - B5(ir - o)) mn (C.18) Appendix C. Canonical Quantization of the Open String in a U{1) Background 66 after using the commutation relations between X and P and the orthogonality of the modes. Similar calculations for the other commutators give [am,an] = [a]m,a\\ [bm,bn] = [bl,bl} The conditions for x+ and x_ appear unusual, but since there is no term linear in r it is natural to expect that these will be conjugate to each other. Since the X fields are expressed in terms of raising and lowering operators, the V i -rasoro operators can be calculated. Just as in the case of the free string, the bosonic contribution to the energy momentum tensor is TaP = dcX'dpXp - ^ga&XWXv (C.20) because there is no dependence on the metric in the surface interaction terms. The Virasoro generators will be determined in the same way as for the free string, by taking the fourier modes of Tap, so that L k = l l o d a { e l k < T d + X ^ T ' a ) d + X ^ °) + e-^d-X^r, a)d-Xp(r, a)) , (C.21) where as for the free string x+ = r + a and x~ = r — a. Using the mode expansion for X^ and noting that X^X^ — X+X_ for the pair of coordinates under consideration, the expression becomes Lk = - C do (j2 E <*n<4 (eikffd+Xnd+Xm + e-ikffd.Xnd.Xm) n J ° \n>0m>0 = 0 = 0 (C.19) Appendix C. Canonical Quantization of the Open String in aU(l) Background 67 - E E  anbm (e^d+Xnd+X_me-^d^Xnd.X^m) n>Om>0 - E E bWm (eik°d+X_nd+Xme-*k°d_X_nd„Xm) n > O m > 0 + E E  bn»m (e^d+X_nd+X„me-*k°d-X_nd-X_m) J , (C.22) n > O m > 0 / and from the definition of Xn it can be verified that d+Xn = -d+Xn= . 7 1 ~ ' (_t) e-'("-^ e-'(("-^+7) |n — cy-i1 d.Xn = -d_Xn = , n ~ ^ / 0 ( - i ) e - t ( " - 6 ) T e t ( ( " - £ ) < T + 7 ) . (C.23) |n — e l 1 ' 2 Upon re-insertion of these terms into the above, the integration over a becomes trivial and the result for the Virasoro generator in the direction of the field is as in [4] Ln = E \l{m - e)(n + m - e)aman+m + E \J(m + e)(n + m + e)bmbn+m m>0 m>0 n - l + E V ( m + e ) ( n m _ £)bmam-n, (C.24) 0 for n > 0 and L-n = Ll (C.25) as can be seen from direct evaluation of the above expression for L^ . The Lms obey the standard Virasoro algebra, as can be verified easily. The only possible change comes from the central extension of the algebra, and this can be calculated in the same way as was done in the case of a free open string. Because the Virasoro algebra is the same up to the central extension, the central extension can be uniquely determined by taking the expectation value both and [Z/ 2 ,L_ 2 ] . In the first case, taking |0 > to be a state with zero momentum, < 0 | [ L 1 , L _ 1 ] | 0 > = < 0 | |0> (C.26) Appendix C. Canonical Quantization of the Open String in a U(l) Background 68 because of normal ordering < 0|e(l - e)60&oaiai|0 >= e(l - e). (C.27) Similarly for L2, < 0 | [ L 2 , L _ 2 ] | 0 > <0 | y/t(2 - e)b0a2 + y/(l + e)(l - e ) M i , V/ e (2 -e )6 0 a 2 + A / ( l + e)(l-e)6 t 1 a t 1 |0 > e(2 - e) + (1 + e)(l - e), (C.28) which confirms that the central extension of the algebra for bosons degrees of freedom is C . 3 F e r m i o n i c Degrees o f F r e e d o m C.3.1 B o u n d a r y C o n d i t i o n s a n d M o d e E x p a n s i o n To use an analogous technique to those in [5] it is necessary to find a mode expansion for the fermions that is orthogonal and that account for the background U(l) gauge field. The first task then is to determine the boundary conditions for the fermionic fields, which can be found by the usual variational arguments, in analogy with what is done for the bosons. The starting point is the fermionic part of the action on a Euclidean world sheet, (C.29) S = -1 (C.30) world-sheet, (C.31) Appendix C. Canonical Quantization of the Open String in a U(l) Background 69 the action can be re-expressed as S = ^ | d a d r [ - # ? c 7 ^ , - l-e2 j drFav + U l n a - (C.32) Now, varying the action according to Sip — I the change in the action is, ignoring the bulk term that gives the equation of motion, and ignoring the total derivative in r which is eliminated by the periodicity around the cylinder, 5S = 4nb IdadTda H * " ^ - + 9^u + ^ e i j drF^ [$v_Sil)± + + S ^ + } a = 0 -\e2drF^ + S-4>V_V- + + ty+i!>£\a=lna • (C33) Now, impose that these are pure Majorana spinors, which as in the case of the free string imposes constraints on the raising and lowering operators for the fermions. This also has the effect of simplifying the above to - 1 8S = 4ira ' J l ~Ja=\na L ~^o•=0 +^ei J drF^ (WV- + ' ^ + ) a = 0 ~ \e2 J drF,u 8^_ + Imposing that this must vanish gives the boundary conditions = 0, o = 0 '^u^t5r--^Sr+) + l e 2 F ^ ( r - S ^ + r + S ^ ) = 0, a = lna.(C35) These boundary conditions are solved first by rotating the F^ field into its canonical block diagonal form, and then going to coordinates that are an exact analog of the change Appendix C. Canonical Quantization of the Open String in a U(l) Background 70 of bosonic coordinates introduced above, that is ipa = ipi+ #2, ij>b = il>i- 11P2, (C.36) and it is understood that similar definitions occur in every pair of coordinates, which correspond to the independent components of F. Writing for simplicity / i = 2-Ka'eiF where F is the component of F^v for the pair of fields in question, the the boundary conditions can be re-cast as Va- = A / 1 _ .j.^iPa+\o=0, Wa- = \l x _ .j,^a+\a=lna, (C.37) with the appropriate modification for ipb, which is the complex conjugate of tpa. It is important to note that these boundary conditions are distinct from the ones found in the literature [4]. The difference is due to the fact that the variation of the fields must obey the same boundary conditions that the fields themselves obey. Now defining 7i = o l r M / i 7^ > T2 = ^ l n W — — - (C.38) 2 V 1 - * / i 2 v i - ^ and e = - ( 7 2 - 7 i ) , (C39) 7T the mode expansion for the fermions becomes 4>- = J2dne~*{n+l£)(T~^)+11 n V + = Efi„e-j(n+ie)(r+^)-71, (C.40) n where as in the case of free fermions the index n can be either integer or half integer to correspond to the analog of Ramond or Neveu-Schwarz boundary conditions. The inner product that these are orthogonal with respect to is a generalization of the one for the the free case j doiPl (1 + 2 ™ ' e i / f % ) - 2 W e 2 / f ^ - Tr)) Vm = < W (C.41) Appendix C. Canonical Quantization of the Open String in a 17(1) Background 71 C . 3 . 2 C o m m u t a t i o n R e l a t i o n s a n d t he V i r a s o r o A l g e b r a The action for the interacting string, given above (C.30) gives rise to the same cannonicaly conjugate momentum for the fermion fields as it does in the case of a free string, the reason being that the interaction at the string ends is not derivative with respect to the coordinate r. Since there is no change from the case of the free string and since the modes of the expansion are orthogonal, the commutation relationships are identical to those for the free string, {d^,'d^} = rrSm+nt (C.42) which is in agreement with the statement in [4] It is important to note that the coordinate system which diagonalized the boundary conditions has the same effect as the light cone coordinates of making the spacetime metric off diagonal. As in the case of the free string the Virasoro generators are given by Lk = \Ll d°\ {^d+^lha^ + e-^r-d^.,) , (C.43) and examining only the contribution from some particular coordinate, a, this becomes, since ipa = iipb, = -?-/" da— £ £ dZdbn \ e l k a ^ ( e - ^ + ^ + ^ - i i V d + e - ^ + - ) ( T + ^ ) - - 7 l In a J 2 m n + e - J ^ I ^ r (e-J(™+^)(T- f fh^)+7i Q_e-^n+ie)(T-a^)+ll _ (C.44) It is important to note that since e and 7 are logarithms and the effect of conjugation is the same as inverting the external field, the field dependent parts of the exponential cancel, and what remains is = ^ j do^ Y, £  d-m dn (n + it) ( l + j ^ ) [e*m+k-^°^ + e-H™+k-n)a& = (1 + ^)Y,d-rndm+k(rn + k + t6). (C.45) Appendix C. Canonical Quantization of the Open String in a U(l) Background 72 This can be converted into the standard form for the fermionic part of the Virasoro algebra except for the field dependent part, and that is what distinguishes the case of a non-zero external field. To complete the analogy with the free string, it remains to show that the Virasoro algebra is satisfied, and also to determine the central extensions. The commutator of two Ls, with the expression given above is after re-indexing. As for the bosons, expectation values for L commutators must be calculated to de-termine the central extension. In the sector where the fermions are integrally moded (C.46) <0|[Li,L_i]|0> (0| [d^dbl(l + ie)+d^db0te,da_ldb0ie + d^db_1(-l + ie)] |0> (0| (1 + ze^ed^d^do + (-.1 + ^ e d ^ d ^ |0) (1 + ie)ie, (C.47) and (0|[L2,L_2]|0> (0| (2 + te)da0db + (1 + ie)d\d\ + ied^db0, (-2 + ie)<%db_2 +(-1 + ie)da_1db_1 + itda_2a% |0) Appendix C. Canonical Quantization of the Open String in a U(l) Background 73 (0| (2 + ie)d^db2iedt2dbQ + (1 + ie)da1db(-l + ie)da_ldb_l +ied2ldb0(-2 + ie)d%db_2\0) (0| (2 + ie)ieda0db0 + ie(~2 + ie)db0da0 |0) + (1 + ie)(-l + it) (2 + ie)ie + (l + ie)(-l + ie). (C.48) So for the Ramond sector the central extension is 2 A(m) = — (m3 — mj + m ( l + ie)ie (C.49) which exactly analogous to the contribution in the bosonic sector. By contrast, in the case of Neveu-Schwarz boundary conditions one has 1 fc , 1 (OKLx, L^IO) = (0| = (0| ^1/2^/2(3 + "0> rf-l/2^-l/2(-^ + «0 ^1/2^1/2(2 + ^ e ) ^ - l/2 ^ - l/2( — 2 IP) 0) Z 1 • W 1 ^ (3 + z e ) ^ 2 (C.50) and <0|[L 2 ,L_ 2]|0) = (0| + ie)d?/24/2 + ( - + ie)dS/2d;/2> + te)da_1/2db_3/2 + {~\+ i£)da_V2db_l/2 10) (0| (2 + ? e)(-2 + z6)</242da_3/2fi6_1/2 (2 + ze)(-2 + ze). (C.51) So for the Neveu-Schwarz sector the central extension is M \ m 3 2 A(m) = h me , 8 (C.52) which is in agreement with the results of [4]. B i b l i o g r a p h y [1] E.S. Fradkin A . A . Tseytlin. Non-linear Electrodynamics from Quantized Strings. Phys. Lett, 163B:123, 1985. [2] A . Abouelsaood C.G. Callan C R . Nappi S.A. Yost. Open Strings in Background Guage Fields. Nucl. Phys. B, 280:599, 1987. [3] C .G. Callan C. Lovelace C R . Nappi S.A. Yost. String Loop Corrections to Beta Functions. Nucl. Phys. B, 288:525, 1987. [4] C. Bachas M . Porrati. Pair Creation of Open Strings in an Electric Field, hep-th/9209032. [5] M . B . Green J .H. Schwarz E. Witten. Superstring theory. Cambridge University Press, 1987. [6] J. Polchinski. String Theory. Cambridge University Press, 1998. [7] P. Haggi-Mani U . Lindstrom M . Zabzine. Boundary Conditions, Supersymmetry, and A-field Coupling for an Open String in a B-field Background, hep-th/0004 061. [8] A . A . Tseytlin. Born-Infeld action, supersymmetry and string theory. hep-th/9908105. [9] A . A . Tseytlin. Vector Field Effective Action in the Open Superstring Theory. Nucl. Phys. B, 276:391, 1986. [10] A . A . Tseytlin. Open Superstring partition function in constant guage field back-ground at finite temperature, hep-th/'9802133. [11] J.J. Atick E. Witten. The Hagedorn transition and the number of degrees of freedom of string theory. Nucl. Phys. B, 310:291, 1988. [12] C S . Hsue B. Sakita M.A. Virasoro. Formulation of Dual Theory in Terms of Func-tional Integrations. Phys. Rev. D, 2:2857, 1970. [13] F. Ardalan H. Arfaei M . M . Sheikh-Jabbari. Noncommutative Geometry from Strings and Branes. hep-th/'9810012. [14] N . Seiberg E. Witten. String Theory and noncommutative Geometry, hep-th/9908142. 74 Bibliography 75 [15] A . Connes. A Short Survey of Noncommutative Geometry, hep-th/0003006. [16] S. Lee Y . Kiem. U V / I R Mixing in Noncommutative Field Theory via Open String Loops, hep-th/0003145. [17] T. Lee. Canonical Quantization of Open String and Noncommutative Geometry. hep-th/9911140. [18] A. Bilal C.-S. Chu R. Russo. String Theory and Noncommutative Field Theories at One Loop, hep-th/'0003180. [19] P . -M. Ho Y . - T . Yeh. Noncommutative D-Brane in Non-Constant NS-NS B Field Background, hep-th/'0005159. [20] C. Zachos. A Survey of Star Product Geometry hep-th/0008010 [21] C.-S. Chu P . -M. Ho. Noncommutative Open String and D-Brane. hep-th/9812219. [22] C.-S. Chu. Noncommutative Open String: Neutral and Charged, hep-th/0001144-


Citation Scheme:


Citations by CSL (citeproc-js)

Usage Statistics



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"
                            async >
IIIF logo Our image viewer uses the IIIF 2.0 standard. To load this item in other compatible viewers, use this url:


Related Items