Amplitudes Involving Massive States Using Pure Spinor Formalism

Same amplitudes evaluated independently using RNS and pure spinor formalism are expected to agree. While for massless states, this fact has been firmly established, for massive states such an explicit check has been lacking so far. We compute all massless-massless-massive 3-point functions in open supertrings in pure spinor formalism for the first massive states and compare them with the corresponding RNS results. We fix the normalization of the vertex operators of the massive states by comparing same set of 3-point functions for a fixed ordering in the two formalisms. Once fixed, the subsequent 3-point functions for each inequivalent ordering match exactly. This extends the explicit demonstration of equivalence of pure spinor and RNS formalism from massless states to first massive states.


Introduction
Since the turn of last century, the pure spinor formalism has emerged as a powerful alternative to the RNS and Green Schwarz formalisms for superstring theory [1][2][3]. The main advantage of the pure spinor formalism over RNS is that it maintains manifest spacetime super-Poincaré covariance at all stages. There are several general arguments demonstrating how the cohomology of the pure spinor formalism is equivalent to the cohomology of the RNS and Green Schwarz formalisms [4][5][6]. For massless states several explicit calculations of scattering amplitude in pure spinor formalism have allowed a direct comparison with the corresponding amplitude calculation in RNS formalism [7][8][9][10]. This direct comparison fixed the relative normalization between the vertex operators in PS and RNS formalism for the massless states.
In this paper we extend such explicit direct comparison for the first massive states (m 2 = 1 α ′ ) of open superstring. We explicitly compute all possible tree level 3 point functions for a fixed ordering of vertex operators in PS formalism involving 2 massless and 1 massive state and compare them directly with their RNS counterparts. The massless spectrum contains a bosonic gluon field a m (with 8 degrees of freedom) and a fermionic gluino field χ α (with 8 degrees of freedom). The first massive states include a bosonic 3 form field b mnp (with 84 degrees of freedom), a bosonic symmetric rank 2 tensor field g mn (with 44 degrees of freedom) and a fermionic spin 3 2 field ψ mα (with 128 = 84+44 degrees of freedom). The computation of the above mentioned 3 point functions in PS formalism requires the massless unintegrated vertex and its covariant θ expansion [1,[11][12][13] along with the massive unintegrated vertex and its covariant θ expansion [14,15]. While the tree level amplitude prescription in PS is straightforward, one typically encounters a large number of terms in θ expansion of massive vertex and the calculation becomes cumbersome to compute solely by hand. For this reason, the computation was done using Cadabra [16,17] and benchmarked by computing 3-point massless-massless-massless amplitudes which are already known in literature (see, e.g. [18]). For use of Cadabra in pure spinor calculations, also see [19]. The final amplitudes were computed directly using this code and compared with their corresponding RNS results. After fixing the normalization of the three massive vertex operators by comparing three correlators (for three massive states), we find that the rest of the correlators agree perfectly.
The rest of the paper is organized as follows. In section 2, we review the tree level amplitude prescription in PS. In section 3, we summarize the θ expansion procedure for massive states given in [15] and give the result for the θ expansion to the relevant order we need in this work. Section 4 gives the detailed derivation and results of 3-point amplitudes in PS formalism. In section 5, we compare our results obtained in PS formalism directly with the amplitudes computed using RNS formalism. We conclude in section 6 with some brief discussion. In appendix A, we give our conventions for the PS formalism. In appendix B, we give our conventions for the RNS calculations and summarize the results for 3-point functions in the RNS formalism. Finally, in appendix C, we give the theta expansion of the massless vertex operator in our conventions.

Tree amplitude prescription in pure spinor formalism
Both minimal as well as the non minimal pure spinor formalisms give the same amplitude prescription at tree level. In this section, we shall review this prescription [1,2]. In particular, we shall focus on 3-point functions on the disk with a specific ordering of vertex operators on the boundary. To evaluate any 3-point correlator, the knowledge of the unintegrated form of the vertex operator for external states is sufficient. All the amplitudes of interest in this paper are of the form where V 1 V 2 V 3 denotes 3-point function on the disk with a fixed ordering.
In this paper, V 1 and V 2 will be taken to be unintegrated vertex operators creating massless states (gluon or gluino) and V 3 will be the unintegrated vertex operator creating a massive state (b mnp , g mn or ψ mα ). However, we must emphasize, none of the strategy that we shall outline below is particular to this specific kind of 3-point functions. The tree-level amplitude prescription will be equally valid for any 3-point functions of open strings states (massive or massless).
Our choice of normalization of pure spinor measure is the standard one in the literature (λγ s θ)(λγ t θ)(λγ u θ)(θγ stu θ) P SS = 1 (2. 2) The process of 3-point amplitude computation can be succinctly summarized in a series of steps that is given below. • Step 1 : Assume a particular order of the vertex operator inserted on the disk and make use of the OPEs between various conformal weight 1 objects to reduce the three point function to a correlation function involving only the three superfields and three pure spinor ghost λ α coming from the three vertices. The correlation function which contains ∂θ α terms do not contribute since they always fail to have the correct number of θ zero modes to give non-zero answer as required by 2.2. Now perform the θ expansion for each of the vertex, viz. V 1 , V 2 and V 3 , explicitly. Although one can do the full θ expansion, but that is rendered redundant due to 2.2 which states that only terms involving exactly five θs can give a non-zero contribution. The relevant order of θ expansion for each of the vertex for a given amplitude can therefore be deduced from this consideration.
• Step 2 : From the product V 1 V 2 V 3 , retain only the terms which have precisely five θs as all other terms will give zero contribution trivially due to 2.2. 1 • Step 3 : Expand the physical fields appearing in various vertices in a basis of plane waves with polarizations as the coefficients Here h β 1 ...β k p 1 ...pn are the constant tensor-spinor of appropriate index structure denoting the polarizations for the physical field H β 1 ...β k p 1 ...pn (X). The correlation function V 1 V 2 V 3 at this stage factorizes completely into two separate correlation functions, one involving X m fields and the other involving pure spinor fields. These can be evaluated independently and their result can be multiplied to obtain the final answer for a given ordering. : • Step 5 : The correlators living on pure spinor superspace can be evaluated following the list of identities first derived in [8,20]. We list in appendix A.3 the subset of those identities that were needed in evaluating the 3-point functions in our case.
• Step 6 : Multiply the results obtained from step 4 and step 5 to obtain the full contribution for a given order in theta expansion of the 3 vertices.
Once the answer has been obtained for a given order, the final answer for all other inequivalent orders can be readily obtained by suitable permutation of momenta and polarization labels. Since each ordering carries different Chan-Paton factors, the full amplitude cannot be obtained by simply adding the contribution coming from different ordering before multiplying them by Chan-Paton factors. Therefore, to compare our result with the result obtained in RNS formalism, we shall directly compare each inequivalent ordering separately.
While the algorithm described above is quite straightforward in principle, the growing number of terms in θ expansion of the vertex operators implies that the cleanest way to 1 Notice that 2.2 also suggests we should retain only terms with exactly three number of λs. But this is automatically ensured by the fact that by construction all unintegrated vertex in PS formalism have ghost number 1 and therefore they each carry exactly a single factor of λ. Consequentially the product V 1 V 2 V 3 always goes as λ 3 . perform these amplitude calculations beyond a point is to employ the help of an available computer algebra system. As mentioned in the introduction, we used Cadabra [16,17] which is an open source computer algebra system developed to aid in field-theoretic computations. For our present purpose, we found Cadabra to be unparalleled in implementing the algorithm described above.

First massive vertex operator and its θ expansion
The bosonic degrees of freedom are contained in a traceless symmetric tensor g mn and a 3-form field b mnp satisfying The constraints (3.3) and (3.4) ensure that the number of independent components in the fields ψ mβ , b mnp and g mn are 128, 84 and 44 respectively. These fields form a massive spin-2 supermultiplet in 10 dimensions. In pure spinor formalism, we use the language of superspace to describe the system in a manifestly supersymmetric invariant manner. This is done by introducing three basic superfields Ψ mα , B mnp and G mn whose theta independent components are ψ mα , b mnp and g mn respectively. These basic superfields satisfy the superspace equations [15] D α G sm = 16 ∂ p (γ p(s Ψ m) ) α (3.5) and the constraints (γ m ) αβ Ψ mβ = 0 ; ∂ m Ψ mβ = 0 ; ∂ m B mnp = 0 ; ∂ m G mn = 0 ; η mn G mn = 0 (3.8) where, D α = ∂ α + γ m αβ θ β ∂ m . The equations (3.5), (3.6) and (3.7) give recursion relations to determine the complete theta expansion of the superfields B mnp , G mn and Ψ mα [15]. Before giving the theta expansion results, we note the unintegrated vertex operator for the 1st massive states of the open string which can be expressed in terms of the basic superfields as [14] where [14,15], For calculating any amplitude involving the massive states in pure spinor formalism, we shall need the theta expansion result of the above vertex operator. Clearly, the theta expansion of the basic superfields B mnp and Ψ mα automatically implies the theta expansion of the full vertex operator. For our purposes, we shall need the theta expansion results of Ψ mα upto order θ 3 and that of B αβ upto order θ 4 . We used the mathematica package GAMMA to do this computation [21]. Using equations (3.5), (3.6) and (3.7), we obtain (for details, please see [15]) Similarly, the θ expansion of the superfield B αβ is given by where, b mnp = e mnp e ik·X , e mn = e mn e ik·X , ψ mα = e mα e ik·X (3.13) Using these theta expansion results in (3.9) we get the theta expansion of the unintegrated vertex operator.

Three point functions using pure spinor formalism
In this section, we calculate the 3-point functions involving two massless and one massive state using the pure spinor formalism. In subsection 4.1, we simplify the pure spinor correlators and set up the problem at the superfield level and in subsection 4.2, we evaluate the resulting correlators.

Simplifying 3-point correlator
Since we are only interested in the 3-point functions on the disk, the location of all the vertex operators can be fixed and hence we only need to consider the unintegrated vertex operators. Thus, the correlator we need to evaluate is given by where, V b,g,ψ denotes the massive vertex operator (3.9) and V A denotes the unintegrated vertex operator of the massless states given by 2 The unintegrated vertex operators in (4.1) are fixed at some arbitrary locations x i . The SL(2, R) invariance on the disc guarantees that the 3-point function is independent of the choices of x i . Using the expressions of the unintegrated vertex operators, the desired 3-point function is given by We have suppressed the superscript 3 from the massive superfields since there is only one massive state and hence there is no chance of any confusion. We now manipulate each term of (4.3) one by one.

First Term
The first term is given by where, the superfields with tilde denote the same superfields with e ik·X factor stripped off. Thus, e.g., in the theta expansion ofB mnp , we just write the polarization tensor e mα , e mnp and e mn instead of ψ mα , b mnp and g mn respectively. We have also used the momentum conservation to write The T 1 does not contribute to any of the amplitude since it does not provide the 5 zero modes of θ α which is required for the non vanishing of pure spinor correlators.

Second Term
The 2nd term is given by To simplify this term, we use the OPE of d α with superfields to obtain In going to the last line, we have unwrapped the contour to enclose the points x 1 and x 2 . This gives a sign. A further sign comes while moving d α across A α . The signs in front of the individual terms in the last line are net effect of these sign factors. We now use equations (3.6),(3.10) and (C.76), the identity QV = α ′ 2 λ α D α V for an arbitrary superfield V and unwrap the contour of Q. After using the on-shell condition and the pure spinor fierz identity we obtain (after some simplification using the gamma matrix identities) and

Third Term
The 3rd term is given by Again, in going to the 3rd equality, we have unwrapped the contour and used the OPE between Π m and superfields. In going to the last line, we have performed the contour integration and used the momentum conservation and the identity (4.7).

Fourth Term
Finally, the 4th term is given by In going to the 3rd equality, we have unwrapped the contour and used the OPE of N mn with λ α whereas in going to the 4th equality, we have used the expression of F αmn in terms of Ψ mα as given in (3.10). We note that T 4 is exactly minus of theT 2 as given in (4.9).
Combining all the terms, we find that the total 3-point function is given by where T 2 and T 3 are given in equations (4.10) and (4.11) respectively. Below, we shall give the results for the correlators V 1 V 2 V 3 for different choices of the 2 massless and one massive external states.

Evaluation of correlators
The two terms T 2 and T 3 given in (4.13) are at the superfield level. To compute some specific 3-point function, we need to keep only the fields of interest to be non zero in the superfields. After specializing to some specific amplitude, A 3 can be evaluated using the theta expansion results given in section 3 and appendix C and the pure spinor correlators listed in appendix A.3. We use the symbolic computer programme Cadabra to do this calculation [16,17]. We now give the results for different 3-point correlators.

gluon and 1 b mnp field
For this case, we have e mnp e 1 m e 2 n (k 1 ) p This gives e mnp e 1 m e 2 n (k 1 ) p (4.14) 2 gluon and 1 g mn field For the aag amplitude, we have This gives, For the χχg amplitude, we have This gives, In this case, since all the external states are different, the two orderings aχψ and χaψ are different. We give the result for both cases. For the aχψ correlator, we have This gives On the other hand, for the χaψ correlator, we have This gives

massless fields
For comparing the pure spinor results with the corresponding RNS results, we also need the massless amplitudes. For aaa correlator, the pure spinor calculation gives the following result in our conventions aaa = i 180 (e 1 · e 2 )(e 3 · k 1 ) + (e 1 · e 3 )(e 2 · k 3 ) + (e 2 · e 3 )(e 1 · k 2 ) (4.20) On the other hand, for the aχχ correlator, we get From the explicit expression of all massless-massless-massive amplitudes obtained in this section, we observe that all such 3-point functions are symmetric under a change of cyclic order. Therefore the inclusion of Chan-Paton factors (denoted by t a , t b t c ) will make the full amplitude proportional to T r(t a , {t b , t c }). Compare this with the 3-point functions involving all massless states, which are antisymmetric under a change of cyclic order and therefore after taking into account the Chan-Paton factors, the final answer becomes proportional to T r(t a , [t b , t c ]). Another point to note is that all the amplitudes considered in this section are invariant under the gauge transformations e i → e i + k i . We now turn to comparing the RNS and PS results.

Comparing pure spinor and the RNS results
By comparing the pure spinor results given above with the corresponding RNS results given in appendix (B.2), we see that the tensor structures of the 3-point functions match perfectly.
Moreover the relative coefficients of the various terms in the correlators aag and aχψ which have more than one terms, also match exactly. This is a non trivial test. We shall now show that the overall numerical factors (i.e. normalizations) of the different 3-point functions in pure spinor and RNS are also in perfect agreement with each other.
We have denoted the overall normalization of the vertex operators in the RNS calculations relative to those in PS calculations by g a , g χ etc. (see appendix B.2). For example, if N RN S and N P S denote the normalizations of the gluon vertex operator in the RNS and PS respectively, then for the V a V a V a correlator, we have (denoting V ≡ NṼ ) From this, it is clear that only the relative normalization between RNS and PS vertex operators have any physical significance. To exploit this fact, we define N RN S = g a N P S (5.23) In our calculations, we have set the overall normalization of the PS vertex operators to be 1 and kept the relative normalization factor g a , g χ etc. to be in the RNS vertex operators.
With the above convention, the overall RNS and the pure spinor numerical factors for each correlator is given in the table 1. By comparing the RNS and pure spinor numerical factors for aaa and aχχ , we find In terms of g a and g χ , the numerical factors for aab , aag and aχψ give The above values of g b , g g and g ψ agree perfectly with the value obtained using χχb , χχg and χaψ correlators. This is a non trivial consistency check.

Discussions
In this paper we have explicitly shown the equivalence of all massless-massless-massive 3-point functions for each given ordering of vertex operators on the boundary for open superstrings computed in PS and RNS formalisms. For the massive states, the normalization factors, which are fixed, using say aab , aag and aχψ correlators, match perfectly with the χχb , χχg and χaψ correlators which establishes the consistency of the relative normalization determined in this paper and establishes firmly the equivalence between RNS and PS formalism for first massive states.
Once the vertex for open superstring is known, its extension to closed strings can be obtained in a straightforward manner by taking appropriate tensor products of left and right moving sectors [22].
To compare loop amplitudes one needs to compute the amplitude in PS formalism using integrated vertex constructed for massive states in [23]. With the relative normalization now fixed, they should match exactly with the corresponding RNS result. Also as argued in [23], the strategy behind constructing massive vertex (integrated or unintegrated) is not sensitive to mass level in question and is expected to be identical for all higher massive states. Therefore, one can reasonably expect that all 3-point functions involving higher massive states can also be directly compared with RNS results and yield a consistent set of normalizations for each mass level.
Acknowledgments: We are deeply thankful to Ashoke Sen for many insightful discussions throughout the course of this work and for useful comments on the draft. We would also like to thank Anirban Basu, Rajesh Gopakumar and Satchitananda Naik for their encouragement and comments on the draft. SPK is also thankful to the organizers of Strings 2018 held in Okinawa Institute of Science and Technology (OIST), Japan for giving him the opportunity to give a gong show on a preliminary version of this work. MV is also thankful to Institute of Theoretical Physics, Chinese Academy of Sciences, China and the OIST, Japan for hospitality while this work was in progress. This research was supported in part by the Infosys Fellowship for the senior students. We also thank the people and Government of India for their continuous support for theoretical physics.

A Some pure spinor results
In this appendix, we note some pure spinor results which are used in this work.

A.1 Pure spinor conventions
In this section, we give our conventions for the pure spinor calculations. For the tree amplitude calculations, both the minimal as well as the non minimal formalisms give the same prescription. For convenience, we shall only consider the minimal formalism. The world sheet action of the minimal formalism is given by 26) where, m = 0, 1, , · · · , 9 and α = 1, · · · , 16.
The p α and w α are the conformal weight one conjugate momenta of the conformal weight zero fields θ α and λ α respectively. The fields with upper (lower) spinor indices transform as right (left) handed Weyl spinor. The λ α satisfy the pure spinor constraint The BRST operator is defined to be Due to pure spinor constraint, the world-sheet fields can only appear in the following gauge invariant combinations 3 Any other gauge invariant combination can be expressed in terms of these objects. The ghost current is given by J = λ α w α which implies that the λ α carries the ghost number +1 and the rest of the fields carry zero ghost number.
Before proceeding ahead, we note down some important OPEs of the theory which arise frequently in calculations The coincident operators are normal ordered via where, A and B are any two operators and the contour surrounds the point z. However, we shall suppress the normal ordering symbol : : throughout this draft.
In the above OPEs, ∂ m is the derivative with respect to the spacetime coordinate X m , ∂ is the derivative with respect to the world-sheet coordinate, V denotes an arbitrary superfield. The d α and Π m denote the supersymmetric combinations The D α is the supercovariant derivative given by For calculating the scattering amplitudes, we need to know the number of zero modes of the world-sheet fields. Due to the constraints (A.27) and the gauge freedom (??), it follows that all the worlds-heet ghost sector fields, namely λ α and w α have 11 independent components. Now, it is a result from the theory of Riemann surfaces that the number of zero modes of the conformal weight one and conformal weight zero objects on a genus g Riemann surface is g and 1 respectively. Thus, the number of zero modes of λ α on a genus g Riemann surface is 11 whereas the number of zero modes of w α on a genus g Riemann surface is 11g. On the other hand, the matter sector fields θ α and p α have 16 and 16g zero modes respectively on a genus g Riemann surface. As in RNS formalism, the integration over the zero modes give divergences and we need some way to absorb these zero modes.

