arxiv: v1 [math.ag] 1 Jun 2015

Size: px
Start display at page:

Download "arxiv: v1 [math.ag] 1 Jun 2015"

Transcription

1 GENERALIZED NON-COMMUTATIVE DEGENERATION CONJECTURE ALEXANDER I. EFIMOV arxiv: v1 [math.ag] 1 Jun 2015 Abstract. In this paper we propose a generalization of the Kontsevich Soibelman conjecture on the degeneration of Hochschild-to-cyclic spectral sequence for smooth and compact DG category. Our conjecture states identical vanishing of a certain map between bi-additive invariants of arbitrary small DG categories over a field of characteristic zero. We show that this generalized conjecture follows from the Kontsevich Soibelman conjecture and the so called conjecture on smooth categorical compactification. Contents 1. Introduction 1 2. DG categories 3 3. Mixed Hochschild complex 5 4. Generalized degeneration conjecture 7 References Introduction It is well known ([Ho], [GH]) that de Rham cohomology of a compact Kähler manifold X carries the Hodge decompositions: H n (X,C) = p+q=n H p,q (X), where H p,q (X) = H q (X,Ω p X ). This implies the following theorem. Theorem 1.1. ([De]) Let Y be a smooth projective algebraic variety over a field k of characteristic zero. Then the spectral sequence degenerates at the second sheet. E p,q 2 = H q (Y,Ω p Y ) Hp+q DR (Y) Here H DR (Y) denotes the algebraic de Rham cohomology, which is defined as hypercohomology of the algebraic de Rham complex (in Zariski topology): H n DR(Y) = H n Zar(Y,(Ω Y,d DR )). Theorem 1.1 was also proved algebraically by Deligne and Illusie [DI], using reduction to positive characteristic and the Cartier isomorphism. Theorem 1.1 can be reformulated as degeneration of the Hochschild-to-cyclic spectral sequence of the DG (differential graded) category Dcoh b (X). Here we identify the triangulated category Db coh (X) with its DG MSC: 18G40, 16E40, 19D55. This work is supported by the RSF under a grant

2 2 ALEXANDER I. EFIMOV enhancement. Kontsevich and Soibelman conjectured that such degeneration takes place for any smooth and compact DG category (see Definition 2.3). Hochschild homology HH (A) and cyclic homology HC (A) of a small DG category A are defined in Section 3. We denote by u a formal variable of cohomological degree 2. Conjecture 1.2. ([KS]) Let A be a smooth and compact DG category over a field k of characteristic zero. Then the spectral sequence E 1 = HH (A) k (k[u ±1 ]/uk[u]) HC (A) degenerates at the first sheet. Itfollows from thepaper[ke1] that Conjecture1.2 inthe case A = Dcoh b (X) is indeed equivalent to Theorem 1.1 for the variety X. This conjecture was proved by Kaledin for DG algebras concentrated in non-negative degrees [Ka], via the method of Delifne Illusie. We propose a certain generalization of Conjecture 1.2, which states identical vanishing of a certain map between bi-additive invariants of small DG categories. In Section 3 (see (3.3)) we define for a small DG category A the boundary map δ : HH n (A) HC n+1 (A), where HC (A) denotes the negative cyclic homology. We put K n (A) = K n (Perf(A)) for all n Z, where we consider Waldhausen K-theory [W]. Recall that we have a functorial Chern character on K-theory with values in Hochschild homology [CT]: ch : K n (A) HH n (A), n Z. This Chern character passes through HC (A) (see [CT]), but we will not need this. Conjecture 1.3. Let B and C be small DG categories over a field k of characteristic zero. We denote by ϕ n the following composition: Then ϕ n = 0 for n 0. ϕ n : K n (B C) ch (HH (B) HH (C)) n id δ (HH (B) HC (C)) n+1. It is not hard to check (see Proposition 4.4) that Conjecture 1.3 implies Conjecture 1.2. Recall a conjecture on smooth categorical compactification. Denote by Ho M (dgcat k ) the homotopy category of small DG categories over k with respect to Morita model structure [Tab]. The notion of homotopically finite DG category is defined in [TV], Definition 2.4. Conjecture 1.4. For any homotopically finite DG category A there exist a smooth and compact DG category à and an object E Ã, such that A = Ã/E in Ho M(dgcat k ). To explain why we call Conjecture 1.4 a conjecture on smooth categorical compactification, we consider the following example. Let X be a smooth algebraic variety over a field k of characteristic zero. According to theorems of Nagata [N] and Hironaka [Hi1], [Hi2], there exists an open embedding X X, where X is a smooth and proper variety over k. Then we have an equivalence Dcoh b (X) = Dcoh b ( X)/D b coh, X\X ( X). Therefore, putting à = Db coh ( X), A = D b coh (X), for any generator E Db coh, X\X ( X) we have a Morita equivalence A Ã/E. Since à is smooth and compact, we can treat the DG category à as smooth categorical compactification of the DG category A.

3 GENERALIZED NON-COMMUTATIVE DEGENERATION CONJECTURE 3 The main result of this paper is the following theorem. Theorem 1.5. Conjectures 1.2 and 1.4 imply Conjecture 1.3. The paper is organized as follows. In Section 2 we recall some basic constructions related with DG categories and their derived categories. Section 3 is devoted to the mixed Hochschild complex and cyclic homology. It consists mainly of definitions. In Section 4 we first proved that Conjecture 1.3 implies Conjecture 1.2 (Proposition 4.4). Then we prove Theorem DG categories We refer the reader to the papers [Ke3], [Ke4] for a general introduction to DG categories and DG modules. DG quotients of DG categories are introduced in the paper[dr]. The notion of homotopically finite DG algebras and DG categories is introduced in the paper [TV]. Fix some basic field k. All DG categories under consideration will be defined over k. Moreover, in this and other sections we put := k, Hom(, ) := Hom k (, ). All DG modules in this paper are right by default. For a DG category A we denote by A op the opposite DG category. For a DG functor F : A B we denote by F op : A op B op the corresponding functor between the opposite DG categories. For a pair of DG functors F 1 : A 1 B 1, F 2 : A 2 B 2 we denote by F 1 F 2 : A 1 A 2 B 1 B 2 their tensor product. For a small DG category A we denote by Mod-A the abelian category of DG A-modules. We denote by D(A) the derived category of A, which is obtained from Mod-A by inverting quasi-isomorphisms. We denote by Perf(A) D(A) the full subcategory of perfect complexes. It is known to coincide with the subcategory of compact objects Perf(A) = D(A) c. For a DG functor F : A B we denote by F : Mod-B Mod-A the restriction of scalars functor (i.e. the functor of composition with F ). Its left adjoint (extension of scalars) is denoted by F : Mod-A Mod-B. We have derived functors F : D(B) D(A), LF : D(A) D(B). Recall the notion of Morita equivalence. Definition 2.1. A DG functor F : A B between small DG categories is called a Morita equivalence if the functor LF : D(A) D(B) is an equivalence. If A is a small DG category, then for any DG modules M D(A), N D(A op ) we have the derived tensor product M L A N D(k). For any small DG category A we denote by I A Mod-(A A op ) the diagonal bimodule, which is given by the formula I A (X,Y) = A(X,Y). We also consider I A as an object of the category Mod-(A A op ) op, via the obvious equivalence (A A op ) op = A op A = A A op. Proposition ) Let A be a small DG category, and B A small DG subcategory. We denote by π : A A/B the projection DG functor. Then the functor Lπ : Perf(A) Perf(A/B) is a localization up to direct summands. That is, the natural functor Perf(A)/ker(Lπ ) Im(Lπ ) is an equivalence, and the Karoubi completion of the subcategory Im(Lπ ) Perf(A/B) coincides with Perf(A/B). Here we denote by Im(Lπ ) the essential image of the functor Lπ.

