arXiv++ Combinatorics

The topological vertex is a universal series which can be regarded as an object in combinatorics, representation theory, geometry, or physics. It encodes the combinatorics of 3D partitions, the action of vertex operators on Fock space, the Donaldson-Thomas theory of toric Calabi-Yau threefolds, or the open string partition function of $\mathbb{C}^3$. We prove several identities in which a sum over terms involving the topological vertex is expressed as a closed formula, often a product of simple terms, closely related to Fourier expansions of Jacobi forms. We use purely combinatorial and representation theoretic methods to prove our formulas, but we discuss applications to the Donaldson-Thomas invariants of elliptically fibered Calabi-Yau threefolds at the end of the paper.

We define Donaldson-Thomas invariants of Calabi-Yau orbifolds and we develop a topological vertex formalism for computing them. The basic combinatorial object is the orbifold vertex, a generating function for the number of 3D partitions asymptotic to three given 2D partitions and colored by representations of a finite Abelian group G acting on C^3. In the case where G=Z_n acting on C^3 with transverse A_{n-1} quotient singularities, we give an explicit formula for the vertex in terms of Schur functions. We discuss applications of our formalism to the Donaldson-Thomas Crepant Resolution Conjecture and to the orbifold Donaldson-Thomas/Gromov-Witten correspondence. We also explicitly compute the Donaldson-Thomas partition function for some simple orbifold geometries: the local football and the local BZ_2 gerbe.

We derive two multivariate generating functions for three-dimensional Young diagrams (also called plane partitions). The variables correspond to a colouring of the boxes according to a finite Abelian subgroup G of SO(3). We use the vertex operator methods of Okounkov--Reshetikhin--Vafa for the easy case G = Z/n; to handle the considerably more difficult case G=Z/2 x Z/2, we will also use a refinement of the author's recent q--enumeration of pyramid partitions. In the appendix, we relate the diagram generating functions to the Donaldson-Thomas partition functions of the orbifold C^3/G. We find a relationship between the Donaldson-Thomas partition functions of the orbifold and its G-Hilbert scheme resolution. We formulate a crepant resolution conjecture for the Donaldson-Thomas theory of local orbifolds satisfying the Hard Lefschetz condition.

Generating functions for the number of commuting m-tuples in the symmetric groups are obtained. We define a natural sequence of ``orbifold Euler characteristics'' for a finite group G acting on a manifold X. Our definition generalizes the ordinary Euler characteristic of X/G and the string-theoretic orbifold Euler characteristic. Our formulae for commuting m-tuples underlie formulas that generalize the results of Macdonald and Hirzebruch-Hofer concerning the ordinary and string-theoretic Euler characteristics of symmetric products.