arXiv:hep-th/0403187v3 28 Apr 2004 ui wsoilsrn edtheory field string twistorial Cubic ntno otiuin r ojcue ocompute to conjectured are contributions instanton Abstract: Luboˇs Motl Berkovits Nathan h ojcueta h tigter orcl computes correctly theory string the acti that theory conjecture interactio field super-Yang-Mills the string cubic the correct Since the tr reproduces parity amplitudes. under invariant googly be and to const shown MHV is is action and theory space, field twistor string in open cubic a paper, this In computat w model. D-instanton ten’s space the twistor reproduce in amplitudes tree theory string string alternative An amplitudes. Keywords: amplitudes. Theory. Field String Theories, Chern-Simons c IS/SS2018 SISSA/ISAS avr nvriy abig,M 23,U.S.A. 02138, E-mail: MA Cambridge, University, Harvard Laboratory Physical Jefferson Brasil SP, S˜aoE-mail: Paulo, 01405-900, 145, Pamplona Rua Paul F´ısica Estadual Te´orica, de Universidade Instituto [email protected] [email protected] itnhsrcnl rpsdasrn hoyi wso spac twistor in theory string a proposed recently has Witten wsos oooia il hois ult nGueFie Gauge in Duality Theories, Field Topological Twistors, ulse yIsiueo hsc ulsigfrSISSA/ISA for Publishing Physics of Institute by Published tp/je.is.tacieppr/hp4045 /j http://jhep.sissa.it/archive/papers/jhep042004056 ista N s tpoie togspotfor support strong provides it ns, ue-agMlsscattering super-Yang-Mills 4 = utdfrti lentv string alternative this for ructed N oso aia erei Wit- in degree maximal of ions nfrain hc exchange which ansformations ste rpsdwoeopen whose proposed then as pitsprYn-il tree super-Yang-Mills -point ni ag-nain and gauge-invariant is on Received: Accepted: JHEP dTheories, ld HUTP-04/A012, IFT-P.007/2004, hep-th/0403187, ac 1 2004 31, March pi 2 2004 22, April HEP-UK-0020 hs D- whose e 04(2004)056, hep042004056.pdf