4 4 ALEXANDER I. EFIMOV 2) Suppose that a DG functor F : A A induces a localization up to direct summands LF : Perf(A) Perf(A ). Then the functor LF : D(A) D(A ) is a localization. 3) Suppose that a DG functor F : A A induces a localization LF : D(A) D(A ). Then we have an isomorphism in D(A A op ). L(F F op ) (I A ) = I A Proof. 1) follows from [Dr], Theorem ) follows from [E], Proposition ) follows from [E], Proposition 3.5. Recall the notions of smoothness and compactness for DG categories. Definition 2.3. A small DG category A is called 1) smooth if I A Perf(A A op ); 2) compact if for any two objects X,Y Ob(A) we have A(X,Y) Perf(k). Recall the notion of (semi-orthogonal) gluing of DG categories. Definition 2.4. Let A and B be small DG categories, and M Mod-(A B op ) a DG bimodule. The gluing of A and B via the bimodule M is a DG category which is denoted by A M B, and which is defined as follows. 1) The objects are defined by the equality Ob(A M B) = Ob(A) Ob(B); 2) The morphisms are defined by the formula A(X,Y) if X,Y Ob(A); B(X,Y) if X,Y Ob(B); (A M B)(X,Y) = M(X,Y) if X Ob(A), Y Ob(B); 0 if X Ob(B), Y Ob(A). 3) The composition in A M B comes from the composition in A and B, and from the structure of A B op - module on M. We will need the following facts about homotopically finite DG categories. Proposition ) Let A and B be small DG categories-which are Morita equivalent. If A is homotopically finite, then B is also homotopically finite. 2) Let A be a smooth and compact DG category. Then A is homotopically finite. 3) Let A be a homotopically finite DG category. Then A is smooth. 4) Let A be a homotopically finite DG category, and E Ob(A) an object. Then the DG quotient A/E is also homotopically finite. 5) Let A and B be homotopically finite DG categories, and M Perf(A B op ) a perfect bimodule. Then the gluing A M B is also homotopically finite. Proof. The statements 1)-3) are proved in the paper [TV], Corollary 2.12, Corollary 2.13, Proposition The statements 4)-5) are proved in the paper [E], Proposition 2.9, Proposition 4.9.

5 GENERALIZED NON-COMMUTATIVE DEGENERATION CONJECTURE 5 3. Mixed Hochschild complex We identify homological and cohomological complexes in the standard way: if V is a homological complex, then the corresponding cohomological complex is given by V n = V n. The same identification takes place for graded vector spaces. The shift functor [n] is always cohomological: V[n] m = V n+m. Let A be a small DG category. Its Hochschild homology is defined by the formula HH n (A) := H n (I A L A A op I A ). It follows directly from the definition that Hochschild homology is multiplicative (Künneth formula, see [L], Section 4.3): HH (A B) = HH (A) HH (B). Bar resolution of the diagonal bimodule gives the Hochschild chain complex which is denoted by C (A). As a graded vector space, this complex is defined by the equality C (A) = A(X n,x 0 ) A(X n 1,X n )[1] A(X 0,X 1 )[1]. n 0; X 0,...,X n Ob(A) The differential is the sum of 2 components: b = b δ +b µ, where n b δ (a n a n 1 a 0 ) = ±a n a n 1...d(a i ) a 0, i=0 n 1 b µ (a n a n 1 a 0 ) = ±a 0 a n a n 1 a 1 + a n a i+1 a i a 0. It will be convenient for us to use the reduced Hochschild complex, which we denote by C red (A). As a graded vector space, this complex is given by equality Here C red (A) = n 0; X 0,...,X n Ob(A) i=0 A(X n,x 0 ) Ā(X n 1,X n )[1] Ā(X 0,X 1 )[1]. A(X,X)/k id X if X = Y; Ā(X,Y) = A(X, Y) otherwise. It is easy to see that the differential b on C (A) induces a well defined differential on C red (A), which we also denote by b. Moreover, the projection C (A) C red (A) is a quasi-isomorphism. Definition 3.1. A mixed complex is a triple (K,b,B), where K is a graded vector space, b : K K is a differential of homological degree 1, B : K K is a differential of homological degree 1, such that bb +Bb = 0. In other words, a mixed complex is a DG module over the DG algebra k[b]/(b 2 ), where deg(b) = 1, d(b) = 0. A morphism of mixed complexes is said to be a quasi-isomorphism if it is a quasi-isomorphism of DG modules over k[b]/(b 2 ). The complex (C red (A), b) is equipped by an additional Connes-Tsygan differential [Co], [Ts], [FT]. This differential is denoted by B and is given by equality n B(a n a 0 ) = ±id Xi+1 a i a 0 a n a i+1, i=0

