VIRTUAL CLASSES OF Gm-GERBES F. QU ABSTRACT. We show that a perfect obstruction theory for a Gm-gerbe deter- mines a semi-perfect obstruction theory for its base, which is perfect if the gerbe is quasi-compact and affine-pointed. These results streamline the construction of a semi-perfect obstruction theory for the base, and allow us to relate virtual classes of the gerbe and its base. 1. INTRODUCTION We discuss virtual classes of Gm-gerbes with perfect obstruction theories. These gerbes appear naturally in the Donaldson-Thomas (DT) theory of smooth projec- tive 3-folds. As moduli stacks of Bridgeland stable objects, Gm-gerbes are used to extract invariants when there are no strictly semi-stable objects. See e.g., [4] and references therein. In the presence of strictly semi-stable objects, the approach using virtual cycles to define generalized DT invariants is to associate some Gm- gerbe intrinsically to a (derived) moduli stack of Bridgeland semi-stable objects. See e.g., [17]. Recently virtual classes of Artin stacks are defined unconditionally ([3, 13]) using higher categorical ingredients. Gm-gerbes are probably the simplest Artin stacks, and their virtual classes can also be treated using the more classical ap- proach of [26], thus examining their virtual cycles is a natural step to take towards understanding examples. Consider a Gm-gerbe G with an absolute perfect obstruction theory over a DM stack B. The main observation is that after truncating its perfect obstruction theory from [−1, 1] to [−1, 0], we can decompose the truncation into moving and fixed parts. The moving part is given by a locally free sheaf of finite rank H in degree −1, and the fixed part determines a semi-perfect obstruction theory for B. The virtual class of G is obtained by pulling back the virtual class of B then cap with the Euler class of the vector bundle associated to H. When B is quasi-compact arXiv:1905.06830v2 [math.AG] 8 Dec 2019 and affine-pointed, the semi-perfect obstruction theory for B is actually a perfect obstruction theory. Obstruction theories for B have been constructed in [8, 11], and our results come from efforts to formulate those constructions using the perfect obstruction theory for G. These results are not hard to prove, and details can be found in Section 3. The two key ingredients recalled in Section 2.2 are decomposition of quasi- coherent sheaves on G into direct summands indexed by the characters of Gm and the equivalence between the derived category of complexes of OG-modules with quasi-coherent cohomology sheaves and the derived category of quasi-coherent sheaves. 2010 Mathematics Subject Classification. Primary:14C17; Secondary:14N35. The author is supported by NSFC Young Scientists Fund 11801185. 1 2 F. QU As an application, at the end of Section 3 we remark that two choices of fix- ing determinant of perfect complexes produce the same semi-perfect obstruction theory. 2. PRELIMINARIES We work over the field of complex numbers C. 2.1. Notation. For an algebraic stack X, QCoh(X) denotes the abelian category of quasi-coherent sheaves on X, D(QCoh(X)) its derived category, Dqcoh(X) the derived category of OX -modules with quasi-coherent cohomology sheaves, and Dcoh(X) the derived category of OX -modules with coherent cohomology sheaves. Here sheaves of OX -modules are defined on the lisse-étale site of X. For derived categories, superscripts are used to further specify the range of co- homology sheaves. The truncation functor for complexes is denoted by τ, with a superscript to indicate the range of a truncation. A complex is perfect in [a, b] if it is locally (in the lisse-étale topology) quasi-isomorphic to a complex of locally free sheaves of finite rank in degrees [a, b]. The derived pullback of derived category objects along a map f is also denoted by f ∗. The superscript ∨ denotes taking dual. 2.2. Quasi-coherent sheaves on Gm-Gerbes and their derived categories. Let B be a DM stack locally of finite type over C, and p: G → B a Gm-gerbe over B. Any quasi-coherent sheaf F on G has a decomposition F = ⊕i∈ZFi where Fi has weight i.(See e.g., [21, Proposition 2.2.1.6].) Remark 2.1. On the trivial gerbe U × BGm, a quasi-coherent sheaf with weight i is of the form F ⊠ O(i),where F is a quasi-coherent sheaf on U and O(i) the line bundle on BGm induced by the character of Gm with weight i. Following [9], we call F0 the fixed part of F and ⊕i6=0Fi the moving part, de- noted by F f and F m respectively. We have a decomposition of abelian categories QCoh(G) ≃ QCoh(G)f × QCoh(G)m, where QCoh(G)f (resp. QCoh(G)m) is the full subcategory of quasi-coherent sheaves with only fixed (resp. moving) part. The pushforward p∗ induces an equiv- alence QCoh(G)f ≃ QCoh(B) with inverse p∗. For an algebraic stack X, the inclusion map QCoh(X) → Mod(OX ) from the category of quasi-coherent sheaves on X into the category of OX -modules induces a map between derived categories. Proposition 2.2 ([10, Theorem C.1]). Let X be an algebraic stack. If X is either quasi-compact with affine diagonal or noetherian and affine-pointed, then the nat- + + ural map between derived categories D (QCoh(X)) → Dqcoh(X) is an equiva- lence. Recall X is affine pointed if for every morphisms Spec k → X from a field k to X is affine. For instance, if X has affine diagonal, then it is affine-pointed. VIRTUAL CLASSES OF Gm-GERBES 3 2.3. Perfect obstruction theory (POT). Definition 2.3 ([6, 23, 26]). Let f : X → Y be a map between algebraic stacks • locally of finite type over C, an obstruction theory for f is a map φ: E → Lf ≤1 0 1 −1 in Dqcoh(X) such that h (φ), h (φ) are isomorphisms and h (φ) surjective in ≥−1 QCoh(X). Here Lf = τ Lf is the truncated cotangent complex, with Lf ∈ ≤1 Dcoh(X) being the cotangent complex of f. The obstruction theory φ is perfect if E• is perfect in [−1, 1]. 1 •∨ The obstruction sheaf obφ is defined as h (E ). Remark 2.4. For a summary of Lf , see e.g., [2, 2.4]. POTs defined using Lf in place of Lf can be truncated to [−1, 1] and give rise to POTs defined above. We use Lf in this paper for technical reasons. In Lemma 3.1, to ensure certain ≥−1 vanishings we need that LB belongs to Dqcoh (G). And in the proof of Theorem ≤1 ≤1 3.9, the assumptions there allows us to replace Dqcoh(X) by D (QCoh(X)). [0,1] When the map f is DM, Lf ∈ Dcoh (X), and a POT for f induces a closed 1 0 ∨ 1 embedding of the intrinsic normal sheaf Nf = h /h (Lf ) into the vector bundle 1 0 •∨ stack Ef = h /h (E ) ([6, Theorem 4.5] [26, Theorem 2.3]). The intrinsic normal cone Cf is a closed substack of Nf , and the virtual class is then defined by intersecting Cf viewed as a cycle of Ef with its zero section. Remark 2.5. When f is not DM, similar to [6], Lf determines a Picard 2-stack Nf , and a POT φ induces a closed embedding of Nf into the vector bundle 2- stack associated to E• ([3, 13]). To define a virtual class, we only need a closed embedding π0(Nf ) → π0(Ef ) between their coarse sheaves (See e.g., [5, Section 2]), this observation goes back to [19] and is recasted into semi-perfect obstruction theory. In particular, only the truncation of φ to [−1, 0] should matter, and this is the earlier approach of [23, 26]. Definition 2.6 ([8]). Let X be a DM stack over a pure dimensional base S, a semi- perfect obstruction theory for X over S consists of a collection of étale locally • defined POTs (Ui, φi), where {Ui} is an étale cover of X and φi : Ei → LUi/S is a POT for Ui, and they satisfy the following conditions (1) and (2). 1 •∨ (1) the local obstruction sheaves obi = h (Ei ) are isomorphic over Uij and descend to an obstruction sheaf ob on X. (2) the restrictions of φi and φj to Uij give the same obstruction assignment under the identification of local obstruction sheaves in (1). By the proof of [8, Proposition 2.1], an equivalent form of Condition (2) is the following condition (2’). For any closed point x: Spec C → X, there exists a well-defined map 1 ∗ ∨ ∗ h ((x LX/S ) ) → x ob obtained using a factorization of x as the composition of y : Spec C → Ui and Ui → X. For any choice of y, the POT φi induces a map 1 ∗ ∨ 1 ∗ ∨ 1 ∗ • ∨ ∗ h ((y φi) ): h ((y LUi/S) ) → h ((y Ei ) ) ≃ y obi, which can be identified as a map 1 ∗ ∨ ∗ h ((x LX/S) ) → x ob. 1 Here Lf also denote its extension to the big fppf site, see [6, Section 2]. 4 F. QU Remark 2.7. Conditions (1) and (2) are related to maps between coarse sheaves. The locally defined POT φi corresponds to a closed imbedding Ni →Ei, where Ni denotes the intrinsic normal sheaf of Ui/S, and Ei the vector bundle stack associ- • ated with Ei . We have induced maps between coarse sheaves 2 π0(Ni) → π0(Ei) ≃ obi.