We give an algorithmic description of the action of the Chern classes of tautological bundles on the cohomology of Hilbert schemes of points on surfaces within the framework of Nakajima's oscillator algebra. This leads to an identification of the cohomology ring of Hilbert schemes of the affine plane with a ring of differential operators on a Fock space. We end with the computation of the top Segre classes of tautological bundles associated to line bundles on Hilb^n up to n=7, and give a conjecture for the generating series.
Results on stability of tautological sheaves on Hilbert schemes of points are extended to higher dimensions and transferred to abelian surfaces and to the restriction of tautological sheaves to generalised Kummer varieties. This provides a big class of new examples of stable sheaves on higher dimensional irreducible symplectic manifolds. Some aspects of deformations of tautological sheaves are studied.
We give formulas for the extension groups between tautological sheaves and more general between tautological objects twisted by a determinant line bundle on the Hilbert scheme of points on a smooth quasi-projective surface. We do this using L. Scala's results about the image of tautological sheaves under the Bridgeland-King-Reid equivalence. We also compute the Yoneda products in terms of these formulas.
We explore the structure of the cohomology ring of the moduli space of stable 1-dimensional sheaves on $\mathbb{P}^2$ of any degree. We obtain a minimal set of tautological generators, which implies an optimal generation result for both the cohomology and the Chow ring of the moduli space. Our approach is through a geometric study of tautological relations.
We develop a new method to study intersection theory of the main component of the Hilbert scheme of points on complex manifolds. The main result is an iterated residue formula for tautological integrals. We formulate a Chern-Segre-type positivity conjecture for these integrals, and we introduce higher dimensional Segre and Chern integrals.
We prove stability of rank two tautological bundles on the Hilbert square of a surface (under a mild positivity condition) and compute their Chern classes.
Given a parabolic vector bundle, we construct for it a projectivization and tautological line bundle. These are analogs of the projectivization and tautological line bundle for an usual vector bundle. Using these we give a construction of the parabolic Chern classes.
We study the images of tautological bundles on Hilbert schemes of points on surfaces and their wedge powers under the derived McKay correspondence. The main observation of the paper is that using a derived equivalence differing slightly from the standard one considerably simplifies both the results and their proofs. As an application, we obtain shorter proofs for known results as well as new formulae for homological invariants of tautological sheaves. In particular, we compute the extension groups between wedge powers of tautological bundles associated to line bundles on the surface.
We show that tautological integrals on Hilbert schemes of points can be written in terms of universal polynomials in Chern numbers. The results hold in all dimensions, though they strengthen known results even for surfaces by allowing integrals over arbitrary "geometric" subsets (and their Chern-Schwartz-MacPherson classes). We apply this to enumerative questions, proving a generalised Göttsche Conjecture for all singularity types and in all dimensions. So if L is a sufficiently ample line bundle on a smooth variety X, in a general subsystem P^d of |L| of appropriate dimension the number of hy…
Let S be a smooth projective surfaces and S^[n] the Hilbert scheme of zero-dimensional subschemes of S of length n. We proof that the class of S^[n] in the complex cobordism ring depends only on the class of the surface itself. Moreover, we compute the cohomology and holomorphic Euler characterisitcs of certain tautological sheaves on S^[n] and prove results on the general structure of certain integrals over polynomials in Chern classes of tautological sheaves.
We study intersection theory on the relative Hilbert scheme of a family of nodal-or-smooth curves, over a base of arbitrary dimension. We introduce an additive group called 'discriminant module', generated by diagonal loci, node scrolls, and twists thereof, and determine the action of the discriminant or big diagonal divisor on this group by intersection. We show that this suffices to determine arbitrary polynomials in Chern classes, in particular Chern numbers, for the tautological vector bundles on the Hilbert schemes, which are closely related to enumerative geometry. The latest version inc…
We propose a conjecture on the generating series of Chern numbers of tautological bundles on Hilbert schemes of points on curves and establish the rank 1 and rank -1 case of this conjecture. Thus we compute explicitly the generating series of integrals of the Segre classes of tautological bundles of line bundles on curves, which has a similar structure as Lehn's conjecture for surfaces.
For $X$ a smooth quasi-projective variety and $X^{[n]}$ its associated Hilbert scheme of $n$ points, we study two canonical Fourier--Mukai transforms $D(X)\to D(X^{[n]})$, the one along the structure sheaf and the one along the ideal sheaf of the universal family. For $\dim X\ge 2$, we prove that both functors admit a left-inverse. This means in particular that both functors are faithful and injective on isomorphism classes of objects. Using another method, we also show in the case of an elliptic curve that the Fourier--Mukai transform along the structure sheaf of the universal family is faith…
Here we calculate the Chern classes of ${\bar {\mathcal M}}_{g,n}$, the moduli stack of stable n-pointed curves. In particular, we prove that such classes lie in the tautological ring.
In this article, we construct Chern classes in rational Deligne cohomology for coherent sheaves on a smooth complex compact manifold. We prove that these classes verify the functoriality property under pullbacks, the Whitney formula and the Grothendieck-Riemann-Roch theorem for projective morphisms between smooth complex compact manifolds.
We construct a twist-closed enhancement of the category ${\mathcal D}^b_{\rm coh}(X)$, the bounded derived category of complexes of ${\mathcal O}_X$-modules with coherent cohomology, by means of the DG-category of $\bar\partial$-superconnections. Then we apply the techniques of $\bar\partial$-superconnections to define Chern classes and Bott-Chern classes of objects in the category, in particular, of coherent sheaves.
Recently, Oh and Thomas constructed algebraic virtual cycles for moduli spaces of sheaves on Calabi-Yau 4-folds. The purpose of this paper is to provide a virtual pullback formula between these Oh-Thomas virtual cycles. We find a natural compatibility condition between 3-term symmetric obstruction theories that induces a virtual pullback formula. There are two types of applications. Firstly, we introduce a Lefschetz principle in Donaldson-Thomas theory, which relates the tautological DT4 invariants of a Calabi-Yau 4-fold with the DT3 invariants of its divisor. As corollaries, we prove the Cao-…
A result of A. King and C. Walter asserts that the Chow ring of a fine quiver moduli space is generated by the Chern classes of universal bundles if the quiver is acyclic. We will show that defining relations between these Chern classes arise geometrically as degeneracy loci associated to the universal representation.
We give a complete classification of semistable rank two sheaves on three-dimensional projective space with maximal third Chern character. This implies an explicit description of their moduli spaces. As an open subset they contain rank two reflexive sheaves with maximal number of singularities. These spaces are irreducible, and apart from a single special case, they are also smooth. This extends a result by Okonek and Spindler to all missing cases and gives a new proof of their result. The key technical ingredient is variation of stability in the derived category.
It is well known that the Chern classes $c_i$ of a rank $n$ vector bundle on $\PP^N$, generated by global sections, are non-negative if $i\leq n$ and vanish otherwise. This paper deals with the following question: does the above result hold for the wider class of reflexive sheaves? We show that the Chern numbers $c_i$ with $i\geq 4$ can be arbitrarily negative for reflexive sheaves of any rank; on the contrary for $i\leq 3$ we show positivity of the $c_i$ with weaker hypothesis. We obtain lower bounds for $c_1$, $c_2$ and $c_3$ for every reflexive sheaf $\FF$ which is generated by $H^0\FF$ on …
Derived categories of Quot schemes on smooth curves and tautological bundles
The Abdus Salam International Centre for Theoretical Physics（阿卜杜斯·萨拉姆国际理论物理中心）；Department of Mathematics, Northeastern University（东北大学数学系）；École Polytechnique Fédérale de Lausanne (EPFL)（洛桑联邦理工学院）；Simion Stoilow Institute of Mathematics (IMAR)（西奥多·斯托伊洛瓦数学研究所）
We give a generalization to higher genera of the famous formula $12 λ=δ$ for genus 1. We also compute the classes of certain strata in the Satake compactification as elements of the push down of the tautological ring.
We study Le Potier's strange duality conjecture on $\mathbb{P}^2$. We show the conjecture is true for the pair ($W(2,0,2),~M(d,0)$) with $d>0$, where $W(2,0,2)$ is the moduli space of semistable sheaves of rank 2, zero first Chern class and second Chern class 2, and $M(d,0)$ is the moduli space of 1-dimensional semistable sheaves of first Chern class $dH$ and Euler characteristic 0.
We give quantum Pieri rules for quantum cohomology of Grassmannians of classical types, expressing the quantum product of Chern classes of the tautological subbundles with general cohomology classes. We derive them by showing the relevant genus zero, three-pointed Gromov-Witten invariants coincide with certain classical intersection numbers.
Fix a Chern character of a stable sheaf on the plane. Assume either the rank is at most 6 or the rank and first Chern class are coprime and the discriminant is sufficiently large. We use recent results of Bayer and Macri on Bridgeland stability to compute the ample cone of the moduli space of Gieseker semistable sheaves with the given Chern character. We recover earlier results, such as those by Stromme and Yoshioka, as special cases.
In this paper, Gotzmann's Regularity Theorem is established for globally generated coherent sheaves on projective space. This is used to extend Gotzmann's explicit construction to the Quot scheme. The Gotzmann representation is applied to bound the second Chern class of a rank 2 globally generated coherent sheaf in terms of the first Chern class.
We introduce a new family of tautological relations of the moduli space of stable curves of genus $g$. These relations are obtained by computing the Poincaré-dual class of empty loci in the Hodge bundle. We use these relations to obtain a new expression for the Chern classes of the Hodge bundle. We prove that the $(g-i)$th class can be expressed as a linear combination of tautological classes involving only stable graphs with at most $i$ loops. In particular the top Chern class may be expressed with trees. This property was expected as a consequence of the DR/DZ equivalence conjecture by Burya…
We compute the Bott-Chern classes of the metric Euler sequence describing the relative tangent bundle of the variety P(E) of hyperplans of a holomorphic hermitian vector bundle (E,h) on a complex manifold. We give applications to the construction of the arithmetic characteristic classes of an arithmetic vector bundle and to the computation of the height of P(E) with respect to the tautological quotient bundle O_E(1).
Let X be a projective complex K3 surface. Beauville and Voisin singled out a 0-cycle c_X on X of degree 1: it is represented by any point lying on a rational curve in X. Huybrechts proved that the second Chern class of a rigid simple vector-bundle on X is a multiple of the Beauville-Voisin class c_X if certain hypotheses hold and he conjectured that the additional hypotheses are unnecessary. We believe that the following generalization of Huybrechts' conjecture holds. Let M and N be moduli spaces of stable pure sheaves on X (with fixed cohomological Chern characters) and suppose that they have…
In this paper we compare a torsion free sheaf $\FF$ on $\PP^N$ and the free vector bundle $\oplus_{i=1}^n\OPN(b_i)$ having same rank and splitting type. We show that the first one has always "less" global sections, while it has a higher second Chern class. In both cases bounds for the difference are found in terms of the maximal free subsheaves of $\FF$. As a consequence we obtain a direct, easy and more general proof of the "Horrocks' splitting criterion", also holding for torsion free sheaves, and lower bounds for the Chern classes $c_i(\FF(t))$ of twists of $\FF$, only depending on some num…
Given a quiver, we consider its cohomological Hall algebra (CoHA) as well as CoHA modules built of cohomology groups of non-commutative Hilbert schemes. We investigate cell decompositions of non-commutative Hilbert schemes and the corresponding (non-canonical) bases of CoHA modules. We construct canonical bases of CoHA modules, which consist of products of Chern classes of tautological vector bundles over non-commutative Hilbert schemes. This result generalizes classical results for Grassmannians and (partial) flag varieties.
We show how the "finite Quot scheme method" applied to Le Potier's strange duality on del Pezzo surfaces leads to conjectures (valid for all smooth complex projective surfaces) relating two sets of universal power series on Hilbert schemes of points on surfaces: those for top chern classes of tautological sheaves, and those for Euler characteristics of line bundles. We have verified these predictions computationally for low order. We then give an analysis of these conjectures in small ranks. We also give a combinatorial proof of a formula predicted by our conjectures: the top chern class of th…
Bielliptic surfaces are the last family of Kodaira dimension zero algebraic surfaces without a classification result for the Chern characters of stable sheaves. We rectify this and prove such a classification using a combination of classical techniques, on the one hand, and derived category and Bridgeland stability techniques, on the other. Along the way, we prove the existence of projective coarse moduli spaces of objects in the derived category of a bielliptic surface that Bridgeland semistable with respect to a generic stability condition. By systematically studying the connection between B…
Let $X$ be the blow-up of $\mathbb{P}^2$ along $m$ general points, and $A=H-\sum \varepsilon_iE_i$ be a generic polarization with $0<\varepsilon_i\ll1$. We classify the Chern characters which satisfy the weak Brill-Noether property, i.e. a general sheaf in $M_A({\bf{v}})$, the moduli space of slope stable sheaves with Chern character ${\bf{v}}$, has at most one non-zero cohomology. We further give a necessary and sufficient condition for the existence of stable sheaves. Our strategy is to specialize to the case when the $m$ points are collinear.
We prove an explicit formula for the total Chern character of the Verlinde bundle over the moduli space of pointed stable curves in terms of tautological classes. The Chern characters of the Verlinde bundles define a semisimple CohFT (the ranks, given by the Verlinde formula, determine a semisimple fusion algebra). According to Teleman's classification of semisimple CohFTs, there exists an element of Givental's group transforming the fusion algebra into the CohFT. We determine the element using the first Chern class of the Verlinde bundle on the moduli space of nonsingular curves and the proje…
We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which every slope semistable sheaf yields a Bridgeland semistable object of maximal phase. Then, we study tilt stability as the polarisation $ω$ gets large, and give sufficient conditions for tilt-stability of sheaves of the following two forms: 1) twists of ideal sheaves or 2) torsion-free sheaves whose first Chern class is twice a minimum possible value.
We obtain several new characterizations of splayedness for divisors: a Leibniz property for ideals of singularity subschemes, the vanishing of a `splayedness' module, and the requirements that certain natural morphisms of modules and sheaves of logarithmic derivations and logarithmic differentials be isomorphisms. We also consider the effect of splayedness on the Chern classes of sheaves of differential forms with logarithmic poles along splayed divisors, as well as on the Chern-Schwartz-MacPherson classes of the complements of these divisors. A postulated relation between these different noti…
We prove a Bogomolov-Gieseker type inequality for the third Chern characters of stable sheaves on Calabi-Yau 3-folds and a large class of Fano 3-folds with given rank and first and second Chern classes. The proof uses the spreading-out technique, vanishings from the tilt-stability conditions, and Langer's estimation theorem of the global sections of torsion free sheaves. In particular, the result implies that the conjectural sufficient conditions on the Chern numbers for the existence of stable sheaves on a Calabi-Yau 3-fold by Douglas-Reinbacher-Yau needs to be modified.
Hecke operators on symplectic surfaces and $χ$-independence
University of Edinburgh（爱丁堡大学）；Université de Picardie Jules Verne（约尔·凡尔纳皮卡第大学）；Kyoto University（京都大学）；Université Paris-Saclay（巴黎萨克雷大学）；Simion Stoilow Institute of Mathematics（西米翁·斯托伊洛瓦数学研究所）；Université Paris-Cité（巴黎城市大学）
We study general symmetric powers $S^k L^{[n]}$ of a tautological bundle $L^{[n]}$ on the Hilbert scheme $X^{[n]}$ of $n$ points over a smooth quasi-projective surface $X$, associated to a line bundle $L$ on $X$. Let $V_L$ be the $\mathfrak{S}_n$-vector bundle on $X^n$ defined as the exterior direct sum $L \boxplus \cdots \boxplus L$. We prove that the Bridgeland-King-Reid transform $\mathbfΦ(S^k L^{[n]})$ of symmetric powers $S^k L^{[n]}$ is quasi isomorphic to the last term of a finite decreasing filtration on the natural vector bundle $S^k V_L$, defined by kernels of operators $D^l_L$, whic…
We bound from below the complexity of the top Chern class of the Hodge bundle in the Chow ring of the moduli space of curves: no formulas in terms of classes of degrees 1 and 2 can exist. As a consequence of the Torelli map, the 0-section over the second Voronoi compactification of the moduli of principally polarized abelian varieties also can not be expressed in terms of classes of degree 1 and 2. Along the way, we establish new cases of Pixton's conjecture for tautological relations. In the log Chow ring of the moduli space of curves, however, we prove that the top Chern class of the Hodge b…
We give an existence result on (H,A)-stable sheaves on a K3 or abelian surface X with primitive triple of invariants (rank,first Chern class,Euler characteristics) in the integral cohomology lattice. Such a result yields the existence of singular projective Q-factorial symplectic terminalisations of certain moduli spaces of sheaves on X that are Gieseker semistable with respect to a nongeneral ample divisor.
