arxiv: v3 [math.ag] 19 Nov 2012

Transcription

1 RIEMNN-ROCH THEOREM FOR DG GERS by arxiv: v3 [math.g] 19 Nov 2012 François Petit bstract. Given a smooth proper dg-algebra, a perfect dg -module M and an endomorphism f of M, we define the Hochschild class of the pair (M,f) with values in the Hochschild homology of the algebra. Our main result is a Riemann-Roch type formula involving the convolution of two such Hochschild classes. 1. Introduction n algebraic version of the Riemann-Roch formula was recently obtained by D. Shklyarov [25] in the framework of the so-called noncommutative derived algebraic geometry. More precisely, motivated by the well known result of. ondal and M. Van den ergh about "dg-affinity" of classical varieties, D. Shklyarov has obtained a formula for the Euler characteristic of the Homcomplex between two perfect modules over a dg-algebra in terms of the Euler classes of the modules. On the other hand, M. Kashiwara and P. Schapira [12] initiated an approach to the Riemann-Roch theorem in the framework of deformation quantization modules (DQ-modules) with the view towards applications to various index type theorems. Their approach is based on Hochschild homology which, in this setup, admits a description in terms of the dualizing complexes in the derived categories of coherent DQ-modules. The present paper is an attempt to extract some algebraic aspects of this latter approach with the hope that the resulting techniques will provide a uniform point of view for proving Riemann-Roch type results for DQ-modules, D-modules etc. (e.g. the Riemann-Roch-Hirzebruch formula for traces of differential operators obtained by M. Engeli and G. Felder [6]). In this paper, we obtain a Riemann-Roch theorem in the dg setting, similarly as

2 2 FRNÇOIS PETIT D. Shklyarov. However, our approach is really different of the latter one in that we avoid the categorical definition of the Hochschild homology, and use instead the Hochschild homology of the ring expressed in terms of dualizing objects. Our result is slightly more general than the one obtained in [25]. Instead of a kind of non-commutative Riemann-Roch theorem, we rather prove a kind of non-commutative efschetz theorem. Indeed, it involves certain Hochschild classes of pairs (M,f) where M is a perfect dg module over a smooth proper dg algebra and f is an endomorphism of M in the derived category of perfect -modules. Moreover, our approach follows [12]. In particular, we have in our setting relative finiteness and duality results (Theorem 3.16 and Theorem 3.27) that may be compared with [12, Theorem 3.2.1] and [12, Theorem 3.3.3]. Notice that the idea to approach the classical Riemann-Roch theorem for smooth projective varieties via their Hochschild homology goes back at least to the work of N. Markarian [17]. This approach was developed further by. Căldăraru [3], [4] and. Căldăraru, S. Willerton [5] where, in particular, certain purely categorical aspects of the story were emphasized. The results of [3] suggested that a Riemann-Roch type formula might exist for triangulated categories of quite general nature, provided they possess Serre duality. In this categorical framework, the role of the Hochschild homology is played by the space of morphisms from the inverse of the Serre functor to the identity endofunctor. In a sense, our result can be viewed as a non-commutative generalization of. Căldăraru s version of the topological Cardy condition [3]. Our original motivation was different though it also came from the theory of DQ-modules [12]. Here is our main result: Theorem. et be a proper, homologically smooth dg algebra, M D perf (), f Hom (M,M) and N D perf ( op ), g Hom op(n,n). Then hh k (N M,g f) = hh op(n,g) hh (M,f), where is a pairing between the corresponding Hochschild homology groups and where hh (M,f) is the Hochschild class of the pair (M,f) with value in the Hochschild homology of. The above pairing is obtained using Serre duality in the derived category of perfect complexes and, thus, it strongly resembles analogous pairings, studied in some of the references previously mentioned (cf. [3], [12], [26]). We prove that various methods of constructing a pairing on Hochschild homology lead to the same result. Notice that in [23],. Ramadoss studied the links between different pairing on Hochschild homology.

