Zoominar

Woonam Lim (UC San Diego)

Virtual χ

Oprea and Pandharipande studied the virtual Euler characteristic of Quot schemes on surfaces. Based on the calculations in several cases, they conjectured the rationality of the generating series of the virtual invariants. In this talk, I will explain the virtual χ

Jim Bryan (UBC Vancouver)

K3 surfaces with symplectic group actions, enumerative geometry, and modular forms ★

The Hilbert scheme parameterizing n points on a K3 surface X is a holomorphic symplectic manifold with rich properties. In the 90s it was discovered that the generating function for the Euler characteristics of the Hilbert schemes is related to both modular forms and the enumerative geometry of rational curves on X. We show how this beautiful story generalizes to K3 surfaces with a symplectic action of a group G. Namely, the Euler characteristics of the G-fixed Hilbert schemes parametrizing G-invariant collections of points on X are related to modular forms of level |G| and the enumerative geometry of rational curves on the stack quotient [X/G] . These ideas lead to some beautiful new product formulas for theta functions associated to root lattices. The picture also generalizes to refinements of the Euler characteristic such as χ

Drew Johnson (ETHZ)

Rationality of descendant series for Hilbert and Quot schemes of surfaces

The Quot scheme of a trivial bundle on a surface with 1-dimensional quotients carries a virtual tangent bundle from which the virtual Euler characteristic can be defined. A recent paper of Oprea and Pandharipande conjectured that the generating series of these numbers are all Laurent expansions of rational functions and checked several cases. In this talk, I will discuss a preprint (joint with Oprea and Pandharipande) which (along with work of W. Lim) completes the proof of the conjecture when the trivial bundle has rank one and introduces a generalization of the conjecture to descendant series. For the descendant series, Chern classes of tautological bundles are inserted along with the tangent bundle. We can prove that the descendant series are rational in the rank one case and the case when the quotients are of dimension 0.

Younghan Bae (ETHZ)

Relations on the universal Picard stack and some applications ★

The universal Picard stack is a stack which parameterizes pointed nodal curves and line bundles. This stack is smooth Artin stack locally of finite type. In this talk we use operational Chow theory approach to define tautological relations on this stack and discuss tautological relations arising from Pixton's formula of double ramification cycles. In the second half, we discuss possible applications of those relations to the Gromov-Witten theory of K3 surfaces. In low genus, we will see how the Katz-Klemm-Vafa formula is related to other descendant invariants. The first half is joint work in progress with D. Holmes, R. Pandharipande, J. Schmitt, R. Schwarz and the second half is joint work in progress with T. Buelles.

Izzet Coskun (UI Chicago)

The stabilization of the cohomology of moduli spaces of sheaves on surfaces ★

The Betti numbers of the Hilbert scheme of points on a smooth, irreducible projective surface have been computed by Goettsche. These numbers stabilize as the number of points tends to infinity. In contrast, the Betti numbers of moduli spaces of semistable sheaves on a surface are not known in general. In joint work with Matthew Woolf, we conjecture these also stabilize and that the stable numbers do not depend on the rank. We verify the conjecture for large classes of surfaces. I will discuss our conjecture and provide the evidence for it.

Angela Gibney (Rutgers)

Vertex algebras of CohFT-type ★

Representations of vertex algebras of CohFT-type can be used to construct vector bundles of coinvariants and conformal blocks on moduli spaces of stable pointed curves. The name comes from the fact that such bundles define semisimple cohomological field theories. I'll present motivation for why one may be interested in such bundles and their classes, as well as a few examples.

Ignacio Barros (NEU Boston)

On product identities and the Chow rings of holomorphic symplectic varieties ★

For a moduli space M of stable sheaves over a K3 surface X, we propose a series of conjectural identities in the Chow rings CH

Dhruv Ranganathan (Cambridge)

Gromov-Witten theory and logarithmic intersection theory ★

