University of Cambridge

It is well-known that one can attach Galois representations to modular forms. In the case of cusp forms, the corresponding l-adic Galois representations are irreducible for every prime l, while in the case of Eisenstein series, the corresponding Galois representations are reducible. The Langlands correspondence is expected to generalise this picture, with cuspidal automorphic representations always giving rise to irreducible Galois representations. In the cuspidal, polarized, regular algebraic setting over a CM field, a construction of Galois representations is known, but their irreducibility is still an open problem in general. I will discuss recent joint work with Zachary Feng establishing new instances of irreducibility, and outline how our methods extend some previous approaches to this problem.

We will discuss local regularity properties for solutions to non-local equations naturally arising in kinetic theory. We will focus on the Strong Harnack inequality for global solutions to a non-local kinetic equation in divergence form. We will explain the connection to the Boltzmann equation and we will mention a few consequences on the asymptotic behaviour of the solutions.

In this talk I will discuss a new lower bound for the off-diagonal Ramsey numbers $R(3,k)$. For this, we develop a version of the triangle-free process that is significantly easier to analyse than the original process. We then 'seed' this process with a carefully chosen graph and show that it results in a denser graph that is still sufficiently pseudo-random to have small independence number.

This is joint work with Marcelo Campos, Matthew Jenssen and Marcus Michelen.

Do there exist universal sequences for all mazes on the two-dimensional integer lattice? We will give background on this question, as well as some recent results. Joint work with Mariaclara Ragosta.

A matroid is frame if it can be extended such that it possesses a basis $B$ (a frame) such that every element is spanned by at most two elements of $B$. Frame matroids extend the class of graphic matroids and also have natural graphical representations. We characterise the inequivalent graphical representations of 3-connected frame matroids that have a fixed element $\ell$ in their frame $B$. One consequence is a polynomial time recognition algorithm for frame matroids with a distinguished frame element.

Joint work with Jim Geelen and Cynthia Rodríquez.

Is it possible to tell the isomorphism type of an infinite group from its collection of finite quotients? This question, known as profinite rigidity, has deep roots in various areas of mathematics, ranging from arithmetic geometry to group theory. In this talk, I will introduce the question, its history and context. I will explain how profinite rigidity is studied using the machinery of profinite completions, including elementary proofs and counterexamples. Then I will outline some of the key results in the field, ranging from 1970 to the present day. Time permitting, I will elaborate on recent results of myself on the profinite rigidity of certain classes of solvable groups. 

Let $p$ be an odd prime. Let $K/\mathbf{Q}_p$ be a finite unramified extension. Let $\rho: G_K \to \mathrm{GL}_2(\overline{\mathbf{F}}_p)$ be a continuous representation. We prove that $\rho$ has a crystalline lift of small irregular weight if and only if it has multiple crystalline lifts of certain specified regular weights. The inspiration for this result comes from recent work of Diamond and Sasaki on geometric Serre weight conjectures. We also discuss applications to partial weight one modularity.

Active solids consume energy to allow for actuation and shape change not possible in equilibrium. I will first introduce active solids in comparison with their active fluid counterparts. I will then focus on active solids composed of non-reciprocal springs and show how so-called odd elastic moduli arise in these materials. Odd active solids have counter-intuitive elastic properties and require new design principles for optimal response. For example, in floppy lattices, zero modes couple to microscopic non-reciprocity, which destroys odd moduli entirely in a phenomenon reminiscent of rigidity percolation. Instead, an optimal odd lattice will be sufficiently soft to activate elastic deformations, but not too soft. These results provide a theoretical underpinning for recent experiments and point to the design of novel soft machines.