Related papers: Virtual pullbacks in Donaldson-Thomas theory of Ca…

Recently Oh-Thomas constructed a virtual cycle $[X]^{\mathrm{vir}}\in A_*(X)$ for a quasi-projective moduli space $X$ of stable sheaves or complexes over a Calabi-Yau 4-fold against which DT4 invariants may be defined as integrals of…

We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a…

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also…

This is the first part in a series of papers on counting surfaces on Calabi-Yau 4-folds. Besides the Hilbert scheme of 2-dimensional subschemes, we introduce \emph{two} types of moduli spaces of stable pairs. We show that all three moduli…

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-Graham's…

We consider virtual pullbacks in $K$-theory, and show that they are bivariant classes and satisfy certain functoriality. As applications to $K$-theoretic counting invariants, we include proofs of a virtual localization formula for schemes…

We show that the Quot scheme $\text{Quot}_{\mathbf{A}^3}(\mathcal{O}^r,n)$ admits a symmetric obstruction theory, and we compute its virtual Euler characteristic. We extend the calculation to locally free sheaves on smooth $3$-folds, thus…

We provide a wall-crossing framework for operational enumerative invariants of equivariant 3-Calabi--Yau categories arising from virtual cycles. The strategy follows ideas of Joyce's ``universal'' wall-crossing framework arXiv:2111.04694,…

Let $({\bf X},\omega_{\bf X}^*)$ be a separated, $-2$-shifted symplectic derived $\mathbb C$-scheme, in the sense of Pantev, Toen, Vezzosi and Vaquie arXiv:1111.3209, of complex virtual dimension ${\rm vdim}_{\mathbb C}{\bf X}=n\in\mathbb…

We develop a virtual cycle approach towards generalized Donaldson-Thomas theory of Calabi-Yau threefolds. Let $\mathcal{M}$ be the moduli stack of Gieseker semistable sheaves of fixed topological type on a Calabi-Yau threefold $W$. We…

We develop a theory of complex Kuranishi structures on projective schemes. These are sufficiently rigid to be equivalent to weak perfect obstruction theories, but sufficiently flexible to admit global complex Kuranishi charts. We apply the…

In this paper, we construct proper pushforwards and flat pullbacks in Chow groups of coherent sheaf stacks over a Deligne-Mumford(DM) stack. When there is a relative semi-perfect obstruction theory for a DM-type morphism $X \to Y$, $X$ is a…

Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth divisor on it. We consider tautological complex associated with $L=\mathcal{O}_X(D)$ on the moduli space of Le Potier stable pairs and define its counting invariant by integrating the Euler…

We compute the Donaldson-Thomas invariants for two types of Calabi-Yau 3-folds. These invariants are associated to the moduli spaces of rank-2 Gieseker semistable sheaves. None of the sheaves are locally free, and their double duals are…

We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant…

For a Calabi-Yau 4-fold $(X,\omega)$, where $X$ is quasi-projective and $\omega$ is a nowhere vanishing section of its canonical bundle $K_X$, the (derived) moduli stack of compactly supported perfect complexes $\mathcal{M}_X$ is…

Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macr\`i-Toda, such as the quintic 3-fold. By two different wall-crossing arguments we prove two different explicit formulae relating rank 0 Donaldson-Thomas…

Given a map of vector bundles on a smooth variety, consider the deepest degeneracy locus where its rank is smallest. We show it carries a natural perfect obstruction theory whose virtual cycle can be calculated by the Thom-Porteous formula.…

Let $X$ be a complex four-dimensional compact Calabi-Yau manifold equipped with a K\"ahler form $\omega$ and a holomorphic four-form $\Omega$. Under certain assumptions, we define Donaldson-Thomas type deformation invariants by studying the…

For a simple, rigid vector bundle $F$ on a Calabi-Yau $3$-fold $Y$, we construct a symmetric obstruction theory on the Quot scheme $\textrm{Quot}_Y(F,n)$, and we solve the associated enumerative theory. We discuss the case of other…