Past Algebraic Geometry Seminar

In work of Haiden-Katzarkov-Konsevich-Pandit (HKKP), a canonical filtration, labeled by sequences of real numbers, of a semistable quiver representation or vector bundle on a curve is defined. The HKKP filtration is a purely algebraic object that depends only on a lattice, yet it governs the asymptotic behaviour of a natural gradient flow in the space of metrics of the object. In this talk, we show that the HKKP filtration can be recovered from the stack of semistable objects and a so called norm on graded points, thereby generalising the HKKP filtration to other moduli problems of non-linear origin.

Global singularity theory is a classical subject which classifies singularities of maps between manifolds, and describes topological reasons for their appearance. I will start with explaining a central problem of the subject regarding multipoint and multisingularity loci, then give an introduction into some recent major developments by Kazarian, Rimanyi, Szenes and myself.

We develop a method to investigate the geometric quantisation of a hypertoric variety from an equivariant viewpoint, in analogy with the equivariant Verlinde for Higgs bundles. We do this by first using the residual circle action on a hypertoric variety to construct its symplectic cut, resulting in a compact cut space which is needed for localisation. We introduce the notion of a moment polyptych associated to a hypertoric variety and prove that the necessary isotropy data can be read off from it. Finally, the equivariant Hirzebruch-Riemann-Roch formula is applied to the cut spaces and expresses the dimension of the equivariant quantisation space as a finite sum over the fixed-points. This is joint work with Johan Martens.

In this talk, I will introduce the BPS cohomology of the moduli space of Higgs bundles on a smooth projective curve of rank r and degree d using cohomological Donaldson-Thomas theory. The BPS cohomology and the intersection cohomology coincide when r and d are coprime, but they are different in general. We will see that the BPS cohomology does not depend on d. This is a generalization of the Hausel-Thaddeus conjecture to non-coprime case. I will also explain that Toda's χ-independence conjecture (and hence the strong rationality conjecture) for local curves can be proved in the same manner. This talk is based on a joint work with Naoki Koseki and another joint work with Naruki Masuda.

Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open subset of algebraically smooth points, through which every invariant morphism factors uniquely. Some applications to quotients by connected groups will be discussed.
 

[REMOTE TALK]

In this talk, we will propose a new construction of the virtual fundamental classes of quasi-smooth derived schemes using the vanishing cycle complexes. This is based on the dimensional reduction theorem of cohomological Donaldson—Thomas invariants which can be regarded as a variant of the Thom isomorphism. We will also discuss a conjectural approach to construct DT4 virtual classes using the vanishing cycle complexes.

Zoom link: https://us02web.zoom.us/j/86267335498?pwd=R2hrZ1N3VGJYbWdLd0htZzA4Mm5pd…

I will present a four-term exact sequence relating the cohomology of a fibration to the cohomology of an open set obtained by removing the preimage of a general linear section of the base. This exact sequence respects three filtrations, the Hodge, weight, and perverse Leray filtrations, so that it is an exact sequence of mixed 
Hodge structures on the graded pieces of the perverse Leray filtration. I claim that this sequence should be thought of as a mirror to the Clemens-Schmid sequence describing the structure of a degeneration and formulate a "mirror P=W" conjecture relating the filtrations on each side. Finally, I will present evidence for this conjecture coming from the K3 surface setting. This is joint work with Charles F. Doran.

The ordinary braid group ${\mathrm Br}_n$ is a well-known algebraic structure which encodes configurations of $n$ non-touching strands (“braids”) up to continious transformations (“isotopies”). A classical result of Khovanov and Thomas states that there is a natural categorical action of ${\mathrm Br}_n$ on the derived category of the cotangent bundle of the variety of complete flags in ${\mathbb C}^n$. 

In this talk, I will introduce a new structure: the category ${\mathrm GBr}_n$ of generalised braids. These are the braids whose strands are allowed to touch in a certain way. They have multiple endpoint configurations and can be non-invertible, thus forming a category rather than a group. In the context of triangulated categories, it is natural to impose certain relations which result in the notion of a skein-triangulated representation of ${\mathrm GBr}_n$. A decade-old conjecture states that there is a skein-triangulated action of ${\mathrm GBr}_n$ on the cotangent bundles of the varieties of full and partial flags in ${\mathbb C}^n$. We prove this conjecture for $n = 3$. We also show that, in fact, any categorical action of ${\mathrm Br}_n$ can be lifted to a categorical action of ${\mathrm GBr}_n$, generalising a result of Ed Segal. This is a joint work with Rina Anno and Lorenzo De Biase.

