The minimal categorical resolution conjecture

Let YY be a quasiprojective scheme. A categorical resolution of YY is a smooth triangulated category T\mathcal{T} equipped with adjoint functors π:TDbCoh(Y)\pi_*:\mathcal{T}\to D^b\operatorname{Coh}(Y) and π:Dperf(Y)T\pi^*:D^\mathrm{perf}(Y)\to\mathcal{T} such that ππ\pi_*\circ\pi^* is isomorphic to the identity on Dperf(Y)D^\mathrm{perf}(Y). Say that one categorical resolution dominates another if there is a fully faithful functor between their categories compatible with the pushforward functors. Minimal categorical resolution conjecture. For any quasiprojective scheme YY there exists a categorical resolution which is minimal with respect to the dominance order. This is proposed as a categorical analogue of minimal-model constructions; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Alexander Kuznetsov, “Semiorthogonal decompositions in algebraic geometry”, arXiv:1404.3143 (2015).

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.