1 Introduction
The notion of weak stability conditions was defined in [Reference Piyaratne and Toda18] and has been studied by many authors (see, e.g., [Reference Bayer, Macrì and Toda3, Reference Broomhead, Pauksztello, Ploog and Woolf7, Reference Piyaratne and Toda18]). Recall that in [Reference Bridgeland5], a Bridgeland stability condition on the derived category of coherent sheaves of a smooth projective variety can be equivalently defined as a pair
$(Z, {\mathcal {A}})$
, where Z is a group homomorphism from the Grothendieck group of the derived category to the complex numbers, called the central charge, and
${\mathcal {A}}$
is the heart of a bounded t-structure. Weak stability conditions are defined analogously, the main difference being weak stability conditions allow nonzero objects in the heart
${\mathcal {A}}$
to lie in the kernel of the central charge Z, i.e., there can be objects
$0 \neq E\in {\mathcal {A}}$
such that
$Z(E)=0$
.
In this article, we generalize the definition of weak stability conditions as defined in [Reference Piyaratne and Toda18]. This is motivated by the observation that weak stability conditions also naturally occur as degenerations—or “limits”—of Bridgeland stability conditions. When the data
$(Z, {\mathcal {A}})$
of a Bridgeland stability condition approaches a certain limit, it can happen that
${\text {ker}}(Z)$
begins to have nonzero intersection with
${\mathcal {A}}$
. One obvious issue is how to define the phases of the objects in
$\ker (Z) \cap {\mathcal {A}}$
. In the original definition of weak stability conditions in [Reference Piyaratne and Toda18], the phase of any object in
$\ker (Z) \cap {\mathcal {A}}$
is always set to be maximal. This is consistent with intuition, since
$\ker (Z) \cap {\mathcal {A}}$
of weak stability conditions considered in [Reference Piyaratne and Toda18] merely contains skyscraper sheaves. But if we consider weak stability conditions that occur as limits of Bridgeland stability conditions in general, it can happen that
$\ker (Z)\cap {\mathcal {A}}$
contains objects not supported in dimension zero. In this article, we propose a natural generalization,we define the phases of the objects in
$\ker (Z) \cap {\mathcal {A}}$
to be the limits of their Bridgeland phases as the data
$(Z, {\mathcal {A}})$
of a Bridgeland stability condition approaches a limit.
The first application of this generalized definition is in our followup paper [Reference Collins, Lo, Shi and Yau8], where we study the stability of certain objects with respect to Bridgeland stability conditions. It turns out that in some cases, it is easier to first show an object is stable with respect to weak stability conditions and then show it is stable with respect to Bridgeland stability conditions. Our new definition then allows us to use the stability of an object at a particular weak stability condition—considered as a limit of Bridgeland stability conditions—to conclude the stability of the object with respect to nearby Bridgeland stability conditions. More concretely, in the sequel [Reference Collins, Lo, Shi and Yau8] to this article, we use the above method to establish the stability of a class of line bundles on elliptic surfaces, which in turn allows us to compare Bridgeland stability of line bundles with the existence of solutions to their associated deformed Hermitian–Yang–Mills (dHYM) equation (also known as the Leung–Yau–Zaslow equation).
Besides the above application, we also hope that this generalization can give a better understanding of the Bridgeland stability manifold. In particular, we hope that the weak stability conditions defined in this article help give a better picture of the boundaries of certain open components of the Bridgeland stability manifold. We note that this direction has already been undertaken in [Reference Broomhead, Pauksztello, Ploog and Woolf7], where the authors also take an approach towards weak stability conditions using slicings. Our definition of a weak stability condition, however, does not require the slicing to be locally finite, nor require the existence of a support property. We do, however, require the weak see-saw property. The main motivation behind our definition is that we imagine a weak stability condition to be a degeneration of Bridgeland stability conditions and, in our examples, we always define the phases of objects in the kernel to be limits of their phases with respect to the associated Bridgeland stability conditions. Our main application in this article is in proving the Bridgeland stability of specific objects, while that of [Reference Broomhead, Pauksztello, Ploog and Woolf7] is in compactifying the Bridgeland stability manifold.
Note on a previous version. This manuscript is based on the portion of version 1 of the arxiv preprint [Reference Collins, Lo, Shi and Yau8] where we develop our theory of weak stability conditions. Version 2 of the arxiv preprint [Reference Collins, Lo, Shi and Yau8] no longer contains the theory of weak stability conditions; rather, it contains only the applications of weak stability conditions as discussed above.
1.1 Outline
In Section 2, we set up some notation for elliptic surfaces. In Section 3, we recall the definition of very weak stability conditions as defined in [Reference Piyaratne and Toda18] and give a generalized definition of weak stability conditions. We also discuss several properties of weak stability conditions that are analogous to those of Bridgeland stability conditions, e.g., slicing, Harder–Narasimhan property etc. In Section 4, we show that a stronger version of Bogomolov–Gieseker inequality for slope stable sheaves holds for some nef diviors, too.
Then, in Section 5, we construct four types of weak stability conditions that satisfy our definition. These are the weak stability conditions we encounter in our followup paper, but they are of their own interests. In particular, they include the following types of limits of Bridgeland stability conditions: (i) when the ample class approaches a nef class; (ii) when the coefficient of
${\mathrm {ch}}_0$
in the central charge Z of a Bridgeland stability condition approaches zero; (iii) when the limits of (i) and (ii) happen at the same time; and (iv) the image of the weak stability condition in (iii) under the relative Fourier Mukai transform. In each of these cases, it is easy to write down what the central charge of the weak stability condition “should” be; it is less clear, however, as to how to construct the right heart of t-structure so that both the positivity property and the Harder–Narasimhan property are satisfied. In addition, in order to construct a weak stability condition using our definition, we need to describe the objects in the intersection of the heart and the kernel of the central charge. Most of Section 5 are devoted to answering these technical questions.
2 Preliminaries on elliptic fibrations
2.1 Notation
Let X be a smooth projective variety X. We will write
$D^b(X)$
to denote
$D^b({\mathrm {Coh}} (X))$
, the bounded derived category of coherent sheaves on X.
In Section 3, we will give a definition of weak stability conditions on any triangulated category. In later sections, however, we will focus on weak stability conditions on the derived category of coherent sheaves on a Weierstraß elliptic surface, and so we also review the definition of such surfaces here.
2.2 Weierstraß elliptic surface
By a Weierstraß elliptic surface, we mean a flat morphism
$p : X\to Y$
of smooth projective varieties of relative dimension 1, where X is a surface and
-
• the fibers of p are Gorenstein curves of arithmetic genus 1, and are geometrically integral;
-
• p has a section
$s : Y \to X$ such that its image
$\Theta $ does not intersect any singular point of any singular fiber of p.
The definition we use here follows that of [Reference Bartocci, Bruzzo and Hernández-Ruipérez2, Definition 6.10]. Under our definition, the generic fiber of p is a smooth elliptic curve, and the singular fibers of p are either nodal or cuspidal curves. We usually write f to denote the class of a fiber for the fibration p, and write
$e = -\Theta ^2$
. Often, we simply refer to X as a Weierstraß elliptic surface. Note that when
$Y=\mathbb {P}^1$
, X is K3 if and only if
$e=2$
[Reference Liu, Lo and Martinez12, 2.3].
2.3 RDV coordinates for divisors
Suppose X is a Weierstraß elliptic surface. Given any divisor M on X of the form
$M = a\Theta + bf$
where
$a, b \in \mathbb {R}$
and
$a \neq 0$
, we can find real numbers
$R_M \neq 0$
and
$D_M$
such that

We also set

Note that when
$D_M, V_M>0$
(e.g., when M is ample), we can write

The coordinates
$R_M, D_M, V_M$
for divisors M are especially suited for computations on elliptic fibrations, and are inspired by symmetries first observed in [Reference Liu and Lo11]. For example, we have

and, if W is a divisor written in the form (2.3.1), then

which is reminiscent of multiplication for complex numbers in polar coordinates.
2.4 Bridgeland stability condition
Let X be a smooth projective variety over
$\mathbb {C}$
. In Section 3, we will give a generalized definition of weak stability condition, we first review the definition of Bridgeland stability condition.
Definition 2.5 A slicing
${\mathcal {P}}$
of
$D^{b}(X)$
is a collection of subcategories
${\mathcal {P}}(\phi ) \subset D^{b}(X)$
for all
$\phi \in \mathbb {R}$
such that
-
(1)
${\mathcal {P}}(\phi )[1] = {\mathcal {P}}(\phi +1)$ ,
-
(2) if
$\phi _1> \phi _2$ and
$A\in {\mathcal {P}}(\phi _1)$ ,
$B \in {\mathcal {P}}(\phi _2)$ , then
$\mathrm {Hom}(A,B) =0$ ,
-
(3) every
$E\in D^{b}(X)$ admits a Harder–Narasimhan (HN) filtration by objects in
${\mathcal {P}}(\phi _i)$ for some
$1 \leq i \leq m$ .
Definition 2.6 A Bridgeland stability condition on
$D^{b}(X)$
with central charge Z is a slicing
${\mathcal {P}}$
satisfying the following properties
-
(1) For any non-zero
$E\in {\mathcal {P}}(\phi )$ we have
$$\begin{align*}Z(E) \in \mathbb{R}_{>0} e^{\sqrt{-1}\phi}, \end{align*}$$
-
(2)
$$\begin{align*}C := \inf \left\{ \frac{|Z(E)|}{\|{\mathrm{ch}}(E)\|} : 0 \ne E \in {\mathcal{P}}(\phi), \phi \in \mathbb{R} \right\}>0 \end{align*}$$
$\| \cdot \|$ is any norm on the finite dimensional vector space
$H^{\text {even}}(X, \mathbb {R})$ .
Let
$\mathbb {H}$
denote the upper-half complex plane together with the negative real axis

Proposition 2.7 (Bridgeland, [Reference Bridgeland5])
A Bridgeland stability condition on
$D^b(X)$
is equivalent to the following data: the heart
$\mathcal {A}$
of a bounded t-structure on
$D^b(X)$
, and a central charge
$Z: K(\mathcal {A})\rightarrow \mathbb {C}$
such that for every nonzero object
$E\in \mathcal {A}$
, one has
(i)
$Z(E)\in \mathbb {H}$
,
(ii) E has a finite filtration

such that
${\text {HN}}_i(E)=E_i/E_{i-1}$
’s are semistable objects in
$\mathcal {A}$
with decreasing phase
$\phi $
. Furthermore, the central charge satisfies Definition 2.6 (2).
3 Definition of weak stability condition
We begin by recalling the following definition of a very weak pre-stability condition in [Reference Piyaratne and Toda18]. Let us denote the strict upper-half complex plane by
$\mathbb {H} = \{ r e^{i\pi \phi } : r \in \mathbb {R}_{>0}, \phi \in (0,1) \}$
.
Definition 3.1 [Reference Piyaratne and Toda18, Definition 2.1]
A very weak pre-stability condition on a triangulated category
$\mathcal {D}$
is a pair
$(Z, {\mathcal {A}})$
, where
${\mathcal {A}}$
is the heart of a bounded t-structure on
$\mathcal {D}$
, and
$Z: K(\mathcal {D})\rightarrow \mathbb {C}$
is a group homomorphism satisfying the following conditions:
(i) For any
$E\in \mathcal {D}$
, we have
$Z(E)\in \mathbb {H}\cup \mathbb {R}_{\leq 0}$
.
(ii) Let
$\rho =-\frac {\Re (Z)}{\Im (Z)}$
be the associated slope function, where we set
$\rho (E)=\infty $
if
$\Im Z(E)=0$
. Then
$\rho $
satisfies the HN property.
In the next section, we will study weak stability conditions whose central charges are limits of central charges associated with Bridgeland stability conditions. Intuitively, we want the phases of the objects with respect to the limit stability conditions to be the limits of the phases with respect to the Bridgeland stability conditions. To achieve this goal, we modify Definition 3.1. In particular, we allow the objects in the kernel of the central charge to have phases other than
$1$
, and define the phases of the objects in the kernel of the central charge to be the limits of the phases with respect to Bridgeland stability conditions.
Definition 3.2 A weak stability condition on
$\mathcal {D}$
is a triple

where
$\mathcal {A}$
is the heart of a bounded t-structure on
$\mathcal {D}$
, and
$Z: K(\mathcal {D})\rightarrow \mathbb {C}$
a group homomorphism satisfying:
(i) For any
$E\in \mathcal {A}$
, we have
$Z(E)\in \mathbb {H}\cup \mathbb {R}_{\leq 0}$
. For any
$K\in \ker (Z)\cap {\mathcal {A}}$
, we have
$0<\phi (K)\leq 1$
.
(ii) (Weak see-saw property) For any short exact sequence

