On tree amplitudes of supersymmetric Einstein-Yang-Mills theory

We present a new formula for all single trace tree amplitudes in four dimensional super Yang-Mills coupled to Einstein supergravity. Like the Cachazo-He-Yuan formula, our expression is supported on solutions of the scattering equations, but with momenta written in terms of spinor helicity variables. Supersymmetry and parity are both manifest. In the pure gravity and pure Yang-Mills sectors, it reduces to the known twistor-string formulae. We show that the formula behaves correctly under factorization and sketch how these amplitudes may be obtained from a four-dimensional (ambi)twistor string.


Introduction
In any space-time dimension, the scattering equations underpin the classical S-matrix of a wide variety of massless field theories by constraining external kinematic data in terms of marked points on an auxiliary Riemann sphere, Σ [1]. Geometrically, these constraints can be compactly summarized as the requirement that a meromorphic quadratic differential P 2 (z) vanishes globally on Σ [2]. Recently, the scattering equations have received considerable attention for their central role in the Cachazo-He-Yuan (CHY) expressions for the tree-level S-matrices of various massless bosonic field theories [3,4], although they were first discovered in the context of high-energy string scattering [5][6][7][8].
Even before the advent of the CHY formulae, the importance of the scattering equations was realized for field theory in four space-time dimensions [9]. In four dimensions, the spinor helicity formalism allows us to solve the on-shell condition for momentum by writing it as the product of two Weyl spinors. In addition, the simplicity of on-shell superspace makes it possible to account for arbitrary helicity external states in super-Yang-Mills theory and supergravity. Given the existence of such expressions for the pure gravity and gauge theory sectors [10,11], it is natural to ask if there is a generalization to the tree-level S-matrix of supergravity coupled to super-Yang-Mills theory (sEYM) in four dimensions (we consider the case where the spin one particles of the gravity multiplet remain ungauged [12]). In this paper, we propose such a formula for the coupling of a single trace of gluons to gravity. It is compact, written in terms of integrals over the moduli space of a punctured Riemann sphere Σ, and supported on solutions to the scattering equations. Furthermore, it easily incorporates supersymmetry thanks to the simplicity of four-dimensional on-shell superspace, is manifestly parity invariant, produces the three-point amplitudes of the EYM action, and factorizes appropriately.
The new formula suggests a remarkable structure in four-dimensions that would be completely obscured by a naïve replacement k i · k j → [ij] ij in the Pfaffians of the CHY formula. Remarkably, as in [11] the [ , ] and , factors completely decouple, appearing JHEP12(2015)177 in separate determinants. The previously known expressions for amplitudes in pure gauge theory or supergravity can be derived from the sphere correlation functions of certain worldsheet theories [13][14][15][16] (collectively referred to as 'twistor string theories'), and our formula also appears to have a worldsheet origin.

The formula
Before describing our formula, we first point out several ab initio constraints which any purported formula for sEYM must obey. The first of these is rather obvious: in the pure gauge theory or supergravity sectors, it must reduce to known expressions for these treelevel S-matrices. Such expressions are provided by the Roiban-Spradlin-Volovich-Witten (RSVW) formula for super-Yang-Mills theory [9,10], and the Cachazo-Skinner (CS) formula for supergravity [11].
A second constraint comes by considering the gravitational coupling constant κ ∼ √ G N . A tree-level amplitude in EYM with n external gravitons and τ colour traces must be proportional to κ n+2τ −2 . In particular, in the purely gravitational sector this is the usual κ n−2 factor associated with (the Euler character of) a gravitational tree graph, while if there are no external gravitons and only a single colour trace, then we find κ 0 as expected for the conformally invariant Yang-Mills answer. In a connected tree, different colour traces interact by exchanging gravitons, with a gravitational coupling at each end.
In [11] it was explained that, when written in terms of a worldsheet model, these powers of κ must be balanced by the same number of powers of [ , ] or , brackets (interpreted as infinity twistors, representing the breaking of conformal invariance). Parity transformations exchange [ , ] and , , and so we learn that in four-dimensional EYM with n ± external gravitons of helicity ±2 and τ colour traces, we should obtain on the worldsheet. A final constraint is given by a rather curious observation about the tree amplitudes of sEYM theory in four dimensions: every colour trace of external gluons must contain at least one gluon of each helicity. 1 In particular, amplitudes with all negative helicity gluons and arbitrarily many positive helicity gravitons must vanish, despite the fact that this is far from obvious by standard MHV counting. To prove this, first note that each three-point interaction of the sEYM Lagrangian must contain at least one gluon of each helicity, or no gluons at all. This clear for the pure gauge theory interactions, and all three-point interactions with two gluons and one graviton arise from the term in the Einstein-Yang-Mills action. Spinor helicity variables make it easy to see that any three-point function coming from this term with two gluons of the same helicity vanishes.

