Mathematical Physics

In this talk we will introduce categories, a notion that packages mathematical objects of any kind and provides an abstract language to study them. We will build up our way towards so-called modular tensor categories, which roughly speaking are categories with a tensor product, duals, and quite a bit of extra categorical structure. They arise in (rational) conformal field theory and its study poses many interesting questions on their classification, internal structure and generalizations. I will give an overview of these questions and some current lines of research in this topic.

The physics of General Relativity is deeply intertwined with the mathematics of Lorentzian differentiable manifolds. The latter provide excellent models of spacetime across a vast range of physical scales, encoding gravitational interactions into the curvature properties of smooth metric spaces. However, describing geometry in terms of the infinitesimal line element "ds" does not seem appropriate in the quantum regime near the Planck scale. -- Coming from different perspectives, geometers, classical relativists and quantum gravity researchers are actively investigating more general geometric settings, abandoning smoothness or even continuity of the metric space. The crucial question is what aspects of standard (pseudo-)Riemannian geometry survive, and what this tells us about the "essence" of curvature and geometry and about the ultimate nature of physical spacetime. Can we learn from each others' insights?

In this talk we will introduce generalized hyperpolygons, which arise as Nakajima-type representations of a comet-shaped quiver, following recent work joint with Steven Rayan. After showing how to identify these representations with pairs of polygons, we shall associate to the data an explicit meromorphic Higgs bundle on a genus-g Riemann surface, where g is the number of loops in the comet. We shall see that, under certain assumptions on flag types, the moduli space of generalized hyperpolygons admits the structure of a completely integrable Hamiltonian system.

I will discuss some of the mathematical puzzles that arise from the causal set approach to quantum gravity. In this approach, any causal continuum spacetime is said to be emergent from an underlying ensemble of locally finite posets which represents a discretisation of the causal structure. If the discrete substructure is to capture continuum geometry to sufficient accuracy, then it must be "approximately" close to it. How can we quantify this closeness? This discreteness, while also preserving local Lorentz invariance, leads to a fundamental non-locality. This is not only an obstacle to a “traditional” initial value formulation, but also to the geometric interpretation of entanglement entropy. Is there an analytic way to quantify the remanent Planckian non-locality? These questions, as well as others arising from the quantum dynamics of causal, may be of potential interest to mathematicians, in particular Geometers and Combinatorists.

"I will start by explaining how the (Weyl) spinor representations of the pseudo-orthogonal group Spin(2r+s,s) are the spaces of even and odd polyforms on Cr x Rs. Then, the triality identifies the Majorana-Weyl spinors of Spin(8) with octonions. Combining the two constructions one finds that the groups Spin(8+s,s) all have an octonionic description, with Weyl spinors of this group being a copy of O^(2^s). This also gives an octonionic description of the groups that can be embedded into Spin(8+s,s). Applying this construction to Spin(10,2) gives an octonionic description of Spin(10). The latter arises as the subgroup of Spin(10,2) that commutes with a certain complex structure on the space of its Weyl spinors O4. This gives a description of Weyl spinors of Spin(10) as O2_C, and an explicit description of the Lie algebra of Spin(10) as that of 2x2 matrices (of a special type) with complex (and octonionic) entries. It is well known from the SO(10) GUT that fermions of one generation of the SM can be described as components of a single Weyl spinor of Spin(10). Combining this with the previous construction one gets an explanation of why it is natural to identify elementary particles with components of two copies of complexified octonions. I explicitly describe the dictionary that provides this identification. I also describe how a choice of a unit imaginary octonion induces some natural complex structures on the space of Spin(10) Weyl spinors. For one of these complex structures, its commutant in Spin(10) is SU(2)_L x SU(2)_R x SU(3) x U(1). One thus gets a surprisingly large number of structures seen in the SM from very little input - a choice of a unit imaginary octonion. "

The concepts of quantum information theory play an important role in two seemingly distinct areas of physics: For studying the quantum properties of black holes as well as for devising quantum computing algorithms. Quantum entanglement and computational complexity may be mapped to  geometric quantities. This is intimately related to the holographic principle, according to which the information stored in a volume is encoded on its surface, as is the case for black holes.  In the talk I will describe the essential new concepts that relate quantum information to geometry and gravity. Technically, this involves generalising quantum information results to quantum field theories, i.e. from finite to infinite-dimensional Hilbert spaces. I will explain how the new  relations may be used to obtain both a further understanding of quantum black holes, as well as further advances for the theoretical foundations of quantum computing.

Can the 32C-dimensional algebra RCHO offer anything new for particle physics? Indeed it can. Here we identify a sequence of complex structures within RCHO which sets in motion a cascade of breaking symmetries: Spin(10) -> Pati-Salam -> Left-Right symmetric -> Standard model + B-L (both pre- and post-Higgs-mechanism). These complex structures derive from the octonions, then from the quaternions, then from the complex numbers. It should be noted that this pattern would not have been obvious within the standard formalism.