The tautological-sheaf basis conjecture for quotient resolutions

From papers

Let GSL(n,C)G\subset\operatorname{SL}(n,\mathbb C) be finite, let X=Cn/GX=\mathbb C^n/G, and let f ⁣:YXf\colon Y\to X be a resolution. For each irreducible representation ρ ⁣:GGL(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(CohY)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(CohY)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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.