Ambitwistor superstring in the Green-Schwarz formulation

In this paper we construct the ambitwistor superstring in the Green-Schwarz formulation. The model is obtained from the related pure spinor version. We show that the spectrum contains only ten dimensional supergravity and that kappa symmetry in a curved background implies some of the standard constraints.


Introduction
Perturbative superstring theory determines not only physical states but also their interactions. These include supergravity interactions, gauge interactions and a tower of very massive states in ten dimensions. The presence of this infinite set of states complicates calculations of scattering amplitudes but it also provides a control of the quantum aspects of the theory. One could eliminate the massive states in the limit α ′ → 0. In this way, the spectrum obtained in perturbation quantization is the massless states only. The world-sheet description of these class of strings has been recently introduced in [1]. This new string can be seen as the α ′ → 0 limit of the usual string. Note that they provide the scattering amplitudes proposed by Cachazo, He and Ye (CHY) [2] [3] [4] in gauge and gravity theories. A manifest space-time supersymmetric extension was constructed in [5] using the pure spinor formalism where the CHY scattering amplitudes were generalized to tendimensional superspace. Since supergravity theories are not exact quantum theories, it is expected that world-sheet loops contributions to scattering amplitudes should modify them. In our case, the modification should be done on type II supergravity. A one-loop analysis was done in [6] for the NS-NS part of the spectrum. It would be interesting to determine the RR contributions by using our pure spinor formulation.
A natural next step is to consider the string moving in a curved space. In the RNS case it was done in [7] where the superdiffemorphism algebra is satisfied if the background NS-NS fields satisfy the supergravity equations of motion in ten dimensions. Their result is exact for all orders in worldsheet perturbation theory. The RR contributions can be naturally obtained using the pure spinor formalism. The coupling to a curved background was studied in [8], where the BRST invariance of the particle-like hamiltonian of the system helps to put the background superfields on-shell. It was noted that the system has an additional symmetry whose BRST invariance implies the so-called nilpotency constraints in [9] involving H = dB, where B is the super two-form of type II supergravity in ten dimensions. It is natural to consider the generator of this symmetry as part of the BRST charge. This was done in [10] where the nilpotency of the new BRST charge and the BRST invariance of the particle-like hamiltonian determine the type II supergravity constraints in ten dimensions of [9]. In this paper, we obtain the Green-Schwarz superstring for the pure spinor string of [10]. This paper is organized as follows. In section 2 we define the GS ambitwistor superstring in flat superspace. We show that the action is invariant under space-time supersymmetry transformations as well as under kappa symmetry. In this case, the necessary Virasoro-like constraints are determined. In section 3, we relate the GS superstring to the pure spinor ambitwistor string in flat space. The relation allows to obtain the particle-like hamiltonian of the pure spinor ambitwistor superstring from the Virasoro-like constraints of the GS ambitwistor superstring. In section 4 the spectrum of the GS ambitwistor superstring is computed using the light-cone gauge quantization. The spectrum is described by the linearization of the type II supergravity fields, as expected. It would be interesting to apply the well known light-cone methods to compute scattering amplitudes in this string and see if they match with the ones obtained from the Mason-Skinner string and the pure spinor version. We conclude in section 5 by studying the GS action in a curved superspace. The action turns out to be invariant under kappa symmetries if the constraints of type II supergravity are imposed.

Flat superspace formulation
We construct an action for the ambitwistor in Green-Schwarz formalism. We find the κ symmetry of the theory and the Virasoro-like constraints. The world-sheet fields are the conjugate pairs (X m , P m ) and the super coordinates (θ,θ) which describe the type II superspace in ten dimensions. As it was shown in [10] for the pure spinor case, the supersymmetry transformations for these variables are Note that these transformations satisfy the usual super Poincare algebra, that is [δ 1 , δ 2 ] leaves (θ,θ, P ) invariant and translates X m in an amount proportional to ε 1 γ m ε 2 +ε 1 γ mε 2 .
It is useful to define invariant fields under supersymmetry to get invariant objects like the action. We define the combinations which are invariant under supersymmetry. The combinations P L,R are not independent, they satisfy P m R − P m L = 2Π m . Note that (∂θ,∂θ, ∂θ,∂θ) are also invariant under supersymmetry. The Green-Schwarz action is written in terms of these supersymmetry invariant objects and it is given by We now verify that this action is invariant under (2.1). Consider first the term involving ε in the variation of the action. This variation becomes proportional to On the one hand, this expression, after using the Fierz identity γ m α(β (γ m ) γδ) = 0, is equal to On the other hand, integrating by parts (2.5) is equal to Therefore, (2.5) vanishes (up to a total derivative). A similar implication is obtained for the terms involvingε. Then, the action (2.4) is invariant under space-time supersymmetry.
The equations of motion derived from the action (2.5) arē These equations are easily solved in the light-cone gauge, as we describe below, and the world-sheet fields are holomorphic.
We now verify that this action is invariant under κ-symmetry and find the Virasoro-like constraints for (2.4). The κ-transformations are defined by As usual, the κ transformations for the X field has the opposite sign of the supersymmetry transformation. This property is also true for the P field. We can obtain the κ transformations for P L , P R and Π. They are, Under κ-transformations the action changes as (2.14) After using (2.10), the variation of the action will vanish if Virasoro-like constraints are imposed. Consider the first term in (2.14). It is equal to Similarly, the second term in (2.14) is equal to Plugging these results in (2.14) we obtain the necessity of imposing the constraints which are the Virasoro-like constraints. These constraints can be added to the action through Lagrange multipliers. The action becomes

