Past

We will give an overview of the Soliton Resolution Conjecture, focusing mainly on the Wave Maps Equation. This is a program about understanding the formation of singularities for a variety of critical hyperbolic/dispersive equations, and stands as a remarkable topic of research in modern PDE theory and Mathematical Physics. We will be presenting our contributions to this field, elaborating on the required background, as well as discussing some of the latest results by various authors.

The Hastings-Levitov models describe the growth of random sets (or clusters) in the complex plane as the result of iterated composition of random conformal maps. The correlations between these maps are determined by the harmonic measure density profile on the boundary of the clusters. In this talk I will focus on the simplest case, that of i.i.d. conformal maps, and obtain a description of the local fluctuations of the harmonic measure density around its deterministic limit, showing that these are Gaussian. This is joint work with James Norris.

Calabi-Yau 3-folds play a large role in string theory.  Cohomology of sheaves on such varieties has many uses in string theory, including counting the number of particles or fields in a theory, as well as to help identify terms in the superpotential that determines the equations of motion of the corresponding string theory, and many other uses as well.  As a computational algebraic geometer, string theory provides a rich source of new computational problems to solve.

In this talk, we focus on the search for rigid divisors on these Calabi-Yau hypersurfaces of toric varieties.  We have had methods to compute sheaf cohomology on these varieties for many years now (Eisenbud-Mustata-Stillman, around 2000), but these methods fail for many of the examples of interest, in that they take a very long time, or the software (wisely) refuses to try!

We provide techniques and formulas for the sheaf cohomology of certain divisors of interest in string theory, that other current methods cannot handle.  Along the way, we describe a Macaulay2 package for computing with these objects, and show its use on examples.

This is joint work with Andreas Braun, Cody Long, Liam McAllister, and Benjamin Sung.

Research takes a long time while the attention span of the world is apparently decreasing, so today's researchers need to be able to get their message across quickly and succinctly. In this session we'll share some tips on how to communicate the key messages of your work in just a few minutes, and give you a chance to have a go yourself.  This will be helpful for job and funding applications and interviews, and also for public engagement. In September there will be an opportunity to do it for real, for our alumni, when we'll showcase Oxford Mathematics at the Alumni Weekend.

We study vortex sheets for the relativistic Euler equations in three-dimensional Minkowski spacetime. The problem is a nonlinear hyperbolic problem with a characteristic free boundary. The so-called Lopatinskii condition holds only in a weak sense, which yields losses of derivatives. A necessary condition for the weak stability is obtained by analyzing roots of the Lopatinskii determinant associated to the linearized problem. Under such stability condition,  we prove short-time existence and nonlinear stability of relativistic vortex sheets by the Nash-Moser iterative scheme.

We consider the free boundary problem for 2D current-vortex sheets in ideal incompressible magneto-hydrodynamics near the transition point between the linearized stability and instability. In order to study the dynamics of the discontinuity near the onset of the instability, Hunter and Thoo have introduced an asymptotic quadratically nonlinear integro-differential equation for the amplitude of small perturbations of the planar discontinuity. 
In this talk we present our results about the well-posedness of the problem in the sense of Hadamard, under a suitable stability condition, that is the 
local-in-time existence in Sobolev spaces and uniqueness of smooth solutions to the Cauchy problem, and the strong continuous dependence on the data in the same topology.
Joint works with: Alessandro Morando and Paola Trebeschi.
 

 I will start with a motivation of what algebraic and model-theoretic properties an algebraically closed field of characteristic 1 is expected to have. Then I will explain how these properties forces one to follow the route of Hrushovski's construction leading to a a 'pseudo-analytic' structure which we identify as an algebraically closed field of characteristic 1 . Then I am able to formulate very precise axioms that such a field must satisfy.  The main theorem then states that under the axioms the structure has the desired algebraic and analytic properties. The axioms have a form of statements about existence of solutions to systems of equations in terms of a 'multi-dimensional' valuation theory and the validity of these statements is an open problem to be discussed. 
This is a joint work with Alex Cruz Morales.
 