6 6 ALEXANDER I. EFIMOV where a i A(X i,x i+1 ), 0 i n, and we put X n+1 := X 0 for convenience. It is easy to check that B 2 = 0 and bb +Bb = 0. Hence, we have a mixed complex (C red (A),b,B). AnyDGfunctor F : A B betweensmalldgcategories inducesamorphismofmixedhochschildcomplexes which we denote by F : C red (A) C red (B). We also denote by F the induced map on Hochschild homology and negative cyclic homology (see definition below). Theorem 3.2. ([Ke2]) If a DG functor F : A B is a Morita equivalence, then the induced map F : C red (A) C red (B) is a quasi-isomorphism of mixed complexes. We will need the following observation. Lemma 3.3. Let A, B and M be as in Definition 2.4. Then we have a natural isomorphism of mixed complexes (3.1) C red (A M B) = C red (A) C red (B). Proof. Indeed, let us put C := A M B, and consider a sequence of objects X 0,...,X n Ob(C), such that C(X n,x 0 ) C(X n 1,X n ) C(X 0,X 1 ) 0. Note that C(X,Y) = 0 for X Ob(B), Y Ob(A). It follows that either X 0,...,X n Ob(A), or X 0,...,X n Ob(B). This implies the isomorphism (3.1). From now on, we denote by u a formal variable of (cohomological) degree 2. For any graded vector space K we can construct a graded k[u]-module K [[u]] := n 0K [ 2n]. For any homogeneous endomorphism of the space K we denote by the same symbol the corresponding k[u]- linear homogeneous endomorphism of K [[u]]. Definition 3.4. Let A be a small DG category. 1) The negative cyclic complex of A is defined by the formula CC,red (A) := (C red (A)[[u]],b+uB). Its homology is called negative cyclic homology, and is denoted by HC (A). 2) The cyclic complex A is defined by the formula CC red (A) := (C red (A) k (k[u ±1 ]/uk[u]),b +ub). Its homology is called cyclic homology, and is denoted by HC (A). It follows directly from the definition that both HC (A) and HC (A) are k[u]-modules. By the definition of negative cyclic complex, we have a short exact sequence of complexes (3.2) 0 CC,red u (A)[ 2] CC,red (A) C red (A) 0. It gives a long exact sequence in homology, which is of the form (3.3) HCn+2 (A) u HCn (A) HH n(a) δ HCn+1 (A)...

7 GENERALIZED NON-COMMUTATIVE DEGENERATION CONJECTURE 7 From now on we denote by δ the boundary map from (3.3). Lemma ) Let F : A B be a DG functor between small DG categories. Then we have commutative diagrams (3.4) and (3.5) K n (A) ch HH n (A) HH n (A) δ F K n (B) ch F HH n (B), F HH n (B) δ HC n+1 (A) F HC n+1 (B). 2) Recall that for any small DG categories C and D we denote by ϕ n the composition ϕ n = (id δ) ch : K n (C D) (HH (C) HC (D)) n+1. Let F 1 : A 1 B 1, F 2 : A 2 B 2 be DG functors between small DG categories. Then we have a commutative diagram (3.6) K n (A 1 A 2 ) ϕ n (F 1 F 2 ) K n (B 1 B 2 ) ϕ n (HH (A 1 ) HC F1 (A 2 )) F 2 n+1 (HH (B 1 ) HC (B 2 )) n+1. Proof. Commutativity of the diagram (3.4) is exactly the functoriality of Chern character [CT]. Commutativity of the diagram (3.5) follows from the fact that DG functor F : A B induces a morphism of short exact sequences of complexes (3.2) for A and B. Finally, commutativity of the diagram (3.6) immediately follows from the commutativity of (3.4) and (3.5). 4. Generalized degeneration conjecture From now on we assume that the basic field k is of zharacteristic zero. The conjecture of Kontsevich and Soibelman, which was formulated in the introducton (Conjecture 1.2), admits the following reformulation. Conjecture 4.1. Let A be a smooth and compact DG category. Then the boundary map δ : HH (A) HC +1 (A) vanishes. Proposition 4.2. Conjecture 4.1 is equivalent to Conjecture 1.2. Proof. Note that the differentials in the spectral sequence are the same as differentials in the spectral sequence E 1 = HH (A) k (k[u ±1 ]/uk[u]) HC (A) E 1 = HH (A)[[u]] HC (A).

8 8 ALEXANDER I. EFIMOV Further, degeneration of the latter spectral sequence is equivalent to the existence of a (non-canonical) isomorphism of k[u]-modules HH (A)[[u]] = HC (A). This in turn is equivalent to the existence of a k-linear section of the projection HC (A) HH (A). From the long exact sequence (3.3) we obtain that the existence of such section is equivalent to vanishing of the boundary map δ : HH (A) HC +1 (A). Recall a well known statement about non-degeneracy of the Chern character of diagonal bimodule. Proposition 4.3. ([Sh]) Let A be a smooth and proper DG category. Then the element ch(i A ) HH (A op A) = HH (A op ) HH (A) induces an isomorphism HH (A op ) HH (A). Proposition 4.4. Conjecture 1.3 implies Conjecture 4.1, hence also Conjecture 1.2. Proof. Indeed, let us put B := A op, C := A, and consider the class [I A ] K 0 (B C). Conjecture 1.3 states that ϕ 0 ([I A ]) = 0. But the element ϕ 0 ([I A ]) (HH (A op ) HC (A)) 1 induces the map δ β : HH (A op ) HC (A)[ 1], where β : HH (A op ) HH (A) is an isomorphism from Proposition 4.3. Since δ β = 0, we have δ = 0. This proves the proposition. Before we prove the main result, we will prove one more lemma. Denote by Vect the category of at most countable-dimensional vector spaces over k. Lemma 4.5. We have HH (Vect ) = 0. Moreover, for any small DG category A we have K (Vect A) = 0, Proof. Note that any k-linear endofunctor F : Vect Vect acts on the invariants K (Vect A) and HH (Vect ). Moreover, k-linear endofunctors of the category Vect form an additive category, and the direct sum of endofunctors gives the sum of maps on invariants. Let V beacountable-dimensional vector space. We have an endofunctor V : Vect Vect. Choosing any isomorphism V = V k, we obtain an isomorphism (V ) = (V ) id in the category of endofunctors Vect. It follows that the identity functor acts by zero on our invariants, which implies their vanishing. Now we prove the main result of this paper. Theorem 4.6. Conjectures 1.2 and 1.4 imply Conjecture 1.3. Proof. According to Proposition 4.2, we can consider Conjecture 4.1 instead of Conjecture 1.2. Recall that for small DG categories B and C we denote by ϕ n the composition ϕ n = (id δ) ch : K n (B C) (HH (B) HC (C)) n+1. Consider the following intermediate statements.

