Past

A number of moduli problems are, via Hodge theory, closely related to 
ball quotients. In this situation there is often a choice of possible 
compactifications such as the GIT compactification´and its Kirwan 
blow-up or the Baily-Borel compactification and the toroidal 
compactificatikon. The relationship between these compactifications is 
subtle and often geometrically interesting. In this talk I will discuss 
several cases, including cubic surfaces and threefolds and 
Deligne-Mostow varieties. This discussion links several areas such as 
birational geometry, moduli spaces of pointed curves, modular forms and 
derived geometry. This talk is based on joint work with S. 
Casalaina-Martin, S. Grushevsky, S. Kondo, R. Laza and Y. Maeda.

The celebrated Splitting Theorem by Cheeger-Gromoll states that a manifold with non-negative Ricci curvature which contains a line is isometric to a product, where one of the factors is the real line. A related result was later proved by Kasue. He showed that a manifold with non-negative Ricci curvature and two mean convex boundary components, one of which is compact, is also isometric to a product. In this talk, I will present a variant of Kasue’s result based on joint work with Andrea Mondino. We consider manifolds with non-negative Ricci curvature and disconnected mean convex boundary. We show that if one boundary component is parabolic and convex, then the manifold is a product, where one of the factors is an interval of the real line. The result is an application of recently developed tools in synthetic geometry and exploits the interplay between Ricci curvature and optimal transport.

We introduce a new methodology based on the multirevolution idea for constructing integrators for stochastic differential equations in the situation where the fast oscillations themselves are driven by a Stratonovich noise. Applications include in particular highly-oscillatory Kubo oscillators and spatial discretizations of the nonlinear Schrödinger equation with fast white noise dispersion. We construct a method of weak order two with computational cost and accuracy both independent of the stiffness of the oscillations. A geometric modification that conserves exactly quadratic invariants is also presented. If time allows, we will discuss ongoing work on uniformly accurate methods for such systems. This is a joint work with Gilles Vilmart.

Slender elastic filaments with intrinsic helical geometry are encountered in a wide range of physical and biological settings, ranging from coil springs in engineering to bacteria flagellar filaments. The equilibrium configurations of helical filaments under a variety of loading types have been well studied in the framework of the Kirchhoff rod equations. These equations are geometrically nonlinear and so can account for large, global displacements of the rod. This geometric nonlinearity also makes a mathematical analysis of the rod equations extremely difficult, so that much is still unknown about the dynamic behaviour of helical rods under external loading.

An important class of simplified models consists of 'equivalent-column' theories. These model the helical filament as a naturally-straight beam (aligned with the helix axis) for which the extensional and torsional deformations are coupled. Such theories have long been used in engineering to describe the free vibrations of helical coil springs, though their validity remains unclear, particularly when distributed forces and moments are present. In this talk, we show how such an effective theory can be derived systematically from the Kirchhoff rod equations using the method of multiple scales. Importantly, our analysis is asymptotically exact in the small-wavelength limit and can account for large, unsteady displacements. We then illustrate our theory with two loading scenarios: (i) a heavy helical rod deforming under its own weight; and (ii) axial rotation (twirling) in viscous fluid, which may be considered as a simple model for a bacteria flagellar filament. More broadly, our analysis provides a framework to develop reduced models of helical rods in a wide variety of physical and biological settings, as well as yielding analytical insight into their tensile instabilities.

A group is coherent if all its finitely generated subgroups are finitely presented. Aside from some easy cases, it appears that coherence is a phenomenon that occurs only among groups of cohomological dimension 2. In this talk, we will give many examples of coherent and incoherent groups, discuss techniques to prove a group is coherent, and mention some open problems in the area.

This is a joint event by the Mathematrix and Mirzakhani Societies for all women and non-binary people in the Maths department. Join us in the South Mezzanine for some hot drinks and sweet treats. 

