Algebraic and Symplectic Geometry Seminar

Given a Calabi-Yau threefold X, one can count curves on X using various approaches, for example using stable maps or ideal sheaves; for any curve class on X, this produces an infinite sequence of invariants, indexed by extra discrete data (e.g. by the domain genus of a stable map).  Conjecturally, however, this sequence is determined by only a finite number of integer invariants, known as Gopakumar-Vafa invariants.  In this talk, I will propose a direct definition of these invariants via sheaves of vanishing cycles, building on earlier approaches of Kiem-Li and Hosono-Saito-Takahashi.  Conjecturally, these should agree with the invariants as defined by stable maps.  I will also explain how to prove the conjectural correspondence for irreducible curves on local surfaces.  This is joint work with Yukinobu Toda.

With the purpose of examining some relevant geometric properties of the moduli space of sheaves over an algebraic surface, Le Potier conjectured some unexpected duality between the complete linear series of certain natural divisors, called Theta divisors, on the moduli space. Such conjecture is widely known as Strange Duality conjecture. After having motivated the problem by looking at certain instances of quantization in physics, we will work in the setting of surfaces. We will then sketch the proof in the case of abelian surfaces, giving an idea of the techniques that are used. In particular, we will show how the theory of discrete Heisenberg groups and fiber wise Fourier-Mukai transforms, which might be applied to other cases of interest, enter the picture. This is joint work with Alina Marian, Dragos Opera and Kota Yoshioka.

The character variety of a manifold is a moduli space of representations of its fundamental group into some fixed gauge group.  In this talk I will outline the construction of a fully extended topological field theory in dimension 4, which gives a uniform functorial quantization of the character varieties of low-dimensional manifolds, when the gauge group is reductive algebraic (e.g. $GL_N$).

I'll focus on important examples in representation theory arising from the construction, in genus 1:  spherical double affine Hecke algebras (DAHA), difference-operator q-deformations of the Grothendieck-Springer sheaf, and the construction of irreducible DAHA modules mimicking techniques in classical geometric representation theory.  The general constructions are joint with David Ben-Zvi, Adrien Brochier, and Noah Snyder, and applications to representation theory of DAHA are joint with Martina Balagovic and Monica Vazirani.

Every finite regular CW complex is, ipso facto, a cohomologically stratified space when filtered by skeleta. We outline a method to recover the canonical (i.e., coarsest possible) stratification of such a complex that is compatible with its underlying cell structure. Our construction proceeds by first localizing and then resolving a complex of cosheaves which capture local cohomology at every cell. The result is a sequence of categories whose limit recovers the desired strata via its (isomorphism classes of) objects. As a bonus, we observe that the entire process is algorithmic and amenable to efficient computations!

Given a Mori Dream Space X, we construct via tropicalisation a model dominating all the small Q-factorial modifications of X. Via this construction we recover a Minkowski basis for the Newton-Okounkov bodies of Cartier divisors on X and hence generators of the movable cone of X. 
This is joint work with Stefano Urbinati.
 

We consider two types of actions on moduli spaces of quiver representations over a field k and we decompose their fixed loci using group cohomology. First, for a perfect field k, we study the action of the absolute Galois group of k on the points of this quiver moduli space valued in an algebraic closure of k; the fixed locus is the set of k-rational points and we obtain a decomposition of this fixed locus indexed by the Brauer group of k. Second, we study algebraic actions of finite groups of quiver automorphisms on these moduli spaces; the fixed locus is decomposed using group cohomology and each component has a modular interpretation. If time permits, we will describe the symplectic and holomorphic geometry of these fixed loci in hyperkaehler quiver varieties. This is joint work with Florent Schaffhauser.

A classification of simple flops on smooth threefolds in terms of the length invariant was given by Katz and Morrison, who showed that the length must take the value 1,2,3,4,5, or 6. This classification was produced by understanding simultaneous (partial) resolutions that occur in the deformation theory of A, D, E Kleinian surface singularities. An outcome of this construction is that all simple threefold flops of length l occur by pullback from a "universal flop" of length l. Curto and Morrison understood the universal flops of length 1 and 2 using matrix factorisations. I aim to describe how these universal flops can understood for lengths >2 via noncommutative algebra.

I'll show how a simple universal property attaches a category of derived manifolds to any category with finite products and some suitable notion of "topology". Starting with the category of real Euclidean spaces and infinitely differentiable maps yields the category of derived smooth manifolds studied by D. Spivak and others, while starting with affine spaces over some ring and polynomial maps produces a flavour of the derived algebraic geometry of Lurie and Toen-Vezzosi.

I'll motivate this from the differentiable setting by showing that the universal property easily implies all of D. Spivak's axioms for being "good for intersection theory on manifolds".