9 GENERALIZED NON-COMMUTATIVE DEGENERATION CONJECTURE 9 (i) For any homotopically finite DG category A, we have ϕ 0 ([I A ]) = 0, where ϕ 0 : K 0 (A A op ) (HH (A) HC (Aop )) 1. Recall that according to Proposition 2.5 homotopy finiteness of A implies smoothness, hence the class [I A ] K 0 (A A op ) is well defined. (ii) For any homotopically finite DG categories B and C, the map equals to 0. to 0. ϕ 0 : K 0 (B C) (HH (B) HC (C)) 1 (iii) For any small DG categories B and C, the map ϕ 0 : K 0 (B C) (HH (B) HC (C)) 1 equals We will divide the proof into several steps. Step 1. First we will show that Conjectures 4.1 and 1.4 imply (i). Let A be a homotopically finite DG category. According to Conjecture 1.4 and Proposition 2.2, there exist a smooth and proper DG category à and a DG functor F : à A, such that we have an isomorphism L(F F op ) Ià = IA in D(A A op ). From this and from Lemma 3.5 we obtain ϕ 0 ([I A ]) = (F (F op ) )(ϕ 0 ([IÃ])). Conjecture 4.1 immediately implies that ϕ 0 ([IÃ]) = 0. Thus, ϕ 0 ([I A ]) = 0. This proves (i). Step 2. We showthat (i) implies(ii). Let B and C behomotopically finitedg categories, and M Perf(B C) a perfect bimodule. Consider the gluing D := B M C op. By Proposition 2.5, 5), DG category D is also homotopically finite. Denote by ι B : B D and ι C : C op D the tautological embedding DG functors. By Lemma 3.3 we have decompositions of mixed complexes C red (D) = C red (B) C red (C op ), C red (D op ) = C red (B op ) C red (C). In particular, we have a decomposition of the tensor product of Hochschild homology: (4.1) HH (D) HH (D op ) = HH (B) HH (B op ) HH (C op ) HH (C) We have a distinguished triangle in Perf(D D op ) (see e.g. [LS]): (4.2) L(ι B ι op C ) M L(ι B ι op B ) I B L(ι C ι op C ) I C I D HH (B) HH (C) HH (C op ) HH (B op ). From (4.2) we immediately obtain that the element ch([i D ]) (HH (D) HH (D op )) 0 has components ch([i B ]) (HH (B) HH (B op )) 0, ch([i C ]) (HH (C op ) HH (C)) 0, ch([m]) (HH (B) HH (C)) 0, 0 HH (C op ) HH (B op ), with respect to the decomposition (4.1). From (i) we have ϕ 0 ([I D ]) = (id δ)(ch([i D ])) = 0. By commutativity of the diagram (3.5) we obtain that ϕ 0 ([M]) = (id δ)(ch([m])) = 0. This proves (ii). Step 3. Let us show that (ii) implies (iii). Let B and C be arbitrary small DG categories. According to [TV], Proposition 2.2, wecan represent B and C as filtered colimits of homotopically finite DG categories: B = colim I B i, C = colim J C j. It follows from [TV], Lemma 2.10, that K 0 commutes with filtered colimits of DG categories. In particular, we have (4.3) K 0 (B C) = colim I J K 0 (B i C j ).

10 10 ALEXANDER I. EFIMOV Denote by f i : B i B, g j : C j C the natural DG functors. Take an arbitrary class α K 0 (B C). Then (4.3) implies that there exist i I, j J, and γ K 0 (B i C j ), such that α = (f i g j ) (γ). From (ii) we have ϕ 0 (γ) = 0. From this and from Lemma 3.5 we obtain ϕ 0 (α) = (f i g j )(ϕ 0(γ)) = 0. This proves (iii). Step 4. Let us show that (iii) implies Conjecture 1.3. Let B and C be small DG categories. We prove by induction on n 0 that the map equals 0. ϕ n : K n (B C) (HH (B) HC (C)) n+1 The base of induction for n = 0 coincides with the statement (iii). Suppose that the statement of induction is proved for n = l 0. Let us prove it for n = l+1. We have a natural fully faithful DG functor k : B Vect B. Let us take the DG quotient ΣB := (Vect B)/B. We have a natural quasi-equivalence.σ(b C) (ΣB) C. By Lemma 4.5, we have vanishing K (Vect B C) = 0, HH (Vect B) = 0. From the long exact sequence of K-groups and from Lemma 4.5 we obtain the natural isomorphism K l 1 (B C) = K l (Σ(B) C). Moreover, from the long exact sequence of Hochschild homology and from Lemma 4.5 we obtain the natural isomorphism HH (ΣB) = HH (B)[1]. These isomorphisms fit into the following commutative diagram: K l 1 (B C) K l (Σ(B) C) ch id δ (HH (B) HH (C)) l 1 ch (HH (ΣB) HH (C)) l (HH (B) HC (C)) l id δ (HH (ΣB) HC (C)) l+1. Indeed, commutativity of the right square is obvious, and commutativity of the left square follows from the fact that Chern character gives a morphism of long exact sequences of localization in K-theory and Hochschild homology [Ke2], [CT]. By the inductive hypothesis, the composition of the lower horizontal arrows equals to zero. Since the vertical arrows are isomorphisms, the composition of upper horizontal arrows equals to zero. This proves the inductive step. Theorem is proved. References [CT] D.-C. Cisinski, G. Tabuada, Non-connective K-theory via universal invariants, Compositio Mathematica 147 (2011), [Co] A. Connes, Non-commutative geometry. Academic Press, [De] P. Deligne, Théorème de Lefschetz et critères de dégénérescence de suites spectrales, Publ. Math. IHES 35 (1968), [DI] P. Deligne, L. Illusie, Rel evements modulo p 2 et décomposition du complexe de de Rham, Inv. Math. 89 (1987), [Dr] V. Drinfeld, DG qoutients of DG categories, Journal of Algebra Volume 272, Issue 2, 15 February 2004, Pages [E] A. Efimov, Homotopy finiteness of some DG categories from algebraic geometry, arxiv: (preprint). [FT] B. Feigin and B. Tsygan, Cohomology of the Lie algebra of generalized Jacobi matrices, in Russian, Funct. An. Appl. 17 (1983), [GH] P. Griffiths, J. Harris, Principles of algebraic geometry. Wiley, New York, 1978, xii pp. [Hi1] H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. I, Ann. Of Math. (2) 79 (1964), pp [Hi2] H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. II, Ann. Of Math. (2) 79 (1964), pp [Ho] W.V.D. Hodge, The Theory and Applications of Harmonic Integrals. Cambridge University Press, Cambridge, England; Macmillan Company, New York, ix+281 pp.

