Past

This talk will be an invitation to the study of cubulated groups and their quotients via the tools of cubical small cancellation theory. Non-positively curved cube complexes are a class of cell-complexes whose geometry and combinatorial structure is closely related to the structure of the groups that act nicely on their universal covers. I will tell you a bit about what we know and don’t know about these groups and spaces, and about the tools we have to study their quotients. I will explain some applications of the study of these quotients to producing a large variety of examples of large-dimensional hyperbolic (and non-hyperbolic) groups.

A classic result of Chvatál and Erdős (1972) asserts that, if the vertex-connectivity of a graph G is at least as large as its independence number, then G has a Hamilton cycle. We prove a similar result, implying that a graph G is pancyclic, namely it contains cycles of all lengths between 3 and |G|: we show that if |G| is large and the vertex-connectivity of G is larger than its independence number, then G is pancyclic. This confirms a conjecture of Jackson and Ordaz (1990) for large graphs.

Rational Cherednik algebra is a flat deformation of a skew product of the Weyl algebra and a Coxeter group W. I am going to discuss two interesting subalgebras of Cherednik algebras going back to the work of Hakobyan and the speaker from 2015. They are flat deformations of skew products of quotients of the universal enveloping algebras of gl_n and so_n, respectively, with W. They also have to do with particular nilpotent orbits and generalised Howe duality.  Their central quotients can be given as the algebra of global sections of sheaves of Cherednik algebras. The talk is partly based on a joint work with D. Thompson.

6d N=(2,0) superconformal field theories have natural surface operators similar in many ways to Wilson lines in gauge theories. In this talk, I will discuss how they can be studied using conformal bootstrap techniques, including connection to W-algebras and the so-called inversion formula, focusing on the limit of large central charge.

Serre's conjecture (now a theorem) predicts that an irreducible 2-dimensional odd
Galois representation of $\mathbb Q$ with coefficients in $\bar{\mathbb F}_p$ comes from the mod p reduction of
a modular form. A key feature is that two modular forms of different weights can have the same
mod p reduction. Fixing a modular form $f$, the weight part of Serre's conjecture seeks to find all
the possible weights where one can find a modular form congruent to $f$ mod $p$. The recipe for these
weights was conjectured by Serre, and it depends only on the local Galois representation at $p$. I
will explain the ideas involved in Edixhoven's proof of the weight part, and if time allows, I
will briefly say something about what the generalizations beyond $\operatorname{GL}_2/\mathbb Q$ might look like. 

Coarse embeddings (maps between metric spaces whose distortion can be controlled by some function) occur naturally in various areas of pure mathematics, most notably in topology and algebra. It may therefore come as a surprise to discover that it is not known whether there is a coarse embedding of three-dimensional real hyperbolic space into the direct product of a real hyperbolic plane and a 3-regular tree. One reason for this is that there are very few invariants which behave monotonically with respect to coarse embeddings, and thus could be used to obstruct coarse embeddings.

Pluripotential theory studies plurisubharmonic functions and complex Monge-Ampère equations on complex manifolds, and has played a key role in recent progress on Kähler-Einstein and constant scalar curvature Kähler metrics. This theory admits a non-Archimedean analogue over Berkovich spaces, that can be used to study K-stability. The purpose of this talk is to provide an introduction to this circle of ideas, and to discuss more specifically recent joint work with Mattias Jonsson studying Green's functions in this context.

Generative AI has seen tremendous successes recently, most notably the chatbot ChatGPT and the DALLE2 software creating realistic images and artwork from text descriptions. Underlying these and other generative AI systems are usually neural networks trained to produce text, images, audio, or video from text inputs. The aim of this talk is to develop an understanding of the fundamental capabilities of generative neural networks. Specifically and mathematically speaking, we consider the realization of high-dimensional random vectors from one-dimensional random variables through deep neural networks. The resulting random vectors follow prescribed conditional probability distributions, where the conditioning represents the text input of the generative system and its output can be text, images, audio, or video. It is shown that every d-dimensional probability distribution can be generated through deep ReLU networks out of a 1-dimensional uniform input distribution. What is more, this is possible without incurring a cost—in terms of approximation error as measured in Wasserstein-distance—relative to generating the d-dimensional target distribution from d independent random variables. This is enabled by a space-filling approach which realizes a Wasserstein-optimal transport map and elicits the importance of network depth in driving the Wasserstein distance between the target distribution and its neural network approximation to zero. Finally, we show that the number of bits needed to encode the corresponding generative networks equals the fundamental limit for encoding probability distributions (by any method) as dictated by quantization theory according to Graf and Luschgy. This result also characterizes the minimum amount of information that needs to be extracted from training data so as to be able to generate a desired output at a prescribed accuracy and establishes that generative ReLU networks can attain this minimum.

This is joint work with D. Perekrestenko and L. Eberhard


 

We propose new G2-holonomy manifolds, which geometrize the Gaiotto-Kim 4d N = 1 duality
domain walls of 5d N = 1 theories. These domain walls interpolate between different extended
Coulomb branch phases of a given 5d superconformal field theory. Our starting point is the
geometric realization of such a 5d superconformal field theory and its extended Coulomb
branch in terms of M-theory on a non-compact singular Calabi-Yau three-fold and its Kahler
cone. We construct the 7-manifold that realizes the domain wall in M-theory by fibering the
Calabi-Yau three-fold over a real line, whilst varying its Kahler parameters as prescribed by
the domain wall construction. In particular this requires the Calabi-Yau fiber to pass through
a canonical singularity at the locus of the domain wall. Due to the 4d N = 1 supersymmetry
that is preserved on the domain wall, we expect the resulting 7-manifold to have holonomy G2.
Indeed, for simple domain wall theories, this construction results in 7-manifolds, which are
known to admit torsion-free G2-holonomy metrics. We develop several generalizations to new
7-manifolds, which realize domain walls in 5d SQCD theories.

