Past Algebraic and Symplectic Geometry Seminar

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 Katz-Klemm-Vafa formula is a conjecture expressing Gromov-Witten invariants of K3 surfaces in terms of modular forms. In genus 0 it reduces to the (proved) Yau-Zaslow formula. I will explain how the correspondence between stable pairs and Gromov-Witten theory for toric 3-folds (proved by Maulik-Oblomkov-Okounkov-Pandharipande), some calculations with stable pairs (due to Kawai-Yoshioka) and some deformation theory lead to a proof of the KKV formula.
(This is joint work with Davesh Maulik and Rahul Pandharipande. Only they understand the actual formulae. People who like modular forms are not encouraged to come to this talk.)

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.

I will talk about joint work with Dimca, respectively Behrend and Bryan, in which we refine the numerical DT-Behrend invariants of Hilbert schemes of threefolds by using vanishing cycle motives (a la Kontsevich-Soibelman) or mixed Hodge modules, leading to deformed MacMahon formulae.

I will talk about joint work with Dimca, respectively Behrend and Bryan, in which we refine the numerical DT-Behrend invariants of Hilbert schemes of threefolds by using vanishing cycle motives (a la Kontsevich-Soibelman) or mixed Hodge modules, leading to deformed MacMahon formulae.

I shall describe joint work with Gritsenko and Hulek in which we study the moduli spaces of polarised holomorphic symplectic manifolds via their periods. There are strong similarities with moduli spaces of K3 surfaces, but also some important differences, notably that global Torelli fails. I shall explain (conjecturally) why and show how the techniques used to obtain general type results for K3 moduli can be modified to give similar, and quite strong, results in this case. Mainly I shall concentrate on the case of deformations of Hilbert schemes of K3 surfaces.

We give a three dimensional generalization of the classical McKay correspondence construction by Gonzales-Sprinberg and Verdier. This boils down to computing for the Bridgeland-King-Reid derived category equivalence the images of twists of the point sheaf at the origin of C^3 by irreducible representations of G. For abelian G the answer turns out to be closely linked to a piece of toric combinatorics known as Reid's recipe.

Associated to a pencil of algebraic curves with singular fibres is a bundle of Jacobians (which are abelian varieties off the discriminant locus of the family and semiabelian varieties over it). Normal functions, which are holomorphic sections of such a Jacobian bundle, were introduced by Poincare and used by Lefschetz to prove the Hodge Conjecture (HC) on algebraic surfaces. By a recent result of Griffiths and Green, an appropriate generalization of these normal functions remains at the center of efforts to establish the HC more generally and understand its implications. (Furthermore, the nature of the zero-loci of these normal functions is related to the Bloch-Beilinson conjectures on filtrations on Chow groups.)

Abel-Jacobi maps give the connection between algebraic cycles and normal functions. In this talk, we shall discuss the limits and singularities of Abel-Jacobi maps for cycles on degenerating families of algebraic varieties. These two features are strongly connected with the issue of graphing admissible normal functions in a Neron model, properly generalizing Poincare's notion of normal functions. Some of these issues will be passed over rather lightly; our main intention is to give some simple examples of limits of AJ maps and stress their connection with higher algebraic K-theory.

A very new theme in homological mirror symmetry concerns what the mirror of a normal function should be; in work of Morrison and Walcher, the mirror is related to counting holomorphic disks in a CY 3-fold bounding on a Lagrangian. Along slightly different lines, we shall briefly describe a surprising application of "higher" normal functions to growth of enumerative (Gromov-Witten) invariants in the context of local mirror symmetry.