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).

Topological phases of matter exhibit Bott-like periodicity with respect to
time-reversal, charge conjugation, and spatial dimension. I will explain how
the non-commutative topology in topological phases originates very generally
from symmetry data, and how operator K-theory provides a powerful and
natural framework for studying them.

We treat the problem of geometric interpretation of the formalism
of algebraic quantum mechanics as a special case of the general problem of
extending classical 'algebra - geometry' dualities (such as the
Gel'fand-Naimark theorem) to non-commutative setting.  
I will report on some progress in establishing such dualities. In
particular, it leads to a theory of approximate representations of Weyl
algebras
in finite dimensional  "Hilbert spaces". Some calculations based on this
theory will be discussed.

Little is known about C_exp, the complex field with the exponential function. Model theoretically it is difficult due to the definability of the integers (so its theory is not stable), and a lack of clear algebraic structure; for instance, it is not known whether or not pi+e is irrational. In order to study C_exp, Boris Zilber constructed a class of pseudo-exponential fields which satisfy all the properties we desire of C_exp. This class is categorical for every uncountable cardinal, and other more general classes have been defined. I shall define the three main classes of exponential fields that I study, one of which being Zilber's class, and show that they exhibit "stable-like" behaviour modulo the integers by defining a notion of independence for each class. I shall also explicitly apply one of these independence relations to show that in the class of exponential fields ECF, types that are orthogonal to the kernel are exactly the generically stable types.