DECORATED SHEAVES AND MORPHISMS IN TILTED HEARTS YINBANG LIN, SZ-SHENG WANG, AND BINGYU XIA Abstract. We identify limit stable pairs and stable framed sheaves as epimorphisms and monomorphisms, respectively, in tilts of the standard heart, under suitable conditions. We then identify the moduli spaces with the corresponding Quot spaces, obtaining the projectivity of the Quot spaces in these cases. We also prove a formula in a motivic Hall algebra relating the Quot spaces under a tilt. 1. Introduction Decorated sheaves are sheaves with extra structure. The most famous moduli space of decorated sheaves is Grothendieck’s Quot scheme. Quite often, the Quot scheme is oversized. Towards some problems, certain variants are more suitable. Among them, one is the moduli space of stable pairs. It was used by Thaddeus [Tha94] to calculate the Verlinde numbers. It was also used by Pandharipande and Thomas [PT09] to study curve counting on Calabi–Yau 3-folds. For a more recent attempt towards strange duality, see [GL19]. We will focus on two variants of quotient sheaves: stable pairs and framed sheaves. Let X be a nonsingular projective variety with a fixed polarization over an algebraically closed field of characteristic 0. Let E0 be a fixed coherent sheaf on X. By an unfortunate abuse of terminology, we call a sheaf equipped with a morphism α (E,α∶ E0 → E) a pair. There is a family of stability conditions (Definition 4.1) defined on pairs. When the stability polynomial is large, a pair (E,α) is stable if and only if α is generically surjective. In this case, we call the pair limit stable. We will identify stable pairs with quotients in the hearts of certain tilts of the standard t-structure (Proposition 4.3). Limit stable pairs are also known as quotient husks [Kol08]. There, Koll´ar studied in arXiv:2104.12618v1 [math.AG] 26 Apr 2021 a relative setting. Suppose X → S is a smooth projective morphism. We define a torsion pair on Coh(X) (Lemma 3.1). The tilting t-structure, whose heart is denoted as Coh#(X), pulls back to the corresponding tilting t-structure on each fiber. A quotient in Coh#(X) corresponds to a family of quotient husks, under suitable conditions(§3). The moduli space satisfies the valuative criteria of separatedness and properness. This can be understood as giving a specialization map between moduli spaces. There is a dual notion: framed sheaves [HL95]. A framed sheaf is of the form (E,α∶ E → E0). 2020 Mathematics Subject Classification. primary 14D20, 14F08; secondary 14D22, 14D23. Key words and phrases. decorated sheaf, t-structure, moduli space, Quot space, tilt. 1 2 YINBANGLIN,SZ-SHENGWANG,ANDBINGYUXIA There is also a family of stability conditions (Definition 4.5) on framed sheaves. We will identify stable framed sheaves with monomorphisms in certain tilted hearts (Proposition 4.7). Over an algebraically closed field of characteristic 0, these moduli spaces coincide with the corresponding Quot spaces [BLM+19], which are generalizations of Quot schemes. As a consequence, these Quot spaces are projective. We also point out that torsion pairs where we tilt the standard heart are defined using the corresponding stability polynomials. Over a Calabu–Yau 3-fold, when E0 ≅ OX and E has dimension 1, the equivalence between stable pairs and quotients in a tilted heart has been obtained by Bridgeland [Bri11] and used to derive a wall-crossing formula between the Donaldson–Thomas (DT) invariants and Pandharipande–Thomas (PT) invariants. As an immediate application of our results, we also derive a formula relating the moduli space of limit stable pairs and the Quot scheme under certain assumptions (Theorem 5.6). Over a nonsingular curve, stable pairs of the form (E,α∶ OX → E) have been identified as epimorphisms in the corresponding tilted heart in [Rot20]. A variant of the result on framed sheaves has also been obtained there. We organize the paper as follows. In §2, we review some basic notions on t-structures. In §3, we compare quotient husks and quotients in a tilted heart. In §4, we identify stable pairs and framed sheaves as epimorphisms and monomorphisms in different tilted hearts. In §5, we review the formalism of motivic Hall algebra and derive the formula relating the Quot spaces under a tilt. 2. t-structures and torsion pairs In this section, we review the basic notions of t-structures, hearts, torsion pairs, and tilts, and prove an observation important to us. A t-structure τ [BBD82] on a triangulated category D is a pair of full subcategories (D⩽0, D⩾0) satisfying the following conditions: (i) Hom(F,G) = 0 for every F ∈ D⩽0 and G ∈ D⩾1; (ii) every object E ∈ D fits into an exact triangle ⩽0 ⩾1 ⩽0 τ E → E → τ E → (τ E)[1] with τ ⩽0E ∈ D⩽0 and τ ⩾1E ∈ D⩾1. ⩽n ⩽0 ⩾n ⩾0 Here, we use the notation D ∶= D [−n] and D ∶= D [−n], for n ∈ Z. The truncation functors τ ⩽n and τ ⩾n are similarly defined. The full subcategory A ∶= D⩽0 ∩ D⩾0 is called the heart of the t-structure, which is an abelian category. The t-structure is bounded if ⩽n ⩾m D = ∪n,m∈ZD ∩D . The cohomology objects of an object E ∈ D with respect to the heart n = ⩽n ⩾n A are defined by HA(E) ∶ (τ τ E)[n]. Assume that A is an abelian category. A pair of full subcategories (T , F) of A is called a torsion pair if Hom(T , F) = 0 and every object E ∈ A fits into an exact sequence (2.1) 0 → T → E → F → 0 with T ∈ T and F ∈ F. It follows that T and F are respectively closed under taking ⊥ quotients and sub-objects. Note that if (T , F) is a torsion pair, then F = T is the right orthogonal to T in A. DECORATED SHEAVES AND MORPHISMS IN TILTED HEARTS 3 Example 2.1. Let X be a noetherian scheme of dimension n. For any integer 0 ⩽ d < n, we define = ∈ ⩽ Coh⩽d(X) ∶ {E Coh(X)S dim E d}. Here and henceforward, we use dim E to denote the dimension of the support of the sheaf = ⊥ E. When d 0, we simply write Coh0(X). Then (T , T ) is a torsion pair in the abelian category Coh(X) (cf. [HL10, Definition 1.1.4]). Let A ⊂ D be the heart of a t-structure and (T , F) a torsion pair in A. We can tilt the # t-structure on D to obtain a new one. The resulting t-structure has heart A = ⟨F, T [−1]⟩, # the extension-closure. Also, the shift A [1] can be described as # = ∈ 0 ∈ −1 ∈ i = ≠ A [1] E D S HA(E) T , HA (E) F, HA(E) 0 for i 0, −1 . The following observation is important for us. Lemma 2.2. Let A be the heart of a bounded t−structure on a triangulated category D and # (T , F) a torsion pair of A. Let A be the tilt in A at this pair. # (i) If E0 ∈ F, then a morphism α∶ E0 → E in A is an epimorphism if and only if α is a morphism in A with E ∈ F and the cokernel coker (α) taken in A lies in T . ∈ # (ii) If E0 T , then a morphism β∶ E → E0 in A [1] is a monomorphism if and only if β is a morphism in A with E ∈ T and the kernel ker(β) taken in A lies in F. Proof. We only show (ii), as the proof of (i) is similar (cf. [Bri11, Lemma 2.3]). Given ∈ # E0 T and a short exact sequence in A [1] β 0 → E Ð→ E0 → Q → 0, we have −1 −1 0 β 0 (2.2) 0 → HA (E) → 0 → HA (Q) → HA(E) Ð→ E0 → HA(Q) → 0 by taking cohomology with respect to the original t-structure. Note that an object F ∈ D lies # ⊂ −1 ∈ 0 ∈ i = ≠ in A [1] D precisely when HA (F ) F, HA(F ) T and HA(F ) 0 for i 0, −1. It follows i = ≠ ∈ # = = −1 ∈ that HA(E) 0 for all i 0, and thus E A ∩ A [1] T . Moreover, ker(β) HA (Q) F. ∈ ∈ For the converse, take a morphism β∶ E → E0 in A with E T , ker(β) F and embed it in a distinguished triangle β (2.3) E Ð→ E0 → Q → E[1]. Since T is closed under taking quotients and E0 ∈ T , the same long exact sequence (2.2) 0 ∈ −1 = ∈ i = ≠ then shows that HA(Q) T , HA (Q) ker(β) F and HA(Q) 0 for i 0, −1. Thus # # Q ∈ A [1]. It follows that (2.3) defines a short exact sequence in A [1], and hence β is a # monomorphism in A [1]. 3. Quot spaces and moduli of quotient husks We construct a family of t-structures for a smooth projective morphism, and compare the Quot space in the sense of [BLM+19, §11] with the moduli space of quotient husks constructed by Koll´ar [Kol08]. 4 YINBANGLIN,SZ-SHENGWANG,ANDBINGYUXIA Over a field k, let S be a regular noetherian scheme of finite type and f∶ X → S be a smooth projective morphism, with a fixed relatively ample line bundle. On each fiber Xs for s ∈ S, we can define the following tilting t-structure for some fixed non-negative integer m: = ∈ ⩽ Ts {E Coh(Xs)S dim E m}, = ∈ = ∈ Fs {F Coh(Xs)S Hom(E, F ) 0, ∀E Ts}.