A.2 Hodge duality of gamma matrices in d=10
In 10 dimensions, the 16 × 16 gamma matrices satisfy the following Hodge dualities

B RNS results
In this section, we summarize the results of the 3-point functions involving two massless and one massive states computed using the RNS formalism. In subsection B.1, we state our conventions and in subsection B.2, we give the results of 3-point computations. A useful reference for this section is [24] (also see [25])

B.1 Conventions for RNS calculations
Due to the picture number anomaly on a genus g Riemann surface, a non vanishing RNS correlator must have the picture number 2g − 2. This is ensured by working with vertex operators in appropriate picture number and the insertions of appropriate number of picture changing operators (PCOs). For the 3-point functions on Riemann sphere, we can avoid the insertions of PCOs by working with vertex operators of the appropriate picture number so that the total picture number adds up to −2 (which is the picture number anomaly on Riemann sphere).
We start by writing down the vertex operators for the massless states in various picture numbers. The gluon vertex operator in the −1 and 0 picture numbers is given by The gluino vertex operator in the −1/2 picture number is given by The polarization vectors of the gluon and gluino satisfy the transversality conditions Now, we turn to the vertex operators for the first massive states [26,27]. The vertex operators for the anti-symmetric 3-form field b mnp in the picture numbers −1 and 0 are given by 2α ′ ∂X m ψ n ψ p + k q ψ q ψ m ψ n ψ p e ik·X(x) (B.46) The vertex operators for the symmetric traceless massive graviton field g mn are given by 2α ′ i∂X m i∂X n + ∂ψ m ψ n + i∂X m k p ψ p ψ n e ik·X (B.47) Finally, the vertex operators for the massive gravitino field ψ mα in the −1/2 picture number is given by This can be evaluated recursively using (B.51). We shall encounter the situation where some w ℓ may coincide with some y j . E.g., we shall need the following correlator In going to the 2nd line, we have used the definition of the normal ordering (A.29) and in going to the 3rd line, we have used (B.52) for q = 1 and n = 3.
Similarly, we also need Next, we consider the world-sheet correlators involving the ψ m fields This expression can also be evaluated recursively. In the final step, the two point function can be evaluated by using the OPE Next, we consider the ghost sector. The basic correlator involving the reparametrization ghost c(x) is given by The basic correlator involving the bosonized ghost field φ(z) is given by Finally, we consider the spin fields. The basic OPEs involving the spin fields are given by (a consistent set of these OPEs can be found in [28]) , j mn ≡ : ψ m ψ n : (B.63) Using the above OPEs, we can work out the following useful correlators which are needed in our calculations

