key: cord-0530713-n9sh9514 authors: Kashyap, Sitender Pratap title: Two-Point Superstring Tree Amplitudes Using the Pure Spinor Formalism date: 2020-12-07 journal: nan DOI: nan sha: f9c7a4b113f3f1ff4e94028ea8559bbe836051aa doc_id: 530713 cord_uid: n9sh9514 We show that the 2 point tree amplitudes in the pure spinor formalism are finite and equal to the corresponding expression in the field theories. In [arXiv:1906.06051v1-arXiv:1909.03672v3], same results were presented for bosonic strings and it was mentioned they can be generalized to superstrings. The pure spinor formalism is a successfull super-Poincare covariant approach to quantizing superstrings [arXiv:hep-th/0001035v2]. Because the pure spinor formalism is equivalent to other superstring formalisms, we explicitly verify the above claim. We introduce a mostly BRST exact operator in order to achieve this. The two point bosonic string amplitudes in flat spacetime have been shown to be equal to the corresponding free particle expression in the quantum field theories [1, 2] . We anticipate the same to be true in the pure spinor formalism of superstrings [3] . Two point amplitudes in the bosonic strings are of the form N ∞ , where N is the supposed finite result of direct path integral excluding the volume of unfixed CKV which is ∞. Thus, these amplitudes were for a very long time assumed to vanish. This conclusion is alright so long as N is finite. In [1] it was noticed for the first time that N is also ∞ and hence we need to make sense of an expression of the form ∞ ∞ . It was further shown that this expression is finite and gives rise to the expected two point amplitudes. It was also mentioned that same arguments can be applied to RNS superstrings. In [2] same was repeated using the operator formalism for the bosonic strings. In the operator formalism unless three or more vertex operators are inserted, the amplitude vanishes because of the non-saturation of ghost number [4] . To get a finite result, the authors make us of a mostly BRST exact operator and were able to obtain the desired two point result. We also follow this approach of introducing a mostly BRST exact operator. Similar operators have been used earlier but in a different context in [5] . Before moving on, let us explain what we mean by the term mostly BRST-exact. We shall make use of an operator given by The integrand of the above operator for q = 0 can be written as [Q, ] and at q = 0 is simply given by (λγ 0 θ). This is why it is called mostly BRST exact (see equation (21) for explicit form). Note that V 0 makes explicit use of space-time index. Thus, we must check for Lorentz invariance of the amplitude upon its insertion in the corresponding correlation function. It is important to ensure that insertion of V 0 does not alter the various symmetries of the amplitudes namely -super-Poincare and conformal invariance. In appendix C we explicitly check that these symmetries are preserved 1 . Given this we shall freely use the consequences of these symmetries for making some general conclusions as we move along. It might appear ad-hoc why to insert another operator when computing two point amplitudes. Let us try to make sense of this in the bosonic strings. For this recall that an n−particle S-matrix is given by [4] S j 1 ···jn (k 1 , · · · , k n ) = compact topologies Upon carrying out a Fadeev-Popov gauge fixing, the S-matrix at the tree level becomes The above two equations have been taken ipsis litteris from [4] and hence all the symbols mean exactly same. Notice that in going from (2) to (3) the crucial thing that has happened is that the V diff×Weyl in the denominator in (2) has disappeared and c a have appeared in (3) . Further note that c a have appeared by fixing positions of κ of the vertex operators, with κ being the number of conformal killing vectors (CKV) . Notice that f denotes the set of vertex operator coordinates in (2) that fix all of the CKVs. At genus zero there are 3 CKVs. So, the above formula can be applied only to amplitudes involving 3 or more vertex operators. A naive application of the above to two point amplitude will give a zero result as the c ghost zero modes won't get saturated. Also, we must now keep in mind that such amplitudes are not genuine two point functions in string theory. Thus, we need to add something extra into the naive two point amplitude to mimic the complete CKV fixing and getting rid of the infinite gauge volume in the denominator. Having thus argued that we must add some addtional operators to get the correct two point amplitudes, the question that we need to address now is -what are these extra operators? On carrying out the Faddeev-Popov procedure carefully, we will get in a transparent way what these operators are. After following such a procedure, whatever we get must be the answer for string theories. It is in this way that [1] were able to clearly provide the evidence for non-zero two point amplitudes. There are however various formulations of string theories. The internal consistencies now require that we get non-zero two point function in each one of these formulations. As we mentioned earlier, in [2] the same issue was solved in the operator formalism. In the operator formalism, there is now a new prescription for two point amplitudes to get the desired answer. The aim of this paper is to do the same in the pure spinor formalism. [1, 2] used bosonic strings to show the non-triviality of the two point amplitudes, they mentioned that the same can be generalized to superstrings. The pure spinor formalism is one of the various equivalent formulations 1 Upto BRST exact terms, which give vanishing contribution. of superstrings. Consequently the result of this paper directly provides a proof of the claim of [1, 2] in superstrings. Rest of the paper is organized as follows. In section 2 we first address why the two point amplitudes in the pure spinor formalism vanish on naive use of the standard prescription, then we introduce the mostly BRST operator and show that its use gives rise to the expected two point result. We end with a discussion in 3 and defer some of details and computations to the appendices. In this section we begin by addressing the problem with two point amplitudes in the pure spinor formalism. We shall consider open strings for simplicity as the generalization to other string theories is straightforward -we shall make some comments on this in the discussion section 3. The amplitude is given by [3] where, V are the unintegrated vertex operators and U are the integrated vertex operators. We shall not present details of the pure spinor formalism here, but, mention important ingredients as we need them (see [6, 7, 8, 9] for detailed reviews). We shall be concerned only with the unintegrated vertex operators which we take to be in the plane wave basis. They are given by where, O α are conformal weight n fields constructed out of the world-sheet fields Π m , d α , ∂θ a , N mn , J with n denoting the excited level of the string and Q denotes the BRST charge given by dz (λ a d α ) (z). Also, note that the e ik.X cancels the conformal weight of O α so that V has zero conformal weight. We should note that there is so far no analog of (2) in the pure spinor formalism which when gauge fixed gives (4) 2 . This amplitude prescription is written in analogy with (2) . A justification for such a step relies on the fact that the pure spinor formalism in its non-minimal version is N = 2 topological strings [11] whose amplitude prescription is same as that of the bosonic strings. By now we should be able to see that a direct use of (4) to n = 2 is not a genuine two point amplitude. To get the correct two point amplitude we must insert some additional operator, just like bosonic string case argued previously. In order to find a cure let us look into some technical details of the pure spinor formalism. All the non-trivial amplitudes in the pure spinor formalism can be brought to a form where there are three λ and five θ zero modes in the corresponding correlator. We choose to normalize all the amplitudes with respect to the following correlator 3 For n = 2, a naive application of (4) gives From the above equation it is clear that there are only two λ present and the amplitude vanishes -in fact any amplitude with less than three unintegrated vertex operator vanishes. This suggests that the extra piece that we need must have one λ α . In the following we introduce an operator that allows us to compute the expected two point amplitude. Let us begin by calculating the following amplitude where, V 0 is the operator introduced in (1) which we fix at z, while V 1 and V 2 are the unintegrated vertex operators (fixed at z 1 and z 2 respectively). On substituting the form of V i given in (5), we can factor the amplitude as where, we use the notation · · · as a shorthand to denote that the necessary OPE have been taken among the operators inside the bracket. We have taken the momentum k 1 to be incoming and k 2 to be outgoing. The Koba-Nielsen factor of the above equation reduces to On substituting the above result in (9), we find From the energy delta function we have q = k 0 1 − k 0 2 = k 2 1 + m 2 1 − k 2 2 + m 2 2 . We assume that the on-shell condition is satisfied by the vertex operators V 1 and V 2 i.e. k 0 i = k 2 i + m 2 i , for i = 1, 2. In the case where V 1 and V 2 represent vertex operators of strings with equal masses i.e. m 2 1 = m 2 2 = m 2 , then q = 0 because of the space Dirac-delta function. In this case on performing the q integral we get, Let us next consider the case when the masses are unequal. This means q = 0 and the integrand of V 0 is BRST exact (see the appendix A). In this case we could have at the very beginning of the computation substituted the said non-zero value of q in the e iqX 0 and replaced the expression (λγ 0 θ)e iqX 0 with a BRST exact piece (see 21). Consequently for m 2 1 = m 2 2 the amplitude vanishes on the account that QV 1 = 0, QV 2 = 0. Hence, we can combine both cases by writing We see that there is a factor of |z 12 | −2αm 2 1 , so it appears things might not be well. However, there is an additional factor of pure spinor superspace present namely (λγ 0 θ)V 1 (z 1 )V 2 (z 2 ) . Recall that at n th level of superstring we have (mass) 2 = n α and also that the conformal dimensions ofV i for i = 1, 2 are n. Note that (λγ 0 θ) has conformal weight zero. Thus, upon using the standard result of a three point function in a CFT, we find which, cancels the coordinate dependence coming from the Koba-Nielsen factor. Thus, the amplitude is coordinate invariant. Let us now compare the result we have found to the answer we have in field theory (in D dimensions), where Our answer in (13) doesn't seem to have any k 0 . We argue that it is present and comes from · · · . To see this note that we must have i.e. the above correlator must at the end be expressible in terms of polarizations i and momentum k of the state represented by vertex operators V 1 and V 2 . Also, note that on the r.h.s, we must have a 0 index (indicated by f 0 ). Since our theory is supersymmetric, giving the argument for purely bosonic states is sufficient. The bosonic states will have their polarizations given by Lorentz vector indices. Further note that polarizations satisfy k m m··· i = 0. Now, suppose that 0 index is supplied by 1 . Then for non-zero answer, can contract rest of the indices of 1 with only 2 . But, this leaves a free index on 2 which must be contracted by k, giving a vanishing contribution. Thus, there is a uniqure choice -the polarization tensors contract among themselves and 0 index is supplied by k 0 . In appendix B we explicitly verify this for all states at massless level. Thus, we find 4 where, we have used j and j in δ jj to distinguish between states with degenerate masses like gluon and gluino. Hence, the final result is upto a proportionality constant. In appendix B we explicitly verify the above result for some amplitudes. Thus, the two point amplitudes in the pure spinor formalism using operator V 0 behave as is expected. The non-vanishing of two point amplitudes is required for various consistencies -see [12] for a discussion. We showed that by making use of an additional set of mostly BRST-exact states we can get non-zero two point tree amplitudes in the pure spinor formalism in open strings. Generalization to the closed strings is straight-forward in the pure spinor formalism. For the closed strings, we just need to add a right sector of what we have done so far. Generalization to Heterotic strings can be done by a hybrid of [1, 2] and what we did above. For the supersymmetric sector we use pure spinor prescription presented in this work and augment it with the derivation of the bosonic sector as in [1, 2] . To conclude we essentially have defined what we mean by a two point amplitude in the pure spinor formalism. We do not however know from a fundamental point of view why the additional vertex operator is of this form 5 . Nonetheless, it is easy to explain the role of the various ingredients that went into V 0 . The integral over q along with the choice of X 0 helped get rid of the energy delta function. The insertion of an extra λ unarguably is a must. This insertion of λ must appear as a worldsheet scalar -this essentially leaves us with a unique choice of contraction with θ with a γ matrix i.e. (λγ m θ). Also, m = 0 appears naturally once we isolate X 0 for taking care of the energy delta function. We end this work by saying that it is worth exploring for a fundamental origin of the mostly BRST exact operator we used in this work, perhaps by making use of the gauge invariant action presented in [10] (see also [13, 14] which gave important insights that lead to [10] ) . This investigation we leave for future work. Verma for providing some useful comments on the draft. I am indebted to Renann Lipinski Jusinskas for many insightful discussions at the initial stages this work. I am thankful to Institute of Physics, Bhubaneshwar for generously providing a three month extension beyond the usual term of my postdoctoral tenure, during the pandemic due to CoVid-19. A V 0 as a mostly BRST exact operator In this appendix we show that the V 0 introduced in the main body is a mostly BRST-exact operator. Let us begin by noticing where, we used the standard OPE d α (z)V (w) Hence, for q = 0 we have showing that the integrand of V 0 is BRST-exact for q = 0 and thus V 0 is mostly BRST exact. In this appendix we explicitly calculate the two point massless open superstring amplitudes (on a disk) with the new prescription given equation (8) in this paper. The goal is to substantiate the claim in (17) by providing some explicit examples. For this we essentially need to compute the (λγ 0 θ)V 1V2 wherê V i = λ α A iα and show it is proportional to k 0 . For the massless case the task is trivial as everything inside the bracket is conformal weight zero and hence there are no non-trivial OPEs. Consequently we can directly use the pure spinor-superspace method to perform the computation. The relevant theta expansion is given by (we follow the notation and conventions used in [15] ) where, we have not shown the higher order θ terms as they will not be required. Also, a m represents the gluon field and χ α the gluino field. Consequently we find where, r, r and s, s denote polarizations and helicities of gluons and gluinos respectively. We made use of the following pure spinor superspace identities for performing the gluon calculation and (λγ u θ)(θγ f gh θ)(θγ jkl θ)(λγ mnpqr λ) for gluino calculation 6 . We further note that the polarizations are normalized (see for example [18] ) a m r a r m = δ rr , χ s γ 0 χ s = k 0 δ ss (26) Thus, we find that where, j, j stand for the particle species and s, s denote the corresponding polarizations. We note that we get the same relative factor in gluon and gluino amplitude as in [15] and that the gluon-gluino amplitudes vanish automatically as we expect them to. For the massive case the computations can be repeated using [15, 19] , though somewhat involved. In this appendix we verify that the insertion of V 0 does not spoil the super-Poincare and conformal invariance. First note that the expression of V 0 is not Lorentz covariant as it isolates 0th spacetime component. Superstring theory in the flat background is super-Poincare invariant. So, let us first see if 6 We acknowledge the use of [16, 17] for performing the calculations. the expression that we have arrived has this symmetry. Notice that where, δ denotes the change after application of some symmetry transformation. The vertex operators V 1 and V 2 are by definition invariant under δ and hence we only need to evaluate δV 0 . In order to facilitate the discussion, let us note that we can write V 0 as Now, we can write the variations as (on noticing that δQ = 0 ) Let us now consider all the transformations one by one. To distinguish one transformation from other, we shall provide a subscript on δ. Under translations Thus, we see that and under supersymmetry transformation Thus, we see that the amplitude is super-Poincare invariant. Finally under conformal transformations z → z + (z)z =⇒ δX m = (z)∂X m (z), we have showing that the two point amplitude is conformally invariant. Two-Point String Amplitudes Two-point String Amplitudes Revisited by Operator Formalism Super Poincare covariant quantization of the superstring String theory On the field-antifield (a)symmetry of the pure spinor superstring ICTP lectures on covariant quantization of the superstring Scattering amplitudes in open superstring theory Superstring Scattering Amplitudes with the Pure Spinor Formalism Scattering amplitudes in open superstring theory Towards the underlying gauge theory of the pure spinor superstring Pure spinor formalism as an N=2 topological string String Field Theory: A Modern Introduction Pure spinors, twistors, and emergent supersymmetry Origin of the Pure Spinor and Green-Schwarz Formalisms Amplitudes Involving Massive States Using Pure Spinor Formalism Introducing Cadabra: A Symbolic computer algebra system for field theory problems GAMMA: A Mathematica package for performing gamma matrix algebra and Fierz transformations in arbitrary dimensions Spinor Helicity and Dual Conformal Symmetry in Ten Dimensions Theta Expansion of First Massive Vertex Operator in Pure Spinor Acknowledgments: I wish to thank Biswajit Das for some discussions and Ashoke Sen and Mritunjay