We study the Atiyah-Singer Dirac operator on smooth Riemannian Spin manifolds with smooth compact boundary. Under lower bounds on injectivity radius and bounds on the Ricci curvature and its first derivatives, we demonstrate that this operator is stable in the Riesz topology under bounded perturbations of local boundary conditions. Our work is motivated by the spectral flow and its connection to the Riesz topology. These results are obtained by obtaining similar results for a more wider class of elliptic first- order differential operators on vector bundles satisfying certain general curvature conditions. At the heart of our proofs lie methods from Calderón-Zygmund harmonic analysis coupled with the modern operator theory point of view developed in proof of the Kato square root conjecture.
 

1.Kremnitzer. I will explain an approach to constructing geometries relative to a symmetric monoidal 
category. I will then introduce the category of normed sets as a possible analytic geometry over 
the field with one element. I will show that the Fargues-Fontaine curve from p-adic Hodge theory and 
the Connes-Bost system are naturally interpreted in this geometry. This is joint work with Federico Bambozzi and 
Oren Ben-Bassat.
 

In this talk, I discuss the positive geometry of the Wilson Loop Diagrams appearing in SYM N-4 theory. In particular, I define an algorithm for associating Wilson Loop diagrams to convex cells of the positive Grassmannians. Using combinatorics of these cells, I then consider the geometry of N^2MHV diagrams on 6 points.

The "Weyl fermion" was discovered in a topological semimetal in
2015. Its mathematical characterisation turns out to involve deep and subtle
results in differential topology. I will outline this theory, and explain
some connections to Euler structures, torsion of manifolds,
and Seiberg-Witten invariants. I also propose interesting generalisations
with torsion topological charges arising from Kervaire semicharacteristics
and ``Quaternionic'' characteristic classes.

The technique of scanning, or the parameterised Pontrjagin--Thom construction, has been extraordinarily successful in calculating the cohomology of configuration spaces (McDuff), moduli spaces of Riemann surfaces (Madsen, Tillmann, Weiss), moduli spaces of graphs (Galatius), and moduli spaces of manifolds of higher dimension (Galatius, R-W, Botvinnik, Perlmutter), with constant coefficients. In each case the method also works to study the cohomology of moduli spaces of objects equipped with a "tangential structure". I will explain how choosing an auxiliary highly-symmetric tangential structure often lets one calculate the cohomology of these moduli spaces with large families of twisted coefficients, by exploiting the symmetries of the tangential structure and using a little representation theory.

 

 Markus Szymik and I computed the homology of the Higman-Thompson groups by first showing that they stabilize (with slope 0), and then computing the stable homology. I will in this talk give a new point of view on the computation of the stable homology using Thumann's "operad groups". I will also give an idea of how scanning methods can enter the picture. (This is partially joint work with Søren Galatius.) 

It is hard to detect the exotic nature of an exotic n-sphere M 
in homotopical features of the diffeomorphism group Diff(M). The well 
known reason is that Diff(M) contains a big topological subgroup H which 
is identified with the group of diffeomorphisms rel boundary of the 
n-disk, with a small coset space Diff(M)/H which is invariably homotopy 
equivalent to O(n+1). Therefore it seems that our only chance to detect 
the exotic nature of M in homotopical features of Diff(M) is to see 
something in this extension.  (To make sense of "homotopical features of 
Diff(M)" one should think of Diff(M) as a space with a multiplication 
acting on an n-sphere.) I am planning to report on PhD work of O Sommer 
and calculations due to myself and Sommer which, if all goes well, would 
show that Diff(M) has some exotic homotopical properties in the case 
where M is the 7-dimensional exotic sphere of Kervaire-Milnor fame which 
bounds a compact smooth framed 8-manifold of signature 8. The 
theoretical work is based on classical smoothing theory and the 
calculations would be based on ever-ongoing (>30 years) joint work 
Weiss-Williams, and might give me and Williams another valuable 
incentive to finish it.

We construct the diffeomorphism-equivariant “scanning map” associated to the configuration spaces of manifolds with twisted summable labels. The scanning map is also functorial with respect to embeddings of manifolds. To adapt P. Salvatore's idea of non-commutative summation into twisted setting, we define a bundle of Fulton-MacPherson operads over a manifold M whose fibres are built within tangent spaces of M.

