arxiv: v2 [math.ag] 5 Mar 2011

Transcription

1 DG AFFINITY OF DQ-MODUES ariv: v2 [math.ag] 5 Mar 2011 FRANÇOIS PETIT Abstract. In this paper, we prove the dg affinity of formal deformation algebroid stacks over complex smooth algebraic varieties. For that purpose, we introduce the triangulated category of formal deformation modules which are cohomologically complete and whose associated graded module is quasi-coherent. 1. Introduction Many classical results of complex algebraic or analytic geometry have a counterpart in the framework of Deformation Quantization modules (see [8]). et us mention a few of them, Serre duality, convolution of coherent kernels, the construction of Hochschild classes for coherent DQ-modules in [8], a GAGA type theorem in [7] and Fourrier-Mukai transforms in [1] etc. In this paper, we give a non-commutative analogous of a famous result of Bondal-Van den Bergh asserting the dg affinity of quasi-compact quasi-separate schemes (see [4, Corollary 3.1.8]). In the framework of formal deformation algebroid stacks, the notion of quasi-coherent object is no more suited for this purpose. Thus, we introduce the notion of cohomologically complete and graded quasi-coherent objects (qcc for short). The qcc objects of the derived category D( ), where is a formal deformation algebroid stacks, form a full triangulated subcategory of D( ) denoted D qcc ( ). This category can be thought as the deformation of D qcoh (O ) while deforming O into (see Theorem 4.2.1). We prove that the image of a compact generator of D qcoh (O ) is a compact generator of D qcc ( ). The existence of a compact generator in D qcoh (O ) is granted by a result of Bondal-Van den Bergh (see loc. cit.). Hence, the category D qcc ( ) is dg affine. The study of generators in derived categories of geometric origin has been initiated by Beilinson in [2]. The results of [4] have been refined by Rouquier in [19] where he introduced a notion of dimension for triangulated categories. Recently, in [20] Toen generalized the results of Bondal and Van den Bergh and reinterpreted them in the framework of homotopical algebraic geometry. 1

2 2 FRANÇOIS PETIT This paper is organised as follows. In the first part, we recall some classical material concerning generators in triangulated category. We review, following [8], the notion of cohomological completeness and its link with the functor of -graduation. We finally state some results specific to deformation algebroid stacks on smooth algebraic varieties. In the second part of the paper, we introduce the triangulated category of qcc objects, that is to say elements of D( ) that are cohomologically complete and whose associated graded module is quasicoherent. We prove that the category D qcc ( ) admits arbitrary coproducts. The coproduct is given by the cohomological completion of the usual direct sum (Proposition ) then we prove that D qcc ( ) is compactly generated (see Proposition and emma 3.3.4). Relying on a theorem of Ravenel and Neeman (see [18] and [15]) we describe completely the compact objects ofd qcc ( ) (see Theorem 3.3.8). They are elements of D b coh () satisfying certain torsion conditions. Finally, we conclude this section by proving that D qcc ( ) is equivalent as a triangulated category to the derived category of a suitable dg algebra with bounded cohomology (see Theorem 3.4.1). In the last section, we study qcc sheaves on an affine variety and prove that the equivalence of triangulated categories betweend b qcoh (O ) and D b (O ()) lifts to an equivalence between D b qcc( ) and the triangulated category D b cc( ()) of cohomologically complete ()- modules (see Theorem 4.2.1). Acknowledgement. I would like to express my gratitude to my advisor P. Schapira for his patience and enthusiasm in sharing his mathematical knowledge. I would also like to thank Masaki Kashiwara for enlightening discussions and Grégory Ginot for his constant support. 2. Review 2.1. Generators and Compactness in triangulated categories: a review. We start with some classical definitions. See [16], [4]. Definition et T be a triangulated category. et G = (G i ) i I be a set of objects of T. One says that G generates T if for every F T such that Hom T (G i [n],f) = 0 for every G i G and n Z then F 0. Recall that if T is a triangulated category, then a triangulated subcategory B of T is called thick if it is closed under isomorphisms and direct summands. Definition et S be a set of objects of T. The smallest thick triangulated subcategory of T containing S is called the thick envelope