abstract-Oxford.pdf

Let F be a p-adic local field and let G be a connected split reductive group over F. Let H be the pro-p Iwahori-Hecke algebra of the p-adic group G(F), with coefficients in an algebraically closed field k of characteristic p. The module theory over H (or a certain derived version thereof) is of considerable interest in the so-called mod p local Langlands program for G(F), whose aim is to relate the smooth modular representation theory of G(F) to modular representations of the absolute Galois group of F. In this talk, we explain a possible construction of a certain moduli space for those Galois representations into the Langlands dual group of G over k which are semisimple. We then relate this space to the geometry of H. This is work in progress with Cédric Pépin.

I will explain an ongoing program, joint with Kari Vilonen, that aims to study unitary representations of real reductive Lie groups using mixed Hodge modules on flag varieties. The program revolves around a conjecture of Schmid and Vilonen that natural filtrations coming from the geometry of flag varieties control the signatures of Hermitian forms on real group representations. This conjecture is expected to facilitate new progress on the decades-old problem of determining the set of unitary irreducible representations by placing it in a more conceptual context. Our results to date centre around the interaction of Hodge theory with the unitarity algorithm of Adams, van Leeuwen, Trapa, and Vogan, which calculates the signature of a canonical Hermitian form on an arbitrary representation by reducing to the case of tempered representations using deformations and wall crossing. Our results include a Hodge-theoretic proof of the ALTV wall crossing formula as a consequence of a more refined result and a verification of the Schmid-Vilonen conjecture for tempered representations.

Tbc

This course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

PhD_course_Esposito_1.pdf

This course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

PhD_course_Esposito_0.pdf

Hitchin's equations are a system of gauge theoretic equations on a Riemann surface that are of interest in many areas including representation theory, Teichmüller theory, and the geometric Langlands correspondence. The Hitchin moduli space carries a natural hyperkähler metric.  An intricate conjectural description of its asymptotic structure appears in the work of Gaiotto-Moore-Neitzke and there has been a lot of progress on this recently.  I will discuss some recent results using tools coming out of geometric analysis which are well-suited for verifying these extremely delicate conjectures. This strategy often stretches the limits of what can currently be done via geometric analysis, and simultaneously leads to new insights into these conjectures.

In their seminal 2012 paper, Elekes and Szabó found that a certain weak combinatorial non-expansion property of an algebraic relation suffices to trigger the group configuration theorem, showing that only (approximate subgroups of) algebraic groups can be responsible for it. I will discuss some more recent variations and elaborations on this result, focusing on the case of ternary relations on varieties of dimension >1.

PhD_course_Esposito.pdfThis course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

There has been a great deal of interest in understanding the link between the axiomatic descriptions of conformal field theory given by vertex operator algebras and conformal nets. In recent work, we establish an equivalence between certain vertex algebras and conformally-symmetric quantum field theories in the sense of Wightman. In this talk I will give an overview of these results and discuss some of the difficulties that arise, the functional analytic properties of vertex algebras, and some of the ideas for future work in this area.

This is joint work with James Tener and Yoh Tanimoto.

This DPhil short course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

Donaldson-Thomas theory associates integers (which are virtual counts of sheaves) to a Calabi-Yau threefold X. The simplest example is that of $\mathbb{C}^3$, when the Donaldson-Thomas (DT) invariant of sheaves of zero dimensional support and length d is $p(d)$, the number of plane partitions of $d$. The DT invariants have several refinements, for example a cohomological one, where instead of a DT invariant, one studies a graded vector space with Euler characteristic equal to the DT invariant. I will talk about two other refinements (categorical and K-theoretic) of DT invariants, focusing on the explicit case of $\mathbb{C}^3$. In particular, we show that the K-theoretic DT invariant for $d$ points on $\mathbb{C}^3$ also equals $p(d)$. This is joint work with Yukinobu Toda.

Dr. Keven Roy from RMS Moody's Analytics (who are currently hiring!) will share his experience of transitioning from academia to industry, discussing his fascinating work in modelling climate change and how his mathematical background has helped him succeed in industry. After the approximately 20-minute talk, we'll hold a Q&A session to discuss the importance of considering industry in your job search. Aimed primarily at PhD students and postdocs, this session will explore options beyond academia that can provide a fulfilling career (as well as good work-life balance, and financial compensation!).

Join us for a thought-provoking discussion at Fridays@4 to expand your career horizons and help you make informed decisions about your future. There will be lots of time for Q&A in this session, but if you have questions for Keven you can also send them in advance to Jess Crawshaw (session organiser) - @email.

Mapper and Ball Mapper are Topological Data Analysis tools used for exploring high dimensional point clouds and visualizing scalar–valued functions on those point clouds. Inspired by open questions in knot theory, new features are added to Ball Mapper that enable encoding of the structure, internal relations and symmetries of the point cloud. Moreover, the strengths of Mapper and Ball Mapper constructions are combined to create a tool for comparing high dimensional data descriptors of a single dataset. This new hybrid algorithm, Mapper on Ball Mapper, is applicable to high dimensional lens functions. As a proof of concept we include applications to knot and game  theory, as well as material science and cancer research.