Thu, 12 Feb 2026
11:00
C1

Hilbert spaces of tame continuous structures

Boris Zilber
Abstract
I will show that to any continuous structure M one can associate a tower B(M) of Banach spaces with operators. This can be considered an analogue of Tarski's cylindric algebra for a first order structure. If, additionally, M is 'tame', then an inner product is definable in B(M) and so it becomes a pre-Hilbert space which can be completed to the Hilbert space H(M).
Thu, 05 Feb 2026
11:00
C1

Around Engel Lie algebras and the restricted Burnside problem

Christian d'Elbée
(University of the Basque Country)
Abstract

The restricted Burnside problem asks whether, for each natural numbers r and n, there are only finitely many finite r-generated groups of exponent n. The solution of this problem was given by Kostrikin in the 1960s for prime exponent, then by Efim Zelmanov in 1991, for which he was awarded the Fields medal in 1994. In fact, both Kostrikin and Zelmanov results concern Lie algebras, and are a perfect illustration of Lie methods in group theory: how to reduce questions on groups to questions on Lie algebras. Starting from a finitely generated group, one may construct an "associated Lie algebra" which, for the case of exponent p, is n-Engel, i.e. satisfies the n-Engel identity: [x,y,y,...,y] = 0 (n times). For that case, the restricted Burnside problem reduces to proving that every finitely generated n-Engel Lie algebra is nilpotent.

In 1988, Zelmanov proved the ultimate generalization of Engel's classical result: every n-Engel Lie algebra over a field of characteristic 0 is nilpotent. This theorem has the following consequence: for every n there exists N such that every n-Engel Lie algebra of characteristic p>N is nilpotent. It also has consequences for Engel groups.

The proof is rather involved and consists mainly of some intense Lie algebra computations, sprinkled with several beautiful tricks. In particular, the surprising use of the representation theory of the symmetric group has inspired several other authors since then.

In this talk, I will present a little bit of all this. For instance, we will study the case of 3-Engel Lie algebras and I will explain how some part of Zelmanov's proof was re-used by Vaughan-Lee and Traustason to reduce the algorithmic complexity of computing in 4-Engel Lie algebras.

Thu, 15 Jan 2026
14:00
C1

Igusa stacks and the cohomology of Shimura varieties

Pol van Hoften
(Zhejiang University)
Abstract
Associated to a modular form $f$ is a two-dimensional Galois representation whose Frobenius eigenvalues can be expressed in terms of the Fourier coefficients of $f$, using a formula known as the Eichler--Shimura congruence relation. This relation was proved by Eichler--Shimura and Deligne by analyzing the mod p (bad) reduction of the modular curve of level $\Gamma_0(p)$. In this talk, I will discuss joint work with Patrick Daniels, Dongryul Kim and Mingjia Zhang, where we give a new proof of this congruence relation that happens "entirely on the rigid generic fibre". More precisely, we prove a compatibility result between the cohomology of Shimura varieties of abelian type and the Fargues--Scholze semisimple local Langlands correspondence, generalizing the Eichler--Shimura relation of Blasius--Rogawski. Our proof makes crucial use of the Igusa stacks that we construct, generalizing earlier work of Zhang, ourselves, and Kim.
 
Thu, 22 Jan 2026
11:00
C1

$(\mathbb{C};+,\cdot,CM)$

Martin Bays
(Oxford University)
Abstract

In this ``journal club''-style advanced class, I will present some material from a recent paper of Tom Scanlon https://arxiv.org/abs/2508.17485 . Motivated by the question of decidability of the field C(t) of complex rational functions in one variable, he considers the structure $(\mathbb{C};+,\cdot,CM)$ of the complex field expanded by a predicate for the set CM of j-invariants of elliptic curves with complex multiplication (the "special points"). Analogous to Zilber's result from the 90s on stability of the expansion by a predicate for the roots of unity, Scanlon shows that Pila's solution to the André-Oort conjecture implies that this structure is stable, and moreover that effectivity in this conjecture due to Binyamini implies decidability. I aim to explain Scanlon's proof of this result in some detail.
 

Mon, 12 Jan 2026

17:00 - 18:00
C1

From Flatland to Cannonballs – designing historical lessons and workshops for secondary school pupils & their teachers

Snezana Lawrence
(Independent Scholar)
Abstract
In this talk I will outline framework I have designed and used that has helped me create engaging history of mathematics lessons and workshops for pupils aged 11+ as well as train teachers to do the same. This presupposes a use of history of mathematics to enchant and engage, rather than create an academic account or lecture for a listening audience. It is, in other words, a practical guidance to be discussed further at the end of the talk.
 
Starting from familiar contexts such as Flatland, honeycombs, and cannonball stacks, a number of lessons and workshops can be designed to motivate curiosity for learning more about exciting mathematical ideas as well as exploring high-dimensional concepts. This talk is suitable for all and anyone interested in the role the history of mathematics can play in mathematics education.
Wed, 03 Dec 2025

