Abstract
We construct a Kawamata type semiorthogondal decomposition for the bounded derived category of coherent sheaves of nodal quintic del Pezzo threefolds, decomposing the bounded derived category into bounded derived categories of finite dimensional algebras. This is achieved by constructing birational maps from nodal quintic del Pezzo threefolds to quadric surface fibrations over the projective line.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The most interesting smooth Fano threefolds are the ones with Picard rank 1. Their derived categories are quite well known [17]. But much less is known about the derived categories of singular Fano threefolds. The first examples are given by Kawamata [11] for nodal del Pezzo threefolds of degree 6 and 8 (more details below). In both examples the threefolds have only one ordinary double point (or nodal point). It is an interesting and important question to understand the derived categories of other singular Fano threefolds and see what they look like when the Fano threefolds have multiple nodal points. In this paper we study the bounded derived category of coherent sheaves \(\textbf{D}^\textrm{b}(X)\) for nodal quintic del Pezzo threefolds X (terminal Gorenstein Fano threefolds of index 2 and degree 5) over an algebraically closed field \(\Bbbk \) of characteristic 0 and construct a Kawamata type semiorthogonal decomposition (KSOD) defined in [8, Definition 4.1] for Gorenstein projective varieties. This answers the question asked in [8, Example 4.16] about the existence of KSODs for these threefolds. A KSOD is an admissible semiorthogonal decomposition (SOD) of the type
where \(\mathcal {A}\) is a subcategory of \(\textbf{D}^{{\text {perf}}}(X)\), \(S_1, \dots , S_n\) are finite dimensional \(\Bbbk \)-algebras and \(\textbf{D}^\textrm{b}(S_i), 1\leqslant i\leqslant n\) are bounded derived categories of finitely generated right modules over \(S_i\). Here admissible means that the components of the SOD are admissible subcategories.
The classification of terminal Gorenstein del Pezzo threefolds of degree 5 states that they have only nodal singularities and the number of nodal points is at most 3. Moreover, the quintic del Pezzo threefold \(X_m\) with m nodes (\(0\leqslant m\leqslant 3\)) exists and is unique up to isomorphism for each m; see [21, Corollary 8.7]. The SOD of the derived category \(\textbf{D}^\textrm{b}(X_0)\) of the smooth quintic del Pezzo threefold is well known; see [17, Theorem 4.2]. It has a full exceptional collection of four objects. In this paper, we will focus on the singular threefolds \(X_m, 1\leqslant m\leqslant 3\) and show that two of the exceptional objects in the smooth case are replaced by derived categories of finite dimensional algebras. Furthermore, we will see that the construction of the SODs of \(\textbf{D}^\textrm{b}(X_m)\) is closely related to derived categories of a chain of m \(\mathbb {P}^1\)’s. For a chain of \(\mathbb {P}^1\)’s, there is a SOD as below.
Proposition 1.1
([6]) Let \(\Gamma \) be a chain of \(n+1\) \(\mathbb {P}^1\)’s. Then \(\textbf{D}^\textrm{b}(\Gamma ) =\langle \textbf{D}^\textrm{b}(R_n), \mathcal {O}_{\Gamma } \rangle \). Here \(R_0=\Bbbk \) and \(R_n, n\geqslant 1\) is the path algebra of quiver with relations
The main result of the paper is the construction of the following Kawamata type SODs, which indicates that \(\textbf{D}^\textrm{b}(X_m)\) behave in a similar way as \(\textbf{D}^\textrm{b}(\Gamma )\).
Theorem 4.8
Let \(X_m\) be the quintic del Pezzo threefolds with m nodes for \(m=1,2,3\). Then there is an admissible semiorthogonal decomposition
where \(R_0=\Bbbk \) and \(R_1, R_2\) are the path algebras defined by (1.2).
The reason we care about Kawamata type SODs for a singular scheme X is because it gives a complete decomposition of the “singular part" of \(\textbf{D}^\textrm{b}(X)\) in terms of finite dimensional algebras. More precisely, the singularity of \(\textbf{D}^\textrm{b}(X)\) is measured by the Orlov’s triangulated categories \(\textbf{D}_{{\text {sg}}}(X)\) of singularities, which is defined as the Verdier quotient of \(\textbf{D}^\textrm{b}(X)\) by the subcategory \(\textbf{D}^{{\text {perf}}}(X)\) of perfect complexes. In this sense Kawamata type SOD would induce a SOD of \(\textbf{D}_{{\text {sg}}}(X)\) by triangulated categories of singularities of finite dimensional algebras.
If a Kawamata type SOD does exist, one can further ask whether there exists a full exceptional collection for the subcategory \(\mathcal {A}\) in the SOD (1.1). In the main result the answer is yes with \(\mathcal {A}=\langle \mathcal {O}_{X_m}, \mathcal {O}_{X_m}(1)\rangle \). The known examples where \(\mathcal {A}\) has a full exceptional collection is provided in [8, §4]. In dimension 1, a chain of projective lines studied by Burban (see Proposition 1.1) is one family of such examples. In dimension 2, Karmazyn-Kuznetsov-Shinder [9] proved that a projective Gorenstein toric surface has a SOD of this kind if and only if it has the trivial Brauer group. Moreover, their method also provides some non-toric examples: the du Val sextic del Pezzo surfaces [14] and the du Val quintic del Pezzo surfaces [24]. In dimension 3, Kawamata [11] provides two such examples, the nodal quadric threefold and the nodal sextic del Pezzo threefold, by investigating the derived category of a threefold with an ordinary double point. More explicitly, Kawamata proved in [11, Theorem 6.1 and 5.1] that for certain threefolds X with an ordinary double point, the right (or left) orthogonal complement to \(\mathcal {A}\) in \(\textbf{D}^\textrm{b}(X)\) is equivalent to \(\textbf{D}^\textrm{b}(R_1)\) (see (1.2) for the definition of \(R_1\)). One notes that \(\textbf{D}^\textrm{b}(R_1)\) is also the right orthogonal complement to the structure sheaf in the derived category of a chain of two \(\mathbb {P}^1\)’s by Burban. This phenomena is expected by Knörrer periodicity [19, Theorem 2.1].
For a threefold X with multiple nodal points, one naturally wonders when the SOD (1.1) of \(\textbf{D}^\textrm{b}(X)\) exists and if it does exist, which algebras \(S_i\) will appear. It is already known by [8, Example 3.15 and 4.16] (see also [20, Corollary3.7]) that derived categories of nodal del Pezzo threefolds of degree between 1 and 4 do not have Kawamata type SODs. The main result of paper confirms that Kawamata type SODs do exist for degree 5. This is detailed in §4 and it uses a generalization of Kawamata’s result [11, Theorem 6.1 and 5.1] mentioned before, which is explained in Proposition 2.12, to produce a semiorthogonal component \(\textbf{D}^\textrm{b}(R_1)\) for threefolds with multiple nodal points. In detail, the derived category \(\textbf{D}^\textrm{b}(Y_1)\) of a resolution \(Y_1\) of \(X_1\) has a full exceptional collection and it descends to a SOD of \(\textbf{D}^\textrm{b}(X_1)\). The non-commutative algebra \(R_1\) appearing in the SOD of \(\textbf{D}^\textrm{b}(X_1)\) is the indication of the node. For \(X_2, X_3\) there are partial resolutions \(Y_2, Y_3\) of a chosen nodal point, respectively. We can prove that the derived category of a chain of m \(\mathbb {P}^1\)’s can be embedded into \(\textbf{D}^\textrm{b}(Y_m)\). This is how algebras \(R_1\) and \(R_{m-1}\) appear in the SOD of \(\textbf{D}^\textrm{b}(X_m)\) after descent, where \(R_1\) is obtained in the same way as the 1-nodal case \(X_1\) and \(R_{m-1}\) is the indication of the remaining nodal points.
It should be pointed out that Kawamata type SODs of \(\textbf{D}^\textrm{b}(X_m)\) constructed in this paper are certainly not unique. For example, there is another SOD for \(\textbf{D}^\textrm{b}(X_2)\) where the orthogonal complement of \(\langle \mathcal {O}_{X_2}, \mathcal {O}_{X_2}(1)\rangle \) is given by \(\langle \textbf{D}^\textrm{b}(\Bbbk ), \textbf{D}^\textrm{b}(R_2)\rangle \); see [20, Remark 3.13]. One would probably notice the asymmetry of the subcategory \(\langle \textbf{D}^\textrm{b}(R_1), \textbf{D}^\textrm{b}(R_2)\rangle \) in \(\textbf{D}^\textrm{b}(X_3)\). The nodal point corresponding to \(R_1\) is singled out because it is the chosen point that gets resolved. It is still unknown whether it is possible for \(\textbf{D}^\textrm{b}(X_3)\) to have \(\langle \textbf{D}^\textrm{b}(R_1), \textbf{D}^\textrm{b}(R_1), \textbf{D}^\textrm{b}(R_1) \rangle \) as the orthogonal complement of \(\langle \mathcal {O}_{X_3}\rangle \) (instead of \(\langle \mathcal {O}_{X_3}, \mathcal {O}_{X_3}(1)\rangle \)). On the other hand, if one allows differential graded algebras in the SOD, then the derived category \(\textbf{D}^\textrm{b}(R_n)\) with \(R_n, n\geqslant 1\) defined by (1.2) has a SOD with a copy of \(\textbf{D}^\textrm{b}(\Bbbk )\) and n copies of \(\textbf{D}^\textrm{b}(\Bbbk [\epsilon ]/\epsilon ^2)\), where \(\Bbbk [\epsilon ]/\epsilon ^2\) is the derived dual number with \(\deg (\epsilon )=-1\). As a consequence, \(\textbf{D}^\textrm{b}(X_m)\) has a symmetric SOD with 4 copies of \(\textbf{D}^\textrm{b}(\Bbbk )\) and m copies of \(\textbf{D}^\textrm{b}(\Bbbk [\epsilon ]/\epsilon ^2)\). Since \(X_m\) can be realized as codimension 3 linear sections of \({\text {Gr}}(2,5)\) (detailed in Sect. 3), these symmetric SODs also follow from the Homological Projective Duality theory, where the case for the smooth quintic del Pezzo threefold \(X_0\) is done in [13, §6.1].
The key step of our construction of the Kawamata type SOD, which is interesting by itself, is the study of a quadric surface fibration with fibers of corank 2. This method has been formalized and generalized in the subsequent paper [25]. More explicitly, the partial resolution \(Y_3\) of \(X_3\) at a nodal point is a quadric surface fibration \(p_3:Y_3\rightarrow \mathbb {P}^1\) over \(\mathbb {P}^1\). Because \(p_3\) has a fiber of corank 2, the non-trivial component of \(\textbf{D}^\textrm{b}(Y_3)\) is not well understood by known results. We show in Proposition 4.4 that the non-trivial component is equivalent to the derived category of a chain of three \(\mathbb {P}^1\)’s. In this paper the proof is obtained by explicit computation. But the essential reason for such an equivalence is that \(p_3:Y_3\rightarrow \mathbb {P}^1\) has a smooth section (each point of the section is a smooth point on the fiber) and a more theoretical proof is given in [25, Example 6.1].
1.1 Organization of the paper
In Sect. 2 we provide background materials used in the paper. In Sect. 2.1 we review Clifford algebras and spinor sheaves of a quadratic form. In Sect. 2.2 we introduce derived push-forward and pull-back functors for derived categories of noncommutative projective schemes and prove the projection formula (Lemma 2.5). In Sect. 2.3 we present results on the derived push-forward functor of a proper morphism with fibers of dimension at most 1 and explain in Proposition 2.11 how to descend SODs via the derived push-forward functor. We also provide a generalization of Kawamata’s result in Proposition 2.12 that produces a non-trivial semiorthogonal component in the derived category of a projective threefold with multiple nodes.
In Sect. 3 we study the geometry of \(X_m\) and realize that there exists a small resolution \(Y_m\) of \(X_m\) at one of the nodal points and \(Y_m\) is a quadric surface fibration over \(\mathbb {P}^1\); see Proposition 3.3. Concretely, let x be a nodal point of \(X_m\) and let \(T_x X_m \cong \mathbb {P}^4\subset \mathbb {P}^6\) be the embedded projective tangent space of \(X_m\) at x. Then the linear projection \(\phi _m:X_m\dashrightarrow \mathbb {P}^1\) from \(T_x X_m\) factors as \(f_m^{-1}\circ p_m\) where \(f_m:Y_m\rightarrow X_m\) is a small resolution of \(X_m\) at x and \(p_m:Y_m\rightarrow \mathbb {P}^1\) is a quadric surface fibration.
In Sect. 4 we study \(\textbf{D}^\textrm{b}(X_m)\) using the geometric model constructed in Sect. 3. The SOD of derived categories of quadric fibrations has been constructed by Kuznetsov [12]; see (4.1) for the SOD. The key step to understand \(\textbf{D}^\textrm{b}(Y_m)\) is to understand the nontrivial component \(\textbf{D}^\textrm{b}(\mathbb {P}^1, \mathcal {B}_{m,0})\), where \(\mathcal {B}_{m,0}\) is the even part of the Clifford algebra of \(p_m:Y_m \rightarrow \mathbb {P}^1\). They are well understood when \(m=1,2\) because in these cases, fibers of \(p_m\) have corank at most 1. A new argument is used for \(m=3\) where we show in Proposition 4.4 that \(\textbf{D}^\textrm{b}(\mathbb {P}^1, \mathcal {B}_{3,0})\) is equivalent to the derived category of a chain of three \(\mathbb {P}^1\)’s. From here we use Proposition 2.11 and 2.12 to descend the SOD of \(\textbf{D}^\textrm{b}(Y_m)\) to a SOD of \(\textbf{D}^\textrm{b}(X_m)\) along \(f_{m*}:\textbf{D}^\textrm{b}(Y_m) \rightarrow \textbf{D}^\textrm{b}(X_m)\). One additional important ingredient is that for the exceptional locus \(E\cong \mathbb {P}^1\) of \(f_m:Y_m\rightarrow X_m\), its structure sheaf \(\mathcal {O}_E\) has a Koszul resolution given by a regular section of the spinor bundle \(\mathcal {S}_E\) associated with E (see Proposition 2.2 (ii) and note that E is a smooth section of \(p_m\)).
1.2 Related work
In preparation of the paper we learned that Pavic-Shinder [20] are working on the same subject via a different approach. They study \(\textbf{D}^\textrm{b}(X_m)\) using a different rational map coming from \(X_m\). In detail, they choose a line \(L\subset X_m\) in the smooth locus and consider the linear projection \(X_m\dashrightarrow \mathbb {P}^4\) from L. The image of the map is a smooth or nodal 3-dimensional quadric \(Q^3\) and the map \(X_m\dashrightarrow Q^3\) factors as the inverse of the blow-up \(Y\cong {\text {Bl}}_L(X_m)\rightarrow X_m\) followed by the blow-up \(Y={\text {Bl}}_C (Q^3)\rightarrow Q^3\) along a nodal curve C of arithmetic genus 0. In comparison, the rational map \(\phi _m:X_m\dashrightarrow \mathbb {P}^1\) we used in this paper is a linear projection onto a line in the smooth locus of \(X_m\).
1.3 Notations
We will use the following notations and conventions throughout the paper.
Given an algebraic scheme X, we denote by \(\textbf{D}^\textrm{b}(X)\) the bounded derived category of coherent sheaves on X. Denote by \(\textbf{D}^-(X)\), \(\textbf{D}(X)\) and \(\textbf{D}^{{\text {perf}}}(X)\) the bounded above, unbounded derived categories of coherent sheaves and derived categories of perfect complexes (quasi-isomorphic to a bounded complex of locally free sheaves of finite rank), respectively. Given a morphism \(f:X\rightarrow Y\), we denote by \(f_*\) and \(f^*\) the total derived push-forward and pull-back functors, respectively. The underived push-forward and pull-back functors will be denoted by \(R^0f_*\) and \(L_0f^*\), respectively.
Given a noncommutative projective scheme \((X, \mathcal {A}_X)\) introduced in Definition 2.4, denote by \({\text {Coh}}(X, \mathcal {A}_X)\) and \({\text {QCoh}}(X, \mathcal {A}_X)\) the abelian categories of, respectively, coherent and quasi-coherent sheaves with right \(\mathcal {A}_X\)-module structures. Note that when \(\mathcal {A}_X=\mathcal {O}_X\), the pair \((X, \mathcal {A}_X)\) is the usual scheme.
The base field \(\Bbbk \) is an algebraically closed field of characteristic 0.
Let \(\Gamma \) be a chain of n \(\mathbb {P}^1\)’s. Let \(\Gamma _i\) be the i-th component of \(\Gamma \) and \(d_i\in \mathbb {Z}, 1\leqslant i\leqslant n\). Denote by
-
\(\mathcal {O}_{\Gamma }\{d_1,\dots , d_n\}\) the line bundle on \(\Gamma \) whose restriction to \(\Gamma _i\) is \(\mathcal {O}_{\Gamma _i}(d_i)\).
We will provide a geometric model for nodal quintic del Pezzo threefolds \(X_m\) in Proposition 3.3 and it will be used across the paper. For the convenience of the reader we include a summary of related notations below.
-
\(X_m\) is the quintic del Pezzo threefold with m nodes for \(m=1, 2, 3\);
-
\(f_m:Y_m\rightarrow X_m\) is a small resolution of a nodal point where \(f_m\) contracts a smooth rational curve E to the nodal point;
-
\(p_m:Y_m\rightarrow \mathbb {P}^1\) is a quadric surface fibration, where E is a smooth section (consists of smooth points of the fibers) and the normal bundle \(N_{E/Y_m}\cong \mathcal {O}_E(-1)^2\);
-
Let \(\mathcal {E}=\mathcal {O}_{\mathbb {P}^1}\oplus \mathcal {O}_{\mathbb {P}^1}(-1)^3\) and \(\mathcal {L}=\mathcal {O}_{\mathbb {P}^1}(-1)\). Let \(\pi :\mathbb {P}(\mathcal {E})\rightarrow \mathbb {P}^1\) be the projection. Then the total space \(Y_m\) of the quadric surface fibration \(p_m\) is the zero locus of a global section
$$\begin{aligned} \sigma _m \in \Gamma (\mathbb {P}(\mathcal {E}), \mathcal {O}_{\mathbb {P}(\mathcal {E})/\mathbb {P}^1}(2)\otimes \pi ^*\mathcal {L}) \cong \Gamma (\mathbb {P}^1, {\text {Sym}}^2(\mathcal {E}^\vee ) \otimes \mathcal {L}) \end{aligned}$$on \(\mathbb {P}(\mathcal {E})\) where \(\mathcal {E}^\vee \) is the dual of \(\mathcal {E}\) and \({\text {Sym}}^2\) is the second symmetric product. The exceptional locus E of \(f_m:Y_m\rightarrow X_m\) is the projectivization of \(\mathcal {O}_{\mathbb {P}^1}\subset \mathcal {E}\).
Denote by
-
\(i_m:Y_m\hookrightarrow \mathbb {P}(\mathcal {E})\) the embedding (\(p_m=\pi \circ i_m\));
-
\(\delta \in \Gamma (\mathbb {P}(\mathcal {E}), \mathcal {O}_{\mathbb {P}(\mathcal {E})/\mathbb {P}^1}(1)\otimes \pi ^*\mathcal {E}) \cong \Gamma (\mathbb {P}^1, \mathcal {E}^\vee \otimes \mathcal {E})\) the section corresponding to the identity of \({\text {End}}(\mathcal {E})\);
-
\(\mathcal {B}_{m,0}\) the sheaf of even part of the Clifford algebra of the quadric fibration \(p_m:Y_m\rightarrow \mathbb {P}^1\);
-
\(\mathcal {B}_{m,1}\) the sheaf of odd part of the Clifford algebra of \(p_m\);
-
\(\mathcal {Z}_m\) the central subalgebra \(\mathcal {O}_{\mathbb {P}^1}\oplus \Lambda ^4\mathcal {E}\otimes (\mathcal {L}^2)^\vee \) of \(\mathcal {B}_{m,0}\);
-
\(g_m:C_m={\text {Spec}}_{\mathbb {P}^1}(\mathcal {Z}_m) \rightarrow \mathbb {P}^1\) the double cover ramified along the degeneration locus of \(p_m\);
-
\(\widetilde{\mathcal {B}_{m, 0}}\) the unique sheaf of algebra over \(C_m\) such that \(g_{m*}(\widetilde{\mathcal {B}_{m,0}}) \cong \mathcal {B}_{m,0}\) as sheaves of \(\mathcal {Z}_m\)-algebras.
Note that the algebra structures of coherent sheaves \(\mathcal {B}_{m,0}\), \(\mathcal {B}_{m,1}\), \(\widetilde{\mathcal {B}_{m,0}}\), \(\mathcal {Z}_m\), the degeneration locus of \(p_m:Y_m\rightarrow \mathbb {P}^1\) and therefore the map \(g_m:C_m\rightarrow \mathbb {P}^1\) depend on the global section \(\sigma _m\) defining the quadric surface fibration \(p_m\).
2 Preliminaries
2.1 Clifford algebras and spinor sheaves
In this section we review the Clifford algebra of a quadric hypersurface and spinor sheaves associated with linear subspaces of a quadric hypersurface, with a focus on quadric surfaces. Spinor sheaves on singular quadrics are studied by Addington in [1]. He follows the convention that spinor bundles on smooth quadrics are generated by global sections; e.g., the spinor bundle on \(\mathbb {P}^1\) is \(\mathcal {O}(1)\). Similarly, spinor sheaves of a quadric fibration can be constructed and they are used to study derived categories of nodal quintic del Pezzo threefolds in Sect. 4.
Let V be a \(\Bbbk \)-vector space and let q be a quadratic form on V. The Clifford algebra of q is
where \(T^\bullet (V)\) is the free associative algebra generated by V. We view \(T^\bullet (V)\) as a graded algebra with elements of V having degree 1. Then \(B_q\) has a natural \(\mathbb {Z}/2\)-grading: the even part \(B_{q0}\) is spanned by monomials of even degrees and the odd part \(B_{q1}\) is spanned by monomials of odd degrees.
Let W be an isotropic subspace of V, that is, \(q|_W=0\). Then the subalgebra of \(B_q\) generated by W is \(\Lambda ^\bullet W\). Let \(I^W\) be the right ideal \((\Lambda ^{\dim W} W) \cdot B_q\) of \(B_q\) generated by \(\Lambda ^{\dim W} W\). Let \(I^W=I^W_0\oplus I^W_1\) be the decomposition into the even part \(I^W_0\) and the odd part \(I^W_1\). Consider the map of vector bundles
where \(\mathcal {O}_{\mathbb {P}(V)}(-1)\) is regarded as the universal subbundle of \(\mathcal {O}_{\mathbb {P}(V)}\otimes V\). We use \(\delta ^W(n)\) to denote the map obtained by tensoring \(\delta ^W\) with \(\mathcal {O}_{\mathbb {P}(V)}(n)\). Since \(\delta ^W(n+1)\circ \delta ^W(n)=q\) for every n, we have \(\delta ^W\) is an isomorphism away from the quadric \(Q=\{q=0\} \subset \mathbb {P}(V)\). Because \(\textrm{ker}{(\delta ^W)}\) is torsion and \(\mathcal {O}_{\mathbb {P}(V)}(-1)\otimes I_{W}\) is torsion free, we have \(\delta ^W\) is injective. Hence, there are short exact sequences
where \(\delta ^W=\delta ^W_0 \oplus \delta ^W_1\) and \(S_W:={\text {coker}}{(\delta ^W_0)}, T_W:={\text {coker}}{(\delta ^W_1)}\) are supported on Q. The map \(\delta ^W_1\) can be induced from \(\delta ^W_0\) because
In particular, \(I^W_1 \cong I^W_0\otimes _{B_{q0}} B_{q1}\). There are resolutions on Q for \(S_W\) (and similarly for \(T_W\)):
The sheaves \(S_{W}, T_{W}\) constructed here are called the spinor sheaves of Q associated with the linear subspace \(\mathbb {P}(W)\subset Q\). They are the generalization of spinor bundles on smooth quadrics. Similarly for a flat quadric fibration \(\mathcal {Q}\subset \mathbb {P}(\mathcal {V}) \rightarrow S\) and an isotropic subbundle \(\mathcal {W}\subset \mathcal {V}\), one can construct spinor sheaves \(\mathcal {S}_{\mathcal {W}}, \mathcal {T}_{\mathcal {W}}\) of \(\mathcal {Q}\) associated with \(\mathbb {P}(\mathcal {W})\subset \mathcal {Q}\). For details of this construction, see [25, §2.2].
Proposition 2.1
([1, Proposition 2.1 and 4.1]) The spinor sheaves \(S_{W}, T_{W}\) constructed by (2.1) are reflexive sheaves on Q. Let \(K\subset V\) be the kernel of q; i.e., the singular locus of Q is \(\mathbb {P}(K)\). We have
-
(i)
if \(\mathbb {P}(K)\cap \mathbb {P}(W)=\emptyset \) and \({\text {codim}}(W)>1\), then \(S_{W}, T_{W}\) are locally free sheaves of rank \(2^{{\text {codim}}(W)-2}\) on Q;
-
(ii)
if \({\text {codim}}(W)\) is odd, then \(S_{W}^\vee \cong S_{W}(-1)\) and \(T_W^\vee \cong T_W(-1)\);
-
(iii)
if \({\text {codim}}(W)\) is even, then \(S_{W}^\vee \cong T_{W}(-1)\).
The sheaves \(S_W, T_W\) are unchanged when we vary W continuously with \(W\cap K\) fixed. They are not isomorphic when the family of W with fixed \(\dim W\) and \(W\cap K\) is not connected. Let \(\pi :V\rightarrow V/K\) be the projection map. Then we have \(S_W\ncong T_W\) when \(\dim \pi (W)= \frac{1}{2}\dim V/K\) because there are two connected families of W, and \(S_W\cong T_W\) when \(\dim \pi (W)< \frac{1}{2} \dim V/K\).
For the rest of the section we will focus on \(\dim V=4\).
Proposition 2.2
-
(i)
Let \(Q=\{q=0\}\subset \mathbb {P}(V)\cong \mathbb {P}^3\) be a reduced quadric surface; i.e., it has corank at most 2. For a smooth point \(x\in Q\), let \(S_x\) be the spinor sheaf for the corresponding 1-dimension isotropic subspace constructed by (2.1). Then \(S_x\) is a rank 2 vector bundle on Q such that \(S_x^\vee \cong S_x(-1)\) and the skyscraper sheaf \(\mathcal {O}_x\) has a resolution:
$$\begin{aligned} 0\rightarrow \det (S_x(-1)) \rightarrow S_x(-1) \rightarrow \mathcal {O}_Q \rightarrow \mathcal {O}_x\rightarrow 0. \end{aligned}$$(2.3) -
(ii)
Let \(p:\mathcal {Q}\rightarrow S\) be a flat quadric surface fibration with fibers of corank at most 2 and let \(q:\mathcal {V}\rightarrow \mathscr {L}\) be the corresponding quadratic form. Assume that the base scheme S is Cohen-Macaulay and there exists an isotropic sub line bundle \(\mathcal {N}\subset \mathcal {V}\) such that \(F=\mathbb {P}(\mathcal {N})\subset \mathcal {Q}\) is a smooth section; i.e., F consists of smooth points on the fibers. Then the spinor sheaf \(\mathcal {S}_F\) associated with F is a rank 2 vector bundle on \(\mathcal {Q}\) such that
$$\begin{aligned} \mathcal {S}_F^\vee \cong \mathcal {S}_F \otimes \mathcal {O}_{\mathcal {Q}/S}(-1)\otimes p^*(\mathcal {N}^\vee \otimes \det (\mathcal {V}^\vee )\otimes \mathscr {L}) \end{aligned}$$and there is a Koszul resolution
$$\begin{aligned} 0\rightarrow \det (\mathcal {S}_F^\vee ) \rightarrow \mathcal {S}_F^\vee \rightarrow \mathcal {O}_{\mathcal {Q}}\rightarrow \mathcal {O}_F\rightarrow 0. \end{aligned}$$
Proof
-
(i)
Let \(W=\Bbbk v\) be the 1-dimensional isotropic subspace of V that corresponds to x. Then \(S_x=S_{W}\). By Proposition 2.1\(S_x\) is a rank 2 vector bundle on Q and \(S_x^\vee \cong S_x(-1)\). Explicitly, we have the following three cases.
-
(1)
Q is smooth: \(Q\cong \mathbb {P}^1\times \mathbb {P}^1\) and \(S_x\cong \mathcal {O}_{\mathbb {P}^1\times \mathbb {P}^1}(1,0) \oplus \mathcal {O}_{\mathbb {P}^1\times \mathbb {P}^1}(0,1)\).
-
(2)
Q is of corank 1: Q is the cone over a smooth conic \(C\cong \mathbb {P}^1\). Let \(y\in Q\) be the vertex. Let \(\pi _y:Q-\{y\} \rightarrow C\) be the projection and let \(j_y:Q-\{y\} \hookrightarrow Q\) be the open embedding. Denote the rank 1 spinor sheaf \(R^0j_{y*}\pi _y^* \mathcal {O}_{\mathbb {P}^1}(1)\) on Q by M. Then \(S_x\) is the unique nontrivial extension of M by M; cf. [10, Example 5.5].
-
(3)
Q is of corank 2: Q is the union of two \(\mathbb {P}^2\)’s intersecting along \(\mathbb {P}^1\). Since x is a smooth point, x is not a point on the intersection \(\mathbb {P}^1\). Denote the \(\mathbb {P}^2\) containing x by \(\mathbb {P}^2_1\) and the \(\mathbb {P}^2\) not containing x by \(\mathbb {P}^2_2\). Denote by \(i_l:\mathbb {P}^2_l\hookrightarrow Q\) the inclusions for \(l=1,2\). Then using the sequences (2.1) defining spinor sheaves, one gets \(L_0i_1^*S_x\cong T_{\mathbb {P}^2_1}(-1)\) where \(T_{\mathbb {P}^2_1}\) is the tangent bundle and \(L_0i_2^*S_x \cong \mathcal {O}_{\mathbb {P}^2_2}\oplus \mathcal {O}_{\mathbb {P}^2_2}(1)\).
Let \(\{v_i\}_{i=1}^4\) be an orthogonal basis of V for q such that \(v_1=v\). Let \(s_v\in H^0(Q, S_x)\) be the section corresponding to the map \(\mathcal {O}_Q v \subset \mathcal {O}_Q \otimes I^W_1\rightarrow S_{W}=S_x\) from (2.2). Note that the composition \(\mathcal {O}_Qv\rightarrow S_x \rightarrow \mathcal {O}_Q(1)\otimes I^W_0\) is given by the column vector \((v_2, v_3, v_4, 0)\). Thus, the zero locus of \(s_v\) is \(\{v_2=v_3=v_4=0\}=\{x\}\). Because both the codimension of the point x and the rank of \(S_x\) are 2, this implies that \(s_v\) is a regular section and the skyscraper sheaf \(\mathcal {O}_x\) has the Kozsul resolution (2.3).
-
(1)
-
(ii)
Let \(\mathcal {B}_{q0}\) and \(\mathcal {B}_{q1}\) be the even and odd Clifford algebras of q, respectively. Let \(\mathcal {I}_0\subset \mathcal {B}_{q0}\), \(\mathcal {I}_1\subset \mathcal {B}_{q1}\) be right modules over \(\mathcal {B}_{q0}\) generated by \(\mathcal {N}\). We have decompositions
$$\begin{aligned} \mathcal {B}_{q0} \cong \mathcal {O}_S \oplus \Lambda ^2 \mathcal {V}\otimes \mathscr {L}^\vee \oplus \det \mathcal {V}\otimes (\mathscr {L}^2)^\vee , \quad \mathcal {B}_{q1} \cong \mathcal {V}\oplus \Lambda ^3 \mathcal {V}\otimes \mathscr {L}^\vee . \end{aligned}$$Taking the parts that have the factor \(\mathcal {N}\) gives the decompositions
$$\begin{aligned} \mathcal {I}_0 \cong \mathcal {N}\otimes \mathcal {V}/\mathcal {N}\otimes \mathscr {L}^\vee \oplus \det \mathcal {V}\otimes (\mathscr {L}^2)^\vee , \quad \mathcal {I}_1 \cong \mathcal {N}\oplus \mathcal {N}\otimes \Lambda ^2 (\mathcal {V}/\mathcal {N})\otimes \mathscr {L}^\vee . \end{aligned}$$Moreover, one has
$$\begin{aligned} \mathcal {I}_n^\vee \cong \mathcal {I}_{1-n}^\circ \otimes \mathcal {N}^\vee \otimes \det \mathcal {V}^\vee \otimes \mathscr {L}^2 \end{aligned}$$(2.4)for \(n=0,1\) where \(\mathcal {I}_n^\circ \) are the left modules over \(\mathcal {B}_{q0}\) generated by \(\mathcal {N}\) and \(\mathcal {I}_n^\circ \cong \mathcal {I}_n\) as \(\mathcal {O}_S\)-modules. For \(n\in \mathbb {Z}\) let
$$\begin{aligned} \mathcal {I}_n:=\left\{ \begin{array}{ll} \mathcal {I}_0\otimes \mathscr {L}^k, &{} n=2k,\\ \mathcal {I}_1\otimes \mathscr {L}^k, &{} n=2k+1. \end{array} \right. \end{aligned}$$The relative version of (2.2) reads as
$$\begin{aligned} \begin{aligned}&\dots \rightarrow \mathcal {O}_{\mathcal {Q}/S}(-1)\otimes p^*\mathcal {I}_0\rightarrow p^* \mathcal {I}_1\rightarrow \mathcal {S}_F\rightarrow 0,\\&0\rightarrow \mathcal {S}_F\rightarrow \mathcal {O}_{\mathcal {Q}/S}(1)\otimes p^*\mathcal {I}_2\rightarrow \mathcal {O}_{\mathcal {Q}/S}(2)\otimes p^*\mathcal {I}_3\rightarrow \cdots . \end{aligned} \end{aligned}$$Taking the dual of the second sequence, one gets
$$\begin{aligned} \dots \rightarrow \mathcal {O}_{\mathcal {Q}/S}(-2)\otimes p^*\mathcal {I}_3^\vee \rightarrow \mathcal {O}_{\mathcal {Q}/S}(-1)\otimes p^*\mathcal {I}_2^\vee \rightarrow \mathcal {S}_F^\vee \rightarrow 0. \end{aligned}$$Since \(\mathcal {I}_3^\vee \cong \mathcal {I}_1^\vee \otimes \mathscr {L}^\vee \) and \(\mathcal {I}_2^\vee \cong \mathcal {I}_0^\vee \otimes \mathscr {L}^\vee \), combining with (2.4) we have \(\mathcal {S}_F^\vee \cong \mathcal {S}_F \otimes \mathcal {O}_{\mathcal {Q}/S}(-1)\otimes p^*(\mathcal {N}^\vee \otimes \det (\mathcal {V}^\vee )\otimes \mathscr {L})\). The proof for the Koszul resolution is the same to that of (i). Note that the choice of the regular section \(s_v\in H^0(Q, S_x)\) is canonical and thus the argument can be extended to the fibration case.
\(\square \)
Lastly, we include the following computation of even Clifford algebras for later reference.
Example 2.3
Let \(q(x)=x_1x_2+q'(x_3,x_4)\) be a quadratic form of V with \(\dim V=4\). Then q is the direct sum of the hyperbolic quadratic form \(u=x_1x_2\) and \(q'\). We get
where \(M_2\) is the matrix algebra of size 2.
Up to a change of variables \(q'(x_3, x_4)\) is of the form \(\lambda x_3^2+ \mu x_4^2\) for some \(\lambda , \mu \in \Bbbk \). The symmetric matrix corresponding to q is
Let \(\{v_1, v_2, e_3, e_4\}\) be a dual basis of \(\{x_i\}_{i=1}^4\). Then we have
If we set \(e_1=v_1+v_2\) and \(e_2=v_2-v_1\), then \(\{e_i\}_{i=1}^4\) is an orthogonal basis of V for q; i.e.,
Moreover, we have \(q(e_1)=1\) and \(q(e_2)=-1\).
Let \(d=e_1e_2e_3e_4\in B_q\). Then \(Z_q :=\Bbbk 1 \oplus \Bbbk d \cong \Bbbk [d]/(d^2-\det (q))\) is a central subalgebra of \(B_{q0}\). If \(q'(x_3,x_4)=0\), then
If \(q'(x_3, x_4)\ne 0\), then there exists \(v_3\in \Bbbk e_3\oplus \Bbbk e_4\) such that \(q(v_3)=1\). In this case,
where \(s=e_1e_2, \, t=e_2v_3\). Morever, \(B_{q0} \cong {\text {M}}_2(Z_q)\) and an explicit identification is given by
Under this identification we have
Furthermore,
2.2 Noncommutative projective schemes
In this section we introduce noncommutative projective schemes in the sense of pairs of projective schemes together with sheaves of algebras. We will define the derived push-forward and pull-back functors of a morphism and prove the projection formula (Lemma 2.5) in this setting. The generalization to noncommutative schemes in the sense of pairs of noetherian schemes together with sheaves of algebras is given in Appendix A of [25].
Definition 2.4
A pair \((X, \mathcal {A}_X)\) is a noncommutative projective scheme over \(\Bbbk \) if X is a projective scheme over \(\Bbbk \) and \(\mathcal {A}_X\) is a quasi-coherent \(\mathcal {O}_X\)-module and sheaf of \(\mathcal {O}_X\)-algebras. A morphism \(\Theta =(\theta , \theta _{\mathcal {A}}):(X, \mathcal {A}_X)\rightarrow (Y, \mathcal {A}_Y)\) of noncommutative projective schemes over \(\Bbbk \) consists of a morphism \(\theta :X\rightarrow Y\) of schemes and a homomorphism \(\theta _{\mathcal {A}}:L_0\theta ^*\mathcal {A}_Y\rightarrow \mathcal {A}_X\) of \(\mathcal {O}_X\)-algebras.
Following the same lines after Definition 10.3 in [16], there is the derived functor
For every \(G\in {\text {QCoh}}(Y, \mathcal {A}_Y)\),
Since Y is projective, there is a locally free \(\mathcal {O}_Y\)-module \(\mathcal {V}\) (of finite rank if G is a coherent \(\mathcal {O}_Y\)-module) and an \(\mathcal {O}_Y\)-module epimorphism \(\mathcal {V}\overset{s}{\twoheadrightarrow }\ G\). Thus, there is a right \(\mathcal {A}_Y\)-module epimorphism
from the locally free \(\mathcal {A}_Y\)-module \(\mathcal {V}\otimes \mathcal {A}_Y\). This means that \({\text {QCoh}}(Y, \mathcal {A}_Y)\) has enough locally free objects. By Lemma 13.29.1 and the proof of Lemma 20.26.12 in [22], for every complex \(G\in \textbf{D}({\text {QCoh}}(Y,\mathcal {A}_Y))\), there is a locally free resolution \(K\in \textbf{D}({\text {QCoh}}(Y,\mathcal {A}_Y))\). We can define the derived functor \(\Theta ^*\) of \(L_0\Theta ^*\) by
This gives a well-defined functor
It is clear that \(\Theta ^*\) is a left adjoint of \(\Theta _*\).
Lemma 2.5
(Projection formula) Let \(\Theta =(\theta , \theta _{\mathcal {A}}):(X, \mathcal {A}_X)\rightarrow (Y, \mathcal {A}_Y)\) be a morphism between noncommutative projective schemes defined by Definition 2.4. For every \(F\in \textbf{D}({\text {QCoh}}(X, \mathcal {A}_X^{{\text {op}}}))\) and \(G\in \textbf{D}({\text {QCoh}}(Y, \mathcal {A}_Y))\) the natural map
is an isomorphism in \(\textbf{D}({\text {QCoh}}(Y))\).
Proof
There exists a natural map
because \(\Theta ^*\) commutes with derived tensor functors and \((\Theta ^*, \Theta _*)\) are adjoint. Applying the adjointness again gives (2.8). Let \(T\subset \textbf{D}({\text {QCoh}}(Y, \mathcal {A}_Y))\) be the full triangulated subcategory of objects G such that (2.8) is an isomorphism. We will prove that \(T= \textbf{D}({\text {QCoh}}(Y, \mathcal {A}_Y))\).
Note that \(\textbf{D}({\text {QCoh}}(Y))\) has a compact generator \(U\in \textbf{D}^{{\text {perf}}}(Y)\) by [5, Theorem 3.1.1] and is cocomplete (admits arbitrary direct sums). Then \(\textbf{D}({\text {QCoh}}(Y, \mathcal {A}_Y))\) has a compact generator \(U\otimes \mathcal {A}_Y\) and is also cocomplete. Clearly \(U\otimes \mathcal {A}_Y\in T\) and T is closed under arbitrary direct sums because \(\Theta ^*, \Theta _*, \otimes _{\mathcal {A}_Y}^\mathbb {L}, \otimes _{\mathcal {A}_X}^\mathbb {L}\) all commute with direct sums. We deduce from [18, Theorem 2.2c] that \(T=\textbf{D}({\text {QCoh}}(Y, \mathcal {A}_Y))\). \(\square \)
We end the section with a few simple examples. Let X be a projective scheme.
Example 2.6
Let \(\mathcal {V}\) be a vector bundle on X. Then \(\mathcal {V}\) is a locally projective left module over \(\mathscr {E}\hspace{-1.0pt}nd(\mathcal {V})\) and there is the Morita equivalence \(\textbf{D}(X)\cong \textbf{D}(X, \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}))\) given by inverse equivalences \(\mathcal {V}^\vee \otimes _{\mathcal {O}_X} -\) and \(-\otimes _{\mathscr {E}\hspace{-1.0pt}nd(\mathcal {V})} \mathcal {V}\).
Example 2.7
Let \(\mathcal {C}\) be a coherent sheaf of commutative algebras on X. Then \(\textbf{D}(X,\mathcal {C})\cong \textbf{D}({\text {Spec}}(\mathcal {C}))\).
Example 2.8
Let \(\mathcal {B}\) be a coherent sheaf of algebras on X and let \(\mathcal {C}\) be a central subalgebra of \(\mathcal {B}\); i.e., \(\mathcal {C}\) is contained in the center of \(\mathcal {B}\). Let \(f:{\text {Spec}}(\mathcal {C})\rightarrow X\) be the natural map and let \(\widetilde{\mathcal {B}}\) be the unique sheaf of algebras on \({\text {Spec}}(\mathcal {C})\) such that \(f_*\widetilde{\mathcal {B}}\cong \mathcal {B}\) as sheaves of \(\mathcal {C}\)-algebras. Then \(\textbf{D}(X, \mathcal {B})\cong \textbf{D}({\text {Spec}}(\mathcal {C}), \widetilde{\mathcal {B}})\).
2.3 Some facts about derived categories
We first provide a useful lemma that provides an easy criterion for semiorthogonal decompositions of derived categories of Gorenstein projective schemes to be admissible and provides a mutation for such decompositions.
Recall that given a map \(f:X\rightarrow S\), a triangulated subcategory \(\mathcal {A}\subset \textbf{D}^\textrm{b}(X)\) is called S-linear if \(\mathcal {F}\otimes f^*\mathcal {G}\in \mathcal {A}\) for every \(\mathcal {F}\in \mathcal {A}\) and \(\mathcal {G}\in \textbf{D}^{{\text {perf}}}(S)\). A semiorthogonal decomposition of \(\textbf{D}^\textrm{b}(X)\) is S-linear if each component is S-linear, and is admissible if each component is admissible.
Lemma 2.9
Let \(f:X\rightarrow S\) be a map between Gorenstein projective schemes. Assume that there is an S-linear semiorthogonal decomposition
such that all but one components are contained in \(\textbf{D}^{{\text {perf}}}(X)\); i.e., there exists some t, \(1\leqslant t\leqslant n\) such that \(\mathcal {A}_j\subset \textbf{D}^{{\text {perf}}}(X)\) for every \(j\ne t\). Then the relative dualizing sheaf \(\omega _{X/S}\) is a line bundle and the semiorthogonal decomposition (2.9) is admissible. In addition, there is an admissible S-linear semiorthogonal decomposition
Proof
Since X, S are Gorenstein projective, dualizing sheaves \(\omega _X, \omega _S\) are line bundles. Then \(\omega _{X/S}\) is a line bundle because \(\omega _{X/S}\cong \omega _X\otimes f^*\omega _S^\vee \). Set \(\mathcal {A}=\langle \mathcal {A}_1, \dots , \mathcal {A}_{n-1} \rangle \). By assumption we have \(\mathcal {A}\) or \(\mathcal {A}_n\) is contained in \(\textbf{D}^{{\text {perf}}}(X)\). Then by [8, Lemma 2.15] \(\mathcal {A}_n\) is admissible and there is a SOD
which by definition is S-linear. Since \(\omega _X\cong \omega _{X/S}\otimes f^*\omega _S\) and \(\mathcal {A}_n\) is S-linear, we have \(\mathcal {A}_n\otimes \omega _X\cong \mathcal {A}_n\otimes \omega _{X/S}\). This gives the SOD (2.10). Repeating this process, we get \(\mathcal {A}_i\) is admissible for each \(i, 1\leqslant i\leqslant n\) and an S-linear SOD
Thus, (2.9) (2.10) are admissible SODs. \(\square \)
In the next two propositions we present the behavior of the derived push-forward functor of certain proper morphism with fibers of dimension at most 1 and how it induces semiorthogonal decompositions.
Proposition 2.10
([2, Theorem 7.13]) Let \(\gamma :Y\rightarrow X\) be a proper morphism of normal varieties over \(\Bbbk \) with fibers of dimension at most 1 such that (the derived push-forward) \(\gamma _* \mathcal {O}_Y \cong \mathcal {O}_X\). Let \(X^1\) be the locus of X where fibers of \(\gamma \) are one-dimensional and assume that \(X^1\) is a finite set of points. For each closed point \(x\in X^1\), let \(C_x:=\gamma ^{-1}(x)_{\text {red}}\) be the reduced fiber over x and let \(C_{x,i}\) be its irreducible components. Denote by \(l_{x,i}:C_{x,i}\hookrightarrow Y\) the embeddings. Then each \(C_{x,i}\) is a smooth rational curve and \(\gamma _*:\textbf{D}^\textrm{b}(Y) \rightarrow \textbf{D}^\textrm{b}(X)\) is a Verdier quotient with kernel \(\textrm{ker}(\gamma _*)=\langle l_{x, i*} \mathcal {O}_{C_{x, i}}(-1) \rangle _{x\in X^1}\); i.e., we have an equivalence \(\textbf{D}^\textrm{b}(Y)/\textrm{ker}(\gamma _*)\cong \textbf{D}^\textrm{b}(X)\).
Proof
The condition \(\gamma _* \mathcal {O}_Y \cong \mathcal {O}_X\) implies that \(H^1(C_x, \mathcal {O}_{C_x})=0\) for every \(x\in X^1\). Note that the base field \(\Bbbk \) is assumed to be algebraically closed. Thus, \(C_{x,i}\) is a smooth rational curve by [3, Theorem D.1].
Now we prove the claims for the derived push-forward functor \(\gamma _*\). Since the fibers of \(\gamma :Y\rightarrow X\) have dimension at most 1, the spectral sequence \(R^i\gamma _*\mathcal {H}^j(\mathcal {F})\Rightarrow R^{i+j}\gamma _*\mathcal {F}\), where \(\mathcal {H}^j\) is the cohomology sheaf in degree j, degenerates and we have short exact sequences
This implies that \(\textrm{ker}(\gamma _*)\) is generated by \(\textrm{ker}(\gamma _*)\cap {\text {Coh}}(Y)\). Since the one-dimensional fibers of \(\gamma \) are isolated by assumption, every \(\mathcal {F}\in \textrm{ker}(\gamma _*)\cap {\text {Coh}}(Y)\) is the direct sum of sheaves supported on \(C_x, x\in X^1\). Together with Proposition 7.12 in [2] this implies that \(\textrm{ker}(\gamma _*)\cap {\text {Coh}}(Y)\) has finite length. Therefore, Theorem 7.13 in [2] implies that \(\textrm{ker}(\gamma _*)=\langle l_{x, i*} \mathcal {O}_{C_{x, i}}(-1) \rangle _{x\in X^1}\).
For the equivalence of the induced functor \(\textbf{D}^\textrm{b}(Y)/\textrm{ker}(\gamma _*)\rightarrow \textbf{D}^\textrm{b}(X)\), we use an argument similar to [4, Theorem2.14]. We will make use of the canonical truncation functors \(\tau ^{\leqslant p}, \tau ^{\geqslant p}\). The sequence (2.11) implies that if \(\tau ^{\leqslant p} \mathcal {G}=0\) for \(\mathcal {G}\in \textbf{D}^\textrm{b}(X)\), then
We deduce from this that \(\gamma _*\) is essentially surjective. Finally, we claim that for \(\mathcal {F}, \mathcal {F}'\in \textbf{D}^\textrm{b}(Y)\),
is a bijection. The inverse map is constructed as follows. Choose p such that \(\tau ^{\leqslant p} \mathcal {F}=0\) and \(\tau ^{\leqslant p-1}\mathcal {F}'=0\). A map \(f:\gamma _*\mathcal {F}\rightarrow \gamma _*\mathcal {F}'\) gives a map
Let K be the cone of \(\gamma ^*\gamma _* \mathcal {F}\rightarrow \mathcal {F}\), which is bounded above but not necessarily bounded. Taking \(\mathcal {G}=\gamma _*\mathcal {F}\) in (2.12) we get
Since \(\mathcal {F}\cong \tau ^{\geqslant p}\mathcal {F}\), we get \(\gamma _*\tau ^{\geqslant p} K=0\) and thus \(\tau ^{\geqslant p} K\in \textrm{ker}(\gamma _*)\). This implies that the map g corresponds to a map \(\mathcal {F}\rightarrow \mathcal {F}'\) in the Verdier quotient \(\textbf{D}^\textrm{b}(Y)/\textrm{ker}(\gamma _*)\). \(\square \)
It is explained in [9, §2] how one can induce a SOD of the derived category of a surface with rational singularities from a SOD of the derived category of its resolution. We claim that it can be applied to a proper morphism of dimension at most 1.
Proposition 2.11
Let \(\gamma :Y\rightarrow X\) be the map in Proposition 2.10. Suppose there is a semiorthogonal decomposition
and assume that for every irreducible component \(C_{x,i}, x\in X^1\), there exists some \(j, 1\leqslant j \leqslant n\) such that \(\mathcal {O}_{C_{x, i}}(-1)\in \widetilde{\mathcal {A}}_j\).
-
(i)
There is a semiorthogonal decomposition
$$\begin{aligned} \textbf{D}^\textrm{b}(X) =\langle \mathcal {A}_1, \dots , \mathcal {A}_n \rangle \end{aligned}$$(2.14)where \(\mathcal {A}_i = \gamma _*(\widetilde{\mathcal {A}}_i)\cong \widetilde{\mathcal {A}}_i/(\widetilde{\mathcal {A}}_i\cap \textrm{ker}(\gamma _*))\).
-
(ii)
Assume that Y is Gorenstein projective and all but one components of (2.13) are contained in \(\textbf{D}^{{\text {perf}}}(Y)\). Let \(K_Y\) be the canonical Cartier divisor. If \(K_Y. C_{x_i,j}=0\) for every i, j, then the SOD (2.14) is admissible.
Proof
-
(i)
By [15, Proposition 4.1], it suffices to show that \(\textrm{ker}(\gamma _*)\subset \textbf{D}^\textrm{b}(Y)\) is compatible with (2.13); i.e., there is a SOD
$$\begin{aligned} \textrm{ker}(\gamma _*) = \langle \textrm{ker}(\gamma _*)\cap \widetilde{\mathcal {A}}_1, \dots , \textrm{ker}(\gamma _*)\cap \widetilde{\mathcal {A}}_n \rangle . \end{aligned}$$Clearly the collection on the right hand side is semiorthogonal. It generates \(\textrm{ker}(\gamma _*)\) by Proposition 2.10 and the assumption.
-
(ii)
Since \(K_Y. C_{x_i,j}=0\) for every i, j, we have if \(E\in D_i\), then \(\mathcal {O}_E(-1)\in \widetilde{\mathcal {A}}_i(\pm K_Y)\). Moreover, by Lemma 2.9 (take S as a point) we get SODs
$$\begin{aligned} \begin{aligned}&\textbf{D}^\textrm{b}(Y)= \langle \widetilde{\mathcal {A}}_{i+1}(K_Y), \dots , \widetilde{\mathcal {A}}_n(K_Y), \widetilde{\mathcal {A}}_1, \dots , \widetilde{\mathcal {A}}_i \rangle ,\\&\textbf{D}^\textrm{b}(Y)= \langle \widetilde{\mathcal {A}}_i, \dots , \widetilde{\mathcal {A}}_n, \widetilde{\mathcal {A}}_1(-K_Y), \dots , \widetilde{\mathcal {A}}_{i-1}(-K_Y) \rangle \end{aligned} \end{aligned}$$for every i. Theses SODs of \(\textbf{D}^\textrm{b}(Y)\) also induce SODs of \(\textbf{D}^\textrm{b}(X)\) via \(\gamma _*\) by (i). Thus, each \(\mathcal {A}_i\cong \gamma _*(\widetilde{\mathcal {A}}_i)\) is both left and right admissible, which concludes (ii).
\(\square \)
We also provide a generalization of the criterion given by Kawamata in [11] for the descent of SODs. This will be used to descend the SOD of \(\textbf{D}^\textrm{b}(Y_m)\) in Corollary 4.6 to a SOD of \(\textbf{D}^\textrm{b}(X_m)\) in Theorem 4.8.
Proposition 2.12
([11, Theorem 6.1 and 5.1]) Let X be a Gorenstein projective 3-fold. Assume that X is smooth away from a finite number of nodal points \(\{a_1, \dots , a_n\}\). Suppose that there is a projective birational morphism \(f:Y\rightarrow X\) such that the exceptional locus E of f is a smooth rational curve, \(f(E)=a_1\) and Y is smooth away from \(\{a_2, \dots , a_n\}\); i.e., f is a partial small resolution of X at the nodal point \(a_1\). Assume that there are Cartier divisors \(D_1, D_2\) on Y such that, for \(N_i:=R^0f_*\mathcal {O}_Y(D_i), i=1,2\), the following conditions are satisfied:
-
(1)
\(D_1.E=1\), \(D_2.E=-1\);
-
(2)
\(\{N_1, N_2\}\) is a simple collection; i.e., \(\dim {\text {Hom}}(N_i, N_j)=\delta _{ij}\) for \(1\leqslant i, j\leqslant 2\);
-
(3)
\(H^p(X, R^0f_*\mathcal {O}_Y(D_i-D_j))=0\) for all \(p>0\) and \(1\leqslant i, j\leqslant 2\);
Then there are locally free sheaves \(F_1, F_2\) of rank 2 on X given by non-trivial extensions
Let \(F=F_1\oplus F_2\) and let \(\langle N_i\rangle _{i=1}^2\) be the triangulated subcategories of \(\textbf{D}^\textrm{b}(X)\) generated by \(N_i\). Then
-
(i)
\({\text {Ext}}^p(F,F)=0\) for all \(p>0\), \({\text {End}}(F)\) is isomorphic to the path algebra \(R_1\) defined by (1.2), and F is flat over \(R_1\);
-
(ii)
The functor \(\Phi =-\otimes _{R_1} F:\textbf{D}^\textrm{b}(R_1) \rightarrow \textbf{D}^\textrm{b}(X)\) is fully faithful and it induces an equivalence \(\textbf{D}^\textrm{b}(R_1) \cong \langle N_i\rangle _{i=1}^2\).
Proof
-
(i)
Note that the path algebra \(R_1\) is isomorphic to \(R=\left( \begin{array}{cc} \Bbbk &{} \Bbbk t \\ \Bbbk t &{} \Bbbk \end{array} \right) \) mod \(t^2\) in [11, Theorem 6.1]. The same proof in loc. cit. concludes (i).
-
(ii)
It follows from the proof in [11, Theorem 5.1(1)]. Let \(\Psi ={\text {RHom}}(F,-):\textbf{D}^\textrm{b}(X)\rightarrow \textbf{D}^\textrm{b}(R_1)\). Then \(\Psi \) is the right adjoint of \(\Phi \) and \(\Psi \circ \Phi \) is the identity, which implies that \(\Phi \) is fully faithful. Note that \(\textbf{D}^\textrm{b}(R_1)\) is a triangulated category generated by its simple modules (one for each vertex in the quiver) and their images under \(\Phi \) are \(N_1, N_2\). This gives the equivalence.
One should note that the assumptions that X has just one nodal point and Y is smooth in [11, Theorem 6.1] are only needed to prove that \(N_1\oplus N_2\) generates the triangulated category of singularities \(\textbf{D}_{{\text {sg}}}(X)\). \(\square \)
3 Geometry of Nodal Quintic Del Pezzo threefolds
In this section we will describe the nodal quintic del Pezzo threefolds \(X_m\) in a way that their derived categories can be understood. In short, there is a small resolution \(f_m:Y_m\rightarrow X_m\) at a nodal point and \(p_m:Y_m\rightarrow \mathbb {P}^1\) is a quadric surface fibration.
Definition 3.1
A quintic del Pezzo threefold is a normal integral projective threefold X with at worst terminal Gorenstein singularities such that \(-K_X\) is ample, divisible by 2 and \((-K_X/2)^3=5\).
The classification indicates that the quintic del Pezzo threefolds have at worst nodal singularities and have at most 3 nodal points. The quintic del Pezzo threefold \(X_m\) with m nodes (\(0\leqslant m\leqslant 3\)) exists and is unique up to isomorphism for each m by [21, Corollary 8.7]. Moreover, they can be realized as codimension 3 linear sections of \({\text {Gr}}(2,5)\) embedded into \(\mathbb {P}^9\) via Plücker embedding. Let X be a codimension 3 linear section of \({\text {Gr}}(2,5)\). For a generic choice of the linear section X is smooth. We first give a general discussion about when X is a quintic del Pezzo threefold \(X_m, 0\leqslant m\leqslant 3\) and then describe the singular \(X_m, 1\leqslant m \leqslant 3\) as explicit linear sections in Lemma 3.2.
Let \(V_5\) be a 5-dimensional \(\Bbbk \)-vector space and let \(L\subset \Lambda ^2 V_5^\vee \) be a 3-dimensional subspace where \(V_5^\vee \) is the dual vector space. Denote the orthogonal complement by \(L^\perp :=\textrm{ker}(\Lambda ^2 V_5\rightarrow L^\vee )\). Let \(X={\text {Gr}}(2, V_5) \cap \mathbb {P}(L^\perp )\).
-
(1)
X is the smooth quintic del Pezzo threefold \(X_0\) if and only if \(\mathbb {P}(L)\cap {\text {Gr}}(2, V_5^\vee )=\emptyset \); see [16, Example 6.1].
-
(2)
Assume that \(L\subset \Lambda ^2 V^\vee \) is a generic subspace such that \(\mathbb {P}(L)\cap {\text {Gr}}(2, V_5^\vee )\) is a disjoint union of m points for \(m=1,2,3\). Then X is the nodal quintic del Pezzo threefold \(X_m\) with m nodes.
In Case (2) there is a one-to-one correspondence between the points on \(\mathbb {P}(L)\cap {\text {Gr}}(2, V_5^\vee )\) and the nodal points on X as we now explain. Let H be a hyperplane of \(\mathbb {P}(\Lambda ^2 V)\) corresponding to a point \(p_H\in \mathbb {P}(L)\cap {\text {Gr}}(2, V_5^\vee )\). Let \(\mathbb {P}_H\) be the singular locus of \({\text {Gr}}(2, V_5) \cap H\). Represent the point \(p_H\) by a 2-dimensional subspace \(A_2\) of \(V_5^\vee \) and let \(B_3:=\textrm{ker}{(V_5\rightarrow A_2^\vee )}\). Then \(\mathbb {P}_H \cong {\text {Gr}}(2, B_3) \cong \mathbb {P}^2\) and \(\mathbb {P}_H\cap X\) is the node on X corresponding to \(p_H\).
From now on, we focus on singular \(X_m\) for \(1 \leqslant m \leqslant 3\). Recall that \({\text {Gr}}(2,5)\) is the intersection of 5 quadrics in \(\mathbb {P}^9\). Denote the coordinates of \(\mathbb {P}^9=\mathbb {P}(\Lambda ^2 V_5)\) by \(\{x_{ij}\}_{1\leqslant i<j\leqslant 5}\). Then \({\text {Gr}}(2,5)\) is defined by the Plücker equations \(\{x_{ij}x_{kl}-x_{ik}x_{jl}+x_{il}x_{jk}=0\}\) for \(1\leqslant i<j<k<l\leqslant 5\).
Lemma 3.2
The quintic del Pezzo threefold \(X_m\) with m nodes for \(1\leqslant m\leqslant 3\) can be described by the following codimension 3 linear sections of \({\text {Gr}}(2,5)\):
-
(1)
\(X_1\cong {\text {Gr}}(2,5)\cap \{x_{45}=x_{23}+x_{14}=x_{13}+x_{25}=0\}\) and it has one node \(a_1\);
-
(2)
\(X_2 \cong {\text {Gr}}(2,5)\cap \{x_{45}=x_{23}=x_{13}+x_{14}+x_{25}=0\}\) and it has two nodes \(a_1, a_2\);
-
(3)
\(X_3 \cong {\text {Gr}}(2,5)\cap \{x_{45}=x_{23}=x_{13}+x_{14}=0\}\) and it has three nodes \(a_1, a_2, a_3\)
where \(a_1, a_2, a_3\) are points on \(\mathbb {P}^9\) such that all coordinates are 0 except for \(x_{12}, x_{15}, x_{25}\), respectively.
Proof
One can check directly that the linear sections in (1)-(3) have only nodal singularities at the given points \(a_i\). Hence, they are quintic del Pezzo threefolds and the isomorphisms follow from the uniqueness of quintic del Pezzo threefolds with m nodes for \(1\leqslant m\leqslant 3\). \(\square \)
We will construct a birational morphism resolving the singularities of \(X_m\) at the node \(a_1\). We start with a general set-up and then use Lemma 3.2 to apply to \(X_m\).
Let \(x=[V_2]\in {\text {Gr}}(2,V_5)\) be a fixed point that is represented by a 2-dimensional subspace \(V_2\) of \(V_5\). Consider the natural rational map
sending \([W_2]\) to its image in \(V_5/V_2\). Then the base locus of \(\phi \) is \(\{[W_2]\in {\text {Gr}}(2,V_5)\,|\, W_2\cap V_2\ne 0\}\) or equivalently the union of lines in \({\text {Gr}}(2, V_5)\) that contain x. This is a cone over \(\mathbb {P}^1\times \mathbb {P}^2\) with vertex x. Moreover, \(\phi \) is a linear projection from the embedded projective tangent space \(T_x {\text {Gr}}(2,V_5) \cong \mathbb {P}^6\subset \mathbb {P}^9\) of \({\text {Gr}}(2,V_5)\) at x. Let H be a hyperplane of \(\mathbb {P}(\Lambda ^2 V_5)\) corresponding to a point on
These are the hyperplanes H where \(T_x{\text {Gr}}(2,V_5)\subset H\), or equivalently x is contained in the singular locus of \({\text {Gr}}(2, V_5)\cap H\). The rational map \(\phi \) (3.1) restricts to a linear projection
from \({\text {Gr}}(2, V_5)\cap T_x{\text {Gr}}(2,V_5) \subset {\text {Gr}}(2, V_5)\cap H\). Blowing up \({\text {Gr}}(2, V_5)\cap H\) along the base locus \({\text {Gr}}(2, V_5)\cap T_x{\text {Gr}}(2,V_5)\) of \(\phi _H\) gives the resolution of indeterminancy
where the exceptional locus of f is \({\text {Gr}}_{\mathbb {P}^1}(2, \mathcal {O}_{\mathbb {P}^1}^3)\cong \mathbb {P}^2\times \mathbb {P}^1\) and f restricted to \({\text {Gr}}_{\mathbb {P}^1}(2, \mathcal {O}_{\mathbb {P}^1}^3)\) is a trivial \(\mathbb {P}^1\)-bundle over the singular locus \(\mathbb {P}^2\) of \({\text {Gr}}(2, V_5)\cap H\).
Alternatively, if we represent \(H=[A_2]\in {\text {Gr}}(2, V_5^\vee )\) by a 2-dimensional subspace \(A_2\) of \(V_5^\vee \) and let \(B_3=\textrm{ker}(V_5\rightarrow A_2^\vee )\), then
Since \([A_2]\in {\text {Gr}}(2, (V_5/V_2)^\vee )\), we have \(V_2\subset B_3\). Using this description we have
and maps f, p are given as
Using the descriptions of \(X_m\) in Lemma 3.2, we take \(x=a_1\) (i.e., \(V_2\) is generated by the basis \(e_1, e_2\) with \(e_1\wedge e_2=x_{12}\)) and \(H=\{x_{45}=0\}\). We get that \(X_m\subset H\) for \(1\leqslant m\leqslant 3\), the target \(\mathbb {P}(\Lambda ^2 (V_5/V_2))\) of the map \(\phi \) (3.1) is \(\mathbb {P}^2_{x_{34}, x_{35}, x_{45}}\) and the singular locus of \({\text {Gr}}(2,5)\cap H\) is \(\mathbb {P}^2_{x_{12}, x_{13}, x_{23}}\).
Proposition 3.3
Let \(\phi _m:X_m\dashrightarrow \mathbb {P}^1\) be the restriction of the rational map \(\phi _H\) (3.2) for \(1\leqslant m\leqslant 3\). Let \(Y_m=f^{-1}(X_m)\). Let \(f_m=f|_{Y_m}:Y_m\rightarrow X_m\) and \(p_m=p|_{Y_m}:Y_m\rightarrow \mathbb {P}^1\) be the respective restrictions of maps in (3.3). By construction we have \(\phi _m=p_m\circ f_m^{-1}\) and the following descriptions hold.
-
(i)
The map \(f_m:Y_m\rightarrow X_m\) is a birational morphism that resolves the singularity of a nodal point \(a_1\in X_m\) and contracts a smooth rational curve E on \(Y_m\) to \(a_1\), and the map \(p_m:Y_m\rightarrow \mathbb {P}^1\) is a quadric surface fibration where E is a smooth section (consists of smooth points on the fibers). In particular, \(Y_m\) has \(m-1\) nodal points and is Gorenstein. The fibers of \(p_m, m=1,2\) are quadrics of corank at most 1 (smooth or a cone over a smooth quadric) and \(p_3\) has a fiber of corank 2.
-
(ii)
Let \(\mathcal {E}=\mathcal {O}_{\mathbb {P}^1}\oplus \mathcal {O}_{\mathbb {P}^1}(-1)^3\) and \(\mathcal {L}=\mathcal {O}_{\mathbb {P}^1}(-1)\). Let \(\pi :\mathbb {P}(\mathcal {E})\rightarrow \mathbb {P}^1\) be the projection. Then the total space \(Y_m\) of the quadric surface fibration \(p_m\) is the zero locus of a global section
$$\begin{aligned} \sigma _m \in \Gamma (\mathbb {P}(\mathcal {E}), \mathcal {O}_{\mathbb {P}(\mathcal {E})/\mathbb {P}^1}(2)\otimes \pi ^*\mathcal {L}) \cong \Gamma (\mathbb {P}^1, {\text {Sym}}^2(\mathcal {E}^\vee ) \otimes \mathcal {L}) \end{aligned}$$on \(\mathbb {P}(\mathcal {E})\) where \(\mathcal {E}^\vee \) is the dual of \(\mathcal {E}\) and \({\text {Sym}}^2\) is the second symmetric product.
-
(iii)
The exceptional locus E of \(f_m:Y_m\rightarrow X_m\) is the projectivization of \(\mathcal {O}_{\mathbb {P}^1}\subset \mathcal {E}\) and E is a \((-1,-1)\)-curve on \(Y_m\); i.e., the normal bundle \(N_{E/Y_m}\) is \(\mathcal {O}_E(-1)^2\).
-
(iv)
We have
$$\begin{aligned} \mathcal {O}_{Y_m/\mathbb {P}^1}(1) \cong f_m^*\mathcal {O}_{X_m}(1) \end{aligned}$$where \(\mathcal {O}_{Y_m/\mathbb {P}^1}(1)\) is the restriction of \(\mathcal {O}_{\mathbb {P}(\mathcal {E})/\mathbb {P}^1}(1)\) to \(Y_m\subset \mathbb {P}(\mathcal {E})\) and \(\mathcal {O}_{X_m}(1)\) is the restriction of \(\mathcal {O}_{\mathbb {P}^6}(1)\) to \(X_m\subset \mathbb {P}^6\). In particular, we get \(\mathcal {O}_{Y_m/\mathbb {P}^1}(1)|_E\cong \mathcal {O}_E\) and
$$\begin{aligned} \omega _{Y_m} \cong f_m^*\omega _{X_m} \cong \mathcal {O}_{Y_m/\mathbb {P}^1}(-2) \end{aligned}$$(the dualizing sheaves \(\omega _{Y_m}, \omega _{X_m}\) are line bundles because \(Y_m, X_m\) are Gorenstein).
-
(v)
Let \(L_m\) be the Hilbert scheme of lines on \(X_m\) that contain \(a_1\). Then \(L_m\) is a nodal curve of arithmetic genus 0 and degree 3 on \(\mathbb {P}^3\). More specifically, \(L_1\) is the twisted cubic curve, \(L_2\) is a chain of two \(\mathbb {P}^1\)’s, and \(L_3\) is a chain of three \(\mathbb {P}^1\)’s. Moreover, we can embed \(L_m\) into \( X_m\) such that \(a_1\notin L_m\), \(\{a_2\}\) is the singular point of \(L_2\) and \(\{a_2, a_3\}\) are the singular points of \(L_3\).
Proof
We can use the explicit equations in Lemma 3.2 for the argument.
(i) We first note that the ideal of \({\text {Gr}}(2,5)\cap H = {\text {Gr}}(2,5)\cap \{x_{45}=0\}\) in \(\mathbb {P}^8\) is generated by
and
We also have that the base locus \({\text {Bs}}(\phi _m)\) of \(\phi _m\) is given by \(X_m\cap \{x_{34}=x_{35}=0\}\). Then \(Y_m\), which is the blow up of \(X_m\) along \({\text {Bs}}(\phi _m)\), can be described explicitly as
where \(q_{m,1}, q_{m,2}\) are quadratic forms
-
\(q_{1,1}=x_{12}x_{34}+x_{24}x_{25}-x_{14}^2\), \(q_{1,2}=x_{12}x_{35}+x_{25}^2-x_{14}x_{15}\);
-
\(q_{2,1}=x_{12}x_{34}+(x_{14}+x_{25})x_{24}\), \(q_{2,2}=x_{12}x_{35}+(x_{14}+x_{25})x_{25}\);
-
\(q_{3,1}=x_{12}x_{34}+x_{14}x_{24}\), \(q_{3,2}=x_{12}x_{35}+x_{14}x_{25}\).
The exceptional locus E is defined by \(\{x_{i4}=x_{i5}=0, 1\leqslant i\leqslant 3\}\). Then \(E\cong \mathbb {P}^1\) and \(f_m :Y_m\rightarrow X_m\) maps E to the node \(a_1\).
From (3.5) we get that \(Y_m\) is a subscheme of
which is the zero locus of a regular section of \(\mathcal {O}_{\mathbb {P}^6\times \mathbb {P}^1}(1,1)^3\). One can easily compute that \(P\cong \mathbb {P}(\mathcal {E})\) where \(\mathcal {E}= \mathcal {O}_{\mathbb {P}^1}\oplus \mathcal {O}_{\mathbb {P}^1}(-1)^3\).
Let \(\pi :\mathbb {P}(\mathcal {E})\rightarrow \mathbb {P}^1\) be the projection. Let \(U=\pi ^{-1}(\{u=1\})\) and \(V=\pi ^{-1}(\{v=1\})\) be the open cover of \(\mathbb {P}(\mathcal {E})\). Then inside U and V, respectively, we have
One easily checks that E is a smooth section from the equations above. Moreover, \(p_1\) has singular fibers over the points \(\{u=0\}\), \(\{v=0\}\) and the fibers are of corank 1; \(p_2\) has a singular fiber over the point \(\{u=0\}\) and the fiber is of corank 1; \(p_3\) has a singular fiber over the point \(\{u=0\}\) and the fiber is of corank 2. This concludes (i).
For the proof of (ii)-(iv) we observe from the proof of (i) that \(Y_m\) is the zero locus of a global section
for some line bundle \(M_m\) on \(\mathbb {P}^1\). This implies that \(p_{m*}\mathcal {O}_{Y_m/\mathbb {P}^1}(1) \cong \mathcal {E}^\vee \cong \mathcal {O}_{\mathbb {P}^1} \oplus \mathcal {O}_{\mathbb {P}^1}(1)^3\).
(iv) Since each fiber of \(p_m\) is a quadric surface contained in \(X_m\) that passes through \(a_1\), we have \(\mathcal {O}_{Y_m/\mathbb {P}^1}(1) \cong f_m^* \mathcal {O}_{X_m}(1) \otimes p_m^* N_m\) for some line bundle \(N_m\) on \(\mathbb {P}^1\). Since
we get \(N_m\cong \mathcal {O}_{\mathbb {P}^1}\). Since \(f_m:Y_m\rightarrow X_m\) is a small contraction and \(X_m\) is a Fano variety of index 2,
(ii) It remains to determine the line bundle \(M_m\) in (3.8). We achieve this by computing the dualizing sheaf \(\omega _{Y_m}\). The adjunction formula gives
Hence, using (iv) we get \(M_m \cong \mathcal {O}_{\mathbb {P}^1}(-1)\).
(iii) It is easy to see from the proof of (i) that E is the projectivization of \(\mathcal {O}_{\mathbb {P}^1}\subset \mathcal {E}\) and the normal bundle \(N_{E/\mathbb {P}(\mathcal {E})}\) is \(\mathcal {O}_E(-1)^3\). In terms of the normal bundle \(N_{E/Y_m}\), we make use of the short exact sequence of normal bundles
Since \(\mathcal {O}_{Y_m/\mathbb {P}^1}(1)|_E\cong \mathcal {O}_E\) by (iv) and E is a section of \(p_m\), we get from (ii) that
This implies that \(N_{E/Y_m}\cong \mathcal {O}_E(-1)^2\).
(v) We mentioned after the construction of the map \(\phi \) (3.1) that the base locus \({\text {Bs}}(\phi )\) consists of lines on \({\text {Gr}}(2,5)\) that pass through \(x=a_1\). Then \({\text {Bs}}(\phi _m)\) as a linear section of \({\text {Bs}}(\phi )\) consists of lines on \(X_m\) that pass through \(a_1\). That is, \({\text {Bs}}(\phi _m)\) is the cone over \(L_m\) with the vertex \(a_1\) and \(L_m\) can be identified with the projection of \({\text {Bs}}(\phi _m)\) from \(a_1\). Explicitly, \({\text {Bs}}(\phi _m)=X_m\cap \{x_{34}=x_{35}=x_{45}=0\}\) and \(L_m \cong {\text {Bs}}(\phi _m)\cap \{x_{12}=0\}\). To describe \(L_m\) one notes that \({\text {Gr}}(2,5)\cap \{x_{12}=x_{34}=x_{35}=x_{45}=0\}\) is isomorphic to \(\mathbb {P}^1\times \mathbb {P}^2\) and the Segre embedding \(\mathbb {P}^1\times \mathbb {P}^2\hookrightarrow \mathbb {P}^5\) is of degree 3. Therefore, \(L_m\) is obtained by cutting \(\mathbb {P}^1\times \mathbb {P}^2\) with the respective hyperplane sections for \(X_m\). \(\square \)
Recall from Sect. 1.3 that we denoted
as even and odd parts of the Clifford algebra of the quadric surface fibration \(p_m:Y_m\rightarrow \mathbb {P}^1\), respectively. Then
is a central subalgebra of \(\mathcal {B}_{m,0}\) and the map \(g_m:C_m = {\text {Spec}}_{\mathbb {P}^1}(\mathcal {Z}_m) \rightarrow \mathbb {P}^1\) is the double cover ramified along the degeneration locus of \(p_m\). We also denoted \(\widetilde{\mathcal {B}_{m,0}}\) as the sheaf of algebras on \(C_m\) when one regards \(\mathcal {B}_{m,0}\) as a sheaf of algebras over \(\mathcal {Z}_m\).
Lemma 3.4
-
(i)
\(C_1\cong \mathbb {P}^1\) and \(C_2 \cong C_3\) is a chain of two \(\mathbb {P}^1\)’s. The map \(g_1:C_1\rightarrow \mathbb {P}^1\) is a double cover ramified at \([1: 0], [0: 1]\in \mathbb {P}^1\) and the map \(g_i :C_i\rightarrow \mathbb {P}^1\) is a double cover ramified at the double point supported at \([0:1]\in \mathbb {P}^1\) for \(i=2,3\).
-
(ii)
Let \(H(p_m)\) be the Hilbert scheme of lines on the fibers of \(p_m:Y_m\rightarrow \mathbb {P}^1\) for \(m=1,2\). Let
$$\begin{aligned} \mathcal {V}_m=\left\{ \begin{array}{ll} \mathcal {O}_{C_1}\oplus \mathcal {O}_{C_1}(-1), &{} m=1\\ \mathcal {O}_{C_2}\oplus \mathcal {O}_{C_2}\{-1,0\}, &{} m=2\\ \end{array} \right. \end{aligned}$$where \(\mathcal {O}_{C_2}\{a,b\}\) is the line bundle whose restriction to the first \(\mathbb {P}^1\) is \(\mathcal {O}_{\mathbb {P}^1}(a)\) and to the second \(\mathbb {P}^1\) is \(\mathcal {O}_{\mathbb {P}^1}(b)\). Then \(\widetilde{\mathcal {B}_{m,0}}\cong \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_m)\) and \(H(p_m)\cong \mathbb {P}(\mathcal {V}_m)\) for \(m=1,2\).
Proof
-
(i)
By Proposition 3.3 (ii) the quadric surface fibration \(p_m:Y_m\rightarrow \mathbb {P}^1\) corresponds to a symmetric bilinear form \(b_m:{\text {Sym}}^2(\mathcal {E})\rightarrow \mathcal {L}\). The form \(b_m\) induces a morphism \(\mathcal {E}\rightarrow \mathscr {H}\hspace{-2.0pt}om(\mathcal {E}, \mathcal {L})\) whose determinant gives a global section of
$$\begin{aligned} \Gamma (\mathbb {P}^1, \det (\mathcal {E}^\vee )^2\otimes \mathcal {L}^4)\cong \Gamma (\mathbb {P}^1, \mathcal {O}_{\mathbb {P}^1}(2)). \end{aligned}$$Denote the global section by \(\det (b_m)\). The degeneration locus of \(p_m\) is given by \(\{\det (b_m)=0\}\) and the maps \(g_m:C_m={\text {Spec}}_{\mathbb {P}^1}(\mathcal {Z}_m)\rightarrow \mathbb {P}^1\) are locally defined by \({\text {Spec}}\mathcal {O}_{\mathbb {P}^1}[d]/(d^2-\det (b_m))\). The equations (3.7) of \(Y_m\) indicate that
$$\begin{aligned} \det (b_1)=\lambda _1 uv, \quad \det (b_2)=\lambda _2 u^2, \quad \det (b_3)= \lambda _3 u^2 \end{aligned}$$for some non-zero \(\lambda _m\in \Bbbk \). The result then follows.
-
(ii)
Proposition 3.3 (i) states that the fibers of \(p_m, m=1,2\) are quadrics of corank \(\leqslant 1\). By [12, Proposition 3.13] \(\widetilde{\mathcal {B}_{m,0}}\) is a sheaf of Azumaya algebras on \(C_m\). The natural morphism \(H(p_m)\rightarrow \mathbb {P}^1\) factors as the composition of a \(\mathbb {P}^1\)-fibration \(H(p_m)\rightarrow C_m\) followed by \(g_m:C_m\rightarrow \mathbb {P}^1\). In fact, \(H(p_m)\) is the Severi-Brauer scheme or the \(\mathbb {P}^1\)-fibration over \(C_m\) corresponding to the sheaf of Azumaya algebras \(\widetilde{\mathcal {B}_{m,0}}\). Furthermore, \(H(p_m)\rightarrow C_m\) has a section given by the lines on the fibers of \(p_m\) intersecting the section E. Then \(\widetilde{\mathcal {B}_{m,0}}\) is Brauer trivial; i.e., it is \(\mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_m)\) for some rank 2 vector bundle \(\mathcal {V}_m\) on \(C_m\) and \(H(p_m) \cong \mathbb {P}(\mathcal {V}_m)\). It remains to determine \(\mathcal {V}_m\). Every indecomposable vector bundle on a chain of \(\mathbb {P}^1\)’s is a line bundle. This fact is used in [6, §2] and a proof can be found in Corollary 6.2 of [7]. Hence, up to tensoring by a line bundle, we can assume
$$\begin{aligned} \mathcal {V}_m=\mathcal {O}_{C_m}\oplus \mathcal {L}_m \end{aligned}$$
for a line bundle \(\mathcal {L}_m\) on \(C_m\).
One observes from (3.7) that \(Y_1, Y_2\) are defined by the type of quadratic equations in Example 2.3. Adopting the notations in this example, we can set the local sections of direct summands of \(\mathcal {E}=\mathcal {O}_{\mathbb {P}^1}\oplus \mathcal {O}_{\mathbb {P}^1}(-1)^3\) as below.
The local sections of \(\mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_m)\) can be obtained from (2.6). In particular,
From (2.7) we get that
Note that \(\mathcal {B}_{m,0}\cong g_{m*}\mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_m)\). Hence, \(g_{m*}\mathcal {L}_m\), \(g_{m*}\mathcal {L}_m^\vee \) are subbundles of \(\Lambda ^2\mathcal {E}\otimes \mathcal {L}^\vee \) with respective local sections. Since \(\mathcal {L}=\mathcal {O}_{\mathbb {P}^1}(-1)\), we get
Therefore, \(H^\bullet (C_m, \mathcal {L}_m)=0\) and \(H^\bullet (C_m, \mathcal {L}_m^\vee )=\Bbbk ^2\). This implies that \(\mathcal {L}_1\cong \mathcal {O}_{C_1}(-1)\), and \(\mathcal {L}_2\cong \mathcal {O}_{C_2}\{-1,0\}\) or \(\mathcal {O}_{C_2}\{0,-1\}\). Up to the involution of \(g_2\), we can make \(\mathcal {L}_2 \cong \mathcal {O}_{C_2}\{-1,0\}\). \(\square \)
4 Derived Categories of Nodal Quintic Del Pezzo threefolds
The goal of the section is to construct a Kawamata type semiorthogonal decomposition of \(\textbf{D}^\textrm{b}(X_m)\) using the birational morphism \(f_m:Y_m\rightarrow X_m\) and the quadric surface fibration \(p_m:Y_m\rightarrow \mathbb {P}^1\) constructed in Sect. 3. There are three steps towards this construction.
Firstly, we take the SOD of \(\textbf{D}^\textrm{b}(Y_m)\) constructed by Kuznetsov [12] and try to understand the nontrivial subcategory \(\textbf{D}^\textrm{b}(\mathbb {P}^1, \mathcal {B}_{m,0})\). The majority of the work in this step goes into the 3-nodal case \(X_3\) and the result is given in Proposition 4.4.
Secondly, we work out the objects generating each component of the SOD of \(\textbf{D}^\textrm{b}(Y_m)\) and perform a series of mutations to obtain a new SOD of \(\textbf{D}^\textrm{b}(Y_m)\) that can be descended to a SOD of \(\textbf{D}^\textrm{b}(X_m)\); see Corollary 4.6. This is where the spinor sheaf associated with the smooth section E appears; see Lemma 4.5.
Lastly, Proposition 2.12 gives a generalization of the conditions proposed by Kawamata in [11] for the descent of derived categories, and Lemma 4.7 checks that these conditions are satisfied. Together with Proposition 2.10 and 2.11, we can prove the main result Theorem 4.8 of the paper.
Recall maps \(p_m:Y_m\rightarrow \mathbb {P}^1\), \(\pi :\mathbb {P}(\mathcal {E})\rightarrow \mathbb {P}^1\) and \(i_m:Y_m\hookrightarrow \mathbb {P}(\mathcal {E})\) (\(p_m = \pi \circ i_m\)) for \(m=1,2,3\).
Theorem 4.1
([12, Theorem 4.2]) There are \(\mathbb {P}^1\)-linear admissible semiorthogonal decompositions
where \(\textbf{D}^\textrm{b}(\mathbb {P}^1, \mathcal {B}_{m,0})\) is the derived category of coherent sheaves on \(\mathbb {P}^1\) with right \(\mathcal {B}_{m,0}\)-module structures. Moreover, \(\Phi _{m,l}, l\in \mathbb {Z}\) is the embedding functor
where \(K_{m, l}\) is a rank 4 vector bundles on \(Y_m\) with left \(\mathcal {B}_{m,0}\)-module structures defined by the short exact sequence
Here \(\delta _m\) is the multiplication induced by \(\delta \) from the right (recall \(\delta \) from §1.3) and \(\delta _m \cdot \delta _m = \sigma _m\) where \(\sigma _m\) is the global section defining the total space \(Y_m\) of the quadric fibration.
Remark 4.2
-
(1)
The SOD (4.1) is admissible because \(Y_m\) is Gorenstein projective by Proposition 3.3 (i) and we can apply Lemma 2.9.
-
(2)
The map \(\delta _m\) in (4.3) is defined in the same way as maps in (2.1). Thus, up to the twist by \(\mathcal {O}_{Y_m/\mathbb {P}^1}(-1)\), the bundle \(K_{m,0}\) can be regarded as the spinor sheaf \(\mathcal {S}_0\) associated with the zero isotropic subbundle on \(Y_m\).
-
(3)
There are equivalences
$$\begin{aligned} g_{m*}:\textbf{D}^\textrm{b}(C_m, \widetilde{\mathcal {B}_{m,0}}) \xrightarrow {\cong } \textbf{D}^\textrm{b}(\mathbb {P}^1, \mathcal {B}_{m,0}) \end{aligned}$$(4.4)by the definition of \(\widetilde{\mathcal {B}_{m,0}}\). According to Lemma 3.4 (ii), \(\widetilde{\mathcal {B}_{m,0}}\cong \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_m)\) for \(m=1,2\) are trivial Azumaya algebras. There are equivalences
$$\begin{aligned} -\otimes \mathcal {V}_m^\vee :\textbf{D}^\textrm{b}(C_m) \xrightarrow {\cong } \textbf{D}^\textrm{b}(C_m, \widetilde{\mathcal {B}_{m,0}}), \quad m=1,2. \end{aligned}$$
Since \(p_3:Y_3\rightarrow \mathbb {P}^1\) has a fiber of corank 2, \(\widetilde{\mathcal {B}_{3,0}}\) is not an Azumaya algebra. It is not clear a priori what \(\textbf{D}^\textrm{b}(C_3, \widetilde{\mathcal {B}_{3,0}})\) looks like. We study this subcategory below.
Let M be a chain of three \(\mathbb {P}^1\)’s and let N be a chain of two \(\mathbb {P}^1\)’s. Let \(M_i, i=1,2,3\) be the i-th component of M and let \(N_j, j=1,2\) be the j-th component of N. Let \(h:M\rightarrow N\) be the map that contracts \(M_2\) to the point \(N_1\cap N_2\). That is, \(h|_{M_1}:M_1\rightarrow N_1, h|_{M_3}:M_3\rightarrow N_2\) are identities of \(\mathbb {P}^1\) and \(h|_{M_2}:M_2\rightarrow N_1\cap N_2\) is the constant map.
Recall from Sect. 1.3 the notation \(\mathcal {O}_M\{d_1,\dots , d_3\}\) for line bundles on M.
Lemma 4.3
We have \(h_*\mathcal {O}_M\{0,-1,0\}\cong \mathcal {O}_{N_1}(-1)\oplus \mathcal {O}_{N_2}(-1)\) and \(h_*\mathcal {O}_M\{0,1,0\}\cong \mathcal {O}_{N_1}\oplus \mathcal {O}_{N_2}\).
Proof
Let \(x\in M_2\) be a smooth point and let \(y=N_1\cap N_2\) be the intersection point. There is a short exact sequence
Note that \(h_*\mathcal {O}_M \cong \mathcal {O}_N\). Applying \(h_*\), we have
and \(R^ih_*\mathcal {O}_{M}\{0,-1,0\}=0\) for \(i>0\). Thus,
because it is the ideal of y. Tensoring the sequence (4.5) by \(\mathcal {O}_M\{0,1,0\}\) and applying \(h_*\), we get
and \(R^ih_*\mathcal {O}_{M}\{0,1,0\}\) for \(i>0\).
Let \(f:\widetilde{M}\rightarrow M\) be the normalization of M. Then \(\widetilde{M}\cong \bigsqcup _{i=1}^3 M_i\) and there is a short exact sequence
where \(x_1, x_2\) are the nodal points of M. Note that \(f^* \mathcal {O}_M\{0,1,0\} \cong \mathcal {O}_{M_1} \oplus \mathcal {O}_{M_2}(1) \oplus \mathcal {O}_{M_3}\). Applying \(h_*\) to the above sequence, we get
where the second map is given by natural surjections \(\mathcal {O}_{N_i}\rightarrow \mathcal {O}_y\) and identities \(\mathcal {O}_y\rightarrow \mathcal {O}_y\). This implies that
\(\square \)
We can embed N into \(\mathbb {P}^2\). Let \(o\in N\subset \mathbb {P}^2\) be the nodal point of N and let \(f:{\text {Bl}}_o \mathbb {P}^2\rightarrow \mathbb {P}^2\) be the blow-up of \(\mathbb {P}^2\) at o. Then \(M\cong f^{-1}(N)\) is the total transform of N and \(h:M\rightarrow N\) is the restriction of f. This gives the commutative diagram
Recall from Proposition 3.3 (v) that \(L_m\) is the Hilbert scheme of lines on \(X_m\) containing \(a_1\) and \(L_m\) can be embedded into \(X_m\) with image disjoint from \(a_1\). Recall that \(g_m:C_m\rightarrow \mathbb {P}^1\) are double covers ramified along the degeneration locus of \(p_m\).
sLet \(h_m:L_m\cong f_m^{-1}(L_m)\hookrightarrow Y_m \xrightarrow {p_m} \mathbb {P}^1\). By Proposition 3.3 (v) and Lemma 3.4 (i) we have \(L_m\cong C_m\) for \(m=1,2\) and \(L_3\cong M, C_3\cong N\). In addition, we get
where h is the map in (4.6).
Since \({\text {Bl}}_o \mathbb {P}^2\subset \mathbb {P}^2\times \mathbb {P}^1\), we have an embedding \(j:L_3\hookrightarrow \mathbb {P}^1_{C_3}\) and commutative diagrams
where \(\pi _3\) is the projection map.
Recall \(\mathcal {E}=\mathcal {O}_{\mathbb {P}^1}\oplus \mathcal {O}_{\mathbb {P}^1}(-1)^3\) and \(\mathcal {L}=\mathcal {O}_{\mathbb {P}^1}(-1)\).
Proposition 4.4
Let \(\mathcal {L}_3=\mathcal {O}_{L_3}\{0,-1,0\}\) and \(\mathcal {V}_3=\mathcal {O}_{L_3}\oplus \mathcal {L}_3\). Let \(h:L_3\rightarrow C_3\) be the map that contracts the middle \(\mathbb {P}^1\) to the node of \(C_3\). Then
-
(i)
\(h_*\mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_3)\cong \widetilde{\mathcal {B}_{3,0}}\) as sheaves of \(\mathcal {O}_{C_3}\)-algebras;
-
(ii)
\(h_*:\textbf{D}^\textrm{b}(L_3, \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_3))\xrightarrow {\cong } \textbf{D}^\textrm{b}(C_3, \widetilde{\mathcal {B}_{3,0}})\) is an equivalence.
Proof
(ii) We first prove (ii) assuming (i). Since h can be obtained as the restriction of the blow-up map f in (4.6) as well as the projection map \(\pi _3\) in (4.8), we get \(\det (\mathcal {V}_3)\cong \mathcal {L}_3\cong j^*\mathcal {O}_{\pi _3}(-1)\), which is relative very anti-ample. Thus, \(\mathcal {V}_3^\vee \) is relative base-point free and \(\det (\mathcal {V}_3^\vee )\) is relative ample. Moreover, \(\mathcal {V}_3^\vee \) has a direct summand \(\mathcal {O}_{\mathcal {L}_3}\) and \(H^1(L_3, \mathcal {V}_3)=0\). This implies that \(\mathcal {V}_3\) is a local projective generator in \({}^0\textrm{Per}(L_3/C_3)\) by [23, Proposition 3.2.7] and \(h_*\) is an equivalence by [23, Proposition 3.3.1].
(i) We see from (3.7) that similarly to cases of \(Y_1, Y_2\), quadratic equations of \(Y_3\) can also be studied using Example 2.3. We will adopt the notations in this example and apply similar arguments used in Lemma 3.4 (ii).
If we view q(x) as the \(C_3\)-family of quadratic equations obtained from pulling back \(p_3:Y_3 \rightarrow \mathbb {P}^1\) along \(g_3:C_3\rightarrow \mathbb {P}^1\), then for every vector v we can regard \(q(v):C_3\rightarrow \Bbbk \) as a function on closed points of \(C_3\). Denote the node of \(C_3\) by o. Note that the fiber of \(Y_3\times _{\mathbb {P}^1} C_3\rightarrow C_3\) has corank 2 at \(o\in C_3\) and is smooth otherwise. Thus, for \(i=3,4\) and \(x\in C_3\), we have
Since \(q'(x_3, x_4)=0\) at \(o\in C_3\), we get from (2.5) that \(\widetilde{\mathcal {B}_{3,0}}\) is generated by local sections \(v_1v_2, v_1e_3, v_1e_4, v_2v_1, v_2e_3, v_2e_4\). Its algebra structure is described in the list below. The list only includes the multiplication of any two of these local sections that may be non-zero.
On the other hand, we will use Lemma 4.3 to study the algebra structure of \(h_* \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_3)\). Remember \(L_3=M\) and \(C_3=N\). We take local sections of \(h_* \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_3)\) as below.
such that \(s_k\) is the constant function on \(N_k\) with value 1. There are short exact sequences
Thus, for \(k=1,2\) we can consider \(a_k\) above as a local section of the ideal sheaf \(\mathcal {O}_{N_k}(-1)\) and get
This means that
There are relations
where \(\delta _o:C_3\rightarrow \Bbbk \) is a function satisfying \(\delta _o(x)\ne 0\) if \(x\ne o\) and \(\delta _o(o)=0\).
Now we will construct an algebra homomorphism from \(\widetilde{\mathcal {B}_{3,0}}\) to \(h_* \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_3)\). Let
be the \(\mathcal {O}_{C_3}\)-homomorphism such that
Note that \(v_2v_1=1-v_1v_2\) and this implies \(\beta (v_2v_1)={\text {id}}_{\mathcal {L}_3}\). From the discussion of the algebra structures on both sides, we get that \(\beta \) is an algebra homomorphism up to multiplying \(a_1, a_2\) with a nowhere zero function on \(C_3\).
We claim that \(\beta \) is an isomorphism. Note that
Using the convention (3.9) for local sections \(v_1, v_2, e_3, e_4\) of \(\mathcal {E}\), we can describe the corresponding local section for each direct summand of \(\mathcal {B}_{m,0}\) and the table of its local sections is given as below.
Lemma 4.3 implies that
and one can use (4.11) to check that \(g_{3*}\beta \) is an isomorphism. Since \(g_3\) is finite, \(\beta \) is also an isomorphism. \(\square \)
Recall the definition of \(h_m\) from (4.7). From Lemma 3.4 (ii) and Proposition 4.4 (i) we get
Combining functors (4.2) (4.4) and Proposition 4.4 (ii), we have for \(m=1,2,3\) the fully faithful embedding
Recall maps \(p_m:Y_m\rightarrow \mathbb {P}^1\), \(\pi :\mathbb {P}(\mathcal {E})\rightarrow \mathbb {P}^1\) and \(i_m:Y_m\hookrightarrow \mathbb {P}(\mathcal {E})\) (\(p_m = \pi \circ i_m\)). We know from Proposition 3.3 (iii) that \(\mathcal {O}_{\mathbb {P}^1}\subset \mathcal {E}\) is the isotropic sub line bundle corresponding to the smooth section \(E=\mathbb {P}(\mathcal {O}_{\mathbb {P}^1})\) of \(p_m\). Its associated spinor sheaf \(\mathcal {S}_E\) is a rank 2 vector bundle constructed by the short exact sequence
where \(\mathcal {I}_0\subset \mathcal {B}_{m,0}\) and \(\mathcal {I}_1\subset \mathcal {B}_{m,1}\) are right modules over \(\mathcal {B}_{m,0}\) generated by \(\mathcal {O}_{\mathbb {P}^1}\), respectively.
Lemma 4.5
Write \(\mathcal {S}_E(-1)\) for \(\mathcal {S}_E \otimes \mathcal {O}_{Y_m/\mathbb {P}^1}(-1)\). We have
-
(i)
\(\Psi _{m,l}(\mathcal {O}_{L_m}) \cong \mathcal {S}_E(-1) \otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(l)\);
-
(ii)
\(\det (\mathcal {S}_E^\vee ) \cong \mathcal {O}_{Y_m/\mathbb {P}^1}(-1)\otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(2)\) and \(\mathcal {S}_E^\vee \cong \mathcal {S}_E(-1) \otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(2)\).
Proof
(i) The isomorphisms in (4.12) imply that \(h_{m*}(\mathcal {V}_m^\vee )\) is a right module over \(\mathcal {B}_{m,0}\). Since \(\mathcal {V}_m=\mathcal {O}_{L_m}\oplus \mathcal {L}_m\), we have \(\mathcal {V}_m^\vee \subset \mathscr {E}\hspace{-1.0pt}nd(\mathcal {V}_m)\) and thus \(h_{m*}(\mathcal {V}_m^\vee )\subset \mathcal {B}_{m,0}\). We claim \(h_{m*}(\mathcal {V}_m^\vee )\cong \mathcal {I}_0\).
To prove the claim we adopt the notations in Example 2.3 and use the convention (3.9). Note that \(v_1\) is the local section of \(\mathcal {O}_{\mathbb {P}^1}\subset \mathcal {E}\). The claim would follow if we can prove that \(h_{m*}(\mathcal {V}_m^\vee )\) is a rank 4 vector bundle with local sections \(v_1v_2, v_1e_3, v_1e_4, v_1v_2e_3e_4\). For \(m=1,2\), we have \(L_m=C_m, g_m=h_m\) and we get from (2.6) that
From (2.7) we get that
Recall from (3.10) that
This concludes the cases of \(m=1,2\). For \(m=3\), we get from (4.9) (4.10) that
where \(N=C_3\) and \(N_1, N_2\) are irreducible components of N. Recall \(h_3=g_3\circ h\). We deduce from (2.7) that \(h_{3*}(\mathcal {V}_3^\vee )\) is a rank 4 vector bundle with local sections \(v_1v_2, v_1e_3, v_1e_4, v_1v_2e_3e_4\).
Note that \(\mathcal {I}_0\otimes _{\mathcal {B}_{m,0}} \mathcal {B}_{m,1} \cong \mathcal {I}_1\) where \(\mathcal {I}_1\subset \mathcal {B}_{m,1}\) is the right module over \(\mathcal {B}_{m,0}\) generated by \(\mathcal {O}_{\mathbb {P}^1}\subset \mathcal {E}\). By (4.2) (4.3) \(\Phi _{m,l}(\mathcal {I}_0) = p_m^*\mathcal {I}_0 \otimes ^{\mathbb {L}}_{p_m^*\mathcal {B}_{m,0}} K_{m,l}\) fits into the short exact sequence
Comparing it with (4.14), we get \(\Psi _{m,l}(\mathcal {O}_{L_m}) \cong \Phi _{m,l}(\mathcal {I}_0) \cong \mathcal {S}_E(-1) \otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(l)\).
(ii) We can apply Proposition 2.2 (ii) by letting \(\mathcal {V}=\mathcal {E}=\mathcal {O}_{\mathbb {P}^1}\oplus \mathcal {O}_{\mathbb {P}^1}(-1)^3\), \(\mathscr {L}=\mathcal {L}=\mathcal {O}_{\mathbb {P}^1}(-1)\), \(\mathcal {N}=\mathcal {O}_{\mathbb {P}^1}\) and \(F=E\). Then there are isomorphisms
This gives \(\det (\mathcal {S}_E^\vee )^2\cong \mathcal {O}_{Y_m/\mathbb {P}^1}(-2)\otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(4)\). On the other hand, the proof of Proposition 2.2 (i) implies that \(\det (\mathcal {S}_E^\vee )\) restricted to each fiber of \(p_m:Y_m\rightarrow \mathbb {P}^1\) is \(\mathcal {O}(-1)\). Thus,
for some line bundle M on \(\mathbb {P}^1\) and it follows that \(M\cong \mathcal {O}_{\mathbb {P}^1}(2)\). \(\square \)
Corollary 4.6
Write \(\mathcal {S}_E(-1)\) for \(\mathcal {S}_E\otimes \mathcal {O}_{Y_m/\mathbb {P}^1}(-1)\). For \(m=1,2,3\) there is an admissible semiorthogonal decomposition
where \(R_0=\Bbbk \) and \(R_1, R_2\) are the path algebras defined by (1.2).
Proof
The semiorthogonal decomposition (4.1) when \(l=1\) reads as
By the construction of \(\Psi _{m,1}\) from (4.13), we have \(\Psi _{m, 1}(\textbf{D}^\textrm{b}(L_m))\cong \Phi _{m,1} (\textbf{D}^\textrm{b}(\mathbb {P}^1, \mathcal {B}_{m,0}))\). Hence, the above semiorthogonal decomposition is equivalent to
The first equivalence above is due to Proposition 1.1 and Lemma 4.5 (i). For the second equivalence we use Lemma 2.9 with \(X=Y_m\) and \(S={\text {Spec}}\Bbbk \). By Proposition 3.3 (i) (iv), \(Y_m\) is Gorenstein projective and \(\omega _{Y_m}\cong \mathcal {O}_{Y_m/\mathbb {P}^1}(-2)\). Then the second equivalence is obtained by applying the functor \(-\otimes \omega _{Y_m}\cong -\otimes \mathcal {O}_{Y_m/\mathbb {P}^1}(-2)\) to \(\mathcal {O}_{Y_m/\mathbb {P}^1}(1)\otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(1)\). The final equivalence is obtained by the left mutation of \(\textbf{D}^\textrm{b}(R_{m-1})\) through \(\mathcal {O}_{Y_m/\mathbb {P}^1}(-1)\otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(1)\). Again by Lemma 2.9 all SODs above are admissible when they exist. The final mutation exists because the SOD before the mutation is admissible, and the mutation induces equivalence of categories before and after the mutation. \(\square \)
Recall maps \(p_m:Y_m\rightarrow \mathbb {P}^1\) and \(f_m:Y_m\rightarrow X_m\). In the next lemma we check that Proposition 2.12 can be applied to the map \(f_m\).
Lemma 4.7
Write \(M_1=\mathcal {O}(D_1)=\mathcal {O}_{Y_m}(-1)\otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(1)\) and \(M_2=\mathcal {O}(D_2)=p_m^*\mathcal {O}_{\mathbb {P}^1}(-1)\). Then
-
(1)
\(D_1.E=1\) and \(D_2.E=-1\);
-
(2)
\(\{N_i:=f_{m*}M_i\}_{i=1,2}\) is a simple collection of sheaves; i.e., \(\dim {\text {Hom}}(N_j, N_k)=\delta _{jk}\) for \(1\leqslant j, k\leqslant 2\);
-
(3)
\(H^p(X_m, R^0f_{m*}\mathcal {O}(D_i-D_j))=0\) for all \(p>0\) and \(1\leqslant i, j\leqslant 2\);
-
(4)
the triangulated subcategory \(\langle N_i\rangle _{i=1}^2\) of \(\textbf{D}^\textrm{b}(X_m)\) generated by \(N_1, N_2\) is equivalent to \(\textbf{D}^\textrm{b}(R_1)\) where \(R_1\) is the path algebra defined by (1.2).
Proof
-
(1)
Note \(\mathcal {O}_{Y_m}(-1)|_E\cong \mathcal {O}_E\) by Proposition 3.3 (iv). Then (1) follows from this and that E is a section of \(p_m\).
-
(2)
Let I be the ideal \(I_{E/Y_m}\) of \(E\subset Y_m\) and let \(E_n\) be the subscheme defined by \(I^n, n\geqslant 1\). Then
$$\begin{aligned} I/I^2\cong N_{E/Y_m}^\vee \cong \mathcal {O}_{\mathbb {P}^1}(1)^2, \quad I^n/I^{n+1} \cong {\text {Sym}}^n(I/I^2) \cong \mathcal {O}_{\mathbb {P}^1}(n)^{n+1}, \quad n\geqslant 2. \end{aligned}$$Let \(\mu _n:E_n\rightarrow Y_m, n\geqslant 1\) be the inclusion maps. By the theorem on formal functions we have
$$\begin{aligned} \widehat{R^pf_{m*}(M)} \cong \varprojlim H^p(E_n, L_0\mu _n^*M) \end{aligned}$$for all \(M\in {\text {Coh}}(Y_m)\). Consider for \(n\geqslant 1\) the exact sequences
$$\begin{aligned} 0\rightarrow I^n/I^{n+1} \rightarrow \mathcal {O}_{E_{n+1}}\rightarrow \mathcal {O}_{E_n} \rightarrow 0. \end{aligned}$$Since \(M_1|_E\cong \mathcal {O}_{\mathbb {P}^1}(1)\) and \(M_2|_E \cong \mathcal {O}_{\mathbb {P}^1}(-1)\), we have \(M_i|_{E_n}\) are extensions of sheaves \(\mathcal {O}_{\mathbb {P}^1}(l)\) for \(l \geqslant -1\). This implies that \(H^p(E_n, M_i|_{E_n})=0\) for \(p>0, i=1,2\) and all n. Thus, \(R^pf_{m*}(M_i)=0, p>0\) and \(N_i\) is a sheaf for \(i=1,2\). Next we show that \(\{N_1, N_2\}\) is a simple collection. Let \(U=Y_m-E\). Let \(j_U:U\hookrightarrow Y_m\) and \(i_U=f_m\circ j_U:U\hookrightarrow X_m\) be open embeddings. Since the codimension of \(U\subset Y_m\) is 2, we have \(M_i\cong R^0j_{U*} (M_i|_U)\). Thus,
$$\begin{aligned} \begin{aligned} \mathscr {H}\hspace{-2.0pt}om(N_i, N_j)&\cong \mathscr {H}\hspace{-2.0pt}om(R^0f_{m*}(M_i), R^0f_{m*}(M_j))\\&\cong \mathscr {H}\hspace{-2.0pt}om(R^0f_{m*}R^0j_{U*}(M_i|_U), R^0f_{m*}R^0j_{U*}(M_j|_U))\\&\cong \mathscr {H}\hspace{-2.0pt}om(R^0i_{U*}(M_i|_U), R^0i_{U*}(M_j|_U))\\&\cong R^0i_{U*}\mathscr {H}\hspace{-2.0pt}om(M_i|_U, M_j|_U). \end{aligned} \end{aligned}$$Taking \(H^0(X_m, -)\) on both sides above, we get
$$\begin{aligned} {\text {Hom}}(N_i, N_j)\cong {\text {Hom}}(M_i|_U, M_j|_U)\cong {\text {Hom}}(M_i, M_j). \end{aligned}$$Since
$$\begin{aligned} \begin{aligned}&p_{m*}\mathcal {O}_{Y_m}\cong \mathcal {O}_{\mathbb {P}^1},\quad p_{m*}\mathcal {O}(D_1-D_2)=0,\\&p_{m*}\mathcal {O}(D_2-D_1)\cong \mathcal {E}^\vee \otimes \mathcal {O}_{\mathbb {P}^1}(-2) \cong \mathcal {O}_{\mathbb {P}^1}(-2)\oplus \mathcal {O}_{\mathbb {P}^1}(-1)^3, \end{aligned} \end{aligned}$$we have
$$\begin{aligned} h^p(Y_m, \mathcal {O}(D_i-D_j))=h^p(\mathbb {P}^1, p_{m*}\mathcal {O}(D_i-D_j))=\left\{ \begin{array}{ll} \delta _{ij}, &{} p=0\\ 0, &{} (i,j)=(1,2), \forall p\\ 0, &{} (i,j)=(2,1), p\ne 1\\ 1, &{} (i,j)=(2,1), p=1 \end{array} \right. .\nonumber \\ \end{aligned}$$(4.15)Hence, \(\dim {\text {Hom}}(N_i, N_j)=\delta _{ij}\).
-
(3)
Since \(\mathcal {O}_E(D_1-D_2)\cong \mathcal {O}_{\mathbb {P}^1}(2)\), we have that \(\mathcal {O}(D_1-D_2)|_{E_n}\) is the extension of sheaves \(\mathcal {O}_{\mathbb {P}^1}(l)\) for \(l\geqslant 2\). The arguments using the theorem on formal functions in (2) imply that
$$\begin{aligned} R^qf_{m*}\mathcal {O}(D_1-D_2)=0, q>0. \end{aligned}$$Similarly, we have \(\mathcal {O}(D_1-D_2)|_{E_n}\) is the extension of \(\mathcal {O}_{\mathbb {P}^1}(-2)\) with sheaves \(\mathcal {O}_{\mathbb {P}^1}(l)\) for \(l\geqslant -1\). This implies that
$$\begin{aligned} R^1f_{m*}\mathcal {O}(D_2-D_1)\cong \Bbbk , \end{aligned}$$which is supported on the node \(a_1\in X_m\). We make use of the Leray spectral sequence
$$\begin{aligned} E^{p,q}_2= H^p(X_m, R^qf_{m*}\mathcal {O}(D_i-D_j)) \Rightarrow E^{p+q}= H^{p+q}(Y_m, \mathcal {O}(D_i-D_j)). \end{aligned}$$Since \(R^{\geqslant 2}f_{m*}=0\), \(R^1f_{m*}\) is supported on the node \(a_1\in X_m\) and \(\dim (X_m)=3\), we have \(E^{p,q}_2=0\) unless \(0\leqslant p \leqslant 3, q=0\) or \((p,q)=(0,1)\). In this case there is an exact sequence
$$\begin{aligned} 0\rightarrow E^{1,0}_2\rightarrow E^1\xrightarrow {\xi } E^{0,1}_2\rightarrow E^{2,0}_2\rightarrow E^2 \end{aligned}$$and \(E^{3,0}_2 \cong E^3\). Equations (4.15) give \(E^2=E^3=0\) for all i, j, and \(E^1=E^{0,1}_2=0\) if \((i,j)\ne (2,1)\) and \(E^1 \cong E^{0,1}_2 \cong \Bbbk \) if \((i,j) = (2,1)\). We deduce that \(\xi :E^1 \rightarrow E^{0,1}_2\) is an isomorphism for all i, j. Thus, \(E^{p,0}_2=0\) for all \(p>0\) and i, j.
-
(4)
It is a consequence of (1)-(3) and Proposition 2.12.
\(\square \)
For the smooth section E of \(p_m:Y_m\rightarrow \mathbb {P}^1\), Proposition 2.2 (ii) gives us the Koszul resolution
By Lemma 4.5 (ii) we get
Theorem 4.8
Let \(X_m\) be the quintic del Pezzo threefolds with m nodes for \(m=1,2,3\). Then there is an admissible semiorthogonal decomposition
where \(R_0=\Bbbk \) and \(R_1, R_2\) are the path algebras defined by (1.2).
Proof
From Proposition 2.10 we have that \(f_{m*}:\textbf{D}^\textrm{b}(Y_m)\rightarrow \textbf{D}^\textrm{b}(X_m)\) is a Verdier quotient with \(\textrm{ker}(f_{m*})=\langle \mathcal {O}_E(-1)\rangle \). Let \(\mathcal {T}\) be the triangulated subcategory generated by
Then Corollary 4.6 reads as
We deduce from the exact sequence (4.16) that \(\mathcal {O}_E(-1)\in \mathcal {T}\). Observe that in the SOD (4.17) all components except for \(\textbf{D}^\textrm{b}(R_{m-1})\) are contained in \(\textbf{D}^{{\text {perf}}}(Y_m)\). Moreover, \(Y_m\) is Gorenstein and \(\omega _{Y_m}|_E\cong \mathcal {O}_E\) by Proposition 3.3 (i) (iv). Then Proposition 2.11 implies that we have the induced admissible semiorthogonal decomposition
Since \(\textbf{D}^\textrm{b}(R_{m-1})\cap \textrm{ker}(f_{m*})=\emptyset \), we have \(f_{m*}\textbf{D}^\textrm{b}(R_{m-1})\cong \textbf{D}^\textrm{b}(R_{m-1})\). Since \(f_{m*}(\mathcal {T})\) is generated by \(f_{m*}(\mathcal {O}_{Y_m}(-1)\otimes p_m^*\mathcal {O}_{\mathbb {P}^1}(1))\) and \(f_{m*}(p_m^*\mathcal {O}_{\mathbb {P}^1}(-1))\), Lemma 4.7 (4) implies that \(f_{m*}(\mathcal {T})\cong \textbf{D}^\textrm{b}(R_1)\). \(\square \)
References
Addington, N.: Spinor sheaves on singular quadrics. Proc. Am. Math. Soc. 139(11), 3867–3879 (2011)
Bodzenta, A., Bondal, A.: Categorifying non-commutative deformations. arXiv preprint arXiv:2004.03084v2, (2020)
Bodzenta, A., Bondal, A.: Flops and spherical functors. Compos. Math. 158(5), 1125–1187 (2022)
Bondal, A., Kapranov, M., Schechtman, V.: Perverse schobers and birational geometry. Selecta Math.(N.S.) 24(1), 85–143 (2018)
Bondal, A., van den Bergh, M.: Generators and representability of functors in commutative and noncommutative geometry. Mosc. Math. J. 3(1), 1–36 (2003)
Burban, I.: Derived categories of coherent sheaves on rational singular curves. In Representations of finite dimensional algebras and related topics in Lie theory and geometry, volume 40 of Fields Inst. Commun., pages 173–188. Amer. Math. Soc., Providence, RI, (2004)
Drozd, Y.: Vector bundles over projective curves. Publicações Matemáticas do IMPA. [IMPA Mathematical Publications]. Instituto Nacional de Matemática Pura e Aplicada (IMPA), Rio de Janeiro, 2008. XX Escola de Álgebra. [XX School of Algebra]
Kalck, M., Pavic, N., Shinder, E.: Obstructions to semiorthogonal decompositions for singular threefolds I: K-theory. Mosc. Math. J. 21(3), 567–592 (2021)
Karmazyn, J., Kuznetsov, A., Shinder, E.: Derived categories of singular surfaces. J. Eur. Math. Soc. (JEMS) 24(2), 461–526 (2022)
Kawamata, Y.: On multi-pointed non-commutative deformations and Calabi-Yau threefolds. Compos. Math. 154(9), 1815–1842 (2018)
Kawamata, Y.: Semi-orthogonal decomposition of a derived category of a 3-fold with an ordinary double point. In Recent developments in algebraic geometry—to Miles Reid for his 70th birthday, volume 478 of London Math. Soc. Lecture Note Ser., pages 183–215. Cambridge Univ. Press, Cambridge (2022)
Kuznetsov, A.: Derived categories of quadric fibrations and intersections of quadrics. Adv. Math. 218(5), 1340–1369 (2008)
Kuznetsov, A.: Scheme of lines on a family of 2-dimensional quadrics: geometry and derived category. Math. Z. 276(3–4), 655–672 (2014)
Kuznetsov, A.: Derived categories of families of sextic del pezzo surfaces. Int. Math. Res. Notice. (2017)
Kuznetsov, A., Shinder, E.: Categorical absorptions of singularities and degenerations. arXiv preprint arXiv:2207.06477v3, (2022)
Kuznetsov, A.G.: Hyperplane sections and derived categories. Izv. Ross. Akad. Nauk Ser. Mat. 70(3), 23–128 (2006)
Kuznetsov, A.G.: Derived categories of Fano threefolds. Tr. Mat. Inst. Steklova, 264(Mnogomernaya Algebraicheskaya Geometriya):116–128, (2009)
Lunts, V.A.: Categorical resolution of singularities. J. Algebra 323(10), 2977–3003 (2010)
Orlov, D.O.: Triangulated categories of singularities and D-branes in Landau-Ginzburg models. Tr. Mat. Inst. Steklova, 246(Algebr. Geom. Metody, Svyazi i Prilozh.):240–262, (2004)
Pavic, N., Shinder, E.: Derived categories of nodal del pezzo threefolds. arXiv preprint arXiv:2108.04499v1, (2021)
Prokhorov, Y.: \(G\)-Fano threefolds. I. Adv. Geom. 13(3), 389–418 (2013)
Stacks, T.: Project authors. The stacks project. https://stacks.math.columbia.edu, (2021)
Van den Bergh, M.: Three-dimensional flops and noncommutative rings. Duke Math. J. 122(3), 423–455 (2004)
Xie, F.: Derived categories of quintic del Pezzo fibrations. Selecta Math.(N.S.) 27(1), 32 (2021). (Paper No. 4)
Xie, F.: Residual categories of quadric surface bundles. J. Reine Angew. Math. 796, 161–199 (2023)
Acknowledgements
I would like to thank Arend Bayer, Evgeny Shinder, Nebojsa Pavic for many helpful conversations. I am also grateful to Pavic and Shinder for communicating their ongoing work with me. I would also like to thank Alexander Kuznetsov for pointing out that the linear subspace \(\mathbb {P}^4\) that \(\phi _m:X_m\dashrightarrow \mathbb {P}^1\) is projecting from is the embedded projective tangent space of a chosen nodal point. Lastly, I would like to thank Arend Bayer and referees for the careful reading of the earlier draft and for suggestions of revision. The author is supported by the ERC Consolidator grant WallCrossAG, no. 819864.
Author information
Authors and Affiliations
Corresponding author
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
Xie, F. Nodal quintic del Pezzo threefolds and their derived categories. Math. Z. 304, 48 (2023). https://doi.org/10.1007/s00209-023-03311-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03311-9