Past Geometry and Analysis Seminar

A celebrated result in geometry is the Kobayashi-Hitchin correspondence, which states that a holomorphic vector bundle on a compact Kähler manifold admits a Hermite-Einstein metric if and only if the bundle is slope polystable. Recently, Dervan and Sektnan have conjectured an analogue of this correspondence for fibrations whose fibres are compact Kähler manifolds admitting Kähler metrics of constant scalar curvature. Their conjecture is that such a fibration is polystable in a suitable sense, if and only if it admits an optimal symplectic connection. In this talk, I will provide an introduction to this theory, and describe my recent work on the conjecture. Namely, I show that existence of an optimal symplectic connection implies polystability with respect to a large class of fibration degenerations. The techniques used involve analysing geodesics in the space of relatively Kähler metrics of fibrewise constant scalar curvature, and convexity of the log-norm functional in this setting. This is work for my PhD thesis, supervised by Frances Kirwan and Ruadhaí Dervan.

We use machine learning to approximate Calabi-Yau and SU(3)-structure metrics, including for the first time complex structure moduli dependence. Our new methods furthermore improve existing numerical approximations in terms of accuracy and speed. Knowing these metrics has numerous applications, ranging from computations of crucial aspects of the effective field theory of string compactifications such as the canonical normalizations for Yukawa couplings, and the massive string spectrum. In the case of SU(3) structure, our machine learning approach allows us to engineer metrics with certain torsion properties. Our methods are demonstrated for Calabi-Yau and SU(3)-structure manifolds based on a one-parameter family of quintic hypersurfaces in ℙ4.

I briefly give an overview on the key ML frameworks involved in this analysis (neural networks, auto-differentiation). This talk is mainly based on 2012.04656.

(joint with Indranil Biswas, Jacques Hurtubise, Sean Lawton, arXiv:2104.05589)

Let $G$ be either a compact Lie group or a reductive Lie group. Let $\pi$ be the fundamental group of a 2-manifold (possibly with boundary).
We can define a character variety by ${\rm Hom}(\pi, G)/G$, where $G$ acts by conjugation.

We explore the mappings between character varieties that are induced  by mappings between surfaces. It is shown that these mappings are generally Poisson.

In some cases, we explicitly calculate the Poisson bi-vector.

We give a brief introduction to Floer homotopy, from the Seiberg-Witten point of view.  We will then discuss Manolescu's version of finite-dimensional approximation for rational homology spheres.  We prove that a version of finite-dimensional approximation for the Seiberg-Witten equations associates equivariant spectra to a large class of three-manifolds.  In the process we will also associate, to a cobordism of three-manifolds, a map between spectra.  We give some applications to intersection forms of four-manifolds with boundary. This is joint work with Hirofumi Sasahira. 

Counting coherent sheaves on Calabi--Yau fourfolds is a subject in its infancy. An evidence of this is given by how little is known about perhaps the simplest case - counting ideal sheaves of length $n$. On the other hand, the parallel story for surfaces while with many open questions has seen many new results, especially in the direction of understanding virtual integrals over Quot-schemes. Motivated by the conjectures of Cao--Kool and Nekrasov, we study virtual integrals over Hilbert schemes of points of top Chern classes $c_n(L^{[n]})$ and their K-theoretic refinements. Unlike lower-dimensional sheaf-counting theories, one also needs to pay attention to orientations. In this, we rely on the conjectural wall-crossing framework of Joyce. The same methods can be used for Quot-schemes of surfaces and we obtain a generalization of the work of Arbesfeld--Johnson--Lim--Oprea--Pandharipande for a trivial curve class. As a result, there is a correspondence between invariants for surfaces and fourfolds in terms of a universal transformation.

The Atiyah-Floer conjecture asserts the instanton Floer homology of a closed three-manifold (constructed via gauge theory) is isomorphic to the Lagrangian Floer homology of a pair of Lagrangian submanifolds associated to a splitting of the three manifold (constructed via symplectic geometry). This conjecture has remained open for more than three decades. In this talk I will explain two compactness results for the SO(3) case of the conjecture in the neck-stretching process. One result is related to the construction of a natural bounding chain in the Lagrangian Floer theory and a conjecture of Fukaya.

