Past Algebraic and Symplectic Geometry Seminar

The Hall algebra can be constructed using the Waldhausen S-construction. We will give a systematic recipe for this and show how it extends naturally to give a bi-algebraic structure. As a result we obtain a more transparent proof of Green's theorem about the bi-algebra structure on the Hall algebra.

The study of separating invariants is a new trend in Invariant Theory and a return to its roots: invariants as a classification tool. For a finite group acting linearly on a vector space, a separating set is simply a set of invariants whose elements separate the orbits o the action. Such a set need not generate the ring of invariants. In this talk, we give lower bounds on the size of separating sets based on the geometry of the action. These results are obtained via the study of the local cohomology with support at an arrangement of linear subspaces naturally arising from the action.

(Joint with Jack Jeffries)

This is will be a progress report on our long-ongoing joint work with Bezrukavnikov on lifting the monodromy of the quantum differential equation for symplectic resolutions to automorphisms of their derived categories of coherent sheaves. I will attempt to define the ingredient that go both into the problem and into its solution.
 

Following an idea of Gaiotto, a symplectic representation of a complex Lie group G defines a complex Lagrangian subvariety inside the moduli space of G-Higgs bundles. The talk will discuss the case of G=SL(2) and its link with determinant  divisors, or equivalently Brill-Noether loci, in the moduli space of semistable SL(2)-bundles. 

Given a (-1)-shifted symplectic derived scheme or stack (X,w) over C equipped with an orientation, we explain how to construct a perverse sheaf P on the classical truncation of X so that its hypercohomology H*(P) can be regarded as a categorification of (or linearisation of) X. Given also a Lagrangian morphism L -> X equipped with a relative orientation, we outline a programme in progress to construct a natural morphism of constructible complexes on the truncation of L from the (shifted) constant complex on L to a suitable pullback of P to L. The morphisms and resulting hypercohomology classes are expected to satisfy various identities under products, composition of Lagrangian correspondences, etc. This programme will have interesting applications, such as proving associativity of a Kontsevich-Soibelman type COHA multiplication on H*(P) when X is the derived moduli stack of coherent sheaves on a Calabi-Yau 3-fold Y, and defining Lagrangian Floer cohomology and the Fukaya cat!
 egory of an algebraic or complex symplectic manifold S.

I will present a definition of symplectic homology groups for pairs of Liouville cobordisms with fillings, and explain how these fit into a formalism of homology theory similar to that of Eilenberg and Steenrod. This construction allows to understand form a unified point of view many structural results involving Floer homology groups, and yields new applications. Joint work with Kai Cieliebak.

For a holomorphic function (“superpotential”)  W: X —> C on a complex manifold X, one defines the (2-periodic) matrix factorisation category MF(X;W), which is supported on the critical locus Crit(W) of W. At a Morse singularity, MF(X;W) is equivalent to the category of modules over the Clifford algebra on the tangent space TX. It had been suggested by Kapustin and Rozansky that, for Morse-Bott W, MF(X;W) should be equivalent to the (2-periodicised) derived category of Crit(W), twisted by the Clifford algebra of the normal bundle. I will discuss why this holds when the first neighbourhood of Crit(W) splits, why it fails in general, and will explain the correct general statement.

Given some class of "geometric spaces", we can make a ring as follows. Additive structure: when U is an open subset a space X,  [X] = [U] + [X - U]. Multiplicative structure:  [X][Y] = [XxY]. In the algebraic setting, this ring (the "Grothendieck ring of varieties") contains surprising structure, connecting geometry to arithmetic and topology.  I will discuss some remarkable
statements about this ring (both known and conjectural), and present new statements (again, both known and conjectural).  A motivating example will be polynomials in one variable. This is joint work with Melanie Matchett Wood.

The wall-crossing behaviour of Donaldson-Thomas invariants in CY3 categories is controlled by a beautiful formula involving the group of automorphisms of a symplectic algebraic torus. This formula invites one to solve a certain Riemann-Hilbert problem. I will start by explaining how to solve this problem in the simplest possible case (this is undergraduate stuff!). I will then talk about a more general class of examples of the wall-crossing formula involving moduli spaces of quadratic differentials.