There are various notions of rank, which measure the complexity of a tensor or polynomial. Cubic surfaces can be viewed as symmetric tensors.  We consider the non-symmetric tensor rank and the symmetric Waring rank of cubic surfaces, and show that the two notions coincide over the complex numbers. The results extend to order three tensors of all sizes, implying the equality of rank and symmetric rank when the symmetric rank is at most seven. We then explore the connection between the rank of a polynomial and the singularities of its vanishing locus, and we find the possible singular loci of a cubic surface of given rank. This talk is based on joint work with Eunice Sukarto.
 

Mirror symmetry, in a crude formulation, is usually presented as a correspondence between curve counting on a Calabi-Yau variety X, and some invariants extracted from a mirror family of Calabi-Yau varieties. After the physicists Bershadsky-Cecotti-Ooguri-Vafa (henceforth BCOV), this is organised according to the genus of the curves in X we wish to enumerate, and gives rise to an infinite recurrence of differential equations. In this talk, I will give a general introduction to these problems, and present a rigorous mathematical formulation of the BCOV conjecture at genus one, in terms of a lifting of the Grothendieck-Riemann-Roch. I will explain the main ideas of the proof of the conjecture for Calabi-Yau hypersurfaces in projective space, based on the Riemann-Roch theorem in Arakelov geometry. Our results generalise from dimension 3 to arbitrary dimensions previous work of Fang-Lu-Yoshikawa.
 

This is joint work with G. Freixas and C. Mourougane.

Tautological bundles on Hilbert schemes of points often enter into enumerative and physical computations. I will explain how to use the Donaldson-Thomas theory of toric threefolds to produce combinatorial identities that are expressed geometrically using tautological bundles on the Hilbert scheme of points on a surface. I'll also explain how these identities can be used to study Euler characteristics of tautological bundles over Hilbert schemes of points on general surfaces.

The hard Lefschetz theorem is a fundamental statement about the symmetry of the cohomology of algebraic varieties. In nearly all cases that we systematically understand it, it comes with a geometric meaning, often in form of Hodge structures and signature data for the Hodge-Riemann bilinear form.

Nevertheless, similar to the role the standard conjectures play in number theory, several intriguing combinatorial problems can be reduced to hard Lefschetz properties, though in extreme cases without much geometric meaning, lacking any existence of, for instance,  an ample cone to do Hodge theory with.

I will present a way to prove the hard Lefschetz theorem in such a situation, by introducing biased pairing and perturbation theory for intersection rings. The price we pay is that the underlying variety, in a precise sense, has itself to be sufficiently generic. For instance, we shall see that any quasismooth, but perhaps nonprojective toric variety can be "perturbed" to a toric variety with the same equivariant cohomology, and that has the hard Lefschetz property.

Finally, I will discuss how this applies to prove some interesting theorems in geometry, topology and combinatorics. In particular, we shall see a generalization of a classical result due to Descartes and Euler: We prove that if a simplicial complex embeds into euclidean 2d-space, the number of d-simplices in it can exceed the number of (d-1)-simplices by a factor of at most d+2.

This talk is an update on joint work with Geoff Penington on extending Morse theory to smooth functions on compact manifolds with very mild nondegeneracy assumptions. The only requirement is that the critical locus should have just finitely many connected components. To such a function we associate a quiver with vertices labelled by the connected components of the critical locus. The analogue of the Morse–Witten complex in this situation is a spectral sequence of multicomplexes supported on this quiver which abuts to the homology of the manifold.

Enumerative algebraic geometry counts the solutions to certain geometric constraints. Numerical algebraic geometry determines these solutions for any given 
instance. This lecture illustrates how these two fields complement each other, especially in the light of emerging new applications. We start with a gem from
the 19th century, namely the 3264 conics that are tangent to five given conics in the plane. Thereafter we turn to current problems in statistics, with focus on 
maximum likelihood estimation for linear Gaussian covariance models.
 

Donaldson-Thomas invariants of a Calabi-Yau 3-fold Y are related to Pandharipande-Thomas invariants via a wall-crossing formula known as the DT/PT correspondence, proved by Bridgeland and Toda. The same relation holds for the “local invariants”, those encoding the contribution of a fixed smooth curve in Y. We show how to lift the local DT/PT correspondence to the motivic level and provide an explicit formula for the local motivic invariants, exploiting the critical structure on certain Quot schemes acting as our local models. Our strategy is parallel to the one used by Behrend, Bryan and Szendroi in their definition and computation of degree zero motivic DT invariants. If time permits, we discuss a further (conjectural) cohomological upgrade of the local DT/PT correspondence.
Joint work with Ben Davison.
 