11 GENERALIZED NON-COMMUTATIVE DEGENERATION CONJECTURE 11 [Ka] D. Kaledin, Non-commutative Hodge-to-de Rham degeneration via the method of Deligne-Illusie, Pure Appl. Math. Q., 4:3 (2008), [KS] M. Kontsevich, Y. Soibelman, Notes on A-infinity algebras, A-infinity categories and non-commutative geometry. I, in Homological Mirror Symmetry: New Deevelopments and Perspectives (A.Kapustin et al. (Eds.)), Lect. Notes in Physics 757 (Springer, Berlin Heidelberg 2009) [Ke1] B. Keller, On the cyclic homology of ringed spaces and schemes, Doc. Math. J. DMV 3 (1998), [Ke2] B. Keller, Invariance and localization for cyclic homology of DG algebras, Journal of Pure and Applied Algebra Volume 123, Issues 1-3, January 1998, Pages [Ke3] B. Keller, Deriving DG categories, Ann. Sci.?cole Norm. Sup. (4) 27 (1994), no. 1, [Ke4] B. Keller, On differential graded categories, International Congress of Mathematicians. Vol. II, , Eur. Math. Soc., Z?rich, [L] J.-L. Loday, Cyclic homology. Grundlehren der Mathematischen Wissenschaften, 301. Springer-Verlag, Berlin, [LS] V. Lunts, O. Schnürer, Smoothness of equivariant derived categories, Proc. London Math. Soc. (2014) 108 (5): [N] M. Nagata, A generalization of the imbedding problem of an abstract variety in a complete variety. J. Math. Kyoto Univ [Sh] D. Shklyarov, Hirzebruch-Riemann-Roch-type formula for DG algebras. Proc. Lond. Math. Soc. (3) 106 (2013), no. 1, [Tab] G. Tabuada, Invariants additifs de dg-catégories, Int. Math. Res. Notices 53 (2005), [Ts] B. Tsygan, Homology of matrix Lie algebras over rings and the Hochschild homology. Uspekhi Mat. Nauk, 38:2 (230) (1983), Translation in Russ. Math. Survey 38(2) (1983), [TV] B. Toën, M. Vaquié, Moduli of objects in dg-categories, Annales scientifiques de l?cole Normale Supérieure (2007) Volume: 40, Issue: 3, pages [W] F. Waldhausen, Algebraic K-theory of spaces. Algebraic and geometric topology (New Brunswick, N.J., 1983), , Lecture Notes in Math., 1126, Springer, Berlin, Steklov Mathematical Institute of RAS, Gubkin 8, Moscow , Russia address: efimov@mccme.ru

Bernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller

Bernhard Keller. University Paris 7 and Jussieu Mathematics Institute. On differential graded categories. Bernhard Keller graded graded University Paris 7 and Jussieu Mathematics Institute graded Philosophy graded Question: What is a non commutative (=NC) scheme? Grothendieck, Manin,... : NC scheme = abelian category classical

More information

arxiv:math/ v1 [math.ra] 20 Feb 2007

arxiv:math/ v1 [math.ra] 20 Feb 2007 ON SERRE DUALITY FOR COMPACT HOMOLOGICALLY SMOOTH DG ALGEBRAS D.SHKLYAROV arxiv:math/0702590v1 [math.ra] 20 Feb 2007 To Leonid L vovich Vaksman on his 55th birthday, with gratitude 1. Introduction Let

More information

BIVARIANT CYCLIC COHOMOLOGY AND CONNES BILINEAR PAIRINGS IN NON-COMMUTATIVE MOTIVES

BIVARIANT CYCLIC COHOMOLOGY AND CONNES BILINEAR PAIRINGS IN NON-COMMUTATIVE MOTIVES BIVARIANT CYCLIC COHOMOLOGY AND CONNES BILINEAR PAIRINGS IN NON-COMMUTATIVE MOTIVES GONÇALO TABUADA Abstract. In this article we further the study of non-commutative motives, initiated in [3, 4, 25]. We

More information

DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES

DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham

More information

arxiv: v1 [math.kt] 14 Jun 2010

arxiv: v1 [math.kt] 14 Jun 2010 TRANSFER MAPS AND PROJECTION FORMULAS arxiv:1006.2742v1 [math.kt] 14 Jun 2010 GONÇALO TABUADA Abstract. Transfer maps and projection formulas are undoubtedly one of the key tools in the development and

More information

THE MUKAI PAIRING AND INTEGRAL TRANSFORMS IN HOCHSCHILD HOMOLOGY

THE MUKAI PAIRING AND INTEGRAL TRANSFORMS IN HOCHSCHILD HOMOLOGY MOSCOW MATHEMATICAL JOURNAL Volume 10, Number 3, July September 2010, Pages 629 645 THE MUKAI PAIRING AND INTEGRAL TRANSFORMS IN HOCHSCHILD HOMOLOG AJA C. RAMADOSS Abstract. Let be a separated smooth proper

More information

Matrix factorizations over projective schemes

Matrix factorizations over projective schemes Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix

More information

Matilde Marcolli and Goncalo Tabuada. Noncommutative numerical motives and the Tannakian formalism

Matilde Marcolli and Goncalo Tabuada. Noncommutative numerical motives and the Tannakian formalism Noncommutative numerical motives and the Tannakian formalism 2011 Motives and Noncommutative motives Motives (pure): smooth projective algebraic varieties X cohomology theories H dr, H Betti, H etale,...

More information

IndCoh Seminar: Ind-coherent sheaves I

IndCoh Seminar: Ind-coherent sheaves I IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of

More information

HIRZEBRUCH-RIEMANN-ROCH THEOREM FOR DIFFERENTIAL GRADED ALGEBRAS DMYTRO SHKLYAROV AN ABSTRACT OF A DISSERTATION

HIRZEBRUCH-RIEMANN-ROCH THEOREM FOR DIFFERENTIAL GRADED ALGEBRAS DMYTRO SHKLYAROV AN ABSTRACT OF A DISSERTATION HIRZEBRUCH-RIEMANN-ROCH THEOREM FOR DIFFERENTIAL GRADED ALGEBRAS by DMYTRO SHKLYAROV AN ABSTRACT OF A DISSERTATION submitted in partial fulfillment of the requirements for the degree DOCTOR OF PHILOSOPHY

More information

PART II.1. IND-COHERENT SHEAVES ON SCHEMES

PART II.1. IND-COHERENT SHEAVES ON SCHEMES PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image

More information

DERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION

DERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION DERIVED EQUIVALENCES AND GORENSTEIN PROJECTIVE DIMENSION HIROTAKA KOGA Abstract. In this note, we introduce the notion of complexes of finite Gorenstein projective dimension and show that a derived equivalence

More information

Cartier isomorphism and Hodge Theory in the non-commutative case

Cartier isomorphism and Hodge Theory in the non-commutative case Cartier isomorphism and Hodge Theory in the non-commutative case D. Kaledin Contents 1 Introduction 1 2 Cyclic homology package 5 2.1 Basic definitions.......................... 5 2.2 The p-cyclic complex.......................

More information

Periodic Cyclic Cohomology of Group Rings

Periodic Cyclic Cohomology of Group Rings Periodic Cyclic Cohomology of Group Rings Alejandro Adem (1) and Max Karoubi Department of Mathematics University of Wisconsin Madison WI 53706 Let G be a discrete group and R any commutative ring. According

More information

Noncommutative motives and their applications

Noncommutative motives and their applications MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion

More information

HOMOLOGICAL DIMENSIONS AND REGULAR RINGS

HOMOLOGICAL DIMENSIONS AND REGULAR RINGS HOMOLOGICAL DIMENSIONS AND REGULAR RINGS ALINA IACOB AND SRIKANTH B. IYENGAR Abstract. A question of Avramov and Foxby concerning injective dimension of complexes is settled in the affirmative for the

More information

