The Becchi-Rouet-Stora-Tyutin (BRST) transformations and equations of motion of a gravity-two-form-dilaton system are derived from the product of two Yang-Mills theories in a BRST covariant form, to linear approximation. The inclusion of ghost fields
facilitates the separation of the graviton and dilaton. The gravitational gauge fixing term is uniquely determined by those of the Yang-Mills factors which can be freely chosen. Moreover, the resulting gravity-two-form-dilaton Lagrangian is anti-BRST invariant and the BRST and anti-BRST charges anti commute as a direct consequence of the formalism.
Using a unified formulation of $mathcal{N} = 1, 2, 4, 8$, super Yang-Mills theories in $D = 3$ spacetime dimensions with fields valued respectively in $mathbb{R, C, H, O}$, it was shown that tensoring left and right multiplets yields a Freudenthal ma
gic square of $D = 3$ supergravities. When tied in with the more familiar $mathbb{R, C, H, O}$ description of super Yang-Mills in $D = 3, 4, 6, 10$ this results in a magic pyramid of supergravities: the known $4 times 4$ magic square at the base in $D=3$, a $3times 3$ square in $D=4$, a $2 times 2$ square in $D=6$ and Type II supergravity at the apex in $D=10$.
Using simple symmetry arguments we classify the ungauged $D=4$, $mathcal{N}=2$ supergravity theories, coupled to both vector and hyper multiplets through homogeneous scalar manifolds, that can be built as the product of $mathcal{N}=2$ and $mathcal{N}
=0$ matter-coupled Yang-Mills gauge theories. This includes all such supergravities with two isolated exceptions: pure supergravity and the $T^3$ model.
We consider `twin supergravities - pairs of supergravities with $mathcal{N}_+$ and $mathcal{N}_-$ supersymmetries, $mathcal{N}_+>mathcal{N}_-$, with identical bosonic sectors - in the context of tensoring super Yang-Mills multiplets. It is demonstrat
ed that the pairs of twin supergravity theories are related through their left and right super Yang-Mills factors. This procedure generates new theories from old. In particular, the matter coupled $mathcal{N}_-$ twins in $D=3,5,6$ and the $mathcal{N}_-=1$ twins in $D=4$ have not, as far as we are aware, been obtained previously using the double-copy construction, adding to the growing list of double-copy constructible theories. The use of fundamental matter multiplets in the double-copy construction leads us to introduce a bi-fundamental scalar that couples to the well-known bi-adjoint scalar field. It is also shown that certain matter coupled supergravities admit more than one factorisation into left and right super Yang-Mills-matter theories.
Tensoring two on-shell super Yang-Mills multiplets in dimensions $Dleq 10$ yields an on-shell supergravity multiplet, possibly with additional matter multiplets. Associating a (direct sum of) division algebra(s) $mathbb{D}$ with each dimension $3leq
Dleq 10$ we obtain formulae for the algebras $mathfrak{g}$ and $mathfrak{h}$ of the U-duality group $G$ and its maximal compact subgroup $H$, respectively, in terms of the internal global symmetry algebras of each super Yang-Mills theory. We extend our analysis to include supergravities coupled to an arbitrary number of matter multiplets by allowing for non-supersymmetric multiplets in the tensor product.
We formulate D=11 supergravity over the octonions by rewriting 32-component Majorana spinors as 4-component octonionic spinors. Dimensional reduction to D=4 and D=3 suggests an interpretation of the so-called dilaton vectors, which parameterise the c
ouplings of the dilatons to other fields in the theory, as unit octavian integers - the octonionic analogues of integers. The parameterisation involves a novel use of the duality between points and lines on the Fano plane, and suggests a series of consistent truncations with N=8,4,2,1, giving the four curious supergravities studied by Duff and Ferrara
By 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 ga
uge invariance, local Lorentz invariance and local supersymmetry from the flat space Yang-Mills symmetries of local gauge invariance and global super-Poincare. As a concrete example we focus on the new-minimal (12+12) off-shell version of simple four-dimensional supergravity obtained by tensoring the off-shell Yang-Mills multiplets (4+4,N_L =1)and(3+0,N_R =0).
We give an octonionic formulation of the N = 1 supersymmetry algebra in D = 11, including all brane charges. We write this in terms of a novel outer product, which takes a pair of elements of the division algebra A and returns a real linear operator
on A. More generally, with this product comes the power to rewrite any linear operation on R^n (n = 1,2,4,8) in terms of multiplication in the n-dimensional division algebra A. Finally, we consider the reinterpretation of the D = 11 supersymmetry algebra as an octonionic algebra in D = 4 and the truncation to division subalgebras.
By formulating N = 1, 2, 4, 8, D = 3, Yang-Mills with a single Lagrangian and single set of transformation rules, but with fields valued respectively in R,C,H,O, it was recently shown that tensoring left and right multiplets yields a Freudenthal-Rose
nfeld-Tits magic square of D = 3 supergravities. This was subsequently tied in with the more familiar R,C,H,O description of spacetime to give a unified division-algebraic description of extended super Yang-Mills in D = 3, 4, 6, 10. Here, these constructions are brought together resulting in a magic pyramid of supergravities. The base of the pyramid in D = 3 is the known 4x4 magic square, while the higher levels are comprised of a 3x3 square in D = 4, a 2x2 square in D = 6 and Type II supergravity at the apex in D = 10. The corresponding U-duality groups are given by a new algebraic structure, the magic pyramid formula, which may be regarded as being defined over three division algebras, one for spacetime and each of the left/right Yang-Mills multiplets. We also construct a conformal magic pyramid by tensoring conformal supermultiplets in D = 3, 4, 6. The missing entry in D = 10 is suggestive of an exotic theory with G/H duality structure F4(4)/Sp(3) x Sp(1).
We give a unified division algebraic description of (D=3, N=1,2,4,8), (D=4, N=1,2,4), (D=6, N=1,2) and (D=10, N=1) super Yang-Mills theories. A given (D=n+2, N) theory is completely specified by selecting a pair (A_n, A_{nN}) of division algebras, A_
n, A_{nN} = R, C, H, O, where the subscripts denote the dimension of the algebras. We present a master Lagrangian, defined over A_{nN}-valued fields, which encapsulates all cases. Each possibility is obtained from the unique (O, O) (D=10, N=1) theory by a combination of Cayley-Dickson halving, which amounts to dimensional reduction, and removing points, lines and quadrangles of the Fano plane, which amounts to consistent truncation. The so-called triality algebras associated with the division algebras allow for a novel formula for the overall (spacetime plus internal) symmetries of the on-shell degrees of freedom of the theories. We use imaginary A_{nN}-valued auxiliary fields to close the non-maximal supersymmetry algebra off-shell. The failure to close for maximally supersymmetric theories is attributed directly to the non-associativity of the octonions.