3 DG AFFINITY OF DQ-MODUES 3 of S and is denoted S. One says that S classically generates T if S is equal to T. Definition Assume that T admits arbitrary direct sums in a given universe. An object in T is compact if Hom T (, ) commutes with direct sums. We denote by T c the full subcategory of T consisting of compacts objects. Definition et T be a triangulated category admitting arbitrary direct sum in a given universe. The category T is compactly generated if it is generated by a set of compact objects. The following result was proved independently by Ravenel and Neeman, see [15] and [18]. Theorem Assume that T is compactly generated then a set of objects S T c classically generates T c if and only if it generates T. We give an inductive description of the thick envelope of a subset of a triangulated category. For that purpose, we introduce a multiplication on the set of full subcategories of a triangulated category. We follow closely the exposition of [4]. Definition et T be a triangulated category. et C and D be full subcategories of T. et C D be the strictly full subcategory of T whose objects E occur in a triangle of the form where C C and B D. C E D C[1] Proposition The operation is associative. et S be a set of objects of T. We denote by add(s) the smallest full subcategory in T which contains S and is closed under taking finite direct sums and shifts. We denote by smd(s) the smallest full subcategory which contains S and is closed under taking direct summands. emma If C and D are closed under finite direct sums, then smd(smd(c) D) = smd(c D). Denote S 1 = smd(add(s)) S k = smd( S 1... S }{{} 1 ) k factors

4 4 FRANÇOIS PETIT S = k S k. Then S is the thick envelope of S (see Definition 2.1.2) Recollection on algebraic categories. In this section, we recall some classical facts on algebraic categories, [10], [11], [12]. In this section R is a commutative unital ring. Definition A Frobenius category E is an exact category (in the sense of Quillen [17]) with enough projective and injective objects such that an object is projective if and only if it is injective. etσ andσ ine.we denote byn(σ,σ ) the subgroup ofhom E (σ,σ ) formed by the maps that can be factorized through an injective object. We denote by E the category with the same objects as E and whose morphisms spaces are the quotients Hom E (σ,σ )/N(σ,σ ). The category E is called the stable category of E. A classical result states that E is a triangulated category. Definition One says that an R-linear triangulated category is algebraic if it is triangle equivalent to the stable category of an R-linear Frobenius category. Proposition A triangulated subcategory of an algebraic triangulated category is algebraic. Proposition The derived category of a Abelian category is algebraic. We have the following theorem from [11] which is a consequence of [10, Theorem 4.3]. If Λ is a dg category, we denote by D(Λ) its derived category in the sense of [10] (note that D(Λ) is not a dg category). Theorem et E be a cocomplete Frobenius category and set T = E. Assume that T has a compact generator G. Then, there is a dg algebra Λ and an equivalence of triangulated categories F : D(Λ) T with F(Λ) G. In particular, we have H n (Λ) Hom D(Λ) (Λ,Λ[n]) Hom T (G,G[n]), n Z The case of D qcoh (O ). et (,O ) be a scheme. We denote by Qcoh() the category of quasi-coherent O -modules. Its derived category is denoted by D(Qcoh()). We write D qcoh (O ) for the full triangulated subcategory of D(O ) consisting of complexes with quasicoherent cohomology. Theorem ([3]). If is a quasi-compact and separated scheme then the canonical functor D(Qcoh()) D qcoh (O ) is an equivalence.

5 DG AFFINITY OF DQ-MODUES 5 Definition et (,O ) be a scheme. A perfect complex on is a complex of O -modules which is locally quasi-isomorphic to a bounded complex of locally free O -modules of finite type. We denote by D per (O ) D qcoh (O ) the category of perfect complexes. In this paper, we are interested in complex smooth algebraic varieties. We give a few properties of perfect complexes in this setting. Since is an algebraic variety, is a Noetherian topological space. Thus, a perfect complex in D qcoh (O ) is in D b qcoh (O ). Since O is Noetherian it follows that D per (O ) D b coh (O ). Finally since is smooth, we have D b coh (O ) D per (O ). Thus, on a smooth algebraic variety, D per (O ) = D b coh (O ). Recall the following theorem from [4]. Theorem Assume that is a quasi-compact and quasi-separated scheme. Then, (i) the compact objects in D qcoh (O ) are the perfect complexes, (ii) D qcoh (O ) is generated by a single perfect complex. As a corollary Bondal and Van den Bergh obtain Theorem Assume that is a quasi-compact quasi-separated scheme. Then D qcoh (O ) is equivalent to D(Λ 0 ) for a suitable dg algebra Λ 0 with bounded cohomology graduation The case of ringed space. In this section, is a topological space and R is a Z[] -algebra on without -torsion.throughout this text we assume that is central in R. We set R 0 = R/R. We refer the reader to [8] for more details. Definition We denote by gr : D(R) D(R 0 ) the left derived functor of the right exact functor Mod(R) Mod(R 0 ) given by M M/M. For M D(R) we call gr (M) the graded module associated to M.We have gr M R 0 R M. Proposition (i) et K 1 D(R op ) and K 2 D(R). Then, (ii) et K i D(R) (i = 1,2). Then gr (K 1 R K 2 ) gr (K 1 ) R 0 gr (K 2 ). gr (RHom R (K 1,K 2 )) RHom R0 (gr K 1,gr K 2 ).

