Motivic multiplicative McKay correspondence for surfaces (Q1728386): Difference between revisions

Let \(G \subset \text{SL}_2(\mathbb C)\) be a finite subgroup, and \(V\) be its natural representation. Denote by \(Y\) the minimal resolution of \(X:=V/G\) and by \(\mathcal X:=[V/G]\) the corresponding orbifold. The classical McKay correspondence gives a bijection between two bases and hence an isomorphism of the vector spaces \(H^*(Y)\cong H^*(|I\mathcal X|)\), where \(|I\mathcal X|\) is the coarse moduli space of the inertia stack \(I\mathcal X\). Motivated by the crepant resolution conjecture the paper under review generalizes the above correspondence in two directions by taking multiplicative structures into account and also by considering Chow motives instead of cohomology. The main result of this paper is as follows: Let \(\mathcal X\) be a smooth proper two-dimensional Deligne-Mumford stack with isolated stacky points and projective coarse moduli space \(X\) having Gorenstein singularities. Let \(Y \to X\) be the minimal resolution. Then there is an isomorphism of algebra objects in the category of Chow motives with complex coefficients between the motive of \(Y\) and the orbifold motive of \(\mathcal X\): \[ \eta(Y )_{\mathbb C}\cong \eta(\mathcal X )_{\mathbb C}. \] In particular, one obtains isomorphisms of \(\mathbb C\)-algebras between the complex Chow ring (resp. Grothendieck ring, cohomology ring, topological \(K\)-theory) of \(Y\) and the complex orbifold Chow ring (resp. Grothendieck ring, cohomology ring, topological K-theory) of \(\mathcal X\).