Abstract
We study the Clifford type inequality for a particular type of curves \(C_{2,2,5}\), which are contained in smooth quintic threefolds. This allows us to prove some stronger Bogomolov–Gieseker type inequalities for Chern characters of stable sheaves and tilt-stable objects on smooth quintic threefolds. Employing the previous framework by Bayer, Bertram, Macrì, Stellari and Toda, we construct an open subset of stability conditions on every smooth quintic threefold in \(\mathbf {P}^4_{\mathbb {C}}\).
Similar content being viewed by others
1 Introduction
The notion of stability conditions on a triangulated category is introduced by Bridgeland [10]. The existence of stability conditions on three-dimensional projective varieties, and more specifically on Calabi–Yau threefolds, is often considered as one of the biggest open problem in the theory of Bridgeland stability conditions in recent years. In series work of [4, 5, 7], the authors propose a general approach towards the constructions of geometric stability conditions on a smooth projective threefold. The construction involves the notion of tilt-stability for two-term complexes, and the existence of geometric stability conditions relies on a conjectural Bogomolov–Gieseker type inequality for the third Chern character of tilt-stable objects.
Stability conditions are only known to exist on few families of smooth projective threefolds: Fano threefolds [6, 18, 24, 29, 31], Abelian threefolds [5, 26, 27] and Kummer type threefolds [5]. The smooth quintic threefolds will be the first example of strict Calabi–Yau threefolds that has geometric stability conditions. One need to be cautious that the original conjectural Bogomolov–Gieseker type inequality in [7] does not hold for all threefolds, counterexamples for the blowup at a point of another threefold has been constructed in [28, 32]. However, due to the flexibility of the construction in [7] as well as the work [30], modified Bogomolov–Gieseker type inequality will still imply the existence of stability conditions on such threefolds.
In this paper, we prove the following Bogomolov–Gieseker type inequalities for the second Chern character of slope stable sheaves on smooth quintic threefolds:
Theorem 1.1
(Theorem 5.5) Let F be a torsion free \(\mu _H\)-slope semistable sheaf on a smooth quintic threefold (X, H). Suppose \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\in [-1,1]\), then
The ‘\(=\)’ can hold only when \(\left|\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\right|\in \frac{1}{4}\mathbb {Z}\). Moreover, when \(\left|\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\right| \in [0, \frac{1}{10}]\cup [\frac{9}{10},1]\), we have the following stronger bound: \(H\mathop {\mathrm{ch}}\nolimits _2(F)\le \frac{3}{2}\frac{(H^2\mathop {\mathrm{ch}}\nolimits _1(F))^2}{H^3{\mathrm{rk}}(F)}-\left|H^2\mathop {\mathrm{ch}}\nolimits _1(F)\right|\).
In a special case that when \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}=-\frac{1}{2}\), we have \(\Delta (F)H\ge 1.25{\mathrm{rk}}(F)^2\), which is a slightly weaker inequality than that in [33, Conjecture 1.2]. In particular, it implies the rank 2 case as that in [33, Proposition 1.3].
Theorem 1.1 implies [5, Conjecture 4.1] for smooth quintic threefolds with a little constrain on the parameters \((\alpha ,\beta )\), for which we will review in the next few paragraphs.
Theorem 1.2
(Theorem 2.8) Conjecture 4.1 in [5] holds for smooth quintic threefolds when the parameters satisfy \(\alpha ^2+(\beta -\lfloor \beta \rfloor -\frac{1}{2})^2>\frac{1}{4}.\)
Employing the framework in [5, 7, 30], Theorem 1.2 allows us to construct a family of Bridgeland stability conditions on the bounded derived category of coherent sheaves on each smooth quintic threefold. To give the accurate statement, we introduce some notions from [4, 5, 7] and briefly summarize the construction of stability conditions on a quintic threefold.
Stability conditions on smooth quintic threefolds Let (X, H) be a smooth quintic threefold with \(H=[\mathcal O_X(1)]\), let \(D^b(X)\) be the bounded derived category of coherent sheaves on X. As shown in [10, Proposition 5.3], a stability condition on \(D^b(X)\) is equivalently determined by a pair \(\sigma =(Z,{\mathcal {A}})\), where the central charge \(Z:K_0(\mathcal A)\rightarrow \mathbb {C}\) is a group homomorphism and \(\mathcal A\subset D^b(X)\) is the heart of a bounded t-structure, which have to satisfy the following three properties.
-
(a)
For any non-zero object \(E\in \mathcal A\), its central charge \(Z([E])\in \mathbb {R}_{>0}\cdot e^{(0,1]\pi i}\). This allows us to define a notion of slope-stability on \(\mathcal A\) via the slope function
$$\begin{aligned} \nu _\sigma (E):=-\frac{\hbox {Re }Z([E])}{\hbox {Im}Z([E])}. \end{aligned}$$ -
(b)
With respect to the slope-stability \(\nu _{\sigma }\), each non-zero object \(E\in \mathcal A\) admits a unique Harder–Narasimhan filtration:
$$\begin{aligned} 0=E_0\subset E_1\subset \dots \subset E_m=E \end{aligned}$$such that: each quotient \(F_i:=E_i/E_{i-1}\) is \(\mu _\sigma \)-slope semistable with \(\nu _{\sigma }(F_1)>\nu _{\sigma }(F_2)>\dots >\nu _{\sigma }(F_m)\). We set \(\nu _{\sigma }^+(E):=\nu _{\sigma }(F_1)\) and \(\nu _{\sigma }^-(E):=\nu _{\sigma }(F_m)\).
-
(c)
(support property) There is a constant \(C>0\) such that for all semistable object \(E\in \mathcal A\), we have \(\Vert [E]\Vert \le C\left|Z([E])\right|\), where \(\Vert \cdot \Vert \) is a fixed norm on \(K_0(X)\otimes \mathbb {R}\).
Under the framework of [4, 5, 7], the heart \(\mathcal A\) of the stability condition is constructed by ‘double-tilting’ \(\mathop {\mathrm{Coh}}\nolimits (X)\). Denote \(\mu _H\) as the slope stability on \(\mathop {\mathrm{Coh}}\nolimits (X)\). For any object \(E\in \mathop {\mathrm{Coh}}\nolimits (X)\), let \(\mu ^+_H(E)\) (\(\mu ^-_H(E)\)) be the maximum (minimum) slope of its Harder–Narasimhan factors. The first tilting-heart \(\mathop {\mathrm{Coh}}\nolimits ^{ \beta ,H}(X)\subset D^b(X)\) with parameter \(\beta \in \mathbb {R}\) is the extension-closure \(\langle \mathcal T_{\beta ,H},{\mathcal {F}}_{H,\beta }[1]\rangle \), where
Given \(\alpha \in \mathbb {R}_{>0}\), we may define the tilt-slope function for objects in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\) as follows: for an object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\), its tilt-slope function is defined as
The explicit formulas of twisted Chern characters \(\mathop {\mathrm{ch}}\nolimits _i^{\beta H}\) are given at the beginning of Sect. 2.
The heart \(\mathcal A^{\alpha ,\beta ,H}(X)\subset D^b(X)\) is defined as \(\langle \mathcal T_{\alpha ,\beta ,H}',\mathcal F_{\alpha ,\beta ,H}' [1]\rangle ,\) where
The central charge on \(\mathcal A^{\alpha ,\beta ,H}(X)\) is defined as that in [5, Lemma 8.3]:
As a corollary of [5, Conjecture 4.1] employing the framework in [4, 5, 7], the construction above offers us a family of stability conditions.
Theorem 1.3
(Theorem 1.2, [5, Theorem 8.6, Proposition 8.10]) There is a continuous family of Bridgeland stability conditions \(\sigma _{\alpha ,\beta ,H}^{a,b}=(Z_{\alpha ,\beta ,H}^{a,b}(X),\mathcal A^{\alpha ,\beta ,H}(X))\) on each smooth quintic threefold (X, H), parameterized by the set \((\alpha ,\beta ,a,b)\in \mathbb {R}_{>0}\times \mathbb {R}\times \mathbb {R}_{>0}\times \mathbb {R}\) such that
This family is a slice of the \({\widetilde{GL}}^+_2(\mathbb {R})\)-action on an open subset of the space of stability conditions on \(D^b(X)\).
The mirror family of X is parameterized by the stack \(\mathcal M_K\), which is called the stringy Kähler moduli space of X:
Here the generator of \(\mu _5\) acts on \(\mathbb C\) by the multiplication of \(e^{\frac{2\pi i}{5}}\). Based on the papers [2, 12, Remark 3.9] and [33], it is expected that there is an embedding from the stringy Kähler moduli space to the double quotient:
We refer readers to [2, Section 7.1] and [33, Section 3] for more detailed discussions and predictions on the formula of centrals charge and heart structures. Under this embedding, the images of (the neighbourhoods of) three special points are of particular interests:
-
the large volume(radius) limit at the point \(\psi =\infty \);
-
the conifold gap point at the point \(\psi ^5=1\);
-
the Gepner point the point \(\psi =0\).
Up to the actions by Aut\((D^b(X))\) and \({\mathbb {C}}\), the images of the neighborhood of the large volume limit are expected to be expressed by geometric stability conditions with predicted central charge:
where \(\beta \in \mathbb {R}\) and \(t>0\). Scaling the imaginary part of (2) by t, let \(b=0\), \(a=\frac{t^2}{2}\) and \(\alpha =\frac{\sqrt{15}}{3}t\); we get all such central charges for \(t>1\). In particular, the space of stability conditions constructed in Theorem 1.3 contains a neighbourhood of the large volume limit.
Up to the actions by Aut\((D^b(X))\), the limit of central charges near the conifold gap point is expected to satisfy \(Z(\mathcal O_X)=0\). Note that in (2), one may let \(\beta =0\) and \(\alpha \rightarrow 0\) so that the kernel of the central charge will tend to the character of \({\mathcal {O}}_X\). In particular, the space of stability conditions constructed in Theorem 1.3 contains parts of the neighbourhood of conifold gap point.
The image of the Gepner point is expected to be represented by a stability condition that is fixed by the action \((\mathrm {ST}_{{\mathcal {O}}_X}\circ \otimes \mathcal O(H),-\frac{2}{5})\). By [33], to construct such a stability condition, we prior need a Bogomolov–Gieseker type inequality which is ‘slighly’ stronger than that in Theorem 1.1. We hope to prove this better bound in some future projects after introducing more techniques in the paper [19].
1.1 Organisation and Approach
The logic flow of the proof is as follows:
Each statement above is an inequality for characters of certain semistable objects. Each ‘\(\implies \)’ only relies on the previous inequality but not relates to the arguments for that inequality. The argument in \(\textcircled {1}\) follows the technique in [5, Section 5], it is also originated from the idea in [24, Section 2.2]. Naively speaking, by \(\textcircled {1}\) we may reduce the inequality for stable objects with respect to every tilt-slope functions to a single type: the so-called ‘Brill–Noether’ stable objects. The mainstream of the argument in \(\textcircled {2}\) is to follow the technique developed for Fano threefolds as that in [6, 18, 29]. However, in the Calabi–Yau threefold case, we don’t have some of the \(\mathop {\mathrm{Hom}}\nolimits \) vanishings as that in the Fano threefolds case. Instead, we need to estimate the \(\hom (\mathcal O_X,E)\) for Brill–Noether stable objects. The original idea for this estimation via stability conditions, as far as the author knows, first appears in [3] which reproves the Brill–Noether generality of certain curves on K3 surfaces as that in [17]. The estimation for \(\hom (\mathcal O_X,E)\) necessarily relies on a stronger Bogomolov–Gieseker type inequality for the second Chern character of slope stable objects, which is the statement of Theorem 5.5. In addition to Proposition 4.1, the argument in \(\textcircled {3}\) relies on two techniques: the deformation of stability conditions and Feyzbakhsh’s restriction lemma. A similar deformation argument has been used in [18] for the case of Fano threefolds with index one. The restriction lemma first appears in [13], where the author shows the stability of vector bundles on curves restricted from a K3 surface. More details about the restriction technique via stability conditions appear in Feyzbakhsh’s thesis. The argument \(\textcircled {3}\) can produce more Bogomolov–Gieseker type inequalities for the first two Chern characters for several other varieties. Some results focused on this direction will appear soon in [19]. \(\textcircled {4}\) Proposition 4.1 is the Clifford type bound for the dimension of global sections of stable vector bundles on curves \(C_{2,2,5}\), the complete intersection of two quadratics and a quintic hypersurface in \({\mathbf {P}}^4\). As a topic of its own interest, several general results on the Clifford type bound for curves can be found in [1, 20,21,22, 25]. It is pity that none of the results mentioned above fit in our situation since we need the sharp bounds at some critical slopes \(\mu =5\), 10, 30 and 35. Based on the idea in [14], together with Feyzbakhsh, we develop our own methods to estimate the Clifford type bound for curves supported on K3 and Fano surfaces via stability conditions in [15]. Especially for this case, we think \(C_{2,2,5}\) as a curve on a degree four del Pezzo surface. More introductions about the technical details in \(\textcircled {4}\) can be found in [14, 15].
We organize the paper slightly different from the logic flow. Section 2 is to fix some notations and to collect some lemmas and tools that will be useful in every other section. In Sect. 3, we assume the result in Theorem 5.5 and directly prove our main Theorem 2.8. We make this arrangement since the arguments in this part are more well-established, also we would like to convince the reader that a stronger Bogomolov–Gieseker type inequality for the second Chern character of slope stable sheaves will imply Bogomolov–Gieseker type inequality for the third Chern character of tilt-stable complexes at this early stage. Section 4 is devoted to proving the Clifford type bound for the dimension of global sections of a stable vector bundle on the curve \(C_{2,2,5}\). This section involves a certain amount of computations. As for the convenience of the readers, there is no harm to skip these details first. Section 5 is to proof the stronger Bogomolov–Gieseker type inequality for the surfaces \(S_{2,5}\) based on the inequality in Proposition 4.1.
2 Background: tilt-stability condition and wall-crossing
2.1 Stability condition: notations and conventions
In this section, we review the notion of stability and tilt-stability for smooth varieties introduced in [7, 10, 30]. We then recall the conjectural Bogomolov–Gieseker type inequality for tilt-stable complexes proposed there.
Let X be a smooth projective complex variety and \(H\in NS(X)_{\mathbb {R}}\) be a real ample divisor class. Let the dimension of X be n, in this paper, n will always be 2 or 3. For an arbitrary divisor class \(B\in NS(X)_{\mathbb {R}}\) , we will always denote the twisted Chern characters as follows:
In this paper, we are mainly interested in smooth quintic threefold whose \(NS(X)_{\mathbb {R}}\) is of rank 1, we will always assume \(B=\beta H\) for some \(\beta \in \mathbb {R}\). The \(\mu _{H}\)-slope of a coherent sheaf E on X is defined as
Definition 2.1
A coherent sheaf E is called slope (semi)stable if for any non-trivial subsheaf \(F\hookrightarrow E\), we have
Each coherent sheaf E admits a unique Harder–Narasimhan filtration:
such that: each quotient \(F_i:=E_i/E_{i-1}\) is slope semistable; and \(\mu _H(F_1)>\mu _H(F_2)>\dots >\mu _H(F_m)\). We set \(\mu ^+_H(E):=\mu _H(F_1)\) and \(\mu ^-_H(E):=\mu _H(F_m)\).
There exists torsion pairs\(({\mathcal {T}}_{\beta ,H},\mathcal F_{\beta ,H})\) in \(\mathop {\mathrm{Coh}}\nolimits (X)\) defined as follows:
Definition 2.2
We let \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\subset D^b(X)\) be the extension-closure
By the general theory on tilting heart in [16], \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\) is the heart of a t-structure in \(D^b(X)\). Given \(\alpha \in \mathbb {R}\), we may define the tilt-slope function for objects in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\) as follows: for an object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\), its tilt-slope function
Definition 2.3
An object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\) is called \(\nu _{\alpha , \beta ,H}\)-tilt slope (semi)stable if for any non-trivial subobject \(F\hookrightarrow E\) in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\), we have
An object \(E\in D^b(X)\) is called \(\nu _{\alpha , \beta ,H}\)-tilt (semi)stable if \(E[m]\in \mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\) is \(\nu _{\alpha , \beta ,H}\)-tilt (semi)stable for some homological shift \(m\in \mathbb {Z}\).
The tilt slope stability also admits Harder–Narasimhan property when \(\alpha >\frac{\beta ^2}{2}\). For an object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{H,\beta }(X)\) we may write \(\nu _{\alpha , \beta ,H}^+(E)\) and \(\nu _{\alpha , \beta ,H}^-(E)\) for the maximum and minimum slopes of its semistable factors respectively.
We also write the central charge
for an object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\).
Remark 2.4
The formula \(\nu _{\alpha , \beta ,H}\) is re-parameterized from the one in [5, Section 4]. Let the tilt-slope function in [5, Section 4] be \(\nu _{\alpha , \beta ,H}'\), then
In particular, an object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\) is \(\nu _{\alpha , \beta ,H}'\)-tilt (semi)stable (in the sense of [5]) if and only if \(\nu _{\frac{1}{2}(\alpha ^2+\beta ^2),\beta ,H}\)-tilt (semi)stable. We use \(\nu _{\alpha , \beta ,H}\) as it is more convenient to compare the slopes of objects via pictures.
Definition 2.5
Let E be an object in \(D^b(X)\), we define its H-discriminant as
Theorem 2.6
(Bogomolov Inequality [8, 7, Theorem 7.3.1], [30, Proposition 2.21]) Let X be a smooth projective variety, and \(H\in NS(X)_{\mathbb {R}}\) an ample class. Assume that E is \(\nu _{\alpha , \beta ,H}\)-tilt semistable for some \(\alpha >\frac{1}{2}\beta ^2\), then \(\bar{\Delta }_H(E)\ge 0\).
The main goal of this paper is on the following conjectural Bogomolov–Gieseker inequality for \(\nu _{\alpha , \beta ,H}\)-tilt semistable objects:
Conjecture 2.7
[5, Conjecture 4.1][7, Conjecture 2.7] Let X be a smooth projective threefold, and \(H\in NS(X)_{\mathbb {R}}\) an ample class. Assume that E is \(\nu _{\alpha , \beta ,H}\)-tilt semistable for some \(\alpha >\frac{1}{2}\beta ^2\), then
In this paper, we will prove this conjecture for smooth quintic threefolds with a little assumption on \(\alpha \).
Theorem 2.8
Let X be a smooth projective quintic threefold, and \(H=[\mathcal O_X(1)]\). Assume that E is \(\nu _{\alpha , \beta ,H}\)-tilt semistable for some \(\alpha >\frac{1}{2}\beta ^2+\frac{1}{2}(\beta -\lfloor \beta \rfloor )(\lfloor \beta \rfloor +1-\beta )\), then the inequality (3) holds.
2.2 Recollection of lemmas
Let X be a smooth projective variety and \(H\in NS(X)_{\mathbb {R}}\) be a real ample divisor class. For an object \(E\in D^b(X)\), we write
Let \(\alpha ,\beta \in \mathbb {R}\) be the parameters for tilt-slope functions, unless mentioned otherwise, we will always assume \(\alpha >\frac{1}{2}\beta ^2\).
Lemma 2.9
Let \(E\in \mathop {\mathrm{Coh}}\nolimits ^{\beta _0,H}(X)\) be a \(\nu _{\alpha _0,\beta _0,H}\)-tilt stable object for some \(\alpha _0>\frac{1}{2}\beta _0^2\), then we have the following properties.
- (a):
-
(Openness) There exists an open set of neighborhood U of \((\alpha _0,\beta _0)\) such that for any \((\alpha ,\beta )\in U\), the object E is \(\nu _{\alpha , \beta ,H}\)-tilt stable.
- (b):
-
(Bertram’s Nested Wall Theorem) The object E is \(\nu _{\alpha , \beta ,H}\)-tilt stable for any \(\{(\alpha ,\beta )|\alpha >\frac{1}{2}\beta ^2\}\) on the line through the points \((\alpha _0,\beta _0)\) and \(p_H(E)\). More precisely, the object E is \(\nu _{\alpha , \beta ,H}\)-tilt stable for \((\alpha ,\beta )\) such that the determinant
$$\begin{aligned} \det \begin{pmatrix} 1 &{} \alpha &{}\beta \\ 1 &{} \alpha _0 &{}\beta _0\\ H^n\mathop {\mathrm{ch}}\nolimits _0(E) &{} H^{n-2}\mathop {\mathrm{ch}}\nolimits _2(E) &{} H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(E) \end{pmatrix}=0. \end{aligned}$$The statement also holds for semistable case. Moreover, when X is a threefold,
$$\begin{aligned} H^{n-1}\mathop {\mathrm{ch}}\nolimits _1^{\beta H}(E)Q_{\alpha _0,\beta _0}(E)=H^{n-1}\mathop {\mathrm{ch}}\nolimits _1^{\beta _0 H}(E)Q_{\alpha ,\beta }(E). \end{aligned}$$(4) - (b\('\)):
-
Let F be an object in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta _0,H}(X)\) such that \(p_H(F)\) is on the line through the points \((\alpha _0,\beta _0)\) and \(p_H(E)\), then \(\nu _{\alpha _0,\beta _0,H}(E)=\nu _{\alpha _0,\beta _0,H}(F).\) More precisely, the requirements on E and F are as follows: both \(\bar{v}_H(E)\) and \(\bar{v}_H(F)\) are not zero and the determinant
$$\begin{aligned} \det \begin{pmatrix} 1 &{} \alpha _0 &{}\beta _0\\ H^n\mathop {\mathrm{ch}}\nolimits _0(E) &{} H^{n-2}\mathop {\mathrm{ch}}\nolimits _2(E) &{} H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(E)\\ H^n\mathop {\mathrm{ch}}\nolimits _0(F) &{} H^{n-2}\mathop {\mathrm{ch}}\nolimits _2(F) &{} H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(F) \end{pmatrix}=0. \end{aligned}$$ - (c):
-
(Destabilizing walls) The set \(\{(\alpha ,\beta )\in \mathbb {R}^2|\alpha >\frac{1}{2}\beta ^2, E\) is strictly \(\nu _{\alpha , \beta ,H}\)-tilt semistable\(\}\) is empty or a union of line segments and rays.
Proof
The first and third statements are in [7, Corollary3.3.3] and also in [5, Appendix B] with more details. The nested wall theorem is in [23, Theorem 3.1] and [5, Lemma 4.3]. As for the Eq. (4), by formally tensoring \(\mathcal O(mH)\) on E, we may assume that \(H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(E)=0\). The left hand side then can be simplified as:
This equals the right hand side since the zero determinant implies:
Part (b\('\)) is a direct computation by the definition of \(\nu _{\alpha , \beta ,H}\). \(\square \)
The following lemma from [5] will be very useful in the technique of deforming tilt-stabilities. We list it here for the convenience of readers.
Lemma 2.10
[5, Corollary 3.10] Let E be a strictly \(\nu _{\alpha , \beta ,H}\)-tilt semistable object with \(\nu _{\alpha , \beta ,H}(E)\ne +\infty \). Then for any of its Jordan–Hölder factor \(E_i\) of E, we have
The equality holds only when \(\bar{v}_H(E_i)\) is proportional to \(\bar{v}_H(E)\) and \(\bar{\Delta }_H(E)=\bar{\Delta }_H(E_i)=0\).
Definition 2.11
We call an object EBrill–Noether stable if there exists an open subset \(U_{\delta }:=\{ (\alpha ,\beta )|\alpha ^2+\beta ^2<\delta ,\alpha >\frac{1}{2}\beta ^2\}\) for some \(\delta >0\) such that E is \(\nu _{\alpha , \beta ,H}\)-tilt stable for every \((\alpha ,\beta )\in U_{\delta }\).
We call an object EBrill–Noether semistable if there exists \(\delta >0\) such that E is \(\nu _{\alpha ,0,H}\)-tilt semistable for every \(0<\alpha <\delta \).
For an object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\), we denote its Brill–Noether slope by
On may think the Brill–Noether stability condition also as the ‘weak stability condition’ on the heart \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) whose central charge is given by \(Z=-H^{n-2}\mathop {\mathrm{ch}}\nolimits _2+i H^{n-1}\mathop {\mathrm{ch}}\nolimits _1\). By Lemma 2.9, an object E with \(H^{n-2}\mathop {\mathrm{ch}}\nolimits _2(E)\ne 0\) is Brill–Noether stable if and only if it is \(\nu _{\alpha ,\beta ,H}\)-tilt stable for some \((\alpha ,\beta )\) proportional to \(p_H(E)\). The Brill–Noether semistability of E implies that E is \(\nu _{\alpha ,\beta ,H}\)-tilt semistable for some \((\alpha ,\beta )\) proportional to \(p_H(E)\).
Lemma 2.12
[3, Lemma 6.5] Assume that \(E\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) is Brill–Noether stable. If \(\nu _{BN}(E)>0\), let \(W\subset \mathop {\mathrm{Hom}}\nolimits ({\mathcal {O}}_X,E)\) be a subspace, then the object
is in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) and Brill–Noether semistable.
If \(\nu _{BN}(E)<0\), let \(W'\subset (\mathop {\mathrm{Hom}}\nolimits (E[-1],{\mathcal {O}}_X))^*\) be a subspace, then the object
is in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) and Brill–Noether semistable.
Proof
We prove the case when \(\nu _{BN}(E)>0\), the other case can be proved in a similar way. Note that \({\tilde{E}}\) is the canonical extension
in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\). In the case that \(\nu _{BN}(E)=+\infty \), for any \(\alpha >0\), both E and \(\mathcal O_X[1]\otimes W\) are \(\nu _{\alpha ,0,H}\)-tilt semistable with the same slope \(+\infty \). Any extended object from them, especially \({\tilde{E}}\), is also \(\nu _{\alpha ,0,H}\)-tilt semistable with slope \(+\infty \).
We may now assume \(H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(E)\ne 0\), then there exists points \((\alpha ,\beta )\) proportional to \(p_H(E)\) such that \(\alpha >\frac{1}{2}\beta ^2\). For any such \((\alpha ,\beta )\), both \({\mathcal {O}}_X[1]\) and E are \(\nu _{\alpha , \beta ,H}\)-tilt stable and \(\nu _{\alpha , \beta ,H}(E)=\nu _{\alpha , \beta ,H}({\mathcal {O}}_X[1])\). Their extension \(\tilde{E}\) is \(\nu _{\alpha , \beta ,H}\)-tilt semistable. If \(\tilde{E}\) is not \(\nu _{\epsilon ,0,H}\)-tilt stable for sufficiently small \(\epsilon >0\), then the destabilizing quotient object \(\tilde{E}\twoheadrightarrow Q\) in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) would necessarily be \(\nu _{\alpha , \beta ,H}\)-tilt semistable with the same slope as \(\nu _{\alpha , \beta ,H}(\mathcal O_X[1])=\nu _{\alpha , \beta ,H}(E)\). Note that \({\mathcal {O}}_X[1]\) is \(\nu _{\epsilon ,0,H}\)-stable with slope
we have \(\mathop {\mathrm{Hom}}\nolimits ({\mathcal {O}}_X[1],Q)=0\). Therefore, we must have \(\mathop {\mathrm{Hom}}\nolimits (E,Q)\ne 0\).
Since E is \(\nu _{\alpha , \beta ,H}\)-tilt stable and Q is \(\nu _{\alpha , \beta ,H}\)-tilt semistable with the same slope, the object E has to be a subobject of Q in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\). Denote the kernel of \(\tilde{E}\twoheadrightarrow Q\) by K. We then have the short exact sequence
in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\). By choosing sufficiently small \(\beta >0\), we have \(H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(Q/E)\), \(H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(K)\ge 0\). Note that \({\tilde{E}}/E\simeq \mathcal O_X[1]\otimes W\) and \(H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(\mathcal O_X[1])=0\), we must have \(H^{n-1}\mathop {\mathrm{ch}}\nolimits _1(Q/E)=0\). Since \(\nu _{\alpha , \beta ,H}(Q/E)=\nu _{\alpha , \beta ,H}(E)=\nu _{\alpha , \beta ,H}({\mathcal {O}}_X[1])\), we have \(\bar{v}_H(Q/E)=(H^n\mathop {\mathrm{ch}}\nolimits _0(Q/E),0,0)\) and \(\bar{\Delta }_H(Q/E)=0\). By [5, Corollary 3.11(c)], both Q / E and K must be some direct summands of \({\mathcal {O}}_X[1]\). By the definition of \(\tilde{E}\), there is no non-zero map from K to \(\tilde{E}\). Hence, \(\tilde{E}\) is \(\nu _{\epsilon ,0,H}\)-tilt stable for sufficiently small \(\epsilon >0\). \(\square \)
3 Proof for the main result
The goal of this section is to prove the inequality in Theorem 2.8 with the assumption of Theorem 5.5. Following the idea in [5, Section 5], we first reduce the inequality for every tilt semistable objects to Brill–Noether stable objects.
Proposition 3.1
Let X be a smooth projective quintic threefold, and \(H=[\mathcal O_X(1)]\). Assume that \(E\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) is Brill–Noether stable and \(\nu _{BN}(E)\in [-\frac{1}{2},\frac{1}{2}]\), then
Theorem 3.2
[5, Theorem 5.4] Proposition 3.1 implies Theorem 2.8.
Proof
Suppose Theorem 2.8 does not hold, then by Theorem 2.6, there exists a \(\nu _{\alpha , \beta ,H}\)-tilt semistable object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(X)\) violating inequality (3) with the minimum \(\bar{\Delta }_H\). Note that the minimum \(\bar{\Delta }_H\) is by considering all \((\alpha ,\beta )\) such that \(\alpha >\frac{1}{2}\beta ^2+\frac{1}{2}(\beta -\lfloor \beta \rfloor )(\lfloor \beta \rfloor +1-\beta )\) and every \(\nu _{\alpha , \beta ,H}\)-tilt semistable E such that \(Q_{\alpha ,\beta }(E)<0\). By [5, Lemma 5.6], we may assume \(\bar{\Delta }_H(E)>0\). We may also assume \(H^2\mathop {\mathrm{ch}}\nolimits _1^{\beta H}(E)>0\), since otherwise \(H^2\mathop {\mathrm{ch}}\nolimits _1^{\beta H}(E)=0\) and the inequality (3) holds automatically.
The condition \(\alpha >\frac{1}{2}\beta ^2+\frac{1}{2}(\beta -\lfloor \beta \rfloor )(\lfloor \beta \rfloor +1-\beta )\) is equivalent to say that the point \((\alpha ,\beta )\) is to the right of the dashed lines
Consider the wall W through \((\alpha ,\beta )\) and \(p_H(E)\):
For any \((\alpha ',\beta ')\) in W, by Lemma 2.9, the object E is \(\nu _{\alpha ',\beta ',H}\)-tilt semistable. By Lemma 2.9 part (b), we have \(Q_{\alpha ',\beta '}(E)<0\). By the assumption that \(\alpha >\frac{1}{2}\beta ^2+\frac{1}{2}(\beta -\lfloor \beta \rfloor )(\lfloor \beta \rfloor +1-\beta )\), the wall W contains at least one \((\alpha _0,\beta _0)\) such that \(\beta _0\) is an integer.
Moreover, we can choose the integer \(\beta _0\) such that
Here the integer \(\beta _0\) can be determined by the position of \(p_H(E)\) as in Fig. 1. Or more precisely, the integer \(\beta _0\) is in
By reseting \(E=E(-\beta _0H)\), we may assume \(\beta _0=0\). In particular, we may assume that E is \(\nu _{\alpha ,0,H}\)-tilt semistable and \(Q_{\alpha ,0}(E)<0\). Suppose E becomes strictly \(\nu _{\alpha _0,0,H}\)-tilt semistable for some \(0<\alpha _0\le \alpha \), then by Lemma 2.10 and the assumption that \(\bar{\Delta }_H(E)>0\), for each Jordan–Hölder factor \(E_i\), we have \(\bar{\Delta }_H(E_i)<\bar{\Delta }_H(E)\). Note that \(Q_{\alpha _0,0}(E)\le Q_{\alpha ,0}(E)<0\). By [5, Lemma A.6], there exists a Jordan–Hölder factor \(E_i\) such that \(Q_{\alpha _0,0}(E_i)<0\). This violates the minimum assumption on \(\bar{\Delta }_H(E)\).
Let \((\alpha _1,\beta _1)\) be a point on the wall through \(p_H(E)\) and (0, 0) when \(H\mathop {\mathrm{ch}}\nolimits _2(E)\ne 0\). By Lemma 2.9, we have \(Q_{\alpha _1,\beta _1}(E)<0\) as \(Q_{0,0}(E)\le Q_{\alpha ,\beta }(E)<0\). If E is strictly \(\nu _{\alpha _1,\beta _1,H}\)-tilt semistable, then any of its Jordan–Hölder factor \(E_i\) is Brill–Noether stable and has \(\nu _{BN}(E_i)=\nu _{BN}(E)\in [-\frac{1}{2},\frac{1}{2}]\). By Proposition 3.1, each factor satisfies \(Q_{0,0}(E_i)\ge 0\). By [5, Lemma A.6] again, we have \(Q_{0,0}(E)\ge 0\).
If E is \(\nu _{\alpha _1,\beta _1,H}\)-tilt stable or \(H\mathop {\mathrm{ch}}\nolimits _2(E)=0\), then E is Brill–Noether stable. By Proposition 3.1, we also have \(Q_{0,0}(E)\ge 0\).
In either case, we get \(0>Q_{\alpha ,0}(E)\ge Q_{0,0}(E)\ge 0\), which is a contradiction. Therefore, under the assumption of Proposition 3.1, Theorem 2.8 holds. \(\square \)
We now show that Proposition 3.1 can be implied by the stronger Bogomolov–Gieseker type inequality for the second Chern character of Brill–Noether stable objects.
Proposition 3.3
Theorem 5.5 implies Proposition 3.1.
Proof
Let \(E\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) be a Brill–Noether stable object, we first discuss the case when \(\nu _{BN}(E)\in (0,\frac{1}{2}]\). There exists \((\alpha ,\beta )\) such that \(\alpha >\frac{1}{2}\beta ^2\), \(0<\frac{\alpha }{\beta }<\nu _{BN}(E)\) and E is \(\nu _{\alpha , \beta ,H}\)-tilt stable. Note that (Fig. 2)
The point \((\alpha ,\beta )\) is slightly to the left of the line through O and \(p_H(E)\)
Since both \({\mathcal {O}}_X[1]\) and E are \(\nu _{\alpha , \beta ,H}\)-tilt stable, by Serre duality, we have
for any \(i\ge 0\). Consider the object \({\tilde{E}}:=\)Cone\(({\mathcal {O}}_X\otimes \mathop {\mathrm{Hom}}\nolimits ({\mathcal {O}}_X,E)\rightarrow E)\), by Lemma 2.12, \({\tilde{E}}\) is Brill–Noether semistable in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\). By Theorem 5.5, the slope \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1({\tilde{E}})}{H^3{\mathrm{rk}}({\tilde{E}})}\) cannot be in \((-\frac{1}{4},0]\). Moreover, either
or by Theorem 5.5,
When (5) happens, we have
When (6) happens, we have
Note that \(H^2\mathop {\mathrm{ch}}\nolimits _1(E)>0\) and we have assumed that \(\nu _{BN}(E)>0\), hence \(H\mathop {\mathrm{ch}}\nolimits _2(E)>0\) and inequality (8) always holds.
Since \(\mathop {\mathrm{Hom}}\nolimits ({\mathcal {O}}_X[1], E[i])=0\) for \(i\le -1\), we have
Substitute this to (8), recall that \(\mathrm {td}_1(X)=0\), \(\mathrm {td}_3(X)=\chi (\mathcal O_X)=0\) and \(\mathrm {td}_2(X)=\frac{5}{6}H^2\) (as \(\chi (\mathcal O_X(H))=5\)), by Hirzebruch–Riemann–Roch, we have
By multiplying \(6H^2\mathop {\mathrm{ch}}\nolimits _1(E)\) and cancelling out some terms on both sides, we have:
By Theorem 5.5 and the assumption that \(\nu _{BN}(E)\in (0,\frac{1}{2}]\), we have \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(E)}{H^3{\mathrm{rk}}(E)}\notin [0,\frac{1}{2}]\).
-
When \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(E)}{H^3{\mathrm{rk}}(E)} \notin [\frac{1}{2},1]\), we have \(H^2\mathop {\mathrm{ch}}\nolimits _1(E)>0\), \(H^2\mathop {\mathrm{ch}}\nolimits _1(E)>H^3{\mathrm{rk}}(E)\) and \(H^2\mathop {\mathrm{ch}}\nolimits _1(E)= \frac{1}{\nu _{BN}(E)} H\mathop {\mathrm{ch}}\nolimits _2(E)\ge 2H\mathop {\mathrm{ch}}\nolimits _2(E)\), hence the Eq. (9) is non-negative.
-
When \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(E)}{H^3{\mathrm{rk}}(E)}\in [\frac{1}{2},\frac{3}{4}]\), by Theorem 5.5, the Eq. (10) is non-negative.
-
When \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(E)}{H^3{\mathrm{rk}}(E)}\in [\frac{3}{4},\frac{10}{11}]\), by Theorem 5.5, \(\frac{3}{2}H^2\mathop {\mathrm{ch}}\nolimits _1(E)-H\mathop {\mathrm{ch}}\nolimits _2(E)-H^3{\mathrm{rk}}(E) \ge 0\) and \(\nu _{BN}(E)< \frac{2}{5}\). Therefore \(4H^2\mathop {\mathrm{ch}}\nolimits _1(E)-10H\mathop {\mathrm{ch}}\nolimits _2(E)\ge 0\), the Eq. (11) is non-negative.
-
When \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(E)}{H^3{\mathrm{rk}}(E)}\in [\frac{10}{11},1]\), by Theorem 5.5, the first term in Eq. (12) is non-negative. The term \(7H^2\mathop {\mathrm{ch}}\nolimits _1(E)-10H\mathop {\mathrm{ch}}\nolimits _2(E)-2H^3{\mathrm{rk}}(E)\) is also non-negative since \(2H\mathop {\mathrm{ch}}\nolimits _2(E)+2H^3{\mathrm{rk}}(E)\le 3H^2\mathop {\mathrm{ch}}\nolimits _1(E)\) by Theorem 5.5. Therefore, the Eq. (12) is non-negative.
As a summary, when \(\nu _{BN}(E)\in (0,\frac{1}{2}]\), we always have \(Q_{0,0}(E)\ge 0\).
The same argument applies for the case when \(\nu _{BN}(E)\in [-\frac{1}{2},0)\). In that case, we will have \(\mathop {\mathrm{Hom}}\nolimits ({\mathcal {O}}_X,E)=0\) and we can bound the dimension \(\hom ({\mathcal {O}}_X,E[2])=\hom (E,{\mathcal {O}}[1])\) by Lemma 2.12. As pointed out by the referee, we may also consider the derived dual \({\mathbb {D}}(E):=E^\vee [1]\). By [7, Proposition 5.1.3 (b)], it fits into an exact triangle \({{\bar{E}}}\rightarrow {\mathbb {D}}(E) \rightarrow T_0[-1]\) for a Brill–Noether semistable object \({{\bar{E}}}\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) and a zero-dimensional torsion sheaf \(T_0\). Note that \(\mathop {\mathrm{ch}}\nolimits _1({\bar{E}})=\mathop {\mathrm{ch}}\nolimits _1({\mathbb {D}}(E))=\mathop {\mathrm{ch}}\nolimits _1(E)\) and \(\mathop {\mathrm{ch}}\nolimits _2({\bar{E}})=-\mathop {\mathrm{ch}}\nolimits _2(E)\) we have \(\nu _{BN}(E)\in (0,\frac{1}{2}]\). Therefore,
As for the remaining case that \(\nu _{BN}(E)=0=H\mathop {\mathrm{ch}}\nolimits _2(E)\), we consider the object \({\tilde{E}}:=Cone({\mathcal {O}}_X\otimes \mathop {\mathrm{Hom}}\nolimits ({\mathcal {O}}_X,E)\xrightarrow {can} E)\). If \(\tilde{E}\) is \(\nu _{\alpha ,0,H}\)-tilt semistable for some \(\alpha >0\), then by Theorem 5.5, we know that \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(\tilde{E})}{H^3{\mathrm{rk}}(\tilde{E})}\notin (-\frac{1}{2},0]\). As \(H^2\mathop {\mathrm{ch}}\nolimits _1(\tilde{E})=H^2\mathop {\mathrm{ch}}\nolimits _1(E)>0\), we have
Otherwise, for each \(\delta >0\), \({\tilde{E}}\) is destabilized by some \(\nu _{\delta ^2,\delta ,H}\)-tilt stable object \(F_\delta \hookrightarrow {\tilde{E}}\) in \(\mathop {\mathrm{Coh}}\nolimits ^{\delta ,H}(X)\). We may assume \(0<\delta <\frac{1}{2}\) sufficiently small so that E is \(\nu _{\delta ^2,\delta ,H}\)-tilt stable. Note that either \(\mathop {\mathrm{Hom}}\nolimits (F_{\delta },E)\ne 0\) or \(\mathop {\mathrm{Hom}}\nolimits (F_{\delta },{\mathcal {O}}_X[1])\ne 0\). We have either \(\nu _{\delta ^2,\delta ,H}(F_\delta )\le \nu _{\delta ^2,\delta ,H}({\mathcal {O}}[1])\) or \(\nu _{\delta ^2,\delta ,H}(F_\delta )\le \nu _{\delta ^2,\delta ,H}(E)\). By Theorem 5.5, when \(\delta <\frac{1}{2}\), we always have \(\nu _{\delta ^2,\delta ,H}(E)<\nu _{\delta ^2,\delta ,H}(\mathcal O[1])=\delta \). Therefore, \(\nu _{\delta ^2,\delta ,H}(F_\delta )\le \nu _{\delta ^2,\delta ,H}({\mathcal {O}}[1])\). Note that the ‘\(=\)’ can only hold when \(F_\delta \simeq {\mathcal {O}}[1]\), but then \(\mathop {\mathrm{Hom}}\nolimits (F_\delta ,{\tilde{E}})=0\). Therefore, \(\nu _{\delta ^2,\delta ,H}(F_\delta )<\delta \).
We may assume that \(F_\delta \) has the greatest \(\nu _{\delta ^2,\delta ,H}\) slope among all destabilizing subobject of \({\tilde{E}}\) in \(\mathop {\mathrm{Coh}}\nolimits ^{\delta ,H}(X)\). Then for each Harder–Narasimhan factor \(E_i\) of \({\tilde{E}}\) with respect to \(\nu _{\delta ^2,\delta ,H}\), we have \(\nu _{\delta ^2,\delta ,H}(E_i)<\delta \). By Lemma 2.9, each \(E_i\) is also \(\nu _{\alpha _i,0,H}\)-tilt stable for some \(\alpha _i>0\) and in addition \(\nu _{BN}(E_i)<\delta \). By Theorem 5.5,
or equivalently, \(\frac{H^3{\mathrm{rk}}(E_i)}{H^2\mathop {\mathrm{ch}}\nolimits _1(E_i)}>-4\delta -2\). When \(\delta \) tends to 0, we have \(H^3{\mathrm{rk}}({\tilde{E}})\ge -2H^2\mathop {\mathrm{ch}}\nolimits _1({\tilde{E}})\). As (13) always holds, we have
Recall that by [7, Proposition 5.1.3 (b)], there is an exact triangle \({{\bar{E}}}\rightarrow {\mathbb {D}}(E)\rightarrow T_0[-1]\) for a Brill–Noether semistable object \({{\bar{E}}}\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\) and a zero-dimensional torsion sheaf \(T_0\). We have
By Hirzebruch–Riemann–Roch (14) and (16), we have
Therefore, \(\mathop {\mathrm{ch}}\nolimits _3(E)<0\) and \(Q_{0,0}(E)>0\).
In any case of \(\nu _{BN}(E)\), we always have \(Q_{0,0}(E)\ge 0\). \(\square \)
4 Clifford type inequality for curves \(C_{2,2,5}\)
The generalized Clifford index theorem for curves, [9, Theorem 2.1] states that for any semistable vector bundle F over a smooth curve C with rank r and slope \(\mu \in [0,g]\), where g is the genus of the curve, the following bound holds:
The main purpose of this section is to set up the following stronger Clifford type inequality for the curve \(C_{2,2,5}\), which is the complete intersection of two quadratic hypersurfaces and a quintic hypersurface in \({\mathbf {P}}_\mathbb {C}^4\).
Proposition 4.1
Let F be a semistable vector bundle on a smooth curve \(C_{2,2,5}\) with rank r and slope \(\mu \in (0,10]\cup [30,40]\), then we have the following bounds for the dimension of global sections of \(h^0(F)\):
The bound listed above is the best result we can prove so far. As for the purpose to prove Proposition 5.2, when \(\mu \in [2,10]\), we only need the following weaker but neat bound.
When \(\mu \in [2,5)\), the right hand side is always less than or equal to \(\frac{7\mu }{120}+\frac{109}{120}\).
When \(\mu \in [5,10]\), the right hand side is always less than or equal to \(\frac{3\mu }{20}+\frac{1}{2}\).
Bounds for \(h^0(F)/r\) when \(\mu \in (0,5)\)
Remark 4.2
The inequality is sharp for some values of the slope \(\mu \). When \(\mu \in (0,2)\), this result is the sharp bound as shown in [21, Proposition 2.1]. When \(\mu =2,\frac{5}{2},\frac{10}{3},5,10,30,40\), this bound is also for sure to be sharp (Fig. 3).
To express those vector bundles with sharp bound more precisely, we let \(S_{2,2}\) be a smooth complete intersection of two quadratic hyper-surfaces such that \(S_{2,2}\) contains \(C_{2,2,5}\) in \({\mathbf {P}}^4_{\mathbb {C}}\). Note that \(S_{2,2}\) is a del Pezzo surface with degree 4, it can be viewed as a projective plane blown-up at 5 points. Denote \(\ell _0\) as the pull-back of a line in \({\mathbf {P}}^2\) and \(\ell _1\) as one of the exceptional lines.
When \(\mu =\frac{10}{n+1}\) for \(n=1,2,3,4\), we may achieve the maximum \(h^0(F)/r\) by letting \(F=E_n|_{C_{2,2,5}}\) where \(E_n\) is a vector bundle on \(S_{2,2}\) defined as the cokernel of the map
When \(\mu =10\), one may let \(F=\mathcal O_{S_{2,2}}(\ell _0-\ell _1)|_{C_{2,2,5}}\). When \(\mu =40\), one may let \(F=\mathcal O(2H)|_{C_{2,2,5}}\).
Back to the proof for the Proposition 4.1, it is enough to prove the statement for stable vector bundles. We denote the inclusion map by \(\iota :C_{2,2,5}\hookrightarrow S_{2,2}\). In this section, we write H for \([\mathcal O_{S_{2,2}}(1)]\) and only use stability conditions on \(S_{2,2}\) with polarization H. As \(h^0(F)=h^0(\iota _*F)\), we will always consider the dimension of global sections on \(\iota _*F\) in \(D^b(S_{2,2})\) instead of F. The following statement is standard:
Lemma 4.3
Let F be a stable vector bundle on \(C_{2,2,5}\), then \(\iota _*F\) is \(\nu _{\alpha ,0,H}\)-tilt stable for \(\alpha \gg 0\).
Following the strategy in [14, 15], we will compute \(h^0(\iota _*F)\) by considering the Harder–Narasimhan factors of \(\iota _*F\) with respect to \(\nu _{BN}\).
Lemma 4.4
[14, Proposition 3.4 (a)] For each object \(E\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,2})\) that is \(\nu _{\alpha ,0,H}\)-tilt stable for some \(\alpha >0\), there exists \(\delta >0\) such that there is a Harder–Narasimhan filtration for E with respect to \(\nu _{\alpha ,0,H}\) for any \(0<\alpha <\delta \):
In particular, each factor \(F_i=E_i/E_{i-1}\) is Brill–Noether semistable. The slope is decreasing \(\nu _{BN}^+(E):=\nu _{BN}(F_1)\ge \dots \ge \nu _{BN}(F_n)=:\nu _{BN}^-(E)\).
The original statement in [14, Proposition 3.4 (a)] only states for K3 surfaces. But the argument only needs that there are finitely many possible classes for semistable factors, which is due to Bogomolov inequality. So it holds for every surface.
The geometric stability conditions on \(S_{2,2}\) with polarization H is slightly larger than that ensured by the Bogomolov inequality. In particular, we may choose the parameter \(\alpha \le \frac{\beta ^2}{2}\).
Definition 4.5
Let \(\gamma :\mathbb {R}\rightarrow \mathbb {R}\) be a 1-periodic function. When \(x\in [0,1]\),
Let \(\Gamma (x):=\frac{1}{2}x^2-\gamma (x)\).
Observation 4.6
For any torsion-free \(\mu _H\)-slope stable object E, we have
The data \((\mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,2}),Z_{\alpha ,\beta ,H})\) parameterized by \(\{(\alpha ,\beta )\in \mathbb {R}^2|\alpha >\Gamma (\beta )\}\) form a continuous family of stability conditions on \(D^b(S_{2,2})\).
Proof
The inequality for Chern characters of \(\mu _H\)-slope stable objects with \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(E)}{H^2{\mathrm{rk}}(E)}\notin \mathbb {Z}\) is by computing
The stability condition is then a standard construction as that in [11] or the framework in [30, Section 2]. \(\square \)
Remark 4.7
It is worth to mention that Bertram’s nested wall theorem (Lemma 2.9 (b)) still holds for \((\alpha ,\beta )\) on the wall such that \(\alpha >\Gamma (\beta )\), but one needs to be careful that in this case every point \((\alpha ',\beta ')\) on the line segment between \((\alpha _0,\beta _0)\) and \((\alpha ,\beta )\) should also satisfy \(\alpha '>\Gamma (\beta ')\).
The following lemma explains that we can estimate the dimension of global sections for each Brill–Noether semistable factor.
Lemma 4.8
Let \(F\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,2})\) be a Brill–Noether semistable object. Then
Proof
When \(-\frac{1}{2}<\nu _{BN}(F) <+\infty \), since \(\mathcal O_{S_{2,2}}(-H)[1]\) is Brill–Noether stable with slope
we have
for \(i\ge 0\). Since \(O_{S_{2,2}}[1]\) is \(\nu _{\alpha ,0,H}\)-tilt stable for \(\alpha >0\) and has slope
we have
for \(i\ge 0\). Therefore,
When \(\nu _{BN}(F)\le -\frac{1}{2}\), there exists \((\alpha ,\beta )\) on the line through \(p_H(F)\) and (0, 0) such that \(\alpha >\frac{1}{2}\beta ^2\). By Lemma 2.9, the object F is in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(S_{2,2})\) and \(\nu _{\alpha , \beta ,H}\)-tilt semistable with \(\nu _{BN}(F)=\nu _{\alpha , \beta ,H}(F)=\frac{\alpha }{\beta }=\nu _{\alpha , \beta ,H}(\mathcal O_{S_{2,2}})\). The object
is in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,2})\) and therefore also in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(S_{2,2})\) by Lemma 2.9. In particular, the object \({\tilde{F}}\) is \(\nu _{\alpha , \beta ,H}\)-tilt semistable with slope \(\nu _{\alpha , \beta ,H}({\tilde{F}})=\nu _{BN}(F)\). Since \(\bar{\Delta }_H({\tilde{F}})\ge 0\), we have
This verifies the case when \(\nu _{BN}(F)=-\frac{n}{2}\) for \(n\in \mathbb {Z}_{>0}\).
When \(-\frac{n+1}{2}<\nu _{BN}(F)<-\frac{n}{2}, n\in \mathbb {Z}_{>0}\), note that \({\mathcal {O}}_{S_{2,2}}(-(n+1)H)[1]\) is in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(S_{2,2})\) and \(\nu _{\alpha , \beta ,H}\)-tilt stable with slope
when \(\beta \rightarrow 0\). We have
for \(i\ge 0\). Since \(O_{S_{2,2}}(-nH)[1]\) is in \(\mathop {\mathrm{Coh}}\nolimits ^{\beta ,H}(S_{2,2})\) and \(\nu _{\alpha , \beta ,H}\)-tilt stable for with slope
when \(\beta \rightarrow 0\). We have
for \(i\ge 0\). Therefore,
We finish the claim for all cases. \(\square \)
The following property decides the bounds for the Brill–Noether slopes of each Harder–Narasimhan factors of \(\iota _*F\).
Proposition 4.9
Let F be a slope stable vector bundle on \(C_{2,2,5}\) with slope \(\mu (F)\in (0,10]\cup [30,40]\), then
-
\(\iota _*F\) is Brill–Noether semistable when \(\mu \le 30-20\sqrt{2};\)
-
\(\nu _{BN}^+(\iota _*F)\le {\left\{ \begin{array}{ll} \frac{1}{2}-\frac{5}{\mu }, &{} \text { when }\mu \in (30-20\sqrt{2},10];\\ \frac{3}{2}-\frac{25}{\mu }, &{} \text { when }\mu \in [30,10+20\sqrt{2}];\\ \frac{23\mu -610}{12\mu -140}, &{} \text { when }\mu \in [10+20\sqrt{2},39];\\ \frac{\mu }{8}-4, &{} \text { when }\mu \in [39,40]. \end{array}\right. } \)
-
\(\nu _{BN}^-(\iota _*F)\ge {\left\{ \begin{array}{ll} \frac{490-9\mu }{2\mu -200}, &{} \text { when }\mu \in (30-20\sqrt{2},10];\\ \frac{450-7\mu }{2\mu -200}, &{} \text { when }\mu \in [30,10+20\sqrt{2}];\\ -\frac{3}{2}, &{} \text { when }\mu \in [10+20\sqrt{2},40]. \end{array}\right. } \)
To prove the proposition, we need estimate the first wall of \(\iota _*F\).
Lemma 4.10
Adopt the notations in Proposition 4.9, if \(\mu \in (0,30-20\sqrt{2}]\), then \(\iota _*F\) is Brill–Noether semistable. Otherwise, suppose \(\iota _*F\) becomes strictly \(\nu _{\alpha ,0,H}\)-tilt semistable for some \(\alpha >0\). Then,
Proof
We write r for the rank of F, the Chern characters of \(\iota _*F\) are as follows:
Let \(0\rightarrow F_2\rightarrow \iota _*F\rightarrow F_1\rightarrow 0\) in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,2})\) be the destabilizing sequence with respect to \(\nu _{\alpha ,0,H}\), then there is an exact sequence in \(\mathop {\mathrm{Coh}}\nolimits (S_{2,2})\).
If \(s=0\), then \(\mathrm{H}^{-1}(F_1)=0\) as it is torsion free. Since \(F_2\) and \(\iota _*F\) have the same \(\nu _{\alpha ,0,H}\) slope, we must have \(\mathop {\mathrm{ch}}\nolimits (\iota _*F) = k\mathop {\mathrm{ch}}\nolimits (F_2)\) for some real number \(k > 0\), this will violate the stability assumption on F. Thus, we may assume \(s \ne 0\).
Let \(T(F_2)\) be the maximal torsion subsheaf of \(F_2\). Without loss of generality we may assume that it is supported on \(C_{2,2,5}\) with \(\mathop {\mathrm{ch}}\nolimits _1(T(F_2)) = 5tH\). Since F is of rank r, to make the sequence exact at the term \(\iota _*F\), we must have
Therefore,
By Lemma 2.9, the objects \(F_1\) and \(F_2\) are \(\nu _{\alpha ',\beta ',H}\)-tilt semistable of the same phase as \(\iota _*E\) for any \((\alpha ',\beta ')\) along the wall W through \((\alpha ,0)\) with slope \(1/\nu _{BN}(\iota _*F)=1/(\frac{\mu }{20}-\frac{5}{2})\). Let \((\alpha _1,\beta _1)\) and \((\alpha _2,\beta _2)\) be the intersection points of W and the curve \(\Gamma \), more precisely,
By Lemma 2.9 and Remark 4.7, the object \(F_2/T(F_2)\) is in the heart \(\mathop {\mathrm{Coh}}\nolimits ^{\beta _2-\epsilon ,H}X\) and \(\mathrm{H}^{-1}(F_1)\) is in the heart \(\mathop {\mathrm{Coh}}\nolimits ^{\beta _1+\epsilon ,H}X\) for sufficiently small \(\epsilon > 0\). Thus by definition of the tilting heart and (18), we have
Now we have reduced the first wall through \((\alpha ,0)\) to an elementary computation. Note that the line through \((\Gamma (\beta _2),\beta _2)\) and \((\Gamma (\beta _2-5),\beta _2-5)\) always has slope \(1/(\beta _2-\frac{5}{2})\).
-
When \(0<\mu \le 10\), note that the line through \((\Gamma (\frac{\mu }{20}),\frac{\mu }{20})\) and \((\Gamma (\frac{\mu }{20}-5),\frac{\mu }{20}-5)\) has equation
$$\begin{aligned} X-\frac{\mu }{40}+\frac{1}{4}=(\frac{\mu }{20}-\frac{5}{2})(Y-\frac{\mu }{20}). \end{aligned}$$It passes through the point \((\frac{3\mu }{20}-\frac{\mu ^2}{400}-\frac{1}{4},0).\) The object \(\iota _*F\) cannot become strictly \(\nu _{\alpha ,0,H}\)-tilt semistable for any \(\alpha >\max \{0,\frac{3\mu }{20}-\frac{\mu ^2}{400}-\frac{1}{4}\}\).
-
When \(30\le \mu \le 40\), two different types of lines are possible to be the first wall as shown in Fig. 4. We list their equations as follows:
-
(a)
The line through \((\Gamma (-3),-3)\) with slope \(1/(\frac{\mu }{20}-\frac{5}{2})\) has equation \((\frac{\mu }{20}-\frac{5}{2})(Y+3)=X-\frac{9}{2}.\) It passes through \((\frac{3\mu }{20}-3,0)\).
-
(b)
The line through \((\Gamma (\frac{\mu }{20}),\frac{\mu }{20})\) and \((\Gamma (\frac{\mu }{20}-5),\frac{\mu }{20}-5)\) has equation \(X-\frac{3\mu }{40}+\frac{5}{4}=(\frac{\mu }{20}-\frac{5}{2})(Y-\frac{\mu }{20}).\) It passes through \((\frac{\mu }{5}-\frac{\mu ^2}{400}-\frac{5}{4},0)\).
The object \(\iota _*F\) cannot become strictly \(\nu _{\alpha ,0,H}\)-tilt semistable for any \(\alpha >\max \{\frac{3\mu }{20}-3,\frac{\mu }{5}-\frac{\mu ^2}{400}-\frac{5}{4}\}\).
-
(a)
\(\square \)
The potential first wall of \(\iota _*F\)
Proof for Proposition 4.9
Suppose \(\iota _*F\) is not Brill–Noether semistable. Let the Harder–Narasimhan filtration of \(\iota _*F\) with respect to \(\nu _{BN}\) be
Note that \({\mathrm{rk}}(E_1) > 0\), since otherwise for any \(\alpha >0\),
this is not possible as \(E_1\) is a subobject of \(\iota _*F\) in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,2})\).
The line through \(p_H(E_1)\) with slope \(1/\nu _{BN}(\iota _*F)\) passes through \((\alpha ,0)\) for some \(\alpha \le 0\) or satisfying the inequality in Lemma 4.10. Together with the constrain that \({\mathrm{rk}}(E_1)>0\), the slope \(\nu _{BN}(E_1)\) can only achieve maximum when both \(\alpha \) and \(\beta _2\) reach their maximums and \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(E_1)}{H^2{\mathrm{rk}}(E_1)}=\beta _2\). It is a direct computation that
To compute \(\nu _{BN}(E_1)\), the only special case is when \(\mu \in [39,40]\), in this case \(\beta _1=-3\), we have \(\frac{\mathop {\mathrm{ch}}\nolimits _2(E_1)}{H^2{\mathrm{rk}}(E_1)}\le \frac{\mu }{4}-8\). The other cases are by computing \(\frac{\Gamma (\beta _2)}{\beta _2}\) directly.
As for the \(\nu _{BN}(E_m/E_{m-1})\), one may use the same argument and reduce it to the computation of \(\frac{\Gamma (\beta _1)}{\beta _1}\). \(\square \)
Define the function \(\clubsuit :(x,y) \in {\mathbb {H}} = {\mathbb {R}} \times {\mathbb {R}}^{>0} \rightarrow {\mathbb {R}}^{>0}\) as follows
Note that the value of \(\clubsuit \) is always positive, therefore well defined.
Lemma 4.11
Let \(O=(0,0)\) be the origin, let \(P=(x_p,y_p)\) and \(Q=(x_q,y_q)\) be two points on \(\mathbb {H}\) such that \(\frac{x_p}{y_p}<\frac{x_q}{y_q}\) and \(y_p>y_q\). Consider all collections of points \(P_0=O\), \(P_1\), \(\dots \), \(P_n=P\) in the triangle OQP such that \(P_0P_1\dots P_nP_0\) forms a convex polygon, then the sum
can achieve its maximum when either \(n=1\) or 2. In addition, when \(n=2\), the point \(P_1=(x_1,y_1)\) can be chosen on the line segment OQ (QP, respectively) unless \(\frac{x_1}{y_1}=-\frac{n}{2}\) (\(\frac{x_p-x_1}{y_p-y_1}=-\frac{n}{2}\), respectively) for some \(n\in \mathbb {Z}_{>0}\).
Proof
Consider the following toy model on the left in Fig. 5: \(y_c>y_b>y_a\) and \(AC//A'C'\). We allow \(A'\) to move alone the line segment AB (\(C'\) moves along BC accordingly so that \(AC//A'C'\)). Note that the function \(\clubsuit (\overrightarrow{AA'})+\clubsuit (\overrightarrow{A'C'})+\clubsuit (\overrightarrow{C'C})\) changes linearly with respect to the length of \(AA'\), it can achieve maximum when either \(A'=C'=B\) or both \(A'=A\) and \(C'=C\).
Therefore, to achieve the maximum of (20) we may remove extra \(P_i\)’s when \(n>2\).
Replacing extra edges and moving the vertex
Consider the toy model on the right in Fig. 5: \(y_c>y_b\) and D is on the line segment of BC such that \(\frac{x_d}{y_d}\notin \frac{1}{2}\mathbb {Z}_{<0}\). Then by the definition of \(\clubsuit \), there exists \(D_1\) and \(D_2\) on the line segment of BD and CD respectively such that \(\frac{x_{d_i}}{y_{d_i}}\in \frac{1}{2}\mathbb {Z}_{<0}\) or \(D_1=C\) (\(D_2=B\)), and for any point \(D'\) on the line segment \(D_1D_2\) (\(D'\ne D_1\) or \(D_2\)), the function \(\clubsuit (\overrightarrow{OD'})\) is computed with the same coefficients as that of \(\clubsuit (\overrightarrow{OD})\). Note that the function \(\clubsuit (\overrightarrow{OD'})+\clubsuit (\overrightarrow{D'C})\) changes linearly with respect to the length of \(D_1D'\) when \(D\ne D_1\) or \(D_2\), and is upper semi-continuous at \(D_1\) and \(D_2\), it can achieve the maximum when either \(D'=D_1\) or \(D_2\).
Back to the case of the lemma when \(n=2\), we may always adjust the position of \(P_1\) so that it satisfies the requirements in the statement. \(\square \)
Proof of Proposition 4.1
It is enough to prove the case for slope stable vector bundle F over \(C_{2,2,5}\). We consider the Harder–Narasimhan filtration for \(\iota _*F\) with respect to \(\nu _{BN}\) as that in Lemma 4.4:
We draw the points \(P_i:=(\mathop {\mathrm{ch}}\nolimits _2(F_i),H\mathop {\mathrm{ch}}\nolimits _1(F_i))\), \(1\le i\le m\) on the upper half plane \(\mathbb {H}\). By Lemma 4.8 and the definition of the function \(\clubsuit \),
Let \(P=P_n=((\mu -50)r,20r)\) and \(Q=(x_q,y_q)\) be points on \(\mathbb {H}\) such that \(\frac{x_q}{y_q}\) is the upper bound for \(\nu _{BN}^+(\iota _*F)\) and \(\frac{x_p-x_q}{x_q-y_q}\) is the lower bound for \(\nu _{BN}^-(\iota _*F)\) as that in Proposition 4.9. The points \(O,P_1,\dots ,P,O\) then form the vertices of a convex polygon in the triangle OQP as that in Fig. 6. Now by Lemma 4.11, we may estimate the upper bound for \(h^0(F)\) by choosing suitable candidate point \(P_1:=(x_1,y_1)\) in the triangle OQP.
We first treat with the case when \(\mu \in (0,10]\), by Proposition 4.9, the slope \(\nu _{BN}^-(\iota _*F)\in (-\frac{5}{2},-2)\).
-
When \(\mu \in (0,2)\), by Proposition 4.9, the slope \(\nu _{BN}^+(\iota _*F)\in (-\frac{5}{2},-2).\) By (21),
$$\begin{aligned} h^0(F)/r\le \frac{9}{82}\times 20+\frac{\mu -50}{41}=\frac{40}{41}+\frac{\mu }{41}. \end{aligned}$$
The HN polygon for \(\iota _*E\) is inside the triangle OQP
When \(\mu \in [2,10]\), the point Q is always with locus:
-
When \(\mu \in [2,\frac{5}{2})\), by Proposition 4.9, the slope \(\nu _{BN}^+(\iota _*F)\in (-\frac{5}{2},-\frac{3}{2}).\) By Lemma 4.11, \(P_1\) has two candidate positions: \(P_1=Q\) or \(P_1\) is on the line segment PQ and \(\frac{x_1}{y_1}=-2\).
-
When \(P_1=Q\), the Eq. (21) is equal to
$$\begin{aligned}&\frac{7}{50}\frac{\mu }{5}r+\frac{1}{25}(\frac{\mu }{10}-1)r\\&\quad +\frac{9}{82}(20-\frac{\mu }{5})r+\frac{1}{41}(\frac{9\mu }{10}-49)r=(\frac{24}{25}+\frac{4\mu }{125})r. \end{aligned}$$ -
In the second case, \(P_1\) is at
$$\begin{aligned} (x_1,y_1)=(\frac{-240\mu +4\mu ^2+400}{90-5\mu }r,\frac{120\mu -2\mu ^2-200}{90-5\mu }r). \end{aligned}$$Note that \(y_1\) as a function of \(\mu \) is convex down when \(\mu \le 10\). Substituting \(y_1(2)=\frac{2}{5}r\) and \(y_1(\frac{5}{2})=\frac{35}{31}r\), we have \(y_1\le (\frac{226}{155}\mu -\frac{78}{31})r\). The Eq. (21) is equal to
$$\begin{aligned}&\frac{1}{16}y_1+\frac{9}{82}(20r-y_1)+\frac{1}{41}((\mu -50)r+2y_1)\nonumber \\&\quad = (\frac{40}{41}+\frac{\mu }{41})r+\frac{1}{656}y_1 \nonumber \\&\quad \le (\frac{40}{41}+\frac{\mu }{41}+\frac{1}{656}(\frac{226}{155}\mu -\frac{78}{31}))r\nonumber \\&\quad =(\frac{33\mu }{1240}+\frac{241}{248})r. \end{aligned}$$(22)
-
-
When \(\mu \in [\frac{5}{2},\frac{10}{3})\), by Proposition 4.9, the slope \(\nu _{BN}^+(\iota _*F)\in (-\frac{5}{2},-1).\) By Lemma 4.11, \(P_1\) has three candidate positions: \(P_1=Q\) or \(P_1\) is on the line segment PQ with \(\frac{x_1}{y_1}=-\frac{3}{2}\) or \(-2\).
-
When \(P_1=Q\), the Eq. (21) is equal to
$$\begin{aligned}&\frac{5}{26}\frac{\mu }{5}r+\frac{1}{13}(\frac{\mu }{10}-1)r\\&\quad +\frac{9}{82}(20-\frac{\mu }{5})r+\frac{1}{41}(\frac{9\mu }{10}-49)r=(\frac{12}{13}+\frac{3\mu }{65})r. \end{aligned}$$ -
In the second case, \(P_1\) is at
$$\begin{aligned} (x_1,y_1)=(\frac{-180\mu +3\mu ^2+300}{190-6\mu }r,\frac{60\mu -\mu ^2-100}{95-3\mu }r). \end{aligned}$$Note that \(y_1\) as a function of \(\mu \) is convex down when \(\mu \le 10\). Substituting \(y_1(\frac{5}{2})=\frac{1}{2}r\) and \(y_1(\frac{10}{3})=\frac{160}{153}r\), we have \(y_1\le (\frac{167}{255}\mu -\frac{58}{51})r\). The Eq. (21) is equal to
$$\begin{aligned}&\frac{1}{12}y_1+\frac{9}{82}(20r-y_1)+\frac{1}{41}((\mu -50)r+\frac{3}{2}y_1) \nonumber \\&\quad = (\frac{40}{41}+\frac{\mu }{41})r+\frac{5}{492}y_1 \nonumber \\&\quad \le (\frac{40}{41}+\frac{\mu }{41}+\frac{5}{492}(\frac{167}{255}\mu -\frac{58}{51}))r \nonumber \\&\quad =(\frac{295}{306}+ \frac{19\mu }{612})r. \end{aligned}$$(23) -
In the third case, the coordinate of \(P_1\) is given in the second case of \(\mu \in [2,\frac{5}{2})\). The term \(\frac{1}{656}y_1\) in (22) is \(\frac{35}{20336}r\) and \(\frac{5}{1353}r\) when \(\mu =\frac{5}{2}\) and \(\frac{10}{3}\) respectively. The term \(\frac{5}{492}y_1\) in (23) is \(\frac{5}{984}r\) and \(\frac{200}{18819}r\) when \(\mu =\frac{5}{2}\) and \(\frac{10}{3}\) respectively. Therefore, (22) is always less than the estimation in the second case.
-
-
When \(\mu \in [\frac{10}{3},5)\), by Proposition 4.9, \(\nu _{BN}^+(\iota _*F)\in (-\frac{5}{2},-\frac{1}{2}).\) By Lemma 4.11, \(P_1\) has four candidate positions: \(P_1=Q\) or \(P_1\) is on the line segment PQ with \(\frac{x_1}{y_1}=-1\) or \(-\frac{3}{2}\) or \(-2\).
-
When \(P_1=Q\), the Eq. (21) is equal to
$$\begin{aligned} \frac{3}{10}\frac{\mu }{5}r+\frac{1}{5}(\frac{\mu }{10}-1)r+\frac{9}{82}(20-\frac{\mu }{5})r+\frac{1}{41}(\frac{9\mu }{10}-49)r=(\frac{4}{5}+\frac{2\mu }{25})r. \end{aligned}$$ -
In the second case, \(P_1\) is at
$$\begin{aligned} (x_1,y_1)=(\frac{-120\mu +2\mu ^2+200}{290-7\mu }r,\frac{120\mu -2\mu ^2-200}{290-7\mu }r). \end{aligned}$$Note that \(y_1\) as a function of \(\mu \) is convex down when \(\mu \le 10\). Substituting \(y_1(\frac{10}{3})=\frac{2}{3}r\) and \(y_1(5)=\frac{70}{51}r\), we have \(y_1\le (\frac{36}{85}\mu -\frac{38}{51})r\). The Eq. (21) is equal to
$$\begin{aligned}&\frac{1}{8}y_1+\frac{9}{82}(20r-y_1)+\frac{1}{41}((\mu -50)r+y_1) = (\frac{40}{41}+\frac{\mu }{41})r+\frac{13}{328}y_1 \\&\le (\frac{40}{41}+\frac{\mu }{41}+\frac{13}{328}(\frac{36}{85}\mu -\frac{38}{51}))r =(\frac{193}{204}+ \frac{7\mu }{170})r. \end{aligned}$$ -
The remaining cases can be eliminated by a similar calculation as that in the third case of when \(\mu \in [\frac{5}{2},\frac{10}{3})\).
-
-
When \(\mu \in [5,10]\), by Lemma 4.11, \(P_1\) has five candidate positions: \(P_1=Q\) or \(P_1\) is on the line segment PQ with \(\frac{x_1}{y_1}=-\frac{1}{2}\) or \(-1\) or \(-\frac{3}{2}\) or \(-2\).
-
When \(P_1=Q\), the Eq. (21) is equal to
$$\begin{aligned} \frac{\mu }{10}r+(\frac{\mu }{10}-1)r+\frac{9}{82}(20-\frac{\mu }{5})r+\frac{1}{41}(\frac{9\mu }{10}-49)r=\frac{\mu }{5}r. \end{aligned}$$ -
In the second case, \(P_1\) is at
$$\begin{aligned} (x_1,y_1)=(\frac{-60\mu +\mu ^2+100}{390-8\mu }r,\frac{60\mu -\mu ^2-100}{195-4\mu }r). \end{aligned}$$Note that \(y_1\) as a function of \(\mu \) is convex down when \(\mu \le 10\). Substituting \(y_1(5)=r\) and \(y_1(10)=\frac{80}{31}r\), we have \(y_1\le (\frac{49}{155}\mu -\frac{18}{31})r\). The Eq. (21) is equal to
$$\begin{aligned}&\frac{1}{4}y_1+\frac{9}{82}(20r-y_1)+\frac{1}{41}((\mu -50)r+\frac{y_1}{2}) = (\frac{40}{41}+\frac{\mu }{41})r+\frac{25}{164}y_1 \\&\quad \le (\frac{40}{41}+\frac{\mu }{41}+\frac{25}{164}(\frac{49}{155}\mu -\frac{18}{31}))r =(\frac{55}{62}+ \frac{9\mu }{124})r. \end{aligned}$$ -
The remaining cases can be eliminated by a similar calculation as that in the third case of when \(\mu \in [\frac{5}{2},\frac{10}{3})\).
-
We then treat with the case when \(\mu \in [30,40]\).
-
When \(\mu \ge 10+20\sqrt{2}\), as \(\nu _{BN}^-(\iota _*F)=-\frac{3}{2}\), by Lemma 4.11, we may assume \(P_1=Q\) to compute (21). The coordinate of Q is
$$\begin{aligned} (x_q,y_q)={\left\{ \begin{array}{ll} ((\mu -32)r,8r),&{} \text { when } \mu \in [39,40];\\ (\frac{23\mu -610}{41}r,\frac{12\mu -140}{41}r), &{} \text { when } \mu \in [10+20\sqrt{2},39]. \end{array}\right. } \end{aligned}$$The Eq. (21) is equal to
$$\begin{aligned}&\frac{1}{2}y_q+x_q+\frac{1}{12}(20r-y_q) ={\left\{ \begin{array}{ll} (\mu -27 )r,&{} \text { when } \mu \in [39,40];\\ \frac{28\mu -600}{41}r, &{} \text { when } \mu \in [10+20\sqrt{2},39]. \end{array}\right. } \end{aligned}$$ -
When \(\mu \le 10+20\sqrt{2}\), the point Q is always with locus:
$$\begin{aligned} ((\frac{3\mu }{10}-5)r,\frac{\mu }{5}r). \end{aligned}$$We may consider when \(P_1=Q\) or \(P_1\) is on the line segment OQ such that \(\frac{x_p-x_1}{y_p-y_1}=-\frac{3}{2}\).
-
The second case is the same computation as that in the second case of when \(\mu \ge 10+20\sqrt{2}\).
-
When \(P_1=Q\), the Eq. (21) is equal to
$$\begin{aligned}&\frac{1}{2}\frac{\mu }{5}r+(\frac{3\mu }{10}-5)r+\frac{7}{50}(20-\frac{\mu }{5})r +\frac{1}{25}(\frac{7\mu }{10}-45)r =(\frac{2\mu }{5}-4)r. \end{aligned}$$
-
When \(\mu = 37\), \(\frac{2\mu }{5}-4=10.8=\frac{11\mu }{15}-\frac{49}{3}>10\frac{26}{41}=\frac{28\mu -600}{41}>\mu -27\).
When \(\mu =40\), \(\frac{2\mu }{5}-4=12<\frac{28\mu -600}{41}=12\frac{28}{41}<13=\frac{11\mu }{15}-\frac{49}{3}=\mu -27\).
Note the slope of \(\mu \) in the bound in each case, the bound in Proposition 4.1 holds. \(\square \)
5 Bogomolov–Gieseker type inequality for surfaces \(S_{2,5}\) and quintic threefolds
The goal of this section is to prove the stronger Bogomolov–Gieseker type inequality for the second Chern character of slope stable sheaves on a quintic threefold. Our strategy is to first reduce this to the same inequality for a surface on the quintic threefold.
The following Feyzbakhsh’s restriction lemma [13] will be one of the key tools to reduce Bogomolov–Gieseker type inequality for higher dimensional varieties to surfaces.
Lemma 5.1
Let (X, H) be a polarized smooth projective variety with dimension \(n=2\) or 3. Let E be a coherent sheaf in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\). Suppose there exists \(\alpha >0\) and \(m\in \mathbb {Z}_{>0}\) such that
-
\(E(-mH)[1]\) is in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\);
-
both E and \(E(-mH)[1]\) are \(\nu _{\alpha ,0,H}\)-tilt stable;
-
\(\nu _{\alpha ,0,H}(E)=\nu _{\alpha ,0,H}(E(-mH)[1])\).
Then for a generic smooth irreducible subvariety \(Y\in |mH|\), the restricted sheaf \(E|_Y\) is \(\mu _{H_Y}\)-slope semistable on Y. Moreover, \({\mathrm{rk}}(E)={\mathrm{rk}}(E|_Y), H_Y^{n-2}\mathop {\mathrm{ch}}\nolimits _1(E|_Y)=mH^{n-1}\mathop {\mathrm{ch}}\nolimits _1(E) \) and when \(n=3\), \(\mathop {\mathrm{ch}}\nolimits _2(E|_Y)=mH\mathop {\mathrm{ch}}\nolimits _2(E)\).
Proof
Note that \(E(-mH)[1]\) is \(\nu _{\alpha ,0,H}\)-tilt stable, for any torsion sheaf T supported on a variety with codimension not less than 2, we have \(\mathop {\mathrm{Hom}}\nolimits (T,E(-mH)[1])=0\). In particular, E is a reflexive sheaf, the singular locus of E is of codimension at least 3. For any smooth irreducible \(Y\in |mH|\) avoiding the singular locus, the restricted sheaf \(E|_Y\) is locally free on Y. In addition, \({\mathrm{rk}}(E)={\mathrm{rk}}(E|_Y), H_Y^{n-2}\mathop {\mathrm{ch}}\nolimits _1(E|_Y)=mH^{n-1}\mathop {\mathrm{ch}}\nolimits _1(E) \).
Suppose \(E|_Y\) is not semistable, then there is a destabilizing subobject \(F\hookrightarrow E|_Y\) in \(\mathop {\mathrm{Coh}}\nolimits (Y)\) such that F is locally free and \(\mu _{H_Y}(E|_Y)<\mu _{H_Y}(F)\). Denote the embedding by \(\iota :Y\hookrightarrow X\). Then
Therefore \(\iota _*(E|_Y)\) is not \(\nu _{\alpha ,0}\)-tilt semistable. However, the object \(\iota _*(E|_Y)\) is the extension of E and \(E(-mH)[1]\) in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\). Since both E and \(E(-mH)[1]\) are \(\nu _{\alpha ,0,H}\)-tilt stable with the same slope in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\), any of their extension is \(\nu _{\alpha ,0,H}\)-tilt semistable. We get the contradiction, and \(E|_Y\) must be \(\mu _{H_Y}\)-slope semistable. \(\square \)
Let \(S_{2,5}\subset {\mathbf {P}}^4\) be a smooth irreducible projective surface which is the complete intersection of a quadratic hypersurface and a quintic hypersurface. Denote \(H=[\mathcal O_{S_{2,5}}(1)]\). By the Clifford type inequality for \(C_{2,2,5}\in \left|2H\right|\) in Proposition 4.1, we have the following stronger Bogomolov–Gieseker type inequality for stable objects in \(D^b(S_{2,5})\).
Proposition 5.2
Let F be an object in \(D^b(S_{2,5})\) such that \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\in (0,1)\). Suppose F is \(\nu _{\alpha ,0,H}\)-tilt stable or \(\nu _{\alpha ',1,H}\)-tilt stable for some \(\alpha >0\) or \(\alpha '>\frac{1}{2}\), then
Proof
Suppose there is some \(\nu _{\alpha ,0,H}\) or \(\nu _{\alpha ',1,H}\)-tilt stable object F with \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\in (0,1)\) violating the inequality (24), we may assume that F is with the minimum discriminant \(\bar{\Delta }_H\) among such objects. Suppose F becomes strictly \(\nu _{\alpha ,0,H}\)-tilt (or \(\nu _{\alpha ',1,H}\)-tilt) semistable for some \(\alpha >0\) (or \(\alpha '>\frac{1}{2}\)), then as the shape of the curve (24) is convex (see Fig. 7), there exists a Jordan–Hölder factor \(F_i\) with \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(F_i)}{H^2{\mathrm{rk}}(F_i)}\in (0,1)\) which also violates the inequality (24). By Lemma 2.10, this violates the minimum assumption on \(\bar{\Delta }_H(F)\).
If F becomes strictly \(\nu _{\alpha ,\beta _0,H}\)-tilt semistable at the vertical wall for \(\beta _0=\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\) and some \(\alpha >\frac{\beta _0^2}{2}\), we may assume that \(F\in \mathop {\mathrm{Coh}}\nolimits ^{\beta _0,H}(S_{2,5})\), then each torsion Jordan–Hölder factor of F has \(\mathop {\mathrm{ch}}\nolimits _2\ge 0\). Since for any other Jordan–Hölder factor \(F_j\) we have \(0>{\mathrm{rk}}(F_j)\ge {\mathrm{rk}}(F)\), there exists a factor \(F_i\) with \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(F_i)}{H^2{\mathrm{rk}}(F_i)}=\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\) and \(\frac{\mathop {\mathrm{ch}}\nolimits _2(F_i)}{H^2{\mathrm{rk}}(F_i)}\ge \frac{\mathop {\mathrm{ch}}\nolimits _2(F)}{H^2{\mathrm{rk}}(F)}\). In particular, the object \(F_i\) also violates the inequality (24) and \(\bar{\Delta }_H(F_i)\le \bar{\Delta }_H(F)\). By Lemma 2.9, the object \(F_i\) is \(\nu _{\alpha ,0,H}\)-tilt stable and \(\nu _{\alpha ,1,H}\)-tilt stable for \(\alpha \gg 0\). By the minimum assumption on \(\bar{\Delta }_H(F)\), the equality holds, we may just choose F to be \(F_i\). By the previous argument, the object F is \(\nu _{\alpha ,0,H}\)-tilt stable for all \(\alpha >0\) and \(\nu _{\alpha ,1,H}\)-tilt stable for all \(\alpha >\frac{1}{2}\).
The line through \(p_H(F)\) and \(p_H(F(-2H)\)
We may assume that \(F\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,5})\) and \(F[1]\in \mathop {\mathrm{Coh}}\nolimits ^{1,H}(S_{2,5})\). By the inequality (24), we always have
The line through \(p_H(F)=:(a,b)\) and \(p_H(F(-2H)[1])=(a-2b+2,b-2)\) has equation
Note that \(a>\frac{3}{2}b^2-b\), the line will intersect \((\alpha _0,0)\) for some \(\alpha _0>0\) and \((\alpha '_0,-1)\) for some \(\alpha _0'>\frac{1}{2}\). By previous discussions, the object F is a coherent sheaf and \(\nu _{\alpha _0,0,H}\)-tilt stable in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,5})\). The object \(F(-2H)[1]\) is \(\nu _{\alpha '_0,-1,H}\)-tilt stable in \(\mathop {\mathrm{Coh}}\nolimits ^{-1,H}(S_{2,5})\) and therefore also \(\nu _{\alpha _0,0,H}\)-tilt stable in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,5})\) by Lemma 2.9. Since \(p_H(F)\), \(p_H(F(-2H)[1])\) and \((\alpha _0,0)\) are collinear, by Lemma 2.9 (\(b'\)), we have
By Lemma 5.1, let \(C_{2,2,5}\in |2H|\) be a smooth irreducible curve, then \(F|_{C_{2,2,5}}\) is semistable with
Without loss of generality, we may assume \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\le \frac{1}{2}\), as otherwise we may use \(F^\vee (H)\) instead. Note that \(\mathop {\mathrm{Hom}}\nolimits ({\mathcal {O}}_{S_{2,5}},F(-2H))=0\) and \(\mathop {\mathrm{Hom}}\nolimits (\mathcal O_{S_{2,5}},F^\vee )=0\), by Hirzebruch–Riemann–Roch, we have
We now apply Proposition 4.1 and discuss three different cases on the slope of \(F|_{C_{2,2,5}}\). Note that the slope \(\mu (F|_{C_{2,2,5}})=20\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\in (0,10]\).
-
When \(\mu \in (0,2)\), by Proposition 4.1, the Eq. (27)
$$\begin{aligned}&\le \left( \frac{40}{41}+\frac{\mu }{41}+\frac{11}{15}(40-\mu )-\frac{49}{3}\right) {\mathrm{rk}}(F) <(14-\frac{2}{3}\mu ){\mathrm{rk}}(F) \\&\quad = 14 {\mathrm{rk}}(F) -\frac{4}{3}H\mathop {\mathrm{ch}}\nolimits _1(F). \end{aligned}$$This is less than that in Eq. (25), since in this case we have assumed that
$$\begin{aligned}&\frac{\mathop {\mathrm{ch}}\nolimits _2(F)}{H^2{\mathrm{rk}}(F)}>\frac{3}{2}\left( \frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\right) ^2\\&\quad -\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}>-\frac{1}{10}\implies \mathop {\mathrm{ch}}\nolimits _2(F)+{\mathrm{rk}}(F)>0. \end{aligned}$$ -
When \(\mu \in [2,5)\), note that in Proposition 4.1, the right hand side in Eq. (17) is always less than or equal to \( {\left\{ \begin{array}{ll} \frac{7\mu }{120}+\frac{109}{120}, &{} \text { when } \mu \in [2,5);\\ \frac{23\mu }{45}-\frac{71}{9}, &{} \text { when } \mu \in (35,38]. \end{array}\right. } \) Therefore, the Eq. (27)
$$\begin{aligned}&\le \left( \frac{109}{120}+\frac{7\mu }{120}+\frac{23}{45}(40-\mu )-\frac{71}{9}\right) {\mathrm{rk}}(F)\\&\quad =13\frac{167}{360}{\mathrm{rk}}(F)-\frac{163}{180}H\mathop {\mathrm{ch}}\nolimits _1(F). \end{aligned}$$By (25-27) and the assumption on F that it violates (24), we have
$$\begin{aligned} -\frac{4}{15}H\mathop {\mathrm{ch}}\nolimits _1(F)-\frac{7}{12}{\mathrm{rk}}(F)<\mathop {\mathrm{ch}}\nolimits _2(F)\le \frac{17}{180}H\mathop {\mathrm{ch}}\nolimits _1(F)-1\frac{193}{360}{\mathrm{rk}}(F). \end{aligned}$$This is not possible since \(H\mathop {\mathrm{ch}}\nolimits _1(F)<2.5{\mathrm{rk}}(F)\).
-
When \(\mu \in [5,10]\), in Proposition 4.1, the Eq. (17) is always less than or equal to \(\frac{3\mu }{20}+\frac{1}{2}\). Therefore, the Eq. (27)
$$\begin{aligned} \le&\left( \frac{1}{2}+\frac{3\mu }{20}+\frac{2}{5}(40-\mu )-4\right) {\mathrm{rk}}(F) = 12\frac{1}{2} {\mathrm{rk}}(F) -\frac{1}{2}H\mathop {\mathrm{ch}}\nolimits _1(F). \end{aligned}$$
In either case of \(\mu \), we always get contradiction. Therefore, any \(\nu _{\alpha ,0,H}\) or \(\nu _{\alpha ',1,H}\)-tilt stable object F with \(\frac{H\mathop {\mathrm{ch}}\nolimits _1(F)}{H^2{\mathrm{rk}}(F)}\in (0,1)\) satisfies the inequality (24). \(\square \)
Corollary 5.3
Let F be a torsion free \(\mu _H\)-slope semistable sheaf on \(S_{2,5}\), then the numerical Chern characters of F satisfy Eq. (24).
Proof
This is by Proposition 5.2 and by noticing that F is \(\nu _{\alpha ,0,H}\)-tilt stable for \(\alpha \gg 0\). \(\square \)
Corollary 5.4
Let (X, H) be a smooth projective quintic threefold, F be an object in \(D^b(X)\) such that \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\in (0,1)\). Suppose F is \(\nu _{\alpha ,0,H}\)-tilt stable or \(\nu _{\alpha ',1,H}\)-tilt stable for some \(\alpha >0\) or \(\alpha '>\frac{1}{2}\), then (24) holds for F if one replaces \(\mathop {\mathrm{ch}}\nolimits _2(F)\), \(H\mathop {\mathrm{ch}}\nolimits _1(F)\) and \(H^2{\mathrm{rk}}(F)\) by \(H\mathop {\mathrm{ch}}\nolimits _2(F)\), \(H^2\mathop {\mathrm{ch}}\nolimits _1(F)\) and \(H^3{\mathrm{rk}}(F)\) respectively.
Proof
Suppose there is some \(\nu _{\alpha ,0,H}\) or \(\nu _{\alpha ',1,H}\)-tilt stable object F with \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\in (0,1)\) violating the inequality (24), we may assume that F is with the minimum discriminant \(\bar{\Delta }_H\) among such object. By the same argument as that in Proposition 5.2, we may assume that \(F\in \mathop {\mathrm{Coh}}\nolimits ^{0,H}(S_{2,5})\) is \(\nu _{\alpha ,0,H}\)-tilt stable for all \(\alpha >0\) and \(\nu _{\alpha ',1,H}\)-tilt stable for all \(\alpha '>\frac{1}{2}\).
Due to the same argument as that in Proposition 5.2 and Lemma 5.1, there exists \(S_{2,5}\in |2H|\) such that \(F|_{S_{2,5}}\) is \(\mu _{H_{S_{2,5}}}\) slope semistable with
Note that the characters of \(F|_{S_{2,5}}\) violate the inequality (24), by Corollary 5.3, we get the contradiction. \(\square \)
We restate Corollary 5.4 as a theorem in the following neater version. The inequality is slightly weaker but can be applied more effectively in the proof for our main theorem on the third Chern character. It can also be viewed as a stronger Bogomolov–Gieseker type inequality in the classical sense.
Theorem 5.5
Let (X, H) be a smooth projective quintic threefold, F be a slope semistable sheaf in \(\mathop {\mathrm{Coh}}\nolimits (X)\) (or a \(\nu _{\alpha ,0,H}\)-tilt semistable object for some \(\alpha >0\), especially Brill–Noether semistable object in \(\mathop {\mathrm{Coh}}\nolimits ^{0,H}(X)\)). Suppose \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\in [-1,1]\), then
The ‘\(=\)’ can hold only when \(\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\in \frac{1}{4}\mathbb {Z}\). Moreover, when \(\left|\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\right| \in [0, \frac{1}{10}]\cup [\frac{9}{10},1]\), we have \(\frac{H\mathop {\mathrm{ch}}\nolimits _2(F)}{H^3{\mathrm{rk}}(F)}\le \frac{3}{2}\left|\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\right|^2-\left|\frac{H^2\mathop {\mathrm{ch}}\nolimits _1(F)}{H^3{\mathrm{rk}}(F)}\right|\).
Remark 5.6
(Other projective Calabi–Yau threefolds) One may expect to generalize the argument to some other Calabi–Yau threefolds that can be realized as a complete intersection in \({\mathbf {P}}^N\) for N not too large. To do that one could replace \(S_{2,5}\) by a smooth subvariety \(Y\in |2H|\) and the curve \(C_{2,2,5}\) by \(C\in |2H_Y|\). Evidently, the inequality in Proposition 5.2 does not hold for Y in general. The first non-trivial task is to find a suitable Bogomolov–Gieseker type inequality for Y, the inequality needs to be sharp for some value of \(\frac{H\mathop {\mathrm{ch}}\nolimits _1}{{\mathrm{rk}}}\), especially when \(\frac{H\mathop {\mathrm{ch}}\nolimits _1}{{\mathrm{rk}}}=\frac{H^3}{\chi ({\mathcal {O}}_X(H))-1}\), so that it is strong enough to prove Proposition 3.1. The next task is to estimate a Clifford type inequality for the curve C. It is worth to mention that some results in [20,21,22] may help. Also one may consider to use the method in Sect. 4 by finding a suitable surface containing the curve. As a summary, our methods are expect to be generalized to some other Calabi–Yau threefolds, meanwhile it seems that each deformation type will require much computation.
References
Aprodu, M., Farkas, G., Ortega, A.: Restricted Lazarsfeld–Mukai bundles and canonical curves. In: Development of Moduli Theory—Kyoto 2013, Volume 69 of Advanced Studies in Pure Mathematics, pp. 303–322. Mathematical Society of Japan, Tokyo (2016)
Aspinwall, P.S.: D-branes on Calabi–Yau manifolds. In: Progress in String Theory, pp. 1–152. World Scientific Publishing, Hackensack (2005). arXiv:hep-th/0403166
Bayer, A.: Wall-crossing implies Brill–Noether. Applications of stability conditions on surfaces (2016). arXiv:1604.08261
Bayer, A., Bertram, A., Macrì, E., Toda, Y.: Bridgeland stability conditions on threefolds II: an application to Fujita’s conjecture. J. Algebraic Geom. 23(4), 693–710 (2014). arXiv:1106.3430
Bayer, A., Macrì, E., Stellari, P.: The space of stability conditions on Abelian threefolds, and on some Calabi–Yau threefolds. Invent. Math., published online May 2016 (2016). arXiv:1410.1585
Bernardara, M., Macrì, E., Schmidt, B., Zhao, X.: Bridgeland stability conditions on Fano threefolds. Épijournal Geom. Algébrique, 1:Art. 2, 24 (2017)
Bayer, A., Macrì, E., Toda, Y.: Bridgeland stability conditions on threefolds I: Bogomolov–Gieseker type inequalities. J. Algebraic Geom. 23(1), 117–163 (2014). arXiv:1103.5010
Bogomolov, F.A.: Holomorphic tensors and vector bundles on projective manifolds. Izv. Akad. Nauk SSSR Ser. Mat. 42(6), 1227–1287, 1439 (1978)
Brambila-Paz, L., Grzegorczyk, I., Newstead, P.E.: Geography of Brill–Noether loci for small slopes. J. Algebraic Geom. 6(4), 645–669 (1995)
Bridgeland, T.: Stability conditions on triangulated categories. Ann. Math. (2) 166(2), 317–345 (2007). arXiv:math/0212237
Bridgeland, T.: Stability conditions on \(K3\) surfaces. Duke Math. J. 141(2), 241–291 (2008). arXiv:math/0307164
Bridgeland, T.: Spaces of stability conditions. In: Algebraic Geometry—Seattle 2005. Part 1, Volume 80 of Proceedings of Symposia in Pure Mathematics, pp. 1–21. American Mathematical Society, Providence (2009)
Feyzbakhsh, S.: Stability of restrictions of Lazarsfeld–Mukai bundles via wall-crossing, and Mercat’s conjecture (2016). arXiv:1608.07825
Feyzbakhsh, S.: Mukai’s program (reconstructing a K3 surface from a curve) via wall-crossing. arxiv:1710.06692 (2017)
Feyzbakhsh, S., Li, C.: Higher rank Clifford indices of curves on a K3 surface. arXiv:1810.10825 (2018)
Happel, D., Reiten, I., Smalø, S.O.: Tilting in Abelian categories and quasitilted algebras. Mem. Am. Math. Soc. 120(575), viii+88 (1996)
Lazarsfeld, R.: Brill–Noether–Petri without degenerations. J. Differ. Geom. 23(3), 299–307 (1986)
Li, C.: Stability conditions on Fano threefolds of Picard number 1. J. Eur. Math. Soc. (JEMS) 21(3), 709–726 (2019)
Li, C.: Stronger Bogomolov–Gieseker type inequalities for some Fano varieties with Picard number one (2019)
Lange, H., Newstead, P.E.: Higher rank BN-theory for curves of genus 4. Rev. Mat. Complut. 45(9), 3948–3966 (2015)
Lange, H., Newstead, P.E.: Higher rank BN-theory for curves of genus 5. Rev. Mat. Complut. 29(3), 691–717 (2016)
Lange, H., Newstead, P.E.: Higher rank BN-theory for curves of genus 6. Int. J. Math. 29(2), 1850014, 40 (2018)
Maciocia, A.: Computing the walls associated to Bridgeland stability conditions on projective surfaces. Asian J. Math. 18(2), 263–279 (2012)
Macrì, E.: A generalized Bogomolov–Gieseker inequality for the three-dimensional projective space. Algebra Number Theory 8(1), 173–190 (2014). arXiv:1207.4980
Mercat, V.: Clifford’s theorem and higher rank vector bundles. Int. J. Math. 13(07), 785–796 (2002)
Maciocia, A., Piyaratne, D.: Fourier–Mukai transforms and Bridgeland stability conditions on Abelian threefolds II. Int. J. Math. 27(1), 1650007, 27 (2013). arXiv:1310.0299
Maciocia, A., Piyaratne, D.: Fourier–Mukai transforms and Bridgeland stability conditions on abelian threefolds. Algebraic Geom. 2(3), 270–297 (2015)
Martinez, C., Schmidt, B., Das, O.: Bridgeland stability on blow ups and counterexamples. arXiv:1708.08567 (2017)
Piyaratne, D.: Generalized Bogomolov–Gieseker type inequalities on Fano 3-folds (2016). arXiv:1607.07172
Piyaratne, D., Toda, Y.: Moduli of Bridgeland semistable objects on 3-folds and Donaldson–Thomas invariants. J. Reine Angew. Math. 747, 175–219 (2019)
Schmidt, B.: A generalized Bogomolov–Gieseker inequality for the smooth quadric threefold. Bull. Lond. Math. Soc. 46(5), 915–923 (2013). arXiv:1309.4265
Schmidt, B.: Counterexample to the generalized Bogomolov–Gieseker inequality for threefolds. Int. Math. Res. Not. IMRN 8, 2562–2566 (2017)
Toda, Y.: Gepner point and strong Bogomolov–Gieseker inequality for quintic 3-folds. In: Higher Dimensional Algebraic Geometry—In Honour of Professor Yujiro Kawamata’s Sixtieth Birthday, Volume 74 of Advanced Studies in Pure Mathematics, pp. 381–405. Mathematical Society of Japan, Tokyo (2017)
Acknowledgements
The author is a Leverhulme Early Career Fellow at the University of Warwick and would like to acknowledge the Leverhulme Trust for the support. The work was initiated when the author was a postdoc at the University of Edinburgh and was supported by the ERC starting grant ‘WallXBirGeom’ 337039. I would like to thank Arend Bayer, Soheyla Feyzbakhsh, Sheldon Katz, Emanuele Macrì, Laura Pertusi, Benjamin Schmidt, Junliang Shen, Paolo Stellari and Xiaolei Zhao for many useful discussions on this topic. I am grateful to Tom Bridgeland and my advisor Tom Nevins for encouraging me to carry on thinking this problem. The main breakthrough of this project is done during my visit at BICMR in July 2018. I would like to thank Zhiyu Tian, Chenyang Xu and Qizheng Yin for their hospitality.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Li, C. On stability conditions for the quintic threefold. Invent. math. 218, 301–340 (2019). https://doi.org/10.1007/s00222-019-00888-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-019-00888-z