L5

Discrete structures have a long history of use in applied mathematics. Graphs and hypergraphs provide models of social networks, biological systems, academic collaborations, and much more. Network science, and more recently hypernetwork science, have been used to great effect in analyzing these types of discrete structures. Separately, the field of applied topology has gathered many successes through the development of persistent homology, mapper, sheaves, and other concepts. Recent work by our group has focused on the convergence of these two areas, developing and applying topological concepts to study discrete structures that model real data.

This talk will survey our body of work in this area showing our work in both the theoretical and applied spaces. Theory topics will include an introduction to hypernetwork science and its relation to traditional network science, topological interpretations of graphs and hypergraphs, and dynamics of topology and network structures. I will show examples of how we are applying each of these concepts to real data sets.

Two CW-complexes are simple homotopy equivalent if they are related by a sequence of collapses and expansions of cells. It implies homotopy equivalent as is implied by homeomorphic. This notion proved extremely useful in manifold topology and is central to the classification of non-simply connected manifolds up to homeomorphism. I will present the first examples of two 4-manifolds which are homotopy equivalent but not simple homotopy equivalent, as well as in all higher even dimensions. The examples are constructed using surgery theory and the s-cobordism theorem, and are distinguished using methods from algebraic number theory and algebraic K-theory. I will also discuss a number of new directions including progress on classifying the possible fundamental groups for which examples exist. This is joint work with Csaba Nagy and Mark Powell.

THIS TALK IS CANCELLED DUE TO ILLNESS -- In this talk I will present classification results for rigid Frobenius algebras in Dijkgraaf–Witten categories ℨ( Vec(G)ᵚ ) over a field of arbitrary characteristic, generalising existing results by Davydov-Simmons. For this purpose, we provide a braided Frobenius monoidal functor from ℨ ( Vect(H)ᵚˡᴴ ) to ℨ( Vec(G)ᵚ ) for any subgroup H of G. I will also discuss about their categories of local modules, which are modular tensor categories  by results of Kirillov–Ostrik in the semisimple case and Laugwitz–Walton in the general case. Joint work with Robert Laugwitz (Nottingham) and Sam Hannah (Cardiff).

For geometric variational problems one often only has weak, rather than strong, compactness results and hence has to deal with the problem that sequences of (almost) critical points $u_j$ can converge to a limiting object with different topology.

A major challenge posed by such singular behaviour is that the seminal results of Simon on Lojasiewicz inequalities, which are one of the most powerful tools in the analysis of the energy spectrum of analytic energies and the corresponding gradient flows, are not applicable.

In this talk we present a method that allows us to prove Lojasiewicz inequalities in the singular setting of almost harmonic maps that converge to a simple bubble tree and explain how these results allow us to draw new conclusions about the energy spectrum of harmonic maps and the convergence of harmonic map flow for low energy maps from surfaces of positive genus into general analytic manifolds.

Fluids sculpt many of the shapes we see in the world around us. We present a new mathematical model describing the shape evolution of a body that dissolves or melts under gravitationally stable buoyancy-driven convection, driven by thermal or solutal transfer at the solid-fluid interface. For high Schmidt number, the system is reduced to a single integro-differential equation for the shape evolution. Focusing on the particular case of a cone, we derive complete predictions for the underlying self-similar shapes, intrinsic scales and descent rates. We will present the results of new laboratory experiments, which show an excellent match to the theory. By analysing all initial power-law shapes, we uncover a surprising result that the tips of melting or dissolving bodies can either sharpen or blunt with time subject to a critical condition.

The evolution of land surfaces is partly cause by the erosion, transport and deposition of sediment. My research aims to understand the origin and evolution of landscapes, using the tools of fluid mechanics. I am particularly interested in aeolian and fluvial transport of sediments. To do this, I use a multi-method approach (theoretical/numerical analysis, laboratory experiments and field measurements). The use of simplified laboratory experiments allows me to limit the complexity of natural systems by identifying the main mechanisms controlling sediment transport.  Once these physical laws are established, I apply them to natural data to explain the morphology of the observed landscapes, and to predict their evolution.

In this seminar, I will present two examples of the application of my work. An experimental study highlighting the influence of input conditions (water and sediment flows, sediment properties) on the morphology of fluvial deposits (i.e. alluvial fan), as well as a theoretical analysis coupled with field measurements to understand the mechanisms of dune initiation.

Isostasy is one of the earliest quantitative geophysical theories still in current use. It explains why observed gravity anomalies are generally much weaker than what is inferred from visible topography, and why planetary crusts can support large mountains without breaking up. At large scale, most topography (including bathymetry) is in isostatic equilibrium, meaning that surface loads are buoyantly supported by crustal thickness variations or density variations within the crust and lithosphere, in such a way that deeper layers are hydrostatic. On Earth, examples of isostasy are the average depth of the oceans, the elevation of the Himalayas, and the subsidence of ocean floor away from mid-ocean ridges, which are respectively attributed to the crust-ocean thickness difference, to crustal thickening under mountain belts, and to the density increase due to plate cooling. Outside Earth, isostasy is useful to constrain the crustal thickness of terrestrial planets and the shell thickness of icy moons with subsurface oceans.

Given the apparent simplicity of the isostatic concept – buoyant support of mountains by iceberg-like roots – it is surprising that a debate has been going on for over a century about its various implementations. Classical isostasy is indeed not self-consistent, neglects internal stresses and geoid contributions to topographical support, and yields ambiguous predictions of geoid anomalies at the planetary scale. In the last few years, these problems have attracted renewed attention when applying isostasy to planetary bodies with an unbroken crustal shell. In this talk I will discuss isostatic models based on the minimization of stress, on time-dependent viscous evolution, and on stationary viscous flow. I will show that these new isostatic approaches are mostly equivalent and discuss their implications for the structure of icy moons.

Rivers choose their size and shape, and spontaneously organize into ramified networks. Yet, they are essentially a channelized flow of water that carries sediment. Based on laboratory experiments, field measurements and simple theory, we will investigate the basic mechanisms by which rivers form themselves, and carve the landscapes that surround us.

We will describe a new equivariant version of discrete Morse theory designed specially for quotient objects X/G which arise naturally in geometric group theory from actions of finite groups G on finite simplicial complexes X. Our main tools are (A) a reconstruction theorem due to Bridson and Haefliger which recovers X from X/G decorated with stabiliser data, and (B) a 2-categorical upgrade of discrete Morse theory which faithfully captures the underlying homotopy type. Both tools will be introduced during the course of the talk. This is joint work with Naya Yerolemou.

This is joint work with Corey Bregman. We study the homotopy type of embedding spaces of unparameterised links, inspired by work of Brendle and Hatcher. We obtain a simple description of the fundamental group of the embedding space, which I will describe for you. Our main tool is a homotopy equivalent semi-simplicial space of separating spheres. As I will explain, this is a combinatorial object that provides a gateway to studying the homotopy type of embedding spaces of split links via the homotopy type of their individual pieces.