Past Algebraic and Symplectic Geometry Seminar

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.

I'll explain (following Kontsevich and Soibelman) how cluster transformations intertwine non-commutative DT invariants for CY3 algebras related by a tilt.

I will describe some recent joint work with Davide Gaiotto and Greg Moore, in which we explain the origin of the wall-crossing formula of Kontsevich and Soibelman, in the context of N=2 supersymmetric field theories in four dimensions. The wall-crossing formula gives a recipe for constructing the smooth hyperkahler metric on the moduli space of the field theory reduced on a circle to 3 dimensions. In certain examples this moduli space is actually a moduli space of ramified Higgs bundles, so we obtain a new description of the hyperkahler structure on that space.

I will describe joint work with Mohammed Abouzaid, in which we complete the proof of homological mirror symmetry for the standard four-torus and consider various applications. A key tool is the recently-developed holomorphic quilt theory of Mau-Wehrheim-Woodward.

I will survey the recent work of Haskins and myself constructing new special Lagrangian cones in ${\mathbb C}^n$

for all $n\ge3$ by gluing methods. The link (intersection with the unit sphere ${\cal S}^{2n-1}$) of a special Lagrangian cone is a special Legendrian $(n-1)$-submanifold. I will start by reviewing the geometry of the building blocks used. They are rotationally invariant under the action of $SO(p)\times SO(q)$ ($p+q=n$) special Legendrian $(n-1)$-submanifolds of ${\cal S}^{2n-1}$. These we fuse (when $p=1$, $p=q$) to obtain more complicated topologies. The submanifolds obtained are perturbed to satisfy the special Legendrian condition (and their cones therefore the special Lagrangian condition) by solving the relevant PDE. This involves understanding the linearized operator and its small eigenvalues, and also ensuring appropriate decay for the solutions.

A polynomial $f$ is said to be a Brieskorn-Pham polynomial if

$ f = x_1^{p_1} + ... + x_n^{p_n}$

for positive integers $p_1,\ldots, p_n$. In the talk, I will discuss my joint work with Masahiro Futaki on the equivalence between triangulated category of matrix factorizations of $f$ graded with a certain abelian group $L$ and the Fukaya-Seidel category of an exact symplectic Lefschetz fibration obtained by Morsifying $f$.

I'll define the category of B-branes in a LG model, and show that for affine models the Hochschild homology of this category is equal to the physically-predicted closed state space. I'll also explain why this is a step towards proving that LG B-models define TCFTs.

This is an overview, mostly of work of others (Denef, Loeser, Merle, Heinloth-Bittner,..). In the first part of the talk we give a brief introduction to motivic integration emphasizing its application to vanishing cycles. In the second part we discuss a join construction and formulate the relevant Sebastiani-Thom theorem.

This is an overview, mostly of work of others (Denef, Loeser, Merle, Heinloth-Bittner,..). In the first part of the talk we give a brief introduction to motivic integration emphasizing its application to vanishing cycles. In the second part we discuss a join construction and formulate the relevant Sebastiani-Thom theorem.

Triply graded link homology (introduced by Khovanov and Rozansky) is a

categorification of the HOMFLYPT polynomial. In this talk I will discuss

recent joint work with Ben Webster which gives a geometric construction of this invariant in terms of equivariant constructible sheaves. In this

framework the Reidemeister moves have quite natural geometric proofs. A

generalisation of this construction yields a categorification of the

coloured HOMFLYPT polynomial, constructed (conjecturally) by Mackay, Stosic and Vaz. I will also describe how this approach leads to a natural formula for the Jones-Ocneanu trace in terms of the intersection cohomology of Schubert varieties in the special linear group.

Khovanov homology is an invariant of knots in $S^3$. In its original form,

it is a "homological version of the Jones polynomial"; Khovanov and

Rozansky have generalized it to other knot polynomials, including the

HOMFLY polynomial.

In the second talk, I'll discuss how Khovanov homology and its generalizations lead to a relation between the HOMFLY polynomial and the topology of flag varieties.

Khovanov homology is an invariant of knots in $S^3$. In its original form,

it is a "homological version of the Jones polynomial"; Khovanov and

Rozansky have generalized it to other knot polynomials, including the

HOMFLY polynomial.

The first talk will be an introduction to Khovanov homology and its generalizations.

The space of smooth rational curves of degree d in projective space admits various moduli theoretic compactifications via GIT, stable maps, stable sheaves, Hilbert scheme and so on. I will discuss how these compactifications are related by explicit blow-ups and -downs for d

Let $(M,\omega)$ be a symplectic manifold, and $g$ a Riemannian metric on $M$ compatible with $\omega$. If $L$ is a compact Lagrangian submanifold of $(M,\omega)$, we can compute the volume Vol$(L)$ of $L$ using $g$. A Lagrangian $L$ is called {\it Hamiltonian stationary} if it is a stationary point of the volume functional amongst Lagrangians Hamiltonian isotopic to $L$.

Suppose $L'$ is a compact Lagrangian in ${\mathbb C}^n$ which is Hamiltonian stationary and {\it rigid}, that is, all infinitesimal Hamiltonian deformations of $L$ as a Hamiltonian stationary Lagrangian come from rigid motions of ${\mathbb C}^n$. An example of such $L'$ is the $n$-torus $ \bigl\{(z_1,\ldots,z_n)\in{\mathbb C}^n:\vert z_1\vert=a_1, \ldots,\vert z_n\vert=a_n\bigr\}$, for small $a_1,\ldots,a_n>0$.

I will explain a construction of Hamiltonian stationary Lagrangians in any compact symplectic manifold $(M,\omega)$, which works by `gluing in' $tL'$ near a point $p$ in $M$ for small $t>0$.

Bridgeland's notion of stability condition allows us to associate a complex manifold, the space of stability conditions, to a triangulated category $D$. Each stability condition has a heart - an abelian subcategory of $D$ - and we can decompose the space of stability conditions into subsets where the heart is fixed. I will explain how (under some quite strong assumpions on $D$) the tilting theory of $D$ governs the geometry and combinatorics of the way in which these subsets fit together. The results will be illustrated by two simple examples: coherent sheaves on the projective line and constructible sheaves on the projective line stratified by a point and its complement.

Let X be a Gorenstein orbifold and Y a crepant resolution of

X. Suppose that the quantum cohomology algebra of Y is semisimple. We describe joint work with Iritani which shows that in this situation the genus-zero crepant resolution conjecture implies a higher-genus version of the crepant resolution conjecture. We expect that the higher-genus version in fact holds without the semisimplicity hypothesis.