The cohomological crepant resolution conjecture for the Hilbert–Chow morphisms

Abstract

We prove that Ruan’s Cohomological Crepant Resolution Conjecture holds for the Hilbert–Chow morphisms. There are two main ideas in the proof. The first one is to use the representation theoretic approach proposed in [QW] which involves vertex operator techniques. The second is to prove certain universality structures about the $3$-pointed genus-$0$ extremal Gromov–Witten invariants of the Hilbert schemes by using the indexing techniques from [LiJ], the product formula from [Beh2] and the co-section localization from [KL1, KL2, LL]. We then reduce Ruan’s Conjecture from the case of an arbitrary surface to the case of smooth projective toric surfaces which has already been proved in [Che].