in
$\ker (Z)\cap {\mathcal {A}}$
, we have
$\phi (K_1)\geq \phi (K)\geq \phi (K_2)$
or
$\phi (K_1)\leq \phi (K)\leq \phi (K_2)$
.
For any object
$E\notin \ker (Z)$
, define the phase of an object
$E\in {\mathcal {A}}$
by

We further require
(iii) The phase function satisfies the HN property.
Note that to talk about HN property in (iii) of the above definition, one will need the notion of the slope of a stability condition and the notion of semistability, which we define below.
3.2.1
Define the slope of an object with respect to a weak stability condition by
$\rho (E)=-\text {cot}(\pi \phi (E))$
Following [Reference Piyaratne and Toda18], an object
$E\in {\mathcal {A}}$
is (semi)-stable if for any nonzero subobject
$F\subset E$
in
${\mathcal {A}}$
, we have

or equivalently,

Remark 3.3 Note that the condition (ii) in Definition 3.2 (weak see-saw property) implies that for any short exact sequence in
${\mathcal {A}}$

we have
$\phi (F_1)\geq \phi (F_2)$
implies that
$\phi (F_1)\geq \phi (F)\geq \phi (F_2)$
, and
$\phi (F_1)\leq \phi (F_2)$
implies that
$\phi (F_1)\leq \phi (F)\leq \phi (F_2)$
.
The weak seesaw property built into the definition of a weak stability condition also gives the following property, which comes naturally with Bridgeland stability conditions.
Lemma 3.3.1 Let
$(Z, {\mathcal {A}}, \{ \phi (K) \}_{K \in {\text {ker}} (Z) \cap {\mathcal {A}}})$
be a weak stability condition. Then for any short exact sequence in
${\mathcal {A}}$

