I will report on a joint project with Frank Swenton whose goal is to develop an algorithm to determine whether an alternating knot is ribbon.  We can’t do this yet but we have an algorithm that has been remarkably, and indeed mysteriously, successful in finding a great deal of new slice knots.

This talk concerns a twenty-thousand-year old mistake: The natural numbers record only the result of counting and not the process of counting. As algebra is rooted in the natural numbers, the higher algebra of Joyal and Lurie is rooted in a more basic notion of number which also records the process of counting. Long advocated by Waldhausen, the arithmetic of these more basic numbers should eliminate denominators. Notable manifestations of this vision include the Bökstedt-Hsiang-Madsen topological cyclic homology, which receives a denominator-free Chern character, and the related Bhatt-Morrow-Scholze integral p-adic Hodge theory, which makes it possible to exploit torsion cohomology classes in arithmetic geometry. Moreover, for schemes smooth and proper over a finite field, the analogue of de Rham cohomology in this setting naturally gives rise to a cohomological interpretation of the Hasse-Weil zeta function by regularized determinants as envisioned by Deninger.

Fix a loop group LG, a level k∈ℕ, and let Repᵏ(LG) be corresponding category of positive energy representations.
For any pair of pants Σ (with complex structure in the interior and parametrized boundary), there is an associated functor Repᵏ(LG) × Repᵏ(LG) → Repᵏ(LG): (H,K) ↦ H⊠K, called the fusion product.

It had been widely expected (but never proven) that this operation should be unitary. Namely, that the choice of LG-invariant inner products on H and on K should induce an LG-invariant inner product on H⊠K. We show that this is not the case: there is an anomaly.
More precisely, there is an ℝ₊-torsor canonically associated to Σ. It is only after trivialising of this ℝ₊-torsor that the fusion product acquires an LG-invariant inner product. (The same statement applies when Σ is an arbitrary Riemann surface with boundary.)
Joint work with James Tener.

I will discuss ongoing work aimed at constructing higher categories of (enriched) higher categories. This should give the appropriate targets for many interesting examples of extended topological quantum field theories, including extended versions of the classical examples of TQFTs due to Turaev-Viro, Reshetikhin-Turaev, etc.

Klarrich showed that the Gromov boundary of the curve complex of a hyperbolic surface is homeomorphic to the space of ending laminations on that surface. Independent results of Bestvina-Reynolds and Hamenstädt give an analogous statement for the free factor graph of a free group, where the space of ending laminations is replaced with a space of equivalence classes of arational trees. I will give an introduction to these objects and describe some joint work with Bestvina and Horbez, where we show that the Gromov boundary of the free factor graph for a free group of rank N has topological dimension at most 2N-2.

Oxford Mathematics Public Lectures - Andrew Wiles, 28th November, 6.30pm, Science Museum, London SW7 2DD

Oxford Mathematics in partnership with the Science Museum is delighted to announce its first Public Lecture in London. World-renowned mathematician Andrew Wiles will be our speaker. Andrew will be talking about his current work and will also be 'in conversation' with mathematician and broadcaster Hannah Fry after the lecture.

This lecture is now sold out, but it will be streamed live and recorded. https://livestream.com/oxuni/wiles
 

In recognition of a lifetime's contribution across the mathematical sciences, we are initiating a series of annual Public Lectures in honour of Roger Penrose. The first lecture will be given by his long-time collaborator and friend Stephen Hawking.

Unfortunately the lecture is now sold out and we have a full waiting list. However, we will be podcasting the lecture live (and also via the University of Oxford Facebook page).

In this talk we consider a system of interacting Brownian particles. When diffusing particles interact with each other their motions are correlated, and the configuration space is of very high dimension. Often an equation for the one-particle density function (the concentration) is sought by integrating out the positions of all the others. This leads to the classic problem of closure, since the equation for the concentration so derived depends on the two-particle correlation function. We discuss two  common closures, the mean-field (MFA) and the Kirkwood-superposition approximations, as well as an alternative approach, which is entirely systematic, using matched asymptotic expansions (MAE). We compare the resulting (nonlinear) diffusion models with Monte Carlo simulations of the stochastic particle system, and discuss for which types of interactions (short- or long-range) each model works best. 

We present a new model for multi-agent dynamics where each agent is described by its position and body attitude: agents travel at a constant speed in a given direction and their body can rotate around it adopting different configurations. Agents try to coordinate their body attitudes with the ones of their neighbours. This model is inspired by the Vicsek model. The goal of this talk will be to present this new flocking model, its relevance and the derivation of the macroscopic equations from the particle dynamics.