In 1956 Milnor published a paper proving that there are manifolds homeomorphic to the 7-sphere but not diffeomorphic to it. Seeking to generalise this example, he was led in around 1960 to introduce a construction for  killing homotopy groups of manifolds. When this was generalised to killing relative homotopy groups it became a general and powerful method of construction. An obstruction arises to killing the last group, and the analysis of this obstruction in general leads to a new theory.

Categorification of knot polynomials -- Daniele Celoria

Classically, the most powerful and versatile knot invariants take the form of polynomials. These can usually be defined by simple recursive equations, known as skein relations; after giving the main examples of polynomial knot invariants (Alexander and Jones polynomials), we are going to informally introduce categorifications. Finally we are going to present the Knot Floer and the Khovanov homologies, and show that they provide a categorification of the aforementioned polynomial knot invariants.

Network science for online social media: an x-ray or a stethoscope for society -- Mariano Beguerisse

The abundance of data from social media outlets such as Twitter provides the opportunity to perform research at a societal level at a scale unforeseen. This has spurred the development of mathematical and computational methods such as network science, which uses the formalism and language of graph theory to study large systems of interacting agents. In this talk, I will provide a sketch of network science and its application to study online social media. A number of different networks can be constructed from Twitter data, which can be used to ask questions about users, ranging from the structural (an 'x-ray' to see how societies are connected online) to the topical ('stethoscope' to feel how users interact in the context of specific event). I will provide concrete examples from the UK riots of 2011, applications to medical anthropology, and political referenda, and will also highlight distinct challenges such as the directionality of connections, the size of the network, the use of temporal information and text, all of which are active areas of research.

The efficient pricing and hedging of vanilla and exotic foreign exchange options requires an adequate model that takes into account both the local and the stochastic features of the volatility dynamics. In this joint work, we put forward a four-factor hybrid local-stochastic volatility (LSV) model that combines state-of-the-art dynamics for the exchange rate with stochastic dynamics for the domestic and foreign short rates, and provide a consistent and self-contained calibration and pricing framework.
For the calibration, we propose a novel and generic algorithm that builds on the particle method of Guyon and Labordere. We combine it with new variance reduction techniques to accelerate convergence and use control variates derived from a pure local volatility model, the stochastic short rates and the two-factor Heston-type LSV model. Our numerical experiments show a dramatic variance reduction that allows us to calibrate the four-factor model at almost no extra computational cost. The method can be applied to a large class of hybrid LSV models and is not restricted to our particular choice of the diffusion.
For the pricing, we propose a Monte Carlo simulation scheme that combines the full truncation Euler (FTE) scheme for the stochastic volatility and the stochastic short rates with the log-Euler scheme for the exchange rate. We find a lower bound on the explosion time of exponential moments of FTE approximations, and prove the strong convergence of the exchange rate approximations and the convergence of Monte Carlo estimators for a number of vanilla and exotic options. We then carry out numerical experiments to justify our choice of model and demonstrate convergence.
 

We discuss how one can define transseries in several variables. The idea is
to combine the construction of the univariate transseries with a blow up procedure. The
latter allows to normalize transseries in an arbitrary number of variables which makes
them manageable as usual transseries.
 

Given a Calabi-Yau threefold X, one can count curves on X using various approaches, for example using stable maps or ideal sheaves; for any curve class on X, this produces an infinite sequence of invariants, indexed by extra discrete data (e.g. by the domain genus of a stable map).  Conjecturally, however, this sequence is determined by only a finite number of integer invariants, known as Gopakumar-Vafa invariants.  In this talk, I will propose a direct definition of these invariants via sheaves of vanishing cycles, building on earlier approaches of Kiem-Li and Hosono-Saito-Takahashi.  Conjecturally, these should agree with the invariants as defined by stable maps.  I will also explain how to prove the conjectural correspondence for irreducible curves on local surfaces.  This is joint work with Yukinobu Toda.

I will discuss the definitions and the basic properties of some infinite dimensional generalizations of Euclidean lattices and of their invariants defined in terms of theta series. Then I will present some of their applications to transcendence theory and Diophantine geometry.