Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macr`i-Toda, such as the quintic 3-fold. We express Joyces generalised DT invariants counting Gieseker semistable sheaves of any rank $r$ on $X$ in terms of those counting sheaves of rank 1. By the MNOP conjecture they are therefore determined by the Gromov-Witten invariants of $X$.
Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macr`i-Toda, such as the quintic 3-fold. We express Joyces generalised DT invariants counting Gieseker semistable sheaves of any rank $rge1$ on $X$ in terms of those counting sheaves of rank 0 and pure dimension 2. The basic technique is to reduce the ranks of sheaves by replacing them by the cokernels of their Mochizuki/Joyce-Song pairs and then use wall crossing to handle their stability.
Generalized Donaldson-Thomas invariants corresponding to local D6-D2-D0 configurations are defined applying the formalism of Joyce and Song to ADHM sheaves on curves. A wallcrossing formula for invariants of D6-rank two is proven and shown to agree with the wallcrossing formula of Kontsevich and Soibelman. Using this result, the asymptotic D6-rank two invariants of (-1,-1) and (0,-2) local rational curves are computed in terms of the D6-rank one invariants.
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.
We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $chi_{10}$ and Borcherds type lifts of three quasi-Jacobi forms which are all related to the Weierstrass elliptic function. We also conjecture that the generating function of virtual cobordism classes of these moduli spaces depends only on $chi(mathcal{O}_S)$ and $K_S^2$ via two universal functions, one of which is determined by the cobordism classes of Hilbert schemes of points on $K3$. We present generalizations of these conjectures, e.g. to arbitrary surfaces with $p_g>0$ and $b_1=0$. We use a result of J. Shen to express the virtual cobordism class in terms of descendent Donaldson invariants. In a prequel we used T. Mochizukis formula, universality, and toric calculations to compute such Donaldson invariants in the setting of virtual $chi_y$-genera. Similar techniques allow us to verify our new conjectures in many cases.
We investigate an extension of a lower bound on the Waring (cactus) rank of homogeneous forms due to Ranestad and Schreyer. We show that for particular classes of homogeneous forms, for which a generalization of this method applies, the lower bound extends to the level of border (cactus) rank. The approach is based on recent results on tensor asymptotic rank.