Past

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

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.

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.

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.

Given a locally compact topological group, there is a correspondence between idempotent probability measures and compact subgroups. An analogue of this correspondence continues into the model theoretic setting. In particular, if G is a stable group, then there is a one-to-one correspondence between idempotent Keisler measures and type-definable subgroups. The proof of this theorem relies heavily on the theory of local ranks in stability theory. Recently, we have been able to extend a version of this correspondence to the abelian setting. Here, we prove that fim idempotent Keisler measures correspond to fim subgroups. These results rely on recent work of Conant, Hanson and myself connecting generically stable measures to generically stable types over the randomization. This is joint work with Artem Chernikov and Krzysztof Krupinski.

If $n$ is congruent to 0 or 4 modulo 6, there are infinitely many primes of the form $x^2 + ny^2$ with both $x$ and $y$ prime. (Joint work with Mehtaab Sawhney, Columbia)