3 RIEMNN-ROCH THEOREM FOR DG GERS 3 To conclude, we would like to mention the recent paper by. Polishchuk and. Vaintrob [21] where a categorical version of the Riemann-Roch theorem was applied in the setting of the so-called andau-ginzburg models (the categories of matrix factorizations). We hope that our results, in combination with some results by D. Murfet [18], may provide an alternative way to derive the Riemann-Roch formula for singularities. cknowledgement. I would like to express my gratitude to my advisor P. Schapira for suggesting this problem to me, for his guidance and for his support. I am very grateful to Y. Soibelman for carefully explaining his article [15] to me and to. Keller for patiently answering my questions about dg categories. I would like to thank. Căldăraru for explaining his articles to me and K. Ponto for explanations concerning her works [22]. I would like to warmly thank D. Shklyarov and G. Ginot for many useful discussions and precious advices. Finally, I would like to thank Damien Calaque and Michel Vaquié for their thorough reading of the manuscript and numerous remarks which have allowed substantial improvements. 2. Conventions ll along this paper k is a field of characteristic zero. k-algebra is a k- module equiped with an associative k-linear multiplication admitting a two sided unit 1. ll the graded modules considered in this paper are cohomologically Z- graded. We abbreviate differential graded module (resp. algebra) by dg module (resp. dg algebra). If is a dg algebra and M and N are dg -modules, we write Hom (M,N) for the total Hom-complex. If M is a dg k-module, we define M = Hom k (M,k) where k is considered as the dg k-module whose 0-th components is k and other components are zero. We write for the tensor product over k. If x is an homogeneous element of a differential graded module we denote by x its degree. If is a dg algebra we will denote by op the opposite dg algebra. It is the same as a differential graded k-module but the multiplication is given by a b = ( 1) a b ba. We denote by e the dg algebra op and by e the algebra op.

4 4 FRNÇOIS PETIT y a module we understand a left module unless otherwise specified. If and are dg algebras, - bimodules will be considered as left op - modules via the action ab m = ( 1) b m amb. If we want to emphasize the left (resp. right) structure of an - bimodule we will write M (resp. M ). If M is an op -modules, then we write M op for the corresponding op -module. Notice that (M op ) (M ) op as op -modules. 3. Perfect modules 3.1. Compact objects. We recall some classical facts concerning compact objects in triangulated categories. We refer the reader to [20]. et T be a triangulated category admitting arbitrary small coproducts. Definition 3.1. n object M of T is compact if for each family (M i ) i I of objects of T the canonical morphism (3.1) Hom T (M,M i ) Hom T (M, i ) i IM i I is an isomorphism. We denote by T c the full subcategory of T whose objects are the compact objects of T. Recall that a triangulated subcategory of T is called thick if it is closed under isomorphisms and direct summands. Proposition 3.2. The category T c is a thick subcategory of T. We prove the following fact that will be of constant use. Proposition 3.3. et T and S be two triangulated categories and F and G two functors of triangulated categories from T to S with a natural transformation α : F G. Then the full subcategory T α of T whose objects are the X such that α X : F(X) G(X) is an isomorphism, is a thick subcategory of T. Proof. The category T α is non-empty since 0 belongs to it and it is stable by shift since F and G are functors of triangulated categories. Moreover, the category T α is a full subcategory of a triangulated category. Thus, to verify that T α is triangulated, it only remains to check that it is stable by taking cones. et f : X Y be a morphism of T α. Consider a distinguished triangle in T X f Y Z X[1].

5 RIEMNN-ROCH THEOREM FOR DG GERS 5 We have the following diagram F(X) F(f) F(Y) F(Z) F(X[1]) α X α Y α Z α X [1] G(X) G(f) G(Y) G(Z) G(X[1]). y the five emma it follows that the morphism α Z is an isomorphism. Therefore, Z belongs to T α. This implies that the category T α is triangulated. It is clear that T α is closed under isomorphism. Since F and G are functors of triangulated categories they commutes with finite direct sums. Thus, T α is stable under taking direct summands. It follows that T α is a thick subcategory of T. Definition 3.4. The triangulated category T is compactly generated if there is a set G of compact objects G such that an object M of T vanishes if and only if we have Hom T (G[n],M) 0 for every G G and n Z. Theorem 3.5 ([19, 24]). et G be as in Definition 3.4. n object of T is compact if and only if it is isomorphic to a direct factor of an iterated triangle extension of copies of object of G shifted in both directions. Remark 3.6. The above theorem implies that the category of compact objects is the smallest thick subcategory of T containing G The category of perfect modules. In this section, following [14], we recall the definition of the category of perfect modules. et be a differential graded algebra. One associates to its category of differential graded modules, denoted C(), whose objects are the differential graded modules and whose morphisms are the morphisms of chain complexes. Recall that the category C() has a compactly generated model structure, called the projective structure, where the weak equivalences are the quasiisomorphisms, the fibrations are the level-wise surjections. The reader may refer to [10] for model categories and to [7, ch.11] for a detailed account on the projective model structure of C(). The derived category D() is the localisation of C() with respects to the class of quasi-isomorphisms. The category D() is a triangulated category, it admits arbitrary coproducts and is compactly generated by the object. Theorem 3.5 leads to Proposition 3.7 which allows us to define perfect modules in terms of compact objects. Proposition 3.7. n object of D() is compact if and only if it is isomorphic to a direct factor of an iterated extension of copies of shifted in both directions.

