University of Oxford

A 1977 conjecture of Erdős and Hajnal asserts that for every hereditary class of graphs not containing all graphs, every graph in the class has a polynomial-sized clique or stable set. Fox, Pach, and Suk and independently Chernikov, Starchenko, and Thomas asked whether this conjecture holds for every class of graphs of bounded VC-dimension. In joint work with Alex Scott and Paul Seymour, we resolved this question in the affirmative. The talk will introduce the Erdős–Hajnal conjecture and discuss some ideas behind the proof of the bounded VC-dimension case.

This talk focuses on the logic side of the following result: the non-definability of free independence in the theory of tracial von Neumann algebras and C*-probability spaces. I will introduce continuous model theory, which is suitable for the study of metric structures. Definability in the continuous setting differs slightly from that in the discrete case. I will introduce its definition, give examples of definable sets, and prove an equivalent ultrapower condition of it. A. Berenstein and C. W. Hanson exposited model theory for probability spaces in 2023, which was done with continuous model theory. It makes it natural for us to consider the definability of the notion of free independence in probability spaces. I will explain our result, which gives an example of a non-definable set.

This is work with William Boulanger and Emma Harvey, supervised by Jenny Pi and Jakub Curda.

Lagrangian mean curvature flow (LMCF) is a way to deform Lagrangian submanifolds inside a Calabi-Yau manifold according to the negative gradient of the area functional. There are influential conjectures about LMCF due to Thomas-Yau and Joyce, describing the long-time behaviour of the flow, singularity formation, and how one may flow past singularities. In this talk, we will show how to flow past a conically singular Lagrangian by gluing in expanders asymptotic to the cone, generalizing an earlier result by Begley-Moore. We solve the problem by a direct P.D.E.-based approach, along the lines of recent work by Lira-Mazzeo-Pluda-Saez on the network flow. The main technical ingredient we use is the notion of manifolds with corners and a-corners, as introduced by Joyce following earlier work of Melrose.

In this talk I will describe a possible strategy to obtain new solution to LMCF in the Kummer K3 surface by a fixed point argument. The key idea is that the regions where curvature concentrates in the Kummer K3 surface are modeled on the Eguchi-Hanson space. 

I am going to start by reviewing axioms of quantum mechanics, which in fact give a description of a Hilbert space. I will argue that the language that Dirac and his followers developed is that of continuous logic and the form of axiomatisation is that of "algebraic logic" in the sense of A. Tarski's cylindric algebras. In fact, Hilbert spaces can be seen as a continuous model theory version of cylindric algebras.

I introduce modal group theory, where one investigates the class of all groups using embeddability as a modal operator. By employing HNN extensions, I demonstrate that the modal language of groups is more expressive than the first-order language of groups. Furthermore, I establish that the theory of true arithmetic, viewed as sets of Gödel numbers, is computably isomorphic to the modal theory of finitely presented groups. Finally, I resolve an open question posed by Sören Berger, Alexander Block, and Benedikt Löwe by proving that the propositional modal validities of groups constitute precisely the modal logic S4.2.

Let p be a prime. In this talk we look at the bounded derived category of modules over the Rubik’s cube group and show that the faithful action on the corners and edges is a progenerator for the coadmissible subcategory.

Building on Leo’s talk last week, I will present the full Galois characterisation of henselianity and introduce some of the ‘explicit’ ingredients he referred to during his presentation. In particular, I will describe a Galois cohomology-inspired criterion for distinguishing between different characteristics. I will then outline the full proof of the Galois characterisation of p-adically closed fields, indicating how each of the ingredients enters the argument.

The absolute Galois group of ℚₚ determines its field structure: a field K is p-adically closed if and only if its absolute Galois group is isomorphic to that of ℚₚ. This Galois-theoretic characterisation was proved by Koenigsmann in 1995, building on previous work by Arason, Elman, Jacob, Ware, and Pop. Similar results were obtained by Efrat and further developed in his 2006 book.

Our project aims to provide an optimal proof of this characterisation, incorporating improvements and new developments. These include a revised proof strategy; Efrat's construction of valuations via multiplicative stratification; the Galois characterisation of henselianity; systematic use of the standard decomposition; and the function field analogy of Krasner-Kazhdan-Deligne type. Moreover, we replace arguments that use Galois cohomology with elementary ones.

In this talk, I will focus on two key components of the proof: the construction of valuations from rigid elements, and the role of the function field analogy as developed via the non-standard methods of Jahnke-Kartas.

This is joint work with Jochen Koenigsmann and Benedikt Stock.