The string of possibly cryptic words in the title will be discussed. Neither prior knowledge nor interest in all of the terms is assumed. We hope there is something for everyone! Essentially, two ideas that we find interesting will be brought together:
Scattering amplitudes are the most direct bridge between quantum field theory and particle collider experiments. They are also incredibly rich structures that provide deep physical/mathematical insights into the underlying theories. An example is provided by the colour-kinematics duality of gluon amplitudes. While in Yang-Mills theory the internal colour and spacetime Lorentz symmetries ostensibly live independent lives, it seems that they dance to the same tune in the scattering amplitudes. A consequence of this hidden property is that graviton scattering amplitudes are the “double copy” of gluon amplitudes: Einstein = Yang-Mills squared!
Homotopy algebras generalise familiar algebras (matrix, exterior, Lie…) by relaxing the defining identities up to homotopy. The homotopy maps form higher products in corresponding homotopy algebra. A key example is that of homotopy Lie algebras or L∞-algebras. The violation of the familiar Lie bracket [-,-] Jacobi identity is controlled by a unary [-] and ternary bracket [-,-,-], which themselves satisfy nested Jacobi identities up to homotopies controlled by yet higher brackets and so on. They arise naturally and inevitably in a number of mathematical contexts, such as categorified symmetries. They also have deep connections to physics. Indeed, every perturbative Lagrangian quantum field theory corresponds to a homotopy Lie algebra, allowing one to move between the physics of scattering amplitudes and the mathematics of homotopy algebras.
We shall first illustrate how the colour-kinematics duality of scattering amplitudes can be realised at the level of the Batalin–Vilkovisky action: assuming tree-level colour-kinematics duality of the physics S-matrix, there exists an action principle manifesting colour-kinematics duality as a (possible anomalous) conventional symmetry. In homotopy algebraic terms, the associated homotopy commutative algebra (aka the “colour-stripped” homotopy Lie algebra) carries a homotopy BV-box algebras structure. This observation in turn allows us to give simple proofs of tree-level colour-kinematics for a variety of theories, some old, some new, and make progress in characterising what is and isn’t possible at the loop-level.