Thu, 12 Nov 2026
11:00
C6

Existence over an arid predicate

Martin Bays
(Oxford University)
Abstract
I will talk more on the topic introduced in my Week 2 talk, though this talk will be self-contained. As mentioned then, with Itay Kaplan and Pierre Simon we prove the existence property for stably embedded predicates in simple (or just rosy) countable theories, going via the notion of an "arid" predicate. I will present this result and its proof. Time allowing, I may explain how this recovers the result (proven independently by Chatzidakis and Afshordel) that any difference field with pseudofinite fixed field extends to an existentially closed difference field without extending the fixed field, and/or discuss other examples and non-examples.

The first in our series of films abut the impact of AI on mathematics features Ben Green and James Maynard in conversation with Jan Obloj about the impact of the recent avalanche of AI-generated proofs, and how mathematics may evolve as a consequence.

Embedding stochastic dynamics in latent manifolds of recurrent neural networks
Nartallo-Kaluarachchi, R Lambiotte, R Goriely, A Physical Review Research (05 Nov 2026) doi:10.1103/r397-cxtl
Image of building
Modern AI is a remarkable achievement of the mathematical sciences and is now, in turn, having an extraordinary impact on mathematics. Through filmed discussions and short interviews, we will explain and explore mathematical results, personal experiences and the choices that will shape our subject’s future.
Wed, 11 Nov 2026

13:00 - 14:00
C4

Functorial topological field theories and their extensions

Devon Stockall
(University of Southern Denmark)
Abstract

Topological quantum field theories are one of the few cases of QFT that can be treated mathematically.  The goal of this talk will be to recall a mathematician's definition of TFT, and demonstrate how it recovers features of QFT that are familiar to physicists.  I will then introduce the notion of extended TFT, and explain how dualizability properties can be used to classify TFTs.

Subscribe to