Past Algebraic and Symplectic Geometry Seminar

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.

Symplectic cohomology is an invariant of symplectic manifolds with contact type boundary. For example, for disc cotangent bundles it recovers the

homology of the free loop space. The aim of this talk is to describe algebraic operations on symplectic cohomology and to deduce applications in

symplectic topology. Applications range from describing the topology of exact Lagrangian submanifolds, to proving existence theorems about closed

Hamiltonian orbits and Reeb chords.

I will show that given smooth embedded Lagrangian L in a Calabi-Yau, one can find a perturbation of L which lies in the same hamiltonian isotopy class and such that the correspondent solution to mean curvature flow develops a finite time singularity. This shows in particular that a simplified version of the Thomas-Yau conjecture does not hold.

Both parts will deal with spherical objects in the bounded derived

category of coherent sheaves on K3 surfaces. In the first talk I will

focus on cycle theoretic aspects. For this we think of the Grothendieck

group of the derived category as the Chow group of the K3 surface (which

over the complex numbers is infinite-dimensional due to a result of

Mumford). The Bloch-Beilinson conjecture predicts that over number

fields the Chow group is small and I will show that this is equivalent to

the derived category being generated by spherical objects (which

I do not know how to prove). In the second talk I will turn to stability

conditions and show that a stability condition is determined by its

behavior with respect to the discrete collections of spherical objects.

Both parts will deal with spherical objects in the bounded derived

category of coherent sheaves on K3 surfaces. In the first talk I will

focus on cycle theoretic aspects. For this we think of the Grothendieck

group of the derived category as the Chow group of the K3 surface (which

over the complex numbers is infinite-dimensional due to a result of

Mumford). The Bloch-Beilinson conjecture predicts that over number

fields the Chow group is small and I will show that this is equivalent to

the derived category being generated by spherical objects (which

I do not know how to prove). In the second talk I will turn to stability

conditions and show that a stability condition is determined by its

behavior with respect to the discrete collections of spherical objects.

The second talk will present conjectural motivic generalizations

of ADHM sheaf invariants as well as their wallcrossing formulas.

It will be shown that these conjectures yield recursive formulas

for Poincare and Hodge polynomials of moduli spaces of Hitchin

pairs. It will be checked in many concrete examples that this recursion relation is in agreement with previous results of Hitchin, Gothen, Hausel and Rodriguez-Villegas.

The first talk will present a construction of equivariant

virtual counting invariants for certain quiver sheaves on a curve, called ADHM sheaves. It will be shown that these invariants are related to the stable pair theory of Pandharipande and Thomas in a specific stability chamber. Wallcrossing formulas will be derived using the theory of generalized Donaldson-Thomas invariants of Joyce and Song.

A categorification of cycle class maps consists to define

realization functors from constructible motivic sheaves to other

categories of coefficients (e.g. constructible $l$-adic sheaves), which are compatible with the six operations. Given a field $k$, we

will describe a systematic construction, which associates,

to any cohomology theory $E$, represented in $DM(k)$, a

triangulated category of constructible $E$-modules $D(X,E)$, for $X$

of finite type over $k$, endowed with a realization functor from

the triangulated category of constructible motivic sheaves over $X$.

In the case $E$ is either algebraic de Rham cohomology (with $char(k)=0$), or $E$ is $l$-adic cohomology, one recovers in this way the triangulated categories of $D$-modules or of $l$-adic sheaves. In the case $E$ is rigid cohomology (with $char(k)=p>0$), this construction provides a nice system of $p$-adic coefficients which is closed under the six operations.

Starting from Morel and Voevodsky's stable homotopy theory of schemes, one defines, for each noetherian scheme of finite dimension $X$, the triangulated category $DM(X)$ of motives over $X$ (with rational coefficients). These categories satisfy all the the expected functorialities (Grothendieck's six operations), from

which one deduces that $DM$ also satisfies cohomological proper

descent. Together with Gabber's weak local uniformisation theorem,

this allows to prove other expected properties (e.g. finiteness

theorems, duality theorems), at least for motivic sheaves over

excellent schemes.

We report on joint work with Arend Bayer on the space of stability conditions for the canonical bundle on the projective plane.

We will describe a connected component of this space, generalizing and completing a previous construction of Bridgeland.

In particular, we will see how this space is related to classical results of Drezet-Le Potier on stable vector bundles on the projective plane. Using this, we can determine the group of autoequivalences of the derived category. As a consequence, we can identify a $\Gamma_1(3)$-action on the space of stability conditions, which will give a global picture of mirror symmetry for this example.

In the second hour we will give some details on the proof of the main theorem.

We report on joint work with Arend Bayer on the space of stability conditions for the canonical bundle on the projective plane.

We will describe a connected component of this space, generalizing and completing a previous construction of Bridgeland.

In particular, we will see how this space is related to classical results of Drezet-Le Potier on stable vector bundles on the projective plane. Using this, we can determine the group of autoequivalences of the derived category. As a consequence, we can identify a $\Gamma_1(3)$-action on the space of stability conditions, which will give a global picture of mirror symmetry for this example.

In the second hour we will give some details on the proof of the main theorem.

We show how to compute the symplectic homology of a 4-dimensional Weinstein manifold from a diagram of the Legendrian link which is the attaching locus of its 2-handles. The computation uses a combination of a generalization of Chekanov's description of the Legendrian homology of links in standard contact 3-space, where the ambient contact manifold is replaced by a connected sum of $S^1\times S^2$'s, and recent results on the behaviour of holomorphic curve invariants under Legendrian surgery.