We explore the weak coupling limit for stochastic Burgers type equation in critical dimension, and show that it is given by a Gaussian stochastic heat equation, with renormalised coefficient depending only on the second order Hermite polynomial of the nonlinearity. We use the approach of Cannizzaro, Gubinelli and Toninelli (2024), who treat the case of quadratic nonlinearities, and we extend it to polynomial nonlinearities. In that sense, we extend the weak universality of the KPZ equation shown by Hairer and Quastel (2018) to the two dimensional generalized stochastic Burgers equation. A key new ingredient is the graph notation for the generator. This enables us to obtain uniform estimates for the generator. This is joint work with Nicolas Perkowski.

The classification program of C*-algebras aims to classify simple, separable, nuclear C*-algebras by their K-theory and traces, inspired by analogous results obtained for von Neumann algebras. A landmark result in this project was obtained in 2015, building upon the work of numerous researchers over the past 20 years. More recently, Carrión, Gabe, Schafhauser, Tikuisis, and White developed a new, more abstract approach to classification, which connects more explicitly to the von Neumann algebraic classification results. In their paper, they carry out this approach in the stably finite setting, while for the purely infinite case, they refer to the original result obtained by Kirchberg and Phillips. In this talk, I provide an overview of how the new approach can be adapted to classify purely infinite C*-algebras, recovering the Kirchberg-Phillips classification by K-theory and obtaining Kirchberg's absorption theorems as corollaries of classification rather than (pivotal) ingredients. This is joint work with Jamie Gabe.

The study of the rationality of the $L^2$-Betti numbers of a countable group has led to the development of a rich theory in $L^2$-homology with deep implications in structural properties of the groups. For decades almost nothing has been known about the general question of whether the strong Atiyah conjecture passes to free products of groups or not. In this talk, we will confirm that the strong and algebraic Atiyah conjectures are stable under the graph of groups construction provided that the edge groups are finite. Moreover, we shall see that in this case the $\ast$-regular closure of the group algebra is precisely a universal localization of the associated graph of rings

Creating networks of statistical dependencies between brain regions is a powerful tool in neuroscience that has resulted in many new insights and clinical applications. However, recent interest in higher-order interactions has highlighted the need to address beyond-pairwise dependencies in brain activity. Multivariate information theory is one tool for identifying these interactions and is unique in its ability to distinguish between two qualitatively different modes of higher-order interactions: synergy and redundancy. I will present results from applying the O-information, the partial entropy decomposition, and the local O-information to resting state fMRI data. Each of these metrics indicate that higher-order interactions are widespread in the cortex, and further that they reveal different patterns of statistical dependencies than those accessible through pairwise methods alone. We find that highly synergistic subsystems typically sit between canonical functional networks and incorporate brain regions from several of these systems. Additionally, canonical networks as well as the interactions captured by pairwise functional connectivity analyses, are strongly redundancy-dominated. Finally, redundancy/synergy dominance varies in both space and time throughout an fMRI scan with notable recurrence of sets of brain regions engaging synergistically. As a whole, I will argue that higher-order interactions in the brain are an under-explored space that, made accessible with the tools of multivariate information theory, may offer novel insights.

We give an exponential improvement on the upper bound for the $r$-colour diagonal Ramsey number for all $r$. The proof relies on geometric insights and offers a simplified proof in the case of $r=2$.

Joint Work with: Paul Ballister, Béla Bollobás, Marcelo Campos, Simon Griffiths, Rob Morris, Julian Sahasrabudhe and Marius Tiba.

Plethysms lie at the intersection of representation theory and algebraic combinatorics. We give a recursive formula for a family of plethysm coefficients encompassing those involved in Foulkes' Conjecture. We also describe some applications, such as to the stability of plethysm coefficients and Sylow branching coefficients for symmetric groups. This is joint work with Y. Okitani.

In this talk I will discuss asymmetric orbifolds and will focus on their application to toroidal compactifications of heterotic string theory. I will consider theories in 6 and 4 dimensions with 16 supercharges and reduced rank. I will present a novel formalism, based on the Leech lattice, to construct ‘islands’ without vector multiplets.