arxiv: v1 [math.kt] 31 Mar 2011

arxiv: v1 [math.kt] 31 Mar 2011 A NOTE ON KASPAROV PRODUCTS arxiv:1103.6244v1 [math.kt] 31 Mar 2011 MARTIN GRENSING November 14, 2018 Combining Kasparov s theorem of Voiculesu and Cuntz s description of KK-theory in terms of quasihomomorphisms,

More information

UNIVERSAL DERIVED EQUIVALENCES OF POSETS

UNIVERSAL DERIVED EQUIVALENCES OF POSETS UNIVERSAL DERIVED EQUIVALENCES OF POSETS SEFI LADKANI Abstract. By using only combinatorial data on two posets X and Y, we construct a set of so-called formulas. A formula produces simultaneously, for

More information

Relative rational K-theory and cyclic homology

Relative rational K-theory and cyclic homology Relative rational K-theory and cyclic homology Introduction Topologicial K-theory was the first example of an extra-ordinary cohomology theory and furthermore right from the beginning it was extra-ordinary

More information

Derivations and differentials

Derivations and differentials Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,

More information

Lectures 1 and 2: General introduction, DG algebras.

Lectures 1 and 2: General introduction, DG algebras. Non-commutative Geometry from a homological point of view Seoul, 2009 1 Lectures 1 and 2: General introduction, DG algebras. 1.1 Motivations. Let me start by recalling the standard correspondence between

More information

Serre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories

Serre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories Serre A -functors Oleksandr Manzyuk joint work with Volodymyr Lyubashenko math.ct/0701165 0. Notation 1. Preliminaries on A -categories 2. Serre functors 3. Serre A -functors 0. Notation k denotes a (ground)

More information

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS

SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon

More information

Cyclic homology of truncated quiver algebras and notes on the no loops conjecture for Hochschild homology

Cyclic homology of truncated quiver algebras and notes on the no loops conjecture for Hochschild homology Cyclic homology of truncated quiver algebras and notes on the no loops conjecture for Hochschild homology Tomohiro Itagaki (joint work with Katsunori Sanada) November 13, 2013 Perspectives of Representation

More information

THE CYCLIC HOMOLOGY OF CROSSED PRODUCT ALGEBRAS, I. Ezra Getzler and John D. S. Jones. Introduction

THE CYCLIC HOMOLOGY OF CROSSED PRODUCT ALGEBRAS, I. Ezra Getzler and John D. S. Jones. Introduction THE CYCLIC HOMOLOGY OF CROSSED PRODUCT ALGEBRAS, I. Ezra Getzler and John D. S. Jones Introduction In their article [9] on cyclic homology, Feigin and Tsygan have given a spectral sequence for the cyclic

More information

CATEGORICAL ASPECTS OF ALGEBRAIC GEOMETRY IN MIRROR SYMMETRY ABSTRACTS

CATEGORICAL ASPECTS OF ALGEBRAIC GEOMETRY IN MIRROR SYMMETRY ABSTRACTS CATEGORICAL ASPECTS OF ALGEBRAIC GEOMETRY IN MIRROR SYMMETRY Alexei Bondal (Steklov/RIMS) Derived categories of complex-analytic manifolds Alexender Kuznetsov (Steklov) Categorical resolutions of singularities

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Identification of the graded pieces Kęstutis Česnavičius

Identification of the graded pieces Kęstutis Česnavičius Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism

More information

Derived Morita theory and Hochschild Homology and Cohomology of DG Categories

Derived Morita theory and Hochschild Homology and Cohomology of DG Categories Derived Morita theory and Hochschild Homology and Cohomology of DG Categories German Stefanich In this talk we will explore the idea that an algebra A over a field (ring, spectrum) k can be thought of

More information

CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138

CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 Abstract. We construct central extensions of the Lie algebra of differential operators

More information

RECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES

RECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES RECOLLEMENTS GENERATED BY IDEMPOTENTS AND APPLICATION TO SINGULARITY CATEGORIES DONG YANG Abstract. In this note I report on an ongoing work joint with Martin Kalck, which generalises and improves a construction

More information

AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN

AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN Bull. London Math. Soc. 37 (2005) 361 372 C 2005 London Mathematical Society doi:10.1112/s0024609304004011 AUSLANDER REITEN TRIANGLES AND A THEOREM OF ZIMMERMANN HENNING KRAUSE Abstract A classical theorem

More information

ALGEBRAIC STRATIFICATIONS OF DERIVED MODULE CATEGORIES AND DERIVED SIMPLE ALGEBRAS

ALGEBRAIC STRATIFICATIONS OF DERIVED MODULE CATEGORIES AND DERIVED SIMPLE ALGEBRAS ALGEBRAIC STRATIFICATIONS OF DERIVED MODULE CATEGORIES AND DERIVED SIMPLE ALGEBRAS DONG YANG Abstract. In this note I will survey on some recent progress in the study of recollements of derived module

More information

An introduction to derived and triangulated categories. Jon Woolf

An introduction to derived and triangulated categories. Jon Woolf An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes

More information

GK-SEMINAR SS2015: SHEAF COHOMOLOGY

GK-SEMINAR SS2015: SHEAF COHOMOLOGY GK-SEMINAR SS2015: SHEAF COHOMOLOGY FLORIAN BECK, JENS EBERHARDT, NATALIE PETERNELL Contents 1. Introduction 1 2. Talks 1 2.1. Introduction: Jordan curve theorem 1 2.2. Derived categories 2 2.3. Derived

More information

LECTURE 11: SOERGEL BIMODULES

LECTURE 11: SOERGEL BIMODULES LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing

More information

arxiv: v1 [math.kt] 22 Nov 2010

arxiv: v1 [math.kt] 22 Nov 2010 COMPARISON OF CUBICAL AND SIMPLICIAL DERIVED FUNCTORS IRAKLI PATCHKORIA arxiv:1011.4870v1 [math.kt] 22 Nov 2010 Abstract. In this note we prove that the simplicial derived functors introduced by Tierney

More information

Lectures 3 and 4: Cyclic homology.

Lectures 3 and 4: Cyclic homology. Non-commutative Geometry from a homological point of view Seoul, 2009 1 Lectures 3 and 4: Cyclic homology. Today s topic is cyclic homology and everything related to it. A very good general reference for

More information

A Simple Criterion for Extending Natural Transformations to Higher K-Theory

A Simple Criterion for Extending Natural Transformations to Higher K-Theory Documenta Math 657 A Simple Criterion for Extending Natural Transformations to Higher K-Theory Gonçalo Tabuada 1 Received: January 26, 2011 Communicated by Max Karoubi Abstract In this article we introduce

More information

arxiv: v2 [math.kt] 21 Apr 2018