6 6 FRANÇOIS PETIT Proposition et and Y be two topological spaces and f : Y a morphism of topological spaces. The functorgr : D(Z[] ) D(Z[] Y ) commutes with the operations of direct images Rf and of inverse images The case of algebroid stacks. We write C for the ring C[[]]. In this section denotes a C -algebroid stack without -torsion. As in the previous subsection we refer the reader to [8]. Definition et be a C -algebroid stack without -torsion on a topological space. One denotes by gr ( ) the C-algebroid associated with the prestack S given by: Ob(S(U)) = Ob(A(U)) for an open set U of, Hom S(U) (σ,σ ) = Hom A (σ,σ )/Hom A (σ,σ ) for σ,σ A(U). There is a natural functor gr ( ) of C-algebroid stacks. This functor induces a functor ι g : Mod(gr ) Mod( ). The functor ι g admits a left adjoint functor M C C M. The functor ι g is exact and it induces a functor ι g : D(gr ) D( ). On extends the definition of gr by gr (M) gr ( ) M C C M. The propositions of the preceding subsection concerning sheaves extend to the case of algebroid stacks. Finally we have the following important proposition. Proposition The functor gr and ι g define pairs of adjoint functors (gr,ι g ) and (ι g,gr [ 1]). Proof. We refer the reader to [8, proposition 2.3.6] Cohomologically Complete Module. In this subsection, we briefly recall some facts about cohomologically complete modules. We closely follow [8] and refer the reader to it for an in depth treatment of the notion of cohomological completeness. In this section, is a topological space and R is a Z[] -algebra without -torsion. We set R loc := Z[, 1 ] Z[] R. The right orthogonal category D(R loc ) r to the full subcategory D(R loc ) of D(R) is the full triangulated subcategory consisting of objects M D(R) satisfying Hom D(R) (N,M) 0 for any N D(R loc ).

7 DG AFFINITY OF DQ-MODUES 7 Definition An object M D(R) is cohomologically complete if its belong to D(R loc ) r. We write D cc (R) for D(R loc ) r. Propositions 2.5.2, 2.5.4, are proved in [8]. Proposition equivalent: (a) M is cohomologically complete, (i) For M D(R), the following conditions are (b) RHom R (R loc,m) RHom Z[] (Z[, 1 ],M) 0, (c) For any x, j = 0,1 and any i Z, limext j R (Rloc,H i (U,M)) 0. x U Here, U ranges an open neighborhood system of x. (ii) RHom R (R loc /R,M) is cohomologically complete for any M D(R). (iii) For any M D(R), there exists a distinguished triangle M +1 M M with M D(R loc ) and M D cc (R). (iv) Conversely, if M +1 M M is a distinguished triangle with M D(R loc ) and M D cc (R), then M RHom R (R loc,m) andm RHom R (R loc /R[ 1],M). emma Assume that M D(R) is cohomologically complete. Then RHom R (N,M) D(Z []) is cohomologically complete for any N D(R). Proposition et M D(R) be a cohomologically complete object. If gr M 0, then M 0. Corollary et f : M N be a morphism of D cc (R). If gr (f) is an isomorphism then f is an isomorphism. Proposition et f : Y be a continuous map, and M D(Z []). If M is cohomologically complete, then so is Rf M. The following result is implicit in [8]. We make it explicit since we use it frequently.

