Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Let G be a finite subgroup of SU(4) such that its elements have age at most one. In the first part of this paper, we define K-theoretic stable pair invariants on a crepant resolution of the affine quotient C4/G, and conjecture a closed formula for their generating series in terms of the root system of G. In the second part, we define degree zero Donaldson-Thomas invariants of CalabiYau 4-orbifolds, develop a vertex formalism that computes the invariants in the toric case, and conjecture closed formulae for their generating series for the quotient stacks [C4/Zr], [C4/Z2 x Z2]. Combining these two parts, we formulate a crepant resolution correspondence which relates the above two theories.