6 6 FRNÇOIS PETIT Definition 3.8. differential graded module is perfect if it is a compact object of D(). We write D perf () for the category of compact objects ofd(). Remark 3.9. This definition implies immediatly that M is a perfect k- module if and only if i dim kh i (M) <. direct consequence of Proposition 3.7 is Proposition et and be two dg algebras and F : D() D() a functor of triangulated categories. ssume that F() belongs to D perf (). Then, for any X in D perf (), F(X) is an object of D perf (). Proposition et and be two dg algebras and F,G : D() D() two functors of triangulated categories and α : F G a natural transformation. If α : F() G() is an isomorphism then α M : F(M) G(M) is an isomorphism for every M D perf (). Proof. y Proposition 3.3, the category T α is thick. This category contains by hypothesis. It follows by Remark 3.6 that T α = D perf (). Definition dg -module M is a finitely generated semi-free module if it can be obtain by iterated extensions of copies of shifted in both directions. Proposition (i) Finitely generated semi-free modules are cofibrant objects of C() endowed with the projective structure. (ii) perfect module is quasi-isomorphic to a direct factor of a finitely generated semi-free module. Proof. (i) is a direct consequence of [7, Proposition ]. (ii) follows from Proposition 3.7 and from the facts that, in the projective structure, every object is fibrant and finitely generated semi-free modules are cofibrant. Remark The above statement is a special case of [27, Proposition 2.2] Finiteness results for perfect modules. We summarize some finiteness results for perfect modules over a dg algebra satisfying suitable finiteness and regularity hypothesis. The main reference for this section is [27]. Most of the statements of this subsection and their proofs can be found in greater generality in [27, 2.2]. For the sake of completeness, we give the proof of these results in our specific framework.

7 RIEMNN-ROCH THEOREM FOR DG GERS 7 Definition dg k-algebra is said to be proper if it is perfect over k. The next theorem, though the proof is much easier, can be thought as a dg analog to the theorem asserting the finiteness of proper direct images for coherent O X -modules. Theorem et, and C be dg algebras. ssume is a proper dg algebra. Then the functor : D( op ) D( C op ) D( C op ) induces a functor : D perf ( op ) D perf ( C op ) D perf (C op ). Proof. ccording to Proposition 3.10, we only need to check that ( op ) (C op ) op C op D perf (C op ). InC(k), is homotopically equivalent to H() := n Z Hn ()[n] since k is a field. Then, in C(C op ), op C op is homotopically equivalent to H( op ) C op which is a finitely generated free C op -module since is proper. We recall a regularity condition for dg algebra called homological smoothness, [15], [27]. Definition dg-algebra is said to be homologically smooth if D perf ( e ). Proposition The tensor product of two homologically smooth dgalgebras is an homologically smooth dg-algebra. Proof. Obvious. There is the following characterization of perfect modules over a proper homologically smooth dg algebra extracted from [27, Corollary 2.9]. Theorem et be a proper dg algebra. et N D(). (i) If N D perf () then N is perfect over k. (ii) If is homologically smooth and N is perfect over k then N D perf (). Proof. We follow the proof of [26]. (i) pply Proposition (ii) ssume that N D() is perfect over k. et us show that the triangulated functor N : D( e ) D() induces a triangulated functor

8 8 FRNÇOIS PETIT N : D perf ( e ) D perf (). et pn be a cofibrant replacement of N. Then e N e pn pn. In C(k), pn is homotopically equivalent to H(pN) := n Z Hn (pn)[n]. Thus, there is an isomorphism in D() between k pn and k H(pN). The dg -module k H(pN) is perfect. Thus, by Proposition 3.10, the functor N preserves perfect modules. Since is homologically smooth, belongs to D perf ( e ). Then, N N belongs to D perf (). similar argument leads to (see [27, emma 2.6]) emma If is a proper algebra then D perf () is Ext-finite Serre duality for perfect modules. In this subsection, we recall some facts concerning Serre duality for perfect modules over a dg algebra and give various forms of the Serre functor in this context. References are made to [2], [8], [25]. et us recall the definition of a Serre functor, [2]. Definition et C be a k-linear Ext-finite triangulated category. Serre functor S : C C is an autoequivalence of C such that there exist an isomorphism (3.2) Hom C (Y,X) Hom C (X,S(Y)) functorial with respect to X and Y where denote the dual with respect to k. If it exists, such a functor is unique up to natural isomorphism. Notation We set D = RHom (,) : (D()) op D( op ). Proposition The functor D preserves perfect modules and induces an equivalence (D perf ()) op D perf ( op ). When restricted to perfect modules, D op D id. Proof. See [26, Proposition.1]. Proposition Suppose N is a perfect -module and M is an arbitrary left op -module, where is another dg algebra. Then there is a natural isomorphism of -modules (3.3) (RHom (N,M)) (M ) op N