The topological Fukaya category is a combinatorial model of the Fukaya category of exact symplectic manifolds which was first proposed by Kontsevich. In this talk I will explain work in progress (joint with J. Pascaleff and S. Scherotzke) on gluing techniques for the topological Fukaya category that are closely related to Viterbo functoriality. I will emphasize applications to homological mirror symmetry for three-dimensional CY LG models, and to Bondal's and Fang-Liu-Treumann-Zaslow's coherent constructible correspondence for toric varieties.  

We will discuss a result to the effect that the moduli space of log stable maps to a toric variety X is "the same" as the Morse-theoretic moduli space of broken gradient flow lines in the "differentiable realization" Y of the fan for X.  This is joint work with Sam Molcho.

Smooth cubic fourfolds are linked to K3 surfaces via their Hodge structures, due to work of Hassett, and via Kuznetsov's K3 category A. The relation between these two viewpoints has recently been elucidated by Addington and Thomas. 
We study both of these aspects further and extend them to twisted K3 surfaces, which in particular allows us to determine the group of autoequivalences of A for the general cubic fourfold. Furthermore, we prove finiteness results for cubics with equivalent K3 categories and study periods of cubics in terms of generalized K3 surfaces.

Given an Artin stack $X$, there is growing evidence that there should be an associated `category of B-branes', which is some subcategory of the derived category of coherent sheaves on $X$. The simplest case is when $X$ is just a vector space modulo a linear action of a reductive group, or `gauged linear sigma model' in physicists' terminology. In this case we know some examples of what the category B-branes should be. Hori has conjectured a physical duality between certain families of GLSMs, which would imply that their B-brane categories are equivalent. We prove this equivalence of categories. As an application, we construct Homological Projective Duality for (non-commutative resolutions of) Pfaffian varieties.

I will describe 5 definitions of Euler characteristic for a space with perfect obstruction theory (i.e. a well-behaved moduli space), and their inter-relations. This is joint work with Yunfeng Jiang. Then I will describe work of Yuuji Tanaka on how to this can be used to give two possible definitions of Vafa-Witten invariants of projective surfaces in the stable=semistable case.

I will describe a construction of the Weinstein symplectic category of Lagrangian correspondences in the context of shifted symplectic geometry. I will then explain how one can linearize this category starting from a "quantization" of  (-1)-shifted symplectic derived stacks: we assign a perverse sheaf to each (-1)-shifted symplectic derived stack (already done by Joyce and his collaborators) and a map of perverse sheaves to each (-1)-shifted Lagrangian correspondence (still conjectural).

I will survey some applications of a special kind of stratification of an algebraic stack called a theta-stratification. The goal is to eventually be able to study semistability and wall-crossing 
in a large array of moduli problems beyond the well-known examples. The most general application is to studying the derived category of coherent sheaves on the stack, but one can use this to understand the topology (K-theory, Hodge-structures, etc.) of the semistable locus and how it changes as one varies the stability condition. I will also describe a ``virtual non-abelian localization theorem'' which computes the virtual index of certain classes in the K-theory of a stack with perfect obstruction theory. This generalizes the virtual localization theorem of Pandharipande-Graber and the K-theoretic localization formulas of Teleman and Woodward.

The moduli space of tropical curves (and its variants) is one of the most-studied objects in tropical geometry. So far this moduli space has only been considered as an essentially set-theoretic coarse moduli space (sometimes with additional structure). As a consequence of this restriction, the tropical forgetful map does not define a universal curve
(at least in the positive genus case). The classical work of Knudsen has resolved a similar issue for the algebraic moduli space of curves by considering the fine moduli stacks instead of the coarse moduli spaces. In this talk I am going to give an introduction to these fascinating tropical moduli spaces and report on ongoing work with R. Cavalieri, M. Chan, and J. Wise, where we propose the notion of a moduli stack of tropical curves as a geometric stack over the category of rational polyhedral cones. Using this framework one can give a natural interpretation of the forgetful morphism as a universal curve. The coarse moduli space arises as the set of $\mathbb{R}_{\geq 0}$-valued points of the moduli stack. Given time, I will also explain how the process of tropicalization for these moduli stacks can be phrased in a more fundamental way using the language of logarithmic algebraic stacks.
 

It has been observed long time ago (by many people) that singular affine symplectic varieties come in pairs; that is often to an affine singular symplectic variety $X$ one can associate a dual variety $X^!$; the geometries of $X$ and $X^!$ (and their quantizations) are related in a non-trivial way. The purpose of the talk will be 3-fold:

