# Loop Integrands for Scattering Amplitudes from the Riemann Sphere

###### Abstract

The scattering equations on the Riemann sphere give rise to remarkable formulae for tree-level gauge theory and gravity amplitudes. Adamo, Casali and Skinner conjectured a one-loop formula for supergravity amplitudes based on scattering equations on a torus. We use a residue theorem to transform this into a formula on the Riemann sphere. What emerges is a framework for loop integrands on the Riemann sphere that promises to have wide application, based on off-shell scattering equations that depend on the loop momentum. We present new formulae, checked explicitly at low points, for supergravity and super-Yang-Mills amplitudes and for -gon integrands at one loop. Finally, we show that the off-shell scattering equations naturally extend to arbitrary loop order, and we give a proposal for the all-loop integrands for supergravity and planar super-Yang-Mills theory.

## I Introduction

Worldsheet formulations of quantum field theories have had wide ranging impact on the study of scattering amplitudes, from the conceptual simplicity of having one basic object instead of multitudes of Feynman diagrams to unexpected new structures such as those relating gauge theory and gravity. They lie at the heart of string theory, and more recently, in the form of twistor- and ambitwistor-string theory, have been applied to many conventional field theories. However, the mathematical framework becomes very challenging on the higher-genus worldsheets required to describe loop effects, and it is difficult to see how the relative simplicity of the expected amplitudes arises from integrals involving theta functions over moduli spaces of Riemann surfaces. In this letter, we show how in such worldsheet models based on the scattering equations, we can transform formulae on higher-genus surfaces to ones on the Riemann sphere. The framework can potentially be applied more generally in field theory.

Given null momenta , the scattering equations determine points on a Riemann sphere, up to Möbius transformations. The scattering equations not only arise from conventional string theory at low tension Gross and Mende (1988), they also underpin the remarkable formulae for tree-level scattering amplitudes of gauge theory and gravity that arise from twistor-string theories Witten (2004); Roiban et al. (2004) and the more recent formulae in arbitrary dimension due to Cachazo, He and Yuan (CHY) Cachazo et al. (2014a, b). The CHY formulae arise from ambitwistor string theories Mason and Skinner (2014); Casali et al. (2015); Ohmori (2015), and Adamo, Casali and Skinner (ACS) Adamo et al. (2014) showed that these lead to formulae for 10-dimensional type-II supergravity 1-loop amplitudes in terms of scattering equations on an elliptic curve or torus (and, in principle, to loops on curves of genus ). The ACS 1-loop proposal was investigated further by Casali and one of us Casali and Tourkine (2015), motivating the -gon conjecture for an expression on the elliptic curve which gives rise to loop integrands based on permutations of polygons. At fixed loop momentum, both the ACS and the -gon formulae localise to give a sum of residues, involving Jacobi theta functions and the modular parameter for the elliptic curve. Despite the successful factorisation checks, the question remains as to how such formulae could reduce to the rational expressions we expect of loop integrands.

Here we modify the scattering equations on the elliptic curve so as to be able to identify a well-defined loop integrand. We then use a residue theorem in the modular -plane to derive new formulae on a nodal Riemann sphere, without Jacobi theta functions. New off-shell scattering equations determine the location of the nodes of the Riemann sphere, where the off-shell loop momentum is inserted. The new formulae give 1-loop integrands which are rational functions of the momenta. This is a scheme that in principle extends to provide formulae for multiloop integrands, applicable also to other theories.

The existence of a canonical loop integrand for non-planar gauge theories and gravity is controversial. There are many choices for the loop momentum , as we can translate in any particular diagram. The formulae we obtain give a natural global choice, although not an obvious one from the perspective of Feynman diagrams. In order to transform standard integrands into our formulae, we must perform a variety of shifts.

In this paper, we first prove the equivalence of the ACS and -gon conjecture on elliptic curves to corresponding formulae on the Riemann sphere, giving new 1-loop proposals. These pass various checks and the general form of the loop integrand that arises is given. We also propose a formula on the Riemann sphere for the 1-loop integrand of super Yang-Mills, and subject it to similar checks. Finally, we give a brief discussion of the extension to an all-loop conjecture for type-II supergravity and super Yang-Mills theory. At -loops, these loop integrands have the same level of complexity as -point trees. Further details will appear elsewhere.

