Derived categories
Monday 11th April 2011 to Friday 15th April 2011
10:00 to 11:00  Registration  
11:00 to 11:25  Morning Coffee  
11:25 to 11:30  Welcome from Ben Mestel (INI Deputy Director)  
11:30 to 12:30 
Categorified Heisenberg actions on Hilbert schemes
I will describe an action of a quantized Heisenberg algebra on the (derived) categories of coherent sheaves on Hilbert schemes of ALE spaces (crepant resolutions of C^2/G). This action essentially lifts the actions of Nakajima and Grojnowski on the cohomology of these spaces. (joint with Tony Licata)

INI 1  
12:30 to 13:30  Lunch at Wolfson Court  
15:00 to 16:00 
Quiver varieties and tensor products
I will explain how tensor products of representations of Yangian are realized in terms of geometry of quiver varieties.

INI 1  
16:00 to 16:30  Afternoon Tea  
16:30 to 17:30 
Trivertices and a corresponding class of hyperKahler spaces
Given a graph with lines and 3valent vertices, one can construct, using a simple dictionary, a Lagrangian that has N=2 supersymmetry in 3+1 dimensions. The vacuum moduli space of such a theory is well known to give moment map equations for a HyperKahler manifold.
We will discuss the class of hyperkahler manifolds which arise due to such a construction and present their special properties. The Hilbert Series of these spaces can be computed and turns out to be a function of the number of external legs and loops in the graph but not on its detailed structure. The corresponding SCFT consequence of this property indicates a crucial universality of many Lagrangians, all of which have the same dynamics.
The talk is based on http://arXiv.org/pdf/1012.2119

INI 1  
17:30 to 18:30  Welcome wine reception  
18:45 to 19:30  Dinner at Wolfson Court (residents only) 
10:00 to 11:00 
Stable pairs on local K3 surfaces.
I give a formula which relates Euler characteristic of moduli spaces of stable pairs on local K3 surfaces to counting invariants of semistable sheaves on them. The formula generalizes KawaiYoshioka's formula for stable pairs with irreducible curve classes to arbitrary curve classes. I also propose a conjectual multicovering formula of sheaf counting invariants which, combined with the main result, leads to an Euler characteristic version of KatzKlemmVafa conjecture for stable pairs.

INI 1  
11:00 to 11:30  Morning Coffee  
11:30 to 12:30 
Why descendents?
I will discuss several motivations and results concerning descendents in 3fold sheaf theories.

INI 1  
12:30 to 13:30  Lunch at Wolfson Court  
15:00 to 16:00 
K3 surfaces of genus 17
The moduli space M=M(2, h, 8) of semirigid vector bundles on a (polarized) K3 surface (S, h) of genus 17 is a K3 surface of genus 5. Moreover, the universal family gives an equivalence between the derived category of S and a twisted derived category of M. This equivalence induces us a rational map from S to the nonabelian BrillNoether locus SU(2, K; 5F) of type II (see alggeom/9704015) in the moduli space of 2bundles on a curve of genus 5. We show that this map is an isomorphism when the modulus of (S, h) is general, using Thaddeus' formula. As a corollary the moduli space F17 of (S, h)’s is unirational.

INI 1  
16:00 to 16:30  Afternoon Tea  
16:30 to 17:30 
A Bondal ([Steklov Institute in Moscow & IPMU (Japan)]) Minuscule varieties and their degenerations
We will give a description of toric degenerations of minuscule varieties in terms of moduli spaces of representations of quivers. We apply this to description of the structure of derived categories of coherent sheaves on minuscule varieties and to constructing LandauGinzburg models for them.

INI 1  
18:00 to 18:45  Wine reception at CUP Bookshop  
18:45 to 19:45  Dinner at Wolfson Court (residents only) 
10:00 to 11:00 
P Horja ([Oklahoma State]) Categorical Matrix Factorizations
I will present a notion of matrix factorizations associated to an additive category endowed with a weak action of the integers. The role of the potential is played by a certain natural transformation compatible with the categorical weak action. Various applications of this framework to the understanding of LandauGinzburg models will be explored.