1) Explain a set of conjectures of Braden, Licata, Proudfoot and Webster which provide an exact formulation of the relationship between $X$ and $X^!$

2) Present a list of examples of symplectically dual pairs (some of them are very recent); in particular, we shall explain how the symplectic duals to Nakajima quiver varieties look like.

3) Give a new approach to the construction of $X^!$ and a proof of the conjectures from part 1).

The talk is based on a work in progress with Finkelberg and Nakajima.

Let F be a global field and let A denote its adele ring. The usual Tamagawa number formula computes the (suitably normalized) volume of the quotient G(A)/G(F) in terms of values of the zeta-function of F at the exponents of G; here G is simply connected semi-simple group. When F is functional field, this computation is closely related to the Atiyah-Bott computation of the cohomology of the moduli space of G-bundles on a smooth projective curve.

I am going to present a (somewhat indirect) generalization of the Tamagawa formula to the case when G is an affine Kac-Moody group and F is a functional fiend. Surprisingly, the proof heavily uses the so called Macdonald constant term identity. We are going to discuss possible (conjectural) geometric interpretations of this formula (related to moduli spaces of bundles on surfaces).

This is joint work with D.Kazhdan.

Let p>0 be a prime number. We shall describe a short Frobenius-theoretic proof of the Adams-Riemann-Roch theorem for the p-th Adams operation, when the involved schemes live in characteristic p and the morphism is smooth. This result implies the Grothendieck-Riemann-Roch theorem for smooth morphisms in positive characteristic and the Hirzebruch-Riemann-Roch theorem in any characteristic. This is joint work with R. Pink.

Following an idea of Bridgeland, we study the operator on the K-group of algebraic stacks, which takes a stack to its inertia stack.  We prove that the inertia operator is diagonalizable when restricted to nice enough stacks, including those with algebra stabilizers.  We use these results to prove a structure theorem for the motivic Hall algebra of a projective variety, and give a more conceptual definition of virtually indecomposable stack function.  This is joint work with Pooya Ronagh.

Igusa's p-adic zeta function $Z(s)$ attached to a polynomial $f$ in $N$ variables is a meromorphic function on the complex plane that encodes the numbers of solutions of the equation $f=0$ modulo powers of a prime $p$. It is expressed as a $p$-adic integral, and Igusa proved that it is rational in $p^{-s}$ using resolution of singularities and the change of variables formula. From this computation it is immediately clear that the order of a pole of $Z(s)$ is at most $N$, the number of variables in $f$. In 1999, Wim Veys conjectured that the only possible pole of order $N$ of the so-called topological zeta function of $f$ is minus the log canonical threshold of $f$. I will explain a proof of this conjecture, which also applies to the $p$-adic and motivic zeta functions. The proof is inspired by non-archimedean geometry and Mirror Symmetry, but the main technique that is used is the Minimal Model program in birational geometry. This talk is based on joint work with Chenyang Xu.

The question that the Crepant Resolution Conjecture (CRC) wants to address is: given an orbifold X that admits a repant resolution Y, can we systematically compare the Gromov-Witten theories of the two spaces? That this should happen was first observed by physicists and the question was imported into mathematics by Y.Ruan, who posited it as the search for an isomorphism in the quantum cohomologies of the two spaces. In the last fifteen years this question has evolved and found different formulations which various degree of generality and validity. Perhaps the most powerful approach to the CRC is through Givental's formalism. In this case, Coates, Corti, Iritani and Tseng propose that the CRC should consist of the natural comparison of geometric objects constructed from the GW potential fo the space. We explore this approach in the setting of open GW invariants. We formulate an open version of the CRC using this formalism, and make some verifications. Our approach is well tuned with Iritani's approach to the CRC via integral structures, and it seems to suggest that open invariants should play a prominent role in mirror symmetry. 

Over a decade ago Welschinger defined invariants of real symplectic manifolds of complex dimension 2 and 3, which count $J$-holomorphic disks with boundary and interior point constraints. Since then, the problem of extending the definition to higher dimensions has attracted much attention.
  We generalize Welschinger's invariants with boundary and interior constraints to higher odd dimensions using the language of $A_\infty$-algebras and bounding chains. The bounding chains play the role of boundary point constraints. The geometric structure of our invariants is expressed algebraically in a version of the open WDVV equations. These equations give rise to recursive formulae which allow the computation of all invariants for $\mathbb{CP}^n$.
  This is joint work with Jake Solomon.

