Geometry and Analysis Seminar

It is well understood by works of Fukaya and Teleman that the Fukaya category of a symplectic reduction at a regular value of the moment map can be computed before taking the quotient as an equivariant Fukaya category. Informed by mirror calculations,  we will give a new geometric interpretation of the equivariant Fukaya category corresponding to a singular value of the moment map where the equivariance is traded with wrapping.

Joint work in progress with Ed Segal.

In this talk I'll discuss some applications of the mean curvature flow to self shrinkers in R^3 and R^4.

Glueing construction has been used extensively to construct solutions to nonlinear geometric PDEs. In this talk, I will focus on the glueing construction of solutions to Lagrangian mean curvature flow. Specifically, I will explain the construction of Lagrangian translating solitons by glueing a small special Lagrangian 'Lawlor neck' into the intersection point of suitably rotated Lagrangian Grim Reaper cylinders. I will also discuss an ongoing joint project with Chung-Jun Tsai and Albert Wood, where we investigate the construction of solutions to Lagrangian mean curvature flow with infinite time singularities.

First we recall the mirror symmetry identification of the coordinate ring of certain very stable upward flows in the Hitchin system and the Kirillov algebra for the minuscule representation of the Langlands dual group via the equivariant cohomology of the cominuscule flag variety (e.g. complex Grassmannian). In turn we discuss a conjectural extension of this picture to non-very stable upward flows in terms of a big commutative subalgebra of the Kirillov algebra, which also ringifies the equivariant intersection cohomology of the corresponding affine Schubert variety.

Associated to any smooth projective curve C is its degree d Jacobian variety, parametrising isomorphism classes of degree d line bundles on C. Letting the curve vary as well, one is led to the universal Jacobian stack. This stack admits several compactifications over the stack of marked stable curves $\overline{\mathcal{M}}_{g,n}$, depending on the choice of a stability condition. In this talk I will introduce these compactified universal Jacobians, and explain how their moduli spaces can be constructed using Geometric Invariant Theory (GIT). This talk is based on arXiv:2210.11457.

The moduli space M of stable bundles on a Riemann surface possesses a natural family of holomorphic trivector fields. The talk will introduce these objects with examples and then use them to gain information about the Hochschild cohomology of M.

According to the Yau-Tian-Donaldson conjecture, the existence of a constant scalar curvature Kähler (cscK) metric in the cohomology class of an ample line bundle $L$ on a compact complex manifold $X$ should be equivalent to an algebro-geometric "stability condition" satisfied by the pair $(X,L)$. The cscK metrics are the critical points of Mabuchi's $K$-energy functional $M$, defined on the space of Kähler potentials, and an important result of Chen-Cheng shows that cscK metrics exist iff $M$ satisfies a standard growth condition (coercivity/properness). Recently the speaker has shown that the $K$-energy is indeed proper if and only if the polarized manifold is stable. The stability condition is closely related to the classical notion of Hilbert-Mumford stability. The speaker will give a non-technical account of the many areas of mathematics that are involved in the proof. In particular, he hopes to discuss the surprising role played by arithmetic geometry ​in the spirit of Arakelov, Faltings, and Bismut-Gillet-Soule.

I will present two new results. The first concerns minimal surfaces of the hyperbolic space and is a relation between their renormalised area (in the sense of Graham and Witten) and the length of their ideal boundary measured in different metrics of the conformal infinity. The second result concerns minimal submanifolds of the sphere and is a relation between their volume and antipodal-ness. Both results were obtained from the same framework, which involves new monotonicity theorems and a comparison principle for them. If time permits, I will discuss how to use these to answer questions about uniqueness and non-existence of minimal surfaces.

Donaldson-Thomas theory is classically defined for moduli spaces of sheaves over a Calabi-Yau threefold. Thanks to recent foundational work of Cao-Leung, Borisov-Joyce and Oh-Thomas, DT theory has been extended to Calabi-Yau 4-folds. We discuss how, in this context, one can define natural K-theoretic refinements of Donaldson-Thomas invariants (counting sheaves on Hilbert schemes) and Pandharipande-Thomas invariants (counting sheaves on moduli spaces of stable pairs) and how — conjecturally — they are related. Finally, we introduce an extension of DT invariants to Calabi-Yau 4-orbifolds, and propose a McKay-type correspondence, which we expect to be suitably interpreted as a wall-crossing phenomenon. Joint work (in progress) with Yalong Cao and Martijn Kool.

Over the last years, two different approaches to construct symmetry algebras acting on the cohomology of Nakajima quiver varieties have been developed. The first one, due to Maulik and Okounkov, exploits certain Lagrangian correspondences, called stable envelopes, to generate R-matrices for an arbitrary quiver and hence, via the RTT formalism, an algebra called Yangian. The second one realises the cohomology of Nakajima varieties as modules over the cohomological Hall algebra (CoHA) of the preprojective algebra of the quiver Q. It is widely expected that these two approaches are equivalent, and in particular that the Maulik-Okounkov Yangian coincides with the Drinfel’d double of the CoHA.

Motivated by this conjecture, in this talk I will show how to identify the stable envelopes themselves with the multiplication map of a subalgebra of the appropriate CoHA. 

As an application, I will introduce explicit inductive formulas for the stable envelopes and use them to produce integral solutions of the elliptic quantum Knizhnik–Zamolodchikov–Bernard (qKZB) difference equation associated to arbitrary quiver (ongoing project with G. Felder and K. Wang). Time permitting, I will also discuss connections with Cherkis bow varieties in relation to 3d Mirror symmetry (ongoing project with R. Rimanyi).