Geometry and Analysis Seminar

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 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. 

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. 

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.

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.

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.

In this talk, I will explain a new wall-crossing phenomenon on P^3 that induces non-Q-factorial singularities and thus cannot be understood as an operation in the MMP of the moduli space, unlike the case for many surfaces.  If time permits, I will explain how the wall-crossing could help to understand the geometry of the associated Hilbert scheme and PT moduli space.

Given a log Calabi-Yau surface Y with maximal boundary D, I'll explain how to construct a mirror Landau-Ginzburg model, and sketch a proof of homological mirror symmetry for these pairs when (Y,D) is distinguished within its deformation class (this is mirror to an exact manifold). I'll explain how to relate this to the total space of the SYZ fibration predicted by Gross--Hacking--Keel, and, time permitting, explain ties with earlier work of Auroux--Katzarkov--Orlov and Abouzaid. Joint work with Paul Hacking.

I will describe the results of two projects on the construction of Calabi-Yau threefolds and certain real Lagrangian submanifolds. The first concerns the construction of a novel dataset of Calabi-Yau threefolds via an application of the Gross-Siebert algorithm to a reducible union of toric varieties obtained by degenerating anti-canonical hypersurfaces in a class of (around 1.5 million) Gorenstein toric Fano fourfolds. Many of these constructions correspond to smoothing such a hypersurface; in contrast to the famous construction of Batyrev-Borisov which exploits crepant resolutions of such hypersurfaces. A central ingredient here is the construction of a certain 'integral affine structure with singularities' on the boundary of a class of polytopes from which one can form a topological model, due to Gross, of the corresponding Calabi-Yau threefold X. In general, such topological models carry a canonical (anti-symplectic) involution i and in the second project, which is joint work with H. Argüz, we describe the fixed point locus of this involution. In particular, we prove that the map i*-1 on graded pieces of a Leray filtration of H^3(X,Z2) can be identified with the map D -> D^2, where D is an element of H^2(X',Z2) and X' is mirror-dual to X. We use this to compute the Z2 cohomology group of the fixed locus, answering a question of Castaño-Bernard--Matessi.