Super Yang Mills action from WZW-like open superstring field theory including the Ramond sector Mitsuru Asada and Isao Kishimoto arxiv:7.5935v3 [hep-th] 5 Mar 8 Department of Physics, Niigata University, Niigata 95-8, Japan Faculty of Education, Niigata University, Niigata 95-8, Japan Abstract In the framework of WZW-like open superstring field theory (SSFT) including the Ramond (R) sector whose action was constructed by Kunitomo and Okawa, we truncate the string fields in both the Neveu Schwarz (NS) and R sectors up to the lowest massless level and obtain the ten-dimensional super Yang Mills (SYM) action with bosonic extra term by explicit calculation of the SSFT action. Furthermore, we compute a contribution from the massive part up to the lowest order and find that the bosonic extra term is canceled and instead a fermionic extra term appears, which can be interpreted as a string correction to the SYM action. This calculation is an extension to the R sector of the earlier work by Berkovits and Schnabl in the NS sector. We also study gauge transformation, equation of motion, and spacetime supersymmetry transformation of the massless component fields induced from those of string fields. Present address: f5ag@alumni.niigata-u.ac.jp E-mail: ikishimo@ed.niigata-u.ac.jp
Introduction It is expected that open superstring theory describes super Yang Mills theory at low energy. Some time ago, Berkovits and Schnabl [] showed that the Yang Mills action is derived from Berkovits Wess Zumino Witten (WZW)-like action for open superstring field theory [] in the Neveu Schwarz (NS) sector. Recently, Kunitomo and Okawa have constructed a complete action for open superstring field theory including the Ramond (R) sector as an extension of the WZW-like action [3]. Therefore, it is natural to expect that the ten-dimensional super Yang Mills (SYM) action can be derived from it. Furthermore, an explicit formula for spacetime supersymmetry transformation in terms of string fields has been proposed in Refs. [4, 5] and hence we can compare the induced transformation of the component fields and the conventional supersymmetry transformation of SYM. As a first step toward the above issue, we adopt the level truncation method at the lowest level, which corresponds to the massless component fields due to the GSO projection. We perform explicit calculations in the superstring field theory in both NS and R sectors and obtain the SYM action with extra bosonic term, O(A 4 µ), in terms of the component fields [6]. We compute a contribution to the effective action of massless fields from the massive part of string fields in the zero-momentum sector, up to lowest order with respect to the coupling constant, and find that the extra O(A 4 µ) is canceled 3 and, instead, an extra fermionic term, O(λ 4 ), appears in the order of ( ), which can be interpreted as a string correction to SYM. We also derive the induced gauge and supersymmetry transformations up to nonzero lowest order and find that the resulting formulas are consistent with those of the conventional SYM. The organization of this paper is as follows. In the next section, we briefly review the action of open superstring field theory in terms of Kunitomo and Okawa s formulation. In Sect. 3, we derive the explicit form of the level-truncated action at the lowest level. In Sect. 4, we evaluate the contribution from the massive part. In Sect. 5, we find the induced transformations from those of the superstring field theory. In Sect. 6, we give some concluding remarks. In the appendix we summarize our convention on spin fields, which is necessary for explicit computations. A brief review of a WZW-like action for open superstring field theory including the R sector Let us first review Kunitomo and Okawa s action [3] for open superstring field theory (SSFT). As an extension of Berkovits WZW-like action in the NS sector, Kunitomo and Okawa proposed a complete action for open superstring field theory including the R sector as follows: S[Φ,Ψ] = S NS [Φ]+S R [Φ,Ψ], (.) S NS [Φ] = dt A t (t),qa η (t), (.) S R [Φ,Ψ] = Ψ,YQΨ dt A t (t),(f(t)ψ). (.3) The action is a functional of string fields: Φ and Ψ., and, are the BPZ inner product in the large and small Hilbert space, respectively. Q is the BRST operator and η is the zeromode of dz η(z) : η = πiη(z). We use the relation of the superconformal ghosts between (β,γ) and (ξ,η,φ) as β(z) = ξe φ (z) and γ(z) = e φ η(z). Φ is a Grassmann even string field in the NS sector, whose ghost number (n gh ) and picture number (n pic ) are both zero, and expanded by the states in the large Hilbert 3 This result has already been obtained in Ref. [] in computation in the NS sector.
space. A t (t), A η (t), and F(t) are defined by A t (t) = ( t e tφ )e tφ = Φ, A η (t) = (ηe tφ )e tφ, (.4) F(t)Ψ = Ψ+Ξ{A η (t),ψ}+ξ{a η (t),ξ{a η (t),ψ}}+ (.5) = Ξ{A η (t),ξ{a η (t),...,ξ{a η (t), Ψ}...}}, (.6) }{{} k= k where Ξ = Θ(β ), the Heaviside step function of β. 4 Ψ is a Grassmann odd string field in the R sector with (n gh,n pic ) = (, /), and it is expanded by the states in the restricted small Hilbert space. Namely, the conditions for the R string field are ηψ =, XYΨ = Ψ. (.7) X and Y are kinds of picture-changing operators with the picture number and, respectively: X = δ(β )G +δ (β )b = {Q,Θ(β )}, (.8) Y = c δ (γ ), (.9) where XYX = X and YXY = Y hold and therefore XY gives a projector: (XY) = XY. In the following, we consider SSFT on the N BPS D9-branes in the flat ten-dimensional spacetime, and hence the string fields have the Chan Paton factors implicitly and the GSO projection is imposed on the string fields. Gauge transformation The action in Eq. (.) is invariant under the following infinitesimal gauge transformations: A δg(λ,λ,ω) = QΛ+D η Ω+{FΨ,FΞ({FΨ,Λ} λ)}, A δ (δe Φ )e Φ, (.) δ g(λ,λ) Ψ = Qλ+XηFΞD η ({FΨ,Λ} λ), (.) where F = F(t = ), D η B = ηb [A η,b}, A η = A η (t = ), (.) and the gauge parameter λ in the R sector is in the restricted small Hilbert space, namely, ηλ =, XYλ = λ. (.3) Λ and Ω are gauge parameters in the NS sector in the large Hilbert space. Equation of motion Taking the variation of the action in Eq. (.) with respect to the string fields, Φ and Ψ, we have the equations of motion as follows: QA η +(FΨ) =, QΨ+XηFΨ =. (.4) The second equation is consistent with the condition for Ψ, which is in the restricted small Hilbert space. 4 In Ref. [7], a better expression for Ξ has been proposed.
Spacetime supersymmetry In the ten-dimensional Minkowski spacetime, the SSFT action in Eq. (.) is invariant under the spacetime supersymmetry transformation, which is given by [4]: 5 A δs = e Φ SΞ(e Φ FΨe Φ )e Φ +{FΨ,FΞA S }, A S = (Se Φ )e Φ, (.5) δ S Ψ = XηFΞSA η, (.6) where S is a derivation with respect to the star product of string fields and is given by a constant Weyl spinor ǫ and the spin field with n pic = / : dz S = ǫ πi S ( /) (z). (.7) We use a bosonized formulation of spin fields as in the appendix for the following explicit computation. 3 Level truncation of string fields in the NS and R sectors Here, we evaluate the SSFT action in Eq. (.) using the level truncation method explicitly. We define the level of string fields as the eigenvalue of = {Q,b }, except for a contribution from momentum. We expand the string fields with component fields up to the lowest level in both NS and R sectors. 3. Level-truncated action in the NS sector In the NS sector, we expand a string field Φ with (n gh,n pic ) = (,) in the large Hilbert space. The lowest-level state is cξe φ e ik X (), (3.) which corresponds to the tachyon, but it is excluded by the GSO projection of Eq. (A.5). The lowest-level states on the GSO projected space are e ik X (), cξψ µ e φ e ik X (), c cξ ξe φ e ik X (), (3.) which correspond to the massless level. The first one can be eliminated by the Ω-gauge transformation in Eq. (.), which can be rewritten as e Φ δ g(ω) e Φ = η(e Φ Ωe Φ ) and has an expression for finite transformation: e Φ = e Φ g with ηg =, because it can be rewritten as e ik X () = η ( ξe ik X () ). In the following, we take into account only the other two states and their component fields as a leveltruncated string field Φ in the NS sector. Namely, we use a partial gauge-fixing condition, ξ Φ =. After Ref. [], we use the notation Φ A = Φ B = (π) A µ(k)v µ A (k)(), Vµ A (k) = cξe φ ψ µ (z)e ik X(z, z), (3.3) (π) B(k)V B(k)(), V B (k) = c cξ ξe φ (z)e ik X(z, z), (3.4) where A µ (k) and B(k) are the Fourier modes of component bosonic fields in the ten-dimensional spacetime. 5 Another form of supersymmetry transformation has been proposed in Ref. [5]. The difference does not matter in our paper because we compute only the linearized one in Eq. (5.). 3
The NS action in Eq. (.), which is the same as Berkovits WZW-like action, can be expanded as S NS [Φ] = M,N= ( ) N (M +N)! (M +N +)!M!N! QΦ,ΦM (ηφ)φ N = QΦ,ηΦ + 3! ( QΦ,ΦηΦ QΦ,ηΦΦ ) + 4! ( QΦ,Φ ηφ QΦ,ΦηΦΦ + QΦ,ηΦΦ )+O(Φ 5 ), (3.5) and we truncate the string field Φ in the NS sector to the sum of Eqs. (3.3) and (3.4): Φ = Φ A +Φ B. Using the BRST transformations [Q,V µ A (k)] = k c cξe φ ψ µ e ik X c(: k ψψ µ : + i Xµ +(: ηξ : + φ)k µ )e ik X +ηe φ ψ µ e ik X, (3.6) [Q,V B (k)] = c cξk ψe φ e ik X +( c+c(: ηξ : + φ))e ik X (3.7) dz on the real axis, where Q = πi (c(tm +T φ +T ξη )+bc c+e φ ηg m η ηe φ b), T m = X µ X µ ψµ ψ µ, and G m = i ψ µ X µ, we can evaluate the kinetic term QΦ,ηΦ. For the interaction terms, we use the explicit form of the conformal maps, which defines the n-string term. Namely, for A k = A k () (k =,,...,n), we have A, A A n = g (n) A ()g (n) A () g n (n) n() UHP, (3.8) ( g (n) k (z) = k n h iπ (e n (h(z)) n ) = tan n arctanz + π ) n (k n), (3.9) with the map from the upper half-plane to the unit disk: h(z) = +iz iz. The normalization of the large Hilbert space is given by ξ(y) c c c(z)e φ(w) e ik X(x, x) UHP = (π) δ (k). (3.) In particular, with respect to the φ-charge, the terms such as Φ n ηφqφ are linear combinations of e qφ with q n because Φ A e φ ; ηφ A e φ ; Φ B e φ ; ηφ B e φ ; QΦ A e φ,,e φ and QΦ B e φ,, which imply that the higher-order interaction terms, O(Φ 5 ) in Eq. (3.5), vanish for Φ = Φ A +Φ B. Then, we obtain [ S NS [Φ ] = d xtr A µ A µ +i B µ A µ +B + i ] µ à ν [õ,Ãν ] [ + d x (( 3) +( 4) ) Tr 8 A µ(x )A ν (x )A µ (x 3 )A ν (x 4 ) ] A µ(x )A ν (x )A ν (x 3 )A µ (x 4 ) where the trace is taken over the indices of the Chan Paton factors, T a ; A µ (x) and B(x) are given by A µ (x) = A a µ(x)t a = and õ is defined as d k (π) A µ(k)e ik x, B(x) = B a (x)t a = (3.), x i=x (π) B(k)eik x ; (3.) à µ (x) = K A µ (x), K 4 3 3. (3.3) We note that the reality condition for the NS string field, bpz Φ = Φ [8], implies the (anti- )Hermiticity of the component fields: A µ (x) = A µ (x) and B(x) = B(x). 4
Integrating out the scalar component field B(x) in Eq. (3.), 6 or using the equation of motion for B, B = i / µ A µ, and taking the small-momentum limit: K and (( 3) +( 4) ), we have ( S NS [Φ ] = d xtr µ A ν ν A µ i ) 4 [A µ,a ν ] d xtr[ 4 A µa ν A µ A ν +A µ A ν A ν A µ ]. (3.4) The first line on the right-hand side corresponds to the ordinary Yang Mills action and the second line is the difference from it. Actually, it is known that the difference is canceled by the contribution from massive component fields []. 3. Level-truncated action including the R string field In the R sector, the string field Ψ, which has (n gh,n pic ) = (, /), is in the restricted small Hilbert space. The lowest-level states are given by spin fields with ( /)-picture: cs( /) eik X (), cs( /) eik X (), (3.5) where and are spinor indices with 6 components, and they correspond to the massless level. By the GSO projection in Eq. (A.5), only the state with the dotted spinor remains in our convention. Hence, we expand the level-truncated string field Ψ as Ψ = (π) λ (k)v λ(k)(), V λ(k) = cs ( /) (z)eik X(z, z), (3.6) where λ (k) is the Fourier mode of a fermionic component field, which is the Weyl spinor in the tendimensional spacetime. This string field Ψ is Grassmann odd, and we find that it is indeed in the restricted small Hilbert space: ηψ = and XYΨ = Ψ. Similarly to the NS sector, we derive an explicit expression of the action including the R string field in terms of the component fields. The action in Eq. (.3) is expanded as S R [Φ,Ψ] = Ψ,YQΨ Φ,Ψ +O(Φ Ψ ), (3.7) and we truncate the string fields up to the lowest level: the NS string field Φ to Φ = Φ A +Φ B and the R string field Ψ to Ψ given in Eq. (3.6). The kinetic term in the R sector is evaluated using the normalization of the small Hilbert space: c c c(z)e φ(w) e ik X(x, x) UHP = (π) δ (k). (3.8) It is convenient to use Ψ,YQΨ = Ψ,Y mid QΨ [3] for calculation, where Y mid = Y(i) is the midpoint insertion of the conventional inverse picture-changing operator Y(z) = c ξe φ (z). With the BRST transformation [Q,Vλ (k)] = k c cs( /) eik X i k µ (Γ µ ) β ηcsβ eik X (/) (3.9) 6 We note that Φ B does not contribute to the terms including the R string fields, up to the lowest level, as we see in Sect. 3.. 5
on the real axis, we have Ψ,Y mid QΨ = [ d xtr λ (Γ µ C) β ] µ λ β, (3.) where λ (x) = λ ȧ (x)t a = (π) λ (k)e ik x. (3.) For the cubic interaction term, we find Φ B,Ψ = by counting the number of c ghosts. With a similar manipulation to the NS sector, the remaining term is evaluated as Φ A,Ψ = i d xtr[ãµ λ (Γ µ C) β λ ] β, (3.) where λ (x) = K λ (x) (3.3) as in Eq. (3.3). For higher interaction terms, we find that O(Φ Ψ ) in Eq. (3.7) with Φ = Φ and Ψ = Ψ vanishes thanks to the normalization in Eq. (3.) because Φ A c, Φ B cc, and Ψ c, with respect to the bc-ghost sector. From Eqs. (3.), (3.), and (3.7), for the small-momentum limit K, we have obtained where S R [Φ,Ψ ] = [ ] d xtr iλ (CΓ µ ) β D µλβ, (3.4) λ = C βλ β, (3.5) D µλ = µλ i [A µ,λ]. (3.6) The above form of S R [Φ,Ψ ] just corresponds to the gaugino term of the ten-dimensional SYM action. 4 Contribution from the massive part Here, we consider a contribution to the effective action of massless fields, A µ and λ, obtained in the previous section, from the massive part of string fields, Φ and Ψ, in the same way as Ref. []. The SSFT action with the coupling constant g, which is obtained by replacing g S[gΦ,gΨ] using Eq. (.) with S[Φ,Ψ], can be expanded as S[Φ,Ψ] = ηφ,qφ + g 6 ηφ,[φ,qφ] Ψ,YQΨ g Φ,Ψ +O(g ). (4.) In this section, we concentrate on the zero-momentum sector, and then the level-truncated string fields, Φ, Ψ, satisfy QηΦ =, QΨ = because of Eqs. (5.7) and (5.8) with B = i / µ A µ. We also note that Φ satisfies ξ ηφ = Φ, namely, the partial gauge-fixing condition. Around the massless part of the string fields, Φ, Ψ, we expand the string fields Φ, Ψ as Φ +R, Ψ +S, where R and S are the 6
massive part in the NS and R sector respectively, and we have S[Φ +R,Ψ +S] S[Φ,Ψ ] = ηr,qr + g ηr,[φ,qφ ] g R,(Ψ ) S,YQS g S,{ηΦ,Ψ } + (4.) from Eq. (4.). Here, (+ ) denotes the higher-order terms in g when R and S are assumed to be O(g). Varying the above with respect to the massive part, we have equations of motion QηR = g ( ) {ηφ,qφ } (Ψ ) +, QS = g( X{ηΦ,Ψ })+, (4.3) and these can be solved by using the propagators in Ref. [9] as R s = g ξ b ( ) η[φ,qφ ]+(Ψ ), S s = g b Xη [Φ,Ψ ], (4.4) up to lowest order in g, where R s satisfies the partial gauge-fixing condition: ξ R s =. Expanding the massive part of string fields around Eq. (4.4) as R = R +R s, S = S +S s, we have S[Φ +R +R s,ψ +S +S s ] S[Φ,Ψ ] = QR,ηR S,YQS QR s,ηr s + S s,yqs s +, (4.5) where linear terms with respect to R and S vanish and therefore the massive part decouples from the massless part. The second line on the right-hand side gives a contribution to the effective action of the massless fields, which can be computed as QR s,ηr s + S s,yqs s = g 8 [Φ,QΦ ], b {ηφ,qφ } + g (Ψ ), b (Ψ ) g (Ψ ), b [Φ,QΦ ] g {QΦ,Ψ }, b [Φ,Ψ ]. (4.6) In the computation for the term including S s, we manipulated X as in Ref. [9]. Namely, we rewrote it as S s,yqs s = g {ηφ,ψ }, b X {ηφ,ψ } = g ξ ηφ,ψ b X {ηφ,ψ } + g ξ ηφ, b X {ηφ,ψ }Ψ = g [Φ,Ψ ], b X {ηφ,ψ } = g [Φ,Ψ ], b QΞ{ηΦ,Ψ } = g [Φ,Ψ ], ( Q b ) Ξ{ηΦ,Ψ } = g [Φ,Ψ ],Ξ{ηΦ,Ψ } g {QΦ,Ψ }, b [Φ,Ψ ], (4.7) where the first term of the last expression vanishes due to the number of c-ghosts and the normalization in Eq. (3.). 7
The first term of the right-hand side of Eq. (4.6) has been evaluated in Ref. []: 8 [Φ,QΦ ], b {ηφ,qφ } L = d xtr[a µ A ν A ρ A σ ] dte t (e t a ( η µρ η νσ a ) (a +e t a) 4 + η µσ η νρ ) (a e t a) 4 = d xtr[ 4 A µa ν A µ A ν +A µ A ν A ν A µ ], (4.8) where a = tan π 8 =. (4.9) Equation (4.8) cancels the extra term of Eq. (3.4) in the NS sector. We note that the component field B in Φ does not contribute to the above thanks to the equation of motion, B = i / µ A µ in the lowest order in g, which is negligible in the zero-momentum sector. The remaining terms of the righthand side of Eq. (4.6), which includes the R sector, do not shift the coefficient of the O(A µλλ) term of Eq. (3.4). Furthermore, we can neglect the third and fourth terms in Eq. (4.6), namely (Ψ ), b [Φ,QΦ ] =, {QΦ,Ψ }, b [Φ,Ψ ] =, (4.) because of Eq. (3.), noting thatv µ A (k = ) = cξe φ ψ µ, [Q,V µ A (k = )] = i / c X µ +ηe φ ψ µ, V λ (k = ) = cs( /). The second term of Eq. (4.6) can be evaluated, in a similar way to Eq. (4.8), as (Ψ ), b (Ψ ) = d xtr[λ λ βλ γ λ δ] cs ( /) β cs( /), b (cs γ L ( /) cs δ ( /) ) = d xtr[λ λ βλ γ λ δ] cs ( /) ( 3)cS β ( /) ( b 3)U 3 U cs γ 3 L ( /) ( )cs δ ( /) ( ) 3 3 = d xtr[λ λ βλ γ λ δ] dt S( /) ( β )S a ( /) ()S γ a ( /) (e t a)s δ ( /) ( e t a) c( a )c( a )b c(e t a)c( e t a), (4.) where a is given in Eq. (4.9) and U 3 is given in Refs. [, ], which corresponds to the conformal map tan ( 3 arctanz). For the bc-ghost sector, we have c( a )c( a )b c(e t a)c( e t a) = 4e t (e t a a) (4.) with the normalization c c c =. As for the φ-ghost and the spin field sector, we note that 7 S ( /) (z )S ( /) (z )S 3 ( /) (z 3)S 4 ( /) (z 4) ( ) = δȧ+ȧ+ A 3+ A 4, = p<q (z pq ) 5 i= A i p A i q 4 exp iπ p<q 5 Ȧ i pm ij Ȧ j q + i,j= 5 M 6j (Ȧj +Ȧj 4 ) (Γ µ C) (Γ µ C) 3 4 (Γ µ C) 4 (Γ C) 3 µ, (4.4) z z 3 z 4 z 34 z 3 z 4 z 3 z 4 7 The last expression is consistent with the formula in Ref. [] using the Fierz identity: (Γ µ C) β(γ µc) γ δ +(Γ µ C) γ (Γ µc) δ β +(Γ µ C) δ(γ µc) β γ =. (4.3) j= 8
where z pq = z p z q, and it leads to S( /) ( β )S a ( /) ( a )S γ ( /) (e t a)s δ ( /) ( e t a) = e t 8(a +e t a) (Γµ C) β(γ µ C) γ δ With the above and Eq. (4.), Eq. (4.) is rewritten as (a e t a ) (Γµ C) δ (Γ µ C) β γ. (4.5) (Ψ ), b (Ψ ) = ( a d e t a xtr[λ λ βλ γ 4 λ δ] dt a +e t a (Γµ C) β(γ C) γ δ 4e t ) µ C) δ a e t a (Γµ (Γ µ C) β γ = d xtr [ ] (λ T Γ µ Cλ)(λ T ) Γ µ Cλ) dt (+ ae t 4 a e t. (4.6) a However, the last expression includes the divergent integration dt, which can be interpreted as a contribution from the massless part ( = ) in the integration = dt e tl. In deriving the equations of motion for the massive part, Eq. (4.3), we should multiply a projection P, which subtracts the massless part, on the right-hand side, and this implies that we should replace P in the above. Namely, inserting the projection, we can subtract the divergent term as (Ψ ), b P(Ψ ) = d xtr [ ] (λ T Γ µ Cλ)(λ T ae t Γ µ Cλ) dt 4 a e t a = (( log ) ] ) d xtr [(λ T CΓ µλ)(λt CΓ µλ), (4.7) where we have used Eqs. (4.9) and (3.5). Eventually, including a contribution from the massive part to the massless effective action in both NS and R sectors, Eqs. (3.4) and (3.4), we have S = ( d xtr [ µ A ν ν A µ ig 4 [A µ,a ν ]) + (( log ] ) )g (λ T CΓ µλ)(λt CΓ µλ) iλ T CΓ µ ( ) ig µλ [A µ,λ]. (4.8) Rewriting A µ A µ, ( ) /4λ λ, and g g for the canonical form, we obtain S = [ d xtr 4 ( µa ν ν A µ ig[a µ, A ν ]) iλ T CΓ µ( ) µλ ig[aµ,λ] ( +log ( ] ) ) g (λ T CΓ µλ)(λt CΓ µλ), (4.9) where the first line is the same as the action of ten-dimensional SYM and the second line can be regarded as an -correction due to a superstring. Concerning the -correction, we comment on the term of the form gtr[f µν F νσ F µ σ ] for the field strength, F µν = µ A ν ν A µ ig[a µ, A ν ], which was investigated in Refs. [3, 4]. In this section, we have included only the zero-momentum sector for contributions from the massive part, and then if the above term exists, it should appear in the form g 4 Tr[i[A µ,a ν ][A ν,a σ ][A σ,a µ ]], which is a higher order in g than Eq. (4.9). In this sense, it is necessary to perform further computations including the nonzero-momentum sector or higher-order terms in g in order to compare the action from SSFT with the non-abelian Born Infeld action [5]. 9
5 Induced transformations at the lowest order Here, we derive the gauge and spacetime supersymmetry transformations for massless component fields from those of string fields given in Refs. [3, 4, 5]. We perform explicit computations up to the lowest order for simplicity. 5. Gauge transformation The linearized version of Eqs. (.) and (.) is given by δ () g Φ = QΛ+ηΩ, δ() g Ψ = Qλ. (5.) At the massless level, we have Λ ε = d k (π) ε(k)cξ ξe φ e ik X (), Ω ω = (π) ω(k)ξeik X () (5.) for the gauge transformation parameter string fields in the NS sector, Λ and Ω, and we have no states for λ-gauge transformation in the R sector at this level. In order to respect the partial gauge-fixing condition ξ Φ =, we take the gauge parameter as ω(k) = ε(k) = ε a (k)t a and we have QΛ ε +ηω ε = Then, from the linearized gauge transformation at the massless level, ( (π) k ε(k)v B () ) k µ ε(k)v µ A (). (5.3) we have obtained the induced transformation for component fields: δ () ε (Φ A +Φ B ) QΛ ε +ηω ε, (5.4) δ ε () B(x) = ε(x), δ ε () A µ (x) = i µ ε(x), ε(x) = (π) ε(k)eik x. (5.5) For the gaugino field λ (x), the transformation is trivial: δ () ε λ = at the linearized level. In order to get a nontrivial transformation, we should include the interaction term of SSFT in the gauge transformation. Expanding Eq. (.) as δ g(λ) Ψ = XηFΞD η {FΨ,Λ} = Xη{Ψ,Λ}+O(ΦΨ), (5.6) we define δ () ε Ψ = Xη{Ψ,Λ ε }. (5.7) Since the star product of Ψ and Λ ε has (n gh,n pic ) = (, /) and its φ-charge is 5/, we expand as {Ψ,Λ ε } = (π) ϕ (k) (C ) ϕ c ( k),{ψ,λ ε } + (5.8) at the massless level, where ϕ (k) = c cξ ξs ( 5/) eik X (), ϕ c (k) = cηs (/) eik X (), (5.9)
which satisfy the normalization ϕ c (k ),ϕ (k ) = C (π) δ (k +k ). (5.) Using the relations ϕ c (k ),{Ψ,Λ ε } = d k d k 3 (π) (π) ( )[λ (k ),ε(k 3 )] C K (k +k +k 3 ) (π) d δ d (k +k +k 3 ), (5.) Xη ϕ (k) = V λ(k)(), (5.) we have obtained δ () ε Ψ = (π) δ() ε λ (k)v λ (k)() +, (5.3) δ ε () λ (k) = d k (π) d k 3 (π) [λ (k ),ε(k 3 )]K (k +k +k 3 ) (π) d δ d (k +k 3 k), (5.4) and hence the induced gauge transformation of the component field is [ ] δ ε () λ (x) = ε(x),λ (x) (5.5) for small momentum: K (k +k +k 3 ). Equations (5.5) and (5.5) are consistent with the ordinary gauge transformation of the SYM. 5. Supersymmetry transformation at the linearized level First, we derive explicit expressions for equations of motion for component fields from those for string fields. The equations of motion in Eq. (.4) are linearized as QηΦ =, QΨ =. (5.6) At the massless level, we have QηΦ = QΨ = ( (π) ( B(k) kµ A µ (k) ) cηe ik X () ( k µ B(k) k A µ (k) ) ) c ce φ ψ µ e ik X (), (5.7) ) e ik X (), (5.8) ( (π) λ k c cs( /) +i k µ (Γ µ ) ηcs(/) which imply that the induced linearized equations of motion are B +i µ A µ =, i µ B A µ =, Γ µ µλ =, (5.9) in terms of component fields. The first two equations correspond to the Maxwell equation for the gauge field A µ and the last equation corresponds to the Dirac equation, and hence they are consistent with SYM at the linearized level.
The spacetime supersymmetry transformations in Eqs. (.5) and (.6) are linearized as δ () S Φ = SΞΨ, δ() S Ψ = XSηΦ. (5.) At the massless level, the first transformation is computed as δ () S Φ = SΞΨ i = (π) (ǫ T Γ µ Cλ)V µ A (k)() +ηω, (5.) where Ω ξ S(Ξ ξ )Ψ is a kind of Ω-gauge transformation in Eq. (.). Then, up to Ω-gauge transformation, the induced linearized transformations of bosonic component fields are obtained: δ () S A µ = () δ ǫγµλ, S B =, (5.) where ǫ = Cǫ and ǫ = ǫ T C. For the second equation of Eq. (5.), we have calculated as follows: δ () S Ψ = XSηΦ ( = (π) (k µa ν (k) k ν A µ (k))(ǫ T Γ µν ) + ( B(k)+ kµ A µ (k) ) ) ǫ Vλ (k)(). (5.3) This implies that the induced linearized transformation of the fermionic component field is given by δ () λ S = i ( µa ν ν A µ )Γ µνǫ+(b +i µ A µ )ǫ. (5.4) We find that the induced transformations of Eqs. (5.) and (5.4) are consistent with the conventional supersymmetry transformation in the ten-dimensional SYM, up to the equations of motion in Eq. (5.9), at the linearized level. 6 Concluding remarks In this paper, we have truncated the string fields in both NS and R sectors in the framework of Kunitomo and Okawa s SSFT up to the lowest level (massless level) and, by evaluating the action explicitly in terms of the component fields, we have obtained the ten-dimensional SYM action plus an extra O(A 4 µ ) term. We have also investigated a contribution from the massive part in the lowest order in g in the zero-momentum sector and observed that the extra O(A 4 µ ) cancels in the NS sector and instead an extra O(λ4 ) appears from the R sector, which can be interpreted as -correction. 8 We have derived the gauge transformation and the spacetime supersymmetry transformation for the massless component fields induced from those of string fields at the lowest order. Our explicit calculation implies that the lowest-level truncation of Kunitomo and Okawa s SSFT action is consistent with the ten-dimensional SYM theory. We have some remaining issues. At the present stage, we have no explicit formula for the reality condition of the string fields including the R sector. We expect that the Majorana condition for the massless component field in the R sector, λ Γ = λ T C, should be imposed by a consistent reality condition for string fields. It would be interesting to perform similar calculations in other SSFTs such as A -type 8 As noted at the end of Sect. 4, we should include the nonzero-momentum sector in order to discuss O( )-correction completely.
SSFT and (modified) cubic SSFT. Our concrete computations in terms of component fields might be useful to find new methods to construct solutions of the equation of motion such as SSFT version of the BPS condition. We hope that our work becomes one of the steps toward physical applications of SSFT. Acknowledgments We would like to thank T. Erler, T. Kawano, H. Kunitomo, H. Nakano, and T. Takahashi for valuable discussions and comments. We would also like to thank the organizers of the conference Progress in Quantum Field Theory and String Theory II at Osaka City University and the nd Niigata Yamagata joint school (YITP-S-7-3) at the National Bandai Youth Friendship Center, where our work was presented. This work was supported in part by JSPS Grant-in-Aid for Young Scientists (B) (JP5834). A Convention of the spin fields Here, we summarize our convention for explicit computations including the R sector, which is based on the method developed in Ref. []. The worldsheet fermion ψ µ (µ =,,...,9) can be bosonized using φ a (a =,,...,5) as i / (ψ ψ ) e ±φ c ±e, (A.) / (ψ a iψ a ) e ±φa c ±ea, a =,3,4,5, (A.) where the operator product expansion (OPE) among φ a is φ a (z)φ b (w) δ a,b log(z w), (a,b =,...,5). Involving the bosonized ghost φ φ 6, such as φ 6 (z)φ 6 (w) log(z w), the cocycle factor c λ (λ = 6 i= λi e i ) is defined by c λ = e iπ 6 i,j= λi M ij[ φ j ] dz, [ φ i ] = πi φi, (A.3) where M ij (i,j =,,...,6) is given by the matrix M =. (A.4) The GSO (+) projection can be expressed as +( ) G, G = 6 [ φ i ]. i= (A.5) 3
The spin fields with n pic = ±/ are expressed as S(±/) = 5 e i= Ai φ i ± φ c 5 i= Ai e i± e6, Ai = ± 5, (i =,...,5), A i >, S(±/) = 5 e i= Ȧi φ i ± φ c 5 i= Ȧi e i± e6, Ȧi = ± 5, (i =,...,5), Ȧ i <. i= i= (A.6) (A.7) In general, for S λ e 6 i= λi φ i c λ with λ = 6 i= λi e i, the OPE is S λ (y)s λ (z) = (y z) λi η ijλ j e λi φ i (y)+λ i φ i (z) e iπλi M ijλ j c λ+λ, (A.8) where η ij = diag(,,,,, ). Corresponding to the above convention, we define the Γ-matrix as Γ = iσ, Γ = σ, (A.9) Γ = σ 3 σ, Γ 3 = σ 3 σ, (A.) Γ 4 = σ 3 σ 3 σ, Γ 5 = σ 3 σ 3 σ, (A.) Γ 6 = σ 3 σ 3 σ 3 σ, Γ 7 = σ 3 σ 3 σ 3 σ, (A.) Γ 8 = σ 3 σ 3 σ 3 σ 3 σ, Γ 9 = σ 3 σ 3 σ 3 σ 3 σ, (A.3) and Γ = Γ Γ Γ Γ 3 Γ 4 Γ 5 Γ 6 Γ 7 Γ 8 Γ 9 = σ 3 σ 3 σ 3 σ 3 σ 3, where σ i (i =,,3) is the Pauli matrix, and we take C = e 3 4 πi σ σ σ σ σ, C T = C, C = C. (A.4) Then, we have {Γ µ,γ ν } = η µν, C Γ µ C = Γ µt, (Γ µ ) = Γ Γ µ Γ. (A.5) In the same way as the linear combination of the bosonization, Eqs. (A.) and (A.), we define Γ ±e = i (Γ Γ ) = σ, Γ ±e = (Γ iγ 3 ) = ± iσ 3 σ, Γ ±e3 = (Γ 4 iγ 5 ) = σ 3 σ 3 σ, Γ ±e4 = (Γ 6 iγ 7 ) = iσ 3 σ 3 σ 3 σ, Γ ±e5 = (Γ 8 iγ 9 ) = σ 3 σ 3 σ 3 σ 3 σ, (A.6) (A.7) (A.8) (A.9) (A.) where σ + = (σ +iσ ), σ = (σ iσ ), and they can be rewritten as Γ ±ej = (±i) j (σ 3 ) j σ ( ) 5 j j =,,3,4,5. (A.) 4
Using the above equations, we find ( ) (Γ ±ej ) β Γ ±ej =, j =,,3,4,5, (A.) (Γ ±ej ) β (Γ ±ej ) β = δ ±ej+a,ḃ e ±iπ 5 k= MjkḂk, (Γ ±ej ) β = δ ±ej+ A,B e ±iπ 5 k= M jkb k, (A.3) ( ) C β C =, (A.4) C β C β = δ A+ Ḃ, e iπ 6 i,j= Ai + MijAj +, A+ (A i,/), (A.5) C β = δȧ+b, e iπ 6 i,j= A i MijȦj, Ȧ (Ȧi, /), (A.6) e iπ 5 j= M6jAj = i, e iπ 5 j= M6j A j = i, (Γ µ C) β = (Γ µ C) β, (Γ µ C) β = (Γ µ C) β, and furthermore, for C = ( ) C β, C β (A.7) C 6 = δ i,j= Ai + MijAj + β A+Ḃ,eiπ, C β = δ Ȧ+B, eiπ 6 i,j= Ȧi Mij A j, C βc βγ = δ γ, C β C β γ = δ γ, (C Γ µ ) β = (C Γ µ ) β, (C Γ µ ) β = (C Γ µ ) β. (A.8) (A.9) Here, we should note that the correspondence of the spinor index is 5 A = (±/,±/,±/,±/,±/)= A i e i, i= 5 Ȧ = (±/,±/,±/,±/,±/)= Ȧ i e i, for undotted and dotted spinors. For the spin field with n pic = r, i= 5 A i >, i= 5 Ȧ i <, i= (A.3) (A.3) S (r) = e 5 i= Âi φ i +rφ c 5 i= Âi e i+re 6, = (, ) Â, (A.3) we have the OPE: ψ µ (y)s (r) (z) (y z) (Γ µ )βsβ (r) (z). References [] N. Berkovits and M. Schnabl, Yang-Mills action from open superstring field theory, JHEP 9 (3), arxiv:hep-th/379 [hep-th]. [] N. Berkovits, SuperPoincare invariant superstring field theory, Nucl.Phys. B45 (995) 9, arxiv:hep-th/95399 [hep-th]. [3] H. Kunitomo and Y. Okawa, Complete action for open superstring field theory, PTEP 6 (6) no., 3B, arxiv:58.366 [hep-th]. [4] H. Kunitomo, Space-time supersymmetry in WZW-like open superstring field theory, PTEP 7 (7) no. 4, 43B4, arxiv:6.858 [hep-th]. [5] T. Erler, Superstring Field Theory and the Wess-Zumino-Witten Action, JHEP (7) 57, arxiv:76.69 [hep-th]. 5
[6] M. Asada, On a construction of a complete action for open superstring field theory (in Japanese), Master s thesis, Niigata University, 7. [7] T. Erler, Y. Okawa, and T. Takezaki, Complete Action for Open Superstring Field Theory with Cyclic A Structure, JHEP 8 (6), arxiv:6.58 [hep-th]. [8] K. Ohmori, Level expansion analysis in NS superstring field theory revisited, arxiv:hep-th/353 [hep-th]. [9] H. Kunitomo, Y. Okawa, H. Sukeno, and T. Takezaki, Fermion scattering amplitudes from gauge-invariant actions for open superstring field theory, arxiv:6.777 [hep-th]. [] M. Schnabl, Wedge states in string field theory, JHEP 3 (3) 4, arxiv:hep-th/95 [hep-th]. [] M. Schnabl, Analytic solution for tachyon condensation in open string field theory, Adv.Theor.Math.Phys. (6) 433 5, arxiv:hep-th/586 [hep-th]. [] V. A. Kostelecky, O. Lechtenfeld, W. Lerche, S. Samuel, and S. Watamura, Conformal Techniques, Bosonization and Tree Level String Amplitudes, Nucl. Phys. B88 (987) 73 3. [3] J. Scherk and J. H. Schwarz, Dual Models for Nonhadrons, Nucl. Phys. B8 (974) 8 44. [4] A. A. Tseytlin, Vector Field Effective Action in the Open Superstring Theory, Nucl. Phys. B76 (986) 39. [Erratum: Nucl. Phys.B9,876(987)]. [5] A. A. Tseytlin, On nonabelian generalization of Born-Infeld action in string theory, Nucl. Phys. B5 (997) 4 5, arxiv:hep-th/975 [hep-th]. 6