[math.AG] arXiv club

In this talk we will discuss how to obtain irreducible rational components of the moduli space of distributions on projective spaces such that its generic element corresponds to a distribution whose tangent sheaf is a generalized null correlation bundle. Additionally, we will prove that the number of such irreducible components grows as the degree of the distribution grows.

The classification of rank 2 bundles on the projective space P^3 is already a classical problem in algebraic geometry. Horrocks showed that every bundle on P^3 is the cohomology of a monad consisting only of line bundles, so we can classify these vector bundles by classifying all possible monads. Let B(e,m) denote the moduli space of stable rank 2 bundles on P^3 with c_1=e and c_2=m. Let us revise some results in the literature and describe new irreducible components of B(-1,m) for m=6 and m=8.

TBA

TBA

TBA

TBA

TBA

We discuss various compactifications of the moduli space of quartic K3 surfaces (e.g. GIT, hodge theory, K-stability). This is based on joint work with Kristin DeVleming and Yuchen Liu.

Link: https://meet.google.com/got-cqoj-nza

In this talk I will review the background and elaborate on some questions raised in our MathAmSud scientific project, aiming at establishing active collaboration. The first set of questions is intended for the “differential geometry” faction, whereas the second set might interest the “algebraic geometry” gang. Sections 2.1, 2.2 of our project address harmonicity of geometric H-structures, on a fixed Riemannian manifold. In this context, computing the precise harmonicity condition for a given symmetry group H is a laborious but clear task, so I believe members of this collaboration might be interested in finding the precise meaning of harmonicity for their preferred type of structure, and relate it to other conditions affecting torsion in each context (eg. generalised complex structures, Vaisman structures…?) Section 2.4 addresses the construction of G2-instantons over twisted connected sum 7-manifolds, obtained by gluing together two semi-Fano 3-fold building blocks. In previous we have set up a technique to construct suitable instanton bundles over blocks by means of a Hartshorne-Serre correspondence, in which bundles are essentially parametrised by curves. So now can we weaken some of the topological restrictions on the bundles, in order to construct *singular* examples, i.e., reflexive sheaves satisfying an adequate version of the same numerical constraints? Time allowing, we can also talk about cCY 7-manifolds.

Link: https://meet.google.com/zyo-pfzf-riu

Upcoming MathAmSud Seminar schedule: http://www.ime.unicamp.br/~delbarc/MAS/WSMAS/

Link: https://meet.google.com/got-cqoj-nza

TBA

Given a vector bundle on a surface S, one can form a corresponding vector bundle on the Hilbert scheme of points S^[n], called the tautological bundle. A theorem of Ellingrud, Goettsche, and Lehn says that the Chern numbers of a tautological bundle is a polynomial in the Chern numbers of the original bundle. These polynomials are best organized into a generating series where more structure is revealed. Motivated by "strange duality", I conjectured a surprising relationship between some of these series, part of which was proved by Marian, Oprea, and Pandharipande. Can this relationship be generalized to reveal even more structure of these Chern numbers? Is there any hope to prove the rest of the conjecture?

Link: https://meet.google.com/got-cqoj-nza

The talk will be based on Lange's paper, Universal Families of Extensions. We will do a quick review of the main results of the paper. Then we will see how to use these results to produce an irreducible component for the moduli space of semistable rank r sheaves over P^3 with Chern classes c1=c2=0 and c3=-2n.

Link: https://meet.google.com/got-cqoj-nza

This is joint work with Martijn Kool and Thies Laarakker.

After recalling the definition and basic properties of Vafa-Witten invariants, we give a conjectural formula for the structure of SU(r) Vafa-Witten invariants of surfaces with a canonical curve, generalizing a similar formula proven by Laarakker for the monopole

contribution. This expresses the Vafa-Witten invariants in terms of some universal power series and Seiberg-Witten

invariants. Using computations on nested Hilbert schemes we conjecturally determine these universal power series for r at most 5 in terms of theta functions for the A_{r-1} lattice and Ramanujan's continued fractions.

Link: https://meet.google.com/got-cqoj-nza

The Tutte polynomial is a two-variable polynomial one may associate to a given graph. It's cool because it is universal among multiplicative graph invariants that respect certain deletion and contraction relations. Given a graph, one may also study an associated quiver algebra and count its modules over a finite field. Here we display a direct relation between the Tutte polynomial and this count of modules. Most of the results here are classical but some methods may be new. This joint work with Fernando Rodriguez Villegas and Anton Mellit.

Link: https://meet.google.com/got-cqoj-nza

Let X be a smooth projective variety. We show that the map that sends a codimension one distribution on X to its singular scheme is a morphism from the moduli space of distributions into a Hilbert scheme. We describe its fibers and, when X is the projective space, compute them via syzygies. As an application, we describe the moduli spaces of degree 1 distributions on P3.

