No Arabic abstract
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.
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.
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.
In this note we speculate about the structure of maximal product subvarieties in moduli stacks of Calabi-Yau manifolds. We discuss examples for quintic hypersurfaces in the four dimensional projective space.
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.