Past

For the North Analysis British Seminar, see: https://www.maths.ox.ac.uk/node/29687

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.
 

The aim of this talk is to tell the story of Non-Abelian Hodge Theory for curves. The starting point is the space of representations of the fundamental group of a compact Riemann surface. This space can be endowed with the structure of a complex algebraic variety in three different ways, giving rise to three non-algebraically isomorphic moduli spaces called the Betti, de Rham and Dolbeault moduli spaces respectively. 

After defining and outlining the construction of these three moduli spaces, I will describe the (non-algebraic) correspondences between them, collectively known as Non-Abelian Hodge Theory. Finally, we will see how the rich structure of the Dolbeault moduli space can be used to shed light on the topology of the space of representations.

The core idea behind metric spaces is the triangular inequality. Metrics have been generalized in many ways, but the most tempting way to alter them would be to "flip" the triangular inequality, obtaining an "anti-metric". This, however, only allows for trivial spaces where the distance between any two points is 0. However, if we intertwine the concept of antimetrics with the structures of partial linear--and cyclic--orders, we can define a structure where the anti-triangular inequality holds conditionally. We define this structure, give examples, and show an interesting result involving metrics and antimetrics.

Roger Penrose is the ultimate scientific all-rounder.  He started out in algebraic geometry but within a few years had laid the foundations of the modern theory of black holes with his celebrated paper on gravitational collapse. His exploration of foundational questions in relativistic quantum field theory and quantum gravity, based on his twistor theory, had a huge impact on differential geometry. His work has influenced both scientists and artists, notably Dutch graphic artist M. C. Escher.

Roger Penrose is one of the great ambassadors for science. In this lecture and in conversation with mathematician and broadcaster Hannah Fry he will talk about work and career.

This lecture is in partnership with the Science Museum in London where it will take place. Please email @email to register.

You can also watch online:

https://www.facebook.com/OxfordMathematics

https://livestream.com/oxuni/Penrose-Fry

The Oxford Mathematics Public Lectures are generously supported by XTX Markets.

In 1985, Babai and Sós asked whether there exists a constant c>0 such that every finite group of order n has a product-free set of size at least cn, where a product-free set of a group is a subset that does not contain three elements x,y and z  satisfying xy=z. Gowers showed that the answer is no in the early 2000s, by linking the existence of product-free sets of large density to the existence of low dimensional unitary representations.

In this talk, I will provide an answer to the aforementioned question by model theoretic means. Furthermore, I will relate some of Gowers' results to the existence of nontrivial definable compactifications of nonstandard finite groups.
 

I will talk about some basic facts about slope stable sheaves and the Bogomolov inequality.  New techniques from stability conditions will imply new stronger bounds on Chern characters of stable sheaves on some special varieties, including  Fano varieties, quintic threefolds and etc. I will discuss the progress in this direction and some related open problems.

Using non-minimal pure spinor superspace, Cederwall has constructed BRST-invariant actions for D=10 super-Born-Infeld and D=11 supergravity which are quartic in the superfields. But since the superfields have explicit dependence on the non-minimal pure spinor variables, it is non-trivial to show these actions correctly describe super-Born-Infeld and supergravity. In this talk, I will expand solutions to the equations of motion from the pure spinor action for D=10 abelian super Born-Infeld to leading order around the linearized solutions and show that they correctly describe the interactions expected. If I have time, I will explain how to generalize these ideas to D=11 supergravity.

How long a monotone path can one always find in any edge-ordering of the complete graph $K_n$? This appealing question was first asked by Chvatal and Komlos in 1971, and has since attracted the attention of many researchers, inspiring a variety of related problems. The prevailing conjecture is that one can always find a monotone path of linear length, but until now the best known lower bound was $n^{2/3−o(1)}$, which was proved by Milans. This talk will be
about nearly closing this gap, proving that any edge-ordering of the complete graph contains a monotone path of length $n^{1−o(1)}$. This is joint work with Bucic, Kwan, Sudakov, Tran, and Wagner.

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.

I will explain how Dirac operators provide precious information about geometric and algebraic aspects of representations of real Lie groups. In particular, we obtain an explicit realisation of representations, leading terms in the asymptotics of characters and a precise connection with nilpotent orbits.

This talk features a self-contained introduction to persistent homology, which is the main ingredient of topological data analysis. 

As a rule of thumb, the dominant resistive force on a cyclist riding along a flat road at a speed above 10mph is aerodynamic drag; at higher speeds, this drag becomes even more influential because of its non-linear dependence on speed. Reducing drag, therefore, is of critical importance in bicycle racing, where winning margins are frequently less than a tyre's width (over a 200+km race!). I shall discuss a mathematical model of aerodynamic drag in cycling, present mathematical reasoning behind some of the decisions made by racing cyclists when attempting to minimise it, and touch upon some of the many methods of aerodynamic drag assessment.

One of the main open problems in loop quantum gravity is to reconcile the fundamental quantum discreteness of space with general relativity in the continuum. In this talk, I present recent progress regarding this issue: I will explain, in particular, how the discrete spectra of geometric observables that we find in loop gravity can be understood from a conventional Fock quantisation of gravitational edge modes on a null surface boundary. On a technical level, these boundary modes are found by considering a quasi-local Hamiltonian analysis, where general relativity is treated as a Hamiltonian system in domains with inner null boundaries. The presence of such null boundaries requires then additional boundary terms in the action. Using Ashtekar’s original SL(2,C) self-dual variables, I will explain that the natural such boundary term is nothing but a kinetic term for a spinor (defining the null flag of the boundary) and a spinor-valued two-form, which are both intrinsic to the boundary. The simplest observable on the boundary phase space is the cross sectional area two-form, which generates dilatations of the boundary spinors. In quantum theory, the corresponding area operator turns into the difference of two number operators. The area spectrum is discrete without ever introducing spin networks or triangulations of space. I will also comment on a similar construction in three euclidean spacetime dimensions, where the discreteness of length follows from the quantisation of gravitational edge modes on a one-dimensional cross section of the boundary.
The talk is based on my recent papers: arXiv:1804.08643 and arXiv:1706.00479.
 