12:00 - 13:00
C1

AOT algorithm for a system of equations arising in meteorology

Piotr Gwiazda
(Institute of Mathematics of the Polish Academy of Sciences, Interdisciplinary Centre for Mathematical and Computational Modelling of University of Warsaw)
Abstract

Data assimilation plays a crucial role in modern weather prediction, providing a systematic way to incorporate observational data into complex dynamical models. The paper addresses continuous data assimilation for a model arising as a singular limit of the three-dimensional compressible Navier-Stokes-Fourier system with rotation driven by temperature gradient. The limit system preserves the essential physical mechanisms of the original model,  while exhibiting a reduced, effectively two-and-a-half-dimensional structure. This simplified framework allows for a rigorous analytical study of the data assimilation process while maintaining a direct physical connection to the full compressible model.  We establish well posedness of global-in-time solutions and a compact trajectory attractor, followed by the stability and convergence results for the nudging scheme applied to the limiting system. Finally, we demonstrate how these results can be combined with a relative entropy argument to extend the assimilation framework to the full three-dimensional compressible setting, thereby establishing a rigorous connection between the reduced and physically complete models.

Thu, 19 Jun 2025

16:00 - 17:00
C1

Unusual transport in odd-diffusive systems

Erik Kalz
(University of Potsdam)
Abstract

Odd systems, characterised by broken time-reversal or parity symmetry, 
exhibit striking transport phenomena due to transverse responses. In this 
talk, I will introduce the concept of odd diffusion, a generalisation of 
diffusion in two-dimensional systems that incorporates antisymmetric tensor 
components. Focusing on systems of interacting particles, I adapt a 
geometric approach to derive effective transport equations and show how 
interactions give rise to unusual transport in odd systems. I present 
effects like enhanced self-diffusion, reversed Hall drift and even absolute 
negative mobility that solely originate in odd diffusion. These results 
reveal how microscopic symmetry-breaking gives rise to emergent, equilibrium 
and non-equilibrium transport, with implications for soft matter, chiral 
active systems, and topological materials.

 

Further Information

Erik Kalz is a PhD student at U Potsdam in the group of Ralf Metzler. The group focuses on nonequilibrium statistical physics and anomalous stochastic processes, with applications to biological and soft matter systems.

Thu, 12 Jun 2025

14:30 - 16:00
C1

"Eine grössere Harmonie zwischen Begriff und Bild": Eduard Study on mathematical freedom, language, and objectivity

Nicolas Michel
(Isaac Newton Institute, University of Cambridge & Open University)
Abstract
German mathematician Eduard Study (1862-1930) was an outspoken critic of several emerging trends in modern mathematics at the turn of the century. Intuitionism, he argued, was in the process of eliminating the very notion of truth at the core of any serious scientific endeavour, whereas axiom-obsessed formalists engaged in a mere game of symbols, thereby losing sight of what really grants meaning and value to mathematical concepts. In rejecting both approaches, Study sought to maintain that mathematics was a science formed of freely-created concepts yet still possessed a specific form of objectivity, whose exploration crucially relied on the careful construction of symbolic languages.
 
To disentangle these claims, this talk will delve into Study's unpublished, philosophical essay on the foundations of analysis, and compare it to the mathematical practice espoused in his 1903 Geometrie der Dynamen, a landmark volume in the history of kinematics.
Wed, 21 May 2025
12:00
C1

On the converse of Pansu’s differentiability theorem

Andrea Merlo
(Universidad del País Vasco)
Abstract

In this talk I will present two new results concerning differentiability of Lipschitz maps between Carnot groups. The former is a suitable adaptation of Pansu-Rademacher differentiability theorem to general Radon measures. More precisely we construct a suitable bundle associated to the measure along which Lipschitz maps are differentiable, very much in the spirit of the results of Alberti-Marchese. The latter is the converse of Pansu’s theorem. Namely, let G be a Carnot group and μ a Radon measure on G. Suppose further that every Lipschitz map between G and H, some other Carnot group, is Pansu differentiable μ-almost everywhere. We show that μ must be absolutely continuous with respect to the Haar measure of G. This is a joint work with Guido De Philippis, Andrea Marchese, Andrea Pinamonti and Filip Rindler.

This new sub-Riemannian result will be an excuse to present and discuss the techniques employed in Euclidean spaces to prove the converse of Rademacher's theorem.

Wed, 30 Apr 2025
15:30
C1

Uniqueness of gauge covariant renormalisation of stochastic 3D Yang-Mills

Ilya Chevyrev
(University of Edinburgh)
Abstract

In this talk, I will describe a family of observables for 3D quantum Yang-Mills theory based on regularising connections with the YM heat flow. I will describe how these observables can be used to show that there is a unique renormalisation of the stochastic quantisation equation of YM in 3D that preserves gauge symmetries. This complements a recent result on the existence of such a renormalisation. Based on joint work with Hao Shen.

Subscribe to C1