We show that the BRST Lagrangian double copy construction of N=0 supergravity as the ‘square’ of Yang–Mills theory finds a natural interpretation in terms of homotopy algebras. We significantly expand on our previous work arguing the validity of the double copy at the loop level, and we give a detailed derivation of the double‐copied Lagrangian and BRST operator. Our constructions are very general and can be applied to a vast set of examples.

Tree-level scattering amplitudes in Yang-Mills theory satisfy a recursion relation due to Berends and Giele which yields e.g. the famous Parke-Taylor formula for MHV amplitudes. We show that the origin of this recursion relation becomes clear in the BV formalism, which encodes a field theory in an L 8 -algebra. The recursion relation is obtained in the transition to a smallest representative in the quasi-isomorphism class of that L 8 -algebra, known as a minimal model. In fact, the quasi-isomorphism contains all the information about the scattering theory. As we explain, the computation of such a minimal model is readily performed in any BV quantisable theory, which, in turn, produces recursion relations for its tree-level scattering amplitudes.

No abstract

We derive a recursion relation for loop-level scattering amplitudes of La- grangian field theories that generalises the tree-level Berends-Giele recursion relation in Yang-Mills theory. The origin of this recursion relation is the homological perturbation lemma, which allows us to compute scattering amplitudes from minimal models of quantum homotopy algebras in a recursive way. As an application of our techniques, we give an alternative proof of the relation between non-planar and planar colour-stripped scattering amplitudes.

We summarise some of our recent works on L∞‐algebras and quasi‐groups with regard to higher principal bundles and their applications in twistor theory and gauge theory. In particular, after a lightning review of L∞‐algebras, we discuss their Maurer–Cartan theory and explain that any classical field theory admitting an action can be reformulated in this context with the help of the Batalin–Vilkovisky formalism. As examples, we explore higher Chern–Simons theory and Yang–Mills theory. We also explain how these ideas can be combined with those of twistor theory to formulate maximally superconformal gauge theories in four and six dimensions by means of L∞‐quasi‐isomorphisms, and we propose a twistor space action.