Lagrangian submanifolds are an important class of objects in symplectic geometry. They arise in diverse settings: as vanishing cycles in complex algebraic geometry, as invariant sets in integrable systems, as Heegaard tori in Heegaard-Floer theory and of course as "branes" in the A-model of mirror symmetry. We ask the difficult question: when are two Lagrangian submanifolds isotopic? Restricting to the simplest case of Lagrangian spheres in rational surfaces we will give examples where this question has a complete answer. We will also give some very pictorial examples (due to Seidel) illustrating how two Lagrangians can fail to be isotopic.

The Green-Griffiths conjecture from 1979 says that every projective algebraic variety $X$ of general type contains a certain proper algebraic subvariety $Y$ such that all nonconstant entire holomorphic curves in $X$ must lie inside $Y$. In this talk we explain that for projective hypersurfaces of degree $d>dim(X)^6$ this is the consequence of a positivity conjecture in global singularity theory.

I will introduce the theory of cluster categories after Amiot and Plamondon. For a quiver with a potential, the cluster category is defined as the quotient of the category of perfect dg-modules by the category of dg-modules with finite dimensional cohomologies. We can show the existence of the equivalence in the first talk as an application of the cluster category. I will also propose a definition of a counting invariant for each element in the cluster category.

Let $(Q',w')$ be a quiver with a potential given by successive mutations from a quiver with a potential $(Q,w)$. Then we have an equivalence of the derived categories of dg-modules over the Ginzburg dg-algebras satisfying the following condition: a simple module over the dg-algebra for $(Q',w')$ is either concentrated on degree 0 or concentrated on degree 1 as a dg-module over the

dg-algebra for $(Q,w)$. As an application of this equivalence, I will give a description of the space of stability conditions.

Extending work of Klyachko, we give a combinatorial description of pure equivariant sheaves on a nonsingular projective toric variety X and use this description to construct moduli spaces of such sheaves. These moduli spaces are explicit and combinatorial in nature. Subsequently, we consider the moduli space M of all Gieseker stable sheaves on X and describe its fixed point locus in terms of the moduli spaces of pure equivariant sheaves on X. As an application, we compute generating functions of Euler characteristics of M in case X is a toric surface. In the torsion free case, one finds examples of new as well as known generating functions. In the pure dimension 1 case using a conjecture of Sheldon Katz, one obtains examples of genus zero Gopakumar-Vafa invariants of the canonical bundle of X.

I will show that generating functions for certain non-compact Calabi-Yau 3-folds are modular forms. This is joint work with Hiroshi Iritani.

I will show that generating functions for certain non-compact

Calabi-Yau 3-folds are modular forms. This is joint work with Hiroshi

Iritani.

Following work of Bridgeland in the smooth case and Chen in the terminal singularities case, I will explain a proposal that extends the existence of flops for threefolds (and the required derived equivalences) to also cover canonical singularities.  Moreover this technique conjecturally says much more than just the existence of the flop, as it shows how the dual graph changes under the flop and also which curves in the flopped variety contract to points without contracting divisors.  This allows us to continue the Minimal Model Programme on the flopped variety in an easy way, thus producing many varieties birational to the given input.    

I will describe some more of the deformation theory necessary for the first talk. This leads to a number of natural questions and counterexamples. This talk requires a strong stomach, or a fanatical devotion to symmetric obstruction theories.

The Cox ring of a variety is an analogue of the homogeneous coordinate ring of projective space. Cox rings are not defined for every variety and even when they are defined, they need not be finitely generated. Varieties for which the Cox ring is finitely generated are called Mori dream spaces and, as the name suggests, they are particularly well-suited for the Minimal Model Program. Such varieties include toric varieties and del Pezzo surfaces.

I will report on joint work with T. Várilly and M. Velasco where we introduce a class of smooth projective surfaces having finitely generated Cox ring. This class of surfaces contains toric surfaces and (log) del Pezzo surfaces.

This talk will be largely speculative. First we consider the formal properties that could be expected of a "topological field theory" in 6+1 dimensions defined by $G_2$ instantons. We explain that this could lead to holomorphic bundles over moduli spaces of Calabi-Yau 3-folds whose ranks are the DT-invariants. We also discuss in more detail the compactness problem for $G_2$ instantons and associative submanifolds.

The talk will be held in Room 408, Imperial College Maths Department, Huxley Building, 180 Queen’s Gate, London.

This talk will review material, well-known to specialists, on calibrated geometry and Yang-Mills theory over manifolds with holonomy $SU(3)$, $G_2$ or $Spin(7)$. We will also describe extensions of the standard set-up, modelled on Gromov's "taming forms" for almost-complex structures.

The talk will be held in Room 408, Imperial College Maths Department, Huxley Building, 180 Queen’s Gate, London.

There is a conjectural relationship due to Yau-Tian-Donaldson between stability of projective manifolds and the existence of canonical Kahler metrics (e.g. Kahler-Einstein metrics). Embedding the projective manifold in a large projective space gives, on one hand, a Geometric Invariant Theory stability problem (by changing coordinates on the projective space) and, on the other, a notion of balanced metric which can be used to approximate the canonical Kahler metric in question. I shall discuss joint work with Richard Thomas that extends this framework to orbifolds with cyclic quotient singularities using embeddings in weighted projective space, and examples that show how several obstructions to constant scalar curvature orbifold metrics can be interpreted in terms of stability.

In this talk I will introduce and study opers over a smooth projective curve X defined over a field of positive characteristic. I will describe a bijective correspondence between the set of stable vector bundles E over X such that the pull-back F^*(E) under the Frobenius

map F of X has maximal Harder-Narasimhan polygon and the set of opers having zero p-curvature. These sets turn out to be finite, which allows us to derive dimensions of certain Quot-schemes and certain loci of stable Frobenius-destabilized vector bundles over X.