Climate- and weather prediction centres such as the Met Office rely on efficient numerical methods for simulating large scale atmospheric flow. One computational bottleneck in many models is the repeated solution of a large sparse system of linear equations. Preconditioning this system is particularly challenging for state-of-the-art discretisations, such as (mimetic) finite elements or Discontinuous Galerkin (DG) methods. In this talk I will present recent work on developing efficient multigrid preconditioners for practically relevant modelling codes. As reported in a REF2021 Industrial Impact Case Study, multigrid has already led to runtime savings of around 10%-15% for operational global forecasts with the Unified Model. Multigrid also shows superior performance in the Met Office next-generation LFRic model, which is based on a non-trivial finite element discretisation.

A topological insulator has anomalous boundary spectrum which completely fills up gaps in the bulk spectrum. This ``topologically protected’’ spectral property is a physical manifestation of coarse geometry and index theory ideas. Special examples involve spectral flow and gerbes, related to Hamiltonian anomalies, and they arise experimentally in quantum Hall systems, time-reversal invariant mod-2 insulators, and shallow-water waves.

Symmetry protected topological (SPT) phases have recently attracted a lot of
attention from physicists and mathematicians as a topological classification
scheme for gapped ground states. In this talk I will briefly introduce the
operator algebraic approach to SPT phases in the infinite-volume limit. In
particular, I will focus on the quasifree (free-fermionic) setting, where we

can adapt tools from algebraic quantum field theory to describe phases of
gapped ground states using K-homology and the coarse index.

Abstract: Almost everything we encounter in our 3-dimensional world is a surface - the outside of a solid object. Comparing the shapes of surfaces is, not surprisingly, a fundamental problem in both theoretical and applied mathematics. Results from the mathematical theory of surfaces are now being used to study objects such as bones, brain cortices, proteins and biomolecules.  This talk will discuss recent joint work with Patrice Koehl that introduces a new metric on the space of Riemannian surfaces of genus-zero and some applications to biological surfaces.

Let $G$ be a compact connected Lie group and $k \in H^4(BG,\mathbb{Z})$ a cohomology class. The String 2-group $G_k$ is the central extension of $G$ by the smooth 2-group $BU(1)$ classified by $k$. It has a close relationship to the level $k$ extension of the loop group $LG$.
We will introduce smooth 2-groups and the associated notion of centre. We then compute this centre for the String 2-groups, leveraging the power of maximal tori familiar from classical Lie theory.
The centre turns out to recover the invertible positive energy representations of $LG$ at level $k$ (as long as we exclude factors of $E_8$ at level 2).

 

Gay and Kirby formulated a new way to decompose a (closed, orientable) 4-manifold M, called a trisection.    I’ll describe how to translate from a classical framed link diagram for M to a trisection diagram.   The links so obtained lie on Heegaard surfaces in the 3-sphere,  and have surgeries yielding some number of copies of S^1XS^2.   We can describe families of “elementary" links which have such surgeries, and one can ask whether all links with few components having such surgeries lie in these families.  The answer is almost certainly no.   We nevertheless give a small piece of evidence in favor of a positive answer for a special family of 2-component links.    This is joint work with Rob Kirby.  Gay and Kirby formulated a new way to decompose a (closed, orientable) 4-manifold M, called a trisection.    I’ll describe how to translate from a classical framed link diagram for M to a trisection diagram.   The links so obtained lie on Heegaard surfaces in the 3-sphere,  and have surgeries yielding some number of copies of S^1XS^2.   We can describe families of “elementary" links which have such surgeries, and one can ask whether all links with few components having such surgeries lie in these families.  The answer is almost certainly no.   We nevertheless give a small piece of evidence in favor of a positive answer for a special family of 2-component links.    This is joint work with Rob Kirby.  

Minimal Lagrangian maps play an important role in Teichmüller theory, with important existence and uniqueness results for hyperbolic surfaces obtained by Labourie, Schoen, Bonsante-Schlenker, Toulisse and others. In positive curvature, it is thus natural to ask whether one can find minimal Lagrangian diffeomorphisms between two spherical surfaces with cone points. In this talk we will show that the answer is negative, unless the two surfaces are isometric. As an application, we obtain a generalization of Liebmann’s theorem for branched immersions of constant curvature in Euclidean space. This is joint work with Christian El Emam.

Free-by-cyclic groups are easy to define – all you need is an automorphism of F_n. Their properties (for example hyperbolicity, or relative hyperbolicity) depend on this defining automorphism, but not always transparently. I will introduce these groups and some of their properties, and connect some to properties of the defining automorphism. I'll then discuss some ideas and techniques we can use to understand their automorphisms, including finding useful actions on trees and relationships with certain subgroups of Out(F_n). (This is joint work with Armando Martino.)