C5

TQFTs lie at the intersection of maths and theoretical physics. Topologically, they are a recipe for calculating an invariant of manifolds by cutting them into elementary pieces; physically, they describe the evolution of the state of a particle. These two viewpoints allow physical intuition to be harnessed to shed light on topological problems, including understanding the topology of 4-manifolds and calculating geometric invariants using topology.

Recent results have provided classifications of certain types of TQFTs as algebraic structures. After reviewing the definition of TQFTs and giving some diagrammatic examples, I will give informal arguments as to how these classifications arise. Finally, I will show that in many cases these algebras are in fact free, and give an explicit classification of them in this case.
 

The usual finite dimensional Grassmannians are well known to be classifying spaces for vector bundles. It is maybe a less known fact that one has certain natural connections on the Stiefel bundles over them, which also have a universality property. I will show how these connections are constructed and explain how this viewpoint can be used to rediscover Chern-Weil theory. Finally, we will see how a certain stabilized version of this, called the restricted Grassmannian, admits a similar construction, which can be used to show that it is a smooth classifying space for differential K-theory.

Morse theory explores the topology of a smooth manifold $M$ by looking at the local behaviour of a fixed smooth function $f : M \to \mathbb{R}$. In this talk, I will explain how we can construct ordinary homology by looking at the flow of $\nabla f$ on the manifold. The talk should serve as an introduction to Morse theory for those new to the subject. At the end, I will state a new(ish) proof of the functoriality of Morse homology.

Conical symplectic resolutions are one of the main objects in the contemporary mix of algebraic geometry and representation theory, 

known as geometric representation theory. They cover many interesting families of objects such as quiver varieties and hypertoric

varieties, and some simpler such as Springer resolutions. The last findings [Braverman, Finkelberg, Nakajima] say that they arise

as Higgs/Coulomb moduli spaces, coming from physics. Most of the gadgets attached to conical symplectic resolutions are rather

algebraic, such as their quatizations and $\mathcal{O}$-categories. We are rather interested in the symplectic topology of them, in particular 

finding smooth exact Lagrangians that appear in the central fiber of the (defining) resolution, as they are objects of the Fukaya category.

We will study the l1-homology of the 2-class in one relator groups. We will see that there are many qualitative and quantitive similarities between the l1-norm of the top dimensional class and the stable commutator length of the defining relation. As an application we construct manifolds with small simplicial volume.

This work in progress is joint with Clara Loeh.

Structure from Motion (SfM) is a problem which asks: given photos of an object from different angles, can we reconstruct the object in 3D? This problem is important in computer vision, with applications including urban planning and autonomous navigation. A key part of SfM is bundle adjustment, where initial estimates of 3D points and camera locations are refined to match the images. This results in a high-dimensional nonlinear least-squares problem. In this talk, I will discuss how dimensionality reduction methods such as block coordinates and sketching can be used to improve solver scalability for bundle adjustment problems.

One of the main themes in geometric group theory is Gromov's program to classify finitely generated groups up to quasi-isometry. We show that under certain situations, a quasi-isometry preserves commensurator subgroups. We will focus on the case where a finitely generated group G contains a coarse PD_n subgroup H such that G=Comm(H). Such groups can be thought of as coarse fibrations whose fibres are cosets of H; quasi-isometries of G coarsely preserve these fibres. This  generalises work of Whyte and Mosher--Sageev--Whyte.

In the 80s, Hatcher and Thurston introduced the pants graph as a tool to prove that the mapping class group of a closed, orientable surface is finitely presented. The pants graph remains relevant for the study of the mapping class group, sitting between the marking graph and the curve graph. More precisely, there is a sequence of natural coarse lipschitz maps taking the marking graph via the pants graph to the curve graph.

A second motivation for studying the pants graph comes from Teichmüller theory. Brock showed that the pants graph can be interpreted as a combinatorial model for Teichmüller space with the Weil-Petersson metric.

In this talk I will introduce the pants graph, discuss some of its properties and state a few open questions.

Calcination describes the heat treatment of anthracite particles in a furnace to produce a partially-graphitised material which is suitable for use in electrodes and for other met- allurgical applications. Electric current is passed through a bed of anthracite particles, here referred to as a coke bed, causing Ohmic heating and high temperatures which result in the chemical and structural transformation of the material.

Understanding the behaviour of such mechanisms on the scale of a single particle is often dealt with through the use of computational models such as DEM (Discrete Element Methods). However, because of the great discrepancy between the length scale of the particles and the length scale of the furnace, we can exploit asymptotic homogenisation theory to simplify the problem.  

In this talk, we will present some results relating to the electrical and thermal conduction through granular material which define effective quantities for the conductivities by considering a microscopic representative volume within the material. The effective quantities are then used as parameters in the homogenised macroscopic model to describe calcination of anthracite. 

Elements of a finitely generated group have a natural notion of length: namely the length of a shortest word over the generators that represents the element. This allows us to study the growth of such groups by considering the size of spheres with increasing radii. One current area of interest is the rationality or otherwise of the formal power series whose coefficients are the sphere sizes. I will describe a combinatorial way to study this series for the class of virtually abelian groups, introduced by Benson in the 1980s, and then outline its applications to other types of growth series.