## Ii Scattering equations on a torus

We use the complex coordinate on the elliptic curve where . The scattering equations are equations for points that depend on momenta , . To define them we construct a meromorphic 1-form on that satisfies

where Introducing to parametrise the zero-modes, and denoting , our choice of solution for is

(1) |

This is meromorphic and doubly periodic in and the . The ACS version is not holomorphic and does not factorise properly Adamo et al. (2014), while that in Casali and Tourkine (2015); Ohmori (2015) is not doubly periodic until the loop momentum is integrated out (as in conventional string theory), and is thus not well defined on the elliptic curve for fixed . Using (1), the scattering equations are

(2) |

Because the sum of residues of vanishes, the first scattering equation follows from those at . Translation invariance implies that we must fix the location of by hand. On the support of the equations at , which fix these points, is global and holomorphic, hence constant in , depending only on . Therefore, the final equation determines .

The ACS proposal for the 1-loop integrand of type-II supergravity amplitudes takes the form

(3) |

where, for the critical case, and , and is the polarisation data. It is obtained as a sum over spin structures of a worldsheet correlator of vertex operators, giving rise to certain Pfaffians and partition functions described later and in more detail in Adamo et al. (2014). This formula is doubly periodic in the and modular invariant, i.e., invariant under (and ).

In Casali and Tourkine (2015), it was shown that when , as in string theory, is independent of and , so it factors out of the integral. The nontrivial remaining integral is the version of the more general integral

where the integral is modular invariant for . In Casali and Tourkine (2015), this was conjectured to be equivalent to a sum over permutations of -gons.

In both cases, there are as many delta functions as integration variables and these restrict the integral to a sum over a discrete set of solutions to the scattering equations. Each term consists of the integrand evaluated at the corresponding solution divided by a Jacobian.

## Iii From a torus to a Riemann sphere

Here we use a residue theorem (or integration by parts in our notation) to reduce the formula on the elliptic curve to one on the nodal Riemann sphere at (such ‘global residue theorems’ have already been applied to tree-level CHY formulae by Dolan and Goddard (2014)). We will be left with scattering equations that have off-shell momenta associated to , and a formula for the 1-loop integrand based on these.

In order to obtain a formula for the amplitude on the Riemann sphere, we assume that is holomorphic as a function of on the fundamental domain for the modular group. It was shown in (Adamo et al., 2014) that the holomorphicity of the supergravity integrand at is a consequence of the GSO projection. For other values of the possible poles in the integrand can only occur when , but the standard factorisation argument Dolan and Goddard (2014) applies here also to imply that this can only happen when the momenta are factorising and hence nongeneric. The main argument is then

(4) | |||||

In the first line, we put and inserted the definition of . In the second line, we integrated by parts in the domain , yielding a delta function supported at that is then integrated out. The boundary terms cancel because of the modular invariance. This is equivalent to a contour integral argument in the fundamental domain as in figure 1. The sum of the residues at the poles of simply gives the contribution from the residue at the top, , since the contributions from the sides and the unit circle cancel by modular invariance.

The fundamental domain for maps,

(5) |

to , with the identification . As , we obtain with identified, giving a double point corresponding to the pinching of at a non-separating degeneration. We have and

at , so using momentum conservation we obtain

(6) |

where here we have translated by .

If we now consider the function , we find that it has double poles at , (along with the usual simple poles at ). Defining , we find now has only simple poles. The vanishing of the residues of gives our off-shell scattering equations

(7) |

at . The sum of the residues of must vanish with in affine coordinates, so that the equations for imply the vanishing of the residues of at , and . Thus any of these equations imply all , hence is holomorphic and, having negative weight, vanishes, so that .

With this, the 1-loop formula becomes

(8) |

where we have used the identity to give . The formula (8) is our new proposal for the supergravity loop integrand, with the limit of the ACS correlator.

For the simpler ‘-gon’ conjecture presented in Casali and Tourkine (2015), we now take . For both this and supergravity, modular invariance is no longer an issue on the Riemann sphere, and the new formulae make sense in any dimension.