JHEP12(2015)177
Now, consider any tree diagram in sEYM, and select all of the gluons in the diagram belonging to a particular colour trace. This identifies a unique tree sub-graph associated with the chosen trace; we may assume that all its internal edges are gluon propagators, since a graviton propagator would lead to a double trace or an external graviton contribution which can be amputated. The total number of gluons (both internal and external) of each helicity appearing in this sub-graph is equal to the number of internal edges (helicitylabelled gluon propagators) plus the number of external gluons of that helicity. The Euler characteristic of the tree sub-graph, combined with the fact that the number of gluons of each helicity at every vertex is positive, then implies the claim: the number of external gluons of each helicity in the trace must be strictly positive.
We now turn to the expression for the tree amplitudes, beginning with the nonsupersymmetric case. In this paper, we will only consider the case with τ ≤ 1. External particles are specified by two spinors, λ i α andλ iα for particle i, as well as a helicity label. We divide the external particles of each amplitude into sets of gluons and gravitons of positive or negative helicity; positive (negative) helicity gravitons form the set h (h), and positive (negative) helicity gluons form the set g (g).
Let us first present the formula, and then explain its various ingredients. The tree-level amplitude with a single colour trace is given by an integral where h denotes the helicity of the given particle (i.e., h = ±1, 2). The {z i , z k } label marked points on an abstract Riemann sphere Σ ∼ = CP 1 in an inhomogeneous coordinate, z, while the complex scaling parameters {t i ,t k } carry conformal weight, taking values in T 1/2 Σ i,k . The expressions λ(z i ),λ(z k ) appearing in (2.2) are given by is the Szegő kernel at genus zero (free fermion propagator). Hence, the parameters t i ,t k carry opposite weight with respect to little group scalings. The three main ingredients in (2.2) are the insertions det ′ Φ, det ′Φ , and PT. Φ is a (|h| + 1) × (|h| + 1) symmetric matrix with rows and columns corresponding to each positive helicity graviton and colour trace in the amplitude. Its entries are given by:

JHEP12(2015)177
where i, j ∈ h, and g labels the row/column for the gluon trace. It is easy to see that Φ has co-rank one, with kernel spanned by the vector (1, 1, . . . , 1), so its determinant vanishes. The operation det ′ corresponds to removing any choice of row and column from a matrix and then taking its determinant. det ′ Φ is easily seen to be independent of the choice of row and column removed, and is a canonically-defined non-vanishing object. Φ is the parity conjugate of Φ. It is a (|h| + 1) × (|h| + 1) matrix, with entries where k, l ∈h. This matrix also has co-rank one with kernel spanned by (1, 1, . . . , 1). Finally, PT denotes a 'generalized' Parke-Taylor factor corresponding to the colour trace. If the gluon trace contains n total gluons (of all helicities), then this Parke-Taylor factor is where T a are the generators of the gauge group. Although M g,g h,h takes the form of an integral expression, the delta functions in (2.2) saturate all of these integrals in addition to providing overall momentum conservation. So in reality, all integrals in (2.2) are performed algebraically against delta functions. These delta functions are a refinement of the usual scattering equations; they imply k i · P (z i ) = 0 for P αα (z) = λ α (z)λα(z) [9]. Note that in the special cases where h =h = ∅ or g =g = ∅ it is equivalent to the RSVW or CS formulae respectively, presented in the guise of [16]. The reduced determinants and definitions (2.5) and (2.6) ensure that M g,g h,h is consistent with the counting of (2.1) and that the colour trace contains at least one gluon of each helicity.
Supersymmetry can be incorporated straightforwardly, unlike in the CHY formulae, due to the simplicity of on-shell superspace in four dimensions. Extending EYM to N ≤ 3 supersymmetry, 2 on-shell scattering states are specified by the usual two Weyl spinors λ α ,λα as well as Grassmann parameters for the supermomentum, η A orη A , for A = 1, . . . , N . Remarkably, our formula accommodates this supersymmetry with the inclusion of a single exponential factor: We believe that the formula is also correct for N = 4, provided one chooses an appropriate representation for the external gluons.

