Past Geometry and Analysis Seminar

For almost calibrated Lagrangian mean curvature flow it is known that all singularities are of Type II. To understand the finer structure of the singularities forming, it is thus necessary to understand the structure of general ancient solutions arising as potential limit flows at such singularities. We will discuss recent progress showing that ancient solutions with a blow-down a pair of static planes meeting along a 1-dimensional line are translators. This is joint work with J. Lotay and G. Szekelyhidi.

A loop of Hamiltonian diffeomorphisms of a symplectic manifold $X$ defines, by clutching, a symplectic fibration over the two-sphere with fibre $X$.  We prove that the integral cohomology of the total space splits additively, answering a question of McDuff, and extending the rational cohomology analogue proved by Lalonde-McDuff-Polterovich in the late 1990’s. The proof uses a virtual fundamental class of moduli spaces of sections of the fibration in Morava K-theory. This talk reports on joint work with Mohammed Abouzaid and Mark McLean.

The integral of mean curvature squared is a conformal invariant of surfaces reintroduced by Willmore in 1965 whose study exercised a tremendous influence on geometric analysis and most notably on minimal surfaces in the last years.

On the other hand, the Loewner energy is a conformal invariant of planar curves introduced by Yilin Wang in 2015 which is notably linked to SLE processes and the Weil-Petersson class of (universal) Teichmüller theory.

In this presentation, after a brief historical introduction, we will discuss some recent developments linking the Willmore energy to the Loewner energy and mention several open problems.

Joint work with Yilin Wang (MIT/MSRI)

Let $N$ be a compact Riemannian manifold of dimension 3 or higher, and $g$ a Lipschitz non-negative (or non-positive) function on $N$. In joint works with Neshan Wickramasekera we prove that there exists a closed hypersurface $M$ whose mean curvature attains the values prescribed by $g$. Except possibly for a small singular set (of codimension 7 or higher), the hypersurface $M$ is $C^2$ immersed and two-sided (it admits a global unit normal); the scalar mean curvature at $x$ is $g(x)$ with respect to a global choice of unit normal. More precisely, the immersion is a quasi-embedding, namely the only non-embedded points are caused by tangential self-intersections: around such a non-embedded point, the local structure is given by two disks, lying on one side of each other, and intersecting tangentially (as in the case of two spherical caps touching at a point). A special case of PMC (prescribed-mean-curvature) hypersurfaces is obtained when $g$ is a constant, in which the above result gives a CMC (constant-mean-curvature) hypersurface for any prescribed value of the mean curvature.

Most Ricci flow theory takes the short-time existence of solutions as a starting point and ends up concerned with understanding the long-time limiting behaviour and the structure of any finite-time singularities that may develop along the way. In this talk I will look at what you can think of as singularities at time zero. I will describe some of the situations in which one would like to start a  Ricci flow with a space that is rougher than a smooth bounded curvature Riemannian manifold, and some of the situations in which one considers smooth initial data that is only achieved in a non-smooth way. A particularly interesting and useful case is the problem of starting a Ricci flow on a Riemann surface equipped with a measure. I will not be assuming expertise in Ricci flow theory. Parts of the talk are joint with either Hao Yin (USTC) or ManChun Lee (CUHK).

In this talk we prove an analogue of the Brakke's $\epsilon$-regularity theorem for the parabolic Allen--Cahn equation. In particular, we show uniform $C^{2,\alpha}$ regularity for the transition layers converging to smooth mean curvature flows as $\epsilon\rightarrow 0$. A corresponding gap theorem for entire eternal solutions of the parabolic Allen--Cahn is also obtained. As an application of the regularity theorem, we give an affirmative answer to a question of Ilmanen that there is no cancellation in BV convergence in the mean convex setting.

When a reductive group G acts on a complex projective variety
X, there exist different methods for finding an open G-invariant subset
of X with a geometric quotient (the 'stable locus'), which is a
quasi-projective variety and has a projective completion X//G. Mumford's
geometric invariant theory (GIT) developed in the 1960s provides one way
to do this, given a lift of the action to an ample line bundle on X,
though with no guarantee that the stable locus is not empty. An
alternative approach due to Kapranov and others in the 1990s is to use
Chow varieties to define a 'Chow quotient' X//G. The aim of this talk is
to review the relationship between these constructions for reductive
groups, and to discuss the situation when G is not reductive.