## Iv Shifts and the -gon conjecture

When , the -gon conjecture implies the supergravity conjecture. Here the off-shell scattering equations can be solved exactly with two solutions, yielding

Henceforth we denote . This is not obviously equivalent to the permutation sum of the boxes

(9) |

as the only manifest propagator in is the pre-factor , and all the other denominator factors are linear in . However, the partial fraction identity

(10) |

can be applied to a contribution such as (9). The right-hand-side of this identity is a sum of terms with a single factor of the type , and several factors of the type . We then perform a shift in the loop momentum for each term such that the corresponding is simply . Applying this procedure to the permutation sum, we precisely obtain .

More generally, using the above expansion and shifts, the -gon integral is equivalent to

That this arises from (8) with has been checked directly numerically at five and six points. Furthermore, the locations of the poles of this formula are singled out by an adaptation of a standard worldsheet factorisation argument Dolan and Goddard (2014) for the scattering equations (7). We remark that at two and three points we obtain zero identically, as expected from dimensional regularisation.

## V Supergravity at 1-loop

For supergravity, was given in detail in Adamo et al. (2014) as , with each given as a sum over spin structures of worldsheet correlation functions on , as in superstring theory. For brevity, we consider only the even spin structures, which suffice if all kinematic data is in dimension 9 or less. While are finite as , some constituents vanish and others diverge. We obtain the result by extracting the following coefficients

(11) |

where are the Pfaffians of the matrices

(12) |

with , , , and . The Szegö kernels are defined in Adamo et al. (2014). The substitution gives , where the supergravity states have polarisation tensors . In terms of we have to

For , is a constant for any , giving the expected kinematic tensor Casali and Tourkine (2015), and the -gon results above suffice to give the correct answer. For , the integrand depends on the and the loop momentum. The amplitude can be written in terms of pentagon and box integrals, and we can apply the shift procedure above to connect to our results, yielding

The supergravity numerators and are the square of the gauge theory numerators given in Carrasco and Johansson (2012) or Mafra and Schlotterer (2015), which satisfy the colour-kinematics duality Bern et al. (2008, 2010). This formula precisely matches that from the off-shell scattering equations at 5 points numerically.

## Vi Super Yang-Mills at 1-loop

Following CHY at tree level, we can hope to obtain super Yang-Mills amplitudes at 1-loop by replacing one of the factors for supergravity above by a cyclic sum over Parke-Taylor factors that run through the loop

(13) |

where and , and is defined mod . Thus planar 1-loop amplitudes are given by

where is given in (11). Each factor of goes with a Pfaffian, so in removing a Pfaffian, we also remove one of the s. At four points, is constant as mentioned above and it factors out. This ansatz has been checked numerically at both four and five points. There is an additional obvious conjecture for the analogue of the biadjoint scalar theories.

## Vii All-loop integrands

The ACS proposals have natural extensions to Riemann surfaces of arbitrary genus for -loop amplitudes Adamo et al. (2014); Ohmori (2015); Adamo and Casali (2015). We can again attempt to use residue theorems to localise on a preferred boundary component of the moduli space. Here we choose a basis of -cycles to contract in non-separating degenerations, to obtain Riemann spheres with nodes, i.e pairs of double points , . (We still expect separating degenerations to be suppressed by the remaining scattering equations for generic momenta.) This fixes of the moduli, and the remaining moduli are now associated with the new marked points modulo Möbius transformations. On nodal curves, 1-forms are allowed to have simple poles at the nodes so that the nodal Riemann sphere is endowed with a basis of global holomorphic 1-forms

(14) |

For with poles at further marked points and residues , we have

(15) |

where are the zero modes in representing the loop momenta. Setting a quadratic differential with simple poles at all the marked points including , the multiloop off-shell scattering equations are

(16) |

where now ranges over all the marked points. We have as before three relations between the scattering equations arising from the vanishing of the sum of the residues of . Thus if we impose of them, the remaining ones must also be satisfied, so that is holomorphic and, being of negative weight, vanishes.