8 8 FRANÇOIS PETIT Proposition et M D(R) such that there locally exists n N, such that n M 0. Then M is cohomologically complete. Proof. The question is local. Thus we can assume that is a sheaf. The action of on A loc is an isomorphism thus the morphism : RHom(A loc,m) RHom(Aloc,M) is an isomorphism. The morphism : RHom(A loc,m) RHom(A loc,m) is locally nilpotent. Since is central in R, then =. Thus, RHom(A loc,m) = Modules over formal deformations after [8]. In this subsection, we recall some facts about formal deformation of ringed spaces. We refer the reader to [8] for DQ-modules. (Note that they are called twisted deformations in [21]). We refer to [14], [9] for stacks and algebroid stacks. We denote by C the ring C[[]]. Definition ([8]). et (,O ) be a commutative ringed space on a topological space. Assume that O is a Noetherian sheaf of C-algebras. A formal deformation algebra of O is a sheaf of C - algebras such that (i) is central in (ii) has no -torsion (iii) is -complete (iv) / O as sheaves of C-algebras. (v) There exists a base B of open subsets of such that for any U B and any coherent O U -module F, we have H n (U,F) = 0 for any n > 0. Remark Clearly, on a complex algebraic variety, condition (iv) of the preceding definition is satisfied. Definition A formal deformation algebroid on is a C - algebroid such that for each open set U and each σ (U), the C -algebra End A (σ) is a formal deformation algebra on U. et be a formal deformation algebroid on. We denote by Mod( ) the category of functors Fct(,Mod(C )). The category Mod( ) is a Grothendieck category. For a module M over an algebroid the local notion of being coherent, locally free etc. still make sense.we denote by D( ) the derived category of Mod( ),

9 DG AFFINITY OF DQ-MODUES 9 by D b ( ) its bounded derived category and by D b coh () the full triangulated subcategory of D b ( ) consisting of objects with coherent cohomologies. Definition We say that an algebroid is trivial if it is equivalent to the algebroid stack associated to a sheaf of rings. From now on, we assume that is a smooth algebraic variety endowed with the Zarisky topology. There are the following results (see Remark of [8] due to Prof. Joseph Oesterlé) Proposition On a smooth algebraic variety, the grouph 2 (,O ) is zero. Corollary On a smooth algebraic variety, invertibleo -algebroid stacks are trivial. By the definition of the functor gr, it is clear that gr is an O invertible algebroid (see [8] for a definition of invertible) and by Corollary it follows that (2.1) gr O. Proposition The functor gr induces a functor gr : D b coh () D b coh (O ). We have the following results from [8]. Proposition et d N. Assume that any coherent O -module locally admits a resolution of length d by free O -modules of finite rank. et M be a complex of -modules concentrated in degrees [a,b] and assume that H i (M) is coherent for all i. Then, in a neighborhood of each x, there exists a quasi-isomorphism M where is a complex of free -modules of finite rank concentrated in degrees [a d 1,b]. We have the following sufficient condition which is a corollary of more general results that ensure that under certain conditions, an algebroid stack of formal deformation is trivial (see [13], [5], [6], [21]). Proposition et be a smooth algebraic variety endowed with a deformation algebroid. If H 1 (,O ) = H 2 (,O ) = 0, then is equivalent to the algebroid stack associated to a formal deformation algebra of O.

10 10 FRANÇOIS PETIT 3. Q.C.C modules 3.1. Graded quasi-coherent modules and quasi-coherent O - modules. We start by recalling some results concerning the derived category of quasi-coherent sheaves. Definition et M D( ).We say that M is graded quasicoherent if gr (M) D qcoh (O ). We denote by D gqcoh ( ) the full subcategory of D( ) formed by graded quasi-coherent modules. Proposition The category D gqcoh ( ) is a triangulated subcategory of D( ). Proof. Obvious Q.C.C objects. In this subsection, we introduce the category of qcc-modules. Definition An object M D( ) is qcc if it is graded quasicoherent and cohomologically complete. The full subcategory of D( ) formed by qcc-modules is denoted by D qcc ( ). Since, D qcc ( ) = D gqcoh ( ) D cc ( ), we have Proposition The category D qcc ( ) is a C -linear triangulated subcategory of D( ). Proposition If M D b qcc( ) is such that gr M D b coh (O ), then M D b coh (). Proof. It is a direct consequence of [8, Theorem 1.6.4]. Proposition If M D b coh (), then M D b qcc( ). Proof. It is a direct consequence of [8, Theorem 1.6.1]. We now prove that D qcc ( ) is cocomplete. For that, we first prove that D cc ( ) is cocomplete. Definition We denote by ( ) cc the functor RHom A ((A loc /)[ 1], ) : D( ) D( ). We call this functor the functor of cohomological completion. The following exact sequence (3.1) 0 A loc Aloc / 0. induces a morphism A loc /[ 1]. This morphism yields to a morphism of functor (3.2) cc : id ( ) cc.

