Past

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.

Cover’s celebrated theorem states that the long run yield of a properly chosen “universal” portfolio is as good as the long run yield of the best retrospectively chosen constant rebalanced portfolio. We formulate an abstract principle behind such a universality phenomenon valid for general optimization problems in the long run. This allows to obtain new results on modelfree portfolio optimization, in particular in continuous time, involving larger classes of investment strategies. These modelfree results are complemented by a comparison with the log-optimal numeraire portfolio when fixing a stochastic model for the asset prices. The talk is based on joint work with Walter Schachermayer and Leonard Wong.

In Soft Matter, octupolar order is not just an exotic mathematical curio. Liquid crystals have already provided a noticeable case of soft ordered materials for which a (second-rank) quadrupolar order tensor may not suffice to capture the complexity of the condensed phases they can exhibit. This lecture will discuss the properties of a third-rank order tensor capable of describing these more complex phases. In particular, it will be shown that octupolar order tensors come in two separate, equally abundant variants. This fact, which will be given a simple geometric interpretation, anticipates the possible existence of two distinct octupolar sub-phases. 

With the purpose of examining some relevant geometric properties of the moduli space of sheaves over an algebraic surface, Le Potier conjectured some unexpected duality between the complete linear series of certain natural divisors, called Theta divisors, on the moduli space. Such conjecture is widely known as Strange Duality conjecture. After having motivated the problem by looking at certain instances of quantization in physics, we will work in the setting of surfaces. We will then sketch the proof in the case of abelian surfaces, giving an idea of the techniques that are used. In particular, we will show how the theory of discrete Heisenberg groups and fiber wise Fourier-Mukai transforms, which might be applied to other cases of interest, enter the picture. This is joint work with Alina Marian, Dragos Opera and Kota Yoshioka.

During the last decade, the progress in the computational performance of commercial mixed-integer programming solvers have been significant. Part of this success is due to faster computers and better software engineering but a more significant part of it is due to the power of the cutting planes used in these solvers.
In the first part of this talk, we will discuss main components of a MIP solver and describe some classical families of valid inequalities (Gomory mixed integer cuts, mixed integer rounding cuts, split cuts, etc.) that are routinely used in these solvers. In the second part, we will discuss recent progress in cutting plane theory that has not yet made its way to commercial solvers. In particular, we will discuss cuts from lattice-free convex sets and answer a long standing question in the affirmative by deriving a finite cutting plane algorithm for mixed-integer programming.

Consider a family of uniformly bounded $W^{2,p}$ isometric immersions of an $n$-dimensional (semi-) Riemannian manifold into (resp., semi-) Euclidean spaces. Are the weak limits still isometric immersions?

We answer the question in the affirmative for $p>n$ in the Riemannian case, by exploiting the div-curl structure of the Gauss-Codazzi-Ricci equations, which describe the curvature flatness of the isometric immersions. Along the way a generalised div-curl lemma in Banach spaces is established. Moreover, the endpoint case $p=n=2$ is settled. 

In the semi-Riemannian case we reduce the problem to the weak continuity of H. Cartan's structural equations in $W^{1,p}_{\rm loc}$, which is proved by a generalised compensated compactness theorem relating the weak continuity of quadratic forms to the principal symbols of differential constraints. Again for $p>n$ we obtain the weak rigidity. The case of degenerate hypersurfaces are also discussed, as well as connections to PDEs in fluid dynamics.

Manifolds with corners are similar to manifolds, yet are locally modelled on subsets $[0,\infty)^k \times R^{n-k}$. I will discuss some of the theory of these objects, as well as introducing $C^\infty$-rings. This will explain the background to my current research in $C^\infty$-Algebraic Geometry. Time permitting, I will briefly discuss my current research on $C^\infty$-schemes with corners and motivation of this research.

The amount of digital data that requires long-term protection 
of integrity, authenticity, and confidentiality protection is steadily 
increasing. Examples are health records and genomic data which may have 
to be kept and protected for 100 years and more. However, current 
security technology does not provide such protection which I consider a 
major challenge. In this talk I report about a storage system that 
achieves the above protection goals in the long-term. It is based on 
information theoretic secure cryptography (both classical and quantum) 
as well as on chains of committments. I discuss its security and present 
a proof-of-concept implementation including an experimental analysis.

