Abstract
In this paper we study derived categories of nodal singularities. We show that for all nodal singularities there is a categorical resolution whose kernel is generated by a 2 or 3-spherical object, depending on the dimension. We apply this result to the case of nodal cubic fourfolds, where we describe the kernel generator of the categorical resolution as an object in the bounded derived category of the associated degree six K3 surface. This paper originated from one of the problem sessions at the Interactive Workshop and Hausdorff School “Hyperkähler Geometry”, Bonn, September 6–10, 2021.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Resolution of singularities is a central topic studied in algebraic geometry. Since Hironaka [7] proved that singularities of varieties in characteristic 0 can be resolved, there has been much progress in studying singularities, their resolutions, and their applications in birational geometry. On the other hand, derived categories provide a strong technique for understanding algebraic varieties, for example two smooth Fano (or general type) varieties with equivalent derived categories are isomorphic [3]. For other varieties, derived categories can yield information about their birational geometry, for example flops of three dimensional varieties induce derived equivalences of their derived categories [4].
One can often study a singularity by considering the properties of a resolution of it, and for relatively simple varieties and singularities, this might be done concretely. From the categorical viewpoint, let Y be a singular variety and let \(\sigma :\widetilde{Y}\rightarrow Y\) be a resolution of singularities, then we have derived functors between their derived categories
Since \(\widetilde{Y}\) is a smooth variety, we have \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})={\textbf{D}}^{\textrm{perf}}(\widetilde{Y})\). The two functors are related by the projection formula
Inspired by the geometric picture, Kuznetsov introduced in [19] the definition of “abstract” categorical resolution of singularities (see Definition 2.21). In the case of \({\textbf{D}}^{\textrm{b}}(Y)\), it consists of a triple \((\widetilde{\mathscr {D}}, \sigma _*, \sigma ^*)\), where \(\widetilde{\mathscr {D}}\) is a geometric triangulated category, \(\sigma _* :\widetilde{\mathscr {D}} \rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) and \(\sigma ^* :{\textbf{D}}^{\textrm{perf}}(Y) \rightarrow \widetilde{\mathscr {D}}\) are functors such that \(\sigma ^*\) is left adjoint to \(\sigma _*\), and the natural morphism of functors \({{\,\textrm{id}\,}}_{\mathscr {D}^{\textrm{perf}}}\rightarrow \sigma _*\sigma ^*\) is an isomorphism.
Now an interesting question is whether or not this categorical viewpoint allows one to characterize the singularity geometrically. To shed some light on this, we investigate in this paper one special kind of singularities and their categorical resolutions, namely nodal singularities.
Before stating our main result, we briefly recall a few notions. A resolution of singularities is crepant if its relative canonical class is trivial. Crepant resolutions are interesting since they are considered minimal resolutions in the case of Gorenstein varieties, but they are also rare. On the other hand, a categorical resolution of singularities \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) is weakly crepant if the left adjoint \(\sigma ^*\) of \(\sigma _*\) is also its right adjoint (see Definition 2.21). An object \(\mathcal {T}\in \widetilde{\mathscr {D}}\) is called k-spherical if \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {T},\mathcal {T})=\mathbb {C}\oplus \mathbb {C}[-k]\) and there is an isomorphism of functors \({{\,\textrm{Hom}\,}}(\mathcal {T}, -) = {{\,\textrm{Hom}\,}}(-,\mathcal {T}[k])^\vee \); and \(\mathcal {E}\in \widetilde{\mathscr {D}}\) is exceptional if \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {E},\mathcal {E})=\mathbb {C}\).
Theorem 1.1
Let Y be a quasiprojective variety with an isolated nodal singularity, and assume \(\dim (Y)\ge 2\). Then there exists a weakly crepant categorical resolution \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) such that:
-
(a)
The kernel \(\ker (\sigma _*)\) of \(\sigma _*\) is classically generated by a single object \(\mathcal {T}\) which is 2-spherical if \(\dim (Y)\) is even, and 3-spherical otherwise.
-
(b)
The resolution \(\sigma _*\) is a localization functor up to direct summands, cf. Definition 2.24.
Note that the existence of a weakly crepant categorical resolution is a direct application of [19]. We remark that the constructed categorical resolution has the advantage of being weakly crepant in any dimension, while the geometric resolution \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) is not. In [19] another notion of crepancy, called strong crepancy, was introduced. The resolution \(\widetilde{\mathscr {D}}\) in Theorem 1.1 is not strongly crepant, as computed in Proposition 3.10, if the dimension of Y is bigger than 3.
Our contribution is the explicit description of the kernel of the categorical resolution. We will define the resolution \(\widetilde{\mathscr {D}}\) as an admissible component of \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\), where \(\widetilde{Y}\) is the blow-up at the isolated nodal singularity. Here, the object \(\mathcal {T}\) has a clear geometric meaning: if \(\dim (Y)\) is even, the object \(\mathcal {T}\) is the pushforward to \(\widetilde{Y}\) of the spinor bundle on the quadric exceptional divisor; and if \(\dim (Y)\) is odd, the object \(\mathcal {T}\) is described as the right mutation of the pushforward of one of the spinor bundles through the other, see Proposition 3.6.
Remark 1.2
Theorem 1.1 has been recently proven independently by Kuznetsov and Shinder in [16, Theorem 5.8] with a similar strategy. Furthermore, [16, Theorem 5.2] explains that one can drop “classically” and “up to direct summands” in Theorem 1.1; see also [24] for a discussion about this. Finally, note that the case when Y is 1-dimensional has been recently studied in [32].
Based on Theorem 1.1, we propose the following definitions of categorical nodal singularities.
Definition 1.3
A triangulated category \(\mathscr {T}\) is called (abstract) nodal if there is a categorical resolution \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow \mathscr {T}\) which is weakly crepant and whose kernel is (classically) generated by a single spherical object.
Definition 1.4
A triangulated category \(\mathscr {T}\) is called geometric nodal if it is an admissible subcategory of the derived category \({\textbf{D}}^{\textrm{b}}(Y)\) of a normal quasiprojective variety Y which has only an isolated nodal singularity, such that \(\mathscr {T}^\textrm{perf}\) is not smoothFootnote 1.
Using Theorem 1.1 we show the following relation between the above definitions.
Theorem 1.5
[Theorem 3.11] If \(\mathscr {T}\) is a geometric nodal category, then \(\mathscr {T}\) is an abstract nodal category. Furthermore, the constructed categorical resolution \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow \mathscr {T}\) as in the definition of an abstract nodal category is a localization up to direct summands.
However, there are some questions around the definition of abstract nodal category.
Question 1.6
-
(a)
The sphericalness property depends on the dimension of the variety. What should be a suitable definition of dimension of an abstract triangulated category?
-
(b)
It is not clear to us whether the definition characterizes nodal singularities in the geometric picture. In other words, if Y is a variety such that \({\textbf{D}}^{\textrm{b}}(Y)\) is abstract nodal, is then \({\textbf{D}}^{\textrm{b}}(Y)\) a geometric nodal category?
-
(c)
Does the sphericalness property of the kernel generator already imply that the resolution is weakly crepant?
-
(d)
Suppose that there is a 2 or 3-spherical object \(\mathcal {T}\) in \({\textbf{D}}^{\textrm{b}}(X)\) where X is a smooth projective variety, and let \(\mathscr {T}\subset {\textbf{D}}^{\textrm{b}}(X)\) be the triangulated subcategory classically generated by \(\mathcal {T}\). Is the quotient \({\textbf{D}}^{\textrm{b}}(X)/\mathscr {T}\) a geometric nodal category?
Remark 1.7
Note that a positive answer to Question 1.6.(c) has been recently given in [17, Lemma 5.8].
To address the last problem above, we study a concrete example: Let \(Y \subset \mathbb {P}^5\) be a nodal cubic fourfold, with hyperplane section class H. By [20] there is a semiorthogonal decomposition of \({\textbf{D}}^{\textrm{b}}(Y)\) given by
where \(\mathscr {A}_Y:=\langle \mathcal {O}_Y,\mathcal {O}_Y(H),\mathcal {O}_Y(2H) \rangle ^{\perp }\) and \(\mathcal {O}_Y,\mathcal {O}_Y(H),\mathcal {O}_Y(2H)\) form an exceptional collection of line bundles. Then a categorical resolution of \(\mathscr {A}_Y\) is provided by \({\textbf{D}}^{\textrm{b}}(S)\), where S is a K3 surface of degree 6 obtained as the intersection in \(\mathbb {P}^4\) of a smooth quadric hypersurface Q with a cubic hypersurface. In this situation, we have the following application of Theorem 1.1, which provides an answer to [20, Remark 5.9].
Theorem 1.8
If Y is a nodal cubic fourfold, then the kernel of the categorical resolution \({\textbf{D}}^{\textrm{b}}(S) \rightarrow \mathscr {A}_Y\) is classically generated by \(t^*\mathcal {S}\), where \(t:S\rightarrow Q\) is the inclusion map of the K3 surface into the defining quadric Q of S, and \(\mathcal {S}\) denotes the spinor bundle on Q.
Remark 1.9
Note that the object \(t^*\mathcal {S}\in {\textbf{D}}^{\textrm{b}}(S)\) is 2-spherical. This is similar to the situation of a nodal K3 surface, in which the spherical objects \(\mathcal {O}_{E_i}(-1)\) appear in the kernel, where \(E_i\) are the exceptional curves in the resolution, cf. [23, Lemma 2.3] and [4, Lemma 3.1].
1.1 Plan of paper
In Sect. 2, we recall the definitions and theorems that we use in the following sections. In particular, we review the definitions and properties of nodal singularities, the construction of their categorical resolution via a Lefschetz decomposition following [19], and some results in [5] which we use to compute the kernel of these categorical resolutions.
Section 3 is about the proof of Theorem 1.1. We first use a Lefschetz decomposition of quadrics to construct a categorical resolution of varieties with an isolated nodal singularity as in [19]. Then by results of [5], we find the kernel generator and check the sphericalness property.
In Sect. 4, we focus on the case of nodal cubic fourfolds, proving Theorem 1.8 as a consequence of Theorem 1.1.
1.2 Notations and conventions
By variety we mean an integral scheme that is separated and of finite type over \(\mathbb {C}\). If not otherwise mentioned, all functors between derived categories are implicitly derived. We use \(\mathbb {R}_\mathscr {A}\) and \(\mathbb {L}_\mathscr {A}\) to denote the right and left mutation with respect to an admissible subcategory \(\mathscr {A}\), and use \(\mathbb {T}_B\) to denote the twist functor \(-\otimes B\). We define \({{\,\textrm{Hom}\,}}^\bullet (-,-)=\bigoplus _{i}{{\,\textrm{Hom}\,}}(-,-[i])[-i]\). If \(\mathscr {T}\) is a triangulated category, a classical generator of \(\mathscr {T}\) is an object \(\mathcal {T}\in \mathscr {T}\) such that the smallest strictly full triangulated subcategory of \(\mathscr {T}\) which is closed under direct summands and containing \(\mathcal {T}\) is equal to \(\mathscr {T}\), in symbols \(\mathscr {T}=\langle \mathcal {T}\rangle ^{\oplus }\). We take the liberty to write most isomorphisms as equalities.
2 Preliminaries
In this section, we briefly recall the notation and tools that we will use in subsequent sections. In particular, we discuss nodal singularities, semiorthogonal decompositions, categorical resolutions arising from Lefschetz decompositions and some results from [5] that allow to compute the kernel of certain categorical resolutions. Finally we review some properties of spinor bundles on quadrics, and perform some cohomology computations we need in later sections.
2.1 Nodal singularities
Let X be a variety of dimension n. We recall the definition of a nodal singularity, which is the simplest kind of hypersurface singularity.
Definition 2.1
An isolated singular point \(x\in X\) is a nodal point (or ordinary double point) if the variety X is formally locally around x isomorphic to the singularity defined by the origin of the zero locus of \(x_0^2+x_1^2+x_2^2+\dots +x_n^2\) inside \(\mathbb {A}_\mathbb {C}^{n+1}\), i.e. \(\widehat{\mathcal {O}_{X,x}}\simeq \mathbb {C}[\![x_0,\dots ,x_n]\!]/(x_0^2+\dots +x_n^2)\).
Remark 2.2
Since we are working over \(\mathbb {C}\), we can replace “formally locally” with “analytically locally” and obtain an equivalent definition. Indeed, the completions of the algebraic and the analytic local rings coincide, cf. [30, Proposition 3], and two analytic germs are equivalent if and only if the completions of their analytic local rings are isomorphic, cf. [10, Theorem 4.2.3].
Assume that X has only one nodal singularity \(x\in X\) and is smooth elsewhere. Since hypersurface singularities are Gorenstein, so is X (recall that being Gorenstein can be checked after completion of local rings, cf. [1, Proposition 3.1.19.(c)]). Now let \(\sigma :\widetilde{X}\rightarrow X\) be the blow-up of X at x. Then \(\sigma \) is a resolution of singularities whose exceptional locus \(j:Q\rightarrow \widetilde{X}\) is the smooth projective quadric hypersurface defined by \(x_0^2+x_1^2+x_2^2+...+x_n^2\). The conormal bundle of \(Q\subset \widetilde{X}\) is \(\mathcal {O}_Q(1)=\mathbb {N}^{\vee }_{Q/\widetilde{X}}= j^*\mathcal {O}_{\widetilde{X}}(-Q)\), since Q is the exceptional Cartier divisor of a blow-up.
2.2 Semiorthogonal decompositions
We recall the definitions of admissible subcategories and exceptional collections, which are the main source of semiorthogonal decompositions. Denote by \(\mathscr {T}\) a triangulated category.
Definition 2.3
Let \(\mathscr {A}\subset \mathscr {T}\) be a full triangulated subcategory. Then \(\mathscr {A}\) is called admissible if the embedding functor of \(\mathscr {A}\) into \(\mathscr {T}\) admits left and right adjoints.
Definition 2.4
Let \(\mathscr {A}_1,\dots ,\mathscr {A}_m\) be a sequence of admissible subcategories of \(\mathscr {T}\). Then we say that \(\mathscr {A}_1,\dots ,\mathscr {A}_m\) is a semiorthogonal collection if \({{\,\textrm{Hom}\,}}(\mathscr {A}_i,\mathscr {A}_j)=0\) for all \(i>j\). If in addition this collection generates \(\mathscr {T}\), we say that it forms a semiorthogonal decomposition of \(\mathscr {T}\), which we denote by
Any admissible subcategory \(\mathscr {A}\) induces a semiorthogonal decomposition: Set
then there are two semiorthogonal decompositions
We define the left mutation functor \(\mathbb {L}_{\mathscr {A}}\) and the right mutation functor \(\mathbb {R}_{\mathscr {A}}\) to fit into the following exact triangles, respectively,
where \(\alpha :\mathscr {A}\rightarrow \mathscr {T}\) is the embedding functor and \(\alpha ^!\) and \(\alpha ^*\) are its right and left adjoints, respectively. Note that the semiorthogonality ensures that the cones in the triangles above are functorial. Indeed, use that the decomposition of an object of \(\mathscr {T}\) into semiorthogonal components is functorial to deduce that \({{\,\textrm{im}\,}}(\mathbb {R}_{\mathscr {A}})\subset {}^{\perp }\mathscr {A}\), and then consider the long exact sequences arising from applying, for example, \({{\,\textrm{Hom}\,}}(\mathbb {R}_{\mathscr {A}}(\mathcal {F}),-)\) to the triangles above. The following lemmata describe the interaction between mutation functors and semiorthogonal decompositions.
Lemma 2.5
[20, Corollary 2.9] Assume that \(\mathscr {T}=\langle \mathscr {A}_1,\dots ,\mathscr {A}_m\rangle \) is a semiorthogonal decomposition. Then for each \(1 \le i \le m-1\) there is a semiorthogonal decomposition
and for each \(2 \le i \le m\) there is a semiorthogonal decomposition
Lemma 2.6
[22, Lemma 2.2] Let \(\mathscr {A}\) be an admissible subcategory of \(\mathscr {T}\). Assume that \(\mathscr {A}\) admits a semiorthogonal decomposition \(\mathscr {A}=\langle \mathscr {A}_1,\dots ,\mathscr {A}_m\rangle \). Then
Examples of admissible subcategories are given by exceptional objects.
Definition 2.7
An object \(\mathcal {E}\in \mathscr {T}\) is exceptional if \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {E},\mathcal {E})=\mathbb {C}\).Footnote 2
Definition 2.8
A set of objects \(\lbrace \mathcal {E}_1, \dots , \mathcal {E}_m \rbrace \) in \(\mathscr {T}\) is an exceptional collection if each \(\mathcal {E}_i\) is exceptional, and \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {E}_i, \mathcal {E}_j)=0\) when \(i>j\).
If \(\mathcal {E}\) is an exceptional object in a triangulated category \(\mathscr {T}\), then the full triangulated subcategory \(\mathscr {A}=\langle \mathcal {E}\rangle \) generated by \(\mathcal {E}\) is admissible, cf. [2]; the mutations of an object \(\mathcal {F}\in \mathscr {T}\) can be described explicitly as
Similarly, an exceptional collection gives rise to a semiorthogonal collection.
In this paper, we consider a special kind of semiorthogonal decomposition.
Definition 2.9
[19, Definition 2.16] Let X be a variety with a (not necessarily ample) line bundle \(\mathcal {O}(1)\). A Lefschetz decomposition of \({\textbf{D}}^{\textrm{b}}(X)\) is a semiorthogonal decomposition of the form
A Lefschetz decomposition is rectangular if \(\mathscr {B}_0=\mathscr {B}_1=\dots =\mathscr {B}_{m-1}\). Similarly, a dual Lefschetz decomposition is a semiorthogonal decomposition of the form
2.3 Spherical objects and Serre functors
Let \(\mathscr {T}\) be a triangulated category. We recall the definition of spherical objects, which play an important role in this paper.
Definition 2.10
[31, Definition 2.14, Lemma 2.15] Let \(k\in \mathbb {N}\) be a natural number. An object \(\mathcal {T}\in \mathscr {T}\) is called k-spherical if
-
(a)
the functors \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {T}, -)\) and \({{\,\textrm{Hom}\,}}^\bullet (-, \mathcal {T})\) on \(\mathscr {T}\) take values in the category of finite-dimensional graded vector spaces;
-
(b)
\({{\,\textrm{Hom}\,}}^\bullet (\mathcal {T},\mathcal {T})=\mathbb {C}\oplus \mathbb {C}[-k]\);
-
(c)
for any \(\mathcal {F}\in \mathscr {T}\) there is an isomorphism \({{\,\textrm{Hom}\,}}(\mathcal {T},\mathcal {F})={{\,\textrm{Hom}\,}}(\mathcal {F}, \mathcal {T}[k])^\vee \), which is functorial in \(\mathcal {F}\).
Condition (c) in Definition 2.10 can be simplified in some situations, for instance when \(\mathscr {T}\) has a Serre functor.
Definition 2.11
Let \(\mathscr {T}\) be a triangulated category. An equivalence \({{\,\mathrm{\mathbb {S}}\,}}:\mathscr {T}\rightarrow \mathscr {T}\) is called Serre functor if for any two objects \(\mathcal {F},\mathcal {G}\in \mathscr {T}\) there is a bifunctorial isomorphism
For instance, by Grothendieck–Verdier duality [9, Theorem 3.34] the Serre functor of the derived category \({\textbf{D}}^{\textrm{b}}(X)\) of a smooth projective variety X of dimension n is given by \(\mathbb {T}_{\omega _X} \circ [n]\), where \(\omega _X\) is the canonical bundle of X. The Serre functor is unique up to isomorphisms of exact functors. The following lemma describes the relation between Serre functors and semiorthogonal decompositions with two components.
Lemma 2.12
[20, Lemma 2.11],[22, Lemma 2.6] Let \(\mathscr {T}=\langle \mathscr {A},\mathscr {B}\rangle \) be a semiorthogonal decomposition of a triangulated category. Assume that \(\mathscr {T}\) has Serre functor \({{\,\mathrm{\mathbb {S}}\,}}_{\mathscr {T}}\). Then
-
(a)
there are semiorthogonal decompositions \(\mathscr {T}=\langle {{\,\mathrm{\mathbb {S}}\,}}_{\mathscr {T}}(\mathscr {B}),\mathscr {A}\rangle = \langle \mathscr {B},{{\,\mathrm{\mathbb {S}}\,}}^{-1}_{\mathscr {T}}(\mathscr {A})\rangle \), and
-
(b)
\(\mathscr {A}\) and \(\mathscr {B}\) have Serre functors \({{\,\mathrm{\mathbb {S}}\,}}_{\mathscr {A}}\) and \({{\,\mathrm{\mathbb {S}}\,}}_{\mathscr {B}}\), respectively, satisfying the relations
$$\begin{aligned} {{\,\mathrm{\mathbb {S}}\,}}_{\mathscr {B}} = \mathbb {R}_{\mathscr {A}}\circ {{\,\mathrm{\mathbb {S}}\,}}_{\mathscr {T}}, \quad \quad {{\,\mathrm{\mathbb {S}}\,}}^{-1}_{\mathscr {A}}=\mathbb {L}_\mathscr {B}\circ {{\,\mathrm{\mathbb {S}}\,}}^{-1}_{\mathscr {T}}. \end{aligned}$$
Remark 2.13
Assume that \(\mathscr {T}\) admits a Serre functor \({{\,\mathrm{\mathbb {S}}\,}}\). By the Yoneda lemma, in the Definition 2.10 of a k-spherical object \(\mathcal {T}\in \mathscr {T}\) we can replace condition (c) with \({{\,\mathrm{\mathbb {S}}\,}}(\mathcal {T})=\mathcal {T}[k]\).
This paper is about varieties with an isolated nodal singularity. By the local nature of such singularities, it seems unnatural to focus just on projective varieties; we prefer instead to work with quasiprojective varieties. The smooth varieties arising from resolution of singularities will again be quasiprojective; in particular, their derived category will not have a Serre functor, but they will admit the following weaker version.
Definition 2.14
[34, Section 6.4] Let \(\mathscr {T}\) be a triangulated category. Let \(\mathscr {R}\subset \mathscr {T}\) be a full triangulated subcategory such that for any \(\mathcal {F}\in \mathscr {R}\) the functors \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {F}, -)\) and \({{\,\textrm{Hom}\,}}^\bullet (-, \mathcal {F})\) on \(\mathscr {T}\) take values in the category of finite-dimensional graded vector spaces. An equivalence \({{\,\mathrm{\mathbb {S}}\,}}:\mathscr {T}\rightarrow \mathscr {T}\) is called Serre functor for the pair \((\mathscr {R}, \mathscr {T})\) if
-
(a)
\({{\,\mathrm{\mathbb {S}}\,}}\) leaves \(\mathscr {R}\) stable and
-
(b)
for any two objects \(\mathcal {F}\in \mathscr {R}, \mathcal {G}\in \mathscr {T}\) there is a bifunctorial isomorphism
$$\begin{aligned} {{\,\textrm{Hom}\,}}(\mathcal {F},\mathcal {G})={{\,\textrm{Hom}\,}}(\mathcal {G},{{\,\mathrm{\mathbb {S}}\,}}(\mathcal {F}))^{\vee }. \end{aligned}$$
In particular, the restriction of \({{\,\mathrm{\mathbb {S}}\,}}\) to \(\mathscr {R}\) is a Serre functor for \(\mathscr {R}\).
Example 2.15
Let X be a smooth quasiprojective variety of dimension n. Let \(j :E \rightarrow X\) be the embedding of a smooth projective divisor; denote by \(\omega _j :=\omega _E \otimes j^* \omega _X^\vee \) its relative dualizing bundle. Define the category \({\textbf{D}}^{\textrm{b}}_E(X)\) as the full subcategory of \({\textbf{D}}^{\textrm{b}}(X)\) consisting of complexes topologically supported on E. As a triangulated category, \({\textbf{D}}^{\textrm{b}}_E(X)\) is generated by \(j_*{\textbf{D}}^{\textrm{b}}(E)\), a remark that is very useful in practice. For any \(\mathcal {F}\in {\textbf{D}}^{\textrm{b}}_E(X)\), the functors \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {F}, -)\) and \({{\,\textrm{Hom}\,}}^\bullet (-, \mathcal {F})\) take values in the category of finite-dimensional graded vector spaces: indeed, this holds true for an object of the form \(j_*\mathcal {F},\mathcal {F}\in {\textbf{D}}^{\textrm{b}}(E)\), because \({{\,\textrm{Hom}\,}}^\bullet (-, j_*\mathcal {F}) = {{\,\textrm{Hom}\,}}^\bullet (j^*(-),\mathcal {F})\) and \({{\,\textrm{Hom}\,}}^\bullet (j_*\mathcal {F},-) = {{\,\textrm{Hom}\,}}^\bullet (\mathcal {F}, j^*(-) \otimes \omega _j[-1])\). We claim that \(\mathbb {T}_{\omega _X} \circ [n]\) is a Serre functor for the pair \(({\textbf{D}}^{\textrm{b}}_E(X),{\textbf{D}}^{\textrm{b}}(X))\). Condition (a) in Definition 2.14 is clearly satisfied; as for condition (b), for any \(\mathcal {F}\in {\textbf{D}}^{\textrm{b}}(E)\) and \(\mathcal {G}\in {\textbf{D}}^{\textrm{b}}(X)\), by Grothendieck-Verdier duality we have
The following result is analogous to Lemma 2.12, and can be proven in the same way.
Lemma 2.16
Let \(\mathscr {T}\) be a triangulated category, and \(\mathscr {R}\subset \mathscr {T}\) a full triangulated subcategory. Suppose that we have a full triangulated subcategory \(\mathscr {A}\) of \(\mathscr {R}\) that is admissible in both \(\mathscr {R}\) and \(\mathscr {T}\); in particular, we have semiorthogonal decompositions \(\mathscr {R}=\langle \mathscr {A},\mathscr {B}\rangle \) and \(\mathscr {T}=\langle \mathscr {A},\mathscr {C}\rangle \). Assume that the pair \((\mathscr {R}, \mathscr {T})\) has a Serre functor \({{\,\mathrm{\mathbb {S}}\,}}_{\mathscr {R}, \mathscr {T}}\). Then the pair \((\mathscr {B}, \mathscr {C})\) has a Serre functor, which is given by
Remark 2.17
Assume that an object \(\mathcal {T}\in \mathscr {T}\) belongs to a full triangulated subcategory \(\mathscr {R}\subset \mathscr {T}\) such that the pair \((\mathscr {R},\mathscr {T})\) has a Serre functor \({{\,\mathrm{\mathbb {S}}\,}}\). To check that \(\mathcal {T}\) is k-spherical, condition (c) in Definition 2.10 can be replaced (again by the Yoneda lemma) with \({{\,\mathrm{\mathbb {S}}\,}}(\mathcal {T})=\mathcal {T}[k]\).
2.4 Categorical resolutions
We recall the material from [19, §3].
Definition 2.18
A triangulated category \(\mathscr {D}\) is geometric if it is equivalent to an admissible subcategory of \({\textbf{D}}^{\textrm{b}}(X)\), where X is a smooth variety.
Definition 2.19
[27, Definition 1.6] Let \(\mathscr {D}\) be a triangulated category. An object \(\mathcal {F}\in \mathscr {D}\) is homologically finite if for any \(\mathcal {G}\in \mathscr {D}\) there exists only a finite number of \(n\in \mathbb {Z}\) such that \({{\,\textrm{Hom}\,}}_{\mathscr {D}}{(\mathcal {F},\mathcal {G}[n])}\ne 0\). The category \(\mathscr {D}^{\textrm{perf}}\) is defined as the full subcategory of \(\mathscr {D}\) whose objects are the homologically finite objects.
Remark 2.20
The notation \(\mathscr {D}^{\textrm{perf}}\) is justified since the homologically finite objects in the bounded derived category of coherent sheaves on a quasiprojective variety X are nothing else than the perfect complexes, i.e. \({\textbf{D}}^{\textrm{b}}(X)^{\textrm{perf}}={\textbf{D}}^{\textrm{perf}}(X)\), cf. [27, Proposition 1.11].
Definition 2.21
A categorical resolution of a triangulated category \(\mathscr {D}\) is a geometric triangulated category \(\widetilde{\mathscr {D}}\) and a pair of functors
such that \(\sigma ^*\) is left adjoint to \(\sigma _*\) on \(\mathscr {D}^{\textrm{perf}}\), i.e.
and the natural morphism of functors \({{\,\textrm{id}\,}}_{\mathscr {D}^{\textrm{perf}}}\rightarrow \sigma _*\sigma ^*\) is an isomorphism.
A categorical resolution \((\widetilde{\mathscr {D}}, \sigma _*,\sigma ^*)\) is weakly crepant if \(\sigma ^*\) is also right adjoint to \(\sigma _*\) on \(\mathscr {D}^{\textrm{perf}}\), i.e.
We now focus on a particular construction of a (weakly crepant) categorical resolution starting from a classical resolution of singularities. Consider a resolution of rational singularities \(\sigma :\widetilde{Y}\rightarrow Y\) whose exceptional locus E is an irreducible divisor. Let \(Z=\sigma (E)\) and \(\rho :E\rightarrow Z\) be the restriction of \(\sigma \) to E. Denote by \(j:E \rightarrow \widetilde{Y}\) the inclusion morphism. Let
be a dual Lefschetz decomposition with respect to \(\mathcal {O}_{E}(1) :=\mathbb {N}^{\vee }_{E/\widetilde{Y}}\). Define \(\widetilde{\mathscr {D}}\) as the subcategory
Proposition 2.22
[19, Proposition 4.1] Consider the notation fixed in (2.1). The pushforward functor \(j_*\) is fully faithful on \(\mathscr {B}_i(-i)\) for \(1 \le i \le m-1\) and we have a semiorthogonal decomposition
Theorem 2.23
[19, Theorem 4.4, Proposition 4.5] Consider the notation fixed in (2.1). Suppose that \(\mathscr {B}_0\subset {\textbf{D}}^{\textrm{b}}(E)\) contains \(\rho ^*({\textbf{D}}^{\textrm{perf}}(Z))\). Then the functor \(\sigma ^*\) factors through \(\widetilde{\mathscr {D}}\) and \((\widetilde{\mathscr {D}}, \sigma _*, \sigma ^*)\) is a categorical resolution of \({\textbf{D}}^{\textrm{b}}(Y)\) where
If in addition Y is Gorenstein, and \(\omega _{\widetilde{Y}}=\sigma ^* \omega _Y\otimes \mathcal {O}((m-1)E)\), and \(\rho ^*({\textbf{D}}^{\textrm{perf}}(Z))\subset \mathscr {B}_{m-1}\), then the categorical resolution \((\widetilde{\mathscr {D}}, \sigma _*, \sigma ^*)\) is weakly crepant.
2.5 Localization functors and their kernels
In this section we review results from [5, 12] which will allow us to compute the kernels of certain categorical resolutions.
Definition 2.24
Let \(\mathscr {T}\) and \(\mathscr {T}'\) be triangulated categories.
-
(a)
An exact functor \(F:\mathscr {T}\rightarrow \mathscr {T}'\) is a localization if the induced functor \({\overline{F}}:\mathscr {T}/\ker (F)\rightarrow \mathscr {T}'\) is an equivalence.
-
(b)
An exact functor \(F:\mathscr {T}\rightarrow \mathscr {T}'\) is a localization up to direct summands if \(F:\mathscr {T}\rightarrow {{\,\textrm{im}\,}}(F)\) is a localization onto a dense subcategory of \(\mathscr {T}'\), in symbols \({{\,\textrm{im}\,}}(F)^\oplus =\mathscr {T}'\).Footnote 3
Definition 2.25
[12, Definition 6.1] Let \(\sigma :X\rightarrow Y\) be a proper birational morphism. A closed subscheme \(Z\subset Y\) is called a nonrational locus of Y with respect to \(\sigma \) if the natural morphism
is an isomorphism in \({\textbf{D}}^{\textrm{b}}(Y)\). Here \(\mathcal {I}_Z\subset \mathcal {O}_Y\) denotes the ideal sheaf of \(Z\subset Y\), and \(\sigma ^{-1}(Z)\) is the scheme-theoretic pre-image of Z, so that \(\mathcal {I}_{\sigma ^{-1}(Z)}=\sigma ^{-1}\mathcal {I}_Z\cdot \mathcal {O}_X\).
Theorem 2.26
[5, Theorem 8.22] Let \(\sigma :X\rightarrow Y\) be a proper morphism such that \(\sigma _*\mathcal {O}_X=\mathcal {O}_Y\). Assume that there is a subscheme \(Z\subset Y\), such that all its infinitesimal neighborhoods \(Z_k\), for \(k\ge 1\), are nonrational loci of Y with respect to \(\sigma \). Consider the cartesian diagram
Assume that the functor \(\rho _*:{\textbf{D}}^{\textrm{b}}(E)\rightarrow {\textbf{D}}^{\textrm{b}}(Z)\) is a localization up to direct summands. If \(\sigma \) is an isomorphism outside Z, then \(\sigma _*:{\textbf{D}}^{\textrm{b}}(X)\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) is a localization up to direct summands with kernel classically generated by \(j_*( \ker (\rho _*))\).
We verify the hypotheses of Theorem 2.26 for blow-ups of certain affine cones. The following corollary is remarked in passing after [5, Theorem 1.10]; we provide a proof for the sake of completeness.
Corollary 2.27
Let \(Y\subset \text{\AA }^{n+1}\) be the cone over a projectively normal smooth Fano variety \(W \subset \mathbb {P}^n\). Let \(Z=\{0\}\) be the singular point of Y. Let \(\sigma :\widetilde{Y}\rightarrow Y\) be the blow-up at the singular point Z and \(E=W\) its exceptional divisor. Then, \(\sigma _*:{\textbf{D}}^{\textrm{b}}(\widetilde{Y})\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) is a localization up to direct summands with kernel classically generated by \(j_*(\langle \mathcal {O}_E \rangle ^\perp )\), where the orthogonal \(\langle \mathcal {O}_E \rangle ^\perp \) is taken in \({\textbf{D}}^{\textrm{b}}(E)\).
Proof
We verify that the hypotheses of Theorem 2.26 hold. First note that \(\sigma :\widetilde{Y}\rightarrow Y\) is a resolution of singularities for Y; in particular, it is an isomorphism outside Z. Moreover, the exceptional locus E is isomorphic to the Fano variety W. As Y is an affine cone over W, its coordinate ring is isomorphic to the homogeneous coordinate ring of W, which is integrally closed as W is projectively normal, hence Y is normal.
Recall that a cone over a Fano variety has rational singularities by [13, Corollary 3.4], hence, \(\sigma _* \mathcal {O}_{\widetilde{Y}}=\mathcal {O}_Y\). Let \(\rho :E\rightarrow Z\) be the restriction of \(\sigma \) to E. As E is a Fano variety, we have that \(\mathcal {O}_E\) is exceptional by Kodaira’s vanishing theorem. As a consequence, we have \(\rho _* \mathcal {O}_E={{\,\textrm{H}\,}}^\bullet (E,\mathcal {O}_E)=\mathbb {C}=\mathcal {O}_Z\). We now prove that \(\rho _*\) is a localization. Since the functor \(\rho _*\) has a left adjoint \(\rho ^*\), by [5, Remark 3.3] it is a localization if and only if \(\rho ^*\) is fully faithful. This is indeed the case by the projection formula applied to \(\rho _*\) using \(\rho _* \mathcal {O}_E=\mathcal {O}_Z\) (see [19, Lemma 2.4] for details). Finally, considering the decomposition induced on \({\textbf{D}}^{\textrm{b}}(E)= \langle \ker (\rho _*), \rho ^*{\textbf{D}}^{\textrm{b}}(Z) \rangle \), cf. [21, Lemma 2.3], we have
The last thing to check in order to apply Theorem 2.26 is that the canonical map
is an isomorphism for \(k\ge 1\), where \(Z_k\) is the k-th formal neighbourhood of Z. By the construction of blow-ups, the variety \(\widetilde{Y}\) is defined as \({{\,\textrm{Proj}\,}}(\bigoplus _{i=0}^\infty \mathcal {I}_Z^i)\). On the other hand, the graded sheaf of modules corresponding to \(\sigma ^{-1}(\mathcal {I}_Z^k)\cdot \mathcal {O}_{\widetilde{Y}}\) is \(\bigoplus _{i=0}^\infty \mathcal {I}_Z^{k+i}\), which is equal to \(\mathcal {O}_{\widetilde{Y}/Y}(k)\), where \(\mathcal {O}_{\widetilde{Y}/Y}(1)\) is the twisting sheaf on the blow-up \(\widetilde{Y}\). We recall that \(\mathcal {O}_{\widetilde{Y}/Y}(1)= \mathcal {O}_{\widetilde{Y}}(-E)\) and \(\mathcal {O}_E(1)=\mathcal {O}_E(-E)\). Consider for \(k\ge 0\) the short exact sequence of sheaves on Y
and the short exact sequence of sheaves on \(\widetilde{Y}\)
as well as the morphism of exact triangles
where the upper row is the triangle (2.2) and the lower row comes from the application of \(\sigma _*\) to (2.3). We claim that the induced map \(\mathcal {I}^k_Z/\mathcal {I}^{k+1}_Z \rightarrow \sigma _* \mathcal {O}_E(-kE)\) is an isomorphism for \(k\ge 0\). As Z is a point, it is enough to study the stalk of the morphism at Z. Let \({\text {R}}(E)\) be the homogeneous coordinate ring of \(E=W\subset \mathbb {P}^n\). By definition, the affine coordinate ring of Y, namely \({\text {K}}[Y]\), is just \({\text {R}}(E)\) without its grading. Identifying \(\mathcal {I}_Z\subset {\text {K}}[Y]\) with \((x_0,\dots , x_n)\), we obtain that \(\mathcal {I}_Z^{k}/\mathcal {I}^{k+1}_Z\) corresponds to the space of homogeneous polynomials of degree k in \({\text {K}}[Y]\). On the other hand, by Kodaira vanishing, we have that \(\textrm{H}^i(E,\mathcal {O}_E(k))=0\) for any \(i>0\), so we obtain \(\sigma _* \mathcal {O}_E(-kE) = \textrm{H}^0(E,\mathcal {O}_E(k))\), which is isomorphic to the space of homogeneous polynomials of degree k in \({\text {R}}(E)\). By projective normality, we have that the composition \(\textrm{H}^0(\mathbb {P}^n,\mathcal {O}_{\mathbb {P}^n}(k))\rightarrow \mathcal {I}_Z^{k}/\mathcal {I}^{k+1}_Z\rightarrow \textrm{H}^0(E,\mathcal {O}_E(k))\) is surjective, cf. [6, Exercise II.5.14(d)], hence the map \(\mathcal {I}_Z^{k}/\mathcal {I}^{k+1}_Z\rightarrow \textrm{H}^0(E,\mathcal {O}_E(k))\) is surjective. As both source and target of the latter are vector spaces of the same dimension, the map is an isomorphism.
To conclude the proof, we prove inductively that the canonical maps \(\mathcal {I}_Z^{k}\rightarrow \sigma _*\mathcal {O}_{\widetilde{Y}}(-kE)\) are isomorphisms. The base case \(k=0\) of the induction is given by the isomorphism \(\sigma _*\mathcal {O}_{\widetilde{Y}}=\mathcal {O}_Y\). Then by the induction hypothesis the map \(\mathcal {I}^k_Z\rightarrow \sigma _*\mathcal {O}_{\widetilde{Y}}(-kE)\) is an isomorphism, hence the canonical morphism on the left in (2.4) is an isomorphism, concluding the inductive step. As we showed that \(Z_k\) is a nonrational locus of Y for \(k\ge 1\), we can apply Theorem 2.26 and obtain the statement. \(\square \)
Remark 2.28
Note that Corollary 2.27 remains valid for varieties Y with an isolated singular point y which look, upon restriction to a formal neighborhood of y in Y, like the cone singularity in the corollary. Indeed, the crucial part of the proof is the check that the infinitesimal neighborhoods of the singularity are nonrational loci. Now use that \({\text {Spec}}(\widehat{\mathcal {O}_{Y,y}})\rightarrow {\text {Spec}}(\mathcal {O}_{Y,y})\) is faithfully-flat, cf. [33, Tag 00MC], and \({\text {Spec}}(\mathcal {O}_{Y,y})\rightarrow Y\) is flat, so the nonrational locus condition can be checked after base-change to \({\text {Spec}}(\widehat{\mathcal {O}_{Y,y}})\).
2.6 Derived base-change
The last ingredient we need in the derived categories setting is the following base-change result.
Proposition 2.29
Consider a cartesian square of varieties
Suppose that g is a closed immersion and local complete intersection morphism, X is Cohen–Macaulay, and \({{\,\textrm{codim}\,}}_{X}(X\times _S Y)={{\,\textrm{codim}\,}}_S(Y)\). Then
Proof
The proposition is a corollary of Tor-independent base-change, cf. [33, Tag 08IB]. In slightly more detail: Since local complete intersection immersions are Koszul-regular immersions, cf. [33, Tag 09CC], one can use the Koszul complex to compute higher Tor groups. The regular sequences that define \(Y\subset S\) locally stay regular on X because of the codimension assumption and the unmixedness theorem, cf. [33, Tag 02JN]. So the Koszul complex stays exact after tensoring with \(\mathcal {O}_X\), and we see that higher Tor groups vanish, as required to apply Tor-independent base-change.
A proof can also be found in [18, Corollary 2.27]. \(\square \)
2.7 Spinor bundles on quadric hypersurfaces
In this subsection we summarize some properties of spinor bundles on quadric hypersurfaces. Let \(Q\subset \mathbb {P}^{n+1}\) be the (unique up to isomorphism) smooth quadric hypersurface of dimension n. The definition of spinor bundles on Q, given in [29], depends on the parity of n.
Assume first that \(n=2m+1\) is odd; in this case, the maximal dimension of a (projective) linear subspace contained in Q is m. The parameter space for the m-planes contained in Q is an irreducible smooth projective variety S. Let \(\mathcal {O}_S(1)\) be the ample generator of \(\textrm{Pic}(S) \simeq \mathbb {Z}\); it can be shown that \(\dim {{\,\textrm{H}\,}}^0(S, \mathcal {O}_S(1)) = 2^{m+1}\). Now, for any \(x \in Q\), consider the embedding
The induced restriction map \({{\,\textrm{H}\,}}^0(S, \mathcal {O}_S(1)) \rightarrow {{\,\textrm{H}\,}}^0(S_x, i_x^*\mathcal {O}_S(1))\) turns out to be surjective, so its dual yields an inclusion
Since \(\dim {{\,\textrm{H}\,}}^0(S_x, i_x^*\mathcal {O}_S(1)) = 2^m\) for any \(x \in Q\), we obtain a morphism
The spinor bundle \(\mathcal {S}\) on Q is defined as the pullback by s of the tautological subbundle on \(\textrm{Gr}(2^m, 2^{m+1})\).
Let us move on to the case of a quadric of even dimension \(n=2m\). The maximal dimension of a linear subspace contained in Q is m. The parameter space for the m-planes contained in Q has two connected components \(S'\) and \(S''\). Both \(S'\) and \(S''\) are smooth irreducible projective varieties. Let \(\mathcal {O}_{S'}(1)\) and \(\mathcal {O}_{S''}(1)\) be the ample generators of \(\textrm{Pic}(S') \simeq \mathbb {Z}\) and \(\textrm{Pic}(S'') \simeq \mathbb {Z}\), respectively; it can be shown that \(\dim {{\,\textrm{H}\,}}^0(S', \mathcal {O}_ {S'}(1)) = \dim {{\,\textrm{H}\,}}^0(S'', \mathcal {O}_ {S''}(1)) = 2^m\). Now, for any \(x \in Q\), consider the embeddings
The induced restriction maps \({{\,\textrm{H}\,}}^0(S', \mathcal {O}_{S'}(1)) \rightarrow {{\,\textrm{H}\,}}^0(S'_x, (i'_x)^*\mathcal {O}_{S'}(1))\) and \({{\,\textrm{H}\,}}^0(S'', \mathcal {O}_{S''}(1)) \rightarrow {{\,\textrm{H}\,}}^0(S''_x, (i''_x)^*\mathcal {O}_{S''}(1))\) turn out to be surjective. By passing to the dual we obtain the inclusions
Since \(\dim {{\,\textrm{H}\,}}^0(S'_x, (i'_x)^*\mathcal {O}_{S'}(1)) = \dim {{\,\textrm{H}\,}}^0(S''_x, (i''_x)^*\mathcal {O}_{S''}(1)) = 2^{m-1}\) for any \(x \in Q\), we obtain two morphisms
The spinor bundle \(\mathcal {S}'\) (resp. \(\mathcal {S}''\)) on Q is defined as the pullback by \(s'\) (resp. \(s''\)) of the tautological subbundle on \(\textrm{Gr}(2^{m-1}, 2^m)\). We write \(\mathcal {S}\), respectively \(\mathcal {S}'\), \(\mathcal {S}''\), for the spinor bundle(s) on the odd, respectively even, dimensional quadric Q. These bundles enjoy the following properties.
Theorem 2.30
-
(a)
The spinor bundles are stable, cf. [29, Theorem 2.1].
-
(b)
Suppose Q is an even dimensional quadric and let \(\mathcal {S}'\), \(\mathcal {S}''\) be the two spinor bundles. Let \(i:Q'\rightarrow Q\) be the closed immersion of a smooth hyperplane section, with spinor bundle \(\mathcal {S}\). Then \(i^*\mathcal {S}'=i^*\mathcal {S}''=\mathcal {S}\), cf. [29, Theorem 1.4(i)].
-
(c)
If \(\mathcal {S}\) is either the spinor bundle on the odd dimensional quadric or any of the two spinor bundles on the even dimensional quadric, then \({{\,\textrm{H}\,}}^i(Q, \mathcal {S}(k))=0\) for \(0<i<n\) and arbitrary \(k\in \mathbb {Z}\). Furthermore \({{\,\textrm{H}\,}}^0(Q,\mathcal {S}(k))=0\) for \(k\le 0\), and \(\dim {{\,\textrm{H}\,}}^0(Q, \mathcal {S}(1))=2^{[(n+1)/2]}\), where n is the dimension of Q, cf. [29, Theorem 2.3].
-
(d)
Suppose the quadric Q has odd dimension \(n=2m+1\). We have a short exact sequence
$$\begin{aligned} 0\rightarrow \mathcal {S}\rightarrow \mathcal {O}_{Q}^{\oplus 2^{m+1}}\rightarrow \mathcal {S}(1)\rightarrow 0, \end{aligned}$$(2.5)and \(\mathcal {S}^{\vee }=\mathcal {S}(1)\), cf. [29, Theorem 2.8(i)].
-
(e)
Suppose the quadric Q has even dimension \(n=2m\). We have short exact sequences
$$\begin{aligned} \begin{aligned}&0\rightarrow \mathcal {S}'\rightarrow \mathcal {O}_{Q}^{\oplus 2^m}\rightarrow \mathcal {S}''(1)\rightarrow 0,\\&0\rightarrow \mathcal {S}''\rightarrow \mathcal {O}_{Q}^{\oplus 2^m}\rightarrow \mathcal {S}'(1)\rightarrow 0. \end{aligned} \end{aligned}$$(2.6)Furthermore, if \(n\equiv 0 \pmod 4\), then \(\mathcal {S}'^{\vee }=\mathcal {S}'(1)\) and \(\mathcal {S}''^{\vee }=\mathcal {S}''(1)\), and if \(n\equiv 2 \pmod 4\), then \(\mathcal {S}'^{\vee }=\mathcal {S}''(1)\) and \(\mathcal {S}''^{\vee }=\mathcal {S}'(1)\), cf. [29, Theorem 2.8(ii)].
-
(f)
Spinor bundles are exceptional. If Q is even dimensional, \(\mathcal {S}'\) and \(\mathcal {S}''\) are orthogonal to each other, cf. [11].
We summarize here some cohomology computations.
Lemma 2.31
Let \(Q\subset \mathbb {P}^{n+1}\) be the smooth quadric of dimension n. Then
and the following cohomology groups vanish:
Proof
As Q is a smooth hypersurface of degree 2 in \(\mathbb {P}^{n+1}\), by the adjunction formula we have \(\omega _Q=\mathcal {O}_Q(-n-2+2)=\mathcal {O}_Q(-n)\). The vanishing statement (2.8) follows from Kodaira’s vanishing theorem. \(\square \)
Remark 2.32
Let \(\mathcal {S}\) be any spinor bundle on the smooth quadric Q of dimension n. Using Serre duality and Theorem 2.30(c)-(e), we have \({{\,\textrm{H}\,}}^n(Q,\mathcal {S}(k))=0\) for \(k \ge 1-n\). In particular, \({{\,\textrm{H}\,}}^\bullet (Q, \mathcal {S}(k))=0\) for \(1-n \le k \le 0\).
Lemma 2.33
Let \(Q\subset \mathbb {P}^{n+1}\) be the smooth quadric of odd dimension \(n=2m+1\). We have
Proof
The isomorphism for \(k=0\) follows from the exceptionality of \(\mathcal {S}\), see Theorem 2.30(f). For the proof of the second isomorphism, we use sequence (2.5). Consider the long exact sequence induced by applying \({{\,\textrm{Hom}\,}}^\bullet (-,\mathcal {S})\). This provides the exact triangle
As the central term vanishes by Remark 2.32, we obtain
\(\square \)
Lemma 2.34
Let \(Q\subset \mathbb {P}^{n+1}\) be the smooth quadric of even dimension \(n=2m\ge 2\). Let \(\mathcal {S}'\) and \(\mathcal {S}''\) be its spinor bundles. We have
and
Proof
If \(k=0\), the isomorphism (2.10) holds because \(\mathcal {S}'\) is exceptional by Theorem 2.30(f). To prove the vanishing of \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {S}'(1),\mathcal {S}')\), consider the defining sequence of a smooth hyperplane section \(i:Q'\rightarrow Q\) tensored with \(\mathcal {S}'\)
Applying \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {S}',-)\) and using adjunction we get
Recall that by Theorem 2.30(b) we have \(i^*\mathcal {S}'=\mathcal {S}\), where \(\mathcal {S}\) is the spinor bundle on \(Q'\). As spinor bundles are exceptional, we have \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {S}',\mathcal {S}')=\mathbb {C}={{\,\textrm{Hom}\,}}^\bullet (\mathcal {S},\mathcal {S})\). Moreover, the map \({{\,\textrm{Hom}\,}}^0(\mathcal {S}',\mathcal {S}') \rightarrow {{\,\textrm{Hom}\,}}^0(\mathcal {S}',i_*i^*\mathcal {S}')\) is injective, hence an isomorphism. We conclude that \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {S}'(1),\mathcal {S}')={{\,\textrm{Hom}\,}}^\bullet (\mathcal {S}',\mathcal {S}'(-1))=0\).
We proceed with the proof of (2.11). The vanishing for \(k=0\) holds by Theorem 2.30(f). We calculate \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {S}''(1),\mathcal {S}')\). Applying \({{\,\textrm{Hom}\,}}^\bullet (-,\mathcal {S}')\) to the sequence (2.6)
we get
As the central term vanishes by Remark 2.32, we obtain
\(\square \)
We end this section by recalling Kapranov’s Lefschetz decomposition for quadrics.
Theorem 2.35
[14, Lemma 2.4] Let \(Q\subset \mathbb {P}^{n+1}\) be the smooth quadric of dimension n. Then we have the dual Lefschetz decomposition
Here, if n is odd, we have
where the bundle \(\mathcal {S}\) is the unique spinor bundle on Q. If n is even, we have
where \(\mathcal {S}'\) is any of the two spinor bundles on Q.
Proof
For an odd dimensional quadric we have by [11] the semiorthogonal decomposition
It suffices to suitably group its components and apply Lemma 2.12(a) to get the desired dual Lefschetz decomposition.
For a quadric of dimension \(n=2m\) we have by [11] the semiorthogonal decomposition
We claim that \(\mathbb {R}_{\mathcal {O}_{Q}}\mathcal {S}''=\mathcal {S}'(1)[-1]\). First, we have
where \(\mathcal {S}'''\) is one of the spinor bundles depending on the parity of m, see Theorem 2.30(e). By Theorem 2.30(c), we have the isomorphism
Then, using the exact sequence (2.6), we obtain that \({{\,\textrm{cone}\,}}(\mathcal {S}''\rightarrow \mathbb {C}^{\oplus 2^m}\otimes \mathcal {O}_{Q})=\mathcal {S}'(1)\), which shows that \(\mathbb {R}_{\mathcal {O}_{Q}}\mathcal {S}''=\mathcal {S}'(1)[-1]\). By Lemma 2.5 we deduce the semiorthogonal decomposition
Tensoring by \(\mathcal {O}_{Q}(-1)\) and applying Lemma 2.12(a) as before, we get the desired dual Lefschetz decomposition. \(\square \)
3 Categorical resolutions of nodal varieties
In this section we prove Theorem 1.1, which is obtained from Proposition 3.6 to 3.8. Let Y be a quasiprojective variety with an isolated nodal singularity y. Let \(\sigma :\widetilde{Y}\rightarrow Y\) be the resolution of singularities provided by the blow-up at the singular point. Recall that the exceptional divisor \(j:Q\rightarrow \widetilde{Y}\) is isomorphic to the smooth quadric of dimension \(\dim (Y) -1\). Let \(\mathcal {S}\) be the spinor bundle on Q if \(\dim (Y)\) is even, and denote by \(\mathcal {S}',\mathcal {S}''\) the spinor bundles if \(\dim (Y)\) is odd. Recall from Secti. 2.1 that \(\mathcal {O}_Q(1)= j^*\mathcal {O}_{\widetilde{Y}}(-Q)\).
For the sake of simplicity, let us assume first that Y is projective: we shall explain how to adjust the proofs when Y is quasiprojective in Remark 3.9. We start with some observations on the properties of certain objects in \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\).
Lemma 3.1
If \(\dim (Y) \ge 3\), then \(j_*\mathcal {O}_Q(k)\) is exceptional. Moreover, if \(\dim (Y)\) is odd, then \(j_*\mathcal {S}'\) and \(j_*\mathcal {S}''\) are exceptional as well, and we have
If \(\dim (Y)\) is even, then we have that
Proof
By Proposition 2.22, the functor \(j_*\) is fully faithful on the subcategory generated by the exceptional object \(\mathcal {O}_Q\). It follows that \(j_*\mathcal {O}_Q(k)=j_*\mathcal {O}_Q \otimes \mathcal {O}_{\widetilde{Y}}(-kQ)\) is exceptional too.
Now let us assume that \(\dim (Y)\) is odd. Note that the role of the spinor bundles \(\mathcal {S}'\) and \(\mathcal {S}''\) is interchangeable. Applying Proposition 2.22 to the Lefschetz decomposition (2.12), we get that \(j_*\mathcal {S}'\) and \(j_*\mathcal {S}''\) are exceptional. Next, we compute \({{\,\textrm{Hom}\,}}^\bullet (j_*\mathcal {S}',j_*\mathcal {S}'')\), which is isomorphic to \({{\,\textrm{Hom}\,}}^\bullet (j^* j_*\mathcal {S}',\mathcal {S}'')\) by adjunction. Consider the exact triangle on Q
and the associated long exact sequence obtained by applying \({{\,\textrm{Hom}\,}}^\bullet (-, \mathcal {S}'')\). By Theorem 2.30(f) and Lemma 2.34 we know
Substituting these equalities, we obtain
proving the equality (3.1).
Following the same strategy, we compute \({{\,\textrm{Hom}\,}}^\bullet (j_* \mathcal {S}, j_* \mathcal {S})\) when \(\dim (Y)\) is even. By applying \({{\,\textrm{Hom}\,}}^\bullet (-, \mathcal {S})\) to the exact triangle (3.3), we obtain
Recalling that
by Lemma 2.33, we obtain \({{\,\textrm{Hom}\,}}^i(j^*j_*\mathcal {S},\mathcal {S})=0\) except for \(i=0, 2\), for which it is equal to \(\mathbb {C}\). \(\square \)
Remark 3.2
Note that by Lemma 3.1 the objects \(j_* \mathcal {O}_Q(k)\) are exceptional, so the mutation functor \(\mathbb {R}_{j_* \mathcal {O}_Q(k)}\) is well defined. The same remark holds for \(j_*\mathcal {S}''\) when \(\dim (Y)\) is odd.
Lemma 3.3
If \(\dim (Y)\) is even, we have the isomorphisms
for \(2-\dim (Y) \le k \le -1\). Moreover, for all \(k \in \mathbb {Z}\), we have
Proof
Again, we use the exact triangle on Q
We prove the first isomorphism. By adjunction, \({{\,\textrm{Hom}\,}}^\bullet (j_*\mathcal {S},j_*\mathcal {O}_Q(k))={{\,\textrm{Hom}\,}}^\bullet (j^*j_*\mathcal {S},\mathcal {O}_Q(k))\). Applying \({{\,\textrm{Hom}\,}}^\bullet (-,\mathcal {O}_Q(k))\) to (3.4) we get the exact triangle
Now we have by Theorem 2.30(d) that
Since \(2-\dim (Y) \le k \le -1\), both these terms vanish by Remark 2.32, thus
We conclude that
We prove now the second isomorphism. Let \(2m+1=\dim (Y)-1\). Twisting the exact sequence (2.5) by \(\mathcal {O}_Q(k)\) and taking the pushforward along j, we get the exact triangle
Since \({{\,\textrm{Hom}\,}}^\bullet (j_*\mathcal {S}(k+1),j_*\mathcal {O}_{Q}(k))={{\,\textrm{Hom}\,}}^\bullet (j^*j_*\mathcal {S}(1),\mathcal {O}_Q)=0\) by (3.5), this is a mutation triangle. This immediately implies the statement. \(\square \)
Lemma 3.4
If \(\dim (Y)\) is odd, we have the isomorphisms
for \(2-\dim (Y) \le k \le -1\). Moreover, for all \(k \in \mathbb {Z}\), we have
Finally, we have that
Proof
The first three isomorphisms are proven in the same way as the previous lemma. The last one follows immediately from (3.1). \(\square \)
We can now come to the study of the categorical resolution of \({\textbf{D}}^{\textrm{b}}(Y)\), where Y is the nodal variety from the beginning of this section.
Proposition 3.5
With the notation introduced at the beginning of this section and in Theorem 2.35, set
Let \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) denote the restriction of the pushforward functor. Then the pullback functor \(\sigma ^*:{\textbf{D}}^{\textrm{perf}}(Y)\rightarrow {\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) factors as \(\sigma ^*:{\textbf{D}}^{\textrm{perf}}(Y)\rightarrow \widetilde{\mathscr {D}}\), and \((\widetilde{\mathscr {D}}, \sigma _*, \sigma ^*)\) is a weakly crepant categorical resolution of \({\textbf{D}}^{\textrm{b}}(Y)\).
Proof
Set \(n:=\dim (Y)-1\). Recall the dual Lefschetz decomposition of \({\textbf{D}}^{\textrm{b}}(Q)\) introduced in Theorem 2.35
where
-
(a)
\(\mathscr {B}_0=\langle \mathcal {S}, \mathcal {O}_Q\rangle \) and \(\mathscr {B}_i=\langle \mathcal {O}_Q\rangle \) for \(1 \le i \le n-1\), if Y is even dimensional,
-
(b)
\(\mathscr {B}_0=\mathscr {B}_1=\langle \mathcal {S}', \mathcal {O}_Q\rangle \) and \(\mathscr {B}_i=\langle \mathcal {O}_Q\rangle \) for \(2 \le i \le n-1\), if Y is odd dimensional.
Denote by \(\rho \) the restriction of \(\sigma \) to Q; the image of \(\rho \) consists of the singular point y of Y. Since \({\textbf{D}}^{\textrm{perf}}(y)=\langle \mathcal {O}_{y} \rangle \), we have \(\rho ^* {\textbf{D}}^{\textrm{perf}}(y)= \langle \rho ^* \mathcal {O}_{y} \rangle = \langle \mathcal {O}_Q \rangle \subset \mathscr {B}_0\). In fact, \(\rho ^*{\textbf{D}}^{\textrm{perf}}(y)=\langle \mathcal {O}_Q\rangle \subset \mathscr {B}_i\) for all i. Recall that a variety with nodal singularities is Gorenstein, as discussed in Sect. 2.1. We now compute the discrepancy of the exceptional divisor Q. As \(\sigma \) is an isomorphism outside of Q, we have \( \omega _{\widetilde{Y}}= \sigma ^* \omega _Y \otimes \mathcal {O}(k Q)\) for some \(k \in \mathbb {Z}\). By the adjunction formula and Lemma 2.31 we have that
As \({{\,\textrm{Pic}\,}}(Q)\) is torsion free, cf. [6, Exercise II.6.5c], this implies \(k=n-1\). Then the triple \((\widetilde{\mathscr {D}},\sigma _*,\sigma ^*)\) defined in the proposition is a weakly crepant categorical resolution by Theorem 2.23. \(\square \)
Next, we compute the kernel of the categorical resolution from Proposition 3.5. For the rest of this section, we will use \(\sigma _*\) to denote the pushforward functor \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\), and not its restriction to \(\widetilde{\mathscr {D}}\).
Proposition 3.6
The kernel \(\ker (\sigma _*)\cap {\widetilde{\mathscr {D}}}\) of the weakly crepant categorical resolution \(\widetilde{\mathscr {D}}\) of \({\textbf{D}}^{\textrm{b}}(Y)\) is classically generated by a single object \(\mathcal {T}\), where \(\mathcal {T}=j_* \mathcal {S}\) if \(\dim (Y)\) is even, and \(\mathcal {T}=\mathbb {R}_{j_* \mathcal {S}''} (j_* \mathcal {S}'[1])={{\,\textrm{cone}\,}}(j_*\mathcal {S}'\rightarrow j_*\mathcal {S}''[2])\) if \(\dim (Y)\) is odd.
Proof
Set \(n:=\dim (Y)-1\). Note that the conditions of Theorem 2.26 are satisfied in our situation as explained in Corollary 2.27 and Remark 2.28. This gives that \(\sigma _*:{\textbf{D}}^{\textrm{b}}(\widetilde{Y})\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) is a localization functor up to direct summands, and its kernel is classically generated by \(\mathscr {K}:=\langle j_*(\langle \mathcal {O}_Q \rangle ^\perp ) \rangle \), that is, \(\ker (\sigma _*) = \mathscr {K}^{\oplus }\) is the idempotent completion of \(\mathscr {K}\). We now determine \(\ker (\sigma _*) \cap \widetilde{\mathscr {D}}\).
On the one hand, \(\langle \mathcal {O}_Q \rangle ^\perp \) admits by Theorem 2.35 a semiorthogonal decomposition of the form
-
(a)
\(\langle \mathcal {O}_Q \rangle ^\perp =\langle \mathcal {O}_Q(1-n),\dots , \mathcal {O}_Q(-1), \mathcal {S}\rangle \) if Y is even dimensional,
-
(b)
\(\langle \mathcal {O}_Q \rangle ^\perp =\langle \mathcal {O}_Q(1-n),\dots ,\mathcal {S}'(-1), \mathcal {O}_Q(-1), \mathcal {S}' \rangle \) if Y is odd dimensional,
thus the pushforwards of the components along j are a set of generators of \(\mathscr {K}\).
On the other hand, the semiorthogonal decomposition
induced by (2.12) and the fully faithfulness of \(j_*\) on \(\mathscr {B}_i(-i)\) for \(1 \le i \le n-1\) show that
-
(a)
\(\lbrace j_* \mathcal {O}_{Q}(1- n), \dots , j_* \mathcal {O}_Q(-1) \rbrace \) if Y is even dimensional,
-
(b)
\(\lbrace j_* \mathcal {O}_{Q}(1- n), \dots , j_* \mathcal {S}'(-1), j_* \mathcal {O}_Q(-1) \rbrace \) if Y is odd dimensional
are full exceptional collections of \({\widetilde{\mathscr {D}}}^\perp \).
Now, looking at the generators of \(\widetilde{\mathscr {D}}^\perp \) and \(\mathscr {K}\), we obtain \(\widetilde{\mathscr {D}}^\perp \subset \mathscr {K} \subset \ker (\sigma _*)\), which implies that
We first assume that Y is even dimensional. Notice that all the generators of \(\mathscr {K}\) belong to \(\widetilde{\mathscr {D}}^\perp \) except the pushforward of the spinor bundle, so that \(\mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp } \mathscr {K} = \langle \mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp }(j_* \mathcal {S}) \rangle \). Since \(\mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp } (\mathscr {K}^{\oplus })\subset (\mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp } \mathscr {K})^{\oplus }\), we have the inclusions
Now, as both \(\ker (\sigma _*)\) and \(\widetilde{\mathscr {D}}\) are idempotent complete, so is their intersection \(\mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp } (\ker (\sigma _*))\). Thus \(\mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp } \ker (\sigma _*) = \langle \mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp }(j_* \mathcal {S}) \rangle ^{\oplus }\). The same argument shows that \(\mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp } \ker (\sigma _*) = \langle \mathbb {R}_{{\widetilde{\mathscr {D}}}^\perp }(j_* \mathcal {S}') \rangle ^{\oplus }\) when Y is odd dimensional.
To conclude, it suffices to compute the mutations of the spinor bundles through \({\widetilde{\mathscr {D}}}^\perp \). When Y is even dimensional, we have by Lemmas 2.6 and 3.3
When Y is odd dimensional, we consider the exceptional collection of \({\widetilde{\mathscr {D}}}^\perp \) obtained by mutating \(j_* \mathcal {S}'(-1)\) through \(j_*\mathcal {O}_Q(-1)\). Since \(\mathbb {R}_{j_* \mathcal {O}_Q(-1)} (j_* \mathcal {S}'(-1))=j_*\mathcal {S}''[-1]\) by Lemma 3.4, we have
Using Lemmas 2.6 and 3.4 we obtain
and also \(\mathbb {R}_{j_* \mathcal {S}''}(j_* \mathcal {S}')={{\,\textrm{cone}\,}}(j_*\mathcal {S}'\rightarrow j_*\mathcal {S}''[2])[-1]\).
These computations yield the desired classical generator of \(\ker (\sigma _*) \cap \widetilde{\mathscr {D}}\) in the even and odd dimensional case. \(\square \)
Now let \(\mathcal {T}=j_*\mathcal {S}\) or \(\mathcal {T}={{\,\textrm{cone}\,}}(j_*\mathcal {S}'\rightarrow j_*\mathcal {S}''[2])\), depending on the parity of the dimension of Y.
Proposition 3.7
If Y is even dimensional, then \(\mathcal {T}\) is a 2-spherical object in \(\widetilde{\mathscr {D}}\).
Proof
Set \(n:=\dim (Y)-1\). Let us prove that \(\mathcal {T}=j_*\mathcal {S}\) satisfies the three conditions of Definition 2.10. Condition (a) is automatic, since \(\widetilde{Y}\) is projective and \(\widetilde{\mathscr {D}}\) is a semiorthogonal component of \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) in the decomposition (3.7). By Lemma 3.1, we have that
so condition (b) holds true. It remains to check condition (c). Recall that \(\widetilde{\mathscr {D}}\) has a Serre functor, given by Lemma 2.12(b); thus, by Remark 2.13, it is enough to show that \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}}(\mathcal {T})=\mathcal {T}[2]\). We have that
where \({{\,\mathrm{\mathbb {S}}\,}}_{{\textbf{D}}^{\textrm{b}}(\widetilde{Y})}=\mathbb {T}_{\omega _{\widetilde{Y}}}\circ [n+1]\). Since, by the adjunction formula, we have the equality
we obtain
Now, using Lemma 3.3, we have
Proceeding inductively, we obtain
proving the statement. \(\square \)
Proposition 3.8
If Y is odd dimensional, then \(\mathcal {T}\) is a 3-spherical object in \(\widetilde{\mathscr {D}}\).
Proof
Again, since the category \(\widetilde{\mathscr {D}}\) is proper, condition (a) in Definition 2.10 is automatically satisfied. To check condition (b), recall that \(\mathcal {T}\) sits in the exact triangle
By definition we have \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {T},j_*\mathcal {S}'')=0\). Hence by applying \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {T},-)\) to (3.9) we obtain that
and by applying \({{\,\textrm{Hom}\,}}^\bullet (-,j_*\mathcal {S}')\) to (3.9) we obtain
We have by previous computations (cf. Lemma 3.1 and (3.1)) that
We get from the long exact sequence that
To complete the proof we need to show that \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}}(\mathcal {T}) = \mathcal {T}[3]\). Using Lemma 2.12(b) with respect to the decomposition in (3.8), we have the factorization
For the sake of keeping a lighter presentation, we write, by abuse of notation, \(\mathcal {T}(k)\) in place of \(\mathcal {T}\otimes \mathcal {O}_{\widetilde{Y}}(-kQ)\), even though the object \(\mathcal {T}\) does not belong to \({\textbf{D}}^{\textrm{b}}(Q)\). As in Proposition 3.7, we have
As \(\mathbb {R}_{j_* \mathcal {O}_Q(k)}\) is an exact functor, by Lemma 3.4 we have
where \(\mathcal {T}'= {{\,\textrm{cone}\,}}(j_* \mathcal {S}''\rightarrow j_* \mathcal {S}'[2])\). The arrow \(j_*\mathcal {S}''(1)[-1]\rightarrow j_*\mathcal {S}'(1)[1]\) is nonzero (also similar for the arrows below), otherwise the object \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}}(\mathcal {T})\) would become a direct sum of two objects, but this would contradict \({{\,\textrm{Hom}\,}}^0(\mathcal {T},\mathcal {T})=\mathbb {C}\) as the Serre functor is an equivalence. Analogously, we obtain
and more generally
It follows that
Finally, we compute
and the last mutation
\(\square \)
Remark 3.9
This concludes the proof of Theorem 1.1 in the case of a projective variety Y with an isolated nodal singularity y. We point out how to adjust the proofs when Y is only supposed quasiprojective. Let \(Y'\) be a projective compactification of Y; by resolution of singularities, we can assume that \(Y'\) is smooth outside y. We continue to denote by \(\sigma :\widetilde{Y}\rightarrow Y\) the blow-up at the singular point, by \(j :Q \rightarrow \widetilde{Y}\) the embedding of the exceptional divisor and by n the dimension of Q. The variety \(\widetilde{Y}\) is quasiprojective, and can be regarded as an open subset of the blow-up \(\widetilde{Y}'\) of \(Y'\) at y; we denote by \(i :\widetilde{Y}\rightarrow \widetilde{Y}'\) the corresponding open immersion.
Let us focus on the categorical aspects. We will denote as \({\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\) the full subcategory of \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) consisting of complexes topologically supported on Q; the functor \(i_*\) embeds it as a full subcategory of \({\textbf{D}}^{\textrm{b}}(\widetilde{Y}')\). Now, Lemma 3.1 holds true even if \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) is not proper, because the functor \(j_*\) has both left and right adjoints. From Lemma 3.3 to Proposition 3.6, all results hold without any change. In fact, by going through the proofs, from the Lefschetz decomposition
of Theorem 2.35 we deduce semiorthogonal decompositions not only for \({\textbf{D}}^{\textrm{b}}(\widetilde{Y}')\) and \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\), but also for \({\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\): explicitly, we have
where \(\widetilde{\mathscr {D}}'\) is defined as the left orthogonal of \(\langle (i \circ j)_*\mathscr {B}_{n-1}(1-n) , \dots , (i \circ j)_*\mathscr {B}_1(-1)\rangle \) in \({\textbf{D}}^{\textrm{b}}(\widetilde{Y}')\), and \(\widetilde{\mathscr {D}}\) and \( \widetilde{\mathscr {D}}_Q \) as the left orthogonal of \(\langle j_*\mathscr {B}_{n-1}(1-n) , \dots , j_*\mathscr {B}_1(-1)\rangle \) in \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) and \({\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\), respectively. The categories \(\widetilde{\mathscr {D}}'\) and \(\widetilde{\mathscr {D}}\) provide categorical resolutions of \(Y'\) and Y, respectively. Clearly \(\widetilde{\mathscr {D}}_Q=\widetilde{\mathscr {D}} \cap {\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\), and we can easily verify that \(\mathbb {R}_{\widetilde{\mathscr {D}'}^\perp } \circ i_* = i_* \circ \mathbb {R}_{\widetilde{\mathscr {D}_Q}^\perp }\) on \({\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\), so that \(i_*\widetilde{\mathscr {D}}_Q=\widetilde{\mathscr {D}'} \cap i_*{\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\).
Consider now the classical generator \(\mathcal {T}\) of \(\ker (\sigma _*)\) given by Proposition 3.6. We need to prove that it is spherical in the category \(\widetilde{\mathscr {D}}\). Since \(\mathcal {T}\) belongs to \(\widetilde{\mathscr {D}}_Q\), the functors \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {T}, -)\) and \({{\,\textrm{Hom}\,}}^\bullet (-, \mathcal {T})\) on \(\widetilde{\mathscr {D}}\) take values in the category of finite-dimensional graded vector spaces, because so do they on \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) (see Example 2.15); this shows that \(\mathcal {T}\) satisfies condition (a) in Definition 2.10. For the other two conditions, we can reason as follows. By Example 2.15 and Lemma 2.16, the pair \((\widetilde{\mathscr {D}}_Q, \widetilde{\mathscr {D}})\) has a Serre functor \({{\,\mathrm{\mathbb {S}}\,}}\); moreover, we have
From the isomorphism \(i_* {{\,\mathrm{\mathbb {S}}\,}}(\mathcal {T})={{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}'}}(i_*\mathcal {T})\) and the full faithfulness of \(i_*\) on \(\widetilde{\mathscr {D}}_Q\) we deduce that conditions (c) and (b) in Definition 2.10 are satisfied by \(\mathcal {T}\) in \(\widetilde{\mathscr {D}}\) if and only if they are satisfied by \(i_*\mathcal {T}\) in \(\widetilde{\mathscr {D}}'\). Hence, the k-sphericalness of \(\mathcal {T}\) in \(\widetilde{\mathscr {D}}\) is equivalent to the k-sphericalness of \(i_*\mathcal {T}\) in \(\widetilde{\mathscr {D}'}\), which was proven in Proposition 3.7 and Proposition 3.8.
This concludes the proof of Theorem 1.1. In [19, Definition 3.5] another notion of crepancy was introduced in the categorical setting. A categorical resolution \(\widetilde{\mathscr {D}}\) of \(\mathscr {D}\) is strongly crepant if the relative Serre functor \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/\mathscr {D}}\) is isomorphic to the identity functor. We refer to [19, Section 3] for the definition of relative Serre functor. We only recall this notion in the case we consider, namely \(\mathscr {D}={\textbf{D}}^{\textrm{b}}(Y)\) with a categorical resolution \(\widetilde{\mathscr {D}} \subset {\textbf{D}}^{\textrm{b}}(\widetilde{Y})\), where \(\pi :\widetilde{Y} \rightarrow Y\) is a geometrical resolution of singularities: a functor \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y} :\widetilde{\mathscr {D}} \rightarrow \widetilde{\mathscr {D}}\) is a relative Serre functor if for every \(\mathcal {F}, \mathcal {G} \in \widetilde{\mathscr {D}}\) there is a bifunctorial isomorphism
In the next proposition, we show that the weakly crepant categorical resolution \(\widetilde{\mathscr {D}}\) provided by Proposition 3.5 is not strongly crepant when the quasiprojective variety Y with isolated nodal singularity has dimension at least 4. We stick with the notations of Remark 3.9: \(\sigma :\widetilde{Y}\rightarrow Y\) denotes the blow-up at the singular point, Q its exceptional divisor, \({\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\) the full triangulated subcategory of \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) consisting of complexes topologically supported on Q, and \(\widetilde{\mathscr {D}}_Q = \widetilde{\mathscr {D}} \cap {\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y})\). Recall that \(\mathbb {T}_{\omega _{\widetilde{Y}}} \circ [\dim (Y)]\) is a Serre functor for the pair \(({\textbf{D}}^{\textrm{b}}_Q(\widetilde{Y}), {\textbf{D}}^{\textrm{b}}(\widetilde{Y}))\), and induces a Serre functor \({{\,\mathrm{\mathbb {S}}\,}}\) for the pair \((\widetilde{\mathscr {D}}_Q, \widetilde{\mathscr {D}})\).
Proposition 3.10
The categorical resolution \(\widetilde{\mathscr {D}}\) admits a relative Serre functor \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}\), given by \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}=\mathbb {R}_{\widetilde{\mathscr {D}}^\perp }\circ \mathbb {T}_{\mathcal {O}((n-1)Q)}\).
-
(a)
For any \(\mathcal {F}\in \widetilde{\mathscr {D}}\) such that \(j^*\mathcal {F}\in \langle \mathcal {O}_Q \rangle \) we have \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}(\mathcal {F})=\mathcal {F}\).
-
(b)
For any \(\mathcal {F}\in \widetilde{\mathscr {D}}_Q\) we have \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}(\mathcal {F}) = {{\,\mathrm{\mathbb {S}}\,}}(\mathcal {F})[-\dim (Y)]\).
Therefore, if \(\mathcal {T}\) is the classical generator of the kernel computed in Proposition 3.6, we have \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}(\mathcal {T})=\mathcal {T}[2-\dim (Y)]\) if \(\dim (Y)\) is even and \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}(\mathcal {T})=\mathcal {T}[3-\dim (Y)]\) if \(\dim (Y)\) is odd. In particular, the categorical resolution \((\widetilde{\mathscr {D}}, \sigma _*, \sigma ^*)\) is not strongly crepant if \(\dim (Y) >3\).
Proof
The relative canonical bundle of \(\sigma \) is given by \(\omega _{\widetilde{Y}/Y}=\mathcal {O}_{\widetilde{Y}}((n-1)Q)\). By [19, Proposition 4.7], the relative Serre functor \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{Y}/Y}=\mathbb {T}_{\omega _{\widetilde{Y}/Y}}\) of \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) induces a relative Serre functor \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}\) on \(\widetilde{\mathscr {D}}\); its explicit expression, as well as and part (a), can be found in loc. cit . We prove part (b). Since \(j^* \omega _{\widetilde{Y}/Y} = j^*\omega _{\widetilde{Y}} \), for any \(\mathcal {G}\in {\textbf{D}}^{\textrm{b}}(Q)\) we have
Hence, for any \(\mathcal {F}\in \widetilde{\mathscr {D}}_Q\), we have
Therefore, as soon as \(\dim (Y)>3\), the relative Serre functor \({{\,\mathrm{\mathbb {S}}\,}}_{\widetilde{\mathscr {D}}/Y}\) is not the identity on the spherical object \(\mathcal {T}\in \widetilde{\mathscr {D}}_Q\), so the categorical resolution \(\widetilde{\mathscr {D}}\) is not strongly crepant. \(\square \)
We now deduce Theorems 1.5 from 1.1.
Theorem 3.11
If \(\mathscr {T}\) is a geometric nodal category, then \(\mathscr {T}\) is an abstract nodal category, i.e. there exists a categorical resolution \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow \mathscr {T}\) which is weakly crepant and whose kernel is classically generated by a single spherical object. Furthermore, \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow \mathscr {T}\) is a localization up to direct summands.
Proof
By hypothesis, there exists a quasiprojective variety Y which has only an isolated nodal singularity, and a semiorthogonal decomposition \({\textbf{D}}^{\textrm{b}}(Y)=\langle \mathscr {T},\mathscr {T}'\rangle \) with \(\mathscr {T}^{\textrm{perf}}\) not smooth. We claim that this forces \(\mathscr {T}'^{\textrm{perf}}\) to be smooth. For this, we look at the categories of singularities \({\textbf{D}}^{\textrm{sg}}(Y):={\textbf{D}}^{\textrm{b}}(Y)/{\textbf{D}}^{\textrm{perf}}(Y)\) and \(\mathscr {T}^\textrm{sg}:=\mathscr {T}/\mathscr {T}^\textrm{perf}\). By [26, §2, §3.3] and [28, Thm. 2.10] we know that \({\textbf{D}}^{\textrm{sg}}(Y)^{\oplus }\simeq {\textbf{D}}^{\textrm{sg}}(\mathbb {C}[z]/(z^2))\) if \(\dim (Y)\) is even, and \({\textbf{D}}^{\textrm{sg}}(Y)^{\oplus }\simeq {\textbf{D}}^{\textrm{sg}}(\mathbb {C}[x,y]/(xy))\) if \(\dim (Y)\) is odd. In the even dimensional case, following [26, §3.3], one sees that there exist non-zero morphisms between any pair of non-zero objects in \({\textbf{D}}^{\textrm{sg}}(\mathbb {C}[z]/(z^2))\). Hence the full subcategory \({\textbf{D}}^{\textrm{sg}}(Y)\subset {\textbf{D}}^{\textrm{sg}}(\mathbb {C}[z]/(z^2))\) admits no non-trivial semiorthogonal decomposition. But we have the semiorthogonal decomposition \({\textbf{D}}^{\textrm{sg}}(Y)=\langle \mathscr {T}^\textrm{sg},\mathscr {T}{'}^\textrm{sg}\rangle \) by [27, Prop. 1.10], so either \(\mathscr {T}^\textrm{sg}=0\) or \(\mathscr {T}{'}^\textrm{sg}=0\), as desired. In the odd dimensional case, the category \({\textbf{D}}^{\textrm{sg}}(\mathbb {C}[x,y]/(xy))\) is equivalent to the category of \(\mathbb {Z}/2\mathbb {Z}\)-graded finite-dimensional vector spaces, where the shift functor swaps the graded pieces cf. [15, Ex. 2.18], so we can conclude as before.
Let us assume that the dimension \(\dim (Y)\ge 2\) is even, the proof of the odd dimensional case is similar. Then, by Theorem 1.1, we know that there is a weakly crepant categorical resolution \(\sigma _*:\widetilde{\mathscr {D}}\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) whose kernel \(\ker (\sigma _*)\) is classically generated by a 2-spherical object \(\mathcal {S}\).
Let us denote by \(\imath :\mathscr {T}'\rightarrow {\textbf{D}}^{\textrm{b}}(Y)\) the embedding functor. As \(\mathscr {T}'\) is admissible, it has a left adjoint functor \(\imath ^*\) and a right adjoint functor \(\imath ^!\). We know that \(\imath (\mathscr {T}')\subset {\textbf{D}}^{\textrm{perf}}(Y)\) since \(\mathscr {T}'^{\textrm{perf}}=\mathscr {T}'\) by hypothesis. Then we see that the functor \(\sigma ^*\circ \imath :\mathscr {T}'\rightarrow \widetilde{\mathscr {D}}\) is fully-faithful. Moreover, this functor has the right adjoint \(\imath ^!\circ \sigma _*\), thus making \(\mathscr {T}'\) an admissible subcategory of \(\widetilde{\mathscr {D}}\). So we can consider the semiorthogonal decomposition \(\widetilde{\mathscr {D}}=\langle \widetilde{\mathscr {T}},\mathscr {T}'\rangle \), where \(\widetilde{\mathscr {T}}:=\mathscr {T}'^\perp \).
Now we claim that the restriction of \(\sigma _*\) to \(\widetilde{\mathscr {T}}\) provides a categorical resolution that satisfies the conditions in Definition 1.3. First, if \(\mathcal {F}\in \mathscr {T}\cap {\textbf{D}}^{\textrm{perf}}(Y)\) and \(\mathcal {G}\in \mathscr {T}'\subset \widetilde{\mathscr {D}}\), then \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {G},\sigma ^*\mathcal {F})={{\,\textrm{Hom}\,}}^\bullet (\sigma _*\mathcal {G},\mathcal {F})=0\), which implies that \(\sigma ^*\) maps \(\mathscr {T}^{\textrm{perf}}\) to \(\widetilde{\mathscr {T}}\). Second, if \(\mathcal {F}\in \widetilde{\mathscr {T}}\) and \(\mathcal {G}\in \mathscr {T}'\), then \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {G},\sigma _*\mathcal {F})={{\,\textrm{Hom}\,}}^\bullet (\sigma ^*\mathcal {G},\mathcal {F})=0\), which implies that \(\sigma _*\) maps \(\widetilde{\mathscr {T}}\) to \(\mathscr {T}\). Regarding adjointness and weak crepancy, let \(\mathcal {F}\in \mathscr {T}^{\textrm{perf}}\) and \(\mathcal {G}\in \widetilde{\mathscr {T}}\), and considering them as objects of \({\textbf{D}}^{\textrm{b}}(Y)\) and \(\widetilde{\mathscr {D}}\), respectively, we see that \({{\,\textrm{Hom}\,}}(\sigma ^*\mathcal {F},\mathcal {G})={{\,\textrm{Hom}\,}}(\mathcal {F},\sigma _*\mathcal {G})\) and \({{\,\textrm{Hom}\,}}(\mathcal {G},\sigma ^*\mathcal {F})={{\,\textrm{Hom}\,}}(\sigma _*\mathcal {G},\mathcal {F})\). In the same vein we have that \({{\,\textrm{id}\,}}_{\mathscr {T}^{\textrm{perf}}}\rightarrow \sigma _*\sigma ^*\) is an isomorphism.
By Theorem 1.1 we know that
is an equivalence onto its dense image. Since \(\sigma _*(\mathcal {S})=0\) and for \(\mathcal {G}\in \mathscr {T}'\) we have \({{\,\textrm{Hom}\,}}(\sigma ^*\mathcal {G},\mathcal {S})={{\,\textrm{Hom}\,}}(\mathcal {G},\sigma _*\mathcal {S})=0\), we see that \(\mathcal {S}\in \widetilde{\mathscr {T}}\). So, by the universal property of Verdier quotients, we can factor \(\sigma _*|_{\widetilde{\mathscr {T}}}:\widetilde{\mathscr {T}}\rightarrow \mathscr {T}\) via
Furthermore, by [27, Lemma 1.1] we have that the embedding \(\widetilde{\mathscr {T}}\subset \widetilde{\mathscr {D}}\) descends to a fully-faithful functor \(\widetilde{\mathscr {T}}/\langle \mathcal {S}\rangle ^{\oplus }\rightarrow \widetilde{\mathscr {D}}/\langle \mathcal {S}\rangle ^{\oplus }\), which implies that \(\overline{\sigma _*}\) is fully-faithful.
Using that \(\sigma _*(\mathscr {T}')\subset \mathscr {T}'\), we see that \({{\,\textrm{im}\,}}(\overline{\sigma _*})=\mathscr {T}\cap {{\,\textrm{im}\,}}(\sigma _*)\). We need to check that the idempotent completion of the latter is \(\mathscr {T}\). Since \(\sigma _*\sigma ^*={{\,\textrm{id}\,}}_{{\textbf{D}}^{\textrm{perf}}(Y)}\), we see that \({}^\perp \mathscr {T}=\mathscr {T}'\subset {{\,\textrm{im}\,}}(\sigma _*)\), which implies that
Since we know that \({{\,\textrm{im}\,}}(\sigma _*)^\oplus ={\textbf{D}}^{\textrm{b}}(Y)\), we get
Hence, since \(\mathscr {T}\) is idempotent complete, we conclude \(\mathscr {T}=({{\,\textrm{im}\,}}(\sigma _*)\cap \mathscr {T})^\oplus \), as desired. \(\square \)
4 Categorical resolutions of nodal cubic fourfolds
In this section we focus on the special case of a cubic fourfold \(Y \subset \mathbb {P}^5\) with a single isolated nodal singularity \(P\in Y\). Our goal is to prove Theorem 1.8 by applying Theorem 1.1.
4.1 Geometric setting
We first recall the geometric setting following [20, Section 5], which can be summarized in the diagram
On the left hand side, the point P is the nodal singular point and the morphism \(\sigma :\widetilde{Y}\rightarrow Y\) is the blow-up of Y at P; this yields the resolution of singularities \(\widetilde{Y}\), whose exceptional divisor Q is a smooth quadric of dimension 3. On the right hand side, the linear projection from P induces a regular map \(\pi :\widetilde{Y}\rightarrow \mathbb {P}^4\), which can be shown to be the blow-up of \(\mathbb {P}^4\) along a smooth K3 surface S that is a (2, 3)-complete intersection, cf. [20, Lemma 5.1]. We denote by D the exceptional divisor of the map \(\pi \), and write \(j:Q\hookrightarrow \widetilde{Y}\) and \(i:D\hookrightarrow \widetilde{Y}\) for the inclusions, as well as p for the restriction \(\pi |_D\).
Moreover, the restriction \(\pi |_Q\) identifies the divisor Q with the defining quadric of S in \(\mathbb {P}^4\). Also, the description of the map \(\pi \) shows that the surface S parametrizes the lines contained in Y passing through P. Such lines are contracted by the linear projection from P, and the divisor D is the union of their strict transforms in \(\widetilde{Y}\).
The following result clarifies the relation between Q, D, and S.
Lemma 4.1
The restriction \(p|_Q=\pi |_{Q\cap D}\) of the projection map \(\pi \) identifies \(Q\cap D \subset \widetilde{Y}\) with the K3 surface S. In other words, S is a retract of D and the diagram
is cartesian, where t denotes the inclusion of S into Q, and denotes the inclusion into D.
Proof
Recall that \(\pi |_Q\) is an isomorphism between Q and the defining quadric of S in \(\mathbb {P}^4\), and that \(\pi (D)=S\). Therefore the intersection \(Q\cap D\) is a closed subscheme of the pre-image \((\pi |_Q)^{-1}(S)\) in Q, which is a smooth K3 surface. Note that \(Q\cap D\) is non-empty since each line in Y passing through P provides a point contained in \(Q\cap D\). Then, by Krull’s principal ideal theorem, the dimension of \(Q\cap D\) is at least 2 everywhere. We conclude that \(Q\cap D\) coincides with the surface \((\pi |_Q)^{-1}(S)\). In other words, \(\pi |_{Q\cap D}\) identifies \(Q\cap D\) with the K3 surface S. \(\square \)
4.2 Computation of the kernel
We work in the geometric situation summarized in diagram (4.1). Let h be the class of a hyperplane in \(\mathbb {P}^4\), and H be the class of a hyperplane section of \(Y\subset \mathbb {P}^5\). By abuse of notation, we use the same notation for their pullbacks to \(\widetilde{Y}\).
Recall that \(\langle \mathcal {O}_Y,\mathcal {O}_Y(H),\mathcal {O}_Y(2H)\rangle \) is an exceptional sequence, so we have the semiorthogonal decomposition
where \(\mathscr {A}_Y:=\langle \mathcal {O}_Y, \mathcal {O}_Y(H), \mathcal {O}_Y(2H) \rangle ^\perp \). Now we consider two semiorthogonal decompositions of \({\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) arising from the two geometric interpretations of the variety \(\widetilde{Y}\), cf. [20, (16), (17)]. First, we apply Proposition 2.22 using the Lefschetz decomposition of \({\textbf{D}}^{\textrm{b}}(Q)\) from Theorem 2.35 to write
where \(\widetilde{\mathscr {D}}:={}^\perp \langle j_*\mathcal {O}_Q(-2h),j_*\mathcal {O}_Q(-h) \rangle \) is a weakly crepant resolution of \({\textbf{D}}^{\textrm{b}}(Y)\). Then we consider the decomposition of \(\widetilde{\mathscr {D}}\) induced by that of \({\textbf{D}}^{\textrm{b}}(Y)\) in (4.2). As Y has rational singularities, \(\sigma ^*:{\textbf{D}}^{\textrm{b}}(Y)\rightarrow \widetilde{\mathscr {D}}\) is fully faithful, cf. [19, Lemma 2.4], so the pullbacks of \(\mathcal {O}_Y\), \(\mathcal {O}_Y(H)\) and \(\mathcal {O}_Y(2H)\) along \(\sigma \) are an exceptional sequence in \(\widetilde{\mathscr {D}}\), and we obtain
Substituting this in the decomposition above, we get
Note that the residual category \(\widetilde{\mathscr {A}}_Y\) is a weakly crepant resolution of \(\mathscr {A}_Y\) by [20, Lemma 5.8]. On the other hand, since \(\widetilde{Y}\) is the blow-up of \(\mathbb {P}^4\) along the K3 surface S, we have by Orlov’s blow-up formula [25] that
where \(\Phi :{\textbf{D}}^{\textrm{b}}(S) \rightarrow {\textbf{D}}^{\textrm{b}}(\widetilde{Y})\) is given by \(\Phi =\mathbb {T}_{\mathcal {O}_{\widetilde{Y}}(D)} \circ i_* \circ p^*\). Recall that \(\mathbb {T}_{\mathcal {O}_{\widetilde{Y}}(D)}\) denotes the functor which twists by \(\mathcal {O}_{\widetilde{Y}}(D)\).
Using a series of mutations, one may relate these two decompositions and show that there is an equivalence , cf. [20, Corollary 5.7], so \({\textbf{D}}^{\textrm{b}}(S)\) is also a weakly crepant categorical resolution of \(\mathscr {A}_Y\). The equivalence is explicitly given by
Now, applying Proposition 3.6, the weakly crepant categorical resolution of \({\textbf{D}}^{\textrm{b}}(Y)\) given by \(\widetilde{\mathscr {D}}\) together with the restrictions of \(\sigma _*\) and \(\sigma ^*\) has kernel classically generated by \(j_*\mathcal {S}\). We show that the latter is also a classical generator of the kernel of \(\widetilde{\mathscr {A}}_Y \rightarrow \mathscr {A}_Y\). Since \(\widetilde{\mathscr {A}}_Y\) is an admissible subcategory, it is in particular thick, so it suffices to prove the following lemma.
Lemma 4.2
The object \(j_{*}\mathcal {S}\) lies in \({\widetilde{\mathscr {A}}}_Y\).
Proof
By Proposition 3.6, we have that \(j_{*}\mathcal {S}\) lies in \(\widetilde{\mathscr {D}}={}^\perp \langle j_{*}\mathcal {O}_{Q}(-2h), j_{*}\mathcal {O}_{Q}(-h) \rangle \). It now suffices to verify that \(j_*\mathcal {S}\in \left< \mathcal {O}_{\widetilde{Y}}, \mathcal {O}_{\widetilde{Y}}(H), \mathcal {O}_{\widetilde{Y}}(2H) \right>^\perp \).
Note that for all \(k\in \mathbb {Z}\) we have
since Q is the exceptional divisor of \(\sigma \) and the line bundle \(\mathcal {O}_{\widetilde{Y}}(kH)\) pulls back to the trivial line bundle on Q. \(\square \)
Next we describe \(j_*\mathcal {S}\) as an object in \({\textbf{D}}^{\textrm{b}}(S)\) using the left adjoint of \(\Phi ''\). The latter has been computed in [20, Remark 5.9], but beware of a misprint in loc. cit , so we provide here its correct expression.
Proposition 4.3
The left adjoint of \(\Phi ''\) is
Proof
Recall that if \(\mathcal {E}\) is an exceptional object in \({\textbf{D}}^{\textrm{b}}(X)\), where X is a smooth projective variety, then the functor \(\mathbb {R}_{{{\,\mathrm{\mathbb {S}}\,}}_X(\mathcal {E})}\) is right adjoint to \(\mathbb {L}_\mathcal {E}\), where \({{\,\mathrm{\mathbb {S}}\,}}_X\) is the Serre functor of \({\textbf{D}}^{\textrm{b}}(X)\). Using this fact and that the canonical class of \(\widetilde{Y}\) is \(-5h+D\), we obtain
Now we need to compute the left adjoint of \(p^*\). The canonical bundle of D is by adjunction
So we have \(\omega _D = i^*\mathcal {O}_{\widetilde{Y}}(-5h+2D)\). We compute the left adjoint of \(p^*\) using Grothendieck–Verdier duality
This shows that the left adjoint of \(p^*\) is \(p_*\circ \mathbb {T}_{i^*\mathcal {O}_{\widetilde{Y}}(-5h+2D)[1]}\). Putting everything together, we obtain
and thus
proving the statement. \(\square \)
We now identify \(\Psi (j_*\mathcal {S})\) as the restriction of the spinor bundle on Q to S.
Proposition 4.4
We have that \(\Psi (j_*\mathcal {S}) = t^*\mathcal {S}\), where \(t:S\rightarrow Q\) is the inclusion of S into the quadric Q which is embedded in \(\mathbb {P}^4\) via \(\pi \circ j\).
Proof
Note that the first two mutations in the formula of \(\Psi \) have no effect, since we have, using the relation \(D=3h-H\),
and similarly for the second mutation. Applying \(\mathbb {T}_{\mathcal {O}_{\widetilde{Y}}(-3h+D)}\), we get
The last step is to calculate \(p_*i^*j_*\mathcal {S}\). We consider the diagram
where the upper square is cartesian by Lemma 4.1. We prove \(i^*j_*=s_*t^*\) by checking the conditions of the base-change result Proposition 2.29. Indeed, as Q and \(\widetilde{Y}\) are smooth, they are Cohen–Macaulay. The closed immersion i of the exceptional divisor of the blow-up is by its very nature a local complete intersection in \(\widetilde{Y}\). Finally, we have \({{\,\textrm{codim}\,}}_{\widetilde{Y}}(D)={{\,\textrm{codim}\,}}_{D}(S)=1\). Thus we obtain
\(\square \)
We conclude this section with the proof of Theorem 1.8.
Proof of Theorem 1.8
By Theorem 1.1 and Lemma 4.2 we have that the kernel of \({\textbf{D}}^{\textrm{b}}(S) \rightarrow \mathscr {A}_Y\) is classically generated by \(j_*\mathcal {S}\). Then the statement follows from Proposition 4.4. \(\square \)
Availability of data and material
This paper has no associated data and material.
Notes
When \(\mathscr {T}\) is a triangulated category, we say in this article that \(\mathscr {T}^{\textrm{perf}}\) is smooth if \(\mathscr {T}\) can be realized as an admissible subcategory of the bounded derived category \({\textbf{D}}^{\textrm{b}}(X)\) of a smooth variety X. This means in particular that \(\mathscr {T}^{\textrm{perf}}=\mathscr {T}\) by [27, Proposition 1.10] and the fact that \({\textbf{D}}^{\textrm{perf}}(X)={\textbf{D}}^{\textrm{b}}(X)\).
If the category \(\mathscr {T}\) is not proper, one also requires that the functors \({{\,\textrm{Hom}\,}}^\bullet (\mathcal {E}, -)\) and \({{\,\textrm{Hom}\,}}^\bullet (-, \mathcal {E})\) on \(\mathscr {T}\) take values in the category of finite-dimensional graded vector spaces.
The terminology “categorical contraction” is preferred for this notion in [16, Definition 1.10].
References
Bruns, W., Herzog, J.: Cohen–Macaulay rings. Volume 39 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, rev. ed. edition (1998)
Bondal, A.I., Kapranov, M.M.: Representable functors, Serre functors, and mutations. Math. USSR-Izvestiya 35(3), 519 (1990)
Bondal, A., Orlov, D.: Reconstruction of a variety from the derived category and groups of autoequivalences. Compos. Math. 125(3), 327–344 (2001)
Bridgeland, T.: Flops and derived categories. Invent. Math. 147(3), 613–632 (2002)
Efimov, A.I.: Homotopy finiteness of some DG categories from algebraic geometry. J. Eur. Math. Soc. (JEMS) 22(9), 2879–2942 (2020)
Hartshorne, R.: Algebraic geometry. Graduate Texts in Mathematics, No. 52. Springer, New York, Heidelberg (1977)
Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II. Ann. Math. (2) 79, 109–203 (1964)
Hironaka, H.: Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II. Ann. Math (2) ibid. (2) 79, 205–326 (1964)
Huybrechts, D.: Fourier–Mukai Transforms in Algebraic Geometry. Clarendon Press, New York (2006)
Ishii, S.: Introduction to Singularities. Springer, Berlin (2018)
Kapranov, M.M.: On the derived categories of coherent sheaves on some homogeneous spaces. Invent. Math. 92(3), 479–508 (1988)
Kuznetsov, A., Lunts, V.A.: Categorical resolutions of irrational singularities. Int. Math. Res. Not. IMRN 13, 4536–4625 (2015)
Kollár, J.: Singularities of the Minimal Model Program, vol. 200. Cambridge University Press, Cambridge (2013)
Kuznetsov, A., Perry, A.: Homological projective duality for quadrics. J. Algebraic Geom. 30(3), 457–476 (2021)
Kalck, M., Pavic, N., Shinder, E.: Obstructions to semiorthogonal decompositions for singular threefolds. I: \(K\)-theory. Mosc. Math. J. 21(3), 567–592 (2021)
Kuznetsov, A., Shinder, E.: Categorical absorptions of singularities and degenerations. arXiv:2207.06477 (2022)
Kuznetsov, A., Shinder, E.: Homologically finite-dimensional objects in triangulated categories. arXiv:2211.09418 (2022)
Kuznetsov, A.G.: Hyperplane sections and derived categories. Izv. Ross. Akad. Nauk Ser. Mat. 70(3), 23–128 (2006)
Kuznetsov, A.: Lefschetz decompositions and categorical resolutions of singularities. Sel. Math. (N.S.) 13(4), 661–696 (2008)
Kuznetsov, A.: Derived categories of cubic fourfolds. In: Cohomological and Geometric Approaches to Rationality Problems, Volume 282 of Progress in Mathematics, pp. 219–243. Birkhäuser Boston, Boston (2010)
Kuznetsov, A.: Derived categories view on rationality problems. In: Rationality Problems in Algebraic Geometry, Volume 2172 of Lecture Notes in Mathematics, pp. 67–104. Springer, Cham (2016)
Kuznetsov, A.: Calabi–Yau and fractional Calabi–Yau categories. J. Reine Angew. Math. 753, 239–267 (2019)
Kuznetsov, A.: Derived categories of families of sextic del Pezzo surfaces. Int. Math. Res. Not. 2021(12), 9262–9339 (2021)
Mauri, M., Shinder, E.: Homological Bondal–Orlov localization conjecture for rational singularities. arXiv:2212.06786 (2022)
Orlov, D.O.: Projective bundles, monoidal transformations, and derived categories of coherent sheaves. Izv. Ross. Akad. Nauk Ser. Mat. 56(4), 852–862 (1992)
Orlov, D.O.: Triangulated categories of singularities and D-branes in Landau-Ginzburg models. In: Algebraic Geometry. Methods, Relations, and Applications. Collected Papers. Dedicated to the memory of Andrei Nikolaevich Tyurin, pp. 227–248. Maik Nauka/Interperiodica, Moscow (2004)
Orlov, D.O.: Triangulated categories of singularities and equivalences between Landau–Ginzburg models. Sb. Math. 197(12), 1827–1840 (2006)
Orlov, D.: Formal completions and idempotent completions of triangulated categories of singularities. Adv. Math. 226(1), 206–217 (2011)
Ottaviani, G.: Spinor bundles on quadrics. Trans. Am. Math. Soc. 307(1), 301–316 (1988)
Serre, J.-P.: Géométrie algébrique et géométrie analytique. Ann. l’inst. Fourier 6, 1–42 (1956)
Seidel, P., Thomas, R.: Braid group actions on derived categories of coherent sheaves. Duke Math. J. 108(1), 37–108 (2001)
Sung, B.: Remarks on the Bondal quiver. arXiv:2210.08638 (2022)
The Stacks Project Authors. Stacks Project. https://stacks.math.columbia.edu (2022)
Van den Bergh, M.: Non-commutative Crepant resolutions. In: Laudal, O.A., Piene, R. (eds.) The Legacy of Niels Henrik Abel, pp. 749–770. Springer, Berlin, Heidelberg (2004)
Acknowledgements
This project started at the Interactive Workshop and Hausdorff School “Hyperkähler Geometry” at the Mathematical Institute of the University of Bonn in September 2021. It is our pleasure to thank this institution and the organizers of the workshop for the very stimulating atmosphere. We are also grateful to Alex Perry who proposed the question of computing the kernel of the categorical resolution of a nodal cubic fourfold, motivating our working group. We thank Federico Barbacovi, Thorsten Beckmann, Daniel Huybrechts, Chunyi Li, Emanuele Macrì for interesting conversations related to this work. We also thank Alexander Kuznetsov and Evgeny Shinder for helpful comments on a draft of this article, and the referee for careful reading of the paper. WC was supported by the national research project PRIN 2017 Birational geometry and moduli spaces. FG was supported by the DFG through the research grant Le 3093/3-2. SL is funded by the CSC-Warwick scholarship and Royal Society URF\(\backslash \)R1\(\backslash \)201129 “Stability condition and application in algebraic geometry”. PM was supported by the Netherlands Organization for Scientific Research (NWO) under project number 613.001.752. LM was supported by the ERC Synergy Grant 854361 HyperK. LP was supported by the national research project PRIN 2017 Moduli and Lie Theory. JS was supported by a doctoral contract at Université Paris Cité.
Funding
Open access funding provided by Università degli Studi di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors read and approved the final manuscript. The author has no relevant financial or non-financial interests to disclose.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cattani, W., Giovenzana, F., Liu, S. et al. Kernels of categorical resolutions of nodal singularities. Rend. Circ. Mat. Palermo, II. Ser 72, 3077–3105 (2023). https://doi.org/10.1007/s12215-023-00895-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-023-00895-3