Arxiv:1905.06830V2 [Math.AG] 8 Dec 2019 .Tetokyigeinsrcle Nscin22aedecomp Are 2.2 Section in Recalled Ingredients on Sheaves Key Coherent Two the 3

Home , Gerbe

arXiv:1905.06830v2 [math.AG] 8 Dec 2019 .Tetokyigeinsrcle nScin22aedecomp are 2.2 Section in recalled ingredients on sheaves key coherent two The 3. h qiaec ewe h eie aeoyo opee o complexes of category derived the between equivalence the us-oeetchmlg hae n h eie categor derived the sheaves. and sheaves cohomology quasi-coherent rmefrst omlt hs osrcin sn h per the using constructions for those formulate to efforts from − raho 2] hseaiigtervrulcce sanatu t a using is cycles treated virtual examples. be their understanding examining also thus can [26], classes of proach virtual their and stacks, n fn-one,tesm-efc btuto hoyfo theory obstruction semi-perfect the affine-pointed, and btuto theory. obstruction ita ls of class virtual ie3fls smdl tcso rdeadsal objects stable Bridgeland of stacks moduli theor As (DT) Donaldson-Thomas 3-folds. the tive in naturally appear gerbes stack 2010 h ue ls ftevco udeascae to associated bundle vector the of class Euler the h uhri upre yNF on cetssFn 118011 Fund Scientists Young NSFC by supported is author The sn ihrctgrclingredients. categorical higher using Bridgela of stack [17]. moduli e.g., (derived) See a to intrinsically gerbe sn ita ylst en eeaie Tivrat st is invariants DT generalized define to semi-st cycles strictly virtual semi-stabl of presence using strictly the no In are therein. references there and when invariants extract to at.Temvn ati ie yalclyfe ha ffinit of sheaf free locally a by given is part moving The parts. from 1 edsusvrulcassof classes virtual discuss We osdra Consider btuto hoisfor theories Obstruction eetyvrulcasso ri tcsaedfie uncondi defined are stacks Artin of classes virtual Recently n h xdpr eemnsasm-efc btuto th obstruction semi-perfect a determines part fixed the and , G ahmtc ujc Classification. Subject Mathematics hs eut r o adt rv,addtiscnb found be can details and prove, to hard not are results These . B [ − h anosraini htatrtuctn t efc o perfect its truncating after that is observation main The . fasm-efc btuto hoyfrtebs,adallow base. and its and base, gerbe the the for of theory classes streaml obstruction results semi-perfect a These of affine-pointed. and which base, quasi-compact its is for theory obstruction semi-perfect a mines A 1 , BSTRACT 1] to G G [ m − -gerbe eso htapretosrcinter o a for theory obstruction perfect a that show We . sotie ypligbc h ita ls of class virtual the back pulling by obtained is 1 ITA LSE OF CLASSES VIRTUAL , G 0] nodrc umnsidxdb h hrcesof characters the by indexed summands direct into ecndcmoetetucto nomvn n fixed and moving into truncation the decompose can we , G B iha bouepretosrcinter vraDM a over theory obstruction perfect absolute an with aebe osrce n[,1] n u eut come results our and 11], [8, in constructed been have .I 1. G m gre ihpretosrcintere.These theories. obstruction perfect with -gerbes rmr:41;Secondary:14N35. Primary:14C17; NTRODUCTION G .QU F. m 1 gre r rbbytesmls Artin simplest the probably are -gerbes G m H -GERBES 85. When . beojcs h approach the objects, able spreti h gerbe the if perfect is n h construction the ine r bet.Seeg,[4] e.g., See objects. e st eaevirtual relate to us dsm-tbeobjects. semi-stable nd a tpt aetowards take to step ral etosrcintheory obstruction fect B soit some associate o emr lsia ap- classical more he G , G m fquasi-coherent of y fsot projec- smooth of y B satal perfect a actually is f rank e gredeter- -gerbe m O inly(3 13]) ([3, tionally oyfor eory squasi-compact is srcintheory bstruction sto fquasi- of osition gre r used are -gerbes B G mdlswith -modules hncpwith cap then H nSection in ndegree in B G The . m G and m - 2 F. QU

As an application, at the end of Section 3 we remark that two choices of ﬁx- ing determinant of perfect complexes produce the same semi-perfect obstruction theory.

2. PRELIMINARIES We work over the ﬁeld 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 deﬁned on the lisse-étale site of X. For derived categories, superscripts are used to further specify the range of cohomology 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 ﬁnite 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 ﬁnite 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, denoted 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 equivalence 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 equivalence. 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 deﬁned 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.

red Denote Ni the reduced stack associated to Ni, the composition of the closed red embedding Ni →Ni with the embedding Ni →Ei induces

red π0(Ni ) → π0(Ei) ≃ obi.

It is clear from the proof of [8, Proposition 2.1] that if the maps π0(Ni) → obi descend to π0(NX/S ) → ob, then conditions (1) and (2) are satisﬁed, and together red red (1) and (2) imply that the maps π0(Ni ) → obi descend to π0(NX/S) → ob.

red Remark 2.8. The closed imbedding π0(NX/S) → ob is used to construct the virtual red cycle. It determines a map between Chow groups A∗(NX/S) ≃ A∗(NX/S) → A∗(ob). The virtual class is obtained by pushing forward the cycle determined by the intrinsic normal cone CX/S inside NX/S to a cycle class of the coherent sheaf stack ob, then Gysin pullback to X. See [8] for the original construction, and [22] from the virtual pullback viewpoint.

Deﬁnition 2.9 ([16, 12]). Let X be a DM stack over C, a semi-perfect obstruction theory for X over C is symmetric if its local POTs φi are symmetric ([5, 7]) and the induced isomorphisms obi ≃ ΩUi descend to an isomorphism ob ≃ ΩX . Remark 2.10. Symmetric semi-perfect obstruction theory is introduced ﬁrst for analytic spaces in [16], its adaptation to DM stacks appeared in [12].

For any étale map U → X, the pullback of a POT φ for X over S to U determines a POT for U over S. In this way, a POT φ for X/S induces a semi-perfect obstruction theory.

Remark 2.11. Determining whether a semi-perfect obstruction theory comes from a POT requires additional information. If a semi-perfect obstruction theory is in- 1 0 •∨ duced from a POT on X then the vector bundle stacks Ei = h /h (Ei ) descend to

X. In general, the descent data for Ei include an isomorphism aij : Ei|U ≃Ej ij |Uij on each Uij, a two arrow bijk between aik|U and aij ◦ ajk on each Uijk, ijk |Uijk |Uijk and compatibilities between {bijk} on each Uijkl. In terms of complexes, bijk cor- respond to chain homotopies, which are invisible in the derived category.

2.4. Comparison between Gysin pullbacks along zero sections. We recall a standard result comparing Gysin pullbacks along zero sections of vector bundle stacks in an exact sequence. Let Y be an algebraic stack of ﬁnite type over C, and f : E →E′′ a smooth surjective map between vector bundle stacks over Y . Let E′ be the kernel of f, so

2 Here obi denote its extension to the big étale site of Ui as in [5]. VIRTUAL CLASSES OF Gm-GERBES 5 that we have a cartesian diagram (1) E′ / Y

0E′′ f E / E′′, ′′ ′′ where 0E′′ is the zero section of E . When E is a vector bundle, the map 0E′′ is a closed embedding, then E′ →E is also a closed embedding. Lemma 2.12. Assume E′′ is an vector bundle and Y is stratified by global quotients. Denote i the closed embedding of E′ into E. As maps between Chow groups, ! ′′ ! 0E ◦ i∗ = e(E ) ◦ 0E′ . ! ! Here i∗ denotes the pushforward map, 0E and 0E′ Gysin pullbacks along zero sections, and e(E′′) the Euler class. Proof. We include a proof for convenience of the reader. ′ Let πE ,πE′ denote the projections E → Y and E → Y respectively. As Y is of ! finite type and stratified by global quotients, the flat pullback πE′ is an isomorphism ! with inverse 0E′ . ! ! Consider 0E ◦ i∗ ◦ πE′ . As diagram (1) is cartesian, we have

! ! ′′ i∗ ◦ πE′ = f ◦ 0E ∗. Therefore

! ! ! ! ′′ ! ′′ ! ′′ ′′ 0E ◦ i∗ ◦ πE = 0E ◦ f ◦ 0E ∗ = (f ◦ 0E ) ◦ 0E ∗ = 0E′′ ◦ 0E ∗ = e(E ), ! ′′ ! and this is equivalent to 0E ◦ i∗ = e(E ) ◦ 0E′ .

3. VIRTUAL CLASS OF GM GERBES In this section, we prove the results sketched in the introduction. Let p: G → B be a Gm-gerbe over a DM stack B of ﬁnite type over C, and • φ: E → LG a POT for G. 3.1. Virtual class of G. For the distinguished triangle between cotangent com- ∗ ∗ ≤0 1 1 plexes p LB → LG → Lp, we have p LB ≃ τ (LG) and h (LG) = h (Lp), L ≤0 L 1 L since B ∈ Dqcoh(B) and p[1] ≃ h ( p) is locally free. Therefore we have a distinguished triangle between truncated cotangent complexes ∗ p LB → LG → Lp. As in [26], we truncate E• to [−1, 0]. There exists a map between distinguished triangles • / • / F E Lp

φ Id ∗ / / p LB LG Lp, • where E → Lp is the composition of φ and LG → Lp. Denote ψ the ﬁrst vertical • ∗ ≤0 0 map F → p LB, then it can be identiﬁed with τ (φ). Note that h (ψ) is an isomorphism, h−1(ψ) is surjective, and F • is perfect in [−1, 0]. 6 F. QU

Then we can remove the moving part of h−1(F •) from ψ as follows. The map h−1(F •)[1] ≃ τ ≤−1F • → F • and the inclusion map h−1(F •)m → h−1(F •) induces a map h−1(F •)m[1] → h−1(F •)[1] → F •. Denote F •f the cone of the map h−1(F •)m[1] → F •. By the lemma below we see that ψ uniquely induces a map f •f ∗ ψ : F → p LB. Note that h0(ψf ) is an isomorphism, and h−1(ψf ) is surjective. Lemma 3.1. There are no nonzero maps from h−1(F •)m[1] or h−1(F •)m[2] to ∗ p LB in Dqcoh(G).

[−1,0] ∗ [−1,0] −1 • m Proof. As LB ∈ Dqcoh (B) and p is flat, p LB ∈ Dqcoh (G). Since h (F ) [2] ∈ ≤−2 ∗ ≥−1 −1 • m ∗ Dqcoh (G) and p LB ∈ Dqcoh (G), HomDqcoh(G)(h (F ) [2],p LB) = 0. −1 ∗ ∗ 0 ∗ Similarly, using the exact triangle h (p LB)[1] → p LB → h (p LB), we see that −1 • m ∗ −1 • m −1 ∗ HomDqcoh(G)(h (F ) [1],p LB) ≃ HomDqcoh(G)(h (F ) [1], h (p LB)[1]), −1 • m −1 ∗ −1 ∗ which can be identified with HomQCoh(G)(h (F ) , h (p LB)). As h (p LB) ≃ ∗ −1 −1 • m p h (LB) has no moving part, there is only the zero map between h (F ) and −1 ∗ h (p LB). Lemma 3.2. The sheaf h−1(F •)m is locally free of finite rank, and the complex F •f is perfect in [−1, 0]. e Proof. Locally, we can represent F • by a two term complex F • of locally free e sheaves of finite rank in [−1, 0]. The complex F • is the direct sum of its moving and fixed parts, which are also complexes of locally free sheaves in [−1, 0]. e It is clear h−1(F •)m is given by h−1 of the moving part of F •. As h0(F •) ≃ 0 ∗ e• 0 h (p LB) has no moving part, the moving part of F has vanishing h . Therefore e h−1(F •)m is quasi isomorphic to the moving part of F •, and as the kernel of a surjective map between locally frees of finite rank, it is locally free of finite rank. Now by the construction of F •f as a cone, we conclude F •f is locally repre- f sented by the fixed part of F •, and it is perfect in [−1, 0]. The map ψf induces a closed imbedding ∗ f ι: p NB → F 1 0 ∨ f 1 0 •f ∨ where NB = h /h (LB) is the intrinsic normal sheaf of B and F = h /h (F ) •f the vector bundle stack associated with F . Let CB ⊂NB be the intrinsic normal ∗ f cone of B, then we can view p CB as a closed substack of F via ι. Proposition 3.3. Assume B is of finite type over C and stratified by global quotients. The virtual class [G]vir determined by φ is given by −1 • m ! ∗ e(V(h (F ) )) ∩ 0 [p CB] ! f f here 0 : A∗(F ) → A∗(G) denotes Gysin pullback along the zero section of F , V(h−1(F •)m) the vector bundle SpecSym h−1(F •)m, and e the Euler class. VIRTUAL CLASSES OF Gm-GERBES 7

Proof. This follows from the deﬁnition of virtual classes in [26] and the construction of ψf . ∗ 1 0 •∨ The map ψ induces a closed embedding p CB → F, where F denotes h /h (F ). ∗ The virtual class of G is obtained by pulling back [p CB] along the zero section of F. The exact triangle h−1(F •)m[1] → F • → F •f induces an exact sequence of vector bundle stacks F f →F→ V(h−1(F •)m). In particular, we have an cartesian square

F f / G

F / V(h−1(F •)m) for which the assumptions in Lemma 2.12 are satisfied. Here the right vertical map from G is the zero section of V(h−1(F •)m). By the construction of ψf , we see that ∗ f the closed embedding p CB → F factor through F as it is the case locally, then we conclude the proof by Lemma 2.12. Remark 3.4. As G has affine stabilizers, it is stratified by global quotients by [18, ! f Proposition 3.5.9] and 0 : A∗(F ) → A∗(G) is defined. 3.2. Semi-perfect obstruction theory for B. For any étale map U → B with ∗ ∗ section s: U → G, it is straightforward to see that s is smooth, s p LB ≃ LU , and ∗ f s ψ is a POT for U, which we shall denote by ψU .

Proposition 3.5. {ψU } determines a semi-perfect obstruction theory ψB for B. Proof. We verify conditions (1) and (2’) for semi-perfect obstruction theories. ∨ The local obstruction sheaf on U is obtained by the pullback along s of h1(F •f ). As locally F •f is given by a complex of locally free sheaves, and its cohomology ∨ sheaves have no moving parts, we see that h1(F •f ) has no moving part. Then (1) 1 •f ∨ is satisfied with ob = p∗h (F ). Condition (2’) is satisfied because there is a unique section over any closed point of B. Remark 3.6. If there exists a nondegenerate symmetric bilinear pairing F • ≃ •∨ f F [1], then ψ = ψ and ψB is symmetric. Theorem 3.7. Assume B is proper over C and stratified by global quotients. De- vir note [B] the virtual class determined by ψB. We have [G]vir = e(V(h−1(F •)m)) ∩ p∗[B]vir.

∗ vir ! ∗ Proof. We show that p [B] = 0 [p CB], then the theorem follows from Proposi- tion 3.3. ∗ f Recall ψ induces a closed imbedding ι: p NB → F . And for each U étale over ∗ B with section s: U → G, the POT ψU is determined by s ι. The semi-perfect 8 F. QU

red obstruction theory ψB determines a map π0(NB ) → ob, and its pullback along p can be identiﬁed with the map

∗ red f ∗ π0(p NB ) → π0(F ) ≃ p ob induced by ι. This is true because for any U étale over B with a section s: U → G, the two maps match when pulled back along s to U, and all possible U form a ∗ vir ! ∗ smooth cover of G. Then it is easy to see p [B] = 0 [p CB] from the construction of [B]vir in [8], since the ﬂat pullback p∗ commutes with the operations used in deﬁning [B]vir, this also follows from bivariance of virtual pullbacks established in [22].

Remark 3.8. Since OG has no moving parts, a cosection obφ → OG is equivalent to ∗ a map p ob → OG, which by adjunction is the same as a cosection ob → OB. The theorem also holds for localized virtual cycles ([15, 14]) by the same argument.

Theorem 3.9. When B is quasi-compact and afﬁne-pointed, the semi-perfect obstruction theory ψB is a POT. Proof. It is easy to check the condition of being quasi-compact and afﬁne pointed holds for B if and only if it holds for G. + + + As now D (QCoh(G)) ≃ Dqcoh(G), we view ψ as a map in D (QCoh(G)). Under the equivalence D+(QCoh(G)) ≃ D+(QCoh(G)f )×D+(QCoh(G)m), the + f f f component in D (QCoh(G) ) of ψ is ψ , and ψB is obtained from ψ under the + f + + equivalences D (QCoh(G) ) ≃ D (QCoh(B)) ≃ Dqcoh(B).

Remark 3.10. For gerbes banded by the cyclic group µr with POTs, their POTs have no h1 and we can also decompose them into moving and ﬁxed parts with weights in Z/rZ, then all results above hold.

3.3. Let X be a smooth projective 3-fold over C, the moduli stack G of perfect 3 complexes which are simple and without higher automorphisms is a Gm-gerbe locally of finite type ([20, Corollary 4.3.3]), and has a derived enhancement ([27, Definition 5.1]) , which has a (-1)-symplectic structure ([25]) when X is Calabi- Yau. These derived enhancements induce obstruction theories ([27, Proposition 1.2]). Alternatively, obstruction theories can be constructed as in [8] using the deformation-obstruction results in [11]. If truncated obstruction theories are perfect, results in this section apply, and hopefully complement the perspectives in existing literature, e.g., [8, 24, 29]. To work with open substacks of G which are of finite type, we need to fix some numerical invariants and a stability condition. (See e.g.,[4].) To define DT type invariants, we need to remove Gm from the automorphism group of stable objects, which can be achieved by fixing the determinant of complexes. There are two choices to fix the determinant as discussed below. Using the results we obtained, it is easy to see both choices produce the same semi-perfect obstruction theory. Denote Perf(X) the stack of perfect complexes on X ([27, 30]), Pic(X) the 4 Picard stack of X, [Pic(X)/BGm] the Picard scheme of X, and let L be a line

3 Negative self Ext groups are zero. 4 See [1, C.3] for viewing rigidiﬁcation as taking quotient. VIRTUAL CLASSES OF Gm-GERBES 9 bundle on X. Note that G is open in Perf(X). Consider the cartesian diagrams / GL Spec C

′ / G / C GL B m Spec

/ / G Pic(X) [Pic(X)/BGm], ′ C where GL and GL denote fiber products, the vertical arrows from Spec are determined by L, and G → Pic(X) induced by the perfect determinant morphism ′ ([27, Definition 3.1]). Note that GL is a gerbe banded by cyclic groups and GL a G ′ m-gerbe, and the map GL → GL induces an isomorphism after rigidification. The obstruction theory for G → Pic(X) comes from the tangent complex of RPerf(X) → RPic(X)([27, Proposition 3.2]). By base change, we obtain ob- C ′ G struction theories for GL → Spec and GL → B m. From the obstruction theory ′ G ′ of GL → B m, we obtain an obstruction theory of GL([9, Appendix B]). As the tangent complex of BGm is perfect in degree −1, the obstruction theory for GL is ′ perfect if and only if the obstruction theory for GL is, and in that case, the induced semi-perfect obstruction theories on their rigidifications are identical. In fact, the truncation of φ to ψ in the beginning of the section reverses the process of obtaining ′ ′ G the POT for GL from GL → B m.

REFERENCES [1] D. Abramovich, T. Graber, A. Vistoli, Gromov-Witten theory of Deligne-Mumford stacks, Amer. J. Math, 130 (2008), no.5, 1337-1398. [2] D. Abramovich, M. Olsson, A. Vistoli, Twisted stable maps to tame Artin stacks, J. Algebraic Geom. 20 (2011), no. 3, 399-477. [3] D. Aranha, P. Pstr ˛agowski, The intrinsic normal cone for Artin stacks. arXiv:1909.07478v1. [4] A. Bayer, M. Lahoz, E. Macrì, H. Nuer, A. Perry, P. Stellari, Stability conditions in families, arXiv:1902.08184v1. [5] K. Behrend, Donaldson-Thomas type invariants via microlocal geometry , Ann. of Math. (2) 170 (2009), no. 3, 1307-1338. [6] K. Behrend, B. Fantechi, The intrinsic normal cone, Invent. Math. 128 (1997), no. 1, 45-88. [7] K. Behrend, B. Fantechi, Symmetric obstruction theories and Hilbert schemes of points on the threefolds , Algebra Number Theory 2 (2008), no. 3, 313-345. [8] H.-L. Chang, J. Li, Semi-perfect obstruction theory and Donaldson-Thomas invariants of derived objects, Comm. Anal. Geom. 19 (2011), no. 4, 807-830. [9] T. Graber, R. Pandharipande, Localization of virtual classes , Invent. Math. 135 (1999), no. 2, 487-518. [10] J. Hall, A. Neeman, D. Rydh, One positive and two negative results for derived categories of algebraic stacks , J. Inst. Math. Jussieu. 18 (2019), no. 5, 1087-1111. [11] D. Huybrechts, R. Thomas, Deformation-obstruction theory for complexes via Atiyah and Kodaira-Spencer classes, Math. Ann. 346 (2010), no. 3, 545âA¸S569.˘ [12] Y. Jiang, Symmetric semi-perfect obstruction theory revisited, arXiv:1811.08480v1. [13] A. A. Khan, Virtual fundamental classes of derived stacks I, arXiv:1909.01332v1. [14] Y.-H. Kiem, Localizing virtual fundamental cycles for semi-perfect obstruction theories, Inter- nat. J. Math. 29 (2018), no. 4, 1850032, 30 pp. [15] Y.-H. Kiem, J. Li, Localizing virtual cycles by cosections , J. Amer. Math. Soc. 26 (2013), no. 4, 1025-1050. [16] Y.-H. Kiem, J. Li, Critical virtual manifolds and perverse sheaves, J. Korean Math. Soc. 55 (2018), No. 3, 623-669. 10 F. QU

[17] Y.-H. Kiem, J. Li, M. Savvas, Generalized Donaldson-Thomas Invariants via Kirwan Blowups arXiv:1712.02544v1. [18] A. Kresch, Cycle groups for Artin stacks , Invent. Math. 138 (1999), no. 3, 495-536. [19] J. Li, G. Tian, Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties , J. Amer. Math. Soc. 11 (1998), no. 1, 119-174. [20] M. Lieblich, Moduli of complexes on a proper morphism, J. Algebraic Geom. 15 (2006), no. 1, 175-206. [21] M. Lieblich, Moduli of twisted sheaves, Duke Math. J. 138 (2007), no. 1, 23-118. [22] S. Lee, Intersection theories of coherent sheaf stacks and virtual pull-backs via semi-perfect obstruction theories, arXiv:1909.05058v1. [23] F. Noseda, A proposal for a virtual fundamental class for Artin stacks , Sissa dissertation, 2007. [24] R. Pandharipande, R. Thomas, Curve counting via stable pairs in the derived category , Invent. Math. 178 (2009), no.2, 407-447. [25] T. Pantev, B. Toën, M. Vaquié, G. Vessosi, Shifted symplectic structures , Publ. Math. Inst. Hautes Études Sci. 117 (2013), 271-328. [26] F. Poma, Virtual classes of Artin stacks, Manuscripta Math. 146 (2015), no. 1-2, 107-123. [27] T. Schürg, B. Toën, G. Vessosi, Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes , J. reine angew. Math. 702 (2015), 1-40. [28] Stacks Project Authors, Stacks Project, http://stacks.math.columbia.edu. [29] R. Thomas, A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on K3 ﬁbra- tions , J. Differential Geom. 54 (2000), no. 2, 367-438. [30] B. Toën, M. Vaquié, Moduli of objects in dg-categories , Ann. Sci. Éc. Norm. Supér. (4) 40, (2007), no.3, 387-444. E-mail address: [email protected]