S JHEP04(2004)056 JHEP04(2004)056 9 2 3 4 7 1 2 7 15 10 15 16 14 17 heet variables whose . Since the Yang-Mills d + 1 negative-helicity gluons + 1 negative-helicity gluons hic form of maximal helicity- es in the string theory, it is d icity gluons) are describedd by ntributions correctly reproduce iolation. He showed that just as th ion and unitarity. This makes it . = 4 super-Yang-Mills scattering ampli- d N – 1 – = 4 super-Yang-Mills theory [2, 3, 4] can be gener- N = 0 part = 1 part d d Witten then proposed a string theory based on twistor worlds 2.1 Worldsheet action 2.2 Physical states 2.3 Tree amplitudes 3.1 Kinetic term 3.2 Cubic term: the 3.4 Equivalence with first-quantized prescription 12 4.1 Parity symmetry4.2 of on-shell amplitudes Off-shell parity:4.3 the kinetic Off-shell term parity: the cubic terms 3.3 Cubic term: the were computed by D-instantons of degree less than or equal to alized to tree amplitudes with less than maximal helicity-v MHV tree amplitudes (i.e. amplitudescurves with in two twistor negative-hel spaceare of described degree by one, curves tree in amplitudes twistor with space of degree tudes. In this string theory, Yang-Mills tree amplitudes wi tree amplitudes are notnot straightforward described to by check perturbative propertiescomplicated to such amplitud prove as the factorizat conjecture thatthe the super-Yang-Mills D-instanton tree co amplitudes. 1. Introduction In a recent paper [1], Wittenviolating showed (MHV) that tree the amplitudes simple holomorp in Contents 1. Introduction 2. Review of the open twistorial string 3. Cubic string field theory action D-instanton contributions were used to compute 5. Conclusions and outlook 4. Parity symmetry JHEP04(2004)056 ). G (2.1) , which k R = 1 to 4, j A variables have . Gauge-fixing and 2 = 1 to dim( LI k RI Y Y , for I rldsheet variables was R tion for the alternative k L Z j wistor space is reviewed. hat only D-instantons of . = 1 to 2 and amplitudes -invariant and reproduces es k R with the appropriate poles, tring theories give the same ˙ a j tive-helicity gluons that only constructed. In section 4, the t-moving worldsheet variables n Witten’s model. And it was a, at twistor calculations are invariant = eet theory computations. Since hat for MHV amplitudes, it is roduced, the field theory action hat the open string amplitudes ns. And in section 5, we discuss ms. Furthermore, it is invariant duli space [12, 13, 14], these field ctions [15] because of the current k L re appeared a paper [8] proving on-shell ) for three negative-helicity and three positive- A L recent work [11] by Aganagic and Vafa who , j , ψ ons. ˙ a L RI 1 Y ,µ a L = λ – 2 – LI = ( I L Z -point tree amplitudes. Using the standard open string , Y N I R Z = 0 Siegel gauge, so the action can be used to define string , and a left-moving current algebra 0 = b = 4 super-Yang-Mills tree amplitudes were conjectured to be LI I L Y Z N -point super-Yang-Mills tree amplitudes. variables have conformal weight zero and the N I L Z In section 2 of this paper, the alternative string theory in t In this paper, we construct a cubic open string field theory ac Last month, an alternative string theory based on twistor wo Shortly after our paper was posted on the bulletin board, the It was recently shown by Edward Witten in independent work th 1 2 In section 3, aaction cubic is twistorial proven to string be fieldconclusions invariant theory under and parity action possible transformatio is applications. 2. Review of the open twistorial2.1 string Worldsheet action In the open twistorialconsist string of theory the proposed real in twistor [5], variables the lef parity symmetry and showinghelicity gluons that also six-point only amplitudes require maximal with degree D-instant under parity transformations [10].explain parity There symmetry has in also the been context some of the model of [9]. maximal degree contribute in theprescription model for of Witten, super-Yang-Mills these treeclear two amplitudes. s that only Note D-instantons ofrecently t maximal shown degree for contribute “googly” i maximal amplitudes degree containing D-instantons two are posi needed [6, 7]. computed by tree amplitudes in the string theory. Assuming t string theory inthe twistor usual space cubic supersymmetric [5]. Yang-Millsunder interaction parity The ter transformations which cubic exchange action MHV and is googly gauge field theory result that the cubictheory vertex computations correctly agree covers mo with thethe first-quantized string worldsh Feynman diagramsand are since expected the to cubic Yang-Mills be amplitudesconstructed factorizable are here correctly gives rep strongcorrectly evidence compute for the the conjecture t constructed [5] in which their conjugate momenta Feynman diagrams and compute is straightforward using the conformal weight one. One also has the right-moving variabl Although the formalism resembles heterotic string constru Before twisting, the satisfy the open string boundary conditions JHEP04(2004)056 ) has has u, v = 0, (2.2) (2.3) (2.5) (2.6) 6= 28 I C I Y c T f er-Yang- I ∂ 1). For the , (3 2 of the ( ) of conformal − b, c , = = 0 when ) , and the covariant c 2 Z ( n Minkowski signature Q I g ls scattering amplitudes I ghosts ( e the OPE of the vertex C ral dimension-one primary current is S o gauge groups with ∂Z ] (2.4) 6= 26), one expects problems , ¯ z + I trary gauge group represented = d A  g Z cb∂c I R I − which is defined such that Z ) system and Y ¯ z + z µ ∂ = ∇ b, c A = 0. Through the Penrose transform, = ,V RI I ¯ z cu∂v ) g Y 0), one can construct the BRST operator ) whose dimension is one, while the total I ∇ Z , + ( + Z +1 I i , J I L z f vJ may be written as composite fermionic bilinear I C Z ) has +1 GL(1) charge and satisfies – 3 – , ¯ = 0 because of cancellation between the bosons z − Y k T + 26 of the ( 2) and the worldsheet has Minkowski signature j Z z i c , ∇ ( z = − + A I ( cT I LI [ f / f = − Y z  z d c ∂Z carry z ∂ I 2 I Y , analogous to the 1-5 strings of [1]. But at least at the Z d = Z ,V = z = ) Z ∇ T Z Q ( ...M = and k has +1 GL(1) charge. I S φ I Y k ) of conformal weight (1 = 1 j Z GL(1) worldsheet gauge field are real twistor variables, the target space on which the sup = u, v ≡ I i, j φ Y ) V 1 GL(1) charge and satisfies R for 2), and then Wick-rotate the results to Minkowski signature , − , ) gauge group, the currents and j β 1) and ( I ) has zero GL(1) charge, i M 6= 28 current algebras at the loop level. is the action for the left and right-moving current algebras α Z − Z ) has , ( c is the stress tensor for the current algebra. Note that C k Z S φ ( C I T g Since The worldsheet action for the matter fields is Physical open string states are described by the GL(1)-neut 1). Although one would prefer to have a string theory defined i 1), one can use this string theory to compute super-Yang-Mil , , 1 GL(1) charge and operators should lead to the factors 1 algebra, it seems necessary to work with open strings becaus dimension of the closed string vertex operators is two. classical level, the formalism can be generalized to an arbi by a current algebra. derivatives where (1 Mills theory is defined has signature (2 (3 in signature (2 case of a U( operators include a GL(1 weight (2 − 2.2 Physical states Using the Virasoro and GL(1) generators together with their where the matter contribution to the stress tensor and GL(1) and central charge +28, which cancels system. (The variables where with the fields (much like the Virasoro tree amplitude is well-defined for and fermions.) Although tree diagrams can be extrapolated t and JHEP04(2004)056 in ∞ ρ = 4 with (2.8) (2.7) ) de- -Mills µν . One I R µ r . Note N Z A d z ∇ RI d Y mber  ) + N times their GL(1) ) describe I L z ( Z Z 2 d ( ¯ z -shell. However, since N I − V zero mode. Functional g ∇ 1) (2.10) N v LI z − Y d ( ) ) (2.11) ) (2.9) z ed by z Z rt space where off-shell states ) and . ( ator Z 2 ntation of the current algebra. is string theory by the formula Z volving a single trace where all r olving off-shell states, it is more ¯ z loop amplitudes and multitrace d Z ill be explained elsewhere. Note ( he conformal supergravity states ¯ z ( · · · Φ( δ Φ( ¯ z R I se all intermediate states in single- ) ) on a sphere, a gauge field ). Γ Z f 4 z Z 1)) is BRST-trivial, it is irrelevant 2 d d is a topological quantity constructed ( z = d π 2 d ( − − 4 ghost, this naively gives zero times ∂r , S µν 7+8 V ) 8+8 r = 2 d 4 ( = 4 d v z F d ¯ z z ( Z c d µν Z ∂rδ gR ( Z and integrating over the scale factor zǫ Z = √ 2 Q ) r z = 1) + d d – 4 – ) is a topological quantity constructed from the 3 I 2 i , A z z d ˆ = ) d R ( − Z ( i z 3 ) can be identified with the spin connection Γ Z ) , functional integration over the zero modes naively R zz z d = Z gR cV ( ∂R Γ Φ( ) I r πd √ 2 d 2 Φ( ( z cv Z z c δ 2 ( 2 2 ) = 2 d z = 2 ( z R cV v A ) µν c∂c∂ c∂c∂ 1 h h F z , the worldsheet action ( )= d µν 1 z ( cV zǫ R 2  + 1 zero modes. But since the vertex operators for super-Yang d = 4 super-Yang-Mills states and 2 d R − ) carries conformal weight (1 + =0 I d X N N has ,Z = comes from writing I I denotes the correlation function on a disk with instanton nu Y A Z ∞ d is inserted on the worldsheet when all external states are on h i R ) describes On a disk with instanton-number Z ( -point tree-level scattering amplitudes are computed in th k way to regularize (2.9) is to insert the BRST-invariant oper integration in this “small” Hilbert space is defined by where the into the correlation function. Since instanton number where φ So for instanton number conformal gauge by we will later want to describeconvenient a to string regularize field theory (2.9) action byare inv working required in to a be “small” GL(1)-neutral Hilbe and to be independent of the charge, i.e. ( gives the measure factor states are GL(1)-neutral and independent of the worldsheet metric, the instanton number scribes worldsheet fields whose conformal weights are twist where each conformal supergravity states whose twistorthat description the w conformal supergravity statestree contribute amplitudes, poles but to do notexternal contribute states to are tree super-Yang-Mills states. amplitudes in Thistrace is tree becau amplitudes must transformSo for in computing the tree adjoint amplitudes involving represe can a be single trace, ignored. t 2.3 Tree amplitudes N from the worldsheet gauge field. Since where that just as the Euler number JHEP04(2004)056 × (2.13) (2.14) (2.15)  2 1 3 3 π π ) has zero z ( − I 2 Z . a  =1 δ d i zero, )  3 1 2 2 2 , z ) π π ( = 1 term contributes to 1 # r 3 The Northern hemisphere k π d − from the degree zero and − cV A 2 . ) γ A a 2 ( A 4 z r  γ (  2 δ rk = 1. k 1 = φ are independent real quantities in  − ˙ π cV 1 a ) 1 A 2 1 1 s ˙ A λ a A 3 r =1 1 ˙ a ˙ π π a Y r z π ψ Figure 1: represents a diskample, diagram. five open In stringare vertex this inserted operators ex- at itsmodels boundary. of Unlike the [1]ables and in [9], this model the are twistor real. vari- π ¯ ( π 3 1  a k − 2 s 2 k cV + , and ¯ 1 a h , ψ + ¯ k k  a r  ˙ a k f + 1 r + π b δ + (2.12) π ) , A ! A = 1 and ¯ ) r ˙ a r A = 1 r " =0 r z γ – 5 – ˙ a a ) amplitude while the ¯ d π z ( π ˙ 2 4 a i ¯ s s a ˙ ( r 1 a − ) d − a a r π A λ ) 3 π π ¯ π 1 z ψ Z ( = π ˙ 3 = = 1, one obtains a 3  =1 ˙ a b r X 1 a r , µ 2 × cV rk ˙ = ( ak ˙ a a p ) a d a φ -point tree ampli- 2  a ib  z A  2 1 r r N Z ( 1 1 r

= π π 2 2 π 1 π ˙ a a a A λ cV − r λ d ) exp ψ ¯ π ) ) 1 ) ) r r z  × Z r r z z ( k ( z ( z 1 ( ( 1 2 = φ ˙ a 1 λ λ cV λ µ h  =0 i d are defined such that . For on-shell external states, one δ =  4 ) -point super-Yang-Mills tree ampli- + | a denotes integration over the projec- r ) 3 A s z r N 2), exp ( Z z , k 7 ( RP × j r d and ¯ +) amplitude where the signs indicate helicities. At degree Z cV ˙ a s R = 0 piece contributes to the (+ + ) = 3 =1 r −− Y d r For example, the three-point amplitude gets contributions As was shown in [5], the z ( * r V and the Yang-Mills gauge field is where where degree one correlation functions tive space can easily check that thisinserting definition is the equivalent operator to (2.10) into (2.9). where the external momentum is The signature (2 tudes computed using theproduce prescription the of maximal (2.7) degree re- D-instantontion contribu- in the model ofto [1], reproduce and have been conjectured tudes. Yang-Mills tree amplitudes arestringy computed disk as diagrams, suchusing as the the Yang-Mills one vertex operators in figure 1, the ( Using GL(1) invariance to gauge conformal weight with constant zero modes, i.e. JHEP04(2004)056 , ˙ a = b e 1 1 , ˙ a π × (2.20) (2.18) (2.17) (2.19) (2.16) + 1 , b 1 . a − . − ) a e + ) 1 aA , A 2 ] 2 u γ − ) when a a +1 ] where a +3 − a e A 1˙ z . A ] , (2.16) can be ] 3 aA ¯ π A 1 , A 3 3 = ˙ u a 3 +1 e ). So one finds γ ( π − , γ π ) 1 A 1 ˙ +2 a × + u e γ a , A − A , A = aA 1 ) [ 2 A , b 3 − γ 4 − +3 × 1 r 2 − γ ) ) u )= (¯ 3 × ra c 1 1 A u π a A u ! 1 . π [ 3˙ π , − 1 r  ( π 4 ¯ )(  π )= + [ 2 c r ) = 3 1 2 π 3 3 ˙ 3 , conservation of momentum 2 a 2 ˙ z aA d a u ˙ π π π 1 + ( 1 3 u rk ( − 3 r π ( 1 ( 1 bles [ γ − π 3 1 φ ¯ A π 1 π a π A − − d ] 2 − − A a − . ] = ¯ ) 3 ) 3 2 π 3 =1 =1 A b 2 Y r +1 ] ˙ u u r 1  X 2 = ) = (¯ 3 +3 u 3 a π  π )(

+ ( k 2˙ +2 A +2 , A b 2 2 2 δ − 2 ¯ , A π = ¯ k π u A ˙ δ a 1 1 1 ] +3 ( +3 , A z , ψ  ˙ 1 1 k 1 +2 ˙ 1 u π a − × 1 2  2 2 A A ( , γ π f b − ] [ e − +1 A ˙ 2 1 ) π π 3 3 1 a ) 2 4 a a A π π ) u aA ! a + − [ 2˙ b , A 2 1 2 − + [ γ 4 ˙ a 3 ¯ a π ra π 8 π ) − 2 ˙ b 3 a a e 1 ) and (2.20) reduces to the parity conjugate − , A π a 1 1 3 d u a ˙ – 6 – 1 − 2 1 a π 1 1 π π A 1 r (¯ = [ + ( − ( π π  ( A π Z ¯ π 4 ] )= ˙  a δ A ) ! ˙ α  3 a ! [ z b e d a ( 4 π +2 3 δ =1  1 ra Tr ˙ b ra ) a r X 1 2 π 1 1 π 4 2 d π  ˙ ˙ d a a , A 3 2 ˙ π π d a − 2 1 2 2 r a r π π ) , ¯ π π π d +1 1 ¯ 1 3 π ib ) variables is ( − Z ˙ ) = ( a π π 2 conformal weight so it has the zero modes A 1 a r a

+ ( 3 ( − 1 in opposite directions until 2 =1 / 3 aA 3 =1 b u u r X  1 r π X a 2 1 π 1 1 3 z, µ ˙ a r 1 1  , γ a

α 2 a π π d − Tr([

˙ π exp Tr a π δ a e 4 π ( a 4  = δ × δ × × Z × δ × + , b ˙ a has r in opposite directions until ¯ = a and ¯ = = u I = a ˙ a r ) = ( a r Z π =0 a =1 π d = 1 using GL(1) invariance, the jacobian from going to ( 2 d )= , b π + 1 + z a 1 ) r r and ¯ ) ( a r π z z r a a r z 2 1 z λ ( π ( a a e e r r + + cV cV 2 1 . a a 3 1 3 =1 ) variables to ( 3 =1 Y r π Y r A At degree one, After scaling = * e γ * = , r 1 u 2 A implies that ( If one scales π written as It is convenient to describe these zero modes using the varia Note that momentum conservation implies that (¯ After gauging γ JHEP04(2004)056 =0 . d i = 1 0 ) (3.2) (3.1) 3 d (2.21) z ( 3 × n> ), which is cV a  ) 2 1 r 2 π z 3 π a 1 ( ˙ a , π 2 ng-Mills MHV r k ¯  π cV ). Note that under . So these different z ) a ) ) 1 2˙ 1 N A r r k =0 z ¯ ) π d z z π ( γ ˙ i a 1 ( ( ) 1 =0 for ) N ˙ π 1 a 3 z N d i =0 cV z λ µ ( z h k X 0 ( i 1 | ( 3 to the holomorphic Jacobian n λ A  | cV v ) ) ruct a kinetic term whose ψ )= 1 y factorization properties), al spectrum. The off-shell 2 = 0 term does not contribute to z btained from the string field u = z orrect super-Yang-Mills tree and degree one contributions  ( exp ( d i 1 − A N 0  ng-Mills couplings. 3 | cV φ 2 1 r r u 1 ) i = 0 contribution, one should define an 1 π π − 0 )( z | 3 d n · · · × ( ] ry comes from current algebra OPE’s and ) correlation function. When 2 u − u elation function  x operators on the boundary does not alter N , ψ ) ) − cV 1 2 z = h r r b, c k ly that the 2 hing π ) z z d z i u tex operators does not switch the sign. This can ) ( ( 2 ˙ a k on 0 2 2 1 R z )( | b z ( 2 λ λ ( 1 u +1 d · · · =0  A λ n k − X 1 δ c ψ 1 z – 7 – u  d = ( =1 N | Y, Z, j, b, c, u, v )= Y 2 r R i z φ ) 0 ( γ on a disk, and the SL(2) part of GL(2) can be used | ˙ a N 2  I = Φ[ +4 1 − 1 d n Z i π ) 4 b ) 1 d = 0 correlation function by the factor sign(¯ Φ 1 z | z ( b = d 1 ( , µ 1 = 1 correlation function should be multiplied by sign( +1 mod Vol(GL(2)) i r A λ +2 k d 0 z d | z ψ 2 1 a k − d  a − r k n a 1 z j ) which was used in the degree one computation. d φ =0 ( 1 integrals and reproduce the ( +2 k X  = u d r 2 =1 N i − z Y Tr r d 0 )= 3 | R I u × × z ( )( 1) a 3 3, this formula has been verified to give the correct super-Ya − λ u n ) = ( − i − -point tree amplitudes, the formula is Y is a ground state satisfying ) are the zero modes of 2 N , ψ u A k i N i = 0 )( ¯ λ | = i , γ 2 , ˙ 0 a k u i | d For λ I n Since the trace over group theory factors in this string theo , b − ( 3 a k Z 1 A a u contributes with opposite sign from the correlation functi cyclic orderings naively cancel each other, which would imp necessary for converting the standard Jacobian the order in the trace. This implies that the degree zero corr not from Chan-Paton factors, changing the order of the verte where ( in (2.17) and (2.20) correctly reproduce the three-point Ya of (2.17). One can easily check that the sum of the degree zero parity symmetry, this means the analytic continuation so that switchingbe the accomplished order of by the multiplying ver the to fix three of the the on-shell three-point amplitude [16]. To get a non-vanis and googly tree amplitudes.theory Since the action above of formula this willwe be paper consider o this (which strong isamplitudes evidence expected for that to arbitrary the helicity-violation. have formula unitar gives the c 3. Cubic string field theory action 3.1 Kinetic term The first step inequation constructing of a motion field andstring theory field gauge action will invariance be is describe described to by the const the physic wave functional and ( where JHEP04(2004)056 ) n by . − 0 i (3.3) (3.5) (3.4) (3.6) (3.7) , u Φ | n − n< , v oblem that n , . k − , . Note that if ) J I ) i σ , j δ σ 0 + | n i n + τ 0 − + ( τ e “small” Hilbert | ( 1 ). ) m in 0 − n in =0 for δ e Z e − since this dependence , b ( n I n nI = has ghost number one, s n v ghost zero mode, i.e. I Φ where the functional 0 , u | Y Z is obtained from φ − n 0 carries +1 ghost number, Z v Q 2 nI Q † h − i Y ) (3.8) ∗ n the “large” Hilbert space , c −∞ −∞ Φ eet variables on a strip with ndices. Note that the BPZ 0 ∞ ∞ | J = Φ ce m , v X X = = | . 0 Φ nI Z n n n Z h ing that is identified with the ( ) − k − +1 R I φ n ions for super-Yang-Mills states. = , j = 0 0 ,Y u | n ) = ) = | n i Z 0 sign( I − 7 − Φ Φ h 1 h | d Z 1) τ,σ 0 τ,σ − 0 i ( ( = u − Z , b I Φ ( R 1 is the BPZ conjugate of | n RI − | Z − − Q n 0 | 2 h c J | m = Φ , c h 0 Z i h 0 nI – 8 – | = and nI , Y − ) = ,Z Y ) 0 4 ) | σ ,Y kin 3 σ Z +2 − ( n S − n τ I φ − ( τ b ( | RP 1 Z , and in =0 and 0 c in ( e is in the “small” Hilbert space defined in section 2. In h 0 s i e nI c I f n i nI Φ − 1 ) = | Y Z Φ 0 Y 0 − | c J Z | +1 ( = k 0 n −∞ −∞ s is defined to satisfy must carry half-integer ghost number. ∞ ∞ h j † X X | φ = = ) | i n n 0 0 h h nI Φ s | X Y = ) = ) = , ( I = n i must be GL(1)-neutral and independent of the I − is an integral over τ,σ τ,σ +1) Φ i zero mode and the GL(1) scale factor, one would run into the pr ( ( | Z n 0 ( I L Φ v Z | LI Y = | Z 7 Y 0 † d h ) , e.g. 0 is an arbitrary polynomial in oscillators ( is the BRST operator defined in (2.4) and I n π Z = s 0 such that its GL(1) charge cancels the GL(1) charge of Z f Q R I ≤ n Z Under the above conditions, one can define a kinetic term as In addition to the usual requirement that the string field The zero mode normalization of the action will be defined in th σ | n> 0 h ≤ where ( for 0 We are using the usual mode expansion for open string worldsh is necessary for describingSo the the on-shell generic twistor off-shell wavefunct string field is where other words, However, note that Φ is allowed to depend on inverse powers of where it will also be required that the kinetic term of (3.6) should have ghost-number four. Sin this would mean that where one tried to defineinvolving the the zero mode normalization of the action i hermitean conjugation which switchesconjugate the bra-vacuum signs of all mode i As usual, one can also write the kinetic term in (3.6) as space by integral is over allsecond configurations half of of the the first string. half of the str JHEP04(2004)056 ) ) = Q 0 0 i Z Z ( ( Φ k k . The | (3.13) (3.11) (3.12) i ) φ φ 0 Φ b ¯ g field are − and that it i ∗ | 0 b Φ i | Ω | , Q i s would mean that = 0 are completely 0 = 0 and the gauge | i ) = i 0 Φ | i Z Φ eory. Naively, the zero | ( en’s star product [17] to Φ Q ned by the requirements I | carries +2 ghost number. Q have the action . g δ ergravity vertex operators i 1 Φ I e − ng-Mills twistor field Φ rd string field upergravity equations of mo- rom | ∗ , uld be Z is restricted to be independent kinetic term. However, ) rotations, i.e. ( ) 1 ince the three-point amplitude en string field. In this “small” 0 e, we will need two cubic terms Φ i i i ¯ L ∗ Φ Φ Φ | | = 1 (3.10) − Φ i Q = 1 (3.9) | 0 0 i ∗ | | , c Z i Φ L 1 Φ i 0 h | ¯ c g | 0 ( should carry half-integer ghost number. = 0 are 1 | | 1 ) ¯ i c − i Φ 0 0 c = 0. These equations are consistent since h Φ )= Φ ¯ )¯ c Z | | i g 0 i 1 reproduces the super-Yang-Mills and confor- ( 0 c 3 2 I Φ Q − J Ω i | | ¯ c f – 9 – + ¯ 0 1 Φ I + Φ = | c 1 h u 0 i ∗ | i 0 i c − Q c | ( Φ Φ Y Φ = | | 1 1 | 1 Φ ( c − 0 | h i Q 1 c | u | Φ Ω − h | Φ 0 c h h 0 g | J 0 h , c = = part i S 0 | =0 in the action ) d = 0 0 i S where Z d Φ ( ] = 0. One can check that the only states in the cohomology of i | k 0 Ω | φ 1 Q k − Q, J j is nonvanishing when the closed string field 1 = c i = 0. Note that these restrictions on the bosonic closed strin i are the left and right-moving Virasoro ghosts. However, thi Φ and [ | Φ ) zero mode and to be neutral under ( i c | ¯ c δ 0 Q Φ | | J ) − Φ 0 and ¯ h c ¯ L c ] = 0 The kinetic term of (3.6) implies the equations of motion This situation has an analog in bosonic closed string field th The cubic term of degree zero is easily obtained by using Witt − 0 L Q, u The solution is to work in a “small” Hilbert space where of the ( ( analogous to the restrictionsHilbert of space, (3.4) one for can define the the twistorial zero op mode normalization as so that the closed string field invariance mode normalization in bosonic closed string field theory sho where [ at ghost-number one which satisfy The cubic term inthat the it string preserves field a theory nonlinear action can version be of determi the gauge invarianc which correspond toof the (2.6). super-Yang-Mills Although and the conformal kinetic sup term will appear in the cubic interaction term. 3.2 Cubic term: the glue the left and right halves of two string fields to give a thi reproduces the desired on-shellinvolves correlation three-point functions amplitudes. of degreein S zero the and field degree theory on action. is GL(1)-invariance, it does not even appear in the cubic term of degree zero is mal supergravity spectrum, the equations of motion coming f different from the standard super-Yang-Millstion. and conformal For s example, since the only constraint on the super-Ya If one does not include the cubic term of degree one, one would JHEP04(2004)056 t . (3.16) Φ = 0. Q R ) c rivatives with (d) (a) . ( 2*3 Q 3 )) (3.17) z ( 2 ) (3.15) u i ) is a derivation of the star- 2 1*2*3 z open string field theory. ( Φ 1 is nilpotent, and the star Q = 0 are preserved by the | ic ) ) (3.14) an define a BRST-invariant i Q a i Q − ( Φ . Φ | 0 ) ) Nilpotency of (1 i ∗ 3 b J 1  i ∗ | Φ ) Φ = Λ ∗ y Φ = 0, ( i 2 I Q Φ | i − | Z (Φ i − | R 0 2 ) 3 Λ ∗ u y Φ ( = 0. 1 I i ∗ | 2 i ∗ | ) Λ | 1*2*3 yY i Φ =Φ | 0 1 d 1 ( 3 – 10 – J z Φ g | Φ = Z + ∗ Q i i 1*2 i is fermionic, ) Λ  2 Λ | i | 0 Φ Φ ) = ( Q u | ∗ i (c) (b) 2 1 = 4 super-Yang-Mills with only self-dual interactions [18] = part Φ = exp i (Φ N ) are also derivations of the star-product and that a BRST-invarian Φ z | ( 0 i ∗ | δ = 1 1 J iσ e d Φ | ( and Q )= 2 0 z u ( are integrals of dimension-one currents, they also act as de F 0 J 2) at the midpoint does not spoil the identity. ( is a derivation with respect to the star product, i.e. π/ ( Diagrams representing the axioms of string field theory: ( and Q F 0 u Note that (3.13) is gauge invariant using the usual axioms of ) Associativity of the star-product. d Since To construct the cubic termspectral of flow degree operator one, first [19, note 20, that 21] one c product is associative, i.e. 3.3 Cubic term: the respect to the star product. So the constraints Namely, and describes the version of product. Note that insertion where the minus sign is because ( which has the nonlinear gauge invariance gauge transformation of (3.14) if Figure 2: JHEP04(2004)056 nts states (3.18) (3.22) (3.20) (3.21) (3.19) hen the ) has no ) has no ) is then z y y ( ( ( σ F ) . 2)] = 0. Y y ) . ) is allowed to therefore gives ( i ; π/ ) y , z ( σ i ( Φ ) Φ . Z i aling the fermionic Φ Φ i ∗ | Q, F i ∗ | . Since the norm and ∗ Λ e worldsheet variables A Φ i ∗ | | Φ worldsheet ure 3) ¯ ψ ( Φ ∗ pen superstring field the- 4 1 | e insertions are irrelevant iS i − |  ( ise here. Fortunately, this ) fined as ′ annihilated by the spectral Φ Λ 2 π  ording to their GL(1) charge.  RNS formalism,  . 2 π ns are relevant. However, the ) in 2 g/g π i ∗ | z ction does not require midpoint  ( )) F invariance is the midpoint of the |  J z Φ ¯ | z ( F Φ ( | → F h u A ) ′ Φ  2 ( A h z g Z g z ′ 2 π ¯ ( 3 ψ ′ 2 2 g  g d in the worldsheet action, the correlation ic 2 3 R F σ − ′ )+ z i and i g )= ∂ )+ i − i Φ A Φ ))(1 ) = 0 at the insertion point Φ ψ )+ z z 4 1 i – 11 – ( ( i ∗ | is equivalent to the correlation function on a disk ) therefore has one new zero mode on the disk, and Φ i ∗ | Y i ∗ | Y Φ d | ( /g Φ Z ′ ( | Φ 8 | | ( g δ i ∗ | ( ( | Φ couples to  Λ h ), the action becomes ) is the total GL(1) current. Note that spectral flow operator insertions. To see this, suppose Φ ′ ′ ¯ 2 z π 2 h → )= g g d g  A cu z 3 2 ( A i − | 3 2 ( g/g F ∂ ψ | Λ F + . + ) 2) does not spoil BRST invariance since [ Φ − ) so that the worldsheet field strength is concentrated at poi i . The field r i h r as z ′ z I Φ )) as forcing ( i ∗ | z π/ | Φ g I z ) can be expressed in operator language as | ( Z iσ Φ ( z Y − Q I | e | Q F = ( ( ) near this point, and therefore the dual variable | Y Y z ) so these insertions do not cause contact term divergences w g Φ near ( ( z F z Φ h =1 ) is BRST-exact. But in open string field theory, the external 2 8 ( =1 h = 1 ′ d r δ δ and + − d g iσ g − F } i S = ) I Q y =1 z Λ = Z d r | iue S ( − Q, u Q S P { Q y = = = = i ¯ z Φ | A ∂σ z δ ∂F 2) rescale by a factor of ( ∂ Since the GL(1) gauge field This action can be put in a more conventional form by first resc These spectral flow insertions give a background charge to th So the complete open string field theory action is (see also fig Since midpoint insertions cause problems [22, 23] in cubic o When all external states are on-shell, the locations of thes π/ ( where F singularity and that on the worldsheet. Exponentiating the term function on a disk ofof instanton number instanton number zerothat with which has the nonlinear gauge invariance are off-shell, so theunique locations location for of these these insertionsstring. spectral which preserves So flow gauge the insertio cubic term of degree one in the action will be de components of The extra insertion of the contribution which can be mimicked by twistingOne their conformal can weight acc think of singularities with midpoints collide [22]. Also,insertions, since the there kinetic is term in noflow the need operator a [23]. to truncate out states which are ory [24], one mightdoes be not worried occur. that Unlike similar the problems picture-raising could operators ar in the proportional to ( since it can describe a curve of a higher degree. blow up as ( JHEP04(2004)056 y ). = 1 σ ( d (3.23) b (--) (--) (+) +) helicities. ) Two b d action. . (--) −− = 0 cubic term,  ) d i ach of them is either Φ (--) (+) ++). ( = 1 vertex, contributing heory is that there are i ∗ | d −− Φ | cover the moduli space of d=1 ( nges the two cubic terms. one needs to gauge fix the  (+) (--) ber zero and the other which 2 π d theory prescription and the of the Virasoro antighost  (--) F | b = 0 and one Φ h d (+) 2 3 = 1 vertex, coupling the ( d (--) (+) )+ ) One -point tree amplitudes of instanton number i b (c) (d) Φ d=0 N ). ( i ∗ | − – 12 – (+) Φ (+) | of the two coupling constants that has an invariant ( = 0 vertex, contributing to ( ′ | Φ d gg h b 3 2 ) helicities, or the , this can be done using the standard Siegel gauge-fixing − (+) (--) + , one obtains the action 0 i i +). The exact ordering of the external helicities may differ. The L Φ Φ | | KIN 1 (--) (--) = Q = 1 cubic term looks more unnatural than the − | } (b) g d Φ = 1 and one 0 −−− h d  = 0. In this gauge, one can use standard open string field theor ′ i→ Q, b i (+) 1 (+) { Φ gg Φ | A visual representation of the total twistorial string field theory | 0 ) One = b c (--) S b ). ( A scattering amplitude of four gluons requires two cubic vertices. E (+) = 0 vertices, contributing to (+++ −− d Figure 3: (+) (--) = 0 vertex, coupling the (++ Note that it is only the product A new feature here as compared with bosonic open string field t d (a) ) Two a Now by rescaling vertices, contributing to ( brown line crossing the intermediate string represents an integral to (+ + Figure 4: ( the methods [12, 13, 14] toopen show string that tree the amplitudes. string Feynman diagrams two types of cubic vertices,carries instanton one number which one. carries For computing instanton num meaning. Although the condition that we will show inBut section let 4 us first that demonstratefirst-quantized the the procedure operation equivalence described of of in our “parity” [5]. string excha fiel 3.4 Equivalence with first-quantized prescription To define string Feynman diagramsstring using field. the action Since of (3.23), JHEP04(2004)056 to p ) and F (3.24) b . However, ! satisfies the d . is the ground i 0 )! p i | d 2)! 0 d first-quantized | − − ure-violation dif- 2 N n> − ( N action of (3.23), one ( ), and where cu i served. Since the cubic ), the intermediate state l states are on-shell, the ( (which only includes the -point tree amplitudes of 0 d . ctral flow operator ee amplitudes, the picture | ∂ states in diagrams ( . p ering amplitudes since pic- ! N y figure 4, and put all exter- which are instanton number d − d prescription, functional in- ifference between string field e-violation zero. And in the icture of the external states. ll led when one identifies states )! I field in the BRST cohomology. =0 for is necessary for unitarity since ro and the vertex on the right d 2)! i Z − − = 0, so the BRST cohomology I p 2 | N Y i e intermediate states in all possible − ( n 0 v N | , = ( p 0 = F ), the intermediate state could be con- i ∂σ c Φ p , | n> Q 1 − ipσ . And in diagram ( n e | = ), the intermediate state must be constructed u ), the intermediate state could be constructed 1 a insertion, cubic interactions can violate picture b i = – 13 – p = ) cubic vertices carry instanton number zero and p | F d ih− i F Φ as states with “picture” p is isomorphic to the BRST cohomology constructed − | Q i . In the first case, the cubic vertex on the left has i 2 + 1 | =0 for p p +1 | | | − n i c +1 p | N where . I ih | = ) i 1 0 p 0 i | − ih p p 1 | |− 0 or from 2 | − . In analogy with the RNS superstring, we will denote states F | i − n ( 0 0 n = | b Y ih i 0 p | = = | i i or from = 0 implies that p p | | | i 1 p 0 0 − + | ih I k n n or zero. This causes a difference between string field theory an 0 Φ j | Z since otherwise one of the two cubic vertices would have pict Q | one in equation (2.7) are multiplied by the combinatoric factor 0 ih d 0 | In our string field theory action, the off-shell string field is Φ But in this twistorial string field theory, picture is not con When computing tree amplitudes using the string field theory For example, consider the four-point amplitude described b For on-shell external states, the two types of intermediate cubic vertices carry instanton number one. When all externa ) contribute equally. So the string field theory computation , one gets contributions when ( c other ground states computations which cancels the combinatoric factor constructed from the ground state from the ground state constructed from the ground state d from Note that state defined in (3.2). This ground state is related by the spe as will now bewhich explained, are this related by combinatoric the factor spectral is flow cancel operator. only includes intermediate stateseach in physical the state zero should be picture. representedBut by This when a computing unique tree string amplitudestegration over using the the worldsheet first-quantize variables allowspictures. all possibl For tree amplitudestheory in and the first-quantized RNS computations superstring,ture has in this no the d effect RNS formalism onof is scatt the a intermediate conserved quantity. states So is in completely RNS determined tr by thevertex p of degree one involves an explicit by either nal states in the zero picture. In diagram ( conditions degree d either from choice of which cubic verticesone are is instanton irrelevant. number zero Naively, and this would imply that the on-she ferent from zero or one. But in diagram ( picture-violation one and thesecond vertex case, on the the vertexhas right on picture-violation has the one. pictur left has Similarly, in picture-violation diagram ze ( ( must be constructed from structed either from JHEP04(2004)056 ˙ a e λ , we (4.1) a λ and a λ . One can ! # , d k # spinor − )! cancel for any k d 2)! A + − − 4 2 A roduces the first- N − (  4 n of the zero modes 1 × N  ( π ) 1 ˙ 1 A A λ ¯ f the spinors ˙ π 1 s desired, this factor of ψ ¯ ψ A λ A ¯ al twistor space. We can th. Nevertheless, parity is ¯ ψ and negative helicities are ψ  actor ams correspond to physical + ures are represented by the  and it should be possible to ˙ + a the number of ways that the hree-point amplitudes repro- r transform of the vertex op- lways equal to the number of ies are described by curves of µ ermore, it should be possible tor coordinates. For example, k + undamental representations of ˙ a er-point tree amplitudes. This ansform is + ¯ λ k sm is that the (left-right) parity e that the string theory correctly ) helicities require us to consider + − A a " − A λ 2 a " µ − 2 (¯ ) i − 1 ) ˙ π 1 ψ e ( π 4 (¯  d 1 µ  π 2 ˙ ˙ 1 a d – 14 – ¯ π ¯ π a ) of (4.1), one sees that performing a parity trans- λ ˙ a 1 2 π λ µ Y d ˙ 1 a ( i ¯ ¯ λ µ e  V i Z  . This is consistent with superconformal transformations exp I )= Y  exp Z ( 2 1  π π V ˙ ˙ 1 2 I with ¯ ¯ π π − Z I I 1 2 − ). iY Z λ λ ˙ ˙ A 2 1 ) of (2.12) with ¯  ¯ ¯ λ λ ψ Z e , Z δ 8 ˙ (  a k d ¯ j λ δ -point super-Yang-Mills tree amplitudes. V , k a j Z × N = 1 vertices can be distributed. So the combinatoric factors µ = ) must be Fourier-transformed. Had we transformed the other d ˙ a ) = = (¯ 4). Although the Fourier transformation acts on the functio e λ | Y I 2 ( Y , contribution) is half of the first-quantized computation. A e V | So using the string Feynman diagrams in Siegel gauge, one rep When the amplitudes are converted to the twistor space, one o Comparing 0 = 0 and ih 0 number of external states. quantized prescription of (2.7)to show for that tree the amplitudes.states poles and in Furth are the twistorial consistentduce string the with correct Feynman unitarity. diagr cubic interactions,computes Since this the the is strong string evidenc t 4. Parity symmetry One of the characteristic propertiessymmetry of is the not twistor manifest.interchanged. formali Under While this the amplitudes symmetry,a the with small positive mostly degree, (+) the helicit “googly” amplitudes with mostly ( curves of a large degreean which exact are symmetry much more of difficultprove the to this super-Yang-Mills deal symmetry theory wi explicitly. S-matrix, formation on the stateserator is which equivalent switches to performing a Fourie half cancels the factor of two coming from the combinatoric f | where since the parity operationPSU(2 exchanges fundamental and antif easily check that ais similar because cancellation the occurs numberways for of that choices all the for high vertices intermediate cand states violate is picture, a which is equal to (usually would have obtained thecheck googly that description the in externalFourier terms wavefunctions transform of in over the all these bosonic du for two the dual as Yang-Mills well pict vertex as operator fermionic of twis (2.12), the Fourier tr JHEP04(2004)056 I I 2) Y Z and − (4.2) (4.4) d I and Z − I N 7), this is ( Z )) (4.3) 1) positive- r z ge of − ( d Z vertex operators ( − V now has conformal ). I N N 2 d I + 1 negative-helicity Z )) of (2.12) on a disk Y I d − r ) has conformal weight , iY z I ( 2 d mplitudes can be under- Z omplete interchange of Z e ,Z ( 8 ty transformations, we need I ory action, it will be useful ted with d V ory action. Y e precise how the (2.7) is invariant under parity n function of vertex operators tive helicities and also switches Z ) ) can be used as a substitute for r n and Warren Siegel on parity symmetry i z ( Φ | c icu where ( , . These two computations are related ) I − N σ QP Y ( † )) = I − r )(1 P Y | z d ( Y Φ ( h vertex operators Z 8 ↔ ( δ – 15 – = . V N ) -point amplitude involving i ) i = σ r Φ )) defined in (4.1). And since ( N Φ | z r | I 2) curves in ( F + 1 negative-helicity gluons and ( ) has conformal weight (1 + z c Q ( Z I d | − )) Z Φ r d ( ,Z h z , or equivalently, using the correlation function of vertex I ( I V − I Y ) Y Z r Y ( N z 8 ( δ c where ( 1) positive-helicity gluons. Using the prescription of (2. )) = r d 2, the integration over zero modes involves curves of degree z curves in − / ( d d Z 2) as the parity operator that is responsible for the interchan . Suppose one has an ( 4 − − V P ) and degree ( ). But d ) d -point amplitude with )) on a disk of instanton number r N Y is the parity transform of − − r 2 ( z N . ( z i N e V I ( c N , ) Φ ( | Z Z r ( N − z P 2 ( − V , the stringy completion of this operation will involve the c d . ) ) and degree F I So the Since the spectral flow operator It will now be shown that this parity invariance of on-shell a I r This demonstration was inspired by comments of Edward Witte with Z Y z 4 Z . To prove that the kinetic term (3.6) is invariant under pari ( ( I I gluons and ( computed by the correlation function of in variables are interchanged. 4.1 Parity symmetry of on-shell amplitudes Before discussing the parityto symmetry demonstrate of that the thetransformations on-shell string amplitude field prescription the of weight in twistor calculations. of including the oscillators. In subsection 4.2, we will be mor is the Fourier-transform of of instanton number helicity gluons can beV computed either using the correlatio operators stood as coming from parity invariance of the4.2 string Off-shell field the parity: the kineticLet term us denote Y by a parity transformation which switches positive and nega and its canonical momentum where Y instanton number, this amplitude can be equivalently compu F to show that (1 + JHEP04(2004)056 at IJ ma- P (4.5) (4.8) (4.9) = 0 cubic ly derived d ) transforms i Φ . ) i∗| ), the z i ) (4.6) , Φ ( ) (4.7) | z ) Φ . So we need to show ( z ( z | ( 1 ∂u J To be a unitary trans- ( i ubic terms is invariant, Φ − ) J . Z h , i ∗ | − ∂J , P w Z I K ) ) ) e OPEs of the operators Φ ( IJ δ | − z z 2 by changing its background IJ = P ( ( ( ) Φ = c P b † P z w trated at the midpoint, so the = cu∂v ( P = = = T JK i ∗ | P + ) ) P P P P = z w ) ) ) which implies that the matrix ( ( IJ z z z , depends in a simple manner on the I P 1 ( ( ( i J cb∂c P Y ) ) c b I Φ 1 Z z 1 1 | = 0 cubic term Y + w ( − 1 − − ( 2) Q . d T 2 − P P 1 π/ vJ Φ = ( P were equal to − with , i I inσ ) )+ i ∗ | Φ , i.e. e Y , P z ) QP | , so the kinetic term of (3.6) is parity-symmetric. indices are bosonic/fermionic. C – 16 – ( 1 ) P w T P Q , z ) in the worldsheet action only contributes at the − ( ∂c ( ) 1 z IJ , P + i→ P = J z ( ) i ∗ ) Φ ( , , we shall define Y | z T R , J ) Φ I w )+ ( ( ) | ) ( z IJ Y z c z J Z QP 2 ( z ( ( P ( 1 P ( . So to commute with IJ v u z − Φ k I − d P j − − = zσ = P 2 with ∂Z i ∗ | Z d = = = = P ) I P ) I ) is a unitary transformation. By defining the parity transfor Y R = z w Y P P P P z ). So if = 1 terms in (3.23) get interchanged. To see this, first note th ( ( ) ) ) ) ( n i I 1 P = Q z z z z d J Φ ( ( ( ( Φ Z 1 | . If one twists the conformal weight of | T I k 1 is the shift in the background charge. Equation (4.9) is easi v u − j 1 w P 1 are constant matrices satisfying − Z 1 n − P − 1 ), so P − − IJ P i ∗ and P P P P Φ I and | must preserve the OPE’s of Z P will be defined to be a unitary transformation, I iσ ( e and P Y 1 P , b, c, u, v = 0 and the − k = = should exchange IJ d P | , j J P w P I Φ h Since Under the parity transformation of (4.8), the One can check that ,Y I Z where Since formation, that the BRST operator commutes with One can verify( that the transformations of (4.8) preserve th is antisymmetric/symmetric when the midpoint. tion as in (4.8), one finds that into 4.3 Off-shell parity: the cubicWhat terms about the cubic terms?but We the will see that the sum of the two c charge, one finds that [25] where from the fact that allexponential curvature of in the the term cubic vertex is concen where one should define the star product of two string fields, conformal weight of JHEP04(2004)056 ) i , it Φ T (4.12) (4.10) (4.11) i ∗ | Φ | 2)( π/ ( . = 1 term couples } F  | d i rigin of the parity , P Φ Φ ) h cubic terms. One of )) i z interchanged. It agrees σ Φ ( u∂v , 2 i ∗ | ∂ Φ ∂u | i ∗ | orial open string. The ac- )+ . − the upcoming papers of [10] − g field theory calculation of  t heir star product. Defining Φ bc ) | able to increase the degree of t would be interesting to see  ) 2 π ( ( i z n problems: z o ( ∂ = 0 cubic vertex.  ( )  Φ b i ) transforms into T d 2 π ( + i F  Φ 1 |   2 Φ π i ∗ | − P  P F Φ b∂c )) = | | 1 ) helicities while the i ∗ | Φ  + i ∗ − cu images of each other. h Q, P − Φ ( )= 2 π | Φ F { C i | ∂ ) is =  P T i Φ 2) = 1, one finds that P = = 2)( − (  F Φ + = 4 super-Yang-Mills amplitudes transformed i } I does not commute with the stress tensor π/ P   π/ I ( Φ i ∗ | ( P Z 2 – 17 – π  N ) P P I i ∗ | F Φ F 2 | z  π ∂Z | Y  Φ ( I ( 2) i ∗ | |  2) b Φ 2 F π ( Y ∂ 1 h | Φ 1 | π/ π/ F  − ( − Φ ( 1 − =  h 1 iσ F − ) P } 2 | π − e 1 z ) ( P ( −  Φ z F Q, P h ( P { T P F | ) under parity, which is the =  Φ i = = h Q, b i Φ P { P Φ 1 ). | ) − . Since = 0 term couples the (++ z ) P cu i ∗ | ( z P )= d ( ( | Φ z T ∂ = 1 cubic vertex | ( i ∗ iσ Φ 1 ( h | d − − T − Φ | e Φ I P h P Z = 1 cubic term. I ) = d Y z ( = 1 +) helicities, and these two cases are − F ∂σ −− Moreover, our string field theory sheds some new light on the o This is exactly what we want: the two cubic terms in (3.23) are Similarly, the So the background charge is shifted, which means that symmetry that seems non-trivialwhether in our explanation the of twistor parityand variables. symmetry [11]. can I be We would related like to to list several other interesting ope into twistor space. tion has a quadraticthese cubic term, terms based contains on thethe spectral the curve flow BRST represented operator by operator, thatscattering the is amplitudes and seems worldsheet, two to and reproduce the usual strin 5. Conclusions and outlook We have described the string field theory version of the twist the ( with the fact that the But one can easily check from the transformation of (4.8) tha term would be invariant. However, since where changes the conformal weights of the variables and modifies t which is the transforms into under a parity transformation. Using (4.12), this is equal t Therefore, the parity transform of one finds that where JHEP04(2004)056 n . 200 (1986) in prin- = 4 su- 56 N = 28 current al- non-perturbative c Phys. Rept. hep-th/0312171 , , approaches. Admit- formal supergravity. e d closed string poles. s fields are necessarily y action. Since Yang- l in [27]. to relate our action to ng sector. The question een shown to reproduce rious nclear how to reproduce tudes. There are several triguing, but do not yet rant DE-FG01-91ER40654 trivial in conformal field r string field theory ac- t is off-shell in the usual al superspace actions for Phys. Rev. Lett. eful discussions. N.B. would , nal since there is no natural e, Warren Siegel, Andrew Stro- nd Fapesp grant 99/12763-0 for and Harvard University for their = 4 super-Yang-Mills amplitudes, which has it remains to be seen whether the prescriptions N – 18 – Multiparton amplitudes in gauge theories a twistor-related field theory prescription, based purely o our field theory action provides a manifestly An amplitude for n gluon scattering although we have only investigated tree amplitudes, one can Perturbative gauge theory as a string theory in twistor spac = 4 super-Yang-Mills, perhaps by including couplings to con ciple use our string fieldnew theory action features to which compute are loopHopefully, expected ampli these to new arise features such will as help anomalies to an explain the myste gebra and the role ofof conformal infrared supergravity divergences in must the alsotheories open be since stri addressed, they which are is coupled non at allOff-shell distance and scales. nonperturbative physics: Minkowski space andphysics, whether for the example the twistor S-duality. space “knows” about based on twistor variables can be generalized to physics tha Loop diagrams: been a longstanding open problem using standard superspace tedly, our solution of this problemway is to highly take non-conventio the theorycoupled off-shell to and conformal since the supergravitytion super-Yang-Mill may fields. give some Nevertheless, usefulN ou clues for constructing convention persymmetric method for computing Field theory prescriptions: degree-one curves connected by aYang-Mills propagator, tree has amplitudes recently [26]. b understand We view how these to results relate asMills this states in cannot prescription be to takenthe off-shell our propagators in field our of formalism, theor [26]. itthe is spinor A u helicity similar methods difficulty developed arises by Chalmers in and trying Siege Supersymmetric actions: (1991) 301. 2459. • • • • [1] E. Witten, [3] M.L. Mangano and S.J. Parke, [2] S.J. Parke and T.R. Taylor, Acknowledgments We are grateful to Michal Fabinger, Sergei Gukov, Andrew Neitzk minger, Cumrun Vafa, Anastasia Volovich,like and Edward to Witten thank for CNPq us grantpartial 300256/94-9, financial Pronex support, 66.2002/1998-9, andhospitality. a the The Institute work for of L.M. Advancedand was Study the supported Harvard in Society part of by Fellows. Harvard DOE g References JHEP04(2004)056 , , B , , , from Phys. . , Phys. , , twistor , ]. . (1988) 215. (1986) 253. Ann. Rev. , =2 . Nucl. Phys. Int. J. Mod. N , , (1986) 291. B 214 . of moduli space B 268 g the string hep-th/0402128 super-Yang-Mills , B 276 s superstring field theory 2) hep-th/0111129 , hep-th/0403192 ]. =4 (2 ]. , Phys. Lett. N , hep-th/9205075 Nucl. Phys. ]. , , hep-th/0403199 , Nucl. Phys. (2003) 403 [ , 6 Yang-Mills Ghost structure and closed strings in ]. hep-th/9208035 hep-ph/9801220 ]. Modular invariance in string field theory =4 hep-th/0402016 N ]. On the tree-level s-matrix of Yang-Mills theory A googly amplitude from the b-model in twistor – 19 – Progress in one-loop QCD computations MHV vertices and tree amplitudes in gauge theory worldsheet instantons yield cubic self-dual Yang-Mills (1993) 77 [ Conformal geometry and string field theory Anomalies in Witten’s field theory of the nsr string =2 (1999) 045013 [ (2004) 012 [ hep-ph/9602280 strings and the twistorial Calabi-Yau Path-integral quantization of the N B 395 hep-th/9704076 04 Simplifying algebra in Feynman graphs, II. Spinor helicity All googly amplitudes from the B-model in twistor space (1991) 193. =2 Adv. Theor. Math. Phys. Mirror symmetry and supermanifolds D 59 , hep-th/9612218 string is selfdual N 142 (1996) 109 [ (1989) 209. (1997) 49 [ = 2(4) Nucl. Phys. . . . . 46 , N Phys. Rev. Calculation of Green-Schwarz superstring amplitudes usin An alternative string theory in twistor space for A proof that Witten’s open string theory gives a single cover , (1986) 362. (1988) 299. (1997) 4933 [ B 314 B 405 Noncommutative geometry and string field theory Parity invariance for strings in twistor space Interacting field theory of open superstrings Scattering amplitudes and contact interactions in Witten’ The A current algebra for some gauge theory amplitudes J. High Energy Phys. A 12 B 176 B 212 , (1986) 91. Commun. Math. Phys. 278 Lett. string formalism hep-th/0402121 hep-th/0403190 Phys. space Phys. Lett. hep-th/0402045 Nucl. Part. Sci. Nucl. Phys. Lett. hep-th/0403047 the spacecone vacuum string field theory [8] R. Roiban, M. Spradlin and A. Volovich, [9] A. Neitzke and C. Vafa, [7] R. Roiban and A. Volovich, [5] N. Berkovits, [4] Z. Bern, L.J. Dixon and D.A. Kosower, [6] R. Roiban, M. Spradlin and A. Volovich, [15] V.P. Nair, [16] E. Witten, private communication. [17] E. Witten, [13] S.B. Giddings, E.J. Martinec and E. Witten, [12] S.B. Giddings and E.J. Martinec, [14] B. Zwiebach, [18] W. Siegel, [19] N. Berkovits, [11] M. Aganagic and C. Vafa, [20] J. Bischoff and O. Lechtenfeld, [10] E. Witten, [21] O. Lechtenfeld and W. Siegel, [22] C. Wendt, [23] I.Y. Arefeva and P.B. Medvedev, [24] E. Witten, [26] F. Cachazo, P. Svrcek and E. Witten, [27] G. Chalmers and W. Siegel, [25] D. Gaiotto, L. Rastelli, A. Sen and B. Zwiebach,