9 RIEMNN-ROCH THEOREM FOR DG GERS 9 Theorem In D perf (), the endofunctor RHom (,) is isomorphic to the endofunctor ( op ). Proof. This result is a direct corollary of Proposition 3.24 by choosing M = and =. emma 3.26 and Theorem 3.27 are probably well known results. Since we do not know any references for them, we shall give detailed proofs. emma et be a proper dg algebra, M D perf ( op ) and N D perf ( C op ). There are the following canonical isomorphisms respectively in D perf ( op C) and D perf ( op C): (3.4) oprhom C op(n, Cop ) RHom C op(n,c op ) RHom op(m,rhom C op(n,c op )) (3.5) RHom C op(m N,C op ). Proof. (i) et us prove formula (3.4). et N C( C op ). There is a morphism of op C modules Ψ N : op Hom C op(n, Cop ) Hom C op(n,cop ) such that Ψ N (δ op φ) = m (δ id C op) φ where m : k C op C op and m(λc) = λ c. Clearly, Ψ is a natural transformation between the functor op Hom C op(, Cop ) and Hom C op(,cop ). For short, we set F(X) = oprhom C op(x, Cop ) and G(X) = RHom C op(x,c op ). If X is a direct factor of a finitely generated semi-free C op -module, we obtain that RHom C op(x,c op ) Hom C op(x,cop ) and the op C-module Hom C op(x,cop ) is flat over op since it is flat over op C. y emma of [9] we can use flat replacements instead of cofibrant one to compute derived tensor products. Thus F(X) op Hom C op(x, C op ). Since C op is a cofibrant C op -module, it follows that the forgetful functor from C(C op ) to C(C op ) preserves cofibrations. Thus, X is a cofibrant C op - module. It follows that G(X) Hom C op(x,c op ). Therefore, Ψ induces a natural transformation from F to G when they are restricted tod perf (C op ).