B.2 3-point functions
We are now ready to give the results of 3-point functions of two massless and one massive field (for the computation of 3-point functions of states in leading Regge trajectory in RNS, see [29]). These are straightforward to evaluate using the vertex operators and the correlators given in the previous subsection. Hence, we just state the final results below. For our calculations, we shall take the bosonic massless and massive fields to be either in the −1 or 0 picture numbers.
On the other hand, the fermionic massless or massive fields will always be taken in the −1/2 picture. The picture numbers will be shown by a superscript on the vertex operators inside correlators. Thus, the 3-point amplitudes are given by We start by considering the 3-point functions involving all massless fields. The two possible correlators in this case are aaa and aχχ . Using the world-sheet correlators given above, these 3-point functions can be evaluated to be 2α ′ (e 1 · e 2 )(e 3 · k 1 ) + (e 1 · e 3 )(e 2 · k 3 ) + (e 2 · e 3 )(e 1 · k 2 ) (B.67) As an amplitude this vanishes on summing (k 1 ↔ k 2 ) term if the gauge group is abelian.
Similarly, the aχχ correlator can be worked out to be Again, for the abelian gauge group, the corresponding amplitude vanishes.
Next, we consider the two massless and one massive field. We start with two gluons and Next, we consider the 3-point function of two gluons and one massive g mn field which is given by = −g 2 a g g 2α ′ η mn e 1 m e 2 n e pq k p 1 k q 1 + e 1 p e 2 q e pq + 2α ′ e 1 m e 2 q e pq k p 1 k m 2 − 2α ′ e 1 q e 2 m e pq k m 1 k p 1 (B.70) Next, we include gluino and consider the χχb and χχg correlators which can be worked out to be and, Finally, we consider the massive fermion. The two different 3-point functions with one massive fermion and two massless fields are aχψ and χaψ which are given by and, To compare the results involving the fermionic fields with the PS results, we need to first convert the RNS gamma matrix conventions into the PS gamma matrix conventions. This mainly involves setting the charge conjugation matrix to be the Kronecker delta δ α β which implies (for details, see e.g., [24,25]) and so on.