I'll be presenting my PhD work, in which I define two new algebraic structures on the equivariant symplectic cohomology of a convex symplectic manifold. The first is a collection of shift operators which generalise the shift operators on equivariant quantum cohomology in algebraic geometry. That is, given a Hamiltonian action of the torus T, we assign to a cocharacter of T an endomorphism of (S1 × T)-equivariant Floer cohomology based on the equivariant Floer Seidel map. The second is a connection which is a multivariate version of Seidel’s q-connection on S1 -equivariant Floer cohomology and generalises the Dubrovin connection on equivariant quantum cohomology.

Grothendieck's Quot schemes — moduli spaces of quotient sheaves — are fundamental objects in algebraic geometry, but we know very little about them. This talk will focus on a relatively simple special case: the Quot scheme Quotˡ(E) of length l quotients of a vector bundle E of rank r on a smooth surface S. The scheme Quotˡ(E) is a cross of the Hilbert scheme of points of S (E=O) and the projectivisation of E (l=1); it carries a virtual fundamental class, and if l and r are at least 2, then Quotˡ(E) is singular. I will explain how the ADHM description of Quotˡ(E) provides a conjectural description of the singularities, and show how they can be resolved in the l=2 case. Furthermore, I will describe the relation between Quotˡ(E) and Quotˡ of a quotient of E, prove a functoriality result for the virtual fundamental class, and use it to compute certain tautological integrals over Quotˡ(E).

The torus T of projective space also acts on the Hilbert
scheme of subschemes of projective space, and the T-graph of the
Hilbert scheme has vertices the fixed points of this action, and edges
the closures of one-dimensional orbits. In general this graph depends
on the underlying field. I will discuss joint work with Rob
Silversmith, in which we construct of a subgraph, which we call the
spine, of the T-graph of Hilb^N(A^2) that is independent of the choice
of field. The key technique is an understanding of the tropical ideal,
in the sense of tropical scheme theory, of the ideal of the universal
family of an edge in the spine.