I will discuss some recent results around Hilbert schemes of points on singular surfaces, obtained in joint work with Craw, Gammelgaard and Gyenge, and their connection to combinatorics (of coloured partitions) and representation theory (of affine Lie algebras and related algebras such as their W-algebra). 

The space of complete collineations is an important and beautiful chapter of algebraic geometry, which has its origins in the classical works of Chasles, Schubert and many others, dating back to the 19th century. It provides a 'wonderful compactification' (i.e. smooth with normal crossings boundary) of the space of full-rank maps between two (fixed) vector spaces. More recently, the space of complete collineations has been studied intensively and has been used to derive groundbreaking results in diverse areas of mathematics. One such striking example is L. Lafforgue's compactification of the stack of Drinfeld's shtukas, which he subsequently used to prove the Langlands correspondence for the general linear group. 

In joint work with M. Kapranov, we look at these classical spaces from a modern perspective: a complete collineation is simply a spectral sequence of two-term complexes of vector spaces. We develop a theory involving more full-fledged (simply graded) spectral sequences with arbitrarily many terms. We prove that the set of such spectral sequences has the structure of a smooth projective variety, the 'variety of complete complexes', which provides a desingularization, with normal crossings boundary, of the 'Buchsbaum-Eisenbud variety of complexes', i.e. a 'wonderful compactification' of the union of its maximal strata.
 

A fine compactified Jacobian is a proper open substack of the moduli space of simple sheaves. We will see that fine compactified Jacobians correspond to a certain combinatorial datum, essentially obtained by taking multidegrees of all elements of the compactified Jacobian. This picture generalizes to flat families of curves. We will discuss a classification result in the case when the family is the universal family over the moduli space of curves. This is a joint work with Jesse Kass.

Let A be a Tannakian category. Any exact tensor functor defined on A is either zero, or faithful. In this talk, I want to draw attention to a derived analogue of this statement (in characteristic zero) due to Jack Hall and David Rydh, and discuss some remarkable consequences for certain classification problems in algebraic geometry.

The idea of isotropic localization is to substitute an algebro-geometric object (motive)
by its “local” versions, parametrized by finitely generated extensions of the ground field k. In the case of the so-called “flexible” ground field, the complexity of the respective “isotropic motivic categories” is similar to that of their topological counterpart. At the same time, new features appear: the isotropic motivic cohomology of a point encode Milnor’s cohomological operations, while isotropic Chow motives (hypothetically) coincide with Chow motives modulo numerical equivalence (with finite coefficients). Extended versions of the isotropic category permit to access numerical Chow motives with rational coefficients providing a new approach to the old questions related to them. The same localization can be applied to the stable homotopic category of Morel- Voevodsky producing “isotropic” versions of the topological world. The respective isotropic stable homotopy groups of spheres exhibit interesting features.

Stability conditions on triangulated categories were introduced by Bridgeland, based on ideas from string theory. Conjecturally, they control existence of solutions to the deformed Hermitian Yang-Mills equation and the special Lagrangian equation (on the A-side and B-side of mirror symmetry, respectively). I will focus on the symplectic side and sketch a program which replaces special Lagrangians by "spectral networks", certain graphs enhanced with algebraic data. Based on joint work in progress with Katzarkov, Konstevich, Pandit, and Simpson.

Given a smooth variety X with a normal crossings divisor D (or more generally a smooth log variety) we consider the ring of logarithmic differential operators: the subring of differential operators on X generated by vector fields tangent to D. Modules over this ring are called logarithmic D-modules and generalize the classical theory of regular meromorphic connections. They arise naturally when considering compactifications.

We will discuss which parts of the theory of D-modules generalize to the logarithmic setting and how to overcome new challenges arising from the logarithmic structure. In particular, we will define holonomicity for log D-modules and state a conjectural extension of the famous Riemann-Hilbert correspondence. This talk will be very example-focused and will not require any previous knowledge of D-modules or logarithmic geometry. This is joint work with Mattia Talpo.
 