A variety of groups is an equationally defined class of groups, namely the class of groups in which each of a set of "laws" (or "identical relations") holds. Examples include the abelian groups (defined by the law $xy = yx$), the groups of exponent dividing $d$ (defined by the law $x^d$), the nilpotent groups of class at most some fixed integer, and the solvable groups of derived length at most some fixed integer. This talk will give an introduction to varieties of groups, and then conclude with recent work on determining for certain varieties whether, for fixed coprime $m$ and $n$, a group $G$ is in the variety if and only if the power subgroups $G^m$ and $G^n$ (generated by the $m$-th and $n$-th powers) are in the variety.

Every finite regular CW complex is, ipso facto, a cohomologically stratified space when filtered by skeleta. We outline a method to recover the canonical (i.e., coarsest possible) stratification of such a complex that is compatible with its underlying cell structure. Our construction proceeds by first localizing and then resolving a complex of cosheaves which capture local cohomology at every cell. The result is a sequence of categories whose limit recovers the desired strata via its (isomorphism classes of) objects. As a bonus, we observe that the entire process is algorithmic and amenable to efficient computations!

Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is generally the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete.

In this talk we describe a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give applications of this tool. For example, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching (partially resolving a conjecture of Keevash, Knox and Mycroft). We also answer a question of Yuster concerning perfect $F$-packings in graphs.

This is joint work with Jie Han (Sao Paulo).
 

The Morita Frobenius number of an algebra is the number of Morita equivalence classes of its Frobenius twists. Morita Frobenius numbers were introduced by Kessar in 2004 in the context of Donovan’s Conjecture in block theory. I will present the latest results of a project in which we aim to calculate the Morita Frobenius numbers of the blocks of quasi-simple finite groups. I will also discuss the importance of a recent result of Bonnafe-Dat-Rouquier for our methods, and explain the relationship between Morita Frobenius numbers and Donovan’s Conjecture. 

In various research fields such as machine learning, compressed sensing and operations research, optimization problems which seek sparsity of solutions by the cardinality constraint or rank constraint are studied. We formulate such problems as DC (Difference of two Convex functions) optimization problems and apply DC Algorithm (DCA) to them. While a subproblem needs to be solved in each DCA iteration, its closed-form solution can be easily obtained by soft-thresholding operation. Numerical experiments demonstrate the efficiency of the proposed DCA in comparison with existing methods.
This is a joint work with J. Gotoh (Chuo Univ.) and K. Tono (U. Tokyo). 

Quantization is the study of the interface between commutative and
noncommutative geometry. There are myriad approaches to it, mostly presented
as ad hoc recipes. I shall discuss the motivating ideas, and the relations
between some of the methods, especially the relation between 'deformation'
and 'geometric' quantization.

What makes an intersection likely or unlikely? A simple dimension count shows that two varieties of dimension r and s are non "likely" to intersect if r < codim s, unless there are some special geometrical relations among them. A series of conjectures due to Bombieri-Masser-Zannier, Zilber and Pink rely on this philosophy. I will speak about a joint work with F. Barroero (Basel) in this framework in the special case of a curve in a family of elliptic curves. The proof is based on Pila-Zannier method, combining diophantine ingredients with a refinement of a theorem of Pila and Wilkie about counting rational points in sets definable in o-minimal structures.
   Everyone welcome!
 