11 DG AFFINITY OF DQ-MODUES 11 Proposition The morphism of functor is an isomorphism. gr (cc) : gr id gr ( ) cc Proof. We have the following isomorphism gr RHom A ((A loc /)[ 1],M) RHom gr (gr (A loc /)[ 1],gr M). Applying the functor gr to (3.1), we obtain the following distinguished triangle. gr (A loc /)[ 1] gr gr A loc +1. Noticing thatgr A loc 0, we deduce that the mapgr (A loc /)[ 1] gr is an isomorphism which proves the claim Corollary For every M D( ), gr M cc gr M. Definition et (M i ) i I be a family of objects of D cc ( ). We set ( ) cc M i = M i i I where denote the direct sum in the category D( ). Proposition The category D cc ( ) admits direct sums. The direct sum of the family (M i ) i I is given by i IM i. Proof. et (M i ) i I be a family of elements of D cc ( ). By Proposition (ii), i IM i is cohomologically complete. Using the natural transformation (3.2) we obtain a morphism i I cc : i I M i i I M i. It remains to shows that for all F D cc ( ), cc induces an isomorphism (3.3) Hom A ( i I It is enough to prove the isomorphism M i,f) Hom A ( i I M i,f).

12 12 FRANÇOIS PETIT (3.4) RHom A ( i I M i,f) RHom A ( i I M i,f). Since both terms of (3.4) are cohomologically complete by emma 2.5.3, it remains to check the isomorphism on the associated graded map. Applying gr to (3.4) and using emma 2.4.2(ii) and Proposition 3.2.6, we obtain an isomorphism RHom gr (gr ( i I M i ),gr F) RHom gr (gr ( i I M i ),gr F). which proves the isomorphism (3.4). Moreover by definition of the direct sum, we have (3.5) Hom A ( i I M i,f) i I Hom A (M i,f). Composing the isomorphisms (3.3) and (3.5), we obtain the following functorial isomorphism Hom A ( i I M i,f) which prove the proposition. i I Hom A (M i,f) Proposition The category D qcc ( ) admits direct sums. The direct sum of the family (M i ) i I is given by i IM i. Proof. We know by Proposition 3.2.9, that D cc ( ) admits direct sums and it is given by. et (M i ) i I D qcc ( ). Then, by Corollary 3.2.7, gr i = i IM i I gr M i. It follows that M i D qcc ( ). i I 3.3. Compact objects and generators in D qcc ( ). In this subsection, we show that D qcc ( ) is generated by a compact generator and we describe its compact objects. We start by proving some additional properties on the functors gr and ι g which are defined in subsection 2.4. Concerningι g, recall that there is a functor of stacks gr ( ) O inducing ι g : D(O ) D( )

13 DG AFFINITY OF DQ-MODUES 13 Notice that O can be endowed with a structure of left O -module and right -module. When endowed with such structures we denote it by O A. The module O A belongs to D b (O C A op ). Similarly we have A O D b ( C O op ). When O is endowed with its structure of A op -module we denote it by AO A D b ( C A op ). With these notations, we have gr (M) = O A M and ι g (M) = A O O M. Hence ι g gr (M) = A O O O A M A O A M. Proposition For every M D(O ), ι g gr ι g (M) ι g (M) ι g (M)[1] Proof. We have the exact sequence of A op -modules 0 A A AO A 0. Thus, for everym D( ), we haveι g gr (M) (A ) M. Hence, for M D(O ), ι g gr ι g (M) ι g (M) ι g (M)[1]. Corollary If M D qcoh (O ), then ι g (M) D qcc ( ). Proof. et M is in D qcoh (O ) and consider gr ι g (M). We compute H i (gr ι g (M)). ι g (H i (gr ι g (M))) H i (ι g gr ι g (M)) H i (ι g (M) ι g (M)[1]) ι g (H i (M) H i+1 (M)). The functor ι g : Mod(O ) Mod( ) is fully faithful thus H i (gr ι g (M)) H i (M) H i+1 (M) thus ι g (M) is in D gqcoh ( ) and it is cohomologicaly complete by Proposition Proposition If G is a generator of D qcoh (O ), then ι g (G) is a generator of D qcc ( )