JHEP12(2015)177
As usual, amplitudes for individual helicity components of the supermultiplets are read off by expanding the exponential and extracting those terms of appropriate degree in the Grassmann variables. Note that both (2.2) and (2.9) are manifestly parity symmetric.

Justification
In this section, we show that (2.9) factorizes appropriately and produces the correct threepoint amplitudes.

Three-point amplitudes
In the helicity-based framework, all three-point amplitudes of the EYM Lagrangian are classified as MHV or MHV, depending on whether they have one or two positive helicity legs, respectively. Since the formula (2.2) is parity-symmetric, we only check the MHV three-point amplitudes explicitly. For Yang-Mills gauge group SU(N ) there are only three such potential amplitudes: with overall momentum conservation and any colour trace stripped off. Note that one can also write down an expression with the homogeneity of ag 1g2 h 3 amplitude: but this does not occur in EYM (as follows from dimensional analysis).
Since (2.2) reduces to known expressions in the all-gluon or all-graviton sectors, it is obvious that it reproduces the first two amplitudes in (3.1). So the only non-trivial calculation is to make sure that (2.2) produces the third amplitude in (3.1). In this helicity configuration, our formula becomes where the positions of z 1 , z 2 , z 3 have been fixed with the SL(2, C) freedom, the C * freedom has been used to set t 1 = 1, andt 2,3 have been rescaled. The final two integrations can be done against the delta functions in a straightforward manner, leaving as required.

Factorization
For the (non-supersymmetric) expression (2.2) to factorize correctly, we must show that in the limit where a subset L of the external momenta go on-shell where the sum is over possible helicities flowing through the factorization channel, the integral is over the on-shell phase space of the intermediate state, and R is the compliment of L. In many respects, this calculation follows similar lines to those for the RSVW and CS formulae [18,19].
In terms of the Riemann surface Σ underlying (2.2), the factorization limit should correspond to a degeneration of Σ into two Riemann spheres Σ L and Σ R joined at a node. Locally, we can model this degeneration in terms of inhomogeneous coordinates by where in the q → 0 limit the node is located at z a ∈ Σ L and z b ∈ Σ R . 3 One advantage of this local model is that the behaviour of the propagator (2.4) is particularly simple near the degenerate limit: This follows from the universal behaviour of Szegő kernels on degenerate Riemann surfaces [20]. Since the scaling parameters t i ,t k carry conformal weight, their behaviour in the degeneration limit is non-trivial. The local model (3.3) dictates that a section of T 1/2 Σ will scale as q ±1/4 in the q → 0 limit, depending on which side of the degeneration the section is located. 4 The choice of which of Σ L or Σ R is associated with the '+' scaling must be summed over; below we see that this choice is associated with the helicity (positive or negative) of an intermediate particle flowing through the factorization channel.
Homogeneity of the measure on the moduli space combined with little group scaling requires that the t i andt k parameters scale oppositely in the degeneration limit. The behaviour of the scaling parameters is thus given by:

