No Arabic abstract
We first construct a derived equivalence between a small crepant resolution of an affine toric Calabi-Yau 3-fold and a certain quiver with a superpotential. Under this derived equivalence we establish a wall-crossing formula for the generating function of the counting invariants of perverse coherent systems. As an application we provide certain equations on Donaldson-Thomas, Pandeharipande-Thomas and Szendrois invariants. Finally, we show that moduli spaces associated with a quiver given by successive mutations are realized as the moduli spaces associated the original quiver by changing the stability conditions.
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.
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 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.
We construct Lagrangian sections of a Lagrangian torus fibration on a 3-dimensional conic bundle, which are SYZ dual to holomorphic line bundles over the mirror toric Calabi-Yau 3-fold. We then demonstrate a ring isomorphism between the wrapped Floer cohomology of the zero-section and the regular functions on the mirror toric Calabi-Yau 3-fold. Furthermore, we show that in the case when the Calabi-Yau 3-fold is affine space, the zero section generates the wrapped Fukaya category of the mirror conic bundle. This allows us to complete the proof of one direction of homological mirror symmetry for toric Calabi-Yau orbifold quotients of the form $mathbb{C}^3/Check{G}$. We finish by describing some elementary applications of our computations to symplectic topology.
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.