We study the behaviour of anti-self-dual instantons on $\mathbb{R}^3 \times S^1$ (also known as calorons) under codimension-1 collapse, i.e. when the circle factor shrinks to zero length. In this limit, the instanton equation reduces to the well-known Bogomolny equation of magnetic monopoles on $\mathbb{R}^3 $. However, inspired by work of Kraan and van Baal in the mathematical physics literature, we show how $SU(2)$ instantons can be realised as superpositions of monopoles and "rotated monopoles" glued into a singular background abelian configuration consisting of Dirac monopoles of positive and negative charges. I will also discuss generalisations of the construction to calorons with arbitrary structure group and potential applications to the hyperkähler geometry of moduli spaces of calorons. This is joint work with Calum Ross.

Let $\Gamma$ be a finite subgroup of $SL(2, \mathbb{C})$. We can attach several different moduli spaces to the action of $\Gamma$ on $\mathbb{C}^2$, and we show how Nakajima's quiver varieties provide constructions of them. The definition of such a quiver variety depends on a stability parameter, and we are especially interested in what happens when this parameter moves into a specific ray in its associated wall-and-chamber structure. Some of the resulting quiver varieties can be understood as moduli spaces of certain framed sheaves on an appropriate stacky compactification of the Kleinian singularity $\mathbb{C}^2/\Gamma$. As a special case, this includes the punctual Hilbert schemes of $\mathbb{C}^2/\Gamma$.

Much of this is joint work with A. Craw, Á. Gyenge, and B. Szendrői.

Examples of 2CY categories include the category of coherent sheaves on a K3 surface, the category of Higgs bundles, and the category of modules over preprojective algebras or fundamental group algebras of compact Riemann surfaces.  Let p:M->N be the morphism from the stack of semistable objects in a 2CY category to the coarse moduli space.  I'll explain, using cohomological DT theory, formality in 2CY categories, and structure theorems for good moduli stacks, how to prove a version of the BBDG decomposition theorem for the exceptional direct image of the constant sheaf along p, even though none of the usual conditions for the decomposition theorem apply: p isn't projective or representable, M isn't smooth, the constant mixed Hodge module complex Q_M isn't pure...  As an application, I'll explain how this allows us to extend nonabelian Hodge theory to Betti/Dolbeault stacks.

Donaldson-Thomas (DT) theory is an enumerative theory which produces a virtual count of stable coherent sheaves on a Calabi-Yau 3-fold. Motivic Donaldson-Thomas theory, originally introduced by Kontsevich-Soibelman, is a categorification of the DT theory. This categorification contains more refined information of the moduli space. In this talk, I will explain the role of d-critical locus structure in the definition of motivic DT invariant, following the definition by Bussi-Joyce-Meinhardt. I will also discuss results on this structure on the Hilbert schemes of zero dimensional subschemes on local toric Calabi-Yau threefolds. This is based on joint works with Sheldon Katz. The results have substantial overlap with recent work by Ricolfi-Savvas, but techniques used here are different. 

In 1989, Bryant and Salamon constructed the first Riemannian manifolds with holonomy group $\Spin(7)$. Since a crucial aspect in the study of manifolds with exceptional holonomy regards fibrations through calibrated submanifolds, it is natural to consider such objects on the Bryant-Salamon manifolds.

In this talk, I will describe the construction and the geometry of (possibly singular) Cayley fibrations on each Bryant-Salamon manifold. These will arise from a natural family of structure-preserving $\SU(2)$ actions. The fibres will provide new examples of Cayley submanifolds.

TBA

The homogeneous coordinate ring of a projective variety may be constructed by geometrically quantizing the multiples of a symplectic form, using the complex structure as a polarization. In this talk, I will explain how a holomorphic Poisson structure allows us to deform the complex polarization into a generalized complex structure, leading to a non-commutative deformation of the homogeneous coordinate ring. The main tool is a conjectural construction of a category of generalized complex branes, which makes use of the A-model of an associated symplectic groupoid. I will explain this in the example of toric Poisson varieties. This is joint work with Marco Gualtieri (arXiv:2108.01658).

The Hull--Strominger system is a system of non-linear PDEs on heterotic string theory involving a pair of Hermitian metrics $(g,h)$ on a six dimensional manifold $M$. One of these equations dictates the metric $g$ on $M$ to be conformally balanced. We will begin the talk by giving a description of the geometry of cohomogeneity one manifolds and SU(3)-structures. Then, we will look for solutions to the Hull--Strominger system in the cohomogeneity one setting. We show that a six-dimensional simply connected cohomogeneity one manifold under the almost effective action of a connected Lie group $G$ admits no $G$-invariant balanced non-Kähler SU(3)-structures. This is a joint work with F. Salvatore.

