Leeds University

This talk by Peter Huston gives an overview of the motivation for and classification of fusion 1-categories and 2-categories. In particular, we will review how fusion 1-categories naturally arise in operator algebras from the subfactor classification programme, which furnishes exotic examples of fusion category, such as the Haagerup subfactor, which are inaccessible by other approaches. Fusion 2-categories are a categorification of fusion 1-category, arising naturally from the study of TQFT in 4D, or as quantum symmetries of fusion 1-categories. We will outline the classification of fusion 2-categories. In particular, we will see that, while fusion 1-categories are wild in the sense that they cannot be constructed from lower dimensional data like finite groups, fusion 2-categories are comparatively tame, expressible in terms of braided fusion 1-categories and extension theory.

Convex geometry has long been influenced by the study of dualities and extremal inequalities, with origins in classical affine geometry and functional analysis. In this talk, Kasia Wyczesany will explore an abstract concept of duality, focusing on the classical idea of the polar set, which captures the duality of finite-dimensional normed spaces. This notion leads to fundamental questions about volume products, inspiring some of the most famous inequalities in the field. Whilst Mahler’s influential 1939 conjecture regarding the minimiser of the volume product will be mentioned, the emphasis will be on the Blaschke–Santaló inequality, which identifies the maximiser, along with its modern extensions. Main new results are joint work with S. Artstein-Avidan and S. Sadovsky, and S. Artstein-Avidan and M. Fradelizi. 

Model-theoretic dividing lines have long been a source of tameness for various areas of mathematics, with combinatorics jumping on the bandwagon over the last decade or so. Szemerédi’s regularity lemma saw improvements in the realm of NIP, which were further refined in the subrealms of stability and distality. We show how relations satisfying the distal regularity lemma enjoy improved bounds for Zarankiewicz’s problem. We then pivot to arithmetic regularity lemmas as pioneered by Green, for which NIP and stability also imply improvements. Unsettled by the absence of distality in this picture, we discuss the role of distality in additive combinatorics, appealing to our result connecting distality with arithmetic tameness.

On arbitrary Carnot groups, the only hypoelliptic Hodge-Laplacians on forms that have been introduced are 0-order pseudodifferential operators constructed using the Rumin complex.  However, to address questions where one needs sharp estimates, this 0-order operator is not suitable. Indeed, this is a rather difficult problem to tackle in full generality, the main issue being that the Rumin exterior differential is not homogeneous on arbitrary Carnot groups. In this talk, I will focus on the specific example of the free Carnot group of step 3 with 2 generators, where it is possible to introduce different hypoelliptic Hodge-Laplacians on forms. Such Laplacians can be used to obtain sharp div-curl type inequalities akin to those considered by Bourgain & Brezis and Lanzani & Stein for the de Rham complex, or their subelliptic counterparts obtained by Baldi, Franchi & Pansu for the Rumin complex on Heisenberg groups

The two-colored Temperley-Lieb algebra is a generalization of the Temperley-Lieb algebra. The analogous two-colored Jones-Wenzl projector plays an important role in the Elias-Williamson construction of the diagrammatic Hecke category. In this talk, I will give conditions for the existence and rotatability of the two-colored Jones-Wenzl projector in terms of the invertibility and vanishing of certain two-colored quantum binomial coefficients. As a consequence, we prove that Abe’s category of Soergel bimodules is equivalent to the diagrammatic Hecke category in complete generality.

 

I will explain how the model-theoretic algebraic closure in Zilber’s pseudo-exponential field can be described in terms of the self-sufficient closure. I will sketch a proof and show how the Mordell-Lang conjecture for algebraic tori comes into play. If time permits, I’ll also talk about the characterisation of strongly minimal sets and their geometries. This is joint work (still in progress) with Jonathan Kirby.

Zarankiewicz's problem for hypergraphs asks for upper bounds on the number of edges of a hypergraph that has no complete sub-hypergraphs of a given size. Let M be an o-minimal structure. Basit-Chernikov-Starchenko-Tao-Tran (2021) proved that the following are equivalent:

(1) "linear Zarankiewicz's bounds" hold for hypergraphs whose edge relation is induced by a fixed relation definable in M

(2) M does not define an infinite field.

We prove that the following are equivalent:

(1') linear Zarankiewicz bounds hold for sufficiently "distant" hypergraphs whose edge relation is induced by a fixed relation definable in M

(2') M does not define a full field (that is, one whose domain is the whole universe of M).

This is joint work (in progress) with Aris Papadopoulos.

 I will report on my recent work on dimension, definable groups, and definable fields in vector spaces over algebraically closed [real closed] fields equipped with a non-degenerate alternating bilinear form or a non-degenerate [positive-definite] symmetric bilinear form. After a brief overview of the background, I will discuss a notion of dimension and some other ingredients of the proof of the main result, which states that, in the above context, every definable group is (algebraic-by-abelian)-by-algebraic [(semialgebraic-by-abelian)-by-semialgebraic]. It follows from this result that every definable field is definable in the field of scalars, hence either finite or definably isomorphic to it [finite or algebraically closed or real closed].
 

We consider a non-linear PDE on $\mathbb R^d$ with a distributional coefficient in the non-linear term. The distribution is an element of a Besov space with negative regularity and the non-linearity is of quadratic type in the gradient of the unknown. Under suitable conditions on the parameters we prove local existence and uniqueness of a mild solution to the PDE, and investigate properties like continuity with respect to the initial condition. To conclude we consider an application of the PDE to stochastic analysis, in particular to a class of non-linear backward stochastic differential equations with distributional drivers.

We study the value of a zero-sum stopping game in which the terminal payoff function depends on the underlying process and on an additional randomness (with finitely many states) which is known to one player but unknown to the other. Such asymmetry of information arises naturally in insider trading when one of the counterparties knows an announcement before it is publicly released, e.g., central bank's interest rates decision or company earnings/business plans. In the context of game options this splits the pricing problem into the phase before announcement (asymmetric information) and after announcement (full information); the value of the latter exists and forms the terminal payoff of the asymmetric phase.

The above game does not have a value if both players use pure stopping times as the informed player's actions would reveal too much of his excess knowledge. The informed player manages the trade-off between releasing information and stopping optimally employing randomised stopping times. We reformulate the stopping game as a zero-sum game between a stopper (the uninformed player) and a singular controller (the informed player). We prove existence of the value of the latter game for a large class of underlying strong Markov processes including multi-variate diffusions and Feller processes. The main tools are approximations by smooth singular controls and by discrete-time games.