Link: https://meet.google.com/got-cqoj-nza

One of the first and best understood examples of Bridgeland wall-crossing on surfaces is the one for rank 0 objects on the projective plane. In this case, the Bridgeland walls are a finite number of concentric semicircles with the property that the moduli space in the outermost chamber is exactly the moduli space of 1-dimensional Gieseker semistable sheaves and the moduli space in the innermost chamber is a moduli space of stable morphisms.

In this talk, after reviewing the case of the projective plane, I will extrapolate some ideas and find a 2-parameter family of stability conditions on the 3-dimensional projective space with similar properties (finitely many nested walls, outermost chamber is the Gieseker chamber and innermost chamber lies inside the quiver region) and compute some examples of this "à la P^2" wall-crossing. This is joint work with Marcos Jardim and Anthony Maciocia.

Link: https://meet.google.com/got-cqoj-nza

The study and classification of varieties whose osculating space fails to have the expected dimension is a classical and long-standing problem that goes back to the Italian school. The purpose of this talk is to establish a close relationship between this problem and the study of the presence of so-called Lefschetz Properties in artinian algebras.

Link: https://meet.google.com/zyo-pfzf-riu

Upcoming MathAmSud Seminar schedule: http://www.ime.unicamp.br/~delbarc/MAS/WSMAS/

The minimal free resolution of a coherent sheaf on the plane is a classical tool in algebraic geometry which dates back to David Hilbert early in the 20th century. The purpose of this talk is to discuss that minimal free resolutions can be used to study the birational geometry of the moduli space of coherent sheaves on the plane; which has so far been studied through Bridgeland stability.

The talk will begin by describing the effective and movable cones of the Hilbert scheme of n points on the plane P^2[n], using minimal free resolutions; and we will do so in a concrete and human-oriented manner. If time permits, we will discuss how to recover the relevant Bridgeland destabilizing objects from minimal free resolutions in order to recover the stable base locus decomposition of P^2[n], for small values of n.

Link: https://meet.google.com/got-cqoj-nza

TBA

Abstract

Link: https://meet.google.com/got-cqoj-nza

The classical Hodge conjecture for smooth, projective varieties has been open for 70 years, although it has been proven for some specific varieties. In this talk, I will survey the classical Hodge conjecture for some examples coming from moduli spaces of bundles on a smooth, projective curve. I will then discuss the Hodge conjecture for singular varieties using the example of the moduli space of stable, rank 2 torsion-free sheaves with odd degree determinant on an irreducible, nodal curve of genus g ≥ 2. This is joint work with Ananyo Dan.

Link: https://meet.google.com/got-cqoj-nza

Mori dream spaces (MDS) were introduced by Hu and Keel as a natural extension of toric varieties, their foundational paper provided a canonical embedding of every MDS in a simplicial projective toric variety, this fact was explored by Craw and Winn to construct MDS as moduli of quiver representations. In this talk, I will introduce Craw and Winn´s construction and I will show some applications. Pointing out that:

- MDS inherit a natural Hodge structure coming from an ambient toric variety

- General Mori dream hypersurfaces can be constructed as moduli of quiver representations.

- Craw and Winn´s construction provide a "new" way to compute their cohomology.

- MDS serves as a bridge between some moduli of quiver and moduli of vector bundles.

Link: https://meet.google.com/got-cqoj-nza

Event link

Base-point free theorem is one of the fundamental theorems of the Minimal Model Program (MMP) in the projective category. It lets us contract `Bad’ curves from a projective variety to obtain a `Minimal model’. Between 2016 and 2016, Campana, Horing and Peternell established MMP more generally for compact Kahler varieties of dimension 3 which may not be projective. So naturally one would ask how did they contract the `Bad’ curve in their situation. It turns out that contracting things in non-projective varieties is quite complicated, the exact analog of the Base-point free theorem does not hold on non-projective varieties. In this talk I will discuss how to contract `bad' curves in non-projective varieties and an alternative formulation of the Base-point free theorem which is conjectured to work for Kahler spaces in all dimension and known in dim 3.

Link: https://meet.google.com/got-cqoj-nza

Event link

Event link

The derived category of Fano threefolds of Picard rank 1 and index 2 (called Del Pezzo) admits an exceptional collection, whose orthogonal (called a Kuznetsov component) is a triangulated category supporting a Bridgeland stability condition.

We study moduli spaces of complexes with fixed invariants in the Kuznetsov component. This, in addition to putting classical examples in a more general context, allows us to show a derived Torelli theorem - that the Kuznetsov component determines the threefold - in the case of degree 2.

The case of degree 1 is an outlier both for categorical and geometric reasons, we'll describe moduli of complexes whose class is that of the ideal sheaves of lines, and time permitting we'll outline the technical difficulties to prove a Torelli theorem, and some other open questions.

