Cambridge

Lagrangian Floer cohomology groups are extremely hard compute in most situations. In this talk I’ll describe two ways to extract information about the self-Floer cohomology of a monotone Lagrangian possessing certain kinds of symmetry, based on the closed-open string map and the Oh spectral sequence. The focus will be on a particular family of examples, where the techniques can be combined to deduce some unusual properties.

It is well known that there is a finite colouring of the natural numbers such that there is no infinite set X with X+X (the pairwise sums from X, allowing repetition) monochromatic. It is easy to extend this to the rationals. Hindman, Leader and Strauss showed that there is also such a colouring of the reals, and asked if there exists a space 'large enough' that for every finite colouring there does exist an infinite X with X+X monochromatic. We show that there is indeed such a space. Joint work with Imre Leader.

The goal of this talk will be to give an overview of recent work, joint with Kim Moore, on a short time existence problem in Lagrangian mean curvature flow. More specifically, we consider a compact initial Lagrangian submanifold with a finite number of singularities, each asymptotic to a pair of transversely intersecting planes. We show it is possible to construct a smooth Lagrangian mean curvature flow, existing for positive times, that attains the singular Lagrangian as its initial condition in a suitable weak sense.  The construction uses a family of smooth solutions whose initial conditions approximate the singular Lagrangian. In order to appeal to compactness theorems and produce the desired solution, it is necessary to first establish uniform curvature estimates on the approximating family. As time allows I hope to focus in particular on the proof of these estimates, and their role in the proof of the main theorem.

Dynatomic curves parametrize n-periodic orbits of a one-parameter family of polynomial dynamical systems. These curves lack the structure of their arithmetic-geometric analogues (modular curves of level n) but can be studied dynamically.  Morton and Silverman conjectured a dynamical analogue of the uniform boundedness conjecture (theorems of Mazur, Merel), asserting uniform bounds for the number of rational periodic points for such a family.  I will discuss recent work towards the function field version of their conjecture, including results on the reduction mod p of dynatomic curves for the quadratic polynomial family z^2+c.

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.

 

Mirror symmetry is a duality from string theory that states that given a Calabi-Yau variety, there exists another Calabi-Yau variety so that various geometric and physical data are exchanged. The investigation of this mirror correspondence has its roots in enumerative geometry and hodge theory, but has been later interpreted by Kontsevich in a categorical setting. This exchange in data is very powerful, and has been shown to persist for zeta functions associated to Calabi-Yau varieties, although there is no rigorous statement for what arithmetic mirror symmetry would be. Instead of directly trying to state and prove arithmetic mirror symmetry, we will instead use mirror symmetry as an intuitional framework to obtain arithmetic results for special Calabi-Yau pencils in projective space from the Hodge theoretic viewpoint. If time permits, we will discuss work in progress in starting to find arithmetic implications of Kontsevich's Homological Mirror Symmetry.

Given two actions of a group $G$ on trees $T_1,T_2$, Guirardel introduced the "core", a $G$--cocompact CAT(0) subspace of $T_1\times
T_2$.  The covolume of the core is a natural notion of "intersection number" for the two tree actions (for example, if $G$ is a surface group
and $T_1,T_2$ are Bass-Serre trees associated to splittings along some curves, this "intersection number" is the one you'd expect).  We
generalise this construction by considering a fixed finitely-presented group $G$ equipped with finitely many essential, cocompact actions on
CAT(0) cube complexes $X_1,...,X_d$.  Inside $X=X_1\times ... \times X_d$, we find a $G$--invariant subcomplex $C$ which, although not convex
or necessarily CAT(0), has each component isometrically embedded with respect to the $\ell_1$ metric on $X$ (the key point is this change from
the CAT(0) to the $\ell_1$ viewpoint).  In the case where $d=2$ and $X_1,X_2$ are simplicial trees, $C$ is the Guirardel core.  Many
features of the Guirardel core generalise, and I will summarise these. For example, if the cubulations $G\to Aut(X_i)$ are "essentially
different", then $C$ is connected and $G$--cocompact.  Time permitting, I will discuss an application, namely a new proof of Nielsen realisation
for finite subgroups of $Out(F_n)$.  This talk is based on ongoing joint work with Henry Wilton.

A cornerstone of the study of mapping class groups is the
Nielsen--Thurston classification theorem. I will outline a
polynomial-time algorithm that determines the Nielsen--Thurston type and
the canonical curve system of a mapping class. Time permitting, I shall
describe a polynomial-time algorithm to compute the quotient orbifold of
a periodic mapping class, and I shall discuss the conjugacy problem for
the mapping class group. This is joint work with Mark Bell.

One of the simplest, and yet largely still open, questions that one can ask about special Lagrangian submanifolds is whether they exist in a given homology class. One possible approach to this problem is to evolve a given Lagrangian submanifold under mean curvature flow in the hope of reaching a special Lagrangian submanifold in the same homology class. It is known, however, that even for 'nice' initial conditions the flow will develop singularities in finite time. 

I will talk about a joint work with Tom Begley, in which we prove a short time existence result for Lagrangian mean curvature flow, where the initial condition is a Lagrangian submanifold of complex Euclidean space with a certain type of singularity. This is a first step to proving, as conjectured by Joyce, that one may 'continue' Lagrangian mean curvature flow after the occurrence of singularities.

The black hole information paradox comes about because of the classical no-hair theorems for black holes. I will discuss soft black hole hair in electrodynamics and in gravitation. Then some speculations on its relevance to the in formation paradox are presented.