INI 1  
11:00 to 11:30  Morning Coffee  
11:30 to 12:30 
LandauGinzburg/CalabiYau correspondence, analytic continuation and global mirror symmetry
Under LandauGinzburg/CalabiYau correspondence, the quantum cohomology of a weighted projective hypersurface is analytically continued to the FJRW quantum ring of the associated LandauGinzburg model. Via the Gamma integral structure, we will see that the analytic continuation is induced from Orlov's equivalence between the derived category of coherent sheaves and the category of matrix factorizations. We also mention to a relation to mirror symmetry. This is based on joint work with Alessandro Chiodo and Yongbin Ruan.

INI 1  
12:30 to 13:30  Lunch at Wolfson Court  
15:00 to 16:00 
A Kuznetsov ([RAS]) Exceptional collections on Grassmannians of classical groups
I will describe a new approach to construction of exceptional collections on homogeneous varieties of semisimple algebraic groups. Using this approach I will construct exceptional collections of the expected length on all Grassmannians of classical groups. This is a joint work with Sasha Polishchuk.

INI 1  
16:00 to 16:30  Afternoon Tea  
16:30 to 17:30 
Ribbon Graphs and Mirror Symmetry
Beginning with a ribbon graph with some extra structure, I will define a dg category, the "constructible plumbing model," which serves as a standin for the Fukaya category of the Riemann surface associated to the ribbon graph. When the graph has a combinatorial version of a torus fibration with section, I will define a onedimensional algebraic curve, and prove that the dg category of vector bundles on the curve is equivalent to the constructible plumbing model, a version of homological mirror symmetry in onedimension. I will also discuss the higherdimensional case.
This talk is based on joint work with Nicolo' Sibilla and David Treumann.

INI 1  
19:30 to 22:00  Conference Dinner at Gonville & CaiusCollege 
10:00 to 11:00 
Sduality and mirror symmetry in ChernSimons theory
I will present joint work with S. Gukov on Sduality in threedimensional ChernSimons theories. Upon analytic continuation, the ChernSimons "level" k can be taken to be an arbitrary complex number. Then, both ChernSimons wavefunctions and certain operators that annihilate them acquire a certain symmetry under the inversion of k (Sduality). In terms of the operators, this can be understood in terms of mirror symmetry acting on branes in a hyperkahler space (a Hitchin moduli space).

INI 1  
11:00 to 11:30  Morning Coffee  
11:30 to 12:30 
DE Diaconescu ([Rutgers]) BPS states, DonaldsonThomas invariants and Hitchin pairs
A string theoretic construction will be presented relating BPS states, DonaldsonThomas invariants and the cohomology of the Hitchin system. In particular, the work of Hausel and RodrgiguezVillegas will be given a natural physical explanation based on geometric engineering.
This is work in collaboration with Wuyen Chuang and Guang Pan. 
INI 1  
12:30 to 13:30  Lunch at Wolfson Court  
15:00 to 16:00 
Hilbert schemes of singular plane curves and HOMFLY homology of their links
Intersecting a plane curve with the boundary of a small ball around one of its singularities yields a link in the 3sphere. To any link may be attached a triply graded vector space, the HOMFLY homology. Taking its Euler characteristic with respect to a certain grading gives the HOMFLY polynomial, which in turn specializes variously to the Alexander polynomial, the Jones polynomial, and the other SU(n) knot polynomials.
We will present a conjecture recovering this invariant from moduli spaces attached to the singular curve. Specifically, we form the Hilbert schemes of points of the curve, and certain incidence varieties inside products of Hilbert schemes. Up to certain shifts of grading, we conjecture that the HOMFLY homology of the link of the singularity is the direct sum of the homologies of these spaces.
This talk presents joint work with J. Rasmussen and A. Oblomkov.

