Geometry and Analysis Seminar

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.

I will discuss some ongoing work on three-dimensional supersymmetric gauge theories and their relationship to (equivariant) quantum K-theory. I will emphasise the interplay between the physical and mathematical motivations and approaches, and attempt to build a dictionary between the two.  As an interesting example, I will discuss the quantum K-theory of flag manifolds. The QK ring will be related to the vacuum structure of a gauge theory with Chern-Simons interactions, and the (genus-0) K-theoretic invariants will be computed in terms of explicit residue formulas that can be derived from the relevant supersymmetric path integrals.

An enumerative invariant theory in Algebraic Geometry, Differential Geometry, or Representation Theory, is the study of invariants which 'count' $\tau$-(semi)stable objects $E$ with fixed topological invariants $[E]=\alpha$ in some geometric problem, by means of a virtual class $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ of the moduli spaces ${\mathcal M}_\alpha^{\rm st}(\tau)\subseteq{\mathcal M}_\alpha^{\rm ss}(\tau)$ of $\tau$-(semi)stable objects in some homology theory. Examples include Mochizuki's invariants counting coherent sheaves on surfaces, Donaldson-Thomas type invariants counting coherent sheaves on Calabi-Yau 3- and 4-folds and Fano 3-folds, and Donaldson invariants of 4-manifolds.

We make conjectures on new universal structures common to many enumerative invariant theories. Any such theory has two moduli spaces ${\mathcal M},{\mathcal M}^{\rm pl}$, where my big vertex algebras project http://people.maths.ox.ac.uk/~joyce/hall.pdf gives $H_*({\mathcal M})$ the structure of a graded vertex algebra, and $H_*({\mathcal M}^{\rm pl})$ a graded Lie algebra, closely related to $H_*({\mathcal M})$. The virtual classes $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ take values in $H_*({\mathcal M}^{\rm pl})$. In most such theories, defining $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ when ${\mathcal M}_\alpha^{\rm st}(\tau)\ne{\mathcal M}_\alpha^{\rm ss}(\tau)$ (in gauge theory, when the moduli space contains reducibles) is a difficult problem. We conjecture that there is a natural way to define $[{\mathcal M}_\alpha^{\rm ss}(\tau)]_{\rm virt}$ in homology over $\mathbb Q$, and that the resulting classes satisfy a universal wall-crossing formula under change of stability condition $\tau$, written using the Lie bracket on $H_*({\mathcal M}^{\rm pl})$. We prove our conjectures for moduli spaces of representations of quivers without oriented cycles.

This is joint work with Jacob Gross and Yuuji Tanaka.

There are many known ways to compute the homology of the moduli space of algebraic vector bundles on a curve. For higher-dimensional varieties however, this problem is very difficult. It turns out that the moduli stack of objects in the derived category of a variety X, however, is topologically simpler than the moduli stack of vector bundles on X. We compute the rational homology of the moduli stack of complexes in the derived category of a smooth complex projective variety. For a certain class of varieties X including curves, surfaces, flag varieties, and certain 3- and 4-folds we get that the rational cohomology is freely generated by Künneth components of Chern characters of the universal complex––this allows us to identify Joyce's vertex algebra construction with a super-lattice vertex algebra on the rational cohomology of X in these cases.