14 14 FRANÇOIS PETIT Proof. By Proposition 3.3.2, ι g (G) is in D qcc ( ). et M D qcc ( ) with RHom A (ι g (G),M) = 0. By Proposition 2.4.5, we have RHom A (ι g (G),M) RHom O (G,gr (M)[ 1]). Thus, RHom O (G,gr (M)[ 1]) 0 and gr (M)[ 1] is in D qcoh (O ) thus gr (M)[ 1] 0. Since M is cohomologically complete, M 0. emma If F D b coh () satisfies A loc compact in D qcc ( ). F = 0 then F is Proof. et (M i ) i I a family of objects of D qcc ( ). By adjunction in between (A loc /)[ 1] and RHom A (A loc /)[ 1], ), we have Hom A (F, i I M i ) Hom A ((A loc / )[ 1] F, i I In Mod( A op ), we have the exact sequence M i ). 0 A loc Aloc / 0. Tensoring by F, we obtain the distinguished triangle in D( ) A loc /[ 1] F F A loc F +1. Since A loc that F = 0, A loc /[ 1] F is isomorphic to F. It follows (3.6) Hom A (F, i I M i ) Hom A (F, i I M i ). The module F belongs to D b coh (). Using Proposition 2.6.8, and the fact that is a Noetherian topological space, we have (3.7) Hom A (F, i I M i ) i I Hom A (F,M i ) which together with (3.6) prove the lemma. Corollary If F is compact in D qcoh (O ) then ι g (F) is compact in D qcc ( ).