INI 1  
16:00 to 16:30  Afternoon Tea  
16:30 to 17:30 
Dmanifolds, a new theory of derived differential geometry
I describe a new class of geometric objects I call "dmanifolds". Dmanifolds are a kind of "derived" smooth manifold, where "derived" is in the sense of the derived algebraic geometry of Jacob Lurie, Bertrand Toen, etc. The definition draws on ideas of Jacob Lurie, David Spivak. The original aim of the project, which I believe I have achieved, is to find the "right" definition of the Kuranishi spaces of Fukaya, Oh, Ohta and Ono, which is the geometric structure on moduli spaces of Jholomorphic curves in a symplectic manifold.
The definition of dmanifolds involves doing algebraic geometry over smooth functions (Cinfinity rings); roughly speaking, a dmanifold is a differentialgeometric analogue of a scheme with a perfect obstruction theory. Dmanifolds form a strict 2category dMan. It is a 2subcategory of the larger 2category of "dspaces" dSpa. The definition does not involve localization of categories, so we have very good control of what 1morphisms and 2morphisms are.
The 2categories dMan and dSpa have some very nice properties. All fibre products exist in dSpa, and a fibre product of dmanifolds is a dmanifold under weak transversality condition. For example, any fibre product of two dmanifolds over a manifold is a dmanifold. You can glue dmanifolds by equivalences of open dsubmanifolds (a kind of pushout in dMan) provided the glued topological space is Hausdorff. There is a notion of "virtual cotangent bundle" of a dmanifold, which lives in a 2category of virtual vector bundles, and a 1morphism of dmanifolds is etale (a local equivalence) iff it induces an equivalence of virtual cotangent bundles. And so on.
There are also good notions of dmanifolds with boundary and dmanifolds with corners, and orbifold versions of all this, dorbifolds.
Dmanifolds and dorbifolds have applications to moduli spaces and enumerative invariants in both differential and algebraic geometry. Almost any moduli space which is used to define some kind of counting invariant should have a dmanifold or dorbifold structure. Any moduli space of solutions of a smooth nonlinear elliptic p.d.e. on a compact manifold has a dmanifold structure. Any Cscheme with a perfect obstruction theory has a dmanifold structure. In symplectic geometry, Kuranishi spaces and polyfold structures on moduli spaces of Jholomorphic curves induce dorbifold structures. So much of GromovWitten theory, DonaldsonThomas theory, Lagrangian Floer cohomology, Symplectic Field Theory,... can be rewritten in this language.

INI 1  
18:45 to 19:30  Dinner at Wolfson Court (residents only) 
09:30 to 10:30 
I Soibelman ([Kansas State]) Integrable systems, Mirror Symmetry and DonaldsonThomas invariants
This talk is about applications of some ideas from Mirror Symmetry to complex integrable systems. It is a joint work with Maxim Kontsevich, and it is related to our theory of DonaldsonThomas invariants for 3d CalabiYau categories. In particular, wallcrossing formulas lead to a construction of ``exponential Hodge structure of infinite type".

INI 1  
10:30 to 11:00  Morning Coffee  
11:00 to 12:00 
On the motivic class of the commuting variety and related problems
In 1960, Feit and Fine found a beautiful formula for the number of commuting n by n matrices over the finite field F_q. Their result can be reinterpreted as a formula for the motivic class of the commuting variety in the Grothendieck group. We will describe a simple new proof of their formula which allows us to generalize the result to several other settings with applications to motivic DonaldsonThomas theory.

INI 1  
12:00 to 13:00  Lunch at Wolfson Court  
13:00 to 14:00 
Wallcrossing of the motivic DonaldsonThomas invariants
We study the motivic DonaldsonThomas invariants introduced by KontsevichSoibelman and BehrendBryanSzendroi. A wallcrossing formula is proved for a certain class of mutations of quivers with potentials.

INI 1  
14:00 to 14:30  Afternoon Tea  
14:30 to 15:30 
Motivic DonaldsonThomas theory of the conifold
The talk will explain the computation of the motivic refinement of DonaldsonThomas theory and related enumerative theories on the resolved conifold geometry, in all chambers of the space of quiver stability conditions. The results are in full agreement with the expected answer from the refined topological vertex of IqbalKozcazVafa, and the wallcrossing computations of JafferisChuang. This is joint work with Andrew Morrison and Kentaro Nagao.

INI 1  
18:45 to 19:30  Dinner at Wolfson Court (residents only) 