IHES/P/12/03 Algebras for Amplitudes N. E. J. Bjerrum-Bohr,1, 2 Poul H. Damgaard,1 Ricardo Monteiro,1 and Donal O'Connell1 1Niels Bohr International Academy and Discovery Center, Niels Bohr Institute, University of Copenhagen, Blegdamsvej 17, DK-2100 Copenhagen, Denmark 2Institut des Hautes Etudes´ Scientifiques, 91440, Bures-sur-Yvette, France (Dated: June 14, 2012) Abstract Tree-level amplitudes of gauge theories are expressed in a basis of auxiliary amplitudes with only cubic vertices. The vertices in this formalism are explicitly factorized in color and kinematics, clarifying the color-kinematics duality in gauge theory amplitudes. The basis is constructed making use of the KK and BCJ relations, thereby showing precisely how these relations underlie the color- kinematics duality. We express gravity amplitudes in terms of a related basis of color-dressed gauge theory amplitudes, with basis coefficients which are permutation symmetric. arXiv:1203.0944v2 [hep-th] 13 Jun 2012 1 I. INTRODUCTION In recent years, our knowledge and understanding of scattering amplitudes in our most cherished theories has been revolutionised. Of course, the present interest in scattering amplitudes was spurred by our need to compute cross-sections at the LHC. But there has been much progress in areas of research which are not obviously related to the LHC. The topic of this article is one such area; namely, the correspondence between scattering amplitudes in gauge theory and in gravity. Indeed, one of the promises of our recent advances is that the fascinating connection be- tween gauge theory and gravity amplitudes may be illuminated. The intricate KLT relations between tree-level scattering amplitudes in Yang-Mills theory and gravity were outlined long ago [1]. Recently, progress in conveniently expressing gravity amplitudes as the square (or double-copy) of gauge theory amplitudes [2, 3], including at loop level [4], has allowed for remarkable studies of the ultraviolet properties of supergravity theories [5{11]. This new squaring relation between gravity and gauge theory relies on an unexpected property of gauge theory amplitudes: the existence of a duality between color and kinematics, when the amplitude is appropriately written in terms of diagrams with only cubic vertices. This dual- ity hints at a Lie algebra structure underlying the kinematic dependence of the amplitudes, akin to the Yang-Mills Lie algebra. Such a kinematic Lie algebra was indeed recently found for MHV amplitudes [12], where it was shown to be inherited from the symmetries of the self-dual sector. Generally, however, there should exist a structure independent of helicities or spacetime dimensions. In this article, we explore how to write gluon tree-level amplitudes in gauge theory using cubic vertices only, thus making manifest the intriguing duality between color and kinemat- ics. Through the squaring relation, we draw conclusions for gravity amplitudes. Although we consider gluon amplitudes for explicit checks, these results are valid also for supersymmetric extensions with fermions and scalars. We reverse the original reasoning of the color-kinematics duality [2]. In the latter work, it was found that scattering amplitudes can be written such that the color-kinematics duality is satisfied, and that this implies the existence of certain linear relations between color-ordered amplitudes, known as the BCJ relations. These relations hold in addition to the previously known KK relations [16]. The KK and BCJ relations have been proven as identities based 2 on monodromy in string theory amplitudes [13, 14], and also directly in field theory using the BCFW recursion method [15]. So the main question that we address here is how the KK and BCJ relations imply a Lie algebra structure for the kinematic dependence of the amplitudes. This paper is organized as follows. In Section II, we review the color-kinematics dual- ity. In Section III, we construct simple theories whose amplitudes satisfy this duality. In Section IV, we use these theories to construct a basis for gauge theory amplitudes, making manifest the color-kinematics duality. This is our main result. In Section V, we study a certain decomposition of gauge theory amplitudes suggested by the duality. In Section VI, we comment on implications for gravity amplitudes. Finally, in Section VII, we present our conclusions. II. REVIEW A tree-level gauge theory scattering amplitude A can be expanded as X A = gn−2 Tr[T a1 T a2 ··· T an ] A(1; 2; : : : ; n) ; (1) σ where the T a's denote the fundamental representation matrices of the Lie gauge group, and the sum is over non-cyclic permutations of external legs1. The gauge invariant components A(1; 2; : : : ; n) are referred to as color-ordered amplitudes. The existence of linear relations between the color-ordered amplitudes, however, means that we can do better than (1). The KK relations [16] allow us to express all color-ordered amplitudes in terms of a set of (n−2)! of them. The recently found BCJ relations [2] further reduce the number of independent color-ordered amplitudes to (n−3)!. Both the KK and the BCJ relations have been proven for any number of external legs [13{15]. A set of (n − 3)! independent color-ordered amplitudes can be chosen by considering permutations of all but three external legs. The BCJ relations were obtained in [2] as a result of a surprising property of gauge theory amplitudes: that they can always be written as a sum over diagrams with only cubic vertices, 1 In Eq. (1) we suppress the action of the permutation σ on the particle numbers 2; 3; : : : n for notational simplicity. We adopt this convention throughout the article. 3 the cubic structure being determined by the color factors appearing at each vertex: X ni ci A = gn−2 ; (2) D i i where ci are the colour factors, Di are the products of Feynman propagators, and ni are the numerators of those diagrams, which carry information about momenta and helicities. The contribution of a four-point vertex in a diagram can always be written in terms of two three-point vertices, by introducing a propagator and multiplying the numerator of the diagram by the corresponding factor. There is great freedom in choosing the kinematic numerators ni, since this procedure is not uniquely determined. A choice which has proven very insightful (and which does not fix this freedom completely) is to demand that these kinematic numerators satisfy identities analogous to the Jacobi identities satisfied by the color factors ci, ci ± cj ± ck = 0 −! ni ± nj ± nk = 0: (3) There is then a duality between color and kinematics. The fact that this representation is possible for gauge theory amplitudes (and for amplitudes of the closely related theories to be discussed next) implies linear relations among color-ordered amplitudes, the BCJ relations. The color-kinematics duality has been discussed extensively in recent work, see [19{37]. A remarkable aspect of this representation is that it allows for a simple construction of gravity amplitudes as the \square" of gauge theory amplitudes [2, 3], n−2 κ X ni n~i M = i : (4) 2 D i i Here, we allow for the fact that ni andn ~i need not correspond to the same gauge theory, e.g. for amplitudes in N = 4 supergravity, one may take ni from N = 4 super-Yang-Mills, andn ~i from pure Yang-Mills. Moreover, it is enough that only the numerators ni (orn ~i) satisfy Jacobi-like identities [3]. One natural puzzle arises from the duality between color and kinematics. While the color abc factors ci follow straightforwardly from sewing together the structure constants f for each diagram with cubic vertices, the numerators ni are not easily given a vertex interpretation. One of the obstacles is the four-point interaction vertex, which traditionally appears in 4 formulations of gauge theory. Yet we know from BCFW recursion that all n-point scattering amplitudes can be computed recursively using only knowledge of three-point amplitudes. This already hints at a possible special role played by three-vertices. An underlying three- vertex structure for ni was found in [12] for MHV amplitudes. That structure is inherited from the self-dual sector of the gauge theory, which will be reviewed below. We will use these results as a guide to understand the general case. III. THEORIES WITH CUBIC VERTICES Let us begin by exploring simple theories which share some of the features of Yang-Mills amplitudes but which clearly have Feynman diagram expansions with only cubic vertices, and also have naturally defined numerators satisfying Jacobi identities. A. Self-dual Yang-Mills Restricting to the self-dual sector of Yang-Mills theory removes the quartic term in the Lagrangian. There is only one degree of freedom left in the gauge field, which may be computed from a Lie algebra-valued scalar field Φ. The equation of motion is [38] 2 @ Φ + ig[@wΦ;@uΦ] = 0; (5) where we have chosen light-cone coordinates u = t − z; w = x + iy: (6) In momentum space, the cubic vertex in this theory is given by 1 @@ @ 4 (4) abc @ 3= g (2π) δ (p1 + p2 + p3)X(p1; p2)f ; (7) 2 5 where X(p1; p2) is a linear function of p1 and p2 given by X(p1; p2) = p1wp2u − p1up2w: (8) As emphasized in [12], this three-point function is the product of the structure constants of two Lie algebras: obviously one of these factors is f abc, the structure constants of the gauge group of the theory, while the other factor is p1p2p3 4 (4) F = (2π) δ (p1 + p2 + p3)X(p1; p2); (9) the structure constants of an area-preserving diffeomorphism Lie algebra. The amplitudes in this theory, seen as a sector of Yang-Mills theory, correspond to helicity configurations − + ··· +, and therefore vanish on-shell.