The concrete part of this talk will be a discussion of the degeneration formula for Gromov-Witten theory in SNC degenerations, using the geometry of expanded degenerations. I'll then use this formula to motivate a phenomenon in intersection theory that has recently appeared in the work of a number of people (Herr, Holmes-Pixton-Schmitt, Marcus-Wise). Specifically, there is a certain elementary but infinite dimensional (co)homology theory for algebraic varieties equipped with a SNC divisor, or more generally a logarithmic structure, where natural formulas can be written down. These include fundamental structures like the degeneration formula, localization formula, and product formula for SNC geometries. As I'll try to explain, while this cohomology theory is infinite dimensional, it's only infinite dimensional in a "combinatorial" direction. For example, for toric varieties, the entire ring can be described explicitly, going back to work of Fulton-Sturmfels, Morelli, and others.

Noah Arbesfeld (Imperial College London)

Box counting and Quot schemes ★

I'll present concise expressions for the generating series of equivariant virtual holomorphic Euler characteristics of the Quot schemes parametrizing 0-dimensional quotients on C

Sheldon Katz (UI Urbana-Champaign)

Generalized Kac-Moody Lie algebras and moduli spaces of 1-dimensional sheaves on surfaces

Consider a smooth projective surface S and a positive integer d. For each curve class beta on S we have a moduli space M

Yalong Cao (IPMU Tokyo)

Curve counting via stable objects in derived categories of Calabi-Yau 4-folds ★

In a joint work with Davesh Maulik and Yukinobu Toda, we proposed a conjectural Gopakumar-Vafa type formula for the generating series of stable pair invariants on Calabi-Yau 4-folds. In this talk, I will present the recent joint work with Yukinobu Toda on how to give an interpretation of the above GV type formula in terms of wall-crossing phenomena in the derived category of coherent sheaves.

Johannes Schmitt (Bonn)

Strata of k-differentials and double ramification cycles ★

Inside the moduli space of stable curves we have the strata of k-differentials, the closures of loci of smooth pointed curves admitting a meromorphic k-differential form with zeros and poles of specified orders at the marked points. A conjecture relating the fundamental classes of these strata to Pixton's formula for the (generalized) double ramification cycle was proposed by Janda, Pandharipande, Pixton, Zvonkine (for k=1) and myself (for k>1). I will recall the conjecture and explain how it can now be proved using recent joint work with Bae, Holmes, Pandharipande and Schwarz on double ramification cycles in the universal Picard stack.

Paul Ziegler (TU Munich)

Mirror symmetry for moduli spaces of Higgs bundles via p-adic integration ★

I will talk about a proof, joint with M. Gröchenig and D. Wyss, of the topological mirror symmetry conjecture of Hausel and Thaddeus, which predicts the equality of suitably defined Hodge numbers of moduli spaces of Higgs bundles with SL(n)- and PGL(n)-structure. The proof, inspired by an argument of Batyrev, proceeds by comparing the number of points of these moduli spaces over finite fields via p-adic integration.

Maria Yakerson (Regensburg)

The Hilbert scheme of infinite affine space ★

Various invariants have been computed for Hilbert schemes of surfaces, however our knowledge about Hilbert schemes (of points) of higher dimensional schemes is quite limited. For example, Hilbert schemes of n-dimensional affine spaces have very complicated geometry for high n. In this talk we will present the surprising observation, that the Hilbert scheme of infinite dimensional affine space has homotopy type of a Grassmannian, and so its invariants of homotopical nature have a simple description. We will explain then how this observation allows us to obtain new properties of algebraic and hermitian K-theories as generalized cohomology theories. This is joint work with Marc Hoyois, Joachim Jelisiejew, Denis Nardin, and Burt Totaro.

Oliver Leigh (Stockholm)

The r-ELSV formula via the moduli space of stable maps with divisible ramification ★

For a fixed positive integer r, a stable map is said to have "divisible ramification" if the order of every ramification locus is divisible by r. In this talk I'll discuss a theory of stable maps with divisible ramification and show how this leads to a new geometric framework from which to view and prove Zvonkine's r-ELSV formula. Namely, that there is a natural moduli space which parametrises these objects and how the construction of this space leads to a natural Hurwitz-type theory where the techniques of virtual localisation and degeneration of target can be applied.

Emanuele Macrì (Orsay)

Antisymplectic involutions on projective hyperkähler manifolds ★