A familiar technique in PDE theory is to use mollification to adjust a function controlled in some weak norm into a smooth function with corresponding control on its $C^k$ norm. It would be extremely useful to be able to do the same sort of regularisation for Riemannian metrics, and one might hope to use Ricci flow to do this. However, attempting to do so throws up some fundamental problems concerning the well-posedness of Ricci flow. I will explain some recent developments that allow us to use Ricci flow in this way in certain important cases. In particular, the Ricci flow will now allow us to adjust a `noncollapsed’ 3-manifold with a lower bound on its Ricci curvature through a family of such manifolds, without disturbing the Riemannian distance function too much, and so that we instantly obtain uniform bounds on the full curvature tensor and all its derivatives. These ideas lead to the resolution of some long-standing open problems in geometry.

No previous knowledge of Ricci flow will be assumed, and differential geometry prerequisites will be kept to a minimum.

Joint work with Miles Simon.
 

If we fix a rectangle in the affine real space and if we choose at random a real polynomial with given degree d, the probability P(d) that a component of its vanishing locus crosses the rectangle in its length is clearly positive. But is P(d) uniformly bounded from below when d increases? I will explain a positive answer to a very close question involving real analytic functions. This is a joint work with Vincent Beffara.

 

Any closed 3-manifold can be obtained by glueing two handle bodies along their boundary. For a fixed such glueing, any other differs by changing the glueing map by an element in the mapping class group. Beginning with an idea of Dunfield and Thurston, we can use a random walk on the mapping class group to construct random 3-manifolds. I will report on recent work on the structure of such manifolds, in particular in view of tower of coverings and their topological growth: Torsion homology growth, the minimal degree of a cover with positive Betti number, expander families. I will in particularly explain the connection to some open questions about the mapping class group.

The Ising model is one of the most classical statistical mechanics model, which has seen spectacular mathematical and physical developments for almost a century. The description of its scaling limit at the phase transition is at the center of a fascinating (conjectured) connection between statistical mechanics and field theories. I will discuss how recent mathematical progress allows one to make the connection between the two-dimensional Ising model and Conformal Field Theory rigorous. If time allows, I will discuss the insight this gives one into related models and field theories.

Based off joint works with S. Benoist, D. Chelkak, H. Duminil-Copin, R. Gheissari, K. Izyurov, F. Johansson-Viklund, K. Kytölä, S. Park and S. Smirnov

Instanton bundles were introduced by Atiyah, Drinfeld, Hitchin and Manin in the late 1970s as the holomorphic counterparts, via twistor
theory, to anti-self-dual connections (a.k.a. instantons) on the sphere S^4. We will revise some recent results regarding some of the basic
geometrical features of their moduli spaces, and on its possible degenerations. We will describe the singular loci of instanton sheaves,
and how these lead to new irreducible components of the moduli space of stable sheaves on the projective space.

Localization and holography are powerful approaches to the computation of supersymmetric observables. The computations may, however, include divergences. Therefore, one needs renormalization schemes preserving supersymmetry. I will consider minimal gauged supergravity in five dimensions to demonstrate that the standard holographic renormalization scheme breaks supersymmetry, and propose a set of non-standard boundary counterterms that restore supersymmetry. I will then show that for a certain class of solutions the improved on-shell action correctly reproduces an intrinsic observable of four-dimensional SCFTs, the supersymmetric Casimir energy.

The law of quadratic reciprocity and the celebrated connection between modular forms and elliptic curves over Q are both examples of reciprocity laws. Constructing new reciprocity laws is one of the goals of the Langlands program, which is meant to connect number theory with harmonic analysis and representation theory.

In this talk, I will survey some recent progress in establishing new reciprocity laws, relying on the Galois representations attached to torsion classes which occur in the cohomology of arithmetic hyperbolic 3-manifolds. I will outline joint work in progress on better understanding these Galois representations, proving modularity lifting theorems in new settings, and applying this to elliptic curves over imaginary quadratic fields.

Regenerative medicine offers great hope in curing many currently untreatable diseases. Tissue engineering and stem cell therapy are the two main components of regenerative medicine. In this talk, I will discuss how engineering can make contributions to this highly interdisciplinary field, including biomaterials as 3D scaffolds, bioreactor design, and stem cell bioprocessing.

We give a description of the spectra of $\hat{\mathbb Z}$ and of the
finite adeles using  ultraproducts. In describing the prime ideals and the
localizations, ultrapowers of the group $\mathbb Z$ and ultraproducts of
rings of $p$-adic integers are used.

We adopt the paradigm of understanding how the heart develops during pregnancy as a first principal to inform on adult heart repair and regeneration. Our target for cell-based repair is the epicardium and epicardium-derived cells (EPDCs) which line the outside of the forming heart and contribute vascular endothelial and smooth muscle cells to the coronary vasculature, interstitial fibroblasts and cardiomyocytes. The epicardium can also act as a source of signals to condition the growth of the underlying embryonic heart muscle. In the adult heart, whilst the epicardium is retained, it is effectively quiescent. We have sought to extrapolate the developmental potential of the epicardium to the adult heart following injury by stimulating dormant epicardial cells to give rise to new muscle and vasculature. In parallel, we seek to modulate the local environment into which the new cells emerge: a cytotoxic mixture of inflammation and fibrosis which prevents cell engraftment and integration with survived heart tissue. To this end we manipulate the lymphatic vessels in the heart given that, elsewhere in the body, the lymphatics survey the immune system and modulate inflammation at peripheral injury sites. We recently described the development of the cardiac lymphatic vasculature and revealed in the adult heart that they undergo increased vessel sprouting (lymphangiogenesis) in response to injury, to improve function, remodelling and fibrosis. We are currently investigating whether increased lymphangiogenesis functions to clear immune cells and constrain the reparative response for optimal healing.

For a smooth projective scheme Y over W(k) we consider an element in the motivic Chow group of the reduction Y_m over the truncated Witt ring W_m(k) and give a "Hodge" criterion - using the crystalline cycle class in relative crystalline cohomology - for the element to the lift to the continuous Chow group of Y. The result extends previous work of Bloch-Esnault-Kerz on the p-adic variational Hodge conjecture to a relative setting. In the course of the proof we derive two new results on the relative de Rham-Witt complex and its Nygaard filtration, and work with relative syntomic complexes to define relative motivic complexes for a smooth, formal lifting of Y_m over W(W_m(k)).

Road travel is taking longer each year in the UK. This has been true for the last four years. Travel times have increased by 4% in the last two years. Applying the principle finding of the Eddington Report 2006, this change over the last two years will cost the UK economy an additional £2bn per year going forward even without further deterioration. Additional travel times are matched by a greater unreliability of travel times.

Knowing demand and road capacity, can we predict travel times?

We will look briefly at previous partial solutions and the abundance of motorway data in the UK. Can we make a breakthrough to achieve real-time predictions?

In recent years, Ardakov and Wadsley have been interested in extending the classical theory of Beilinson-Bernstein localisation to different contexts. The classical proof relies on fundamental geometric properties of the dual nilcone of a semisimple Lie algebra; in particular, finding a nice desingularisation of the nilcone and demonstrating that it is normal. I will attempt to explain the relationship between these properties and the proof, and discuss some areas of my own work, which focuses on proving analogues of these results in the case where the characteristic of the ground field K is bad.

I will discuss results on the characterization of minimal weights of mod-p Hilbert modular forms using results on stratifications of Hilbert Modular Varieties.  This is joint work with Fred Diamond.

Bubble Dynamics

We shall discuss certain generalisations of the Rayleigh Plesset equation for bubble dynamics

Self-assembly of a filament by curvature-inducing proteins

We explore a simplified macroscopic model of membrane shaping by means of curvature-sensing proteins. Equations describing the interplay between the shape of a freely floating filament in a fluid and the adhesion kinetics of proteins are derived from mechanical principles. The constant curvature solutions that arise from this system are studied using weakly nonlinear analysis. We show that the stability of the filament’s shape is completely characterized by the parameters associated with protein recruitment and establish that in the bistable regime, proteins aggregate on the filament forming regions of high and low curvatures. This pattern formation is then followed by phase-coarsening that resolves on a time-scale dependent on protein diffusion and drift across the filament, which contend to smooth and maintain the pattern respectively. The model is generalized for multiple species of proteins and we show that the stability of the assembled shape is determined by a competition between proteins attaching on opposing sides.

Thomas Piketty's influential book “Capital in the Twenty-First Century” documents the marked and unequivocal rise of income and wealth inequality observed across the developed world 
in the last three decades. His extrapolations into the distant future are much more controversial and has 
has been subject to various criticisms from both mainstreams and heterodox economists. This motivates the search for an alternative standpoint incorporating 
heterodox insights such as endogenous money and the lessons from the Cambridge capital controversies. We argue that the Goodwin-Keen approach paves the road towards such an alternative.
We first consider a modified Goodwin-Keen model driven by consumption by households, instead of investment by firms, leading to the same qualitative features 
of the original Keen 1995 model, namely the existence of an undesirable equilibrium characterized by infinite private debt ratio and zero employment, 
in addition to a desirable one with finite debt and non-zero employment. By further subdividing the household sector into workers and investors, we are able to investigate their relative 
income and wealth ratios for in the context of these two long-run equilibria, providing a testable link between asymptotic inequality and private debt accumulation.