Relation to the pure spinor formalism
It is known that there is a relation between the Green-Schwarz string and the pure spinor string [11]. The relation begins with the observation that the momentum conjugate of the fermionic coordinates in (2.4) determines a constraint which is used to define a BRST charge. This is done with the help of the pure spinor variables [12]. The definition of the conjugate variables p α ,pα for θ andθ respectively, gives the constraints which are the fermionic constraints used in [10] to define the pure spinor BRST charge where the pure spinors λ andλ satisfy λγ m λ =λγ mλ = 0. Clearly, this condition and the algebra of d andd imply that Q 2 = 0, then this charge is used as the BRST generator in the pure spinor formalism.The BRST transformation of the fermionic coordinates are Qθ α = λ α , Qθα =λα. Oda and Tonin related the pure spinor string and the Green-Schwarz such that the difference of the corresponding actions is [11] Q d 2 z ω α∂ θ α +ωα∂θα . (3.6) Note that this statement does not imply that the pure spinor and the Green-Schwarz actions are cohomologically equivalent because Q 2 on ω andω are gauge transformations.
We use this property to find the pure spinor version of (2.18). The action in the pure spinor formalism is (2.18) plus Assuming the the Lagrange multipliers e L and e R are BRST invariants, we finally find that the action is where which correspond to the pure spinor generalization of the constraints H L , H R in the Green-Schwarz case. Note that T L and T R are stress-like tensors which were used in [13] to find b-like ghosts. That is, there exists b L and b R that satisfy Q L b L = T L and Q R b R = T R . Note also that T L + T R is the stress-energy tensor of (3.8) and that is a symmetry of (3.8) discovered in [10] and that helps to find the supergravity constraints when the model of (3.8) is coupled to a curved background. Note that the last two terms in (3.8) are BRST trivial so the can be removed from the action. The reason for this is that both T L and T R are BRST exact [13]. Note also that this is not the case in the bosonic string case [1]. Here the corresponding Lagrange multipliers are gauge fixed and lead to bc ghosts in the quantization of the model.