An involution of a projective hyperkähler manifold is called antisymplectic if it acts as (-1) on the space of global holomorphic 2-forms. I will present joint work in progress with Laure Flapan, Kieran O'Grady, and Giulia Saccà on antisymplectic involutions associated to polarizations of degree 2. We study the number of connected components of the fixed loci and their geometry.

Michel van Garrel (Warwick)

Mixing curve counting theories and geometries ★

I will describe a series of unexpected formulas that relate counts of curves in log CY surfaces, counts of disks in toric CY threefolds, counts of D-branes in local CY fourfolds and representations of quivers. At the end, I will elaborate on a prediction for refined BPS invariants of local CY fourfolds. Joint work with Pierrick Bousseau and Andrea Brini.

Felix Janda (IAS Princeton) and Dimitri Zvonkine (CNRS/Versailles)

The locus of curves with holomorphic differentials and Witten's r-spin class ★

In the moduli space of stable pointed curves we define the holomorphic locus: it is the locus of curves that carry holomorphic 1-forms with zeros of prescribed orders at the marked points. Our goal is to express the colomology class Poincaré dual to this locus. We present an approach to this question via Witten's r-spin class. For each value of r, Witten's classes form a cohomological field theory, which allows one to write an explicit expression for these classes. It turns out that the dependence of this expression on r is polynomial for large r. We conjecture that the value of the polynomial at r=0 is the cohomology class of the holomorphic locus (up to an explicit sign). We present the plan of a proof of this conjecture based on equivariant localization and the cosection construction of virtual fundamental classes. This is work in progress with Qile Chen, Yongbin Ruan, and Adrien Sauvaget.

Aaron Pixton (Michigan)

Boundary vanishing, kappa rings, socle evaluations, and λ

I will describe work in progress dealing with a sequence of interesting tautological classes on the moduli space of stable curves with connections (some conjectural) to the following topics: the kappa ring of the moduli space of curves of compact type, socle evaluation maps on tautological rings, and the double ramification cycle formula for λ

Pierrick Bousseau (ETHZ)

Quasimodular forms from Betti numbers

This talk will be about refined curve counting on local P

Alexander Kuznetsov (Steklov Institute, Moscow)

Moduli spaces of Gushel-Mukai varieties

Gushel-Mukai varieties are Fano varieties with Picard number 1, coindex 3, and degree 10; their dimension ranges between 3 and 6. These varieties have very interesting geometry. In the talk, I will review some basic facts about these varieties and discuss their moduli stacks and moduli spaces, which, surprisingly, have a very explicit description.

Mark Gross (Cambridge)

The higher dimensional tropical vertex and the canonical scattering diagram

I will talk about two pieces of work, one joint with Arguz, one joint with Siebert. This work generalizes to higher dimension the tropical vertex of Gross-Pandharipande-Siebert in the first instance, and the canonical scattering diagram of Gross-Hacking-Keel in the second instance. The canonical scattering diagram of a log Calabi-Yau pair (X,D) is a data structure which records counts of rational curves meeting D at one point. The tropical vertex produces scattering diagrams via an algorithm whose two-dimensional version was introduced by Kontsevich and Soibelman. The main result shows how to compare the two scattering diagrams in the case that (X,D) is obtained by blowing up a toric variety.

Gavril Farkas (HU Berlin)

The Kodaira dimension of the moduli space of curves of genus 22 and 23.

We prove that the moduli spaces of curves of genus 22 and 23 are of general type. To do this, we calculate certain virtual divisor classes of small slope associated to certain linear series with special quadric relations. We then develop new tropical methods for studying linear series and independence of quadrics and show that these virtual classes are represented by effective divisors. This amounts to proving the Strong Maximal Rank Conjecture for these cases. Joint work with Jensen and Payne.

Eric Riedl (Notre Dame)

Linear sections of hypersurfaces

Given a hypersurface X in P

Martin Möller (Frankfurt)

The moduli space of multi-scale differentials

Lothar Göttsche (ICTP Trieste)

Segre and Verlinde formulas for moduli of sheaves on surfaces

Arend Bayer (Edinburgh)

Burt Totaro (UCLA)

Miguel Moreira (ETHZ)

Jørgen Rennemo (Oslo)

Qizheng Yin (BICMR Beijing)