This leads to the following proposal for the all-loop supergravity integrand

(17) |

where is the residual gauge symmetry of the ambitwistor string. It is fixed in standard Faddeev Popov fashion by fixing three points to and removing their corresponding delta functions. In this formula, the integrand factors and depend on the marked points, momenta and polarisation data, and take values in 1-forms in each integration variable. They are most simply defined to be the sum over spin structures of the worldsheet correlator Adamo et al. (2014); Adamo and Casali (2015) of type-II supergravity vertex operators on a genus Riemann surface , then taken to the -fold nodal limit . There is of course much work to be done to make such correlators explicit, but they are the same as those that arise in conventional string theory and as such are much studied. This is done in our context at four points and two loops in Adamo and Casali (2015).

Similar conjectures can be made for planar super Yang-Mills and for the analogue of bi-adjoint scalar amplitudes at all loops. We should respectively replace one or both of the and by the sum of all Parke-Taylor factors that are compatible with some given ordering of the external particles, but which also run through all the loops, generalizing the 1-loop case. Indeed, one can conceive of conjectures based on the ingredients of Cachazo et al. (2014b); Casali et al. (2015) for the theories described there.

Acknowledgments: We thank Oliver Schlotterer and David Skinner for useful discussions. YG is supported by the EPSRC and the Mathematical Prizes fund, LM is partially supported by EPSRC grant number EP/J019518/1, RM is a Marie Curie Fellow and a JRF at Linacre College, and PT is supported by the ERC Grant 247252 STRING.

## References

- Gross and Mende (1988) D. J. Gross and P. F. Mende, Nucl.Phys. B303, 407 (1988).
- Witten (2004) E. Witten, Adv.Theor.Math.Phys. 8, 779 (2004), arXiv:hep-th/0403199 [hep-th] .
- Roiban et al. (2004) R. Roiban, M. Spradlin, and A. Volovich, Phys.Rev. D70, 026009 (2004), arXiv:hep-th/0403190 [hep-th] .
- Cachazo et al. (2014a) F. Cachazo, S. He, and E. Y. Yuan, Phys.Rev.Lett. 113, 171601 (2014a), arXiv:1307.2199 [hep-th] .
- Cachazo et al. (2014b) F. Cachazo, S. He, and E. Y. Yuan, (2014b), arXiv:1412.3479 [hep-th] .
- Mason and Skinner (2014) L. Mason and D. Skinner, JHEP 1407, 048 (2014), arXiv:1311.2564 [hep-th] .
- Casali et al. (2015) E. Casali, Y. Geyer, L. Mason, R. Monteiro, and K. A. Roehrig, (2015), arXiv:1506.08771 [hep-th] .
- Ohmori (2015) K. Ohmori, (2015), arXiv:1504.02675 [hep-th] .
- Adamo et al. (2014) T. Adamo, E. Casali, and D. Skinner, JHEP 1404, 104 (2014), arXiv:1312.3828 [hep-th] .
- Casali and Tourkine (2015) E. Casali and P. Tourkine, JHEP 1504, 013 (2015), arXiv:1412.3787 [hep-th] .
- Dolan and Goddard (2014) L. Dolan and P. Goddard, JHEP 1405, 010 (2014), arXiv:1311.5200 [hep-th] .
- Carrasco and Johansson (2012) J. J. Carrasco and H. Johansson, Phys.Rev. D85, 025006 (2012), arXiv:1106.4711 [hep-th] .
- Mafra and Schlotterer (2015) C. R. Mafra and O. Schlotterer, Fortsch.Phys. 63, 105 (2015), arXiv:1410.0668 [hep-th] .
- Bern et al. (2008) Z. Bern, J. Carrasco, and H. Johansson, Phys.Rev. D78, 085011 (2008), arXiv:0805.3993 [hep-ph] .
- Bern et al. (2010) Z. Bern, J. J. M. Carrasco, and H. Johansson, Phys.Rev.Lett. 105, 061602 (2010), arXiv:1004.0476 [hep-th] .
- Adamo and Casali (2015) T. Adamo and E. Casali, JHEP 1505, 120 (2015), arXiv:1502.06826 [hep-th] .