J H E P 0 4 ( 2 0 1 4 ) 0 2 4 Published for SISSA by Springer Received: February 2, 2014 Accepted: March 11, 2014 Published: April 4, 2014 Covariant map between Ramond-Neveu-Schwarz and pure spinor formalisms for the superstring Nathan Berkovits ICTP South American Institute for Fundamental Research Instituto de F́ısica Teórica, UNESP - Univ. Estadual Paulista Rua Dr. Bento T. Ferraz 271, 01140-070, São Paulo, SP, Brasil E-mail: nberkovi@ift.unesp.br Abstract: A covariant map between the Ramond-Neveu-Schwarz (RNS) and pure spinor formalisms for the superstring is found which transforms the RNS and pure spinor BRST operators into each other. The key ingredient is a dynamical twisting of the ten spin-half RNS fermions into five spin-one and five spin-zero fermions using bosonic pure spinors that parameterize an SO(10)/U(5) coset. The map relates massless vertex operators in the two formalisms, and gives a new description of Ramond states which does not require spin fields. An argument is proposed for relating the amplitude prescriptions in the two formalisms. Keywords: Superstrings and Heterotic Strings, Topological Strings ArXiv ePrint: 1312.0845 Open Access, c© The Authors. Article funded by SCOAP3. doi:10.1007/JHEP04(2014)024 mailto:nberkovi@ift.unesp.br http://arxiv.org/abs/1312.0845 http://dx.doi.org/10.1007/JHEP04(2014)024 J H E P 0 4 ( 2 0 1 4 ) 0 2 4 Contents 1 Introduction 1 2 Covariant map 4 2.1 Non-minimal RNS formalism 4 2.2 Dynamical twisting 6 3 Vertex operators 10 3.1 Non-minimal RNS vertex operators 10 3.2 Relation with RNS and pure spinor vertex operators 12 4 Scattering amplitudes 13 4.1 Non-minimal RNS amplitude prescription 13 4.2 Pure spinor amplitude prescription 14 1 Introduction Although the Ramond-Neveu-Schwarz (RNS) formalism for the superstring has an elegant worldsheet description as an N=1 superconformal field theory, its spacetime description is complicated. Vertex operators for Ramond states require spin fields and it is unknown how to describe the RNS formalism in Ramond-Ramond backgrounds. Furthermore, the RNS scattering amplitude prescription requires summing over spin structures to project out states in the GSO(−) sector, and cancellations implied by spacetime supersymmetry are far from manifest. On the other hand, the pure spinor formalism for the superstring has an elegant space- time description in which vertex operators are expressed in d=10 superspace and space- time supersymmetry is manifest. However, its worldsheet description is mysterious and the pure spinor BRST operator has not yet been derived from gauge-fixing a worldsheet reparamaterization-invariant action. Constructing a map between these two superstring formalisms is an obvious way to better understand both formalisms. In light-cone gauge, the pure spinor formalism is equivalent to the light-cone Green-Schwarz (GS) formalism which was mapped in [1] to light-cone RNS. This map manifestly preserves an SU(4) subgroup of the SO(8) light-cone symmetry and transforms the eight light-cone RNS vector variables ψj into the eight light- cone GS spinor variables θa. Splitting the SO(8) vector ψj and SO(8) spinor θa as (ψJ , ψJ) and (θJ , θJ) where J = 1 to 4 is an SU(4) index, the map of [1] is obtained by bosonizing ψJ = eiσJ , ψJ = e−iσJ (1.1) – 1 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 and writing (θJ , θJ) as the spin fields θJ = eiσJ− i 2 (σ1+σ2+σ3+σ4), θJ = e−iσJ+ i 2 (σ1+σ2+σ3+σ4). Note that all (ψJ , ψJ) and (θJ , θJ) variables carry conformal weight 1 2 . To find a covariant version of this map, the first step is to enlarge the SU(4) symmetry of (1.1) to an SU(5) subgroup of the (Wick-rotated) SO(10) Lorentz group. In the “U(5) hybrid formalism” of [2], this was done by splitting the RNS SO(10) vector ψm for m = 0 to 9 into (ψA, ψA) where A = 1 to 5 is an SU(5) index, bosonizing as ψA = eiσA , ψA = e−iσA , (1.2) and constructing 5 of the 16 components of the SO(10) spinor θα and its conjugate mo- mentum pα as the spin fields θA = eiσA− i 2 (σ1+σ2+σ3+σ4+σ5)e 1 2 φ, pA = e−iσA+ i 2 (σ1+σ2+σ3+σ4+σ5)e− 1 2 φ (1.3) where φ comes from the Friedan-Martinec-Shenker bosonization [3] of the (β, γ) ghosts as βγ = ∂φ. Note that θA carries conformal weight zero as in the covariant GS formalism and its conjugate momentum pA carries conformal weight +1. However, the other 11 components of the SO(10) spinors θα and pα were absent in this U(5) hybrid formalism so SO(10) covariance was not manifest. In the pure spinor formalism for the superstring, all 16 components of θα and pα are present as well as the 11 independent components of a bosonic pure spinor λα satisfying λγmλ = 0 and its conjugate momentum wα. A map was proposed in [4] between the RNS and pure spinor formalism which combined the U(5) hybrid formalism with a “topolog- ical” sector containing (λα, wα) and the 11 remaining components of (θα, pα). However, because of the complicated bosonization formula of (1.3) used in the hybrid formalism, the map was not manifestly SO(10) covariant. Although there exists a relation at the clas- sical level between the hybrid formalism and the manifestly covariant “superembedding” formalisms [5–7], this relation has not yet been understood at the quantum level. In [8], a new approach to relating the RNS and pure spinor variables was proposed in which bosonization of the RNS ghost and matter fields is unnecessary. In this approach, one simply rescales the U(5) components (ψA, ψA) of ψm in opposite directions using the γ ghost as ΓA = γψA, ΓA = 1 γ ψA, (1.4) where ΓA and ΓA are GSO-even fermions of conformal weight 0 and 1. This “twisting” by the γ ghost was earlier used in the Calabi-Yau fermions of the d=4 hybrid formalism [9] and also appeared in the topological twisting papers of Baulieu et al. [10–13]. Although (1.4) breaks SO(10) covariance to U(5), one can recover the full SO(10) covariance by using the pure spinor λα and its complex conjugate λα to “dynamically” choose the U(5) direction of the twisting so that Γm = γ λγmγnλ 2(λλ) ψn, Γm = 1 γ λγnγmλ 2(λλ) ψn. (1.5) – 2 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 Note that Γm and Γm each have five independent components since they satisfy Γm(γmλ)α = Γm(γmλ)α = 0, and were related in [8] to five components of θα and pα. Although both the bosonization formulas of (1.3) and the twisting formulas of (1.4) and (1.5) map RNS spin-half fermions into GS-like spin-zero and spin-one fermions, the relation of the two maps is unclear. As stressed by Witten [14], bosonization formulas such as (1.3) can be ill-defined at higher genus, but this does not seem to be a problem for the twisting formulas of (1.4) and (1.5). The rigid twisting of (1.4) is related to holo- morphic d=5 super-Yang-Mills [15, 16], and it was conjectured by Nekrasov in [15] that the dynamical twisting of (1.5) replaces the topogical spectrum of holomorphic d=5 super- Yang-Mills with the d=10 superstring spectrum. Evidence for Nekrasov’s conjecture was obtained recently in [17] where the “dynamical twisting” of (1.5) was shown to simplify the expression for the composite b ghost in the pure spinor formalism. And in this paper, Nekrasov’s conjecture will be confirmed by showing that it maps the RNS and pure spinor BRST operators into each other. To use the dynamical twisting procedure of (1.5) to provide a covariant map between the RNS and pure spinor BRST operators, the first step will be to add to the usual RNS variables a topological set of “non-minimal” fermionic and bosonic spacetime spinor variables (θα, pα) and (Λα,Ωα) of conformal weight (0, 1). The BRST operator in this “non-minimal” RNS formalism will be defined as Q = QRNS + ∫ dz(Λαpα) (1.6) so that the cohomology of physical states is unchanged. After the similarity transformation Q→ e−RQeR where R = 1 2γ (Λγmθ)ψ m, (1.7) the non-minimal BRST operator of (1.6) can be surprisingly written in manifestly spacetime supersymmetric form where (xm, θα) transform as d=10 superspace variables. Furthermore, despite the presence of 1 γ in (1.7), vertex operators in the GSO(+) sector can be written in d=10 superspace and do not contain any inverse powers of γ. So Ramond states in this non-minimal RNS formalism do not require spin fields or bosonization and one can easily describe the formalism in curved Ramond-Ramond backgrounds. To perform dynamical twisting as in (1.5), one decomposes the unconstrained bosonic spinor Λα into pure spinors λα and λα by defining [18, 19] Λα = λα + 1 2(λλ) um(γmλ)α (1.8) where um is a bosonic vector with only five independent components because of the gauge invariance δum = (εγmλ). The definition of (1.8) for the unconstrained Λα might be useful for understanding the relation with “extended” versions of the pure spinor formalism such as [20–23] in which the spinor ghosts were unconstrained. After defining Γm and Γm as in (1.5), the RNS γ ghost only appears in even powers so it is convenient to define a new ghost variable γ̂ ≡ (γ)2. Since γ̂ and its conjugate momentum β̂ carry conformal weight −1 and +2, the contribution of (Γm,Γm) and (β̂, γ̂) to the conformal anomaly is −10 + 26 which is equal to the +5 + 11 contribution of the original ψm and (β, γ) variables. – 3 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 Expressing the non-minimal RNS BRST operator in terms of (Γm,Γm) and (β̂, γ̂) and decomposing Λα as in (1.8), one finds after a similarity transformation that Q = ∫ dz(λαdα + wαrα + umΓm + γ̂b) (1.9) where ∫ dz(λαdα) is the pure spinor BRST operator. So after adding non-minimal spinor variables to the RNS formalism, dynamically twisting as in (1.5), and performing various similarity transformations, the RNS BRST operator is covariantly mapped into the pure spinor BRST operator plus a set of “topological” variables which decouple from the coho- mology. Furthermore, the non-minimal RNS formalism containing both the RNS ψm vari- ables and the GS θα variables provides a natural bridge between the RNS and pure spinor formalisms which resembles the “superembedding” formalisms reviewed in [7]. Vertex op- erators in the GSO(+) sector can be expressed in d=10 superspace using the non-minimal RNS formalism, and in the gauge um = Γm = 0, they reduce to the usual pure spinor vertex operators. And in the gauge Λα = θα = 0, the vertex operators for bosons in the non-minimal RNS formalism reduce to the usual Neveu-Schwarz vertex operators of the RNS formalism in the zero picture. The covariant map can also be used to relate the scattering amplitude prescriptions in the RNS and pure spinor formalisms. Both of these formalisms contain chiral bosons, and functional integration over chiral bosons is divergent because of their non-compact zero modes. These divergences are cancelled by zeros coming from functional integration over the zero modes of chiral fermions, and a convenient BRST-invariant method for reg- ularizing the divergence is to insert a picture-changing operator for each chiral boson zero mode. Since the dynamical twisting procedure changes the (β, γ) chiral bosons of the RNS formalism to (β̂, γ̂) chiral bosons which carry different conformal weight, the number and type of picture-changing operators inserted in the RNS and pure spinor formalism are dif- ferent. Nevertheless, assuming that the dynamical twisting procedure is a consistent field redefinition at the quantum level, one expects that the different RNS and pure spinor pre- scriptions for regularizing the chiral boson zero modes should lead to the same scattering amplitude. In section 2 of this paper, the non-minimal RNS formalism is constructed and the dynamical twisting procedure is defined which covariantly maps the RNS BRST operator into the pure spinor BRST operator. In section 3, the massless vertex operators in the non-minimal RNS formalism are constructed and shown to form a bridge between the RNS and pure spinor vertex operators. And in section 4, the RNS and pure spinor scattering amplitude prescriptions are related to each other through the dynamical twisting procedure. 2 Covariant map 2.1 Non-minimal RNS formalism The usual RNS worldsheet action, stress tensor, and BRST operator are SRNS = ∫ d2z (1 2 ∂xm∂xm + 1 2 ψm∂ψm + β∂γ + b∂c ) , (2.1) – 4 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 TRNS = −1 2 ∂xm∂xm − 1 2 ψm∂ψm − β∂γ − 1 2 ∂(βγ)− b∂c− ∂(bc), (2.2) QRNS = ∫ dz(cTRNS + γψm∂xm + γ2b− bc∂c) (2.3) where the right-moving variables (ψ m , β, γ, b, c) will be ignored throughout this paper. The free field OPE’s of the left-moving RNS variables of (2.1) are ∂xm(z)∂xn(0)→ −z−2ηmn, ψm(z)ψn(0)→ z−1ηmn, (2.4) γ(z)β(0)→ z−1, c(z)b(0)→ z−1. Although only the open superstring will be discussed in this paper, all results can be easily generalized to the closed superstring by taking the “left-right product” of two open superstrings. To relate (2.1), (2.2) and (2.3) to the pure spinor worldsheet action, stress tensor, and BRST operator, the first step is to add a non-minimal set of fermionic spacetime spinor variables (θα, pα) of conformal weight (0, 1) and bosonic unconstrained spacetime spinor variables (Λα,Ωα) of conformal weight (0, 1) so that S = SRNS + ∫ d2z(pα∂θ α + Ωα∂Λα), (2.5) T = TRNS − pα∂θα − Ωα∂Λα, (2.6) Q = QRNS + ∫ dz(Λαpα), (2.7) with the free field OPE’s Λα(z)Ωβ(0)→ z−1δαβ , θα(z)pβ(0)→ z−1δαβ . (2.8) Using the usual quartet argument, the BRST cohomology is unchanged. Performing the similarity transformation O → e−ROeR on all operators O where R = ∫ dz cΩα∂θ α, (2.9) the BRST operator of (2.7) is transformed into the more conventional form Q = ∫ dz(Λαpα + cT + γψm∂xm + γ2(b+ Ωα∂θ α)− bc∂c) (2.10) where T is defined in (2.6). Since the worldsheet variables include the (θα, pα) variables of d=10 superspace, one can construct the operators [24] qα = ∫ dz ( pα + 1 2 ( ∂xm + 1 12 θγm∂θ ) (γmθ)α ) (2.11) – 5 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 which generate the d=10 spacetime supersymmetry algebra {qα, qβ} = γmαβ ∫ dz ∂xm. Al- though qα does not anticommute with the BRST operator of (2.10), one can perform the further similarity transformation O → e−R ′OeR′ where R′ = ∫ dz 1 2γ (Λγmθ)ψm, (2.12) under which the BRST operator of (2.10) transforms into the manifestly spacetime super- symmetric operator Q = ∫ dz ( Λαdα + 1 2γ (ΛγmΛ)ψm + cT + γψmΠm + γ2(b+ Ωα∂θ α)− bc∂c ) (2.13) where dα = pα − 1 2 ( ∂xm + 1 4 θγm∂θ ) (γmθ)α, Πm = ∂xm + 1 2 θγm∂θ (2.14) are the usual spacetime supersymmetric operators [24] for fermionic and bosonic momenta. Note that T of (2.6) can be written in the manifestly spacetime supersymmetric form T = −1 2 ΠmΠm − dα∂θα − Ωα∂Λα − 1 2 ψm∂ψm − β∂γ − 1 2 ∂(βγ)− b∂c− ∂(bc). (2.15) So after adding the non-minimal spinor variables and performing the similarity trans- formation of (2.12), the non-minimal RNS BRST operator and stress tensor of (2.13) and (2.15) are manifestly invariant under the spacetime supersymmetry generated by (2.11). But because of the inverse power of γ in the similarity transformation of (2.12) and in the term 1 2γ (ΛγmΛ)ψm in the BRST current, the Hilbert space of states in the non-minimal RNS formalism is no longer the usual “small” Hilbert space of the RNS formalism in which all states are polynomials in β and γ. Nevertheless, it will be shown in section 3 that all states in the GSO(+) sector of the non-minimal RNS formalism can be described in the “small” Hilbert space and that spacetime supersymmetry acts covariantly on these states. Furthermore, it will now be shown that after twisting the ten spin-half variables ψm into five spin-zero and five spin-one variables, the inverse powers of γ can be eliminated from the BRST operator and the resulting twisted version of the non-minimal RNS formalism is the pure spinor formalism. 2.2 Dynamical twisting To covariantly twist the ten ψm spin-half variables into five spin-zero and five spin-one variables, one needs to construct pure spinor variables (λα, λα) satisfying the constraints λγmλ = 0, λγmλ = 0, (2.16) whose 11 complex components (in Wick-rotated Euclidean space) parameterize the complex space SO(10) U(5) × C. In terms of the unconstrained spinor Λα, λα and λα will be defined as [18, 19] Λα = λα + 1 2(λλ) um(γmλ)α (2.17) – 6 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 where um is a bosonic vector defined up to the gauge transformation δum = εα(γmλ)α. (2.18) Note that Λα in (2.17) is unchanged under the gauge transformation δλα = ξα, δum = − 1 2(λλ) (λγmγnξ)un, δλα = 1 16(λλ)2 (λγmnγpξ)(γmnλ)αup, (2.19) where ξα is any spinor satisfying λγmξ = 0. The gauge transformations of (2.18) and (2.19) can be used to gauge-fix all 11 components of λα and 5 components of um, and the remaining 16 components of um and λα are determined by Λα. Defining wα and vm to be the conjugate momenta to λα and um, one finds that Ωα = 1 4(λλ) [(λγmn)αNmn + λα(J + 4umv m)] + (λγm)αvm (2.20) satisfies the desired OPE Λα(z)Ωβ(0)→ z−1δαβ where Nmn = 1 2 (λγmnw), J = −λαwα. Note that the gauge invariance of (2.18) implies that vm is constrained to satisfy vm(γmλ)α = 0. (2.21) To include the new variables in the formalism, first add (λα, ŵ α ) and (rα, s α) to (2.5), (2.6) and (2.13) as S = SRNS + ∫ d2z(pα∂θ α + Ωα∂Λα + ŵ α ∂λα + sα∂rα), (2.22) T = TRNS − pα∂θα − Ωα∂Λα − ŵα∂λα − sα∂rα, (2.23) Q = ∫ dz ( Λαdα + 1 2γ (ΛγmΛ)ψm + cT + γψmΠm + γ2(b+ Ωα∂θ α)− bc∂c ) (2.24) + ∫ dz(ŵ α rα + γ2sα∂λα) where ŵ α has no singular OPE’s with Λα or Ωα, and rα is the fermionic ghost coming from the gauge parameter ξα of (2.19) which is constrained to satisfy rγmλ = 0. (2.25) One can then plug into (2.22) and (2.23) the expressions of (2.17) and (2.20) for Λα and Ωα to find that S = SRNS + ∫ d2z(pα∂θ α + wα∂λ α + vm∂u m + wα∂λα + sα∂rα), (2.26) T = TRNS − pα∂θα − wα∂λα − vm∂um − wα∂λα − sα∂rα, (2.27) – 7 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 where wα has no singular OPE’s with λα or um and is defined by wα = ŵ α + 1 4(λλ)2 un[(λγmγnλ)(γmw)α − 2(wγnλ)λα − 2(λλ)vm(γmγnλ)α]. (2.28) Finally, the BRST operator can be expressed in terms of the pure spinor variables and their conjugate momenta by plugging into (2.24) the expressions of (2.17), (2.20), and (2.28) for Λα, Ωα and ŵ α to obtain Q = ∫ dz ( λαdα + wαrα + γψmΠm + cT − bc∂c (2.29) + γ̂ [ b+ sα∂λα + 1 4(λλ) ((λγmn∂θ)Nmn + (λ∂θ)(J + 4unvn)) + (λγm∂θ)vm ] + um [ 1 2γ(λλ) (λγmγnλ)ψn + 1 2(λλ) λγmd− (λγmγnpr) 8(λλ)2 Nnp + (λγmγnr) 2(λλ) vn ]) . Using the pure spinor variables (λα, λα) to covariantly choose the direction of the twisting, one can now dynamically twist the ten spin-half ψm variables to spin-zero Γm variables and spin-one Γ m variables defined by Γm = 1 2(λλ) γ(λγmγnλ)ψn, Γ m = 1 2(λλ) 1 γ (λγmγnλ)ψn, (2.30) so that ψm = γΓ m + 1 γ (λγmγnλ) 2(λλ) Γn. (2.31) Γ m will be constrained to satisfy Γ m (γmλ)α = 0, (2.32) and since ψm of (2.31) is invariant under the gauge transformation δΓm = εγmλ generated by (2.32), only half of the Γm and Γ m components are independent. After performing this twisting and expressing ψm in terms of Γm and Γ m , GSO(+) states only depend on even powers of the γ ghost. So it will be useful to define γ̂ ≡ (γ)2 (2.33) which carries conformal weight −1, and define β̂ of conformal weight +2 to be the conjugate momentum to γ̂. In terms of (Γm,Γm, γ̂, β̂), the worldsheet action and stress tensor are S = ∫ d2z ( 1 2 ∂xm∂xm + Γ m ∂Γm + β̂∂γ̂ + b∂c (2.34) + pα∂θ α + vm∂um + w′α∂λ α + w ′α∂λα + sα∂rα ) , T = −1 2 ∂xm∂xm − Γ m ∂Γm − β̂∂γ̂ − ∂(β̂γ̂)− b∂c− ∂(bc) (2.35) − pα∂θα − vm∂um − w′α∂λα − w ′α∂λα − sα∂rα, – 8 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 where β̂ = 1 2γ β + 1 2γ2 ΓmΓm, (2.36) w′α = wα − 1 4γ2(λλ) ΓmΓn[(λγmn)α + (λγmnλ) (λλ) λα], w ′α = wα − γ2 4(λλ) Γ m Γ n (λγmn)α + 1 2(λλ) ΓmΓ n (λγmγn)α, and the conjugate momenta β̂, w′α and w ′α of (2.36) have been defined to have no singular OPE’s with Γm and Γm. Note that the twisting of the ψm variables to (Γm,Γm) variables shifts their central charge contribution from +5 to −10, and is compensated by the re- placement of the (β, γ) with (β̂, γ̂) variables which shifts their central charge contribution from +11 to +26. Expressing Q of (2.29) in terms of the twisted variables of (2.30) and (2.33), one obtains Q = ∫ dz ( λαdα + w̃ ′α rα + (λγmγnλ) 2(λλ) ΠmΓn + ΓmΓn 4(λλ) [ (λγmn∂θ) + (λγmnλ) (λλ) (λ∂θ) ] + cT − bc∂c + γ̂ [ b+ Γ m Πm+ ΓmΓn 4(λλ) (λγmnr) + sα∂λα+ (λγmn∂θ) 4(λλ) N ′ mn + (λ∂θ) 4(λλ) (J ′ + 4unv n) + (λγm∂θ)vm ] + um [ Γ m + 1 2(λλ) λγmd− (λγmγnpr) 8(λλ)2 ( N ′ np + 1 γ̂ ΓnΓp )]) (2.37) where N ′mn = 1 2(λγmnw ′), J ′ = −λαw′α, and w̃ ′α ≡ w′α + 1 2(λλ) (λγmγn)α(umvn − ΓmΓn). (2.38) Since w̃ ′α of (2.38) commutes with the constraints vm(γmλ)α = 0 and Γ m (γmλ)α = 0 of (2.21) and (2.32) up to the gauge transformation δw̃ ′α = fm(λγm)α, one can easily verify that Q of (2.37) also commutes with these constraints. The BRST operator of (2.37) is closely related to the simplified form of the composite pure spinor b ghost found in [17]. The third line of (2.37) is um times the constraint in [17] for Γ m , and the second line of (2.37) contains γ̂ times the composite b ghost expressed in terms of Γ m . After applying the similarity transformation O → e−Se−ROeReS where R = ∫ dz 1 2(λλ) Γm [ λγmd− (λγmγnpr) 4(λλ) ( N ′np + 1 γ̂ ΓnΓp )] , (2.39) S = − ∫ dzγ̂vm ( Πm + (λγmγnr) 4(λλ) Γn ) , (2.37) reduces to Q = ∫ dz ( λαdα + w̃ ′α rα + γ̂ [ b−B + vm(λγm)α∂ ( Γn(γnλ)α 2(λλ) )] + umΓ m + cT − bc∂c ) (2.40) – 9 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 where B is the usual composite pure spinor b ghost (ignoring normal ordering terms) B = −sα∂λα + λα(2Πm(γmd)α −N ′mn(γmn∂θ)α − J ′∂θα) 4(λλ) (2.41) − (λγmnpr)(dγmnpd+ 24N ′mnΠp) 192(λλ)2 + (rγmnpr)(λγ md)N ′np 16(λλ)3 − (rγmnpr)(λγ pqrr)N ′mnN ′qr 128(λλ)4 . Finally, the similarity transformation O → e−UOeU where U = ∫ dzc ( B − vm(λγm)α∂ (Γn(γnλ)α 2(λλ) ) − β̂∂c ) (2.42) transforms (2.40) into Q = ∫ dz(λαdα + w̃ ′α rα + γ̂b+ umΓ m ). (2.43) Note that this last similarity transformation shifts the Virasoro b ghost to e−UbeU = b+B − vm(λγm)α∂ (Γn(γnλ)α 2(λλ) ) − β̂∂c− ∂(β̂c). (2.44) The usual quartet argument implies that the cohomology of (2.43) is independent of (um, v m), (Γm,Γ m ), (γ̂, β̂), (b, c), (λα, w̃ ′α ), and (rα, s α), so one recovers the original pure spinor BRST operator Qpure = ∫ dzλαdα. So after adding non-minimal spinors and twisting the spin-half ψm variables into spin- zero and spin-one variables, the RNS BRST operator has been covariantly mapped into the pure spinor BRST operator. In the next two sections, this covariant map will be used to relate vertex operators and scattering amplitudes in the two formalisms. 3 Vertex operators In this section, massless vertex operators in the RNS and pure spinor formalisms will be related to each other using the covariant map of the previous section. After adding the non-minimal spinor variables of (2.5) to the RNS formalism, both Neveu-Schwarz and Ramond vertex operators can be constructed in the “zero picture” without spin fields or bosonization. In this non-minimal RNS formalism, vertex operators in the GSO(+) sector can be expressed in d=10 superspace and there is no difficulty with describing Ramond- Ramond backgrounds. After dynamically twisting and gauge-fixing, these massless vertex operators in the non-minimal RNS formalism reduce to the massless vertex operators in the pure spinor formalism. 3.1 Non-minimal RNS vertex operators After adding the non-minimal spinor variables of (2.5) and performing the similarity trans- formation of (2.12), the non-minimal RNS BRST operator of (2.13) takes the manifestly spacetime supersymmetric form Q = ∫ dz ( Λαdα + 1 2γ (ΛγmΛ)ψm + cT + γψmΠm + γ2(b+ Ωα∂θ α)− bc∂c ) . (3.1) – 10 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 To construct massless open superstring vertex operators in the ghost-number one cohomol- ogy of Q, the first step will be to use the “minimal coupling” construction of Siegel [24] in which the operators [dα,Πm, ∂θ α] in Q are replaced by the d=10 super-Yang-Mills superfields [Aα(x, θ),−Am(x, θ),−Wα(x, θ)]. These superfields satisfy the on-shell con- straints [25, 26] DαAβ +DβAα = γmαβAm, DαAm − ∂mAα = (γm)αβW β, (3.2) DαW β = 1 2 (γmn)α β∂mAn = 1 4 (γmn)α βFmn, and are defined up to the gauge transformation δAα = DαΣ, δAm = ∂mΣ, (3.3) where Dα = ∂ ∂θα + 1 2(γmθ)α∂m is the d=10 supersymmetric derivative. In components, one can gauge Aα = 1 2 (γmθ)αam + 1 3 (γmθ)α(γmθ)βξ β + . . . , Am = am + (γmθ)αξ α + . . . , (3.4) Wα = ξα − 1 2 (γmnθ)α∂man + . . . , Fmn = ∂man − ∂nam + . . . , where am(x) and ξα(x) are the onshell gluon and gluino fields satisfying ∂m∂[man] = 0 and ∂m(γmξ)α = 0, and . . . denotes terms higher-order in θα which can be expressed in terms of derivatives of am and ξα. So the “minimal coupling” construction of Siegel predicts the massless vertex operator Vmin = ΛαAα(x, θ)− γψmAm(x, θ)− γ2ΩαW α(x, θ) (3.5) + c(∂θαAα(x, θ) + ΠmAm(x, θ) + dαW α(x, θ)). Using the constraints of (3.2), one finds that QVmin is nonzero and satisfies QVmin = Q [ 1 2 c ( ψmψn − 1 2 ΛγmnΩ ) Fmn(x, θ) + cγψmΩα∂mW α(x, θ) ] . (3.6) So the minimal coupling construction needs to be slightly corrected and the ghost-number one BRST-invariant vertex operator is V = ΛαAα(x, θ)− γψmAm(x, θ)− γ2ΩαW α(x, θ) (3.7) + c(∂θαAα(x, θ) + ΠmAm(x, θ) + dαW α(x, θ)) − 1 2 c ( ψmψn − 1 2 ΛγmnΩ ) Fmn(x, θ)− cγψmΩα∂mW α(x, θ). The integrated BRST-invariant vertex operator of ghost-number zero is defined in the usual manner as ∫ dzU ≡ { ∫ dzb, V }, so the integrated vertex operator is∫ dzU = ∫ dz [ ∂θαAα(x, θ) + ΠmAm(x, θ) + dαW α(x, θ) (3.8) + 1 2 ( − ψmψn + 1 2 ΛγmnΩ ) Fmn(x, θ)− γψmΩα∂mW α(x, θ) ] . – 11 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 The term 1 2(−ψmψn + 1 2ΛγmnΩ)Fmn(x, θ) in (3.8) is expected since when Fmn is constant, the integrated vertex operator should be the Lorentz generator∫ dz [ x[m∂xn] − ψmψn − 1 2 (θγmnp) + 1 2 (ΛγmnΩ) ] (3.9) where the x[m∂xn]− 1 2(θγmnp) contribution to (3.9) comes from the ∂θαAα+ΠmAm+dαW α terms in (3.8). However, the presence of the −γψmΩα∂mW α(x, θ) term in (3.8) is surprising and it would be useful to get a better understanding of this term. By adding the integrated vertex operator of (3.8) to the open superstring worldsheet action of (2.5), one can describe super-Yang-Mills backgrounds with both Neveu-Schwarz and Ramond background fields turned on. And by taking the “left-right product” of two open superstring vertex operators and adding to the closed superstring worldsheet action, one can describe d=10 supergravity backgrounds in the non-minimal RNS formalism which include Ramond-Ramond background fields. Despite the 1 γ dependence in the similarity transformation of (2.12) and in the BRST operator of (2.13), the massless super-Yang-Mills vertex operator of (3.7) has no 1 γ depen- dence and is therefore in the “small” Hilbert space. And since all massive vertex operators in the GSO(+) sector can be obtained from OPE’s of the super-Yang-Mills vertex opera- tors, all physical vertex operators in the GSO(+) sector of the non-minimal RNS formalism can be constructed in the “small” Hilbert space. On the other hand, the physical vertex operator for the Neveu-Schwarz tachyon in the non-minimal RNS formalism has 1 γ dependence and is V = e−R ′ [(γ + icψmkm)eik mxm ]eR ′ = ( γ + ic ( ψm − 1 2γ Λγmθ ) km ) eik mxm (3.10) where R′ is defined in (2.12). So it appears that vertex operators in the GSO(−) sector of the non-minimal RNS formalism cannot be constructed in the “small” Hilbert space. 3.2 Relation with RNS and pure spinor vertex operators To relate the non-minimal vertex operator of (3.7) with the minimal RNS vertex operator for the gluon, one gauges θα = Λα = 0 in (3.7) to obtain V = −γψmam(x) + c(∂xmam(x)− ψmψn∂man(x)) (3.11) which is the standard RNS gluon vertex operator. However, because there are no spin fields in the non-minimal RNS vertex operators, it is unclear how to relate the non-minimal and minimal RNS vertex operators for the gluino. To relate the non-minimal vertex operator of (3.7) with the super-Yang-Mills vertex operator in the pure spinor formalism, one gauges um = Γm = c = γ̂ = 0. In this gauge, Λα reduces to λα and the vertex operators of (3.7) and (3.8) reduce to V = λαAα(x, θ) (3.12)∫ dzU = ∫ dz [ ∂θαAα(x, θ) + ΠmAm(x, θ) + dαW α(x, θ) + 1 4 (λγmnw)Fmn(x, θ) ] – 12 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 which are the standard unintegrated and integrated super-Yang-Mills vertex operators in the pure spinor formalism. So the vertex operator of (3.7) in the non-minimal RNS formalism provides a bridge between the usual RNS and pure spinor vertex operators. Surprisingly, the non-minimal vertex operators for Ramond states do not require spin fields or bosonization, and the non-minimal vertex operators for states in the GSO(−) sector cannot be expressed in the “small” Hilbert space. It would be very useful to understand how to relate these non- minimal RNS vertex operators with the usual RNS vertex operators for Ramond states and GSO(−) states. 4 Scattering amplitudes In this section, dynamical twisting will be argued to transform the RNS amplitude pre- scription into the pure spinor amplitude prescription. So assuming that dynamical twisting is an allowable field redefinition at the quantum level, the RNS and pure spinor amplitude prescriptions are expected to be equivalent. However, it should be stressed that there are various subtleties with both the RNS and pure spinor amplitude prescriptions and the ar- gument sketched here does not address these subtleties. For example, the non-split nature of super-moduli space in the RNS formalism [27–29] makes it difficult to compute multi- llop amplitudes using picture-changing operators. And in the pure spinor formalism, the presence in multiloop amplitudes of poles when (λλ)→ 0 requires special regulators [30] which complicate the computation of higher-genus terms that are not protected by super- symmetry. In string theories with chiral bosons, functional integration over the chiral boson zero modes needs to be regularized. As long as the regularization method preserves BRST in- variance, on-shell amplitudes are expected to be independent of the regularization method. A convenient BRST-invariant method for regularizing the functional integration over chiral bosons is to insert a picture-changing operator for each chiral boson zero mode. Dynami- cal twisting modifies the structure of the chiral bosons and therefore modifies the picture- changing operators used to regularize their functional integration. By taking into account this modification coming from dynamical twisting, the RNS amplitude prescription can be related to the pure spinor amplitude prescription. 4.1 Non-minimal RNS amplitude prescription In the RNS formalism, the (β, γ) chiral bosons carry conformal weight (3 2 ,− 1 2) and therefore have (0, 2) zero modes on a genus zero surface, (1, 1) zero modes on a genus one surface, and (2g− 2, 0) zero modes on a genus g surface for g > 1. For each γ zero mode, one needs to insert a “picture-lowering” operator [3] Yγ = cδ′(γ) = c∂ξe−2φ (4.1) where γ = ηeφ and β = ∂ξe−φ. And for each β zero mode, one needs to insert a “picture- raising” operator Zβ =: δ(β)Q(β) := δ(β)(∂xmψm + . . .). (4.2) – 13 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 In the non-minimal RNS formalism, one also has the (Λα,Ωα) chiral bosons of con- formal weight (0, 1) which have (16, 16g) zero modes on a genus g surface. Using the non-minimal BRST operator of (3.1), one needs to insert for each Λα zero mode the BRST- invariant picture-lowering operator YΛα = e−Rδ(Λα)θαeR = δ(Λα)θα − δ′(Λα)cθα∂θα (4.3) where R is defined in (2.9). And one needs to insert for each Ωα zero mode the BRST- invariant picture-raising operator ZΩα =: δ(Ωα)[Q,Ωα] := δ(Ωα)(dα + . . .). (4.4) For the scattering of external gluons, one can verify that the picture-lowering and picture-raising operators of (4.3) and (4.4) absorb all the zero modes of (Λα,Ωα) and (θα, pα). Furthermore, the functional integral over the bosonic non-zero modes of (Λα,Ωα) cancels the functional integral over the fermionic non-zero modes of (θα, pα). So after performing the functional integration over the (Λα,Ωα) and (θα, pα) variables, the ampli- tude prescription for external gluon scattering coincides with the usual RNS amplitude prescription. However, for scattering involving external gluinos, the non-minimal RNS prescription is very different from the usual RNS prescription since the non-minimal Ramond vertex operators do not contain spin fields or half-integer picture. It would be fascinating to find a proof that scattering amplitudes involving external gluinos coincide in the non-minimal and minimal RNS formalisms. 4.2 Pure spinor amplitude prescription To relate the non-minimal RNS formalism with the pure spinor formalism, one needs to dynamically twist the spin-half fermions ψm into spin-zero and spin-one fermions Γm and Γ m using pure spinors (λα, λα) constructed from the unconstrained spinor Λα = λα + 1 2(λλ) um(γmλ)α of (2.17). In addition, one needs to replace the (β, γ) ghosts of conformal weight (3 2 ,− 1 2) with (β̂, γ̂) ghosts of conformal weight (2,−1) where γ̂ ≡ (γ)2. As will now be argued, the different zero mode structure of chiral bosons created by this dynamical twisting will modify the RNS scattering amplitude prescription into the pure spinor scattering amplitude prescription. So if dynamical twisting can be proven at the quantum level to be a consistent field redefinition, the scattering amplitude prescriptions in the two formalisms should be equivalent. After dynamical twisting, the chiral bosons include the pure spinor variables (λα, wα) and (λα, w α) of conformal weight (0, 1), the (um, vm) variables of conformal weight (0, 1), and the (β̂, γ̂) variables of conformal weight (2,−1). Functional integration over the zero modes of the pure spinors (λα, wα) and (λα, w α) can be performed using the standard pure spinor regulator [31] N = e−{Q,θ αλα+ ∑g I=1 wαIs α I } = e−(λαλα+θαrα+ ∑g I=1(wαIw α I +dαIs α I )+...) (4.5) – 14 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 where (wαI , w α I , s α I , dαI) for I = 1 to g are the g holomorphic zero modes of (wα, w α, sα, dα) and Q = ∫ dz(λαdα + w̃ ′α rα + umΓ m + γ̂(b−B + . . .) + cT − bc∂c) (4.6) is the BRST operator of (2.40). For each zero mode of um, one needs to insert the picture- lowering operator Yum = δ(um)Γm. (4.7) And for each zero mode of vm, one needs to insert the picture-raising operator Zvm =: δ(vm)[Q, vm] := δ(vm)Γm. (4.8) Finally, for each zero mode of γ̂, one needs to insert the picture-lowering operator Yγ̂ = δ(γ̂)c. (4.9) And for each zero mode of β̂, one needs to insert the picture-raising operator Z β̂ =: δ(β̂)[Q, β̂] := δ(β̂)(b−B + . . .) (4.10) where B is the pure spinor b ghost of (2.41). Since (β̂, γ̂) have the same conformal weight as the (b, c) Virasoro ghosts, they have the same number of zero modes on the worldsheet. To reproduce the pure spinor amplitude prescription, the picture-lowering operators Yγ̂ of (4.9) should be inserted on the uninte- grated vertex operators and the picture-raising operators Z β̂ of (4.10) should be inserted on the (3g − 3) b ghosts contracted with the Beltrami differentials. With this choice, the contribution from each unintegrated vertex operator is cδ(γ̂)(λαAα(x, θ) + . . .) and the contribution from each of the (3g − 3) Beltrami differentials is bδ(β̂)(b−B + . . .). After inserting all the picture-lowering and picture-raising operators of (4.7)–(4.10), functional integration over the (um, v m) variables cancels the functional integration over the (Γm,Γ m ) variables and functional integration over the (b, c) variables cancels the functional integration over the (β̂, γ̂) variables. The functional integral over the remaining variables with the regulator of (4.5) reproduces the usual pure spinor amplitude prescription where the (3g − 3) Beltrami differentials are contracted with the B operator of (2.41). So after dynamically twisting and inserting the appropriate picture-lowering and picture-raising operators to regularize the functional integration over the chiral boson zero modes, the non-minimal RNS scattering amplitude prescription reduces to the usual pure spinor amplitude prescription. But as was mentioned earlier, there are several subtleties which have been ignored in this argument. For example, the functional integral in the pure spinor formalism at higher genus is singular if there are poles of order (λλ)−11 coming from the (3g−3) pure spinor B ghosts [30]. And in the RNS formalism, the non-split structure of higher genus supermoduli space [27–29] complicates the computation using picture-changing operators. It would be very interesting if these multiloop subtleties in the two formalisms could be related to each other using the covariant map of this paper. – 15 – J H E P 0 4 ( 2 0 1 4 ) 0 2 4 Acknowledgments I would like to thank Nikita Nekrasov and Edward Witten for useful discussions, Sebastian Guttenberg for informing me about reference [18, 19], and CNPq grant 300256/94-9 and FAPESP grants 09/50639-2 and 11/11973-4 for partial financial support. Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited. References [1] E. Witten, D = 10 Superstring Theory, in proceedings of Grand Unification, Philadelphia, 1983, pg. 395. [2] N. Berkovits, Quantization of the superstring with manifest U(5) superPoincaré invariance, Phys. Lett. B 457 (1999) 94 [hep-th/9902099] [INSPIRE]. [3] D. Friedan, E.J. Martinec and S.H. Shenker, Conformal Invariance, Supersymmetry and String Theory, Nucl. Phys. B 271 (1986) 93 [INSPIRE]. [4] N. Berkovits, Relating the RNS and pure spinor formalisms for the superstring, JHEP 08 (2001) 026 [hep-th/0104247] [INSPIRE]. [5] M. Tonin, World sheet supersymmetric formulations of Green-Schwarz superstrings, Phys. Lett. B 266 (1991) 312 [INSPIRE]. [6] M. Matone, L. Mazzucato, I. Oda, D. Sorokin and M. Tonin, The Superembedding origin of the Berkovits pure spinor covariant quantization of superstrings, Nucl. Phys. B 639 (2002) 182 [hep-th/0206104] [INSPIRE]. [7] D.P. Sorokin, Superbranes and superembeddings, Phys. Rept. 329 (2000) 1 [hep-th/9906142] [INSPIRE]. [8] N. Berkovits, Explaining the Pure Spinor Formalism for the Superstring, JHEP 01 (2008) 065 [arXiv:0712.0324] [INSPIRE]. [9] N. Berkovits, Covariant quantization of the Green-Schwarz superstring in a Calabi-Yau background, Nucl. Phys. B 431 (1994) 258 [hep-th/9404162] [INSPIRE]. [10] L. Baulieu, Transmutation of pure 2−D supergravity into topological 2−D gravity and other conformal theories, Phys. Lett. B 288 (1992) 59 [hep-th/9206019] [INSPIRE]. [11] L. Baulieu, M.B. Green and E. Rabinovici, A Unifying topological action for heterotic and type-II superstring theories, Phys. Lett. B 386 (1996) 91 [hep-th/9606080] [INSPIRE]. [12] L. Baulieu, M.B. Green and E. Rabinovici, Superstrings from theories with N > 1 world sheet supersymmetry, Nucl. Phys. B 498 (1997) 119 [hep-th/9611136] [INSPIRE]. [13] L. Baulieu and N. Ohta, World sheets with extended supersymmetry, Phys. Lett. B 391 (1997) 295 [hep-th/9609207] [INSPIRE]. [14] E. Witten, private communication. [15] N. Nekrasov, Pure spinors, beta-gammas, super-Yang-Mills and Chern-Simons, Part 2, in KITP 2009 Lecture, http://online.kitp.ucsb.edu/online/strings09/nekrasov2/. – 16 – http://creativecommons.org/licenses/by/4.0/ http://dx.doi.org/10.1016/S0370-2693(99)00548-1 http://arxiv.org/abs/hep-th/9902099 http://inspirehep.net/search?p=find+EPRINT+hep-th/9902099 http://dx.doi.org/10.1016/S0550-3213(86)80006-2 http://inspirehep.net/search?p=find+J+Nucl.Phys.,B271,93 http://dx.doi.org/10.1088/1126-6708/2001/08/026 http://dx.doi.org/10.1088/1126-6708/2001/08/026 http://arxiv.org/abs/hep-th/0104247 http://inspirehep.net/search?p=find+EPRINT+hep-th/0104247 http://dx.doi.org/10.1016/0370-2693(91)91046-X http://dx.doi.org/10.1016/0370-2693(91)91046-X http://inspirehep.net/search?p=find+J+Phys.Lett.,B266,312 http://dx.doi.org/10.1016/S0550-3213(02)00562-X http://dx.doi.org/10.1016/S0550-3213(02)00562-X http://arxiv.org/abs/hep-th/0206104 http://inspirehep.net/search?p=find+EPRINT+hep-th/0206104 http://dx.doi.org/10.1016/S0370-1573(99)00104-0 http://arxiv.org/abs/hep-th/9906142 http://inspirehep.net/search?p=find+EPRINT+hep-th/9906142 http://dx.doi.org/10.1088/1126-6708/2008/01/065 http://dx.doi.org/10.1088/1126-6708/2008/01/065 http://arxiv.org/abs/0712.0324 http://inspirehep.net/search?p=find+EPRINT+arXiv:0712.0324 http://dx.doi.org/10.1016/0550-3213(94)90106-6 http://arxiv.org/abs/hep-th/9404162 http://inspirehep.net/search?p=find+EPRINT+hep-th/9404162 http://dx.doi.org/10.1016/0370-2693(92)91954-8 http://arxiv.org/abs/hep-th/9206019 http://inspirehep.net/search?p=find+EPRINT+hep-th/9206019 http://dx.doi.org/10.1016/0370-2693(96)00909-4 http://arxiv.org/abs/hep-th/9606080 http://inspirehep.net/search?p=find+EPRINT+hep-th/9606080 http://dx.doi.org/10.1016/S0550-3213(97)00114-4 http://arxiv.org/abs/hep-th/9611136 http://inspirehep.net/search?p=find+EPRINT+hep-th/9611136 http://dx.doi.org/10.1016/S0370-2693(96)01465-7 http://dx.doi.org/10.1016/S0370-2693(96)01465-7 http://arxiv.org/abs/hep-th/9609207 http://inspirehep.net/search?p=find+EPRINT+hep-th/9609207 http://online.kitp.ucsb.edu/online/strings09/nekrasov2/ J H E P 0 4 ( 2 0 1 4 ) 0 2 4 [16] L. Baulieu, SU(5)-invariant decomposition of ten-dimensional Yang-Mills supersymmetry, Phys. Lett. B 698 (2011) 63 [arXiv:1009.3893] [INSPIRE]. [17] N. Berkovits, Dynamical twisting and the b ghost in the pure spinor formalism, JHEP 06 (2013) 091 [arXiv:1305.0693] [INSPIRE]. [18] P.A. Grassi and S. Guttenberg, On Projections to the Pure Spinor Space, JHEP 12 (2011) 089 [arXiv:1109.2848] [INSPIRE]. [19] S. Guttenberg, A Projection to the Pure Spinor Space, arXiv:1202.0335 [INSPIRE]. [20] P.A. Grassi, G. Policastro, M. Porrati and P. Van Nieuwenhuizen, Covariant quantization of superstrings without pure spinor constraints, JHEP 10 (2002) 054 [hep-th/0112162] [INSPIRE]. [21] P.A. Grassi, G. Policastro and P. van Nieuwenhuizen, On the BRST cohomology of superstrings with/without pure spinors, Adv. Theor. Math. Phys. 7 (2003) 499 [hep-th/0206216] [INSPIRE]. [22] Y. Aisaka and Y. Kazama, A New first class algebra, homological perturbation and extension of pure spinor formalism for superstring, JHEP 02 (2003) 017 [hep-th/0212316] [INSPIRE]. [23] Y. Aisaka and Y. Kazama, Operator mapping between RNS and extended pure spinor formalisms for superstring, JHEP 08 (2003) 047 [hep-th/0305221] [INSPIRE]. [24] W. Siegel, Classical Superstring Mechanics, Nucl. Phys. B 263 (1986) 93 [INSPIRE]. [25] W. Siegel, Superfields in Higher Dimensional Space-time, Phys. Lett. B 80 (1979) 220 [INSPIRE]. [26] E. Witten, Twistor-Like Transform in Ten-Dimensions, Nucl. Phys. B 266 (1986) 245 [INSPIRE]. [27] R. Donagi and E. Witten, Supermoduli Space Is Not Projected, arXiv:1304.7798 [INSPIRE]. [28] E. Witten, More On Superstring Perturbation Theory, arXiv:1304.2832 [INSPIRE]. [29] E. Witten, Superstring Perturbation Theory Revisited, arXiv:1209.5461 [INSPIRE]. [30] N. Berkovits and N. Nekrasov, Multiloop superstring amplitudes from non-minimal pure spinor formalism, JHEP 12 (2006) 029 [hep-th/0609012] [INSPIRE]. [31] N. Berkovits, Pure spinor formalism as an N = 2 topological string, JHEP 10 (2005) 089 [hep-th/0509120] [INSPIRE]. – 17 – http://dx.doi.org/10.1016/j.physletb.2010.12.044 http://arxiv.org/abs/1009.3893 http://inspirehep.net/search?p=find+EPRINT+arXiv:1009.3893 http://dx.doi.org/10.1007/JHEP06(2013)091 http://dx.doi.org/10.1007/JHEP06(2013)091 http://arxiv.org/abs/1305.0693 http://inspirehep.net/search?p=find+EPRINT+arXiv:1305.0693 http://dx.doi.org/10.1007/JHEP12(2011)089 http://dx.doi.org/10.1007/JHEP12(2011)089 http://arxiv.org/abs/1109.2848 http://inspirehep.net/search?p=find+EPRINT+arXiv:1109.2848 http://arxiv.org/abs/1202.0335 http://inspirehep.net/search?p=find+EPRINT+arXiv:1202.0335 http://dx.doi.org/10.1088/1126-6708/2002/10/054 http://arxiv.org/abs/hep-th/0112162 http://inspirehep.net/search?p=find+EPRINT+hep-th/0112162 http://dx.doi.org/10.4310/ATMP.2003.v7.n3.a5 http://arxiv.org/abs/hep-th/0206216 http://inspirehep.net/search?p=find+EPRINT+hep-th/0206216 http://dx.doi.org/10.1088/1126-6708/2003/02/017 http://arxiv.org/abs/hep-th/0212316 http://inspirehep.net/search?p=find+EPRINT+hep-th/0212316 http://dx.doi.org/10.1088/1126-6708/2003/08/047 http://arxiv.org/abs/hep-th/0305221 http://inspirehep.net/search?p=find+EPRINT+hep-th/0305221 http://dx.doi.org/10.1016/0550-3213(86)90029-5 http://inspirehep.net/search?p=find+J+Nucl.Phys.,B263,93 http://dx.doi.org/10.1016/0370-2693(79)90202-8 http://inspirehep.net/search?p=find+J+Phys.Lett.,B80,220 http://dx.doi.org/10.1016/0550-3213(86)90090-8 http://inspirehep.net/search?p=find+J+Nucl.Phys.,B266,245 http://arxiv.org/abs/1304.7798 http://inspirehep.net/search?p=find+EPRINT+arXiv:1304.7798 http://arxiv.org/abs/1304.2832 http://inspirehep.net/search?p=find+EPRINT+arXiv:1304.2832 http://arxiv.org/abs/1209.5461 http://inspirehep.net/search?p=find+EPRINT+arXiv:1209.5461 http://dx.doi.org/10.1088/1126-6708/2006/12/029 http://arxiv.org/abs/hep-th/0609012 http://inspirehep.net/search?p=find+EPRINT+hep-th/0609012 http://dx.doi.org/10.1088/1126-6708/2005/10/089 http://arxiv.org/abs/hep-th/0509120 http://inspirehep.net/search?p=find+EPRINT+hep-th/0509120 Introduction Covariant map Non-minimal RNS formalism Dynamical twisting Vertex operators Non-minimal RNS vertex operators Relation with RNS and pure spinor vertex operators Scattering amplitudes Non-minimal RNS amplitude prescription Pure spinor amplitude prescription