Cautis–Logvinenko conjecture for the three-dimensional McKay correspondence

From papers

Let GSL(3,C)G\subset \operatorname{SL}(3,\mathbb{C}) be a finite subgroup, let Y=G-Hilb(C3)Y={G}\operatorname{-Hilb}(\mathbb{C}^3) be the GG-Hilbert scheme, and let

Ψ ⁣:DG(C3)D(Y)\Psi\colon D^G(\mathbb{C}^3)\stackrel{\sim}{\longrightarrow}D(Y)

be the inverse of the Bridgeland–King–Reid derived equivalence. For a representation ρ\rho of GG, write O0ρ\mathcal{O}_0\otimes\rho for the GG-equivariant coherent sheaf supported at the origin. Cautis–Logvinenko conjecture. For each nontrivial irreducible representation ρ\rho of GG, the object Ψ(O0ρ)\Psi(\mathcal{O}_0\otimes\rho) is a pure sheaf on YY. More precisely, there is a unique k{1,0}k\in\{-1,0\} depending on ρ\rho such that

Hk(Ψ(O0ρ))0.H^k\bigl(\Psi(\mathcal{O}_0\otimes\rho)\bigr)\neq 0.

This predicts a geometric realization of the three-dimensional McKay correspondence through the supports of the images of irreducible representations. The source does not state whether the conjecture has been resolved.

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

Alastair Craw and Ryo Yamagishi, “The Cautis-Logvinenko conjecture”, arXiv:2607.25982 (2026).

Solutions 0

No solutions have been posted yet.