arxiv: v2 [math.kt] 21 Apr 2018 THE HOMOTOPY FIXED POINTS OF THE CIRCLE ACTION ON HOCHSCHILD HOMOLOGY MARC HOYOIS arxiv:150607123v2 [mathkt] 21 Apr 2018 Abstract We show that Connes -operator on a cyclic differential graded k-module

More information

WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS

WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS WEIGHT STRUCTURES AND SIMPLE DG MODULES FOR POSITIVE DG ALGEBRAS BERNHARD KELLER AND PEDRO NICOLÁS Abstract. Using techniques due to Dwyer Greenlees Iyengar we construct weight structures in triangulated

More information

arxiv: v1 [math.ag] 18 Feb 2010

arxiv: v1 [math.ag] 18 Feb 2010 UNIFYING TWO RESULTS OF D. ORLOV XIAO-WU CHEN arxiv:1002.3467v1 [math.ag] 18 Feb 2010 Abstract. Let X be a noetherian separated scheme X of finite Krull dimension which has enough locally free sheaves

More information

Symplectic geometry of homological algebra

Symplectic geometry of homological algebra Symplectic geometry of homological algebra Maxim Kontsevich June 10, 2009 Derived non-commutative algebraic geometry With any scheme X over ground field k we can associate a k-linear triangulated category

More information

Witt vectors and K-theory of automorphisms via noncommutative motives

Witt vectors and K-theory of automorphisms via noncommutative motives Witt vectors and K-theory of automorphisms via noncommutative motives The MIT Faculty has made this article openly available Please share how this access benefits you Your story matters Citation As Published

More information

sset(x, Y ) n = sset(x [n], Y ).

sset(x, Y ) n = sset(x [n], Y ). 1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,

More information

arxiv: v1 [math.ag] 28 Sep 2016

arxiv: v1 [math.ag] 28 Sep 2016 LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra

More information

A formality criterion for differential graded Lie algebras

A formality criterion for differential graded Lie algebras A formality criterion for differential graded Lie algebras Marco Manetti Sapienza University, Roma Padova, February 18, 2014 Deligne s principle (letter to J. Millson, 1986). In characteristic 0, a deformation

More information

FUNDAMENTAL ISOMORPHISM CONJECTURE VIA NON-COMMUTATIVE MOTIVES. Introduction

FUNDAMENTAL ISOMORPHISM CONJECTURE VIA NON-COMMUTATIVE MOTIVES. Introduction FUNDAMNTAL ISOMOPHISM CONJCTU VIA NON-COMMUTATIV MOTIVS PAUL BALM AND GONÇALO TABUADA Abstract. Given a group, we construct a amental localizing invariant on its orbit category. We prove that any isomorphism

More information

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection

More information

Hochschild homology and Grothendieck Duality

Hochschild homology and Grothendieck Duality Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality

More information

THE GAUSS-MANIN CONNECTION ON THE PERIODIC CYCLIC HOMOLOGY

THE GAUSS-MANIN CONNECTION ON THE PERIODIC CYCLIC HOMOLOGY THE GAUSS-MANIN CONNECTION ON THE PERIODIC CYCLIC HOMOLOGY ALEXANDER PETROV, DMITRY VAINTROB, AND VADIM VOLOGODSKY To Sasha Beilinson on his 60th birthday, with admiration Abstract. Let R be the algebra

More information

Contributors. Preface

Contributors. Preface Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................

More information

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated

More information

A Hodge decomposition spectral sequence for E n-homology

A Hodge decomposition spectral sequence for E n-homology A Hodge decomposition spectral sequence for E n -homology Royal Institute of Technology, Stockholm Women in Homotopy Theory and Algebraic Geometry, Berlin, 14.09.2016 1 2 3 A Hodge spectral sequence for

More information

ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE.

ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE. ON THE CHERN CHARACTER OF A THETA-SUMMABLE FREDHOLM MODULE. Ezra Getzler and András Szenes Department of Mathematics, Harvard University, Cambridge, Mass. 02138 USA In [3], Connes defines the notion of

More information

Operator Algebras II, Homological functors, derived functors, Adams spectral sequence, assembly map and BC for compact quantum groups.

Operator Algebras II, Homological functors, derived functors, Adams spectral sequence, assembly map and BC for compact quantum groups. II, functors, derived functors, Adams spectral, assembly map and BC for compact quantum groups. University of Copenhagen 25th July 2016 Let C be an abelian category We call a covariant functor F : T C

More information

APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES

APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES APPENDIX TO [BFN]: MORITA EQUIVALENCE FOR CONVOLUTION CATEGORIES DAVID BEN-ZVI, JOHN FRANCIS, AND DAVID NADLER Abstract. In this brief postscript to [BFN], we describe a Morita equivalence for derived,

More information

On a conjecture of Vorst

On a conjecture of Vorst On a conjecture of Vorst Thomas Geisser Lars Hesselholt Abstract Let k be an infinite perfect field of positive characteristic and assume that strong resolution of singularities holds over k. We prove

More information

Derived Functors and Explicit Projective Resolutions

Derived Functors and Explicit Projective Resolutions LECTURE 12 Derived Functors and Explicit Projective Resolutions A Let X and Y be complexes of A-modules. Recall that in the last lecture we defined Hom A (X, Y ), as well as Hom der A (X, Y ) := Hom A

More information

arxiv:math/ v1 [math.ag] 24 Nov 1998

arxiv:math/ v1 [math.ag] 24 Nov 1998 Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

An Introduction to Spectral Sequences

An Introduction to Spectral Sequences An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,

More information

The Riemann-Roch Theorem

The Riemann-Roch Theorem The Riemann-Roch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. Beyond ellipticity 5. The Riemann-Roch

More information

Categories and functors

Categories and functors Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called

More information

K-theory and derived equivalences (Joint work with D. Dugger) Neeman proved the above result for regular rings.

K-theory and derived equivalences (Joint work with D. Dugger) Neeman proved the above result for regular rings. K-theory and derived equivalences (Joint work with D. Dugger) Main Theorem: If R and S are two derived equivalent rings, then K (R) = K (S). Neeman proved the above result for regular rings. Main Example

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

Constructible Derived Category

Constructible Derived Category Constructible Derived Category Dongkwan Kim September 29, 2015 1 Category of Sheaves In this talk we mainly deal with sheaves of C-vector spaces. For a topological space X, we denote by Sh(X) the abelian

More information

Algebraic Geometry Spring 2009

Algebraic Geometry Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

More information

Topological Logarithmic Structures

Topological Logarithmic Structures Department of Mathematics University of Oslo 25th Nordic and 1st British Nordic Congress of Mathematicians Oslo, June 2009 Outline 1 2 3 Outline Pre-log rings Pre-log S-algebras Repleteness 1 2 3 Pre-log

More information

Homology and Cohomology of Stacks (Lecture 7)