Matrix completion is an area of great mathematical interest and has numerous applications, including recommender systems for e-commerce. The recommender problem can be viewed as follows: given a database where rows are users and and columns are products, with entries indicating user preferences, fill in the entries so as to be able to recommend new products based on the preferences of other users. Viewing the interactions between user and product as links in a bipartite graph, the problem is equivalent to approximating a partially observed graph using clusters. We propose a divide and conquer algorithm inspired by the work of [1], who use recursive rank-1 approximation. We make the case for using an LP rank-1 approximation, similar to that of [2] by a showing that it guarantees a 2-approximation to the optimal, even in the case of missing data. We explore our algorithm's performance for different test cases.

[1]  Shen, B.H., Ji, S. and Ye, J., 2009, June. Mining discrete patterns via binary matrix factorization. In Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining (pp. 757-766). ACM.

[2] Koyutürk, M. and Grama, A., 2003, August. PROXIMUS: a framework for analyzing very high dimensional discrete-attributed datasets. In Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining (pp. 147-156). ACM.
 

We consider vector-valued maps which minimize an energy with two terms: an elastic term penalizing high gradients, and a potential term penalizing values far away from a fixed submanifold N. In the scaling limit where the second term is dominant, minimizers converge to maps with values into the manifold N. If the elastic term is the classical Dirichlet energy (i.e. the squared L^2-norm of the gradient), classical tools show that this convergence is uniform away from a singular set where the energy concentrates. Some physical models (as e.g. liquid crystal models) include however more general elastic energies (still coercive and quadratic in the gradient, but less symmetric), for which these classical tools do not apply. We will present a new strategy to obtain nevertheless this uniform convergence. This is a joint work with Andres Contreras.

We present a construction which associates to a KdV equation the lamplighter group. 
In order to establish this relation we use automata and random walks on ultra discrete limits. 
It is also related to the L2 Betti numbers introduced by Atiyah which are homotopy 
invariants of closed manifolds.

SLE curves are an important family of random curves in the plane. They share many similarites with solutions of SDE (in particular, with Brownian motion). Any quesion asked for the latter can be asked for the former. Inspired by that, Yizheng Yuan and I investigate the support for SLE curves. In this talk, I will explain our theorem with more motivation and idea. 

In this seminar we will look at an extension of the well known sewing lemma from rough path theory to fields on [0; 1]k. We will first introduce a framework suitable to study such fields, and then find a criterion for convergence of multiple Riemann type sums of a class of abstract integrands. A simple application of this extension is construct the Young integral for fields.Furthermore, we will discuss the use of this theorem to study integration of fields of lower regularity by using ideas familiar from rough path theory. Moreover, we will discuss difficulties we face by looking at “multi-parameter ODE's” both from an existence and uniqueness point of view.

The Beilinson-Drinfeld Grassmannian, which classifies a G-bundle trivialised away from a finite set of points on a curve, is one of the basic objects in the geometric Langlands programme. Similar construction in higher dimensions in the algebraic and analytic settings are not very interesting because of Hartogs' theorem. In this talk I will discuss a differentiable version. I will also explain a theory of D-modules on differentiable spaces and use it
to define differentiable chiral and factorisation algebras. By linearising the Grassmannian we get examples of differentiable chiral algebras. This is joint work with Dennis Borisov.

Prof. Helen Byrne shares her academic path and experience as Director of Equality and Diversity.

More information will appear later.

 In this seminar I will discuss a recently-found class of RG flows in four dimensions exhibiting enhancement of supersymmetry in the infrared, which provides a lagrangian description of several strongly-coupled N=2 SCFTs. The procedure involves starting from a N=2 SCFT, coupling a chiral multiplet in the adjoint representation of the global symmetry to the moment map of the SCFT and turning on a nilpotent expectation value for this chiral. We show that, combining considerations based on 't Hooft anomaly matching and basic results about the N=2 superconformal algebra, it is possible to understand in detail the mechanism underlying this phenomenon and formulate a simple criterion for supersymmetry enhancement. 

In this session we discuss various different routes for promoting your research through a panel discussion with Dawn Gordon (Project Manager, Oxford University Innovation), Dyrol Lumbard (External Relations Manager, Mathematical Institute), James Maynard (Academic Faculty, Mathematical Institute) and Ian Griffiths, and chaired by Frances Kirwan. The panel discussion will include the topics of outreach, impact, and strategies for promoting aspects of mathematics that are less amenable to public engagement. 

New undergraduates often find that they have a lot more time to spend on independent work than they did at school or college.  But how can you use that time well?  When your lecturers say that they expect you to study your notes between lectures, what do they really mean?  There is research on how mathematicians go about reading maths effectively.  We'll look at a technique that has been shown to improve students' comprehension of proofs, and in this interactive workshop we'll practise together on some examples.  Please bring a pen/pencil and paper! 

This session is likely to be most relevant for first-year undergraduates, but all are welcome, especially those who would like to improve how they read and understand proofs.