No Arabic abstract
We introduce moduli spaces of stable perverse coherent systems on small crepant resolutions of Calabi-Yau 3-folds and consider their Donaldson-Thomas type counting invariants. The stability depends on the choice of a component (= a chamber) in the complement of finitely many lines (= walls) in the plane. We determine all walls and compute generating functions of invariants for all choices of chambers when the Calabi-Yau is the resolved conifold. For suitable choices of chambers, our invariants are specialized to Donaldson-Thomas, Pandharipande-Thomas and Szendroi invariants.
In algebraic geometry, one often encounters the following problem: given a scheme X, find a proper birational morphism from Y to X where the geometry of Y is nicer than that of X. One version of this problem, first studied by Faltings, requires Y to be Cohen-Macaulay; in this case Y is called a Macaulayfication of X. In another variant, one requires Y to satisfy the Serre condition S_r. In this paper, the authors introduce generalized Serre conditions--these are local cohomology conditions which include S_r and the Cohen-Macaulay condition as special cases. To any generalized Serre condition S_rho, there exists an associated perverse t-structure on the derived category of coherent sheaves on a suitable scheme X. Under appropriate hypotheses, the authors characterize those schemes for which a canonical finite S_rho-ification exists in terms of the intermediate extension functor for the associated perversity. Similar results, including a universal property, are obtained for a more general morphism extension problem called S_rho-extension.
We consider categories of generalized perverse sheaves, with relaxed constructibility conditions, by means of the process of gluing $t$-structures and we exhibit explicit abelian categories defined in terms of standard sheaves categories which are equivalent to the former ones. In particular, we are able to realize perverse sheaves categories as non full abelian subcategories of the usual bounded complexes of sheaves categories. Our methods use induction on perversities. In this paper, we restrict ourselves to the two-strata case, but our results extend to the general case.
We introduce the notion of analytic stability data on the Lie algebra of vector fields on a torus. We prove that the subspace of analytic stability data is open and closed in the topological space of all stability data. We formulate a general conjecture which explains how analytic stability data give rise to resurgent series. This conjecture is checked in several examples.
Borisov-Joyce constructed a real virtual cycle on compact moduli spaces of stable sheaves on Calabi-Yau 4-folds, using derived differential geometry. We construct an algebraic virtual cycle. A key step is a localisation of Edidin-Grahams square root Euler class for $SO(r,mathbb C)$ bundles to the zero locus of an isotropic section, or to the support of an isotropic cone. We prove a torus localisation formula, making the invariants computable and extending them to the noncompact case when the fixed locus is compact. We give a $K$-theoretic refinement by defining $K$-theoretic square root Euler classes and their localis
We study Quot schemes of 0-dimensional quotients of sheaves on 3-folds $X$. When the sheaf $mathcal{R}$ is rank 2 and reflexive, we prove that the generating function of Euler characteristics of these Quot schemes is a power of the MacMahon function times a polynomial. This polynomial is itself the generating function of Euler characteristics of Quot schemes of a certain 0-dimensional sheaf, which is supported on the locus where $mathcal{R}$ is not locally free. In the case $X = mathbb{C}^3$ and $mathcal{R}$ is equivariant, we use our result to prove an explicit product formula for the generating function. This formula was first found using localization techniques in previous joint work with B. Young. Our results follow from R. Hartshornes Serre correspondence and a rank 2 version of a Hall algebra calculation by J. Stoppa and R.P. Thomas.