In this talk I will describe how to make sense of the function $(1+t)^x$ over the integers. I will explain how different rings of analytic functions can be defined over the integers, and how this leads to global analytic geometry and global Hodge theory. If time permits I will also describe an analytic version of lambda-rings and how this can be used to define a cohomology theory for schemes over Z. This is joint work with Federico Bambozzi and Adam Topaz. 

After reviewing our recent description of generalized Kahler structures in terms of holomorphic symplectic Morita equivalence, I will describe how this can be used for explicit constructions of toric generalized Kahler metrics.  Then I will describe how these ideas, combined with concepts from geometric quantization, provide a new approach to noncommutative algebraic geometry.

For a finite subgroup $G$ of $SL(2,C)$ and for $n \geq 1$,  the Hilbert scheme $X=Hilb^{[n]}(S)$ of $n$ points on the minimal resolution $S$ of the Kleinian singularity $C^2/G$ provides a crepant resolution of the symplectic quotient $C^{2n}/G_n$, where $G_n$ is the wreath product of $G$ with $S_n$. I'll explain why every projective, crepant resolution of $C^{2n}/G_n$ is a quiver variety, and why the movable cone of $X$ can be described in terms of an extended Catalan hyperplane arrangement of the root system associated to $G$ by John McKay. These results extend the algebro-geometric aspects of Kronheimer's hyperkahler description of $S$ to higher dimensions. This is joint work with Gwyn Bellamy.

The moduli space of smooth hypersurfaces in projective space was constructed by Mumford in the 60’s using his newly developed classical (a.k.a. reductive) Geometric Invariant Theory.  I wish to generalise this construction to hypersurfaces in weighted projective space (or more generally orbifold toric varieties). The automorphism group of a toric variety is in general non-reductive and I will use new results in non-reductive GIT, developed by F. Kirwan et al., to construct a moduli space of quasismooth hypersurfaces in certain weighted projective spaces. I will give geometric characterisations of notions of stability arising from non-reductive GIT.

Let $X$ be a K3 surface and let $Z_X(q)$ be the generating series of the topological Euler characteristics of the Hilbert scheme of points on $X$. It is known that $q/Z_X(q)$ equals the discriminant form $\Delta(\tau)$ after the change of variables $q=e^{2 \pi i \tau}$. In this talk we consider the equivariant generalization of this result, when a finite group $G$ acts on $X$ symplectically. Mukai and Xiao has shown that there are exactly 81 possibilities for such an action in terms of types of the fixed points. The analogue of $q/Z_X(q)$ in each of the 81 cases turns out to be a cusp form (after the same change of variables). Knowledge of modular forms is not assumed in the talk; I will introduce all necessary concepts. Joint work with Jim Bryan.

The quantum unipotent coordinate ring has a cluster algebra structure. On the other hand, this ring is isomorphic to the Grothendieck ring of the module category of quiver Hecke algebras (QHA). We can prove that cluster monomials of the quantum unipotent coordinate ring correspondi to real simple modules. This is a joint work with Seok-Jin Kang, Myungho Kim and Se-jin Oh.

Many toric degenerations and integrable systems of the Grassmannians Gr(2, n) are described by trees, or equivalently subdivisions of polygons. These degenerations can also be seen to arise from the cones of the tropicalisation of the Grassmannian. In this talk, I focus on particular combinatorial types of cones in tropical Grassmannians Gr(k,n) and prove a necessary condition for such an initial degeneration to be toric. I will present several combinatorial conjectures and computational challenges around this problem.  This is based on joint works with Kristin Shaw and with Oliver Clarke.

I will explain the notion of a singular ring and sketch how singular rings provide field and vertex algebras introduced by Borcherds and Kac. All of these notions make sense in general symmetric monoidal categories and behave nicely with respect to symmetric lax monoidal functors. I will provide a complete classification of singular rings if the tensor product is a cartesian product. This applies in particular to categories of topological spaces or (algebraic) stacks equipped with the usual cartesian product. Moduli spaces provide a rich source of examples of singular rings. By combining these ideas, we obtain vertex and field algebras for each reasonable moduli space and each choice of an orientable homology theory. This generalizes a recent construction of vertex algebras by Dominic Joyce.

Polar classes are very classical objects in Algebraic Geometry. A brief introduction to the subject will be presented and ideas and preliminarily results towards generalisations will be explained. These ideas can be applied towards variety sampling and relevant applications. 
 

