No Arabic abstract
Let $X$ be a compact Calabi-Yau 3-fold, and write $mathcal M,bar{mathcal M}$ for the moduli stacks of objects in coh$(X),D^b$coh$(X)$. There are natural line bundles $K_{mathcal M}tomathcal M$, $K_{bar{mathcal M}}tobar{mathcal M}$, analogues of canonical bundles. Orientation data on $mathcal M,bar{mathcal M}$ is an isomorphism class of square root line bundles $K_{mathcal M}^{1/2},K_{bar{mathcal M}}^{1/2}$, satisfying a compatibility condition on the stack of short exact sequences. It was introduced by Kontsevich and Soibelman arXiv:1006.270 in their theory of motivic Donaldson-Thomas invariants, and is important in categorifying Donaldson-Thomas theory using perverse sheaves. We show that natural orientation data can be constructed for all compact Calabi-Yau 3-folds, and also for compactly-supported coherent sheaves and perfect complexes on noncompact Calabi-Yau 3-folds $X$ with a spin smooth projective compactification $Xhookrightarrow Y$. This proves a long-standing conjecture in Donaldson-Thomas theory. These are special cases of a more general result. Let $X$ be a spin smooth projective 3-fold. Using the spin structure we construct line bundles $K_{mathcal M}tomathcal M$, $K_{bar{mathcal M}}tobar{mathcal M}$. We define spin structures on $mathcal M,bar{mathcal M}$ to be isomorphism classes of square roots $K_{mathcal M}^{1/2},K_{bar{mathcal M}}^{1/2}$. We prove that natural spin structures exist on $mathcal M,bar{mathcal M}$. They are equivalent to orientation data when $X$ is a Calabi-Yau 3-fold with the trivial spin structure. We prove this using our previous paper arXiv:1908.03524, which constructs spin structures (square roots of a certain complex line bundle $K_Ptomathcal B_P$) on differential-geometric moduli stacks $mathcal B_P$ of connections on a principal U$(m)$-bundle $Pto X$ over a compact spin 6-manifold $X$.
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 prove that rationally connected Calabi--Yau 3-folds with kawamata log terminal (klt) singularities form a birationally bounded family, or more generally, rationally connected $3$-folds of $epsilon$-CY type form a birationally bounded family for $epsilon>0$. Moreover, we show that the set of $epsilon$-lc log Calabi--Yau pairs $(X, B)$ with coefficients of $B$ bounded away from zero is log bounded modulo flops. As a consequence, we deduce that rationally connected klt Calabi--Yau $3$-folds with mld bounded away from $1$ are bounded modulo flops.
Motivated by S-duality modularity conjectures in string theory, we define new invariants counting a restricted class of 2-dimensional torsion sheaves, enumerating pairs $Zsubset H$ in a Calabi-Yau threefold X. Here H is a member of a sufficiently positive linear system and Z is a 1-dimensional subscheme of it. The associated sheaf is the ideal sheaf of $Zsubset H$, pushed forward to X and considered as a certain Joyce-Song pair in the derived category of X. We express these invariants in terms of the MNOP invariants of X.
Let X be an n-dimensional Calabi-Yau with ordinary double points, where n is odd. Friedman showed that for n=3 the existence of a smoothing of X implies a specific type of relation between homology classes on a resolution of X. (The converse is also true, due to work of Friedman, Kawamata and Tian.) We sketch a more topological proof of this result, and then extend it to higher dimensions. For n>3 the Yukawa product on the middle dimensional (co)homology plays an unexpected role. We also discuss a converse, proving it for nodal Calabi-Yau hypersurfaces in projective space.
Gromov-Witten theory is used to define an enumerative geometry of curves in Calabi-Yau 5-folds. We find recursions for meeting numbers of genus 0 curves, and we determine the contributions of moving multiple covers of genus 0 curves to the genus 1 Gromov-Witten invariants. The resulting invariants, conjectured to be integral, are analogous to the previously defined BPS counts for Calabi-Yau 3 and 4-folds. We comment on the situation in higher dimensions where new issues arise. Two main examples are considered: the local Calabi-Yau P^2 with balanced normal bundle 3O(-1) and the compact Calabi-Yau hypersurface X_7 in P^6. In the former case, a closed form for our integer invariants has been conjectured by G. Martin. In the latter case, we recover in low degrees the classical enumeration of elliptic curves by Ellingsrud and Stromme.