Homology and Cohomology of Stacks (Lecture 7) Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic

More information

Symmetric monoidal structure on Non-commutative motives

Symmetric monoidal structure on Non-commutative motives Symmetric monoidal structure on Non-commutative motives Denis-Charles Cisinski, Gonçalo Tabuada To cite this version: Denis-Charles Cisinski, Gonçalo Tabuada. Symmetric monoidal structure on Non-commutative

More information

LECTURE X: KOSZUL DUALITY

LECTURE X: KOSZUL DUALITY LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn

More information

arxiv: v1 [math.kt] 23 Mar 2010

arxiv: v1 [math.kt] 23 Mar 2010 UNIVERSAL SUSPENSION VIA NON-COMMUTATIVE MOTIVES arxiv:1003.4425v1 [math.kt] 23 Mar 2010 GONÇALO TABUADA Abstract. In this article we further the study of non-commutative motives, initiated in [5, 6, 26].

More information

Homotopy types of algebraic varieties

Homotopy types of algebraic varieties Homotopy types of algebraic varieties Bertrand Toën These are the notes of my talk given at the conference Theory of motives, homotopy theory of varieties, and dessins d enfants, Palo Alto, April 23-26,

More information

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

More information

arxiv:math/ v1 [math.at] 6 Oct 2004

arxiv:math/ v1 [math.at] 6 Oct 2004 arxiv:math/0410162v1 [math.at] 6 Oct 2004 EQUIVARIANT UNIVERSAL COEFFICIENT AND KÜNNETH SPECTRAL SEQUENCES L. GAUNCE LEWIS, JR. AND MICHAEL A. MANDELL Abstract. We construct hyper-homology spectral sequences

More information

A note on standard equivalences

A note on standard equivalences Bull. London Math. Soc. 48 (2016) 797 801 C 2016 London Mathematical Society doi:10.1112/blms/bdw038 A note on standard equivalences Xiao-Wu Chen Abstract We prove that any derived equivalence between

More information

Auslander-Yoneda algebras and derived equivalences. Changchang Xi ( ~) ccxi/

Auslander-Yoneda algebras and derived equivalences. Changchang Xi ( ~)  ccxi/ International Conference on Operads and Universal Algebra, Tianjin, China, July 5-9, 2010. Auslander- and derived Changchang Xi ( ~) xicc@bnu.edu.cn http://math.bnu.edu.cn/ ccxi/ Abstract In this talk,

More information

Hyperkähler geometry lecture 3

Hyperkähler geometry lecture 3 Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843

More information

arxiv: v1 [math.kt] 18 Aug 2011

arxiv: v1 [math.kt] 18 Aug 2011 KONTSEVICH S NONCOMMUTATIVE NUMERICAL MOTIVES arxiv:1108.3785v1 [math.kt] 18 Aug 2011 MATILDE MARCOLLI AND GONÇALO TABUADA Abstract. In this note we prove that Kontsevich s category NC num(k) F of noncommutative

More information

Derived Equivalences of Triangular Matrix Rings Arising from Extensions of Tilting Modules

Derived Equivalences of Triangular Matrix Rings Arising from Extensions of Tilting Modules Algebr Represent Theor (2011) 14:57 74 DOI 10.1007/s10468-009-9175-0 Derived Equivalences of Triangular Matrix Rings Arising from Extensions of Tilting Modules Sefi Ladkani Received: 1 September 2008 /

More information

UNIQUENESS OF ENHANCEMENT FOR TRIANGULATED CATEGORIES

UNIQUENESS OF ENHANCEMENT FOR TRIANGULATED CATEGORIES JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 23, Number 3, July 2010, Pages 853 908 S 0894-0347(10)00664-8 Article electronically published on February 8, 2010 UNIQUENESS OF ENHANCEMENT FOR TRIANGULATED

More information

Hochschild and cyclic homology of a family of Auslander algebras

Hochschild and cyclic homology of a family of Auslander algebras Hochschild and cyclic homology of a family of Auslander algebras Rachel Taillefer Abstract In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras

More information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

More information

DERIVED CATEGORIES OF COHERENT SHEAVES

DERIVED CATEGORIES OF COHERENT SHEAVES DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground

More information

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X

More information

AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY

AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY AXIOMS FOR GENERALIZED FARRELL-TATE COHOMOLOGY JOHN R. KLEIN Abstract. In [Kl] we defined a variant of Farrell-Tate cohomology for a topological group G and any naive G-spectrum E by taking the homotopy

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

DERIVED CATEGORIES: LECTURE 4. References

DERIVED CATEGORIES: LECTURE 4. References DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,

More information

The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori

The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori The Gauss-Manin Connection for the Cyclic Homology of Smooth Deformations, and Noncommutative Tori Allan Yashinski Abstract Given a smooth deformation of topological algebras, we define Getzler s Gauss-Manin

More information

Formality of Kähler manifolds

Formality of Kähler manifolds Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler

More information

Spectral sequences for cyclic homology

Spectral sequences for cyclic homology Spectral sequences for cyclic homology D. Kaledin To Maxim Kontsevich, for his 50th birthday. Contents 1 Co-periodic cyclic homology. 4 1.1 Mixed complexes.......................... 4 1.2 Small categories..........................

More information

arxiv: v1 [math.ct] 28 Oct 2017

arxiv: v1 [math.ct] 28 Oct 2017 BARELY LOCALLY PRESENTABLE CATEGORIES arxiv:1710.10476v1 [math.ct] 28 Oct 2017 L. POSITSELSKI AND J. ROSICKÝ Abstract. We introduce a new class of categories generalizing locally presentable ones. The

More information

THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING

THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING THE DERIVED CATEGORY OF A GRADED GORENSTEIN RING JESSE BURKE AND GREG STEVENSON Abstract. We give an exposition and generalization of Orlov s theorem on graded Gorenstein rings. We show the theorem holds

More information

arxiv: v2 [math.at] 18 Sep 2008

arxiv: v2 [math.at] 18 Sep 2008 TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

More information

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS

ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical

More information

arxiv: v1 [math.ag] 30 Apr 2018

arxiv: v1 [math.ag] 30 Apr 2018 QUASI-LOG CANONICAL PAIRS ARE DU BOIS OSAMU FUJINO AND HAIDONG LIU arxiv:1804.11138v1 [math.ag] 30 Apr 2018 Abstract. We prove that every quasi-log canonical pair has only Du Bois singularities. Note that

More information

Introduction to Chiral Algebras

Introduction to Chiral Algebras Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument

More information

What is an ind-coherent sheaf?

What is an ind-coherent sheaf? What is an ind-coherent sheaf? Harrison Chen March 8, 2018 0.1 Introduction All algebras in this note will be considered over a field k of characteristic zero (an assumption made in [Ga:IC]), so that we

More information