The aim of this paper is to study an analog of non-commutative Donaldson-Thomas theory corresponding to the refined topological vertex for small crepant resolutions of toric Calabi-Yau 3-folds. We define the invariants using dimer models and provide wall-crossing formulas. In particular, we get normalized generating functions which are unchanged under wall-crossing.
In arXiv:0907.3784, we introduced a variant of non-commutative Donaldson-Thomas theory in a combinatorial way, which is related with topological vertex by a wall-crossing phenomenon. In this paper, we (1) provide an alternative definition in a geometric way, (2) show that the two definitions agree with each other and (3) compute the invariants using the vertex operator method, following Okounkov-Reshetikhin-Vafa and Young. The stability parameter in the geometric definition determines the order of the vertex operators and hence we can understand the wall-crossing formula in non-commutative Donaldson-Thomas theory as the commutator relation of the vertex operators.
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 study higher rank Donaldson-Thomas invariants of a Calabi-Yau 3-fold using Joyce-Songs wall-crossing formula. We construct quivers whose counting invariants coincide with the Donaldson-Thomas invariants. As a corollary, we prove the integrality and a certain symmetry for the higher rank invariants.
The Abuaf-Ueda flop is a 7-dimensional flop related to $G_2$ homogeneous spaces. The derived equivalence for this flop was first proved by Ueda using mutations of semi-orthogonal decompositions. In this article, we give an alternative proof for the derived equivalence using tilting bundles. Our proof also shows the existence of a non-commutative crepant resolution of the singularity appearing in the flopping contraction. We also give some results on moduli spaces of finite-length modules over this non-commutative crepant resolution.