Categorical resolutions of cuspidal singularities

Abstract

Let $X$ be a projective variety of dimension at least two with an isolated $A_2$ singularity. We study its bounded derived category and prove that there exists a crepant categorical resolution ${\pi }_{\ast }:\tilde{\mathcal{D}}\to D^b(X)$, which is a Verdier localization. More importantly, we give an explicit description of a generating set for its kernel. In the case of an even dimensional variety with a single $A_2$ singularity, we prove that this generating set is given by two $2$-spherical objects. If $X$ is a cubic fourfold with an isolated $A_2$ singularity, we show that this resolution restricts to a crepant categorical resolution ${\tilde{\mathcal{A}}}_X$ of the Kuznetsov component ${\mathcal{A}}_X\subset D^b(X)$, and that ${\tilde{\mathcal{A}}}_X$ is equivalent to the bounded derived category of a K3 surface.

revised following referee comments