C6

The classical Leopoldt conjecture predicts that the global units of a number field (tensored with Qp) inject into the local units at p. In this talk, I'll discuss some non-abelian generalisations of this in the setting of Galois representations.

Recurrence is central in ergodic Ramsey theory, and its multiplicative analogue is only now emerging. In this talk, I will define multiplicative recurrence, give illustrative examples, and explain how pretentious number theory is applied to establish it.

 Hyper-Kähler manifolds are rigid geometric structures. They have three different symplectic and complex structures, in direct analogy with the quaternions. Being Ricci-flat, they solve the vacuum Einstein equations, and so there has been considerable interest among physicists to explicitly construct such spaces. We will discuss in detail the examples arising from the Gibbons-Hawking ansatz. These give concrete descriptions of the metric, giving many examples to work with. They also lead to the generalised classification as hyper-Kähler quotients by P.B. Kronheimer, with one such space for each finite subgroup of SU(2). Finally, we will look at the McKay correspondence, relating the finite subgroups of SU(2) with the simple Lie algebras of type A,D,E.

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. Henson 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.

The theory of characters for infinite groups, initiated by Thoma, is a natural generalization of the representation theory of finite groups. More precisely, a character on a discrete group is a normalised positive definite function which is conjugation invariant and extremal. Connes conjectured a rigidity result for characters of an important family of discrete groups, namely, irreducible lattices in higher-rank semisimple Lie groups. The conjecture states that every character is either the trace of a finite-dimensional representation, or vanishes off the center. This rigidity property implies the Stuck-Zimmer conjecture for such lattices, namely, ergodic actions are either essentially transitive or essentially free. I will present a recent joint result with Michael Glasner, Yuval Gorfine, Liam Hanany and Arie Levit in which we prove that non-uniform irreducible lattices in higher-rank semisimple groups are character rigid. As a result, we also obtain a resolution of the Stuck-Zimmer conjecture for all non-uniform lattices.

I will describe recent developments in information geometry (the study of optimal transport and entropy) for the setting of free probability.  One of the main goals of free probability is to model the large-n behavior of several $n \times n$ matrices $(X_1^{(n)},\dots,X_m^{(n)})$ chosen according to a sufficiently nice joint distribution that has a similar formula for each n (for instance, a density of the form constant times $e^{-n^2 \tr_n(p(x))}$ where $p$ is a non-commutative polynomial).  The limiting object is a tuple $(X_1,\dots,X_m)$ of operators from a von Neumann algebra.  We want the entropy and the optimal transportation distance of the probability distributions on $n \times n$ matrix tuples converge in some sense to their free probabilistic analogs, and so to obtain a theory of Wasserstein information geometry for the free setting.  I will present both negative results showing unavoidable difficulties in the free setting, and positive results showing that nonetheless several crucial aspects of information geometry do adapt.

We will discuss local regularity properties for solutions to non-local equations naturally arising in kinetic theory. We will focus on the Strong Harnack inequality for global solutions to a non-local kinetic equation in divergence form. We will explain the connection to the Boltzmann equation and we will mention a few consequences on the asymptotic behaviour of the solutions.

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.