Let $G$ be a compact Lie group and $k$ be a field of characteristic $p\ge 0$ such that $H^*(G)$ does not have $p$-torsion. We show that a free Lagrangian orbit of a Hamiltonian $G$-action on a compact, monotone, symplectic manifold $X$ split-generates an idempotent summand of the monotone Fukaya category over $k$ if and only if it represents a non-zero object of that summand. Our result is based on: an explicit understanding of the wrapped Fukaya category through Koszul twisted complexes involving the zero-section and a cotangent fibre; and a functor canonically associated to the Hamiltonian $G$-action on $X$. Several examples can be studied in a uniform manner including toric Fano varieties and certain Grassmannians. 

Given a hypersurface, the Bernstein-Sato polynomial gives deep information about its singularities.  It is defined by a D-module (the algebraic formalism of differential equations) closely related to analytic continuation of the gamma function. On the other hand, given a hypersurface (in a Calabi-Yau variety) one can also consider the Hamiltonian flow by divergence-free vector fields, which also defines a D-module considered by Etingof and myself. I will explain how, in the case of quasihomogeneous hypersurfaces with isolated singularities, the two actually coincide. As a consequence I affirmatively answer a folklore question (to which M. Saito recently found a counterexample in the non-quasihomogeneous case): if c$ is a root of the b-function, is the D-module D f^c / D f^{c+1} nonzero? We also compute this D-module, and for c=-1 its length is one more than the genus (conjecturally in the non-quasihomogenous case), matching an analogous D-module in characteristic p. This is joint work with Bitoun.
 

By classical results of Mumford and Donagi, Mori-Mukai, Verra, the moduli spaces A_g of principally polarized abelian varieties of dimension g are unirational for g≤5 and are of general type for g≥7. Answering a conjecture of Kanev, we provide a uniformization of A6 by a Hurwitz space parameterizing certain curve covers. Using this uniformization, we study the geometry of A6 and make advances towards determining its birational type. This is a joint work with Donagi-Farkas-Izadi-Ortega.

Tropicalization replaces a variety by a polyhedral complex that is a "combinatorial shadow" of the original variety.  This allows algebraic geometric problems to be attacked using combinatorial and
polyhedral techniques.  While this idea has proved surprisingly effective over the last decade, it has so far been restricted to the study of varieties and algebraic cycles.  I will discuss joint work with Felipe Rincon, building on work of Jeff and Noah Giansiracusa, to understand tropicalizing schemes, and more generally the concept of a tropical scheme.

We describe the cohomology of moduli spaces of points on schemes over Abelian varieties and give explicit calculations for schemes in dimensions less that three. The construction of Gulbrandsen allows one to consider virtual motives in dimension three. In particular we see a new proof of his conjectures on the Euler numbers of generalized Kummer schemes recently proven by Shen. Joint work in progress with Junliang Shen.

I will talk about recent joint work with Amin Gholampour, Richard Thomas and Yukinobu Toda, on an algebraic-geometric proof of the S-duality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic Calabi-Yau threefold. Our strategy is to first use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over relative Hilbert scheme of points on surfaces and then prove modularity; More precisely, together with Gholampour we have proven that the generating series, associated to the top intersection numbers of the Hibert scheme of points, relative to an effective divisor, on a smooth quasi-projective surface is a modular form. This is a generalization of the result of Okounkov-Carlsson for absolute Hilbert schemes. These intersection numbers, together with the generating series of Noether-Lefschetz numbers, will provide the ingrediants to prove modularity of the above DT invariants over the quintic threefold.

Donaldson-Thomas theory for Calabi-Yau 3-folds is a complexification of Chern-Simons theory. In this talk, I will discuss joint work with Naichung Conan Leung on the complexification of Donaldson theory.

Given a Lagrangian submanifold invariant under a Hamiltonian loop, we partially compute the image of the loop's Seidel element under the closed-open string map into the Hochschild cohomology of the Lagrangian. This piece captures the homology class of the loop's orbits on the Lagrangian and can help to prove that the closed-open map is injective in some examples. As a corollary we prove that $\mathbb{RP}^n$ split-generates the Fukaya category of $\mathbb{CP}^n$ over a field of characteristic 2, and the same for real loci of some other toric  varieties.

I will speak about weak Fano 3-folds, K3 surfaces and their Picard lattices, and explain how to solve the matching problem in various situations.