We prove a homological mirror symmetry result for a one-parameter family of genus 2 curves (https://arxiv.org/abs/1908.04227), and then mention current joint work with H. Azam, H. Lee, and C.-C. M. Liu on generalizing this to the 6-parameter family of all genus 2 curves.

First we describe the B-model genus 2 curve in a 4-torus and the geometric construction of the generalized SYZ mirror. Then we set up the Fukaya-Seidel category on the mirror. Finally we will see the main algebraic HMS result on homogenous coordinate rings, which is at the level of cohomology. The method involves first considering mirror symmetry for the 4-torus, then restricting to the hypersurface genus 2 curve and extending to a mirror Landau-Ginzburg model with fiber the mirror 4-torus. 

Unlike for closed manifolds, the existence of positive scalar curvature (psc) metrics on connected manifolds with
nonempty boundary is unobstructed. We study and compare the spaces of psc metrics on such manifolds with various
conditions along the boundary: H ≥ 0, H = 0, H > 0, II = 0, doubling, product structure. Here H stands for the
mean curvature of the boundary and II for its second fundamental form. "Doubling" means that the doubled metric
on the doubled manifold (along the boundary) is smooth and "product structure" means that near the boundary the
metric has product form. We show that many, but not all of the obvious inclusions are weak homotopy equivalences.
In particular, we will see that if the manifold carries a psc metric with H ≥ 0, then it also carries one which is
doubling but not necessarily one which has product structure. This is joint work with Bernhard Hanke.

The idea of assigning weights to local coordinate functions is used in many areas of mathematics, such as singularity theory, microlocal analysis, sub-Riemannian geometry, or the theory of hypo-elliptic operators, under various terminologies. In this talk, I will describe some differential-geometric aspects of weightings along submanifolds. This includes a coordinate-free definition, and the construction of weighted normal bundles and weighted blow-ups. As an application, I will describe a canonical local model for isotropic embeddings in symplectic manifolds. (Based on joint work with Yiannis Loizides.)

In the talk I shall discuss an approach to the localisation technique, for spaces satisfying the curvature-dimension condition, by means of L1-optimal transport. Moreover, I shall present recent work on a generalisation of the technique to multiple constraints setting. Applications of the theory lie in functional and geometric inequalities, e.g. in the Lévy-Gromov isoperimetric inequality.

Geometric complexity theory is an approach towards solving computational complexity lower bounds questions using algebraic geometry and representation theory. This talk contains an introduction to geometric complexity theory and a presentation of some recent results. Along the way connections to the study of secant varieties and to classical combinatorial and representation theoretic conjectures will be pointed out.

Let G be a reductive group, E an elliptic curve, and Bun_G the moduli stack of principal G-bundles on E. In this talk, I will attempt to explain why Bun_G is a very interesting object from the perspectives of both singularity theory on the one hand, and shifted symplectic geometry and representation theory on the other. In the first part of the talk, I will explain how to construct slices of Bun_G through points corresponding to unstable bundles, and how these are linked to certain singular algebraic surfaces and their deformations in the case of a "subregular" bundle. In the second (probably much shorter) part, I will discuss the shifted symplectic geometry of Bun_G and its slices. If time permits, I will sketch how (conjectural) quantisations of these structures should be related to some well known algebras of an "elliptic" flavour, such as Sklyanin and Feigin-Odesskii algebras, and elliptic quantum groups.

In this talk, I will work on a smooth projective threefold X which satisfies the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the projective space P^3 or the quintic threefold. I will show certain moduli spaces of 2-dimensional torsion sheaves on X are smooth bundles over Hilbert schemes of ideal sheaves of curves and points in X. When X is Calabi-Yau this gives a simple wall crossing formula expressing curve counts (and so ultimately Gromov-Witten invariants) in terms of counts of D4-D2-D0 branes. This is joint work with Richard Thomas. 

Given a nested pair X and Y of complex projective varieties, there is a single positive integer e which measures the singularity type of X inside Y. This is called the Hilbert-Samuel multiplicity of Y along X, and it appears in the formulations of several standard intersection-theoretic constructions including Segre classes, Euler obstructions, and various other multiplicities. The standard method for computing e requires knowledge of the equations which define X and Y, followed by a (super-exponential) Grobner basis computation. In this talk we will connect the HS multiplicity to complex links, which are fundamental invariants of (complex analytic) Whitney stratified spaces. Thanks to this connection, the enormous computational burden of extracting e from polynomial equations reduces to a simple exercise in clustering point clouds. In fact, one doesn't even need the polynomials which define X and Y: it suffices to work with dense point samples. This is joint work with Martin Helmer.

In the talk I will survey the fast growing field of metric measure spaces satisfying a lower bound on Ricci Curvature, in a synthetic sense via optimal transport. Particular emphasis will be given to discuss how such (possibly non-smooth) spaces naturally (and usefully) extend the class of smooth Riemannian manifolds with Ricci curvature bounded below.

In this talk, I will discuss some results on the structure of the cohomology of the moduli space of stable SL_n Higgs bundles on a curve. 

One consequence is a new proof of the Hausel-Thaddeus conjecture proven previously by Groechenig-Wyss-Ziegler via p-adic integration.

We will also discuss connections to the P=W conjecture if time permits. Based on joint work with Junliang Shen.

We describe how Smith theory applies in the setting of Hamiltonian Floer homology filtered by the action functional, and provide applications to questions regarding Hamiltonian diffeomorphisms, including the Hofer-Zehnder conjecture on the existence of infinitely many periodic points and a question of McDuff-Salamon on Hamiltonian diffeomorphisms of finite order.

The Spin(7) and SU(4) structures on a Calabi-Yau 4-fold give rise to certain first order PDEs defining special Yang-Mills connections: the Spin(7) instanton equations and the Hermitian Yang-Mills (HYM) equations respectively. The latter are stronger than the former. In 1998 C. Lewis proved that -over a compact base space- the existence of an HYM connection implies the converse. In this talk we demonstrate that the equivalence of the two gauge-theoretic problems fails to hold in generality. We do this by studying the invariant solutions on a highly symmetric noncompact Calabi-Yau 4-fold: the Stenzel manifold. We give a complete description of the moduli space of irreducible invariant Spin(7) instantons with structure group SO(3) on this space and find that the HYM connections are properly embedded in it. This moduli space reveals an explicit example of a sequence of Spin(7) instantons bubbling off near a Cayley submanifold. The missing limit is an HYM connection, revealing a potential relationship between the two equation systems.

This is a report on joint work with Martijn Kool. 

Recently, Marian-Oprea-Pandharipande established a generalization of Lehn’s conjecture for Segre numbers associated to Hilbert schemes of points on surfaces. Extending work of Johnson, they provided a conjectural correspondence between Segre and Verlinde numbers. For surfaces with holomorphic 2-form, we propose conjectural generalizations of their results to moduli spaces of stable sheaves of higher rank. 

Using Mochizuki’s formula, we derive a universal function which expresses virtual Segre and Verlinde numbers of surfaces with holomorphic 2-form in terms of Seiberg- Witten invariants and intersection numbers on products of Hilbert schemes of points. We use this to  verify our conjectures in examples.