arxiv: v1 [math.ag] 1 Jun 2015
|
|
- Deirdre Barrett
- 6 years ago
- Views:
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
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 informationarxiv: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 informationBIVARIANT 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 informationDELIGNE 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 informationarxiv: 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 informationTHE 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 informationMatrix 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 informationMatilde 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 informationIndCoh 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 informationHIRZEBRUCH-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 informationPART 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 informationDERIVED 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 informationCartier 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 informationPeriodic 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 informationNoncommutative 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 informationHOMOLOGICAL 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 informationarxiv: 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 informationUNIVERSAL 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 informationRelative 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 informationDerivations 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 informationLectures 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 informationSerre 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 informationSECTION 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 informationCyclic 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 informationTHE 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 informationCATEGORICAL 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 informationThree 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 informationIdentification 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 informationDerived 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 informationCYCLIC 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 informationRECOLLEMENTS 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 informationAUSLANDER 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 informationALGEBRAIC 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 informationAn 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 informationGK-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 informationLECTURE 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 informationarxiv: 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 informationLectures 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 informationA 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 informationarxiv: 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 informationWEIGHT 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 informationarxiv: 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 informationSymplectic 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 informationWitt 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 informationsset(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 informationarxiv: 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 informationA 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 informationFUNDAMENTAL 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 informationA 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 informationHochschild 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 informationTHE 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 informationContributors. 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 informationLOCAL 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 informationA 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 informationON 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 informationOperator 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 informationAPPENDIX 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 informationOn 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 informationDerived 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 informationarxiv: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 informationDe 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 informationAn 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 informationThe 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 informationCategories 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 informationK-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 information1. 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 informationConstructible 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 informationAlgebraic 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 informationTopological 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 informationHomology 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 informationSymmetric 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 informationLECTURE 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 informationarxiv: 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 informationHomotopy 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 informationSERRE 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 informationarxiv: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 informationA 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 informationAuslander-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 informationHyperkä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 informationarxiv: 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 informationDerived 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 informationUNIQUENESS 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 informationHochschild 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 information58 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 informationDERIVED 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 informationA 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 informationAXIOMS 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 informationChern 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 informationDERIVED 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 informationThe 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 informationFormality 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 informationSpectral 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 informationarxiv: 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 informationTHE 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 informationarxiv: 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 informationTCC 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 informationON 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 informationarxiv: 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 informationIntroduction 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 informationWhat 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