No Arabic abstract
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.
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
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.
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.
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 formula for their generating series, which we prove in certain cases when $L$ corresponds to a smooth divisor on $X$. A parallel equivariant conjecture for toric Calabi-Yau 4-folds is proposed. This conjecture is proved for smooth toric divisors and verified for more general toric divisors in many examples. Combining the equivariant conjecture with a vertex calculation, we find explicit positive rational weights, which can be assigned to solid partitions. The weighted generating function of solid partitions is given by $exp(M(q)-1)$, where $M(q)$ denotes the MacMahon function.