15 DG AFFINITY OF DQ-MODUES 15 Corollary If G is a compact generator of D qcoh (O ) then ι g (G) is a compact generator of D qcc ( ). Corollary The category D qcc ( ) is compactly generated. Proof. By Theorem due to Bondal and Van den Bergh, D qcoh (O ) has a compact generator. Then, the claim is a direct consequence of Corollary Theorem An object M of D qcc ( ) is compact if and only if M D b coh () and A loc M = 0. Proof. The condition is sufficient by emma et G be a compact generator of D qcoh (O ). By Theorem 2.1.5, we know that the set of compact objects of D qcc ( ) is equivalent to the thick envelope ι g (G). et us show that if F ι g (G) then F D b coh () and A loc F = 0. We will proceed by induction. Recall that ι g (G) 1 = smd(add(ι g (G)) (cf. subsection 2.1) where smd(add(ι g (G)) denote the smallest full subcategory of D qcc ( ) containing add(ι g (G)) and closed under taking direct summand. The category add(ι g (G)) is the smallest full subcategory of D qcc ( ) which contains ι g (G) and is closed under taking finite direct sums and shifts. It is clear that if F add(ι g (G)), then F D b coh () and A loc F = 0. IfF smd(add(ι g (G))), then there existm smd(add(ι g (G))) such that F M add(ι g (G)). Hence, A loc F = 0. We still need to check that for every i Z, H i (F) Mod coh ( ). The question is local, so we can choose an open set U of such that U is trivial. The sheafh i (F U ) is a direct summand of the coherent sheaf H i ((F M) U ) and is a Noetherian sheaf (see subsection 1.1 of [8] for a definition) thus H i (F U ) is coherent. Assume that for every k n, G k is a subcategory of D b coh () and that for every F G k, A loc F = 0. et F in G n+1. By emma 2.1.8, G n+1 = smd( G n G 1 ). Since D b coh () is a triangulated category, the induction hypothesis implies that G n G 1 D b coh (). It follows that F is a direct summand of an object of the category G n G 1. Then, F D b coh () and A loc F = DG Affinity of DQ-modules. In this subsection we prove that category of qcc DQ-modules is DG affine. Theorem Assume is a smooth complex algebraic variety endowed with a deformation algebroid. Then, D qcc ( ) is equivalent to D(Λ) for a suitable dg algebra Λ with bounded cohomology.

16 16 FRANÇOIS PETIT Proof. By Proposition 3.2.2, D qcc ( ) is a C -linear triangulated subcategory of D( ) which is algebraic by Proposition It follows, by Proposition 2.2.3, that D qcc ( ) is algebraic. By Proposition , D qcc ( ) is a cocomplete category. Moreover, by Corollary 3.3.6, D qcc ( ) has a compact generator G. It follows from Theorem thatd qcc ( ) is equivalent to the derived category of a dg algebra Λ such that H n (Λ) Hom A (ι g (G),ι g (G)[n]), n Z. Using the adjunction between ι g and gr [ 1] and [4, emma 3.3.8], we get that the cohomology of Λ is bounded. 4. Q.C.C Sheaves on affine varieties We assume that is a smooth algebraic affine variety. In view of Proposition 2.6.9, we assume that is sheaf of formal deformations. We set A = Γ(, ), B = Γ(,O ) and a : {pt}. As usual we denote by (resp. B ) the constant sheaf with stalk A (resp. B) Preliminary results. emma The -module is flat. Proof. It is a direct consequence of [8, Theorem 1.6.5]. emma et f : Y be a morphism of varieties and let M D(f 1 A Y ) then Rf M cc (Rf M) cc in D(A Y ). Proof. It is a direct consequence of [8, ] We recall the following classical result. emma et M D b (B). The canonical morphism (4.1) M RΓ(,O B a 1 M) is an isomorphism. Proof. If M is concentrated in degree zero, the result follows directly from the equivalence of categories between Qcoh(O ) and Mod(B). The result extends immediately to the derived category becauseo B is an exact functor and because RΓ(, ) is exact on Qcoh(O ) since is affine. If R R is a morphism of sheaves of rings, we denote by for R the forgetful functor from D b (R ) to D b (R) and gr C the functor D(C ) D(C ), M C M. C

17 Proposition (i) The diagram DG AFFINITY OF DQ-MODUES 17 D b ( ) for D b (C ) for A D b ( ) for D b (C ) gr gr C D b (O ) for O D b (C ) for B O is commutative. (ii) The six forgetful functors for ( ) ( ) D b (B ) for B D b (C ) commute with RΓ(; ). Proof. (i) We start by proving that for O gr = gr C for. et M D b ( ). We have for O gr (M) = O M C M C C C for A (M) gr C for (M). The other commutation relations are obvious and are left to the reader. (ii) et us prove (ii) for for B O. The other cases being similar. The functors for B O : Mod(O ) Mod(B ) is exact since O is flat over B and this functor is right adjoints of an exact functor. Thus it preserves injective resolution. Proposition et M D b ( ). Then, there is an isomorphism in D(B) gr RΓ(,M) RΓ(,gr M). Proof. Notice the claim is true when M D b (C ). Indeed, the functor gr : D b (C ) D b (C) is given byc C wherec is ind b (C C C ) that is to say in D b (C ). In the category Db (C ), C admits a free

18 18 FRANÇOIS PETIT resolution given by C C. Thus we can apply the projection formula and we get the isomorphism p : C Ra M Ra (C M). C C We denote by for O the forgetful functor from D b (O ) to D b (C ). In this proof, we write gr M for O M, gr B M for B M and gr B M for B M with M D b (A). A By restriction, there is a morphism B M O M. It induces a morphism Hom B (for B O (gr M),for B O (gr M)) (4.2) Hom B (gr B M,for B O (gr M)). The coevaluation a 1 Ra M M of the adjunction between a 1 and Ra induces a morphism Hom B (gr B M,for B O (gr M)) (4.3) and RΓ(, ) gives the following isomor- The adjunction between a 1 phism Hom B (gr B (a 1 Ra M),for B O (gr M)) (4.4) Hom B (gr B (a 1 Ra M),for B O (gr M)). Hom B (gr B RΓ(,M),RΓ(,forB O (gr M))). and by Proposition (ii), there is an isomorphism in D b (B), RΓ(,for B O (gr M)) RΓ(,gr M). Hence, the image of the identity by the composition of the maps (4.2), (4.3) and (4.4) leads to a morphism pr : B RΓ(,M) RΓ(,gr M) A such that for B (pr) = p. Since for B is conservative, pr is an isomorphism Q.C.C sheaves on affine varieties. We define the two functors: and Φ : D b qcc () D b cc (A), Φ(M) = RΓ(,M) Ψ : D b cc (A) Db qcc (),Ψ(M) = ( A a 1 M)cc.

19 DG AFFINITY OF DQ-MODUES 19 Theorem et be a smooth affine variety. The functors Φ and Ψ are equivalences of triangulated categories and are inverses one to each other and the diagram below is quasi-commutative D b qcc () Φ Ψ D b cc (A) gr gr D b qcoh (O ) RΓ(, ) D b (B). O B Proof. et M D b qcc (). By definition, Ψ Φ(M) = RHom A ((A loc /)[ 1], A RΓ(,M)). By adjunction, we have the morphism of functor a 1 Ra id. It follows that we have a morphism a 1 RΓ(,M) M. Tensoring by we get A (4.5) A a 1 RΓ(,M) A M. Moreover, Hom A ( A M,M) Hom A (M,Hom A (,M)) Hom A (M,M). Consequently the image of the identity gives a morphism A M M. By composing with (4.5), one obtains a morphism A a 1 RΓ(,M) M. Applying the functor ( ) cc to the preceding morphism we obtain ( A a 1 RΓ(,M))cc M cc. Since M is cohomologically complete, M cc M. Thus (4.6) ( A a 1 RΓ(,M))cc M. Applying gr to the preceding formula, and using the well known equivalence we obtain the isomorphism D b qcoh (O ) RΓ(, ) D b (B), O B O B RΓ(,gr M) gr M.

20 20 FRANÇOIS PETIT Since ( A a 1 RΓ(,M))cc and M are cohomologically complete modules, it follows that (4.6) is an isomorphism. et M D b cc(a). By definition, Φ Ψ(M) = RΓ(,( A a 1 M)cc ). and using emma we get that We have a morphism Φ Ψ(M) (RΓ(, A M)) cc. Ra A M Ra ( A a 1 M). Since is affine we obtain Ra A thus We have a map M RΓ(, A M). (4.7) M cc (RΓ(, A M)) cc. Applying the functor gr, we obtain (4.8) gr M RΓ(,O B gr M). Using emma 4.1.3, we deduce that the map (4.8) is an isomorphism. It follows by Corollary that the morphism (4.7) is an isomorphism. This proves the announced equivalence. References [1] D. Arinkin, J. Block, and T. Pantev. *-Quantizations of Fourier-Mukai transforms, ariv: v1. Ariv e-prints, January [2] A. A. Beĭlinson. Coherent sheaves on P n and problems in linear algebra. Funktsional. Anal. i Prilozhen., 12(3):68 69, [3] Marcel Bökstedt and Amnon Neeman. Homotopy limits in triangulated categories. Compositio Math., 86(2): , [4] A. Bondal and M. van den Bergh. Generators and representability of functors in commutative and noncommutative geometry. Mosc. Math. J., 3(1):1 36, 258, [5] Paul Bressler, Alexander Gorokhovsky, Ryszard Nest, and Boris Tsygan. Deformation quantization of gerbes. Adv. Math., 214(1): , [6] D. Calaque and G. Halbout. Weak quantization of Poisson structures, ariv: Ariv e-prints, July [7] Hou-Yi Chen. GAGA for DQ-algebroids. Rend. Semin. Mat. Univ. Padova, 123: , 2010.

21 DG AFFINITY OF DQ-MODUES 21 [8] M. Kashiwara and P. Schapira. Deformation quantization modules, ariv: v2. Ariv e-prints, March 2010, to appear in Astérisque (2011). [9] Masaki Kashiwara and Pierre Schapira. Categories and sheaves, volume 332 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, [10] Bernhard Keller. Deriving DG categories. Ann. Sci. École Norm. Sup. (4), 27(1):63 102, [11] Bernhard Keller. On the construction of triangle equivalences. In Derived equivalences for group rings, volume 1685 of ecture Notes in Math., pages Springer, Berlin, [12] Bernhard Keller. On differential graded categories. In International Congress of Mathematicians. Vol. II, pages Eur. Math. Soc., Zürich, [13] Maxim Kontsevich. Deformation quantization of algebraic varieties. ett. Math. Phys., 56(3): , EuroConférence Moshé Flato 2000, Part III (Dijon). [14] I. Moerdijk. Introduction to the language of stacks and gerbes,ariv:math/ Ariv Mathematics e-prints, December [15] Amnon Neeman. The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel. Ann. Sci. École Norm. Sup. (4), 25(5): , [16] Amnon Neeman. Triangulated categories, volume 148 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, [17] Daniel Quillen. Higher algebraic K-theory. I. In Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pages ecture Notes in Math., Vol Springer, Berlin, [18] Douglas C. Ravenel. ocalization with respect to certain periodic homology theories. Amer. J. Math., 106(2): , [19] Raphaël Rouquier. Dimensions of triangulated categories. J. K-Theory, 1(2): , [20] B. Toen. Derived Azumaya s algebras and generators for twisted derived categories, ariv: v1. Ariv e-prints, February [21] A. Yekutieli. Twisted Deformation Quantization of Algebraic Varieties, ariv: v2. Ariv e-prints, May Institut de Mathématiques de Jussieu, UPMC, 4, place Jussieu, Paris Cedex 05, FRANCE. address: fpetit@math.jussieu.fr