Link: https://meet.google.com/got-cqoj-nza

Abstract

Link: https://meet.google.com/got-cqoj-nza

In some situations, computation of the Poincare polynomial of some moduli space can be reduced to a counting problem over a finite field via Weil conjectures. I will explain a few tricks how one can count objects over finite fields and apply them to the situation of character varieties and Higgs moduli spaces. It turns out, Macdonald polynomials naturally arise and produce a formula confirming a conjecture of Hausel, Letellier and Rodriguez-Villegas.

Link: https://meet.google.com/got-cqoj-nza

Given a non-singular, projective surface X and an ample divisor H on X , the moduli space M_{X,H}(n;c_1,c_2) of H-stable vector bundles of rank n and Chern classes c_1 and c_2 on X was constructed by M. Maruyama in the 70's. However, relatively little is known about its geometry and subvarieties.

In this talk, we extend the concept of the Segre invariant for vector bundles on curves to rank two vector bundles on surfaces. Since this invariant defines a semicontinuous function on the families of vector bundles of rank 2 on X, we get a stratification of the moduli space M_{X,H}(2;c_1,c_2) into locally closed subvarieties according to the different values that can take the invariant. For P^2 , we determine what numbers can appear as the Segre Invariant of a rank 2 vector bundle with given Chern classes. We prove the irreducibility of strata with fixed Segre invariant and compute their dimension. Finally, we present applications to Brill-Noether theory for rank 2 vector bundles on P^2.

This is joint work with H. Torres-Lopez and A. Zamora. (see https://arxiv.org/pdf/2003.02727.pdf)

Link: https://meet.google.com/got-cqoj-nza

I will give an overview of logarithmic sheaves attached to hypersurfaces and to our recent exploration of the notion of logarithmic sheaves of complete intersections. I would like to briefly discuss divisors and complete intersections having free vs stable logarithmic sheaves. If time allows I will describe the case of determinants and/or pencils of quadrics" --- joint work with M. Jardim, S. Marchesi, J. Vallès.

Link: https://meet.google.com/zyo-pfzf-riu

Given a smooth, projective variety X and a local complete intersection subscheme Z in X, Bloch’s semi-regularity map relates infinitesimal deformation of X with the property that Z remains a local complete intersection subscheme, to those for which the cohomology class of Z remains a Hodge class. We discuss this map and use it to relate different Hodge loci to the corresponding flag Hilbert schemes.

Link: https://meet.google.com/got-cqoj-nza

The geometry of the crepant resolutions of the singularities C3/G, where G is a finite subgroup of SL(3,C), is described by the 3-dimensional McKay correspondence. In this talk we shall consider two problems: when the resolution of singularities is the canonical bundle of a compact surface; and the problem of explicity writing Ricci-flat Kähler metrics on the resolution.

Link: https://meet.google.com/got-cqoj-nza

We compute periods of perturbations of a Fermat variety. This allows us to consider a subspace of the Hodge cycles defined by “simple" arithmetic conditions. We explore some examples and provide a method to calculate explicitly a set of generators of this subspace. As an application, with these explicit Hodge cycles, we find expressions involving some Gauss' hypergeometric functions which are algebraic over the field of rational functions in one variable.

Link: https://meet.google.com/got-cqoj-nza

In [1] , the moduli spaces of framed flags of sheaves on the projective plane were described by means of representations of the so-called enhanced ADHM quiver. We first review those results, with a recent refinement concerning the chamber structure in the space of stability parameters. We shall discuss then the obstruction theory for these moduli spaces, showing in general that they have a perfect obstruction theory, and providing for specific choices of invariants a class of unobstructed points. Finally, open problems and possible further developments will be presented.

This is a joint work with Rodrigo von Flach and Marcos Jardim.

[1]. R. A. von Flach and M. Jardim, Moduli spaces of framed flags of sheaves on the projective plane. Journal of Geometry and Physics 118 (2017), 138–168.

Link: https://meet.google.com/got-cqoj-nza

Based on Chunyi Li's work arXiv:1810.03434

Gauged Linear Sigma Models (GLSM) provide a framework for studying maps of curves into toric complete intersections, FJRW theories and more general curve counting theories. One can think of GLSM as counting of maps of curves into GIT quotients with superpotentials. One might wonder how the theory changes when we change the GIT stability condition of the target (or cross a wall in the stability parameter space). I will explain what happens in the case of a GLSM related with the mirror of the quintic in P^4 - an example with 101-dimensional parameter space and rich variety of stability chambers. The talk will be based on a joint work in progress with Melissa Liu.

Based on Tajakka's work arXiv:2007.12237

Slides

Based on Feyzbakhsh and Thomas' work arXiv:2007.03037

Slides

Based on Feyzbakhsh and Thomas' work arXiv:1912.01644