Oxford Mathematician Elena Gal talks about her recently published research.
Optimal complexity Navier-Stokes simulations in the ball
Abstract
In the first part of this talk, I will present an extension of Chebfun, called Ballfun, for computing with functions and vectors in the unit ball. I will then describe an algorithm for solving the incompressible Navier-Stokes equations in the ball. Contrary to projection methods, we use the poloidal-toroidal decomposition to decouple the PDEs and solve scalars equations. The solver has an optimal complexity (up to polylogarithmic terms) in terms of the degrees of freedom required to represent the solution.
Using Bose-Einstein condensates to explore scales where quantum physics and general relativity overlap
Abstract
Progress in developing a consistent theory that describes physical phenomena
at scales where quantum and general relativistic effects are large is
hindered by the lack of experiments. In this talk, we present a proposal
that would overcome this experimental obstacle by using a Bose-Einstein
condensate (BEC) to test for possible conflicts between quantum theory and
general relativity. Recent developments in large BEC systems allows us to
verify if gravitationally-induced wave function collapse occurs at the
timescales predicted by Roger Penrose. BECs with high particle numbers
(N>10^9) can also be used to demonstrate quantum field theory in curved
spacetime by observing how changes in the spacetime affect the phononic
quantum field of a BEC. These effects will enable the development of a new
generation of instruments that will be able to probe scales where new
physics might emerge, with applications including gravitational wave
detectors, gravimeters, gradiometers and dark energy probes.
12:45
Higgs bundles, branes, and application
Abstract
Higgs bundles are pairs of holomorphic vector bundles and holomorphic 1-forms taking values in the endomorphisms of the bundle. Their moduli spaces carry a natural Hyperkahler structure, through which one can study Lagrangian subspaces (A-branes) or holomorphic subspaces (B-branes). Notably, these A and B-branes have gained significant attention in string theory. After introducing Higgs bundles and the associated Hitchin fibration, we shall look at natural constructions of families of different types of branes, and relate these spaces to the study of 3-manifolds, surface group representations and mirror symmetry.
16:30
Small polycyclic groups
Abstract
Polycyclic groups either have polynomial growth, in which case they are virtually nilpotent, or exponential growth. I will give two interesting examples of "small" polycyclic groups which are extensions of $\mathbb{R}^2$ and the Heisenberg group by the integers, and attempt to justify the claim that they are small by sketching an argument that every exponential growth polycyclic group contains one of these.
16:00
Boundaries of Hyperbolic Groups
Abstract
You’re an amateur investigator hired to uncover the mysterious goings on of a dark cult. They call themselves Geometric Group Theorists and they’re under suspicion of pushing humanity’s knowledge too far. You’ve tracked them down to their supposed headquarters. Foolishly, you enter. Your mind writhes as you gaze unwittingly upon the Eldritch horror they’ve summoned… Group Theory! You think fast; donning the foggy glasses of quasi-isometry, you prevent your mind shattering from the unfathomable complexity of The Beast. You spy a weak spot and the phrase `Gromov Hyperbolicity’ flashes across your mind. You peer deeper, further, forever… only to find yourself somewhere rather familiar, strange, but familiar… no, self-similar! You’ve fought with fractals before, this weirdness can be tamed! Your insight is sufficient and The Beast retreats for now.
In other words, given an infinite group, we associate to it an infinite graph, called a Cayley graph, which gives us a notion of the ‘geometry’ of a group. Through this we can ask what kind of groups have hyperbolic geometry, or at least an approximation of it called Gromov hyperbolicity. Hyperbolic groups are quite a nice class of groups but a large one, so we introduce the Gromov boundary of a hyperbolic group and explain how it can be used to distinguish groups in this class.
16:00
Finding fibres for free factors
Abstract
"Fibre theorems" in the style of Quillen's fibre lemma are versatile tools used to study the topology of partially ordered sets. In this talk, I will formulate two of them and explain how these can be used to determine the homotopy type of the complex of (conjugacy classes of) free factors of a free group.
The latter is joint work with Radhika Gupta (see https://arxiv.org/abs/1810.09380).
16:00
An Introduction to Seifert Fibred Spaces
Abstract
A core problem in the study of manifolds and their topology is that of telling them apart. That is, when can we say whether or not two manifolds are homeomorphic? In two dimensions, the situation is simple, the Classification Theorem for Surfaces allows us to differentiate between any two closed surfaces. In three dimensions, the problem is a lot harder, as the century long search for a proof of the Poincaré Conjecture demonstrates, and is still an active area of study today.
As an early pioneer in the area of 3-manifolds Seifert carved out his own corner of the landscape instead of attempting to tackle the entire problem. By reducing his scope to the subclass of 3-manifolds which are today known as Seifert fibred spaces, Seifert was able to use our knowledge of 2-manifolds and produce a classification theorem of his own.
In this talk I will define Seifert fibred spaces, explain what makes them so much easier to understand than the rest of the pack, and give some insight on why we still care about them today.
A crash-course on persistent homology
Abstract
This talk features a self-contained introduction to persistent homology, which is the main ingredient of topological data analysis.