16:00
16:00
16:00
Quantum symmetries on Kirchberg algebras
Abstract
In subfactor theory, it has been observed that operator algebras often admit symmetries beyond mere groups, sometimes called quantum symmetries. Besides recent substantial progress on the classification programs of simple amenable C*-algebras and group actions on them, there has been increasing interest in their quantum symmetries. This talk is devoted to an attempt to ensure the existence of various quantum symmetries on simple amenable C*-algebras, at least in the purely infinite case, by providing a systematic way to produce them. As a technical ingredient, a simplicity criterion for certain Pimsner algebras is given.
15:30
Deformations and lifts of Calabi-Yau varieties in characteristic p
Abstract
Derived algebraic geometry allows us to study formal moduli problems via their tangent Lie algebras. After briefly reviewing this general paradigm, I will explain how it sheds light on deformations of Calabi-Yau varieties.
In joint work with Taelman, we prove a mixed characteristic analogue of the Bogomolov–Tian–Todorov theorem, which asserts that Calabi-Yau varieties in characteristic $0$ are unobstructed. Moreover, we show that ordinary Calabi–Yau varieties in characteristic $p$ admit canonical (and algebraisable) lifts to characteristic $0$, generalising results of Serre-Tate for abelian varieties and Deligne-Nygaard for K3 surfaces.
If time permits, I will conclude by discussing some intriguing questions related to our canonical lifts.
15:00
Counting non-simple closed geodesics on random hyperbolic surfaces
Abstract
On inapproximability of hypergraph colourings and beyond
Abstract
I'll discuss how a certain notion of symmetry captures the computational complexity of approximating homomorphism problems between relational structures, also known as constraint satisfaction problems. I'll present recent results on inapproximability of conflict-free and linearly-ordered hypergraph colourings and solvability of systems of equations.
Proof of the Deligne—Milnor conjecture
Abstract
Let X --> S be a family of algebraic varieties parametrized by an infinitesimal disk S, possibly of mixed characteristic. The Bloch conductor conjecture expresses the difference of the Euler characteristics of the special and generic fibers in algebraic and arithmetic terms. I'll describe a proof of some new cases of this conjecture, including the case of isolated singularities. The latter was a conjecture of Deligne generalizing Milnor's formula on vanishing cycles.
This is joint work with Massimo Pippi; our methods use derived and non-commutative algebraic geometry.
13:00
Celestial Holography and Self-Dual Einstein Gravity
Abstract
Celestial Holography posits the existence of a holographic description of gravitational theories in asymptotically flat space-times. To date, top-down constructions of such dualities involve a combination of twisted holography and twistor theory. The gravitational theory is the closed string B model living in a suitable twistor space, while the dual is a chiral 2d gauge theory living on a stack of D1 branes wrapping a twistor line. I’ll talk about a variant of these models that yields a theory of self-dual Einstein gravity (via the Plebanski equations) in four dimensions. This is based on work in progress with Roland Bittleston, Kevin Costello & Atul Sharma.
16:30
Fluctuations around the mean-field limit for attractive Riesz interaction kernels in the moderate regime
Abstract
In this talk I will give a short introduction to moderately interacting particle systems and the general notion of fluctuations around the mean-field limit. We will see how a central limit theorem can be shown for moderately interacting particles on the whole space for certain types of interaction potentials. The interaction potential approximates singular attractive potentials of sub-Coulomb type and we can show that the fluctuations become asymptotically Gaussians. The methodology is inspired by the classical work of Oelschläger in the 1980s on fluctuations for the porous-medium equation. To allow for attractive potentials we use a new approach of quantitative mean-field convergence in probability in order to include aggregation effects.
15:30
The Farrell--Jones Conjecture and automorphisms of relatively hyperbolic groups
Abstract
The Farrell--Jones conjecture predicts that the algebraic K-theory of a group ring is isomorphic to a certain equivariant homology theory, and there are also versions for L-theory and Waldhausen's A-theory. In principle, this provides a way to calculate these K-groups, and has many applications. These include classifying manifolds admitting a given fundamental group and a positive resolution of the Borel conjecture.
I will discuss work with Yassine Guerch and Sam Hughes on the Farrell--Jones conjecture for extensions of relatively hyperbolic groups, as well as an application to their automorphism groups in the one-ended case. The methods are from geometric group theory: we go via the theory of JSJ decompositions to produce acylindrical actions on trees.
15:30
Heat kernel for critical percolation clusters on the binary tree.
Abstract
14:15
Yang-Mills on an ALF-fibration
Abstract
In this talk, we will make an explicit link between self-dual Yang-Mills instantons on the Taub-NUT space, and G2-instantons on the BGGG space, by displaying the latter space as a fibration by the former. In doing so, we will discuss analysis on non-compact manifolds, circle symmetries, and a new method of constructing solutions to quadratically singular ODE systems. This talk is based on joint work with Matt Turner: https://arxiv.org/pdf/2409.03886.
Symmetry Enhancement, SPT Absorption, and Duality in QED_3
Abstract
Abelian gauge theories in 2+1 dimensions are very interesting QFTs: they are strongly coupled and exhibit non-trivial dynamics. However, they are somewhat more tractable than non-Abelian theories in 3+1 dimensions. In this talk, I will first review the known properties of fermions in 2+1 dimensions and some conjectures about QED_3 with a single Dirac fermion. I will then present the recent proposal from [arXiv:2409.17913] regarding the phase diagram of QED_3 with two fermions. The findings reveal surprising (yet compelling) features: while semiclassical analysis would suggest two trivially gapped phases and a single phase transition, the actual dynamics indicate the presence of two distinct phase transitions separated by a "quantum phase." This intermediate phase exists over a finite range of parameters in the strong coupling regime and is not visible semiclassically. Moreover, these phase transitions are second-order and exhibit symmetry enhancement. The proposal is supported by several non-trivial checks and is consistent with results from numerical bootstrap, lattice simulations, and extrapolations from the large-Nf expansion.
Do individuals matter? - From psychology, via wound healing and calcium signalling to ecology
Abstract
16:00
Geodesic cycles and Eisenstein classes for SL(2,Z)
Abstract
The geodesic cycles (resp. Eisenstein classes) for SL(2,Z) are special classes in the homology (resp. cohomology) of modular curve (for SL(2,Z)) defined by the closed geodesics (resp. Eisenstein series). It is known that the pairing between these geodesic cycles and Eisenstein classes gives the special values of partial zeta functions of real quadratic fields, and this has many applications. In this talk, I would like to report on some recent observations on the size of the homology subgroup generated by geodesic cycles and their applications. This is a joint work with Ryotaro Sakamoto.
12:00
Asymptotic Higher Spin Symmetries in Gravity.
Abstract
I will first give a short review of the concepts of Asymptotically Flat Spacetimes, IR triangle and Noether's theorems. I will then present what Asymptotic Higher Spin Symmetries are and how they were introduced as a candidate for an approximate symmetry of General Relativity and the S-matrix. Next, I'll move on to the recent developments of establishing these symmetries as Noether symmetries and describing how they are canonically and non-linearly realized on the asymptotic gravitational phase space. I will discuss how the introduction of dual equations of motion encapsulates the non-perturbativity of the analysis. Finally I'll emphasize the relation to twistor, especially with 2407.04028. Based on 2409.12178 and 2410.15219
14:00
A Subspace-conjugate Gradient Method for Linear Matrix Equations
Abstract
15:30
Unstable cohomology of SL(n,Z) and Hopf algebras
Abstract
I want to give a survey about the rational cohomology of SL_n
Z. This includes recent developments of finding Hopf algebras in the
direct sum of all cohomology groups of SL_n Z for all n. I will give a
quick overview about Hopf algebras and what this structure implies for
the cohomology of SL_n Z.
16:00
Fridays@4 – A start-up company? 10 things I wish I had known
Abstract
Are you thinking of launching your own start-up or considering joining an early-stage company? Navigating the entrepreneurial landscape can be both exciting and challenging. Join Pete for an interactive exploration of the unwritten rules and hidden insights that can make or break a start-up journey.
Drawing from personal experience, Pete's talk will offer practical wisdom for aspiring founders and team members, revealing the challenges and opportunities of building a new business from the ground up.
Whether you're an aspiring entrepreneur, a potential start-up team member, or simply curious about innovative businesses, you'll gain valuable perspectives on the realities of creating something from scratch.
This isn't a traditional lecture – it will be a lively conversation that invites participants to learn, share, and reflect on the world of start-ups. Come prepared to challenge your assumptions and discover practical insights that aren't found in standard business guides.

