BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Lionel Mason appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This is an introduction to, and invitation to read, a series of review articles on scattering amplitudes in gauge theory, gravity, and superstring theory. Our aim is to provide an overview of the field, from basic aspects to a selection of current (2022) research and developments.
We explain how twistor theory represents the self-dual sector of four dimensional gravity in terms of the loop group of Poisson diffeomorphisms of the plane via Penrose's non-linear graviton construction. The symmetries of the self-dual sector are generated by the corresponding loop algebra $Lw_{1+\infty}$ of the algebra $w_{1+\infty}$ of these Poisson diffeomorphisms. We show that these coincide with the infinite tower of soft graviton symmetries in tree-level perturbative gravity recently discovered in the context of celestial amplitudes. We use a twistor sigma model for the self-dual sector which describes maps from the Riemann sphere to the asymptotic twistor space defined from characteristic data at null infinity ${\mathcal I}$. We show that the OPE of the sigma model naturally encodes the Poisson structure on twistor space and gives rise to the celestial realization of $Lw_{1+\infty}$. The vertex operators representing soft gravitons in our model act as currents generating the wedge algebra of $w_{1+\infty}$ and produce the expected celestial OPE with hard gravitons of both helicities. We also discuss how the two copies of $Lw_{1+\infty}$, one for each of the self-dual and anti-self-dual sectors, are represented in the OPEs of vertex operators of the 4d ambitwistor string.
In his twistor-particle programme of the 1970's, Roger Penrose introduced a representation of the massive particle phase space in terms of a pair of twistors subject to an internal symmetry group. Here we use this representation to introduce a chiral string whose target is a complexification of this space, extended so as to incorporate supersymmetry. We show that the gauge anomalies associated to the internal symmetry group vanish only for maximal supersymmetry, and that correlators in these string models describe amplitudes involving massive particles with manifest supersymmetry. The models and amplitude formulae exhibit a double copy structure from gauge theory on the Coulomb branch to gravity, although the graviton remains massless. The formulae are closely related to those obtained earlier by the authors expressed in terms of the polarised scattering equations.
Starting with Witten's twistor string, chiral string theories have emerged that describe field theory amplitudes without the towers of massive states of conventional strings. These models are known as ambitwistor strings due to their target space; the space of complexified null geodesics, also called ambitwistor space. Correlators in these string theories directly yield compact formulae for tree-level amplitudes and loop integrands, in the form of worldsheet integrals fully localized on solutions to constraints known as the scattering equations. In this chapter, we discuss two incarnations of the ambitwistor string: a 'vector representation' starting in space-time and structurally resembling the RNS superstring, and a four-dimensional twistorial version closely related to, but distinct from Witten's original model. The RNS-like models exist for several theories, with 'heterotic' and type II models describing super-Yang-Mills and 10d supergravities respectively, and they manifest the double copy relations directly at the level of the worldsheet models. In the second half of the chapter, we explain how the underlying models lead to diverse applications, ranging from extensions to new sectors of theories, loop amplitudes and to scattering on curved backgrounds. We conclude with a brief discussion of connections to conventional strings and celestial holography.
We review Lie polynomials as a mathematical framework that underpins the structure of the so-called double copy relationship between gauge and gravity theories (and a network of other theories besides). We explain how Lie polynomials naturally arise in the geometry and cohomology of $\mathcal{M}_{0,n}$, the moduli space of $n$ points on the Riemann sphere up to Mobiüs transformation. We introduce a twistorial correspondence between the cotangent bundle $T^*_D\mathcal{M}_{0,n}$, the bundle of forms with logarithmic singularities on the divisor $D$ as the twistor space, and $\mathcal{K}_n$ the space of momentum invariants of $n$ massless particles subject to momentum conservation as the analogue of space-time. This gives a natural framework for Cachazo He and Yuan (CHY) and ambitwistor-string formulae for scattering amplitudes of gauge and gravity theories as being the corresponding Penrose transform. In particular we show that it gives a natural correspondence between CHY half-integrands and scattering forms, certain $n-3$-forms on $\mathcal{K}_n$, introduced by Arkani-Hamed, Bai, He and Yan (ABHY). We also give a generalization and more invariant description of the associahedral $n-3$-planes in $\mathcal{K}_n$ introduced by ABHY.}
We present all-multiplicity formulae for the tree-level scattering of gluons and gravitons in the maximal helicity violating (MHV) helicity configuration, calculated in certain chiral strong fields. The strong backgrounds we consider are self-dual plane waves in gauge theory and general relativity, which are treated exactly and admit a well-defined S-matrix. The gauge theory background-coupled MHV amplitude is simply a dressed analogue of the familiar Parke-Taylor formula, but the gravitational version has non-trivial new structures due to graviton tails. Both formulae have just one residual integral rather than the $n-2$ expected at $n$-points from space-time perturbation theory; this simplification arises from the integrability of self-dual backgrounds and their corresponding twistor description. The resulting formulae pass several consistency checks and limit to the well-known expressions for MHV scattering of gluons and gravitons when the background becomes trivial.
We obtain compact formulae for tree super-amplitudes for 10 and 11-dimensional supergravity and 10-dimensional supersymmetric Yang-Mills and Born-Infeld. These are based on the \emph{polarised scattering equations}. These incorporate polarization data into a spinor field on the Riemann sphere and arise from a twistorial representation of ambitwistor strings in 10 and 11 dimensions. They naturally extend amplitude formulae to manifest maximal supersymmetry. The framework is the natural generalization of twistorial ambitwistor string formulae found previously in four and six dimensions and is informally motivated from a vertex operator prescription for a family of supersymmetric worldsheet ambitwistor string models.
Scattering amplitudes in $d+2$ dimensions can be expressed in terms of a conformal basis, for which the S-matrix behaves as a CFT correlation function on the celestial $d$-sphere. We explain how compact expressions for the full tree-level S-matrix of gauge theory, gravity and other QFTs extend to this conformal basis, and are easily derived from ambitwistor strings. Using these formulae and their worldsheet origins, we prove various tree-level 'conformal soft theorems' in gauge theory and gravity in any dimension; these arise from limits where the scaling dimension of an external state in the scattering process takes special values. These conformally soft limits are obscure from standard methods, but they are easily derived with ambitwistor strings. Additionally, we make an identification between the residues of conformally soft vertex operator insertions in ambitwistor strings and charges generating asymptotic symmetries.
A new ambitwistor string is constructed based on a ten-dimensional supertwistor model for the massless superparticle. Although covariant quantization is complicated by reducibility issues, a light-cone gauge analysis can be easily performed. We show that with this analysis, this supertwistor ambitwistor string is equivalent to the RNS ambitwistor string in light-cone gauge. In order to make the comparison, we develop the light-cone gauge analysis of the RNS ambitwistor string which has some novel features in terms of its expression of the scattering equations through interaction point operators.
The scattering equations provide a powerful framework for the study of scattering amplitudes in a variety of theories. Their derivation from ambitwistor string theory led to proposals for formulae at one loop on a torus for 10 dimensional supergravity, and we recently showed how these can be reduced to the Riemann sphere and checked in simple cases. We also proposed analogous formulae for other theories including maximal super-Yang-Mills theory and supergravity in other dimensions at one loop. We give further details of these results and extend them in two directions. Firstly, we propose new formulae for the one-loop integrands of Yang-Mills theory and gravity in the absence of supersymmetry. These follow from the identification of the states running in the loop as expressed in the ambitwistor-string correlator. Secondly, we give a systematic proof of the non-supersymmetric formulae using the worldsheet factorisation properties of the nodal Riemann sphere underlying the scattering equations at one loop. Our formulae have the same decomposition under the recently introduced Q-cuts as one-loop integrands and hence give the correct amplitudes.
The scattering equations give striking formulae for massless scattering amplitudes at tree level and, as shown recently, at one loop. The progress at loop level was based on ambitwistor string theory, which naturally yields the scattering equations. We proposed that, for ambitwistor strings, the standard loop expansion in terms of the genus of the worldsheet is equivalent to an expansion in terms of nodes of a Riemann sphere, with the nodes carrying the loop momenta. In this paper, we show how to obtain two-loop scattering equations with the correct factorization properties. We adapt genus-two integrands from the ambitwistor string to the nodal Riemann sphere and show that these yield correct answers, by matching standard results for the four-point two-loop amplitudes of maximal supergravity and super-Yang-Mills theory. In the Yang-Mills case, this requires the loop analogue of the Parke-Taylor factor carrying the colour dependence, which includes non-planar contributions.
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 n-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.
We describe new ambitwistor string theories that give rise to the recent amplitude formulae for Einstein-Yang-Mills, (Dirac)-Born-Infeld, Galileons and others introduced by Cachazo, He and Yuan. In the case of the Einstein-Yang-Mills amplitudes, an important role is played by a novel worldsheet conformal field theory that provides the appropriate colour factors precisely without the spurious multitrace terms of earlier models that had to be ignored by hand. This is needed to obtain the correct multitrace terms that arise when Yang-Mills is coupled to gravity.
The relationships between extended BMS symmetries at null infinity and Weinberg's soft theorems for gravitons and photons together with their subleading generalizations are developed using ambitwistor string theory. Ambitwistor space is the phase space of complex null geodesics in complexified space-time. We show how it can be canonically identified with the cotangent bundle of null infinity. BMS symmetries of null infinity lift to give a hamiltonian action on ambitwistor space, both in general dimension and in its twistorial 4-dimensional representation. General vertex operators arise from hamiltonians generating diffeomorphisms of ambitwistor space that determine the scattering from past to future null infinity. When a momentum eigenstate goes soft, the diffeomorphism defined by its leading and its subleading part are extended BMS generators realized in the world sheet conformal field theory of the ambitwistor string. More generally, this gives explicit perturbative correspondence between the scattering of null geodesics and that of the gravitational field via ambitwistor string theory.
We use the embedding of Einstein gravity with cosmological constant into conformal gravity as a basis for using the twistor action for conformal gravity to obtain MHV scattering amplitudes not just for conformal gravity, but also for Einstein gravity on backgrounds with non-zero cosmological constant. The new formulae for the gravitational MHV amplitude with cosmological constant arise by summing Feynman diagrams using the matrix-tree theorem. We show that this formula is well-defined (i.e., is independent of certain gauge choices) and that it non-trivially reproduces Hodges' formula for the MHV amplitude in the flat-space limit. We give a preliminary discussion of a MHV formalism for more general amplitudes obtained from the conformal gravity twistor action in an axial gauge. We also see that the embedding of Einstein data into the conformal gravity action can be performed off-shell in twistor space to give a proposal for an Einstein twistor action that automatically gives the same MHV amplitude. These ideas extend naturally to N=4 supersymmetry.
We prove the formula for the complete tree-level $S$-matrix of $\mathcal{N}=8$ supergravity recently conjectured by two of the authors. The proof proceeds by showing that the new formula satisfies the same BCFW recursion relations that physical amplitudes are known to satisfy, with the same initial conditions. As part of the proof, the behavior of the new formula under large BCFW deformations is studied. An unexpected bonus of the analysis is a very straightforward proof of the enigmatic $1/z^2$ behavior of gravity. In addition, we provide a description of gravity amplitudes as a multidimensional contour integral over a Grassmannian. The Grassmannian formulation has a very simple structure; in the N$^{k-2}$MHV sector the integrand is essentially the product of that of an MHV and an $\overline{\rm MHV}$ amplitude, with $k+1$ and $n-k-1$ particles respectively.
We show that string theories admit chiral infinite tension analogues in which only the massless parts of the spectrum survive. Geometrically they describe holomorphic maps to spaces of complex null geodesics, known as ambitwistor spaces. They have the standard critical space--time dimensions of string theory (26 in the bosonic case and 10 for the superstring). Quantization leads to the formulae for tree--level scattering amplitudes of massless particles found recently by Cachazo, He and Yuan. These representations localize the vertex operators to solutions of the same equations found by Gross and Mende to govern the behaviour of strings in the limit of high energy, fixed angle scattering. Here, localization to the scattering equations emerges naturally as a consequence of working on ambitwistor space. The worldsheet theory suggests a way to extend these amplitudes to spinor fields and to loop level. We argue that this family of string theories is a natural extension of the existing twistor string theories.
Recently, loop integrands for certain Yang-Mills scattering amplitudes and correlation functions have been shown to be systematically expressible in dlog form, raising the possibility that these loop integrals can be performed directly without Feynman parameters. We do so here to give a new description of the planar 1-loop MHV amplitude in N = 4 super Yang-Mills theory. We explicitly incorporate the standard Feynman i epsilon prescription into the integrands. We find that the generic MHV diagram contributing to the 1-loop MHV amplitude, known as Kermit, is dual conformal invariant up to the choice of reference twistor explicit in our axial gauge (the generic MHV diagram was already known to be finite). The new formulae for the amplitude are nontrivially related to previous ones in the literature. The divergent diagrams are evaluated using mass regularization. Our techniques extend directly to higher loop diagrams, and we illustrate this by sketching the evaluation of a non-trivial 2-loop example. We expect this to lead to a simple and efficient method for computing amplitudes and correlation functions with less supersymmetry and without the assumption of planarity.
The S-matrix for planar N = 4 super Yang-Mills theory can be computed as the correlation function for a holomorphic polygonal Wilson loop in twistor space. In an axial gauge, this leads to the construction of the all-loop integrand via MHV diagrams in twistor space. We show that at MHV, this formulation leads directly to expressions for loop integrands in d log form; i.e., the integrand is a product of exterior derivatives of logarithms of rational functions. For higher MHV degree, it is in d log form multiplied by delta functions. The parameters appearing in the d log form arise geometrically as the coordinates of insertion points of propagators on the holomorphic Wilson loop or on MHV vertices. We discuss a number of examples at one and two loops and give a preliminary discussion of the evaluation of the 1-loop MHV amplitude.
We apply the twistor construction for higher-dimensional black holes to known examples in five space-time dimensions. First the patching matrices are calculated from the explicit metric for these examples. Then an ansatz is proposed for obtaining the patching matrix instead from the data of rod structure and angular momenta. The ansatz is tested on examples with up to three nuts, and these are shown to give flat space, the Myers-Perry solution and the black ring, as expected. Rules for the transition between different adaptations of the patching matrix and for the elimination of conical singularities are developed and seen to work.
Recently we discussed how Einstein supergravity tree amplitudes might be obtained from the original Witten and Berkovits twistor-string theory when external conformal gravitons are restricted to be Einstein gravitons. Here we obtain a more systematic understanding of the relationship between conformal and Einstein gravity amplitudes in that twistor-string theory. We show that although it does not in general yield Einstein amplitudes, we can nevertheless obtain some partial twistor-string interpretation of the remarkable formulae recently been found by Hodges and generalized to all tree amplitudes by Cachazo and Skinner. The Hodges matrix and its higher degree generalizations encode the world sheet correlators of the twistor string. These matrices control both Einstein amplitudes and those of the conformal gravity arising from the Witten and Berkovits twistor-string. Amplitudes in the latter case arise from products of the diagonal elements of the generalized Hodges matrices and reduced determinants give the former. The reduced determinants arise if the contractions in the worldsheet correlator are restricted to form connected trees at MHV. The (generalized) Hodges matrices arise as weighted Laplacian matrices for the graph of possible contractions in the correlators and the reduced determinants of these weighted Laplacian matrices give the sum of of the connected tree contributions by an extension of the Matrix-Tree theorem.
This paper studies various properties of amplitudes in 3d super Yang Mills theory. First we explain how to obtain the amplitudes of 3d super Yang Mills theories from 4d super Yang Mills theories and obtain their helicity structure. Next, we use a 3d BFCW recursion relation to show that the tree amplitudes and loop integrands of maximal 3d super Yang Mills have dual conformal covariance (although not invariance, so that the amplitudes themselves are not dual conformal). Finally, we argue that the one-loop amplitudes of maximal 3d super Yang-Mills can be reduced to scalar box diagrams and evaluate these diagrams using dimensional regularization. We find that the one-loop MHV amplitudes vanish and the one-loop non-MHV amplitudes are finite.
MHV diagrams give an efficient Feynman diagram-like formalism for calculating gauge theory scattering amplitudes on momentum space. Although they arise as the Feynman diagrams from an action on twistor space in an axial gauge, the main ingredients were previously expressed only in momentum space and momentum twistor space. Here we show how the formalism can be elegantly derived and expressed entirely in twistor space. This brings out the underlying superconformal invariance of the framework (up to the choice of a reference twistor used to define the axial gauge) and makes the twistor support transparent. Our treatment is largely independent of signature, although we focus on Lorentz signature. Starting from the N=4 super-Yang-Mills twistor action, we obtain the propagator for the anti-holomorphic Dolbeault-operator as a delta function imposing collinear support with the reference twistor defining the axial gauge. The MHV vertices are also expressed in terms of similar delta functions. We obtain concrete formulae for tree-level N^{k}MHV diagrams as a product of MHV amplitudes with an R-invariant for each propagator; here the R-invariant manifests superconformal as opposed to dual-superconformal invariance. This gives the expected explicit support on k+1 lines linked by k further lines associated to the propagators. The R-invariants arising correspond to those obtained in the dual conformal invariant momentum twistor version of the formalism, but differences arise in the specification of the boundary terms. Surprisingly, in this framework, some finite loop integrals can be performed as simply as those for tree diagrams.
We prove that in the limit when its insertion points become pairwise null-separated, the ratio of certain n-point correlation functions in N=4 SYM is equal to a supersymmetric Wilson loop on twistor space, acting in the adjoint representation. In the planar limit, each of these objects reduces to the square of the complete n-particle planar superamplitude. Our proof is at the level of the integrand.
We study the peeling of Dirac and Maxwell fields on a Schwarzschild background following the approach developed by the authors in Mason-Nicolas 2009 for the wave equation. The method combines a conformal compactification with vector field techniques in order to work out the optimal space of initial data for a given transverse regularity of the rescaled field across null infinity. The results show that analogous decay and regularity assumptions in Minkowski and in Schwarzschild produce the same regularity across null infinity. The results are valid also for the classes of asymptotically simple spacetimes constructed by Corvino-Schoen / Chrusciel-Delay.
This article reviews the recent progress in twistor approaches to Wilson loops, amplitudes and their duality for N=4 super Yang-Mills. Wilson loops and amplitudes are derived from first principles using the twistor action for maximally supersymmetric Yang-Mills theory. We start by deriving the MHV rules for gauge theory amplitudes from the twistor action in an axial gauge in twistor space, and show that this gives rise to the original momentum space version given by Cachazo, Svrcek and Witten. We then go on to obtain from these the construction of the momentum twistor space loop integrand using (planar) MHV rules and show how it arises as the expectation value of a holomorphic Wilson loop in twistor space. We explain the connection between the holomorphic Wilson loop and certain light-cone limits of correlation functions. We give a brief review of other ideas in connection with amplitudes in twistor space: twistor-strings, recursion in twistor space, the Grassmannian residue formula for leading singularities and amplitudes as polytopes. This article is an invited review for a special issue of Journal of Physics A devoted to `Scattering Amplitudes in Gauge Theories'.
We show that one-loop scalar box functions can be interpreted as volumes of geodesic tetrahedra embedded in a copy of AdS_5 that has dual conformal space-time as boundary. When the tetrahedron is space-like, it lies in a totally geodesic hyperbolic three-space inside AdS_5, with its four vertices on the boundary. It is a classical result that the volume of such a tetrahedron is given by the Bloch-Wigner dilogarithm and this agrees with the standard physics formulae for such box functions. The combinations of box functions that arise in the n-particle one-loop MHV amplitude in N=4 super Yang-Mills correspond to the volume of a three-dimensional polytope without boundary, all of whose vertices are attached to a null polygon (which in other formulations is interpreted as a Wilson loop) at infinity.
We show that there are remarkable simplifications when the MHV diagram formalism for N=4 super Yang-Mills is reformulated in momentum twistor space. The vertices are replaced by unity while each propagator becomes a dual superconformal `R-invariant' whose arguments may be read off from the diagram. The momentum twistor MHV rules generate a formula for the full, all-loop planar integrand of the super Yang-Mills S-matrix that is manifestly dual superconformally invariant up to the choice of a reference twistor. We give a general proof of this reformulation and illustrate its use by computing the momentum twistor NMHV and NNMHV tree amplitudes and the integrands of the MHV and NMHV 1-loop and the MHV 2-loop planar amplitudes.
We propose that the complete planar S-matrix of N=4 super Yang-Mills - including all N^kMHV partial amplitudes to all loops - is equivalent to the correlation function of a supersymmetric Wilson loop in twistor space. Remarkably, the entire classical S-matrix arises from evaluating the correlation function in the self-dual sector, while the expansion of the correlation function in powers of the Yang-Mills coupling constant provides the loop expansion of the amplitudes. We support our proposal with explicit computations of the n particle NMHV and NNMHV trees, the integrands of the 1-loop MHV and NMHV amplitudes, and the n particle 2-loop MHV amplitude. These calculations are performed using the twistor action in axial gauge. In this gauge, the Feynman diagrams of the correlation function are the planar duals of the usual MHV diagrams for the scattering amplitude. The results are presented in the form of a sum of products of dual superconformal invariants in (momentum) twistor space, and agree with the expressions derived in arXiv:1009.1854 directly from the MHV rules. The twistor space Wilson loop is a natural supersymmetric generalization of the standard Wilson loop used to compute MHV amplitudes. We show how the Penrose-Ward transform can be used to determine a corresponding supersymmetrization on space-time.
We give a self-contained derivation of the MHV amplitudes for gravity and use the associated twistor generating function to define a twistor action for the MHV diagram approach to gravity. Starting from a background field calculation on a spacetime with anti self-dual curvature, we obtain a simple spacetime formula for the scattering of a single, positive helicity linearized graviton into one of negative helicity. Re-expressing our integral in terms of twistor data allows us to consider a spacetime that is asymptotic to a superposition of plane waves. Expanding these out perturbatively yields the gravitational MHV amplitudes of Berends, Giele & Kuijf. We go on to take the twistor generating function off-shell at the perturbative level. Combining this with a twistor action for the anti self-dual background, we obtain a twistor action for the MHV diagram approach to perturbative gravity. We finish by extending these results to supergravity, in particular N=4 and N=8.
We show that the Euclidean Kerr-NUT-(A)dS metric in $2m$ dimensions locally admits $2^m$ hermitian complex structures. These are derived from the existence of a non-degenerate closed conformal Killing-Yano tensor with distinct eigenvalues. More generally, a conformal Killing-Yano tensor, provided its exterior derivative satisfies a certain condition, algebraically determines $2^m$ almost complex structures that turn out to be integrable as a consequence of the conformal Killing-Yano equations. In the complexification, these lead to $2^m$ maximal isotropic foliations of the manifold and, in Lorentz signature, these lead to two congruences of null geodesics. These are not shear-free, but satisfy a weaker condition that also generalizes the shear-free condition from 4-dimensions to higher-dimensions. In odd dimensions, a conformal Killing-Yano tensor leads to similar integrable distributions in the complexification. We show that the recently discovered 5-dimensional solution of Lu, Mei and Pope also admits such integrable distributions, although this does not quite fit into the story as the obvious associated two-form is not conformal Killing-Yano. We give conditions on the Weyl curvature tensor imposed by the existence of a non-degenerate conformal Killing-Yano tensor; these give an appropriate generalization of the type D condition on a Weyl tensor from four dimensions.
Twistor ideas have led to a number of recent advances in our understanding of scattering amplitudes. Much of this work has been indirect, determining the twistor space support of scattering amplitudes by examining the amplitudes in momentum space. In this paper, we construct the actual twistor scattering amplitudes themselves. We show that the recursion relations of Britto, Cachazo, Feng and Witten have a natural twistor formulation that, together with the three-point seed amplitudes, allows us to recursively construct general tree amplitudes in twistor space. We obtain explicit formulae for $n$-particle MHV and NMHV super-amplitudes, their CPT conjugates (whose representations are distinct in our chiral framework), and the eight particle N^2MHV super-amplitude. We also give simple closed form formulae for the N=8 supergravity recursion and the MHV and conjugate MHV amplitudes. This gives a formulation of scattering amplitudes in maximally supersymmetric theories in which superconformal symmetry and its breaking is manifest. For N^kMHV, the amplitudes are given by 2n-4 integrals in the form of Hilbert transforms of a product of $n-k-2$ purely geometric, superconformally invariant twistor delta functions, dressed by certain sign operators. These sign operators subtly violate conformal invariance, even for tree-level amplitudes in N=4 super Yang-Mills, and we trace their origin to a topological property of split signature space-time. We develop the twistor transform to relate our work to the ambidextrous twistor diagram approach of Hodges and of Arkani-Hamed, Cachazo, Cheung and Kaplan.
We derive a systematic procedure for obtaining an explicit, L-loop leading singularities of planar N=4 super Yang-Mills scattering amplitudes in twistor space directly from their momentum space channel diagrams. The expressions are given as integrals over the moduli of connected, nodal curves in twistor space whose degree and genus matches expectations from twistor-string theory. We propose that a twistor-string theory for pure N=4 super Yang-Mills, if it exists, is determined by the condition that these leading singularity formulae arise as residues when an unphysical contour for the path integral is used, by analogy with the momentum space leading singularity conjecture. We go on to show that the genus g twistor-string moduli space for g-loop N^{k-2}MHV amplitudes may be mapped into the Grassmannian G(k,n). Restricting to a leading singularity, the image of this map is a 2(n-2)-dimensional subcycle of G(k,n) of exactly the type found from the Grassmannian residue formula of Arkani-Hamed, Cachazo, Cheung and Kaplan. Based on this correspondence and the Grassmannian conjecture, we deduce restrictions on the possible leading singularities of multi-loop N^pMHV amplitudes. In particular, we argue that no new leading singularities can arise beyond 3p loops.
We construct a twistor space action for N=4 super Yang-Mills theory and show that it is equivalent to its four dimensional spacetime counterpart at the level of perturbation theory. We compare our partition function to the original twistor-string proposal, showing that although our theory is closely related to string theory, it is free from conformal supergravity. We also provide twistor actions for gauge theories with N<4 supersymmetry, and show how matter multiplets may be coupled to the gauge sector.