Kuznetsov's categorical McKay conjecture for quotient singularities

About 12 years old · traced to

Let VV be a smooth quasi-projective variety, and let GG be a finite subgroup of Aut⁡(V)\operatorname{Aut}(V) such that ωV\omega_V is GG-equivariantly locally trivial. Let Z→V/GZ\to V/G be any resolution of singularities. Kuznetsov's conjecture. There exists an admissible fully faithful embedding

Db(Coh⁡G(V))↪Db(Z).\mathrm{D}^b(\operatorname{Coh}^G(V))\hookrightarrow \mathrm{D}^b(Z).

In particular, if ZZ is a crepant resolution of V/GV/G, there is an equivalence

Db(Coh⁡G(V))≃Db(Z).\mathrm{D}^b(\operatorname{Coh}^G(V))\simeq\mathrm{D}^b(Z).

This is the stated categorical form of the McKay correspondence for quotient singularities. The last equivalence is known when dim⁡V≤3\dim V\leq 3, or when VV is symplectic and GG acts by symplectic automorphisms; the general assertion remains open.

References

Primary source

Roland Abuaf, “Categorical crepant resolutions for quotient singularities”, arXiv:1406.4409 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.