The tautological-sheaf basis conjecture for quotient resolutions

About 29 years old · traced to

Let G⊂SL⁡(n,C)G\subset\operatorname{SL}(n,\mathbb C) be finite, let X=Cn/GX=\mathbb C^n/G, and let f ⁣:Y→Xf\colon Y\to X be a resolution. For each irreducible representation ρ ⁣:G→GL⁡(Vρ)\rho\colon G\to\operatorname{GL}(V_\rho), define

Fρ′:=Hom⁡(Vρ,OCn)G,\mathcal F'_\rho:=\operatorname{Hom}(V_\rho,\mathcal O_{\mathbb C^n})^G,

and let Fρ\mathcal F_\rho be its torsion-free birational transform on YY.

Tautological-sheaf basis conjecture. Under appropriate circumstances, the tautological sheaves Fρ\mathcal F_\rho form a Z\mathbb Z-basis of K0(Coh⁡Y)K_0(\operatorname{Coh}Y); their Chern classes should yield a Z\mathbb Z-basis of H∗(Y,Z)H^*(Y,\mathbb Z). More strongly, the Fρ\mathcal F_\rho should form a Z\mathbb Z-basis of the derived category Db(Coh⁡Y)D^b(\operatorname{Coh}Y).

The conjecture is intended as a sheaf-theoretic and derived-categorical refinement of the McKay correspondence. The source describes it as a speculative framework and does not specify the circumstances or prove the general assertion.

References

Primary source

Miles Reid, “McKay correspondence”, arXiv:alg-geom/9702016 (1997).

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.