10 10 FRNÇOIS PETIT ssume that X = C op. Then we have the following commutative diagram op Hom C op( Cop, C op ) Ψ C op Hom C op( Cop,C op ) op op C Hom k (,Hom C op(cop,c op ) C Hom k (,C) which proves that Ψ C op is an isomorphism. The bottom map of the diagram is an isomorphism because is proper. Hence, by Proposition 3.11, Ψ X is an isomorphism for any X in D perf ( C op ) which proves the claim. (ii) et us prove formula (3.5). We first notice that there is a morphism of C op -modules functorial in M and N Θ : Hom op(m,hom C op(n,cop )) Hom C op(m N,C op ) defined by ψ (Ψ : mn ψ(m)(n)). If M = op and N = C op, then it induces an isomorphism. y applying an argument similar to the previous one, we are able to establish the isomorphism (3.5). The next relative duality theorem can be compared to [12, Thm 3.3.3] in the framework of DQ-modules though the proof is completely different. Theorem ssume that is proper. et M D perf ( op ) and N D perf ( C op ). There is a natural isomorphism in D perf ( op C) Proof. We have D (M) D op(m) op opd (N) op RHom op(m, op ) opd C op(n) D C op(m N). op oprhom C op(n, Cop ) RHom op(m, op ) op RHom C op(n,c op ) RHom op(m,rhom C op(n,c op )) RHom C op(m N,C op ).

11 RIEMNN-ROCH THEOREM FOR DG GERS 11 One has (see for instance [8]) Theorem et be a proper homologically smooth dg algebra. The functor N ( op ) N,D perf () D perf () is a Serre functor. Proof. ccording to emma 3.20, D perf () is an Ext-finite category. y Theorem 3.25, the functor ( op ) is isomorphic to the functor RHom (,). Moreover using Theorem 3.19 and Proposition 3.23 one sees that RHom (,) is an equivalence on D perf () and so is the functor ( op ). y applying Theorem 3.27 with = C = k, = op, N = M and M = RHom (N,) one obtains RHom (N,( op ) M) RHom (M,N). Definition One sets S : D perf () D perf (), N ( op ) N for the Serre functor of D perf (). The Serre functor can also be expressed in term of dualizing objects. They are defined by [15], [1], [8]. Related results can also be found in [11]. One sets: := RHome ( op, e ) = D e (op ), ω := RHom (,) = D ( ). The structure of e -module of is clear. The object ω inherits a structure of op -module from the structure of op -module of and a structure of - module from the structure of op -module of. This endows ω with a structure of e -modules. Since is a smooth dg algebra, it is a perfect e -module. Proposition 3.23 ensures that is a perfect e -module. Finally, Proposition 3.19 shows that ω is a perfect e -module. Proposition The functor ω. One also has, [8] Theorem The two functors D perf () are quasi-inverse. is left adjoint to the functor and S from D perf () to

12 12 FRNÇOIS PETIT Proof. The functor S is an autoequivalence. Thus, it is a right adjoint of its inverse. We prove that is a left adjoint to S. On the one hand we have for every N,M D perf () the isomorphism Hom Dperf ()(N,S (M)) (Hom Dperf ()(M,N)). On the other hand we have the following natural isomorphisms RHom ( Using the isomorphism we obtain the desired result. N,M) (M N) (( )op e(n M )) RHom e(rhome ( op, e ),(N M )) RHom e(,(n M )). Hom Dperf ( e )(,N M ) Hom Dperf ()(M,N), Corollary The functors : D perf () D perf () and ω D perf () D perf () are equivalences of categories. Corollary The natural morphisms in D perf ( e ) are isomorphisms. Proof. The functor RHom (,ω 1 ) RHom (ω,ω ) RHom (,) RHom ( Since induces a morphism in D( e ), is an equivalence of category, for every i Z Hom (,[i]) Hom (,ω 1 [i]). ) RHom (,ω 1 ). The results follows immediately. The proof is similar for the second morphism. :

13 RIEMNN-ROCH THEOREM FOR DG GERS 13 Proposition et be a proper homologically smooth dg algebra. We have the isomorphisms of e -modules Proof. We have ω, ω 1 ω. ω RHom (,) RHom (,ω 1 ). For the second isomorphism, we remark that and RHom (ω,) ω RHom (ω,ω ), RHom (ω,) RHom (ω,) ω which conclude the proof. Corollary et be a proper homologically smooth dg algebra. The two objects ( op ) and ω of D perf ( e ) are isomorphic. Proof. pplying Theorem 3.27 with = = C = op, M = N = op, we get that Corollary ( op ) ω 1 in D perf( e ). Then, the result follows from Remark Since ω and ( op ) are isomorphic as e -modules, we will use ω to denote both ( op ) and RHom (,) considered as the dualizing complexes of the category D perf (). The previous results allow us to build an "integration" morphism. Proposition There exists a natural "integration" morphism in D perf (k) ω op e k.

14 14 FRNÇOIS PETIT Proof. There is a natural morphism k RHom e(,). pplying ( ) and formula (3.3) with = e and = k, we obtain a morphism k. e Here, is endowed with its standard structure of right e -modules that is to say with its standard structure of left e -module. Thus, ω op e k. e Corollary There exists a canonical map ω k in D perf (k) induced by the morphism of Proposition Hochschild homology and Hochschild classes 4.1. Hochshchild homology. In this subsection we recall the definition of Hochschild homology, (see [13], [16]) and prove that it can be expressed in terms of dualizing objects, (see [3], [5], [12], [15]). Definition 4.1. The Hochshchild homology of a dg algebra is defined by HH() := op e. The Hochschild homology groups are defined by HH n () = H n ( op e). Proposition 4.2. If is a proper and homologically smooth dg algebra then there is a natural isomorphism (4.1) HH() RHom e(,). Proof. We have op e (D e D e (op )) e D e(ω 1 ) e RHom e(,). Remark 4.3. There is also a natural isomorphism HH() RHom e(,ω ). It is obtain by adjunction from isomorphism (4.1). There is the following natural isomorphism.

15 RIEMNN-ROCH THEOREM FOR DG GERS 15 Proposition 4.4. et and be a dg algebras. et M D perf () and S D perf () and N D() and T D() then RHom (M S,N T) RHom (M,N)RHom (S,T). Proof. clear. special case of the above proposition is Proposition 4.5 (Künneth isomorphism). et and be proper homologically smooth dg algebras. There is a natural isomorphism K, : HH()HH() HH() The Hochschild class. In this subsection, following [12], we construct the Hochschild class of an endomorphism of a perfect module and describe the Hochschild class of this endomorphism when the Hochschild homology is expressed in term of dualizing objects. To build the Hochschild class, we need to construct some morphism of D perf ( e ). emma 4.6. et M be a perfect -module. There is a natural isomorphism (4.2) RHom (M,M) Proof. We have RHom e(,m D M). RHom (M,M) D M M op e(m D M) RHom e(,m D M). Thus, we get an isomorphism (4.3) RHom (M,M) RHom e(,m D M). Definition 4.7. The morphism η in D perf ( e ) is the image of the identity of M by morphism (4.2) and ε in D perf ( e ) is obtained from η by duality. (4.4) η : M D M, (4.5) ε : M D M. The map η is called the coevaluation map and ε the evaluation map.

16 16 FRNÇOIS PETIT pplying D e to (4.4) we obtain a map D e(m D M) op. Then using the isomorphism of Proposition 4.4, D e(m D M) D (M)D op(d M) D (M)M, we get morphism (4.5). et us define the Hochschild class. We have the following chain of morphisms RHom (M,M) D M M We get a map op e(m D M) idε op e. (4.6) Hom Dperf ()(M,M) HH 0 (). Definition 4.8. The image of an element f Hom Dperf ()(M,M) by the map (4.6) is called the Hochschild class of f and is denoted hh (M,f). The Hochschild class of the identity is denoted hh (M) and is called the Hochschild class of M. Remark 4.9. If = k and M D perf (k), then hh k (M,f) = i ( 1) i Tr(H i (f : M M)), see for instance [12]. emma The isomorphism (4.1) sends hh (M,f) to the image of f under the composition RHom (M,M) RHom e(,m D M) ε RHom e(,) where the first morphism is defined in (4.2) and the second morphism is induced by the evaluation map.

17 RIEMNN-ROCH THEOREM FOR DG GERS 17 Proof. This follows from the commutative diagram: RHom (M,M) op e(m D M) id ε op e id RHom (M,M) RHom e(,m D M) ε RHom e(,). Remark Our definition of the Hochschild class is equivalent to the definition of the trace of a 2-cell in [22]. This equivalence allows us to use string diagrams to prove some properties of the Hochschild class, see [22] and [3], [5]. Proposition et M,N D perf (), g Hom (M,N) and h Hom (N,M) then hh (N,g h) = hh (M,h g). Proof. See for instance [22, 7]. 5. pairing on Hochschild homology In this section, we build a pairing on Hochschild homology. It acts as the Hochschild class of the diagonal, (see [12], [3], [5], [25]). Using this result, we prove our Riemann-Roch type formula. We follow the approach of [12] Hochschild homology and bimodules. In this subsection, we translate to our language the classical fact that a perfect op -module induces a morphism from HH() to HH(). We need the following technical lemma which generalizes emma 4.6. emma 5.1. et K D perf ( op ). et C = op. Then, there are natural morphisms in D perf ( e ) which coincide with (4.4) and (4.5) when = k, K D C K, (5.1) K ω D C K. Proof. y (4.4), we have a morphism in D perf ( op op ) C K D CK.

18 18 FRNÇOIS PETIT pplying the functor we obtain e, and by Proposition 4.4 C e K D CK e C ω 1 ω 1 op D e(). Then there is a sequence of isomorphisms RHom e(,) (D e and there is a natural arrow maps, we obtain the morphism e) C e id1 RHom e(,). Composing these ω 1 (D e ω 1 e) C e (K D CK) e. For the map (5.1), we have a morphism in D perf ( op op ) given by the map (4.5) K D CK C. Then applying the functor eω, we obtain (K D C K) eω C eω ( op ) eω. Composing with the natural "integration" morphism of Proposition 3.37, we get which proves the lemma. (K D CK) eω We shall show that an object in D perf ( op ) induces a morphism between the Hochschild homology of and that of. et K D perf ( op ). We set C = op and S = K(ω D C (K)) D( e ( e ) op ). We have S eω 1 K K D C (K) ω D C (K) S e K ω D C (K).

19 RIEMNN-ROCH THEOREM FOR DG GERS 19 The map (5.2) Φ K : HH() HH(). is defined as follow. RHom e(,) RHom C(S,S ) RHom e(,). The last arrow is associated with the morphisms in emma 5.1. This defines the map (5.2) pairing on Hochschild homology. In this subsection, we build a pairing on the Hochschild homology of a dg algebra. It acts as the Hochschild class of the diagonal, (see [12], [3], [5], [25]). We also relate Φ K to this pairing. natural construction to obtain a pairing on the Hochshild homology of a dg algebra is the following one. Consider as a perfect k e bimodule. The morphism (5.2) with K = provides a map Φ : HH( e ) HH(k). We compose Φ with K op, and get (5.3) HH( op )HH() k. Taking the 0 t h degree homology, we obtain (5.4), : ( n ZHH n ( op )HH n ()) k. In other words, = H 0 (Φ ) H 0 (K op,). However, it is not clear how to express Φ K in term of the Hochschild class of K using the above construction of the pairing. Thus, we propose another construction of the pairing and shows it coincides with the previous one. Proposition 5.2. et,, C be three proper homologically smooth dg algebras and K an object of D perf ( op ). There is a natural map HH( op )HH( C op ) HH(C op ) inducing, for every i Z, an operation : n Z(HH n ( op )HH n+i ( C op )) HH i (C op ) such that for every λ HH i ( C op ), H i (Φ K id)(λ) = hh op(k) λ. efore proving Proposition 5.2, let us do the following remark.

20 20 FRNÇOIS PETIT Remark 5.3. et M D perf (). There is an isomorphism in D perf (k) ω M M opω op. The next proof explains the construction of : n Z (HH n( op ) HH n+i ( C op )) HH i ( C op ). We also prove the equality H i (Φ K id)(λ) = hh op(k) λ. Proof of Proposition 5.2. We have (i) We identify ( op ) op and op. HH( op ) RHom e e ( op, op ) RHom e e ( ω 1 op opω op,op RHom e e ( op,ω op). opω op) et S = op and T = ω op. Similarly, we define S C and T C. Then, we get HH( op )HH( C op ) RHom e e (S,T )RHom e e C(S C,T C ) RHom e e C(S es C,T et C). Using the morphism k RHome ( op, op ), we get Thus, we get k op eω 1. Cop ( op ) e(ω 1 Cop ). We know by Proposition 3.37 that there is a morphism we deduce a morphism ω op e k. Therefore we get (ω op) e( ω C op) ω C op. HH( op )HH( C op ) HH(C op ).

21 RIEMNN-ROCH THEOREM FOR DG GERS 21 Finally, taking the cohomology we obtain, (HH n ( op )HH n+i ( C op )) HH i (C op ). n Z (ii) We follow the proof of [12]. We only need to prove the case where C = k. The general case being a consequences of emma 5.4 (i) below. We set P = op. et α = hh op(k). We assume that λ HH 0 (). The proof being similar if λ HH i (). y Proposition 4.10, α can be viewed as a morphism of the form op K D P (K) op. We consider λ as a morphism. Then, following the construction of Φ K, we observe that Φ K (λ) is obtained as the composition K D P K λ K ω D P K We have the following commutative diagram in D perf (k). ( op ) eω 1 (( ω 1 op) ω op) op e ( opω op) eω 1 (K ω D P K) eω 1 K ω λ λ λ λ ω op e (( ω 1 op) ω op) op e ( op opω op) e (K ω D P K) e D P K λ K ω D P K K ω ((K D P K) opω op) e ( op opω op) e ω op e D P K. This diagram is obtained by computing H 0 (Φ K )(λ) and α λ. The left column and the row on the bottom induces H 0 (Φ K )(λ) whereas the row on the top and the right column induces α λ. This diagram commutes, consequently H 0 (Φ K )(λ) = hh op(k) λ.

22 22 FRNÇOIS PETIT We now give some properties of this operation. emma 5.4. et,, C and S be proper homologically smooth dg algebras, λ op HH i ( op ). Then (i) ( id) = (id ) = op. (ii) hh op() λ op = λ op and λ op hh op() = λ op. Proof. (i) is obtained by a direct computation using the definition of (ii) results from Proposition 5.2 (ii) by noticing that Φ and Φ are equal to the identity. From this natural operation we are able to deduce a pairing on Hochschild homology. Indeed using Proposition 5.2 we obtain a pairing (5.5) : n Z(HH n ( op )HH n ()) HH 0 (k) k. To relate the two preceding constructions of the pairing, we introduce a third way to construct it. Proposition 5.2 gives us a map e : n Z(HH n ( e )HH n ( e )) HH 0 (k) k. Then there is a morphism HH n ( op )HH n () k Using Proposition 5.2, we get that y emma 5.4, we have λµ hh e() e (λµ). H i (Φ )(λµ) = hh e() e (λµ). hh e() e (λµ) = (λ hh op()) µ = λ µ. This proves that these three ways of defining a pairing lead to the same pairing. It also shows that the pairing is equivalent to the action of the Hochschild class of the diagonal.

23 RIEMNN-ROCH THEOREM FOR DG GERS Riemann-Roch formula for dg algebras. In this section we prove the Riemann-Roch formula announced in the introduction. Proposition 5.5. et M D perf ( e ) and let f Hom (M,M). Then hh k ( M,id e = hh e f) e() hhe (M,f) Proof. et λ = hhe (M,f) HH 0 ( e ) Hom ( e ) e(ω 1 e,e ). s previously, we set = e. We denote by f the image of f in Hom e(,m D M) by the isomorphism (4.2) and by id e f the image of id e by the f isomorphism (4.2) applied with = k and M = M. We obtain the commutative diagram below. k id e f ω f D op λ (M D M) ω D op ( M)D k ( M) ω D op ε k The map k ω with = k, = e, K =. Then, k D op D op is obtained by applying emma 5.1 ω D op. The morphism ω D op k is obtained as the composition of with ω D op ω D op (5.6) ω D op k. The morphism (5.6) is the map (5.1) with = k, = e, K =. The vertical isomorphism is obtained by applying Theorem 3.27 with = C = k, = op, M = M and N =.

24 24 FRNÇOIS PETIT y emma 4.10, the composition of the arrows on the bottom is hh k ( M,id e and the composition of the arrow on the top is e f) H 0 (Φ (hhe (M,f))). It results from the commutativity of the diagram that hh k ( f) = H M,id 0 (Φ )(hhe (M,f)). e e Then using Proposition 5.2 we get hh k ( f) = hh M,id e() hhe (M,f). e e We state and prove our main result which can be viewed as a noncommutative generalization of. Căldăraru s version of the topological Cardy condition [3]. Theorem 5.6. et M D perf (), f Hom (M,M) and N D perf ( op ), g Hom op(n,n). Then hh k (N M,g f) = hh op(n,g) hh (M,f). where is the pairing defined by formula (5.5). Proof. et u be the canonical isomorphism from M) to N e (N M. y definition of the pairing we have hh op(n,g),hh (M,f) = H 0 (Φ ) H 0 (K op,)(hh op(n,g)hh (M,f)) = hh e() hhe (N M,g f) = hh k ( (N M),id e f)) e (g = hh k ( M),u e (N 1 (g f) u) = hh k (N M,g f). The last equality is a consequence of Proposition Remark 5.7. y adapting the proof of Proposition 5.5, we are also able to obtain the following result that should be compared to [12, Theorem 4.3.4]

25 RIEMNN-ROCH THEOREM FOR DG GERS 25 Theorem 5.8. et,, C be proper homologically smooth dg algebras. et K 1 D perf ( op ), K 2 D perf ( C op ), f 1 Hom op(k 1,K 1 ) and f 2 Hom C op(k 2,K 2 ). Then hh C op(k 1 K 2,f 1 f 2 ) = hh op(k 1,f 1 ) hh C op(k 2,f 2 ). References [1] M. van den ergh Existence theorems for dualizing complexes over noncommutative graded and filtered rings, J. lgebra 195 (1997), no. 2, p [2]. ondal & M. Kapranov Representable functors, Serre functors, and reconstructions, Izv. kad. Nauk SSSR Ser. Mat. 53 (1989), no. 6, p , [3]. Căldăraru The Mukai pairing, I: the Hochschild structure, arxiv:math/ , rxiv Mathematics e-prints (2003). [4], The Mukai pairing. II. The Hochschild-Kostant-Rosenberg isomorphism, dv. Math. 194 (2005), no. 1, p [5]. Căldăraru & S. Willerton The Mukai pairing. I. categorical approach, New York J. Math. 16 (2010), p [6] M. Engeli & G. Felder Riemann-Roch-Hirzebruch formula for traces of differential operators, nn. Sci. Éc. Norm. Supér. (4) 41 (2008), no. 4, p [7]. Fresse Modules over operads and functors, ecture Notes in Mathematics, vol. 1967, Springer-Verlag, erlin, [8] V. Ginzburg ectures on Noncommutative Geometry, arxiv:math/ , rxiv Mathematics e-prints (2005). [9] V. Hinich Homological algebra of homotopy algebras, Comm. lgebra 25 (1997), no. 10, p [10] M. Hovey Model categories, Mathematical Surveys and Monographs, vol. 63, merican Mathematical Society, Providence, RI, [11] P. Jørgensen uslander-reiten theory over topological spaces, Comment. Math. Helv. 79 (2004), no. 1, p [12] M. Kashiwara & P. Schapira Deformation quantization modules, arxiv: v2, stérisque (2012). [13]. Keller Invariance and localization for cyclic homology of DG algebras, J. Pure ppl. lgebra 123 (1998), no. 1-3, p [14], On differential graded categories, in International Congress of Mathematicians. Vol. II, Eur. Math. Soc., Zürich, 2006, p [15] M. Kontsevich & Y. Soibelman Notes on -algebras, -categories and non-commutative geometry, in Homological mirror symmetry, ecture Notes in Phys., vol. 757, Springer, erlin, 2009, p

26 26 FRNÇOIS PETIT [16] J.. oday Cyclic homology, second ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 301, Springer-Verlag, erlin, 1998, ppendix E by María O. Ronco, Chapter 13 by the author in collaboration with Teimuraz Pirashvili. [17] N. Markarian The tiyah class, Hochschild cohomology and the Riemann- Roch theorem, arxiv:math/ , rxiv Mathematics e-prints (2006). [18] D. Murfet Residues and duality for singularity categories of isolated Gorenstein singularities, arxiv: v2, rxiv e-prints (2009). [19]. Neeman The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of ousfield and Ravenel, nn. Sci. École Norm. Sup. (4) 25 (1992), no. 5, p [20], Triangulated categories, nnals of Mathematics Studies, vol. 148, Princeton University Press, Princeton, NJ, [21]. Polishchuk &. Vaintrob Chern characters and Hirzebruch-Riemann- Roch formula for matrix factorizations, arxiv: v2, rxiv e-prints (2010). [22] K. Ponto & M. Shulman Traces in symmetric monoidal categories, arxiv: , rxiv e-prints (2011). [23]. C. Ramadoss The Mukai pairing and integral transforms in Hochschild homology, Mosc. Math. J. 10 (2010), no. 3, p , [24] D. C. Ravenel ocalization with respect to certain periodic homology theories, mer. J. Math. 106 (1984), no. 2, p [25] D. Shklyarov Hirzebruch-Riemann-Roch theorem for DG algebras, arxiv: , rxiv e-prints (2007). [26], On Serre duality for compact homologically smooth DG algebras, arxiv:math/ , rxiv Mathematics e-prints (2007). [27]. Toën & M. Vaquié Moduli of objects in dg-categories, nn. Sci. École Norm. Sup. (4) 40 (2007), no. 3, p François Petit, Max Planck Institute for Mathematics, Vivatsgasse 7, onn, Germany petit@mpim-bonn.mpg.de