5)
3 To be precise, the local model should read (zL − za)(zR − z b ) = q, where zL, zR are appropriately chosen coordinates on ΣL, ΣR. We keep this choice of local coordinates implicit in what follows to streamline notation. 4 In actuality, (3.3) only restricts a section of T 1/2 Σ to scale as q ±α/4 on ΣL and q ∓(2−α)/4 on ΣR. We consider the symmetric case α = 1 for simplicity only.
with the choice of upper or lower sign to be summed over.
It is natural to work in a formalism where the only objects carrying conformal weight on Σ are these parameters and the Szegő kernels. This is accomplished by defining parameters t * ,t * (valued in T in the amplitude (2.2). This allows us to re-write the behaviour of the propagator (2.4) in the attractive form: A priori, the t * ,t * are just convenient dummy variables, but they will eventually become associated with an intermediate on-shell particle flowing through the degeneration. It is also convenient to take a factor of t −2 i ort −2 k from each graviton wave function and incorporate it into det ′ Φ or det ′Φ , respectively. Additionally, we can choose a single gluon of each helicity, say r ∈ g, s ∈g, and divide the trace row and column in each of Φ, Φ by the associated scaling parameter, t r ,t s .
The result of these (trivial) manipulations is a transformation inside (2.2). Here, we abuse notation by writing Φ andΦ for the rescaled matrices with entries and likewise forΦ. These rescaled matrices have the (important) virtue of behaving nicely in the factorization limit. The definition of the reduced determinants is adapted appropriately for this rescaling: where |Φ a b | denotes the determinant of Φ with row a and column b removed, etc. Note that the formula does not depend on which representative gluons we choose for rescaling the matrices. We always have at least one gluon of each helicity and the JHEP12(2015)177 fundamental properties of the reduced determinant make it obvious that the final answer does not depend on the choice we make. Additionally, the rescaling of the matrix entries is reflected in a rescaling of the null vector; for instance, the kernel of Φ is now spanned by (t 1 , . . . , t |h| , t r ), which scales according to (3.5) in the degeneration limit. 5 Clearly, there are two different ways in which the formula (2.2) can factorize as q → 0: the degeneration may or may not split the colour trace. We will show that in the former case the intermediate state corresponds to a gluon, while in the latter it will be a graviton.
Let us begin by considering the case which does not disturb the colour structure. The behaviour of (2.2) in the q → 0 limit can be easily expressed by arranging the matrices Φ andΦ in a judicious manner. Arrange the entries of both matrices into blocks, so that the upper-left block corresponds to entries with both indices on Σ L and the bottom-right block corresponds to entries with both indices on Σ R : Without loss of generality, we assume all gluons to remain on Σ L . In the q → 0 limit, (3.7) ensures that the off-diagonal blocks of the rescaled matrices vanish at O( √ q), so we must focus on what is happening in the diagonal blocks. Consider Φ; clearly the entries (Φ LL ) ij and (Φ RR ) ij are unchanged on Σ L and Σ R , respectively, as q → 0. However, the diagonal entries behave as where we choose the upper sign in (3.5) for concreteness. As the worldsheet factorizes, the particles h R on Σ R form an effective particle insertion on Σ L which appears on the diagonal entries of Φ LL , while all entries of Φ RR only encode the particles of h R . The interpretation is clearly that the node becomes the insertion point of a new particle with positive/negative helicity on Σ L/R . (The opposite configuration follows by taking the lower sign in (3.5), and the final result contains the sum over both choices.) To make this manifest, introduce a new spinor-helicity variableλ * by inserting into the amplitude (2.2) close to the degeneration, with

JHEP12(2015)177
On the support of this delta function, the diagonal entries of Φ can be rewritten as where h * L = h L ∪ { * }. This is precisely the form required for the expected channel. With our choices corresponding to a positive helicity intermediate state on Σ L , it is natural to remove a row and column corresponding to a graviton on Σ R when computing the original det ′ Φ. As q → 0, one finds where Φ L is the (|h * L | + 1) × (|h * L | + 1) matrix appropriate for Σ L with the positive helicity intermediate state * at z a ∈ Σ L , and Φ R is the |h R | × |h R | matrix appropriate for Σ R .
The story forΦ proceeds in a similar fashion. By introducing the diagonal entries ofΦ LL andΦ RR become With this corresponding to a negative helicity intermediate state on Σ R , we take det ′Φ by eliminating a row and column for a graviton on Σ L , to obtain the desired factorization: This shows that the reduced determinants factorize correctly and yield a factor of q t 2 * t 2 * , while also introducing the wave functions for an intermediate on-shell state.
Next we examine the behaviour of the external wave functions. On the support of (3.10), (3.13), the arguments of the delta functions for the external states involve JHEP12(2015)177 in the degenerate limit q → 0. As q → 0 a scaling argument based on the local model (3.3) dictates how the measure on the moduli space of Σ factorizes into measures on the moduli spaces of Σ L and Σ R (cf. [21,22]). Combining all of our observations up to this point, the formula (2.2) looks like The delta functions for λ * andλ * are naturally incorporated into products over i∈h * L ∪g and l∈h * R as gravitons. Finally, trading the delta function of (3.6) for an additional (vol C * ) −1 , we are left with where and similarly for M − R . All that remains to show is that extracting the residue at q = 0 corresponds to setting the momentum flowing from Σ L to Σ R on-shell. To this end, notice that the various delta functions in (3.19) imply that In addition to enforcing momentum conservation on each side of the cut, this reveals the intermediate particle as manifestly on-shell. Thus, taking the residue at q = 0 results in the h = + graviton exchange term in the factorization expression (3.2). The h = − term is obtained in a similar fashion, by choosing the other sign in (3.5).
The second possible degeneration, which disturbs the colour structure of the amplitude via a gluon exchange, follows in much the same way, so we will be more brief in its description. In this case the external gluons are split between Σ L and Σ R in the q → 0 limit. The behaviour of the matrices Φ andΦ under the degeneration is the same as before; it is now convenient to eliminate the row and column corresponding to the trace in both det ′ Φ and det ′Φ .

JHEP12(2015)177
Once again, after inserting the delta functions (3.10), (3.13), the reduced determinants factorize as (3.12), (3.15) with the intermediate particle being incorporated into g * L = g L ∪ { * } on Σ L andg * R =g R ∪ { * } on Σ R . However, the factor of q t 2 * t 2 * is entirely absorbed by the scaling of the gluon representatives t 2 r ,t 2 s appearing in (3.8). From (3.7) it is easy to see that the Parke-Taylor factor behaves as where PT γ a L denotes the Parke-Taylor factor for those gluons located on Σ L with the point z a inserted in the cyclic ordering precisely where the original colour trace is broken by the degeneration. The measures for t * ,t * appearing in (3.6) are automatically appropriate for gluons, so we obtain the correct products over delta functions for factorization. Taking the residue of the resulting dq/q measure corresponds to the h = + gluon exchange term in the factorization expression (3.2).
Factorization for the supersymmetric amplitude (2.9) is established by looking at how the exponential encoding supersymmetry behaves in the q → 0 limit. For concreteness we pick the case of (3.5) where t i ∼ q 1/4 on Σ L and the other case follows analogously, as usual. To begin notice that the exponent splits as (3.21) The first two terms are clearly appropriate for Σ L and Σ R , respectively, while the third term accounts for the new intermediate particle. In fact, a simple calculation reveals that the exponential of this third term can be written exp     i∈h R ∪g R k∈h L ∪g L t itk t * t * ηi ·η k S(k, a)S(b, i)     = d N η * d Nη * e η * ·η * exp   k∈h L ∪g L t * tkη * ·η k S(k, a) + i∈h R ∪g R t it * ηi ·η * S(b, i)   , on the support of the same delta functions used in the purely bosonic calculation.
In summary, the exponential encoding supersymmetry factorizes, with the arguments on Σ L , Σ R becoming i∈h * L ∪g L k∈h L ∪g L t itkηi · η k S(k, i) and respectively (without altering the simple pole in q). Combined with our previous arguments, this leads to the appropriate on-shell superspace measure dq q d 2|N λ * d 2|Nλ * vol C * e η * ·η * M + L M − R + O(q) .

JHEP12(2015)177 4 Conclusions
We have presented a new formula for all single trace tree amplitudes in supersymmetric Einstein Yang-Mills theory in four dimensions, written in terms of on-shell superspace. The formula was shown to reproduce the correct three-point amplitudes and to factorize appropriately in both gravitational and coloured channels. The considerations at the beginning of section 2 also place strong constraints on the form of general multitrace EYM amplitudes. It would be interesting to investigate these further.
In the purely gravitational sector, the formula reduces to the representation of amplitudes given in [11,16]. These formulae are known to be the output of a twistor-string theory for maximal supergravity in d = 4 [15] and it is natural to wonder whether there is a modification of this theory that describes sEYM. In this regard, we note that the coupling of the gluons to the gravitons in Φ,Φ, together with the Parke-Taylor factors, may be generated by inserting operators tr D −1 δ 2 (γ) AD −1 δ 2 (γ)Ã , and tr D −1 O AD −1ÕÃ .
HereD =∂ + A(Z) +Ã(W ) and where A andÃ are gluon wavefunctions. It seems likely that the RSVW formula for tree amplitudes in sYM are best interpreted as the single trace sector of a twistor string for sEYM. Such a theory would also enable the use of worldsheet factorization arguments to streamline the calculations above [23].