Not much is known about the Chow rings  of moduli spaces of abelian varieties or more general Shimura varieties. The tautological ring of a Shimura variety of Hodge type is a subring of its Chow ring containing many "interesting" classes. I will talk about joint work with Torsten Wedhorn on this ring as well as its characteristic p variant. The later is strongly related to the question of understanding the cycle classes of Ekedahl-Oort strata in the Chow ring.

The (total) Steenrod square is a ring homomorphism from the cohomology of a topological space to the Z/2-equivariant cohomology of this space, with the trivial Z/2-action. Given a closed monotone symplectic manifold, one can define a deformed notion of the Steenrod square for quantum cohomology, which will not in general be a ring homomorphism, and prove some properties of this operation that are analogous to properties of the classical Steenrod square. We will then link this, in a more general setting, to a definition by Seidel of a similar operation on Floer cohomology.
 

The Hitchin fibration is a natural tool through which one can understand the moduli space of Higgs bundles and its interesting subspaces (branes). After reviewing the type of questions and methods considered in the area, we shall dedicate this talk to the study of certain branes which lie completely inside the singular fibres of the Hitchin fibrations. Through Cayley and Langlands type correspondences, we shall provide a geometric description of these objects, and consider the implications of our methods in the context of representation theory, Langlands duality, and within a more generic study of symmetries on moduli spaces.

Combining work of Galkin, Christopherson-Ilten, and Coates-Corti-Galkin-Golyshev-Kasprzyk we see that all smooth Fano threefolds admit a toric degeneration. We can use this fact to uniformly construct all Fano threefolds: given a choice of a fan we classify reflexive polytopes which break into unimodular pieces along this fan. We can then construct closed torus invariant embeddings of the corresponding toric variety using a technique - Laurent inversion - developed with Coates and Kaspzryk. The corresponding binomial ideal is controlled by the chosen fan, and in low enough codimension we can explicitly test deformations of this toric ideal. We relate the constructions we obtain to known constructions. We study the simplest case of the above construction, closely related to work of Abouzaid-Auroux-Katzarkov, in arbitrary dimension and use it to produce a tropical interpretation of the mirror superpotential via broken lines. We expect the computation to be the tropical analogue of a Floer theory calculation.

I will talk about some basic facts about slope stable sheaves and the Bogomolov inequality.  New techniques from stability conditions will imply new stronger bounds on Chern characters of stable sheaves on some special varieties, including  Fano varieties, quintic threefolds and etc. I will discuss the progress in this direction and some related open problems.

Geometric Invariant Theory is a central tool in the construction of moduli spaces, and shares the property ubiquitous among such tools that certain so-called 'unstable' objects must be excluded if the moduli space is to be well behaved. However, instability in GIT is a structured phenomenon: after making a choice of a certain invariant inner product, one has the HKKN stratification of the parameter space which, morally, sorts the objects according to how unstable they are. I will explain how one can use recent results of Berczi-Doran-Hawes-Kirwan in Non-Reductive GIT to perform quotients of these unstable strata as well, extending the classifications given by classical moduli spaces. This can be carried out, at least in principle, for any moduli problem that can be posed using GIT, and I will discuss two examples in particular: unstable (i.e. singular) curves, and coherent sheaves of fixed Harder-Narasimhan type. The latter of these is joint work with Gergely Berczi, Victoria Hoskins and Frances Kirwan.
 

I will explain how the definition of Bridgeland stability condition on a triangulated category C can be generalised to allow for massless objects. This allows one to construct a partial compactification of the stability space Stab(C) in which each `boundary stratum' is related to Stab(C/N) for a thick subcategory N of C, and has a neighbourhood which fibres over (an open subset of) Stab(N). This is joint work with Nathan Broomhead, David Pauksztello, and David Ploog.
 

Enumerative  invariants since 1995 are defined as integrals of cohomology classes over a particular homology class, called the virtual fundamental class. When there is a torus action, the virtual fundamental class is localized to the fixed points and this turned out to be the most effective technique for computation of the virtual integrals so far. About 10 years ago, Jun Li and I discovered that when there is a cosection of the obstruction sheaf, the virtual fundamental class is localized to the zero locus of the cosection. This also turned out to be quite useful for computation of Gromov-Witten invariants and more. In this talk, I will discuss a generalization of the cosection localization to real classes which provides us with a purely topological theory of Fan-Jarvis-Ruan-Witten invariants (quantum singularity theory) as well as some GLSM invariants. Based on a joint work with Jun Li at arXiv:1806.00116.