On the symmetries of “Yang-Mills squared”

A recurring theme in attempts to understand the quantum theory of gravity is the idea of "Gravity as the square of Yang-Mills". In recent years this idea has been met with renewed energy, principally driven by a string of discoveries uncovering intriguing and powerful identities relating gravity and gauge scattering amplitudes. In an effort to develop this program further, we explore the relationship between both the global and local symmetries of (super)gravity and those of (super) Yang-Mills theories squared. 



In the context of global symmetries we begin by giving a unified description of D=3 super-Yang-Mills theory with N=1, 2, 4, 8 supersymmeties in terms of the four division algebras: reals, complex, quaternions and octonions. On taking the product of these multiplets we obtain a set of D=3 supergravity theories with global symmetries (U-dualities) belonging to the Freudenthal magic square: “division algebras squared” = “Yang-Mills squared”! By generalising to D=3,4,6,10 we uncover a magic pyramid of Lie algebras.



We then turn our attention to local symmetries. Regarding gravity as the convolution of left and right Yang-Mills theories together with a spectator scalar field in the bi-adjoint representation, we derive in linearised approximation the gravitational symmetries of general covariance, p-form gauge invariance, local Lorentz invariance and local supersymmetry from the flat space Yang-Mills symmetries of local gauge invariance and global super-Poincaré. As a concrete example we focus on the new-minimal (12+12, N=1) off-shell version four-dimensional supergravity obtained by tensoring the off-shell (super) Yang-Mills multiplets (4+4, N =1) and (3+0, N =0).