It is a well-known fact that conformal structures on Riemann surfaces are in 1:1 correspondence with complex structures, but have you ever wondered whether this is just a fluke in 2 dimensions? In this talk, I will explain the concept of Penrose's "non-linear graviton", a fancy name for the twistor space of a hyperkahler manifold and one of the major historical achievements of Oxford maths. The twistor correspondence associates points of the hyperkahler manifold with certain holomorphic rational curves embedded in twistor space. We will see how information of the hyperkahler metric can be encoded purely in the complex structure on twistor space, giving a partial but welcome generalization of the 2-dimensional "fluke". Then I will outline a recently found Dolbeault-framework for the metric's reconstruction from local representatives of this complex structure. This provides an explicit integral formula for Kahler forms and consequently for the hyperkahler metric in terms of holomorphic data on twistor space. Finally, time permitting, I will discuss some interesting applications to (some or all of) PDEs, hyperkahler quotients, and the physics of "quantum gravity".
 

The concept of path signatures has been widely used in several areas of pure mathematics including in applications to data science. However, we remain unable to answer even the most basic questions about it. For instance, how to fully characterise the set of (untruncated) signatures of bounded variation paths? Can certain norms on signatures be related to the length of a path, like in Fourier isometry? In this talk, we will review some known results, explain the open problems and discuss their difficulties.