Light-cone gauge quantization and spectrum
The action (2.4) has a large set of local symmetries that allows us to fix some of its dynamical variables. The kappa-symmetry (2.10) parameters can be used to fix the fermionic coordinates to satisfy γ + θ = 0, γ +θ = 0. (4.1) The only component of θγ m ∂θ that does not vanish is θγ − ∂θ = δ ab θ a ∂θ b . We will suppress δ ab from now on. The same simplification happens for the other derivative and for the other spinor variable.
In this gauge the action simplifies to Off shell this is as far as we can go. The equations of motion coming from (4.2) imply all world-sheet variables are holomorphic. We now use the Virasoro-like constraints to fix Which means that Periodicity in σ in the closed string implies k + L = k + R = k + . We can now use canonical quantization to find the spectrum of the model. The commutators for the spinors are These relations imply that the modes in the expansion satisfy {θ a n , θ b m } = δ ab δ n+m , {θâ n ,θb m } = δâbδ n+m . (4.7) As usual, the commutation relation of the zero modes imply the vacuum is degenerate ȧâ , |ȧj , iâ , |ij , where the spinor zero modes act as and similarly withθâ.
Now we turn to the bosonic coordinates and their conjugate momenta. The gauge fixing (4.3) mean we can use the Virasoro-like constraints to find P − R and P − L in terms of all other variables.
The quantization of the remaining coordinates do not follow the usual one from the bosonic string, they are in fact more closely related to the RNS ghosts β and γ. The mode expansions are given by 10) and the commutation relations are given by Reality of X and P imply that It remains to find P − and X − . They they are found using the Virasoro-like constraints (4.14) Note that the zero mode of the left hand side of the two expressions above is the same This condition fixes the mass of the state |Ψ using that Note that x i 0 , θ a 0 andθâ 0 do not appear in the expressions above and the normal ordering constant from x i n and p i n cancels the one from θ a n andθâ n . Let us now find what are the possible eigenstates of the two operators on the left hand side of (4.17) and (4.18). We will use |Ψ to represent any of the states in (4.8). A state with transverse momentum k is given by We have to define how the whole set of oscillators act on |Ψ k . In order to do that, let us define the linear combinations Using the reality condition we see that The normal ordering is defined moving all positive modes to the right. The constant resulting from this operation cancels. The action of the oscillators on |Ψ k will be defined such that H vanishes on it a i n |Ψ k =ā i n |Ψ k = θ a n |Ψ k =θâ n |Ψ k = 0 for n ≥ 1. This corresponds to imposing that all positive frequency modes kills the vacuum, as usual. We see that modes with negative n create an excitation with energy n.
Now it is possible to see that the only state that satisfies (4.16) with both (4.17) and (4.18) is |Ψ k with vanishing mass. This is the expected answer since we already know the spectrum of both RNS and pure spinor versions of the ambitwistor string. Although we did not compute, it is likely that the super Poincaré algebra only closes when d = 10, just like the usual GS string.
The zero mode of the operator k · P is not identically zero, but acts as zero on the physical states. This is very similar with what happens with the βγ ghosts in RNS, where the vacuum is annihilated by γ 1 2 , the zero mode of γ(z) with NS boundary conditions. In terms of a local operator, the the vacuum corresponds to δ(γ(z)). In the same way, if a covariant quantization were possible, the construction of the operator corresponding to |Ψ k would contain δ(k · P (z)). This explains the delta function present in the vertex operator in the Mason-Skinner string.

Curved background
The action in a curved background is given by and we determine the transformation of P by demanding the invariance of the action (5.1) under κ-transformations. Let us define σ α = δZ M E M α and σα = δZ M E Mα . The variation of the action is where Ω is the Lorentz connection, T is the torsion and H = dB. The terms involving Π AΠB with A and B taking spinor values vanishes implying that Similarly, the terms involving σ α Π aΠβ , σαΠ aΠβ and σ α P aΠβ , σαP aΠ β vanish too. This implies that Using these results, the variation of the action becomes δS = d 2 z − σ α (P a T αβa − Π a H αβa )Π β − σα(P a Tαβ a − Π a Hαβ a )Πβ (5.6) We would like to obtain a result similar to (2.14) of flat space. That is, the Virasoro-like constraints should appear. In curved space they are proportional to (P a ± Π a ) 2 . Consider the first term in (5.6). Because σ α involves (P a − Π a ), the Virasoro-like constraint (P a − Π a ) 2 will appear if H αβa = T αβa = (γ a ) αβ . Similarly, for the second in (5.6), the Virasoro-like constraint (P a + Π a ) 2 will appear if Hαβ a = −Tαβ a = (γ a )αβ. Then, we have the constraints for the background superfields We also need to cancel the second term in (5.6) which gives the transformation of P, that is (5.8) Using this, the variation of the action is, as promised, similar to flat space case and it is equal to therefore if the Virasoro-like constraints are H L = (P a − Π a )(P a − Π a ) = 0, H R = (P a + Π a )(P a + Π a ) = 0, (5.10) and the action is invariant under the κ-transformations of (5.2) and (5.8). Note that these Virasorolike constraints becomes the Virasoro-like constraints of (2.17) because, as it was shown in [10], the field P becomes 1 2 P L + P R . As in the flat space case, the action can include the Virasoro-like costraints through the use of Lagrange multipliers so it is equal to To obtain the κ-transformations of the Virasoro-like constraints, we need to determine the corresponding variation of P a ± Π a . It turns out that these combinations transform as In summary, in order to have an action with κ-symmetry in curved background, it is necessary to impose certain constraints on the background fields. They are H αβγ = Hαβγ = H Aαβ = T αβ a = T αβa − H αβa = Tαβ a + Hαβ a = T α(ab) = Tα (ab) = 0, (5.18) and it is also necessary T αβ a = γ a αβ and Tαβ a = γ â αβ . Note that (5.18) are part of the supergravity constraints and are not enough to put the background on-shell.