We propose a density functional theory of Thomas-Fermi-(von Weizsacker) type to describe the response of a single layer of graphene to a charge some distance away from the layer. We formulate a variational setting in which the proposed energy functional admits minimizers. We further provide conditions under which those minimizers are unique. The associated Euler-Lagrange equation for the charge density is also obtained, and uniqueness, regularity and decay of the minimizers are proved under general conditions. For a class of special potentials, we also establish a precise universal asymptotic decay rate, as well as an exact charge cancellation by the graphene sheet. In addition, we discuss the existence of nodal minimizers which leads to multiple local minimizers in the TFW model. This is a joint work with Cyrill Muratov (University of Pisa).

We show that any finite coloring of an amenable group contains 'many' monochromatic sets of the form $\{x,y,xy,yx\},$ and natural extensions with more variables.  This gives the first combinatorial proof and extensions of Bergelson and McCutcheon's non-commutative Schur theorem.  Our main new tool is the introduction of what we call `quasirandom colorings,' a condition that is automatically satisfied by colorings of quasirandom groups, and a reduction to this case.

In this talk, I will describe recent work in the application of machine learning to explore questions in algebraic geometry, specifically in the context of the study of Q-Fano varieties. These are Q-factorial terminal Fano varieties, and they are the key players in the Minimal Model Program. In this work, we ask and answer if machine learning can determine if a toric Fano variety has terminal singularities. We build a high-accuracy neural network that detects this, which has two consequences. Firstly, it inspires the formulation and proof of a new global, combinatorial criterion to determine if a toric variety of Picard rank two has terminal singularities. Secondly, the machine learning model is used directly to give the first sketch of the landscape of Q-Fano varieties in dimension eight. This is joint work with Tom Coates and Al Kasprzyk.

Multiparameter persistence is an area of topological data analysis that synthesises the geometric information of a topological space via filtered homology. Given a topological space and a function on it, one can consider a filtration given by the sublevel sets of the space induced by the function and then take the homology of such filtration. In the case when the filtering function assumes values in the real plane, the homological features of the filtered object can be recovered through a "curved" grid on the plane called the extended Pareto grid of the function. In this talk, we explore how the computation of the biparameter matching distance between regular filtering functions on a regular manifold depends on the extended Pareto grid of these functions. 
 

What should you expect in intercollegiate classes?  What can you do to get the most out of them?  In this session, experienced class tutors will share their thoughts, and a current student will offer tips and advice based on their experience.

All undergraduate and masters students welcome, especially Part B and MSc students attending intercollegiate classes. (Students who attended the Part C/OMMS induction event will find significant overlap between the advice offered there and this session!)

Let F be a p-adic field. In this talk I'll study the Om(F)-distinction of some specific principal series representations  of Glm(F). The main goal is to give a computing method to see if those representations are distinguished or not so we can also explicitly find a non zero  Om(F)-equivariant linear form. This linear form will be given by the integral of the representation's matrix coefficient over Om(F).
 

After explaining on what specific principal series representations I'm working and why I need those specificities, I'll explain the different steps to compute the integral of my representation's matrix coefficient over Om(F). I'll explicitly give the obtained result for the case m=3. After that I'll explain an asymptotic result we can obtain when we can't compute the integral explicitly.

Immunological health relies on a balance between the ability to mount an immune response against potential pathogens and tolerance to self. However, how we keep that balance in health and what goes wrong in disease is not well understood. Here, I will describe combination of novel experimental and computational approaches using multi-omics datasets, imaging and functional experiments to dissect the role and defects in immune cells across several disease areas in cancer and autoimmunity. We show how shared mechanisms that are disrupted across diseases, including cellular, migration, immuno-surveillance, regulation and activation, as well as the immunological features associated with better prognosis and immunomodulation.