such that
$\phi (E'), \phi (E")>\phi _0$
for some constant
$\phi _0$
, we also have
$\phi (E)>\phi _0$
.
Proof If at least one of
$Z(E'), Z(E")$
is nonzero, then the claim is clear. Suppose
$Z(E'), Z(E")$
are both zero. Then by the weak see-saw property, we have either
$\phi (E') \geq \phi (E) \geq \phi (E")$
or
$\phi (E') \leq \phi (E) \leq \phi (E")$
. It follows that

and the claim follows.
Let
$(Z, {\mathcal {A}}, \{\phi (K)\}_{K\in \ker (Z)\cap {\mathcal {A}}})$
be a weak stability condition. Similar to Bridgeland stability conditions, for
$0<\phi \leq 1$
, we define the full additive subcategories
${\mathcal {P}}(\phi )$
of
$\mathcal {D}$
consisting of the objects in
${\mathcal {A}}$
which are semistable of phase
$\phi $
together with the zero object in
$\mathcal {D}$
. For general
$\phi $
define
${\mathcal {P}}(\phi +1)={\mathcal {P}}(\phi )[1]$
.
Proposition 3.4
${\mathcal {P}}$
defines a slicing in the sense of Definition 2.5.
Proof We only need to check the following axiom in Definition 3.3:

Without loss of generality, we assume that
$A_2\in {\mathcal {A}}$
. Since
${\mathcal {A}}$
is the heart of a bounded t-structure, if
$\phi _1>1$
we have
${\text {Hom}}_{\mathcal {D}}(A_1, A_2)=0$
. So we may assume that
$A_i\in {\mathcal {A}}$
for both i. Assuming there is a nonzero map
$f: A_1\rightarrow A_2$
, we have the following short exact sequence in
${\mathcal {A}}$
:


Since
$A_j$
’s are semistable, we have
$\phi ({\text {ker}} (f))\leq \phi ({\text {im}} (f))\leq \phi ({\text {coker}} (f))$
. Then by the weak see-saw property, we have

which contradicts
$\phi _1>\phi _2$
.
Let
${\mathcal {A}}$
be a category. Recall that the extension closure of a collection of subcategories of
${\mathcal {A}}$
is the smallest full subcategory of
${\mathcal {A}}$
which contains all the objects that can be formed by extentions of the objects in the collection of the subcategories. Let
${\mathcal {P}}((0, 1])$
be the extension closure of all the
${\mathcal {P}}(\phi )$
where
$\phi \in (0,1]$
.
Proposition 3.5 A weak stability condition can be equivalently defined by

where
${\mathcal {P}}$
is a slicing with properties as in [Reference Bridgeland5, Definition 3.3], and the central charge
$Z: K(\mathcal {D})\rightarrow \mathbb {C}$
is a group homomorphism satisfying:
-
(i) For
$E\in {\mathcal {P}}(\phi )$ ,
-
• if
$E\notin {\mathcal {P}}(\phi )\cap \ker (Z)$ , then
$Z(E)=m(E)e^{i\pi \phi }$ where
$m(E)\in \mathbb {R}_{> 0}$ ;
-
• if
$E\in {\mathcal {P}}(\phi )\cap \ker (Z)$ , then
$\phi (E)=\phi $ .
-
-
(ii) (weak see-saw property) For any short exact sequence
$$ \begin{align*} 0\rightarrow K_1\rightarrow K\rightarrow K_2\rightarrow 0 \end{align*} $$
$\ker (Z)\cap {\mathcal {P}}((0, 1])$ , we have
$\phi (K_1)\geq \phi (K)\geq \phi (K_2)$ or
$\phi (K_1)\leq \phi (K)\leq \phi (K_2)$ .
Proof Suppose we have a weak stability condition
$(Z,{\mathcal {A}}, \{\phi (K)\}_{K\in \ker (Z)\cap {\mathcal {A}}})$
as in Definition 3.2. By Proposition 3.4, we have that the triple defines a slicing
${\mathcal {P}}$
, where
${\mathcal {A}}={\mathcal {P}}((0, 1])$
. Then the phase of the objects in
$\ker (Z)\cap {\mathcal {A}}$
in Definition 3.2 defines the phases
$\{\phi (E) : E\in \ker (Z)\cap {\mathcal {P}}((0, 1])\}$
and the weak see-saw property implies (ii) in the Proposition.
Now assume that we have a triple
$(Z, {\mathcal {P}}, \phi (E)|_{E\in \ker (Z)\cap {\mathcal {P}}((0, 1])})$
as stated in the proposition. Since
${\mathcal {P}}$
is a slicing, the full subcategory
$({\mathcal {P}}(>0), {\mathcal {P}}(\leq 1))$
defines a bounded t-structure on
$\mathcal {D}$
. Let
${\mathcal {A}}={\mathcal {P}}((0, 1])$
be the heart of this t-structure, then
${\mathcal {A}}$
is an abelian category. Then the definition of the triple
$\sigma =(Z, {\mathcal {P}}, \phi (E)|_{E\in \ker (Z)\cap {\mathcal {P}}((0, 1])})$
implies the weak see-saw property and defines the phases
$\{\phi (E):E\in \ker (Z)\cap {\mathcal {A}}\}$
.
We also modify the criterion [Reference Bridgeland5, Proposition 2.4] for the existence of HN filtrations, for use in later sections.
Proposition 3.6 Let
$\sigma =(Z, {\mathcal {A}}, \phi (E)|_{E\in \ker (Z)\cap {\mathcal {A}}})$
be a triple satisfying conditions (i) and (ii) in the Definition 3.2. Suppose Z satisfies the following chain conditions:
(i) There are no infinite sequences of subobjects in
${\mathcal {A}}$
:

with
$\phi (E_{i+1})>\phi (E_i/E_{i+1})$
for all i.
(ii) There are no infinite sequences of quotients in
${\mathcal {A}}$
:

with
$\phi (K_i)>\phi (E_{i+1})$
for all i, where
$K_i=\ker (E_i\rightarrow E_{i+1})$
.
Then
$\sigma $
has the HN property.
Proof We follow Bridgeland’s argument with certain modifications.
Claim 1 For any
$0\neq E\in {\mathcal {A}}$
where E is not semistable, there exists a semistable subobject
$A\subset E$
with
$\phi (A)> \phi (E/A)$
; similarly, there exists semistable quotient
$E\twoheadrightarrow B$
with
$\phi (K)> \phi (B)$
where
$K={\text {ker}} (E\twoheadrightarrow B)$
.
We prove the claim for semistable quotient, as the case of semistable subobject is similar. We have a sequence of short exact sequences

with
$E_0=E$
, and
$\phi (A_i)>\phi (E_i)$
for all i. By the chain condition (ii), we have the sequence

is stationary, hence there exists semistable quotient
$E\twoheadrightarrow E_n$
. Let
$A^{(i)}$
be the kernel of
$E\twoheadrightarrow E_i$
. Next we show that
$\phi (A^{(n)})>\phi (E_n)$
.
By the diagram

we have short exact sequence

We prove by induction that
$\phi (A^{(i)})>\phi (E_{i})$
. By induction hypothesis we have
$\phi (A^{(i-1)})>\phi (E_{i-1})$
, which implies that

We also know that
$\phi (A_i)>\phi (E_i)$
. By Lemma 3.3.1, we have
$\phi (A^{(i)})>\phi (E_i)$
. This finishes the proof of Claim 1.
A maximally destabilising quotient (mdq) of an object
$0\neq E\in {\mathcal {A}}$
is defined to be a nonzero quotient
$E\twoheadrightarrow B$
such that any nonzero semistable quotient
$E\twoheadrightarrow B'$
satisfies
$\phi (B')\geq \phi (B)$
, with equality holding only if (i)
$E\twoheadrightarrow B'$
factors via
$E\twoheadrightarrow B$
and (ii)
$\phi (K')\leq \phi (B')$
for
$K'={\text {ker}} (B\rightarrow B')$
. A routine argument shows B is semistable (the proof requires the use of condition (ii), which we did not need to impose in the case of Bridgeland stability conditions), and
$\phi (E)\geq \phi (B)$
.
We first check the mdq exists. If E is semistable, then itself is the mdq for E. If E is not semistable, then by Claim 1, there is a short exact sequence in
${\mathcal {A}}$
:

with A semistable and
$\phi (A)>\phi (E')$
.
Claim 2 If
$E'\twoheadrightarrow B$
is a mdq for
$E'$
, then the composition
$E\twoheadrightarrow B$
is a mdq for E.
Indeed, let
$E\twoheadrightarrow B'$
be a quotient with
$B'$
semistable. If
$\phi (B')\leq \phi (B)$
, then
$\phi (B')\leq \phi (E')<\phi (A)$
. Then there is no map from A to
$B'$
, and hence the map
$E\rightarrow B'$
factors through
$E'$
. This implies that
$\phi (B')\geq \phi (B)$
, and hence
$\phi (B')= \phi (B)$
. Since
$E'\twoheadrightarrow B$
is a mdq for
$E'$
, the conclusion of the Claim follows.
We continue the process by replacing E by
$E'$
. By the chain condition (ii), this process terminates. So every non-zero object have a mdq.
Now we prove the existence of HN filtration under the assumption of the Proposition. Take
$0\neq E\in {\mathcal {A}}$
, if E is semistable, we are done. If not, there is a short exact sequence in
${\mathcal {A}}$
:

with
$E\twoheadrightarrow B$
the mdq for E. By definition of mdq, B is semistable. Also by the construction in the previous paragraph,
$\phi (E')>\phi (B)$
. Let
$E'\rightarrow B'$
be the mdq of
$E'$
. Consider the diagram
$(\dagger )$
in the proof of [Reference Bridgeland5, Proposition 2.4], in which K is taken to be the kernel of
$E' \to B'$
, and Q taken to be the cokernel of
$K \to E$
:

Claim 3 We have
$\phi (B')>\phi (B)$
.
First consider the case Q is semistable. Since
$E\twoheadrightarrow B$
is mdq, we have
$\phi (Q)\geq \phi (B)$
. But since Q is semistable, we have
$\phi (Q)\leq \phi (B)$
. So
$\phi (Q)=\phi (B)$
. By the property of mdq, the map
$E\rightarrow Q$
factors through
$E\twoheadrightarrow B$
, contradicting with
$E'\rightarrow Q$
is nonzero.
From here on, assume Q is not semistable. Let
$d : Q\twoheadrightarrow Q'$
be the mdq of Q. Since
$Q'$
is the mdq for Q, we have
$\phi (B) \geq \phi (Q')$
; since B is the mdq for E, we have
$\phi (Q') \geq \phi (B)$
. Hence
$\phi (B)=\phi (Q')$
. Now, that
$Q'$
is the mdq for Q implies b factors as
$b=ed$
for some
$e : Q' \twoheadrightarrow B$
; on the other hand, that B is the mdq for E implies that
$da$
factors as
$fc$
for some
$f : B \twoheadrightarrow Q'$
. Overall, we have
$ed=b$
and
$da=fc$
which gives

Since
$da$
is surjective, this means e is injective, and hence an isomorphism, i.e.,
$Q' \cong B$
.
If
$\phi (Q)> \phi (Q')=\phi (B)$
. Applying the weak see-saw property to the short exact sequence
$0 \to B' \to Q \to B \to 0$
, we obtain
$\phi (B') \geq \phi (Q)> \phi (B)$
and hence
$\phi (B')>\phi (B)$
.
Assume
$\phi (Q)=\phi (B)$
. Since Q is not semistable, there is a short exact sequence in
${\mathcal {A}}$

such that
$M'$
is semistable and
$\phi (M)>\phi (M')$
. Since
$\phi (Q)\geq \phi (M')$
,
$\phi (M')\geq \phi (B)$
, we have
$\phi (M')=\phi (B)$
. Then the map
$Q\to M'$
factors through
$Q\to B$
. Consider the following diagram:

By the definition of mdq, we have
$\phi (N)\leq \phi (M')$
. Then
$\phi (M)>\phi (M')$
implies that
$\phi (B')>\phi (M')=\phi (B)$
.
Repeating the process for
$E'$
, by chain condition (i) the sequence terminates, and this is the HN filtration for E.
Definition 3.7 Let E be a
$\sigma $
-semistable object for some weak stability condition

A Jordan–Hölder filtration of E is a filtration

such that the factors
$gr_i(E)=E_i/E_{i-1}$
are stable, and for each i either
$gr_i(E)\in \ker (Z_\sigma )$
, or
$\phi _\sigma (gr_i(E))=\phi _\sigma (E)$
.
Remark 3.8 We expect the weak stability conditions defined in this article give a compactification to the Bridgeland stability manifold. In particular, the weak stability conditions are the boundaries of certain open components. In the examples in Section 5, we see that with this “compatification”, particular slices of Bridgeland stability manifold naively behave like blow up a point on
$\mathbb {R}^2$
. As a first step to make this precise, we need to generalize Bridgeland’s topology to the set of weak stability conditions, we leave this exploration to a furture work.
Remark 3.9 Recall that in 3.2.1, we defined when an object is
$\sigma $
-stable in the abelian category
${\mathcal {A}}={\mathcal {P}}((0, 1])$
. For a general t we say an object is stable in
${\mathcal {P}}(t)$
if it is a shift of a stable object in
${\mathcal {P}}(t')$
for some
$0<t'\leq 1$
.
In Section 5, we will give four types of examples of weak stability conditions:
-
(i) when the ample class in
$\sigma _{\omega , B}$ degenerates to a nef class;
-
(ii) when the coefficient of
${\mathrm {ch}}_0$ in the central charge Z of a Bridgeland stability condition degenerates to zero;
-
(iii) when (i) and (ii) occur at the same time; and
-
(iv) when a relative Fourier-Mukai transform is applied to the weak stability condition in (iii).
These are natural classes of weak stability conditions we obtain when specific parameters of Bridgeland stability approach certain limits. One direct application of the these four weak stability conditions is in the sequel to this article, in which we obtain stability of line bundles at Bridgeland stability conditions by first studying their stability at these four types of weak stability conditions.
4 Bogomolov–Gieseker type inequalities
Since we will be dealing with weak stability conditions that arise from nef divisors in Section 5, we need to study Bogomolov–Gieseker-type inequalities for slope semistable sheaves with respect to nef divisors first.
Let X be a smooth projective surface, and
$\omega $
an ample
$\mathbb {R}$
-divisor on X. The usual Bogomolov-Gieseker inequality for sheaves says the following: for any
$\mu _\omega $
-semistable torsion-free sheaf E on X, we have

It is easily checked that this inequality is preserved under twisting the Chern character by a B-field.
When X is a K3 surface, we have the following, stronger Bogomolov–Gieseker inequality which is known to experts (e.g., see [Reference Arcara, Bertram and Lieblich1, Section 6]):
Proposition 4.1 Let X be a K3 surface, and
$\omega , B$
any
$\mathbb {R}$
-divisors on X where
$\omega $
is ample. Then for any
$\mu _\omega $
-stable torsion-free sheaf E on X, we have

Recall that on a smooth projective surface, a divisor class is nef if and only if it is movable. In [Reference Greb, Kebekus and Peternell9, Section 2.6], Greb, Kebekus, and Peternell showed that given a nef divisor that is not necessarily ample, we can still define a notion of slope stability with the usual expected properties. More concretely, suppose
$\omega $
is a nef divisor on a smooth projective surface X. Then for every nonzero coherent sheaf E on X, we can define the slope

We then declare a torsion-free sheaf E on X to be
$\mu _\omega $
-(semi)stable if, for every nonzero proper subsheaf A of E, we have
$\mu _\omega (A) < (\leq ) \mu _\omega (E)$
. In particular, every torsion-free sheaf E on X admits a HN filtration

where each subquotient
$E_i/E_{i-1}$
is
$\mu _\omega $
-semistable and

We write
$\mu _{\omega , \textrm {max}}(E)$
to denote
$\mu _\omega (E_0)$
, and
$\mu _{\omega , \textrm {min}}(E)$
to denote
$\mu _\omega (E_m/E_{m-1})$
. Then for every nonzero proper subsheaf A of E, we have
$\mu _\omega (A) \leq \mu _{\omega , \textrm {max}}(E)$
.
In the rest of this section, we will show that on a Weierstraß elliptic K3 surface,
$\mu _{\Theta + ef}$
-stable torsion-free sheaves also satisfy the stronger Bogomolov–Gieseker inequality (4.1.1) even though
$\Theta + ef$
is a nef divisor that is not ample (see Example 4.5). We begin with the following “openness of stability” result.
Proposition 4.2 Let X be a smooth projective surface. Suppose
$H, H'$
are nef
$\mathbb {R}$
-divisors on X and the value

exists. Then for any torsion-free sheaf E on X, there exists
$\epsilon _0>0$
depending only on
$E, H$
, and
$H'$
such that, for any
$0< \epsilon < \epsilon _0$
, we have

Proof Suppose E is a
$\mu _H$
-stable torsion-free sheaf. Since
$H'$
is nef, and hence movable, for any nonzero proper subsheaf A of E, we have
$\mu _{H'}(A) \leq \mu _{H', \mathrm {max}}(E)$
[Reference Greb, Kebekus and Peternell9, Corollary 2.24], where
$\mu _{H', \mathrm {max}}(E)$
depends only on
$H'$
and E.
By our assumption on H, for any nonzero proper subsheaf A of E, the intersection number
$H{\mathrm {ch}}_1(A)$
must be an integer multiple of c. As a result, there exists
$\delta>0$
depending only on E and H such that

Now fix an
$\epsilon _0>0$
such that

Note that
$\epsilon _0$
depends only on
$E, H'$
and
$\delta $
. Then for any
$0 < \epsilon < \epsilon _0$
and any nonzero proper subsheaf A of E, we have

This means that, for any
$0 < \epsilon < \epsilon _0$
, the sheaf E is also
$\mu _{H + \epsilon H'}$
-stable.
Proposition 4.2 is similar to the result [Reference Greb, Kebekus and Peternell9, Theorem 3.4] by Greb, Kebekus, and Peternell, but with slightly different assumptions.
Corollary 4.3 Let X be a K3 surface. Suppose
$H, H'$
are nef
$\mathbb {R}$
-divisors on X satisfying the hypotheses in Proposition 4.2 as well as
-
• There exists
$\epsilon _1>0$ such that
$H+\epsilon H'$ is ample for all
$\epsilon \in (0, \epsilon _1)$ .
Then any
$\mu _H$
-stable torsion-free sheaf E on X satisfies the inequality (4.1.1).
Proof Let
$\epsilon _0$
be as in Proposition 4.2. Then for any
$0 < \epsilon < \epsilon _0$
, the sheaf E is also
$\mu _{H+\epsilon H'}$
-stable. Since
$H+\epsilon H'$
is an ample divisor, Proposition 4.1 applies to E and the claim follows.
Here is a lemma we need for the example below:
Lemma 4.4 Let
$p : X \to Y$
be an elliptic surface with a section
$\Theta $
. Then a divisor of the form
$\Theta + af$
where
$a \in \mathbb {R}_{>0}$
is ample if and only if
$a> -\Theta ^2$
.
Proof By the Nakai–Moishsezon criterion,
$\Theta + af$
is ample if and only if
$(\Theta + af)^2=2a-e>0$
and
$(\Theta + af)C>0$
for every irreducible curve
$C \subset X$
.
Suppose C is an irreducible curve on X that is distinct from
$\Theta $
. Then
$\Theta C\geq 0$
and
$fC \geq 0$
. If
$fC=0$
, then C is a vertical divisor, in which case
$\Theta C>0$
and
$(\Theta +af)C>0$
. If
$fC>0$
, then
$(\Theta +af)C>0$
as well.
Now suppose
$C=\Theta $
. Then
$(\Theta + af)C=a+\Theta ^2$
. Since
$a>0$
, it now follows that
$\Theta + af$
is ample if and only if
$a>-\Theta ^2$
.
Example 4.5 Let X be a Weierstraß elliptic K3 surface (i.e.,
$e=2$
). If we take

then these nef divisors satisfy the conditions in Proposition 4.2 since H is integral, while the extra condition in in Corollary 4.3 is satisfied by Lemma 4.4. Therefore, by Corollary 4.3, the sharper Bogomolov–Gieseker inequality (4.1.1) holds for
$\mu _{\Theta +ef}$
-stable torsion-free sheaves on X even though
$\Theta +ef$
is a nef divisor.
5 Four types of weak stability conditions
In this section, we introduce four natural classes of weak stability conditions. Let
$p : X \to Y=\mathbb {P}^1$
be a Weierstraß elliptic K3 surface throughout this section, so
$e = -\Theta ^2=2$
. Let
$i : \mathbb {P}^1 \hookrightarrow X$
denote the canonical section.
5.1 Weak stability condition at the origin
We consider the usual central charge (with zero B-field) as

where
$\omega = R_\omega (\Theta + (D_\omega + e)f)$
. Note that according to our definitions of
$R_\omega , D_\omega , V_\omega $
for
$\omega $
ample, we have

Rescaling the imaginary part of
$Z_\omega $
, we obtain the central charge

We consider the limit of
$Z_{V_\omega , D_\omega }$
when
$D_\omega , V_\omega \to 0$

where
$H = \Theta + ef$
. We will now construct a heart
${\mathcal {B}}_{H,k}^0$
on which
$Z_H$
is a weak stability function. (We defer the verification of the HN property to the end of this section.)
Recall that for a proper morphism
$f : X \to Y$
on smooth varieties, the Grothendieck–Riemann–Roch (GRR) theorem says

for any
$\alpha \in K(X)$
. Note that

from [Reference Hartshorne10, Example II8.20.1], while
$\mathrm {td}(T_X) = (1,0, 2[pt])$
since X is a K3 surface. Therefore, GRR gives

from which we obtain

Recall the definition of
$\mu _{H, \mathrm {max}}$
and
$\mu _{H, \mathrm {min}}$
before Proposition 4.2. Proceeding as in Tramel–Xia [Reference Tramel and Xia19], we set

Even though H is a nef divisor that is not ample, it is a movable class on X, and so the notions
$\mu _{H,\mathrm {min}}$
and
$\mu _{H, \mathrm {max}}$
make sense [Reference Greb, Kebekus and Peternell9, Corollary 2.26]. Let

Next, for any integer k we set

where
${\mathcal {O}}_\Theta (i)$
denotes
$i_\ast {\mathcal {O}}_{\mathbb {P}^1}(i)$
, and set

From [Reference Tramel and Xia19, Lemma 3.2], we know
$({\mathcal {T}}^a_{H,k}, {\mathcal {F}}^a_{H,k})$
is a torsion pair in
${\mathcal {A}}^a_{H}$
, allowing us to perform a tilt to obtain the heart

Lemma 5.2 Let X be a Weierstraß elliptic surface with canonical section
$\Theta $
and
${e=-\Theta ^2>0}$
. Suppose
$C \subseteq X$
is an irreducible curve not contained in
$\Theta $
. Then
${C.(\Theta + ef)>0}$
.
Proof If C is a vertical divisor, then
$C.f=0$
and
$C.\Theta>0$
, in which case the lemma follows.
Suppose C is a horizontal divisor not contained in
$\Theta $
. Then
$C.\Theta \geq 0$
, while
$C.f>0$
by [Reference Lo13, Lemma 3.15], in which case the lemma also follows.
We also know that the Bogomolov–Gieseker inequality holds for slope semistable sheaves with respect to a movable class on a surface: When X is a smooth projective surface and
$\alpha $
is a nonzero movable class on X (e.g., when
$\alpha $
is nef), for any
$\mu _\alpha $
-semistable torsion-free sheaf E we have the usual Bogomolov–Gieseker inequality

where the inequality is strict if E is not locally free [Reference Greb, Kebekus and Peternell9, Theorem 5.1].
Proposition 5.3 Let X be a Weierstraß elliptic K3 surface. Then
$Z_H$
is a weak stability function on the heart
${\mathcal {B}}^0_{H,k}$
for
$k=-1, -2$
.
Proof Take any
$E \in {\mathcal {B}}^0_{H,k}$
. It suffices to show that
$Z_H (E) \in \mathbb {H}_0$
for either
$E \in {\mathcal {T}}^0_{H,k}$
or
$E \in {\mathcal {F}}^0_{H,k}$
, when
$k=-1, -2$
.
Suppose
$E \in {\mathcal {T}}^0_{H,k}$
. Then
$E \in {\mathcal {A}}^0_H$
, and it is easy to see that
$Z_H(E) \in \mathbb {H}$
when we are in one of the following cases:
-
•
$E \in {\mathcal {T}}^0_H$ and
${\mathrm {ch}}_0(E)>0$ .
-
•
$E \in {\mathcal {T}}^0_H$ is supported in dimension 1, and its support is not contained in
$\Theta $ (use Lemma 5.2).
-
•
$E\in {\mathcal {T}}^0_H$ is supported in dimension 0.
-
•
$E = F[1]$ where F is a
$\mu _H$ -semistable torsion-free sheaf with
$\mu _H(F)<0$ .
When
$E = F[1]$
where F is a
$\mu _H$
-semistable torsion-free sheaf with
$\mu _H(F)=0$
, we have

Note that the Hodge Index Theorem applies in the last step because
$H^2>0$
. Also, if E is a 1-dimensional sheaf supported on
$\Theta $
, then because
${\text {Hom}} (E, {\mathcal {O}}_\Theta (i))=0$
for all
$i\leq k$
, it follows that
$E \in \langle {\mathcal {O}}_\Theta (i) : i> k \rangle $
, which gives
$Z_H(E) \in \mathbb {R}_{\leq 0}$
. Since every object in
${\mathcal {T}}^0_{H,k}$
is an extension of objects of the forms above, we have
$Z_H({\mathcal {T}}^0_{H,K})\subseteq \mathbb {H}_0$
.
Lastly, if
$E \in {\mathcal {F}}^0_{H,k}$
, then
$E \in \langle {\mathcal {O}}_\Theta (i) : i \leq k \rangle [1]$
, in which case we also have
$Z_H(E) \in \mathbb {H}_0$
.
Proposition 5.4 Let X be a Weierstraß elliptic K3 surface. Then

Proof For convenience, we will write
${\mathcal {A}}$
and
${\mathcal {B}}$
to denote the hearts
${\mathcal {A}}^0_H$
and
${\mathcal {B}}^0_{H,k}$
, respectively, in this proof.
Take any nonzero object
$E \in {\mathcal {B}}^0_{H,k} \cap {\text {ker}} Z_H$
. Then
$Z_H ({\mathcal {H}}^{-1}_{\mathcal {A}} (E))=0=Z_H({\mathcal {H}}^0_{\mathcal {A}} (E))$
. In particular, we have
${\mathrm {ch}}_2 ({\mathcal {H}}^{-1}_{\mathcal {A}} (E))=0$
. Since
${{\mathcal {H}}^{-1}_{\mathcal {A}} (E) \in \langle {\mathcal {O}}_\Theta (i) : i \leq k \rangle }$
, this means that

Also, since
$\Im Z_H ({\mathcal {H}}^0_{\mathcal {A}} (E))=0$
and
$\Im Z_H$
is nonnegative on
${\mathcal {A}}$
, it follows that
$\Im Z_H (H^0({\mathcal {H}}^0_{\mathcal {A}} (E)))$
and
$\Im Z_H (H^{-1}({\mathcal {H}}^0_{\mathcal {A}} (E)))$
are both zero. As a result, the sheaf
$H^0({\mathcal {H}}^0_{\mathcal {A}} (E))$
must be a torsion sheaf supported on
$\Theta $
by Lemma 5.2, while
$M := H^{-1}({\mathcal {H}}^0_{\mathcal {A}} (E))$
is a
$\mu _H$
-semistable torsion-free sheaf with
$\mu _H=0$
.
Since H is a nef divisor, the usual Bogomolov–Gieseker inequality holds for
$\mu _H$
-semistable sheaves [Reference Greb, Kebekus and Peternell9, Theorem 5.1]

Also, since H is nef with
$H^2=e>0$
, the Hodge Index Theorem gives
$c_1(M)^2 \leq 0$
, and so we have
${\mathrm {ch}}_2(M) \leq 0$
. On the other hand, by the construction of
${\mathcal {B}}$
, we have

which means that
$H^0({\mathcal {H}}^0_{\mathcal {A}} (E))$
is an extension of a sheaf in
$\langle {\mathcal {O}}_\Theta (i) : i> k \rangle $
by a 0-dimensional sheaf, giving us
${\mathrm {ch}}_2 (H^0 ({\mathcal {H}}^0_{\mathcal {A}} (E)))> k+1 \geq 0$
(recall k is either
$-1$
or
$-2$
). Since
$\Re Z_H ({\mathcal {H}}^0_{\mathcal {A}} (E))=0$
, this forces

In particular,
$H^0({\mathcal {H}}^0({\mathcal {A}} (E)))$
is forced to be a pure 1-dimensional sheaf, and

We now show that, in fact, M lies in
$\langle {\mathcal {O}}_X \rangle $
. Let
$M_i$
be the
$\mu _H$
-Jordan Hölder factors of M (which exist by [Reference Greb, Kebekus and Peternell9, Corollary 2.27]). By Example 4.5, each
$M_i$
satisfies the sharper Bogomolov–Giesker inequality (4.1). Together with the Hodge Index Theorem, for each i we have

where the right-hand side is strictly less than 0 if
${\mathrm {ch}}_0(M_i)>1$
, while equal to 0 if
${\mathrm {ch}}_0(M_i)=0$
. Since
$0={\mathrm {ch}}_2(M)=\sum _i {\mathrm {ch}}_2(M_i)$
, it follows that each
$M_i$
is a rank-one torsion-free sheaf with
${\mathrm {ch}}_2(M_i)=0$
. In fact, each
$M_i$
must be a line bundle, for if
$M_j$
is not locally free for some j, then

where the second last inequality follows from the usual Bogomolov–Gieseker inequality, and the last inequality follows from the Hodge Index Theorem for H. This contradicts
${\mathrm {ch}}_2(M_j)=0$
, and so each
$M_i$
is a line bundle. Moreover, equality holds in the Hodge Index Theorem in (5.4.1), and so
$c_1(M_i)\equiv 0$
; since X is a K3 surface, this implies
$c_1(M_i)=0$
and hence
$M_i \cong {\mathcal {O}}_X$
. That is,
$M \in \langle {\mathcal {O}}_X \rangle $
.
So far, we have shown that any object E in
${\mathcal {B}}^0_{H,k} \cap {\text {ker}} Z_H$
fits in an exact triangle in
$D^b(X)$

where
-
•
$E' \in \langle {\mathcal {O}}_\Theta (-1)[1]\rangle $ and
$E" \in \langle {\mathcal {O}}_X[1]\rangle $ if
$k=-1$ ;
-
•
$E' \in \langle {\mathcal {O}}_X[1]\rangle $ and
$E" \in \langle {\mathcal {O}}_\Theta (-1)\rangle $ if
$k=-2$ .
This proves the proposition.
We actually have that the objects in
${\mathcal {B}}_{H, -1}^{0}\cap \ker (Z_H)$
are direct sums of
${\mathcal {O}}_\Theta (-1)[1]$
and
${\mathcal {O}}_X[1]$
, and objects in
${\mathcal {B}}_{H, -2}^{0}\cap \ker (Z_H)$
are direct sums of
${\mathcal {O}}_\Theta (-1)$
and
${\mathcal {O}}_X[1]$
, as shown in the following lemma.
Lemma 5.5 Let X be a Weierstraß elliptic K3 surface. Then


and every object in
${\mathcal {B}}^0_{H,k} \cap {\text {ker}} Z_H$
is a direct sum of
${\mathcal {O}}_\Theta (-1) [1]$
and
${\mathcal {O}}_X [1]$
(resp.
${\mathcal {O}}_X [1]$
and
${\mathcal {O}}_\Theta (-1)$
) if
$k=-1$
(resp.
$k=-2$
).
Proof By Serre Duality,

which must vanish, because every morphism
${\mathcal {O}}_X \to {\mathcal {O}}_\Theta (-1)$
of sheaves factors as
${\mathcal {O}}_X \to {\mathcal {O}}_\Theta \to {\mathcal {O}}_\Theta (-1)$
, but the only morphism
${\mathcal {O}}_\Theta \to {\mathcal {O}}_\Theta (-1)$
is the zero map (e.g., use slope stability for torsion-free sheaves on
$\Theta $
).
With the above vanishing and
$\text {Ext}^2 ({\mathcal {O}}_X, {\mathcal {O}}_\Theta (-1)) \cong {\text {Hom}} ({\mathcal {O}}_\Theta (-1), {\mathcal {O}}_X)=0$
, it follows that

Also by Serre duality, we have

By Riemann–Roch, we have

Hence
$2-\mathrm {ext}^1({\mathcal {O}}_\Theta (i), {\mathcal {O}}_\Theta (i))=2$
, which implies that

The second part of the proposition follows easily from Proposition 5.4.
5.6
To define a weak stability function, we still need to define the phases of objects in the subcategory
${\mathcal {B}}_{H, k}^0\cap \ker (Z_H)$
in such a way that the weak see-saw property is satisfied. We define the phases
$\{\phi _{H, k}(K)|_{K\in {\mathcal {B}}_{H, k}^0\cap \ker (Z_H)}\}$
by taking the limit of the phase of
$Z_{V_\omega , D_\omega }(K)$
as
$V_\omega , D_\omega \to 0$
.
We have

and

As a result, it is only when
$k=-2$
that we have
$0<\phi _{H, k}(K)\leq 1$
for any
$K\in {\mathcal {B}}_{H,k}^0 \cap \ker (Z_H)$
. Given a point
$b\in \mathbb {P}^1$
, whose coordinates are given by
$[V_\omega : D_\omega ]$
, we define

We check the weak see-saw property in Definition 3.2.
Proposition 5.7 Let

be a short exact sequence in
${\mathcal {B}}^0_{H, -2}\cap \ker (Z_H)$
. Then we have
(i)
$\phi ^L_b(K_1)\leq \phi ^L_b(K_2)$
implies that
$\phi ^L_b(K_1)\leq \phi ^L_b(K)\leq \phi ^L_b(K_2)$
.
(ii)
$\phi ^L_b(K_1)\geq \phi ^L_b(K_2)$
implies that
$\phi ^L_b(K_1)\geq \phi ^L_b(K)\geq \phi ^L_b(K_2)$
.
Proof By lemma 5.5, we have for any
$K\in {\mathcal {B}}_{H,-2} \cap \ker (Z_H)$
, K is isomorphic to a direct sum of
${\mathcal {O}}_X[1]$
and
${\mathcal {O}}_\Theta (-1)$
. Assume that



To prove the proposition, it is enough to show the same relation for the Bridgeland slope. We define
$\rho _{V_\omega , D_\omega }=-\frac {\Re (Z_{V_\omega , D_\omega })}{\Im (Z_{V_\omega , D_\omega })}$
, and
$\rho _b^L=-\text {cot}(\pi \phi _b^L(\_))$
. We have

We write
$b=V_\omega /D_\omega $
, and
$b\in [0, \infty ]$
. Then
$\phi ^L_b(K)=\frac {bm_1}{m_0}$
. Similarly, we have
$\phi ^L_b(K_0)=\frac {bl_1}{l_0}$
and
$\phi ^L_b(K_1)=\frac {bn_1}{n_0}$
. Since
$m_0=l_0+n_0$
and
$m_1=l_1+n_1$
, we obtain the weak see-saw property in Definition 3.2.
For each
$b\in \mathbb {P}^1$
, we have a triple
$\sigma ^L_b=(Z_{H}, {\mathcal {B}}^0_{H, -2}, \{\phi _b(E)\}|_{E\in \ker (Z_{H})\cap {\mathcal {B}}^0_{H, -2}})$
. Finally we check the HN property in Definition 3.2.
Proposition 5.8 The triple
$\sigma _b^L$
satisfies the HN property, hence defines a weak stability condition.
Proof We follow the argument of [Reference Bridgeland6].
We first check condition (i) in Proposition 3.6. Assume we have such a chain of subobjects in
${\mathcal {B}}^0_{H, -2}$
as in condition (i). Consider the short exact sequence in
${\mathcal {B}}^0_{H, -2}$
:

Since
$\Im (Z_H(F_i))\geq 0$
, we have
$\Im (Z_H(E_{i}))\geq \Im (Z_H(E_{i+1}))$
. Since
$\Im (Z_H)$
has coefficients in
$\mathbb {Z}$
, we know that
$\Im (Z_H)$
is discrete. Hence
$\Im (Z_H(E_i))$
is constant for
$i\gg 0$
. Then
$\Im (Z_H(F_i))=0$
for
$i>n$
for some n.
Let
$i>n$
. If
$F_i\notin {\mathcal {B}}^0_{H, -2}\cap \ker (Z_H) $
, then
$\phi ^L_b(F_i)=1$
, contradicting
$\phi ^L_b(E_{i+1})>\phi ^L_b(F_i)$
.
So we must have
$F_i\in \ker (Z_H)\cap {\mathcal {B}}^0_{H, -2}=\langle {\mathcal {O}}_X[1],{\mathcal {O}}_\Theta (-1)\rangle $
for
$i>n$
. By Lemma 5.5, we have

Now, applying the functors
${\text {Hom}} (-, {\mathcal {O}}_X[1])$
and
${\text {Hom}} (-,{\mathcal {O}}_\Theta (-1))$
to (5.8.1), we see that the dimensions of
${\text {Hom}}(E_{i}, {\mathcal {O}}_\Theta (-1))$
and
${\text {Hom}}(E_i, {\mathcal {O}}_X[1])$
are both non-increasing as i increases, and for
$i\gg 0$
, we have

which implies
$F_i=0$
by Proposition 5.5.
Next we consider condition (ii) in Proposition 3.6. Assuming we have a sequence

Consider the short exact sequence

Similar to the argument above, we have
$\Im (Z_H(E_i))$
is constant for
$i\gg 0$
. Omitting a finite number of terms, we can assume there are short exact sequences

with
$\Im (Z_H(L_i))=0$
for all
$i \geq 0$
. Also by the long exact sequence of cohomology, we have the surjective chain in
${\mathrm {Coh}}(X)$
:

Since
${\mathrm {Coh}}(X)$
is noetherian, this sequence stabilizes. Hence we can assume that
$H^0(E)\simeq H^0(E_i)$
for all i. Taking cohomology sheaves of (5.8.3), we have

Consider the short exact sequence

where
$B_i \cong K_{i-1}$
by the octahedral axiom. Taking cohomology sheaves shows that we have a chain

which stabilizes after a finite number of terms. Hence by omitting finite number of terms, we can also assume that
$H^{-1}(L_i)\simeq H^{-1}(L_{i+1})$
for all i. Then the exact sequence 5.8.4 becomes

where Q is the image of f and is independent of i. We also have the following exact sequence of cohomology sheaves from (5.8.5).

Since
$\Im (Z_H(L_i))=0$
, we have
$\Im (Z_H(H^0(L_i)))=0$
, hence
$H^0(L_i)$
lies in the extension closure of zero dimensional sheaves and sheaves in
$\langle {\mathcal {O}}_\Theta (j)|j>-2\rangle $
. Since
$L_{i-1}$
,
$L_i$
, and
$B_i$
are all in
${\mathcal {B}}^0_{H, -2}$
, it follows that
$\Im (Z_H (B_i))=0$
for all
$i \geq 0$
as well, and we have
-
(a)
$H^{-1}(B_i)=0$ or
${\mathrm {ch}}_2(H^{-1}(B_i))< 0$ ,
-
(b)
${\mathrm {ch}}_2(H^0(L_{i-1}))\geq 0$ ,
-
(c)
${\mathrm {ch}}_2(H^0(L_{i}))\geq 0$ ,
-
(d)
${\mathrm {ch}}_2(H^0(B_i))\geq 0$ .
Hence
${\mathrm {ch}}_2(H^0(L_i))\geq {\mathrm {ch}}_2(H^0(L_{i-1}))$
. Then we must have
${\mathrm {ch}}_2(H^0(L_i))={\mathrm {ch}}_2(H^0(L_{i-1}))$
for
$i\gg 0$
. If not, by the short exact sequence (5.8.6) we have
${\mathrm {ch}}_2(H^{-1}(E_i))$
has no upper bound. Then
$-{\mathrm {ch}}_2(E_i)>0$
for
$i\gg 0$
, which contradicts
$Z_H$
being a weak stability function on
${\mathcal {B}}^0_{H,-2}$
(Proposition 5.3).
Now that we know
${\mathrm {ch}}_2(H^0(L_i))$
is constant for
$i \gg 0$
, by (a) above we have
$H^{-1}(B_i)=0$
for
$i\gg 0$
and we have

Then either
$H^0(B_i)\in \langle {\mathcal {O}}_\Theta (-1)\rangle $
or
$H^0(B_i)=0$
. Recall that we have
$B_{i+1}\simeq K_i$
. Thus we have for
$i\gg 0$
,
$K_i\in \langle {\mathcal {O}}_\Theta (-1)\rangle $
or
$K_i=0$
. Applying
${\text {Hom}}({\mathcal {O}}_\Theta (-1), \_)$
to the short exact sequence (5.8.2) and recalling
$\text {Ext}^1({\mathcal {O}}_\Theta (-1), {\mathcal {O}}_\Theta (-1))=0$
from Lemma 5.5, if
$K_i\neq 0$
then we have

Hence
$K_i$
must vanish for
$i \gg 0$
, i.e.,
$E_i\simeq E_{i+1}$
for
$i\gg 0$
. This proves the HN property for
$\sigma _b^L$
.
Remark 5.9 Since
${\mathcal {B}}_{H,-2} ^0 \cap {\text {ker}} (Z_H)$
is a Serre subcategory of
${\mathcal {B}}_{H,-2}^0$
, and every object of
${\mathcal {B}}_{H,-2}^0 \cap {\text {ker}} (Z_H)$
is a direct sum of
${\mathcal {O}}_X[1]$
and
${\mathcal {O}}_\Theta (-1)$
which have different phases with respect to
$\sigma ^L_b$
, the only
$\sigma ^L_b$
-semistable objects in
${\mathcal {B}}_{H,-2}^0 \cap {\text {ker}} (Z_H)$
are direct sums of
${\mathcal {O}}_X[1]$
itself and direct sums of
${\mathcal {O}}_\Theta (-1)$
itself.
We denote the slicing of
$\sigma _b^L$
by
${\mathcal {P}}_b$
. The next two results shows that given
$\phi \in \mathbb {R}$
, every object
$E\in {\mathcal {P}}_b(\phi )$
has a Jordan–Hölder filtration.
Lemma 5.10 [Reference Bridgeland6, Lemma 4.4]
Let
$\alpha $
,
$\beta $
be real numbers such that
$0<\beta -\alpha <1-2\epsilon $
for some
$0<\epsilon <\frac {1}{8}$
. The thin subcategory
${\mathcal {P}}_b((\alpha , \beta ))$
is of finite length.
Proof We follow the argument of [Reference Bridgeland6, Lemma 4.4]. Let
$\phi =\frac {\alpha +\beta }{2}$
. Then
${\mathcal {P}}_b((\alpha , \beta ))\subset {\mathcal {P}}_b((\phi -\frac {1}{2}, \phi +\frac {1}{2}))$
. Define a function

Then for any
$E\in {\mathcal {P}}_b((\alpha , \beta ))$
, we have
$f(E)>0$
or
$E\in \ker (Z_H)$
. Given a strict short exact sequence

in
${\mathcal {P}}_b((\alpha , \beta ))$
, we have
$f(E)=f(G)+f(F)$
. We have the following two cases:
(i) the value of f decreases when taking a subobject,
(ii) the value of f does not change when taking a subobject and the corresponding quotient object is in
$\ker (Z_H)$
.
Assume that
${\mathcal {O}}_X[1]\in {\mathcal {P}}_b((\alpha , \beta ))$
and/or
${\mathcal {O}}_\Theta (-1)\in {\mathcal {P}}_b((\alpha , \beta ))$
, then in case (ii) either the dimension of
${\text {Hom}}(\_, {\mathcal {O}}_X[1])$
or the dimension of
${\text {Hom}}(\_, {\mathcal {O}}_\Theta (-1))$
decreases when taking a subobject. Since
$Z_H$
is discrete, any chain in
${\mathcal {P}}_b((\alpha , \beta ))$
of the form

or of the form

must terminate.
Proposition 5.11 Consider the weak stability condition
$\sigma _b^L$
. Any
$E\in {\mathcal {P}}_b(\phi )$
has a finite Jordan–Hölder filtration into stable factors.
Proof WLOG, we assume that
$0<\phi \leq 1$
. If E is
$\sigma _b^L$
- stable, then we are done. From now on we assume that E is not
$\sigma _b^L$
-stable.
Step 1. We show that there exists a subobject
$A_1$
of E in
${\mathcal {B}}^0_{H, -2}$
, such that
$A_1$
is
$\sigma _b^L$
-stable.
Since E is not stable, there exists a short exact sequence

in
${\mathcal {B}}^0_{H, -2}$
with
$\phi _b(E_1)=\phi _b(E)=\phi _b(F_1)=\phi $
. If
$E_1$
is stable, then the claim is true. If not, we first prove the following Claim.
Claim: for any short exact sequence in
${\mathcal {B}}^0_{H, -2}$
:

with
$\phi _b(E_1^{(1)})\geq \phi _b(E_1')$
, we have
$\phi _b(E_1^{(1)})=\phi $
.
Note that by assumption we have
$\phi _b(E_1^{(1)})\geq \phi $
. Composing with the map
$E_1\rightarrow E$
, we form a short exact sequence in
${\mathcal {B}}^0_{H, -2}$
:

By the diagram

we have
$\phi _b(E_1^{(1)})\geq \phi _b(F_1^{(1)})$
. Since E is
$\sigma ^L_b$
-semistable, we have

which proves the claim.
We have either
$E_1\in {\mathcal {P}}_b(\phi )$
, or
$E_1$
is not semistable and in which case there exists a short exact sequence in the form of (5.11.1) with

This implies that
$E_1'\in \ker (Z_H)\cap {\mathcal {B}}^0_{H, -2}$
. Then if
$E_1\notin {\mathcal {P}}_b(\phi )$
, we have either

or

Replace
$E_1$
by
$E_1^{(1)}$
and continue this process, we see that there exists
$m_1$
such that
$E_1^{(m_1)}\in {\mathcal {P}}_b(\phi )$
.
If
$E_1^{(m_1)}$
is stable, then we are done. If not, we replace E by
$E_1^{(m_1)}$
and repeat the whole process for
$E_1^{(m_1)}$
. Then there exists a subobject of
$E_1^{(m_1)}$
which is in
${\mathcal {P}}_b(\phi )$
, we denote this object by
$E_1^{(m_2)}$
.
By Lemma 5.10, The chain

in
${\mathcal {P}}_b(\phi )$
must terminate. Then there exists
$n_1$
such that
$E_1^{(n_1)}$
is stable. Denote this object by
$A_1$
.
Step 2. We show that E has a JH filtration.
Consider the short exact sequence in
${\mathcal {B}}^0_{H, -2}$
:

If
$B_1\in \ker (Z_H)\cap {\mathcal {B}}^0_{H, -2}$
, then by further filtering
$B_1$
into stable factors, we have a JH filtration. If not, we have
$\phi _b(B_1)=\phi _b(E)$
. Then a similar diagram as (5.11.2) shows that for any short exact sequence

with
$\phi _b(B^{\prime }_1)\geq \phi _b(B_1^{( 1)})$
, we have
$\phi _b(B_1^{( 1)})=\phi $
. We have either
$B_1\in {\mathcal {P}}_b(\phi )$
, or there exists a short exact sequence in the form of (5.11.4) such that
$B^{\prime }_1\in \ker (Z_H)\cap {\mathcal {B}}^0_{H, -2}$
and
$\phi _b(B^{\prime }_1)>\phi _b(B_1^{(1)})$
. Similar to the case of subobject, by comparing the dimension of
${\text {Hom}}({\mathcal {O}}_X[1], \_)$
and
${\text {Hom}}({\mathcal {O}}_\Theta (-1), \_)$
, we also have
$B_1^{(n_1)}\in {\mathcal {P}}_b(\phi )$
for some
$n_1$
.
We abuse notation and denote the kernel of
$B_1\to B_1^{(n_1)}$
by
$B^{\prime }_1$
. Then
$B^{\prime }_1$
admits a filtration

such that each of the quotient factors is stable in
$\ker (Z_H)\cap {\mathcal {B}}^0_{H, -2}$
. Denote the cokernel of
$B^{\prime }_{1, i}\to B_1$
by
$B^{(n_1)}_{1, i}$
, the kernel of
$E\to B^{(n_1)}_{1, i}$
by
$A^{(n_1)}_{1, i}$
, and the kernel of
$E\to B_1^{(n_1)}$
by
$A_1^{(n_1)}$
. Combining the short exact sequence 5.11.3, we have a set of short exact sequences

Hence we may further refine the map
$A_1\to E$
to a filtration

with the last quotient factor isomorphic to
$B_1^{(n_1)}$
, and each of the previous quotient factors in
$\ker (Z_H)\cap {\mathcal {B}}^0_{H, -2}$
and stable.
If
$B_1^{(n_1)}$
is stable, then we have a JH filtration. If not, we replace E by
$B_1^{(n_1)}$
. Then there exists a subobject of
$B_1^{(n_1)}$
which is stable. We denote the cokernel by
$B_2$
. Then there exist

where
$B^{\prime }_2\in \ker (Z_H)\cap B^0_{H, -2}$
, and
$B_2^{(n_2)}\in {\mathcal {P}}_b(\phi )$
. We can further refine the filtration such that
$B^{\prime }_2$
are stable objects in
$\ker (Z_H)\cap B^0_{H, -2}$
. Continue this process and we denote the kernel of
$E\to B_i^{(n_i)}$
by
$A_i^{(n_i)}$
.
Note that there exists
$\alpha $
,
$\beta $
such that the interval
$(\alpha , \beta )$
of length
$<1$
, and
$\phi $
,
$\frac {1}{2}$
and
$1$
are all in
$(\alpha , \beta )$
. Then

is a chain in
${\mathcal {P}}_b((\alpha , \beta ))$
. By Lemma 5.10, this chain must terminate. This is a Jordan–Hölder filtration of E.
Remark 5.12 Note that Proposition 5.11 shows that any object
$E\in {\mathcal {P}}_b(\phi )$
has a JH filtration whose JH factors are in
${\mathcal {P}}((0, 1])[k]$
for some
$k\in \mathbb {Z}$
. It is also worth pointing out that the
$\sigma _b^L$
-stable objects may not be stable in a general heart
${\mathcal {P}}_b((a, a+1])$
for
$a\notin \mathbb {Z}$
.
5.13 Weak stability conditions on the V-axis
Taking
$D_\omega \to 0$
in the central charge formula (5.1.1), we obtain a central charge of the form

where
$H=\Theta +ef$
. Since
$\omega $
only appears through the volume
$V_\omega $
, we omit
$\omega $
in the notation.
Proposition 5.14 We have
$Z_{V, H}({\mathcal {B}}^0_{H, k})\in \mathbb {H}_0$
for
$k=-1, -2$
. Furthermore, we have when
$k=-1$
,

when
$k=-2$
,

Proof For any object
$E\in {\mathcal {B}}^0_{H, k}$
, there is a short exact sequence

where
$F\in {\mathcal {F}}^0_{H, k}[1]$
and
$T\in {\mathcal {T}}^0_{H, k}$
. For an object
$T\in {\mathcal {T}}^0_{H, k}$
, T fit into a short exact sequence

where
$T_1\in {\mathcal {F}}^0_{H}[1]$
and
$T_2\in {\mathcal {T}}^0_{H}$
.
Claim 1
$Z_{V, H}(T_1)\in \mathbb {H}$
.
Since
$T_1\in {\mathcal {F}}^0_H[1]$
, we have
$T_1[-1]$
is a torsion free sheaf with
$\mu _H(\mathrm {HN}_i(T_1[-1]))\leq 0$
for all i. If J is a
$\mu _H$
-semistable coherent sheaf with
$\mu _H(J)<0$
, then
$\Im Z_{V, H}(J[1])>0$
. If J is a
$\mu _H$
-stable torsion-free sheaf with
$\mu _H(J)=0$
, then by Corollary 4.3, we have

Hence
$Z_{V, H}(T_1)\in \mathbb {H}$
.
Claim 2
$Z_{V, H}(T_2)\in \mathbb {H}_0$
. If J is a
$\mu _H$
-semistable coherent sheaf with
$\mu _H(J)>0$
, then
$Z_{V, H}(J)\in \mathbb {H}$
. It is enough to consider if
$T_2$
is torsion and
$\mu _H(T_2)=0$
. It is enough to assume that
$T_2$
is a pure sheaf supported on dimension
$1$
. Then by Lemma 5.2, we have
${\mathrm {ch}}_1(T_2)=n\Theta $
, hence
$T\in \langle {\mathcal {O}}_\Theta (m)\rangle $
. Since
$({\mathcal {T}}_{H, k}, {\mathcal {F}}_{H, k})$
defines a torsion pair on
${\mathcal {A}}^0_H$
and
$T_2$
is an
${\mathcal {A}}^0_H$
-quotient of T which lies in
${\mathcal {T}}_{H,k}$
, we have
$T_2 \in {\mathcal {T}}_{H,k}$
as well and hence
$T\in \langle {\mathcal {O}}_\Theta (m)|m>k\rangle $
.
Since

we have for
$m>k$
,

This implies that
$Z_{V, H}(T_2)\in \mathbb {H}_0$
.
We are left to consider F. For
$m\leq k$

Hence
$Z_{V, H}(F)\in \mathbb {H}_0$
.
From the computation, we also have for
$k=-1$

and for
$k=-2$
,

We define the phases
$\{\phi _{V, H}(K)\}_{K\in \ker (Z_{V, H})\cap {\mathcal {B}}^0_{H, k}}$
by taking the limit of the phases of
$\sigma _{V_\omega , D_\omega }(K)$
as
$D_\omega \to 0$
.
Since

we have

Hence for
$V\in \mathbb {R}_{>0}$
, we define
$\phi _{V, H}({\mathcal {O}}_\Theta (-1))=\frac {1}{2}$
, which implies
${\phi _{V, H}({\mathcal {O}}_\Theta (-1)[1])=\frac {3}{2}}$
.
We see that it is only when
$k=-2$
that we have a chance of having
$0<\phi _{V, H}(K)\leq 1$
for all
$K \in {\text {ker}} (Z_{V,H}) \cap {\mathcal {B}}^0_{H,k}$
. Since
$\ker (Z_{V, H})\cap {\mathcal {B}}^0_{H, -2}=\langle {\mathcal {O}}_\Theta (-1)\rangle $
, for any
$K\in \ker (Z_{V, H})\cap {\mathcal {B}}^0_{H, -2}$
, we have

As a result, for
$V\in \mathbb {R}_{>0}$
,
$K\in \ker (Z_{V, H})\cap {\mathcal {B}}^0_{H, -2}$
we define
$\phi _{V, H}(K)=\frac {1}{2}$
. Then the weak see-saw property follows automatically. To summarize, the triple

defines a weak stability function.
The HN property of
$\sigma _{V, H}$
can be shown exactly the same way as Proposition 5.8, and so
$\sigma _{V,H}$
is a weak stability condition in the sense of Definition 3.2. We denote the slicing of
$\sigma _{V, H}$
by
${\mathcal {P}}_{V, H}$
.
Remark 5.15 From the computation in Lemma 5.5, we know that
$\text {Ext}^1({\mathcal {O}}_\Theta (-1), {\mathcal {O}}_\Theta (-1))=0$
. Hence following the same proof of Propostiion 5.11, we have any object
$E\in {\mathcal {P}}_{V, H}(\phi )$
has a JH filtration whose stable factors are either
$\sigma _{V, H}$
-stable objects in
${\mathcal {P}}_{V, H}(\phi )$
or stable objects in
$\ker (Z_{V, H})\cap {\mathcal {B}}^0_{H, -2}$
.
5.16 Weak stability conditions on the D-axis
Taking
$V_\omega \to 0$
in the central charge formula (5.1.1), we obtain a central charge of the form

where
$\omega =\Theta +(D_\omega +e)f$
. If
$\omega $
is clear from the context, we omit
$\omega $
in the notation.
Proposition 5.17 Suppose
$\omega $
is ample. We have
$Z_{D}({\mathrm {Coh}}^{\omega , 0})\in \mathbb {H}_0$
. Furthermore,
${\text {ker}} (Z_{D})\cap {\mathrm {Coh}}^{\omega , 0}=\langle {\mathcal {O}}_X[1]\rangle $
.
Proof We only need to show
$Z_D(E[1])\in \mathbb {H}_0$
for E a
$\mu _{\omega }$
-semistable torsion-free sheaf with
$\mu _\omega (E)=0$
. In this case,

Hence
$Z_D(E[1])\in \mathbb {H}_0$
.
Furthermore, if
$E\in \ker (Z_{D})\cap {\mathrm {Coh}}^{\omega , 0}$
, then we have
$E=E'[1]$
for
$E'\in {\mathrm {Coh}} (X)$
. By the generalized Bogomolov–Gieseker inequality on K3 surfaces, (e.g., see [Reference Arcara, Bertram and Lieblich1, Section 6] or (4.1.1)), if F is a
$\mu _\omega $
-stable object, then

If furthermore
$F[1]\in {\text {ker}} (Z_{D})\cap {\mathrm {Coh}}^{\omega , 0}$
, then
${\mathrm {ch}}_0(F)=1$
. This implies that F is an ideal sheaf. Since
${\mathrm {ch}}_1(F)\cdot \omega =0$
and
${\mathrm {ch}}_2(F)=0$
, we have
$F\simeq {\mathcal {O}}_X$
. Hence
$E'\in \langle {\mathcal {O}}_X\rangle $
.
We define the phases
$\{\phi _D(K)\}_{K\in {\text {ker}} (Z_D)\cap {\mathrm {Coh}}^{\omega , 0}}$
by taking the limit of the phases of
$Z_{V_\omega , D_\omega }(K)$
as
$V_\omega \to 0$
. We have

Hence

For
$D\in \mathbb {R}_{>0}$
, we define
$\phi _{D}(K)=1$
for any
$K \in {\text {ker}} (Z_D) \cap {\mathrm {Coh}}^{\omega , 0} = \langle {\mathcal {O}}_X[1]\rangle $
.
Proposition 5.18 Given
$D\in \mathbb {Q}_{>0}$
, the triple

satisfies the HN property, hence defines a weak stability condition.
Proof The argument follows the proof of Lemma 2.18 in [Reference Piyaratne and Toda18].
Since
$\omega $
is ample, it is well known that the abelian category
${\mathrm {Coh}}^{\omega , 0}$
is noetherian (e.g., see [Reference Macrí and Schmidt16, Lemma 6.17]. As a result, we only need to check condition (i) in Proposition 3.6. Assume we have such a chain of subobjects in
${\mathrm {Coh}}^{\omega , 0}$
as in condition (i). Consider the short exact sequence in
${\mathrm {Coh}}^{\omega , 0}$
:

Since
$\Im (Z_D(F_i))\geq 0$
, we have
$\Im (Z_D(E_{i}))\geq \Im (Z_D(E_{i+1}))$
. The assumption
$D_\omega \in \mathbb {Q}_{>0}$
implies that
$\Im (Z_D)$
is discrete. Hence
$\Im (Z_D(E_i))$
is constant for
$i\gg 0$
. Then
$\Im (Z_D(F_i))=0$
for
$i>n$
for some n.
Let
$i>n$
. If
$F_i\notin \ker (Z_D)\cap {\mathrm {Coh}}^{\omega , 0}$
, then
$\phi _D(F_i)=1$
, contradicting
$\phi _D(E_{i+1})>\phi _D(F_i)$
.
So we must have
$F_i\in \ker (Z_D)\cap {\mathrm {Coh}}^{\omega , 0}=\langle {\mathcal {O}}_X[1]\rangle $
for
$i>n$
. Since
$\text {Ext}^1({\mathcal {O}}_X[1], {\mathcal {O}}_X[1])=0$
, the dimension of
${\text {Hom}}(E_{i}, {\mathcal {O}}_X[1])$
decreases as i increases. This implies that
$F_i=0$
for i large enough. This proves the HN property for
$\sigma _D$
when
$D\in \mathbb {Q}_{>0}$
.
5.19 Weak stability condition after the relative Fourier-Mukai transform
Recall that on a smooth projective surface X, we usually denote the central charge of a standard Bridgeland stability condition as

for
$\mathbb {R}$
-divisors
$\omega $
and B. To construct a heart that pairs with
$Z_{\omega , B}$
to form a stability condition on
$D^b(X)$
, we usually consider the torsion pair
$({\mathcal {T}}_{\omega , B}, {\mathcal {F}}_{\omega , B})$
where

The heart
${\mathcal {A}}_{\omega , B} = \langle {\mathcal {F}}_{\omega , B}[1], {\mathcal {T}}_{\omega , B}\rangle $
then pairs with
$Z_{\omega , B}$
to form a Bridgeland stability condition on
$D^b(X)$
.
Now let us return to the case of
$p:X\rightarrow B$
being a Weierstraß elliptic surface.Denoting the projections from
$X\times _B X$
to each factors by
$\pi _i$
, and the projection to B by
$\rho $
. The relative Fourier-Mukai transform is an autoequivalence

which is defined by
$\Phi =\textbf {R}\pi _{2, *}(\pi _1^*(\_)\otimes \mathcal {P})$
, where
$\mathcal {P}$
is the relative Poincaré sheaf. Seting
$\nu =\textbf {R}^1p_*\mathcal {O}_X$
, then

The definition of
$\Phi , \mathcal {P}$
and their properties can be found in [Reference Bartocci, Bruzzo and Hernández-Ruipérez2, Section 6.2.3].
Given
$\omega $
and B, when attempting to solve the central charge equation

for some
$T \in \mathrm {GL}^+\!(2,\mathbb {R})$
and
$\omega ', B'$
, it is easy to see from the solution in [Reference Lo14, 8.5], that when
$\omega ^2$
is small, the above equation admits a solution where
$V_{\omega '}$
, i.e., the coefficient of
${\mathrm {ch}}_0$
in
$Z_{\omega ', B'}$
, is forced to be negative. This prompts us to consider the central charge with Todd class on a Weierstraß elliptic K3 surface X:

In Appendix A, we show that when we impose the relations

there is an appropriate
$T\in \mathrm {GL}^+\!(2,\mathbb {R})$
such that the slightly different central charge equation

holds.
5.20
We are interested in solving the equation (5.19.4) on an elliptic K3 surface for the case
$B=-\alpha $
where
$\alpha := c_1(L)=\Theta + (D_\alpha + e)f$
. In this case, we have
$R_{B}=-R_\alpha =-1$
and
$D_{B}=D_\alpha $
, and (5.19.3) simplifies to

Then equations in (5.20.1) define a map from
$\mathbb {R}^4$
to
$\mathbb {R}^4$
. We denote this map by
$\Phi _Z$
.
In formula (5.19.1) for the central charge
$Z_{\omega , B}$
, if we choose the parameters

then
$Z_{\omega , B}$
reduces to
$Z_H ((-)\otimes {\mathcal {O}}_X(-B))$
where
$Z_H$
is as defined in 5.1. With these choices, the relations (5.20.1) give

which in turn give

In summary, with the RDV coordinates for
$\omega , B, \omega ', B'$
chosen as above, the equation

holds for the appropriate T.
In what follows, we will write
$\omega _0^{\prime }, B_0^{\prime }$
to denote the specific
$\omega ', B'$
above, i.e.,

We will informally think of the left-hand side of (5.20.2) as “
$\Phi _Z(Z_{H})$
” and denote it by
$Z^{\prime }_0:=Z^{td}_{\omega ^{\prime }_0, B^{\prime }_0}$
. Also note that
$\omega _0^{\prime }$
is ample.
Proposition 5.21 Using the notations above, we have
$Z^{\prime }_0({\mathrm {Coh}}^{\omega ^{\prime }_0, B^{\prime }_0})\in \mathbb {H}_0$
.
Proof Since
$\omega _0^{\prime }$
is ample, it is easy to see that if
$E\in {\mathrm {Coh}}(X)$
is a torsion sheaf, or is a slope semistable torsion-free sheaf with
$\mu _{\omega ^{\prime }_0, B^{\prime }_0}(E)>0$
, then
$Z^{\prime }_0(E)\in \mathbb {H}$
. Also if
$E\in {\mathrm {Coh}}(X)$
is slope semistable with
$\mu _{\omega ^{\prime }_0, B^{\prime }_0}(E)<0$
, then
$Z^{\prime }_0(E[1])\in \mathbb {H}$
. It remains to check that when
$E\in {\mathrm {Coh}}(X)$
is a slope stable torsion-free sheaf with
$\mu _{\omega ^{\prime }_0, B^{\prime }_0}(E)=0$
,
We have

By the generalized BG inequality on K3 surfaces in Proposition 4.1, we have

By Hodge index theorem, we have
$({\mathrm {ch}}_1^{B^{\prime }_0}(E))^2\leq 0$
, hence
$\Re (Z^{\prime }_0(E[1]))< 0$
when
${\mathrm {ch}}_0(E)\geq 2$
. We only need to consider the case when
${\mathrm {ch}}_0(E)=1$
. In this case we have

We have

Hence
$({\mathrm {ch}}_1^{B^{\prime }_0}(E))^2$
is an integer. If
$({\mathrm {ch}}_1^{B^{\prime }_0}(E))^2=0$
, Hodge index theorem implies that
${\mathrm {ch}}_1^{B^{\prime }_0}(E)$
is numerically trivial. This implies that

contradicting
$E\in {\mathrm {Coh}}(X)$
. Hence
$({\mathrm {ch}}_1^{B^{\prime }_0}(E))^2\leq -1$
, which implies that
$\Re (Z^{\prime }_0(E[1]))\leq 0$
.
We analyze the objects in the kernel of the central charge. Let
$K\in \ker (Z^{\prime }_0)\cap {\mathrm {Coh}}^{\omega ^{\prime }_0, B^{\prime }_0}$
, then
$K=E[1]$
for some sheaf
$E\in \mathcal {F}_{\omega ', B'}$
.
Proposition 5.22 Let E be a
$\mu _{\omega ', B'}$
-stable sheaf with
$E[1]\in \ker (Z^{\prime }_0)\cap {\mathrm {Coh}}^{\omega ^{\prime }_0, B^{\prime }_0}$
. Then either
$E\simeq {\mathcal {O}}(-(D_\alpha +1)f)$
or
$E\simeq {\mathcal {O}}(\Theta -(D_\alpha +2)f)$
.
Proof From the proof of Proposition 5.21, we know that
${\mathrm {ch}}_0(E)=1$
, and that equality holds for E in the generalized BG inequality, giving us

hence
${\mathrm {ch}}_2(E)=\frac {1}{2}{\mathrm {ch}}_1(E)^2$
. Consider the short exact sequence

Since E is
$\mu _{\omega ^{\prime }_0, B^{\prime }_0}$
-stable of rank
$1$
, we have Q is supported on dimension
$0$
. Then
${\mathrm {ch}}_2(E)=\frac {1}{2}{\mathrm {ch}}_1(E)^2$
implies that
$E\simeq E^{**}$
, and hence E is a line bundle.
Since
$\Im (Z^{\prime }_0(E))=0$
and
$\Re (Z^{\prime }_0(E))=0$
, we have

Denote
${\mathrm {ch}}_1(E)\cdot \Theta $
by x, and
${\mathrm {ch}}_1(E)\cdot f$
by y. Then equation (5.22.1) becomes

For any
$a,b\in \mathbb {R}$
such that
$a+b=D_\alpha +1$
, we have
$ ({\mathrm {ch}}_1(E)+(a\Theta +b f))\cdot \omega _0^{\prime }=0$
. Then the Hodge index theorem implies that

Substituting
$b=D_\alpha -a+1$
, equation (5.22.3) implies that

for all
$a\in \mathbb {R}$
. Taking
$a=0$
, we have
$y\geq 0$
. Taking
$a=-1$
, we have
$y\leq 1$
. Since
$y\in \mathbb {Z}$
, we have
$y=0$
or
$y=1$
. If
$y=0$
, then HIT taking equality forces
${\mathrm {ch}}_1(E)$
to be numerically equivalent to
$-(D_\alpha +1)f$
. Similarly, if
$y=1$
, then
${\mathrm {ch}}_1(E)$
is numerically equivalent to
$\Theta -(D_\alpha +2)f$
.
5.23
Define

and

Let E, y be the same as in Proposition 5.22. We denote the phase of E in
$\sigma '=(Z^{td}_{\omega ', B'}, {\mathrm {Coh}}^{\omega ', B'})$
by
$\phi _{\sigma '}(E)$
.
Precomposing with the map
$\Phi _Z$
, we have

For the rest of the section, we always consider
$\sigma '$
as a function of
$V_\omega $
and
$D_\omega $
.
If
$E\simeq L_0$
, i.e.,
$y=0$
, we have

Since
$D_\omega>0$
,
$V_\omega>0$
, we have
$\Im (Z_{\omega ', B'}(L_0[1]))>0$
, and since

it is easy to see that

If
$E\simeq L_1$
, i.e.,
$y=1$
, we have

In this case we have
$\Im (Z_{\omega ', B'}(L_1))>0$
, and

and so

From the computation, we see that if
$K\in \ker (Z^{\prime }_0)\cap {\mathrm {Coh}}^{\omega ', B'}$
is taken to be
$L_1[1]$
, then

If we define

the triple

does not satisfy condition (i) in Definition 3.2. To define a weak stability condition, we construct a heart
$\mathcal {B}$
such that
$L_1\in \mathcal {B}$
and
$Z^{\prime }_0({\mathcal {B}})\in \mathbb {H}_0$
. To simplify notation, for the rest of this section, we denote
${\mathrm {Coh}}^{\omega ^{\prime }_0, B^{\prime }_0}$
by
${\mathcal {A}}$
. Recall that
${\mathcal {A}}$
is constructed by tilting
${\mathrm {Coh}}(X)$
at a torsion pair
$({\mathcal {T}}_{\omega ^{\prime }_0, B^{\prime }_0}, {\mathcal {F}}_{\omega ^{\prime }_0, B^{\prime }_0})$
. For the rest of this section, we denote this torsion pair by
$({\mathcal {T}}, {\mathcal {F}})$
. We construct
${\mathcal {B}}$
by tilting
${\mathcal {A}}$
at a torsion pair.
It is noted in [Reference Piyaratne and Toda18] that the full subcategory
${\mathcal {A}}_{\ker (Z^{\prime }_0)}:=\ker (Z^{\prime }_0)\cap {\mathcal {A}}$
is an abelian subcategory of
${\mathcal {A}}$
.
Lemma 5.24 Any object in
${\mathcal {A}}_{\ker (Z^{\prime }_0)}$
is a direct sum of copies of
$L_0[1]$
and
$L_1[1]$
.
Proof Let
$K\in {\mathcal {A}}_{\ker (Z^{\prime }_0)}$
, we know that
$K\simeq E[1]$
for some coherent sheaf
$E\in {\mathcal {F}}_{\omega ', B'}$
. By Proposition 5.22, we have E has a filtration by copies of
$L_0$
and
$L_1$
.
We have
${\text {Hom}}(L_1, L_0)=H^0(O(-\Theta +f))=0$
. Also, Serre duality implies that

By Riemann–Roch, we have

and

Define the subcategory
${\mathcal {T}}_{\mathcal {A}}\subset {\mathcal {A}}$
by

Define its right orthogonal in
${\mathcal {A}}$
by

Proposition 5.25 The pair
$({\mathcal {T}}_{\mathcal {A}}, {\mathcal {F}}_{\mathcal {A}})$
defines a torsion pair on
${\mathcal {A}}$
.
Proof The argument is similar to the proof of Lemma 3.2 in [Reference Tramel and Xia19].
We need to show that for any
$E\in {\mathcal {A}}$
, there exists an exact triangle

with
$T\in {\mathcal {T}}_{\mathcal {A}}$
and
$F\in {\mathcal {F}}_{\mathcal {A}}$
. Assume that
$E\notin {\mathcal {F}}_{\mathcal {A}}$
, then there exists
$T\in {\mathcal {T}}_{\mathcal {A}}$
with a nonzero map to E. Completing the triangle, we have

Since
$H^i(T)=0$
for all
$i\neq -1$
, by long exact sequence of cohomology, we have

Consider the map
$H^{-1}(T)/H^{-2}(F)[1]\rightarrow E$
via the composition

Completing the triangle, we obtain the following exact triangle

Claim 1
$H^{-1}(T)/H^{-2}(F)[1]\in {\mathcal {T}}_{\mathcal {A}}$
. We have the following short exact sequence of sheaves:

Since
$H^{-1}(T)\in {\mathcal {F}}$
, we have
$H^{-2}(F)\in {\mathcal {F}}$
. Also since
$H^{-1}(T)/H^{-2}(F)$
is a subsheaf of
$H^{-1}(E)$
, we have
$H^{-1}(T)/H^{-2}(F)\in {\mathcal {F}}$
. Then the short exact sequence (5.25.2) is a short exact sequence in
${\mathcal {A}}[-1]$
. Then
$H^{-1}(T)[1]\in {\mathcal {A}}_{\ker (Z^{\prime }_0)}$
implies that
$H^{-2}(F)[1]\in {\mathcal {A}}_{\ker (Z^{\prime }_0)}$
and
$H^{-1}(T)/H^{-2}(F)[1]\in {\mathcal {A}}_{\ker (Z^{\prime }_0)}$
. Hence we have equation (5.25.2) is a short exact sequence in
${\mathcal {A}}_{\ker (Z^{\prime }_0)}[-1]$
. From the proof of Lemma 5.24,
$H^{-1}(T)[1]\in {\mathcal {T}}_{\mathcal {A}}$
implies that
$H^{-1}(T)/H^{-2}(F)[1]\in {\mathcal {T}}_{\mathcal {A}}$
.
Claim 2
$F_1\in {\mathcal {A}}$
. Indeed by long exact sequence, we have
$H^0(F_1)\simeq H^0(E)\in {\mathcal {T}}$
, and

Let G be any subsheaf of
$H^{-1}(F_1)$
, and let R be the cokernel. Let K be the kernel of the composition
$H^{-1}(E)\rightarrow H^{-1}(F_1)\rightarrow R$
. Then we have a short exact sequence of coherent sheaves:

$H^{-1}(T)/H^{-2}(F)[1]\in {\mathcal {A}}_{\ker (Z^{\prime }_0)}$
implies that
$\mu _{\omega ', B'}(K)=\mu _{\omega ', B'}(G)$
. Since K is a subsheaf of
$H^{-1}(E)$
,
$\mu _{\omega ', B'}(K)\leq 0$
. Hence we have
$\mu _{\omega _1, B_1}(G)\leq 0$
, which implies that
$H^{-1}(F_1)\in {\mathcal {F}}$
.
Hence the exact triangle (5.25.1) is a short exact sequence in
${\mathcal {A}}$
, and
$H^{-1}(T)/H^{-2}(F)[1]\in {\mathcal {T}}_{\mathcal {A}}$
. If
$F_1\in {\mathcal {F}}_{\mathcal {A}}$
, then we are done. If not, we continue the process for
$F_1$
. Thus we obtain a sequence of quotients

in
${\mathcal {A}}$
, where the kernels
$K_i$
’s lie in
${\mathcal {T}}_{\mathcal {A}}$
. Applying
${\text {Hom}}(L_1[1],-)$
to the short exact sequences

we have

Hence the dimension of
${\text {Hom}} (L_1[1], F_i)$
decreases as i increases. So we have the sequence (5.25.3) must stabilize after a finite number of steps.
Definition 5.26 We define an abelian category
${\mathcal {B}}$
by tilting
${\mathcal {A}}[-1]$
at the torion pair
$({\mathcal {T}}_{\mathcal {A}}[-1], {\mathcal {F}}_{\mathcal {A}}[-1])$
. Equivalently,
${\mathcal {B}}=\langle {\mathcal {F}}_{\mathcal {A}}, {\mathcal {T}}_{\mathcal {A}}[-1]\rangle $
.
5.26.1
Let us set
${\mathcal {B}}_{{\text {ker}} (Z^{\prime }_0)} = \{ E \in {\mathcal {B}} : Z_0^{\prime }(E)=0\}$
. For any
$E \in {\mathcal {B}}_{{\text {ker}} (Z^{\prime }_0)}$
, we can fit it in a short exact sequence
$0 \to E' \to E \to E" \to 0$
in
${\mathcal {B}}$
where
$E' \in {\mathcal {F}}_{\mathcal {A}}$
and
$E" \in {\mathcal {T}}_{\mathcal {A}} [-1]$
. Since
$Z^{\prime }_0(E")=0$
, it follows that
$Z^{\prime }_0(E')=0$
and hence
$E' \in {\mathcal {A}}_{{\text {ker}} (Z^{\prime }_0)}$
. Moreover, since
${\text {Hom}} ({\mathcal {T}}_{\mathcal {A}}, E')=0$
, it follows from Lemma 5.24 that
$E'$
is a direct sum of copies of
$L_0[1]$
while
$E"$
is a direct sum of copies of
$L_1$
. Now, note that
$\text {Ext}^1 (L_1, L_0[1]) \cong {\text {Hom}} (L_0, L_1) \cong H^0(X, {\mathcal {O}}_X (\Theta -f))$
, which vanishes because
${\mathcal {O}}_X (\Theta -f)$
is a line bundle of negative degree with respect to an ample divisor of the form
$\Theta + (2+\epsilon )f$
for a small
$\epsilon>0$
. Overall, we see that E itself is isomorphic to a direct sum of copies of
$L_0[1]$
and
$L_1$
.
We define
${\mathcal {B}}_{\ker (Z^{\prime }_0)}:={\mathcal {B}}\cap \ker (Z^{\prime }_0)$
. Consider the
$\mathbb {P}^1$
whose coordinate is given by
$[D_{\omega }: V_{\omega }]$
. Let
$a\in \mathbb {P}^1$
. For any
$K\in {\mathcal {B}}_{\ker (Z^{\prime }_0)}$
, we define

where
$\sigma '=(Z^{td}_{\omega ', B'}, {\mathrm {Coh}}^{\omega ', B'})$
, and
$Z^{td}_{\omega ', B'}$
is considered as a function of
$V_\omega $
,
$D_\omega $
via precomposing with
$\Phi _Z$
.
Consider the triple

Lemma 5.27 The triple
$\sigma ^R_a$
satisfies condition (i) and (ii) in Definition 3.2.
Proof Since for any
$K \in {\mathcal {B}}_{\ker (Z_0^{\prime })}$
we have

we see that condition (i) is satisfied. The proof of condition (ii) is the same as Proposition 5.7.
To show
$\sigma _a^R$
defines a weak stability condition, we are left with checking the HN property.
Proposition 5.28 The abelian category
${\mathcal {B}}$
is a noetherian abelian category.
Proof Since
$\omega '$
is ample, it is well known that
${\mathcal {A}}$
is noetherian, e.g., see [Reference Macrí and Schmidt16, Lemma 6.17]. We use the criterion of [Reference Bondal and Van den Bergh4, Lemma 5.5.2] to show
${\mathcal {B}}$
is noetherian. In particular, we show that for any accending chain

with
$F_i\in {\mathcal {F}}_{\mathcal {A}}$
and
$\mathrm {coker}(F_0\rightarrow F_i)\in {\mathcal {T}}_{\mathcal {A}}$
stabilizes after a finite number of steps.
Consider the short exact sequence in
${\mathcal {A}}$
:

By the snake lemma, we have

where all the short exact sequences are in
${\mathcal {A}}$
. Since
$G_i$
and
$G_{i+1}$
are in
${\mathcal {T}}_{\mathcal {A}}$
, we have
$C_i\simeq K_i\in {\mathcal {T}}_{\mathcal {A}}$
.
Let us apply
${\text {Hom}}(L_1, \_)$
to the short exact sequence

Since
$L_1, F_{i+1} \in {\mathcal {B}}$
, we have
$0= \text {Ext}^{-1}(L_1, F_{i+1})={\text {Hom}}(L_1[1], F_{i+1})$
. Since
${\text {Hom}}(L_1, L_1[1])=H^1(X, {\mathcal {O}}_X)=0$
, we also have
${\text {Hom}}(L_1, C_i)=0$
. Hence the dimension of
${\text {Hom}}(L_1, F_i)$
decreases as i increases. At the point where the dimension of
${\text {Hom}} (L_1, F_i)$
becomes stationary, we obtain
$\text {Ext}^{-1}(L_1,C_i)=0$
; since
$C_i$
is an extension of copies of
$L_1[1]$
which has no self-extensions, it follows that
$C_i=0$
. Thus the chain (5.28.1) stabilizes after a finite number of steps.
Theorem 5.29 Given
$a\in \mathbb {P}^1$
, the weak stability function
$\sigma ^R_a$
satisfies the HN property.
Proof The argument follows the proof of [Reference Piyaratne and Toda18, Lemma 2.18].
Since
${\mathcal {B}}$
is noetherian, we only need to check (i) in the Proposition 3.6. Assuming we have such a chain of subobjects in
${\mathcal {B}}$
, consider the short exact sequence in
${\mathcal {B}}$
:

Since
$\Im (Z^{\prime }_0)\geq 0$
on
${\mathcal {B}}$
, we have
$\Im (Z^{\prime }_0(E_{i+1}))\leq \Im (Z^{\prime }_0(E_i))$
. Since
$Z^{\prime }_0$
has coefficients in
$\mathbb {Q}$
, we know that the image of
$Z^{\prime }_0$
is discrete. Hence
$\Im (Z^{\prime }_0(E_i))$
is constant for
$i\gg 0$
. Then
$\Im (Z^{\prime }_0(F_i))=0$
for
$i>n$
for some n.
Let
$i>n$
, if
$F_i\notin {\mathcal {B}}_{\ker (Z^{\prime }_0)}$
, then
$\phi (F_i)=1$
, contradicting with
$\phi (E_{i+1})>\phi (F_i)$
.
We must have
$F_i\in {\mathcal {B}}_{\ker (Z^{\prime }_0)}$
. From 5.26.1, we know
$F_i$
must be a direct sum of copies of
$L_0[1]$
and
$L_1$
. From the Ext-group calculations in the proof of Lemma 5.24, we know that
$\text {Ext}^1 (F_i, L_1)=0=\text {Ext}^1(F_i,L_0[1])$
. Hence either the dimension of
$\text {Hom}(E_{i}, L_1)$
or
$\text {Hom}(E_{i}, L_0[1])$
decreases as i increases, we much have
$F_i=0$
for i large enough.
Intuitively, the local picture near the weak stability conditions
$\sigma ^L_b$
’s and
$\sigma ^R_a$
’s are
$\mathcal {B}^l_{(0, 0)}\mathbb {R}^2$
, the blow up of
$\mathbb {R}^2$
at the origin.
A Solving a central charge equation
In this section, for given
$\mathbb {R}$
-divisors
$\omega , B$
on a Weirstraß elliptic K3 surface X, we solve the central charge equation

for some
$T \in \mathrm {GL}^+\!(2,\mathbb {R})$
and
$\omega ', B'$
. Since
$\sqrt {\mathrm {td}(X)}=(1,0,1)$
on a K3 surface,

which differs from
$Z_{\omega , B}(F)$
by a change a variable in the coefficient for
${\mathrm {ch}}_0^B$
. Therefore, to solve the equation (A.0.1), we first solve the equation

Even though (A.0.2) was solved in [Reference Lo14, Section 10] (see also ([Reference Lo and Martinez15, Appendix A]), the solution there was written in terms of a coordinate system different from the RDV coordinates introduced in 2.3. Instead of applying a change of variables to the solution in [Reference Lo14] (which is cumbersome), we outline a direct solution which uses the RDV coordinates.
To begin with, note that

Now we set

where the terms

depend only on
$\omega $
and B.
Solving (A.0.2) is now in turn equivalent to solving

For an object
$E \in D^b(X)$
, if we write

then from [Reference Bartocci, Bruzzo and Hernández-Ruipérez2, Section 6.2.6] we have

Using this notation for Chern classes, we now have

while

It is then clear that if the following relations are satisfied

and we take
$T=-i=\begin {pmatrix} 0 & 1 \\ -1 & 0 \end {pmatrix}$
, then the equation (A.0.4) would hold.
The four relations in (A.0.5), when written out in RDV coordinates, correspond to




respectively. Noting that for any divisor W we have
$V_W = \tfrac {1}{2}R_W^2(2D_W+e)$
, relation (A.0.7) gives

Adding (A.0.6) and (A.0.9) together gives

Now (A.0.8) yields

Also, subtracting (A.0.9) from (A.0.6) (and noting
$e=2$
) gives

Finally, we see that when we the RDV coordinates of
$\omega , B, \omega ', B'$
satisfy (A.0.10), (A.0.11), (A.0.13), and

(instead of (A.0.12)), and we choose

the parameters
$B, \omega , B', \omega '$
and T together solve the central charge equation (A.0.1).
The equations in (5.19.3) are precisely (A.0.10), (A.0.11), (A.0.13), and (A.0.14).
Acknowledgements
Part of this work was done when YS was a postdoc at CMSA, Harvard, she would like to thank CMSA for the excellent working environment.