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.

# Past Algebraic and Symplectic Geometry Seminar

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).