Cohomological Hall algebras and vertex algebras are two structures whose origins are (at least in part) from physics. I will explain what these objects are, how the latter was related to moduli stacks by Joyce, and a theorem relating these two structures. The main tool is torus localisation, a method for "turning geometry into combinatorics", or rather a new formulation of it which works in the singular setting.

Dolbeault hypertoric manifolds are hyperkahler integrable systems generalizing the Ooguri-Vafa space. They approximate the Hitchin fibration near a totally degenerate nodal spectral curve. On the other hand, Betti hypertoric varieties are smooth affine varieties parametrizing microlocal sheaves on the same nodal spectral curve. I will review joint work with Zsuzsanna Dansco and Vivek Shende (arXiv:1910.00979) which constructs a diffeomorphism between the Dolbeault and Betti hypertorics, and proves that it intertwines the perverse and weight filtrations on their cohomologies. I will describe our main tool : deletion-contraction sequences arising from either smoothing a node of the spectral curve or separating its branches. I will also discuss some more recent developments and open questions.

A field extension $F/K$ in characteristic $p$ is purely inseparable if for each $x$ in $F$, some power $x^{p^n}$ belongs to $K$. Using methods from homotopy theory, we construct a Galois correspondence for finite purely inseparable field extensions $F/K$, generalising a classical result of Jacobson for extensions of exponent one (where $x^p$ belongs to $K$ for all $x$ in $F$). This is joint work with Waldron.

TBA

It is expected that complete noncompact Calabi-Yau manifolds are in some sense governed by their asymptotics at infinity. In the maximal volume growth case, the asymptotics at infinity are given by Calabi-Yau cones. We are interested in deformations of such metrics that fix the asymptotic cones at infinity. In the asymptotically conical case, Conlon-Hein proved uniqueness under such deformations. Their method is based on the corresponding linearized problem, namely the study of subquadratic harmonic functions. We generalize their work to the maximal volume growth case, allowing the tangent cones at infinity to have non-isolated singularities. Part of the talk is based on work in progress joint with Gabor Szekelyhidi.

A central theme of complex geometry is the relationship between differential-geometric PDEs and algebro-geometric notions of stability. Examples include Hermitian Yang-Mills connections and Kähler-Einstein metrics on the PDE side, and slope stability and K-stability on the algebro-geometric side. I will describe a general framework associating geometric PDEs on complex manifolds to notions of stability, and will sketch a proof showing that existence of solutions is equivalent to stability in a model case. The framework can be seen as an analogue in the setting of varieties of Bridgeland's stability conditions on triangulated categories.

In the mean curvature flow, translating solutions are an important model for singularity formation. In this talk, I will describe the asymptotic structure of 2D mean curvature flow translators embedded in R^3 which have finite total curvature, which turns out to be highly rigid. I will outline the proof of this asymptotic description, in particular focusing on some novel and unexpected features of this proof.

Fix a Calabi-Yau 3-fold X. Its DT invariants count stable bundles and sheaves on X. The generalised DT invariants of Joyce-Song count semistable bundles and sheaves on X. I will describe work with Soheyla Feyzbakhsh showing these generalised DT invariants in any rank r can be written in terms of rank 1 invariants. By the MNOP conjecture the latter are determined by the GW invariants of X.
Along the way we also show they are determined by rank 0 invariants counting sheaves supported on surfaces in X. These invariants are predicted by S-duality to be governed by (vector-valued, mock) modular forms.

Free boundary minimal surfaces are a notoriously elusive object in geometric analysis. From 2011, Fraser and Schoen's research program found a relationship between free boundary minimal surfaces in unit balls and metrics which maximise the first nontrivial Steklov eigenvalue. In this talk, I will explain how we can adapt homogenisation theory, a branch of applied mathematics, to a geometric setting in order to obtain surfaces with first Steklov eigenvalue as large as possible, and how it leads to the existence of free boundary minimal surfaces which were previously thought not to exist.

I will describe joint work with Abouzaid which constructs a stable homotopy theory refinement of Floer homology that has coefficients in the Morava K-theory spectra. The classifying spaces of finite groups satisfy Poincare duality for the Morava K-theories, which allows us to use this version of Floer homology to produce virtual fundamental chains for moduli spaces of Floer trajectories. As an application, we prove the Arnold conjecture for ordinary cohomology with coefficients in finite fields.