Past Algebraic and Symplectic Geometry Seminar

In joint work with Tim Perutz, we give a complete characterization of the Fukaya category of the punctured torus, denoted by $Fuk(T_0)$. This, in particular, means that one can write down an explicit minimal model for $Fuk(T_0)$ in the form of an A-infinity algebra, denoted by A, and classify A-infinity structures on the relevant algebra. A result that we will discuss is that no associative algebra is quasi-equivalent to the model A of the Fukaya category of the punctured torus, i.e., A is non-formal. $Fuk(T_0)$ will be connected to many topics of interest: 1) It is the boundary category that we associate to a 3-manifold with torus boundary in our extension of Heegaard Floer theory to manifolds with boundary, 2) It is quasi-equivalent to the category of perfect complexes on an irreducible rational curve with a double point, an instance of homological mirror symmetry.

The effective cone of the Hilbert scheme of points in $P^2$ has

finitely many chambers corresponding to finitely many birational models.

In this talk, I will identify these models with moduli of

Bridgeland-stable two-term complexes in the derived category of

coherent sheaves on $P^2$ and describe a

map from (a slice of) the stability manifold of $P^2$

to the effective cone of the Hilbert scheme that would explain the

correspondence. This is joint work with Daniele Arcara and Izzet Coskun.

I will discuss a conjectural Bogomolov-Gieseker type inequality for "tilt-stable" objects in the derived category of coherent sheaves on smooth projective threefolds. The conjecture implies the existence of Bridgeland stability conditions on threefolds, and also has implications to birational geometry: it implies a slightly weaker version of Fujita's conjecture on very ampleness of adjoint line bundles.

Counting the number of curves of degree $d$ with $n$ nodes (and no further singularities) going through $(d^2+3d)/2 - n$ points in general position in the projective plane is a problem which was already considered more than 150 years ago. More recently, people conjectured that for sufficiently large $d$ this number should be given by a polynomial of degree $2n$ in $d$. More generally, the Göttsche conjecture states that the number of $n$-nodal curves in a general $n$-dimensional linear subsystem of a sufficiently ample line bundle $L$ on a nonsingular projective surface $S$ is given by a universal polynomial of degree $n$ in the 4 topological numbers $L^2, L.K_S, (K_S)^2$ and $c_2(S)$. In a joint work with Vivek Shende and Richard Thomas, we give a short (compared to existing) proof of this conjecture.

I describe a conjecture equating the two items appearing in the title.

I will explain how essential information about the structure of symplectic manifolds is captured by algebraic data, and specifically by the non-commutative mixed Hodge structure on the cohomology of the Fukaya category. I will discuss computable Hodge theoretic invariants arising from twist functors, and from geometric extensions. I will also explain how the instanton-corrected Chern-Simons theory fits in the framework of normal functions in non-commutative Hodge theory and will give applications to explicit descriptions of quantum Lagrangian branes. This is a joint work with L. Katzarkov and M. Kontsevich.

If $X$ is a Fano variety with canonical bundle $O(-k)$, its derived category

has a semi-orthogonal decomposition (I will say what that means)

\[ D(X) = \langle O(-k+1), ..., O(-1), O, A \rangle, \]

where the subcategory $A$ is the "interesting piece" of $D(X)$. In the previous talk we saw that $A$ can have very rich geometry. In this talk we will see a less well-understood example of this: when $X$ is a smooth cubic in $P^5$, $A$ looks like the derived category of a K3 surface. We will discuss Kuznetsov's conjecture that $X$ is rational if and only if $A$ is geometric, relate it to Hassett's earlier work on the Hodge theory of $X$, and mention an autoequivalence of $D(Hilb^2(K3))$ that I came across while studying the problem.

There is a long-studied correspondence between intersections of two quadrics and hyperelliptic curves, first noticed by Weil and since used

as a testbed for many fashionable theories: Hodge theory, motives, and moduli of vector bundles in the '70s and '80s, derived categories in the '90s, non-commutative geometry and mirror symmetry today. The story generalizes to three, four, and more quadrics, exhibiting new geometric behaviour at each step. The case of four quadrics nicely illustrates the modern theory of flops and derivced categories and, as a special case, gives a pair of derived-equivalent Calabi-Yau 3-folds.

We first present the localized virtual cycles by cosections of obstruction sheaves constructed by Kiem and Li. This construction has two kinds of applications: one is define invariants for non-proper moduli spaces; the other is to reduce the obstruction classes. We will present two recent applications of this construction: one is the Gromov-Witten invariants of stable maps with fields (joint work with Chang); the other is studying Donaldson-Thomas invariants of Calabi-Yau threefolds (joint work with Kiem).

We first present the localized virtual cycles by cosections of obstruction sheaves constructed by Kiem and Li. This construction has two kinds of applications: one is define invariants for non-proper moduli spaces; the other is to reduce the obstruction classes. We will present two recent applications of this construction: one is the Gromov-Witten invariants of stable maps with fields (joint work with Chang); the other is studying Donaldson-Thomas invariants of Calabi-Yau threefolds (joint work with Kiem).

Sutured manifolds are compact oriented 3-manifolds with boundary, together with a set of dividing curves on the boundary. Sutured Floer homology is an invariant of balanced sutured manifolds that is a common generalization of the hat version of Heegaard Floer homology and knot Floer homology. I will define cobordisms between sutured manifolds, and show that they induce maps on sutured Floer homology groups, providing a type of TQFT. As a consequence, one gets maps on knot Floer homology groups induced by decorated knot cobordisms.

Gravitational instantons are complete hyperkaehler 4-manifolds whose Riemann curvature tensor is square integrable. They can be viewed as Einstein geometry analogs of finite energy Yang-Mills instantons on Euclidean space. Classical examples include Kronheimer's ALE metrics on crepant resolutions of rational surface singularities and the ALF Riemannian Taub-NUT metric, but a classification has remained largely elusive. I will present a large, new connected family of gravitational instantons, based on removing fibers from rational elliptic surfaces, which contains ALG and ALH spaces as well as some unexpected geometries.

On a manifold there is the graded algebra of polyvector fields with its Lie-Schouten bracket, and the module of de Rham differentials with exterior differentiation. This package is called a "calculus". The moduli

space of sheaves (or derived category objects) on a Calabi-Yau threefold has a kind of "virtual calculus" on it, at least conjecturally. In particular, this moduli space has virtual de Rham cohomology groups, which categorify Donaldson-Thomas invariants, at least conjecturally. We describe some attempts at constructing such a virtual calculus. This is work in progress.

On a manifold there is the graded algebra of polyvector fields with its Lie-Schouten bracket, and the module of de Rham differentials with exteriour differentiation. This package is called a "calculus". The moduli space of sheaves (or derived category objects) on a Calabi-Yau threefold has a kind of "virtual calculus" on it, at least conjecturally. In particular, this moduli space has virtual de Rham cohomology groups, which categorify Donaldson-Thomas invariants, at least conjecturally. We describe some attempts at constructing such a virtual calculus. This is work in progress.

I will describe recent work on motivic DT invariants for 3-manifolds, which are expected to be a refinement of Chern-Simons theory. The conclusion will be that these should be possible to define and work with, but there will be some interesting problems along the way. There will be a discussion of the problem of upgrading the description of the moduli space of flat connections as a critical locus to the problem of describing the fundamental group algebra of a 3-fold as a "noncommutative critical locus," including a recent topological result on obstructions for this problem. I will also address the question of how a motivic DT invariant may be expected to pick up a finer invariant of 3-manifolds than just the fundamental group.