Equivariant Cohomological Crepant Resolution Conjecture for ADE-orbifolds

Abstract

Let G be a non-trivial finite subgroup of SL_2(C) and let p : X \to C^2/G be the minimal resolution. We prove the C^*-equivariant Cohomological Crepant Resolution Conjecture for the ADE orbifold [C^2/G]. More precisely, after specializing the quantum parameters at suitable roots of unity, we prove that the Bryan-Gholampour transformation induces an isomorphism between the C^*-equivariant quantum cohomology of X and the C^*-equivariant Chen-Ruan cohomology of [C^2/G]. Our proof is direct and is based on the McKay correspondence, ADE root systems, and character theory. Following the character-theoretic form of the Bryan-Gholampour change of variables, we use the McKay correspondence to diagonalize the transformation and to reduce the compatibility of the products to a uniform root-system identity. In type A, this reduction admits a discrete Fourier realization. In type D, the cyclic subgroup of the binary dihedral group leads instead to finite sine transforms, while the exceptional cases E_6,E_7,E_8 are treated by exact matrix computations over the corresponding cyclotomic fields. As a preliminary result, for a symplectic complex vector space V and a finite subgroup G of Sp(V), we give an explicit presentation of the C^*-equivariant Chen-Ruan product of [V/G] and identify the resulting algebra with the Rees algebra of the center of the group algebra with respect to the age filtration. In particular, the equivariant Chen-Ruan algebra interpolates between the center of the group algebra and its associated graded algebra, the latter recovering the ordinary Chen-Ruan cohomology.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.