C Theta expansion of massless vertex operator
Theta expansion of the massless vertex operator is known and has been extensively used in the literature (see, e.g., [18]). However, some of our conventions (e.g., equation (A.32)) are different from the literature in which the theta expansion of massless vertex operator is used. Below, we derive the results in our convention briefly indicating the steps. We start by recalling the N = 1 SYM equations in 10 dimensions [30].

N = 1 SYM equations in 10 dimensions
In 10 dimensions, the open string massless states are described by the 10 dimensional N = 1 super Yang Mills equations. The field strengths describing the theory are given by where ∇ m ≡ ∂ m + A m , ∇ α ≡ D α + A α and D α is defined in (A.32).
The 10 dimensional Yang-Mills equations of motion follow from Using this along with the Bianchi identities, we obtain the following equations at linearized Further, the superfields A m , W α and F mn can be expressed as The pure spinor formalism gives the N = 1 SYM equations through its BRST equations of motion. To obtain the correct normalization of the superfields, we derive these equations using the BRST equation of motion QU = ∂V and match with the equations given above. At the massless level, the unintegrated vertex operator is constructed from the ghost number 1 and conformal weight 0 objects. The most general object with this property has the form V = λ α A α . Similarly, the most general integrated vertex operator has the form U = ∂θ αÃ α + Π mÃ m + d αW α + N mnF mn (C.79) Using the OPEs given in section 2, we obtain We also have, where we have used the pure spinor open string identity The BRST equation of motion gives, To match these equations with the 10 dimensional SYM equations, we rescale the fields as After this rescaling, the BRST equation gives The first 4 equations are precisely satisfied by the 10 dimensional N = 1 SYM equations given in appendix C whereas the last equation is satisfied by the pure spinor constraint. The correctly normalized vertex operators of the massless states in our conventions thus become

Theta expansion of massless superfields
Finally, we turn to the theta expansion. We shall follow the steps outlined in [13]. We shall need the following equations for doing the theta expansion Before proceeding to do the theta expansion, we need to fix a gauge. We shall choose the gauge θ α A α = 0. In this gauge choice, we have Now, multiplying by θ β in the 1st equation and by θ α in the 2nd and 3rd equations of (C.85) and using the above identity along with the gauge choice θ α A α = 0, we obtain where we have defined D ≡ θ α D α = θ α ∂ α .