If k is a field of characteristic zero, a theorem of Lurie and Pridham establishes an equivalence between formal moduli problems and differential graded Lie algebras over k. We generalise this equivalence in two different ways to arbitrary ground fields by using “partition Lie algebras”. These mysterious new gadgets are intimately related to the genuine equivariant topology of the partition complex, which allows us to access the operations acting on their homotopy groups (relying on earlier work of Dyer-Lashof, Priddy, Goerss, and Arone-B.). This is joint work with Mathew.

Let $G$ be a regular graph of degree $d$ and let $A\subset V(G)$. Say that $A$ is $\eta$-closed if the average degree of the subgraph induced by $A$ is at least $\eta d$. This says that if we choose a random vertex $x\in A$ and a random neighbour $y$ of $x$, then the probability that $y\in A$ is at least $\eta$. In recent joint work with Tim Gowers, we were aiming to obtain a qualitative description of closed subsets of the Cayley graph $\Gamma$ whose vertex set is $\mathbb{F}_2^{n_1}\otimes \dots \otimes \mathbb{F}_2^{n_d}$ with two vertices joined by an edge if their difference is of the form $u_1\otimes \cdots \otimes u_d$. For the matrix case (that is, when $d=2$), such a description was obtained by Khot, Minzer and Safra, a breakthrough that completed the proof of the 2-to-2 conjecture. We have formulated a conjecture for higher dimensions, and proved it in an important special case. In this talk, I will sketch this proof. Also, we have identified a statement about $\eta$-closed sets in Cayley graphs on arbitrary finite Abelian groups that implies the conjecture and can be considered as a "highly asymmetric Balog-Szemerédi-Gowers theorem" when it holds. I will present an example to show that this statement is not true for an arbitrary Cayley graph. It remains to decide whether the statement can be proved for the Cayley graph $\Gamma$.

In the classical theory of fluid mechanics, a linear relationship between the stress and rate of strain is often assumed. Even when this relationship is non-linear, it is typically formulated in terms of an explicit relation. Implicit constitutive theories provide a theoretical framework that generalises this, allowing a, possibly multi-valued, implicit constitutive relation. Since it is not possible to solve explicitly for the stress in the constitutive relation, a more natural approach would be to include the stress as a fundamental unknown in the formulation of the problem. In this talk I will present a formulation with this feature and a proof of convergence of the finite element approximations to a solution of the original problem.

The celebrated localisation theorem of Beilinson-Bernstein asserts that there is an equivalence between representations of a Lie algebra and modules over the sheaf of differential operators on the corresponding flag variety. In this talk we discuss certain analogues of this result in various contexts. Namely, there is a localisation theorem for quantum groups due to Backelin and Kremnizer and, more recently, Ardakov and Wadsley also proved a localisation theorem working with certain completed enveloping algebras of p-adic Lie algebras. We then explain how to combine the ideas involved in these results to construct
a p-adic analytic quantum flag variety and a category of D-modules on it, and we show that the global section functor on these D-modules yields an equivalence of categories.

 I will describe recent progress in the study of scattering amplitudes in gauge theory and gravity at loop level, using the formalism of the scattering equations. The scattering equations relate the kinematics of the scattering of massless particles to the moduli space of the sphere. Underpinned by ambitwistor string theory, this formalism provides new insights into the relation between tree-level and loop-level contributions to scattering amplitudes. In this talk, I will describe results up to two loops on how loop integrands can be constructed as forward-limits of trees. One application is the loop-level understanding of the colour-kinematics duality, a symmetry of perturbative gauge theory which relates it to perturbative gravity.

Superstring scattering amplitudes in genus one have a low-energy expansion in terms of certain real analytic modular forms, called modular graph functions (D'Hoger, Green, Gürdogan and Vanhove). I will sketch the proof that these functions belong to a family of iterated integrals of modular forms (a generalization of Eichler integrals), recently introduced by Francis Brown, which explains many of their properties. The main tools are elliptic multiple polylogarithms (Brown and Levin), single-valued versions thereof, and elliptic multiple zeta values (Enriquez).