Speaker: Professor Pete Grindrod
15:00
From single neurons to complex human networks using algebraic topology
Note: we would recommend to join the meeting using the Teams client for best user experience.
Abstract
Topological data analysis, and in particular persistent homology, has provided robust results for numerous applications, such as protein structure, cancer detection, and material science. In the field of neuroscience, the applications of TDA are abundant, ranging from the analysis of single cells to the analysis of neuronal networks. The topological representation of branching trees has been successfully used for a variety of classification and clustering problems of neurons and microglia, demonstrating a successful path of applications that go from the space of trees to the space of barcodes. In this talk, I will present some recent results on topological representation of brain cells, with a focus on neurons. I will also describe our solution for solving the inverse TDA problem on neurons: how can we efficiently go from persistence barcodes back to the space of neuronal trees and what can we learn in the process about these spaces. Finally, I will demonstrate how algebraic topology can be used to understand the links between single neurons and networks and start understanding the brain differences between species. The organizational principles that distinguish the human brain from other species have been a long-standing enigma in neuroscience. Human pyramidal cells form highly complex networks, demonstrated by the increased number and simplex dimension compared to mice. This is unexpected because human pyramidal cells are much sparser in the cortex. The number and size of neurons fail to account for this increased network complexity, suggesting that another morphological property is a key determinant of network connectivity. By comparing the topology of dendrites, I will show that human pyramidal cells have much higher perisomatic (basal and oblique) branching density. Therefore greater dendritic complexity, a defining attribute of human L2 and 3 neurons, may provide the human cortex with enhanced computational capacity and cognitive flexibility.
End-of-term mathematical board games
Abstract
Would you like to meet some of your fellow students, and some graduate students and postdocs, in an informal and relaxed atmosphere, while building your communication skills? In this Friday@2 session, you'll be able to play a selection of board games, meet new people, and practise working together. What better way to spend the final Friday afternoon of term?! We'll play the games in the south Mezzanine area of the Andrew Wiles Building.
Some Uniserial Specht Modules
Abstract
12:00
Combinatorial proof of a Non-Renormalization theorem
Abstract
In "Higher Operations in Perturbation Theory", Gaiotto, Kulp, and Wu discussed Feynman integrals that control certain deformations in quantum field theory. The corresponding integrands are differential forms in Schwinger parameters. Specifically, the integrand $\alpha$ is associated to a single topological direction of the theory.
I will show how the combinatorial properties of graph polynomials lead to a relatively simple, explicit formula for $\alpha$, that can be evaluated quickly with a computer. This is interesting for two reasons. Firstly, knowing the explicit formula leads to an elementary proof of the fact that $\alpha$ squares to zero, which asserts the absence of quantum corrections in topological field theories of two (or more) dimensions, known as Kontsevich's formality theorem. Secondly, the underlying constructions and proofs are not intrinsically limited to topological theories. In this sense, they serve as a particularly instructive example for simplifications that can occur in Feynman integrals with numerators.
Spatial mechano-transcriptomics of mouse embryogenesis
Abstract
Advances in spatial profiling technologies are providing insights into how molecular programs are influenced by local signalling and environmental cues. However, cell fate specification and tissue patterning involve the interplay of biochemical and mechanical feedback. Here, we propose a new computational framework that enables the joint statistical analysis of transcriptional and mechanical signals in the context of spatial transcriptomics. To illustrate the application and utility of the approach, we use spatial transcriptomics data from the developing mouse embryo to infer the forces acting on individual cells, and use these results to identify mechanical, morphometric, and gene expression signatures that are predictive of tissue compartment boundaries. In addition, we use geoadditive structural equation modelling to identify gene modules that predict the mechanical behaviour of cells in an unbiased manner. This computational framework is easily generalized to other spatial profiling contexts, providing a generic scheme for exploring the interplay of biomolecular and mechanical cues in tissues.
17:00
Model-theoretic havens for extremal and additive combinatorics
Abstract
Model-theoretic dividing lines have long been a source of tameness for various areas of mathematics, with combinatorics jumping on the bandwagon over the last decade or so. Szemerédi’s regularity lemma saw improvements in the realm of NIP, which were further refined in the subrealms of stability and distality. We show how relations satisfying the distal regularity lemma enjoy improved bounds for Zarankiewicz’s problem. We then pivot to arithmetic regularity lemmas as pioneered by Green, for which NIP and stability also imply improvements. Unsettled by the absence of distality in this picture, we discuss the role of distality in additive combinatorics, appealing to our result connecting distality with arithmetic tameness.