THE GORENSTEIN DEFECT CATEGORY
|
|
- Andrea Francis
- 5 years ago
- Views:
Transcription
1 THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory o complexes o projective modules over a Noetherian rin. Truncation at deree zero induces a ully aithul trianle unctor rom the totally acyclic complexes to the stable derived cateory. We show that i the rin is either Artin or commutative Noetherian local, then the unctor is dense i and only i the rin is Gorenstein. Motivated by this, we deine the Gorenstein deect cateory o the rin, a cateory which in some sense measures how ar the rin is rom bein Gorenstein. 1. Introduction Given a rin, one can associate to it certain trianulated cateories: derived cateories, homotopy cateories, and various trianulated subcateories o these, such as bounded derived cateories or homotopy cateories o acyclic complexes. When the rin is Gorenstein, classical results by Buchweitz (c. [Buc]) show that some o these trianulated cateories are equivalent: the stable cateory o maximal Cohen- Macaulay modules, the stable derived cateory o initely enerated modules, and the homotopy cateory o totally acyclic complexes o initely enerated projective modules. Thus, or Gorenstein rins, these trianulated cateories (toether with their respective cohomoloy theories) virtually coincide. In this paper, we provide a cateorical characterization o Gorenstein rins. Let A be a let Noetherian rin, and proj A the cateory o initely enerated projective let A-modules. Brutal truncation at deree zero induces a map rom the homotopy cateory K tac (proj A) o totally acyclic complexes to the homotopy cateory K,b (proj A) o riht bounded eventually acyclic complexes. However, this map is not a unctor. We thereore consider instead the stable derived cateory de = K,b (proj A)/K b (proj A) o A, where K b (proj A) is the homotopy cateory o bounded complexes. Brutal truncation now induces a trianle unctor, and we show that this unctor is always ull and aithul. The main result, Theorem 2.7, shows that the properties o this unctor actually characterize Gorenstein rins. Namely, i A is either an Artin rin or a commutative Noetherian local rin, then the unctor β proj A is dense i and only i A is Gorenstein. The i part here is classical: it is part o [Buc, Theorem 4.4.1]. Motivated by this, we deine the Gorenstein deect cateory D b G (A) o A as the Verdier quotient D b G(A) de = / Im β proj A, where Im β proj A is the isomorphism closure o the imae o β proj A in : this is a thick subcateory. Then Theorem 2.7 translates to the ollowin: i A is either 2010 Mathematics Subject Classiication. 13H10, 16E65, 18E30. Key words and phrases. Trianulated cateories, Gorenstein rins. 1
2 2 PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN an Artin rin or a commutative Noetherian local rin, then D b G (A) = 0 i and only i A is Gorenstein. The dimension o the Gorenstein deect cateory is thereore in some sense a measure o how ar the rin is rom bein Gorenstein. 2. The results Let P be an additive cateory, and KP the homotopy cateory o complexes in P. This is a trianulated cateory, with suspension Σ: KP KP iven by shitin a complex one deree to the let, and chanin the sin o its dierential. That is, or a complex C KP with dierential d, the complex Σ C has C n 1 in deree n, and d as dierential. The (distinuished) trianles in KP are the sequences o objects and maps that are isomorphic to sequences o the orm C 1 C2 C() Σ C 1 or some map and its mappin cone C(). We say that a complex C in P is acyclic i the complex Hom P (P, C) o abelian roups is acyclic or all objects P P. I in addition Hom P (C, P ) is acyclic or all P P, then C is totally acyclic. Moreover, C is eventually acyclic i or all objects P P, the complex Hom P (P, C) is eventually acyclic, i.e. H n (Hom P (P, C)) = 0 or n 0. Note that we cannot deine acyclicity directly or complexes in P, since the cateory is only assumed to be additive. We shall be workin with the ollowin ull subcateories o KP (the deinitions are up to isomorphism in KP): K tac P = {C KP C is totally acyclic} K,b P = {C KP C n = 0 or n 0 and C is eventually acyclic} K b P = {C KP C n = 0 or n 0}. These are all trianulated subcateories o KP. For example, when P is the cateory o initely enerated let projective modules over a let Noetherian rin A, then K b P is by deinition the cateory o perect complexes. Moreover, in this settin it is well known that the trianulated cateories K,b P and D b (mod A) are equivalent, where mod A is the cateory o initely enerated let A-modules. The cateory K b P is a thick subcateory o K,b P, that is, a trianulated subcateory closed under direct summands. The Verdier quotient K,b P/K b P is thereore a well deined trianulated cateory. Recall that the objects in this quotient are the same as the objects in K,b P. A morphism C 1 C 2 in the quotient is an equivalence class o diarams o the orm D C 1 C 2 where and are morphisms in K,b P, and has the property that its mappin cone C() belons to K b P. Two such morphisms (, D, ) and (, D, ) are equivalent i there exists a third such morphism (, D, ), and two morphisms h: D D and h : D D in K,b P, such that the diaram D h D C 1 C 2 h D
3 THE GORENSTEIN DEFECT CATEGORY 3 is commutative. For urther details, we reer to [Nee, Chapter 2]. The natural trianle unctor K,b P K,b P/K b P maps an object to itsel, and a morphism : C 1 C 2 to the equivalence class o the diaram C 1 1 C 1 C 2 In Theorem 2.2, we establish a ully aithul trianle unctor rom K tac P to the quotient K,b P/K b P. To avoid too many technicalities in the proo, we irst prove the ollowin lemma. It allows us to complete certain morphisms and homotopies o truncated complexes. Given an inteer n and a complex C : dn+3 d n+2 d n+1 C n+2 Cn+1 Cn in P, we denote its brutal truncation C : d n Cn 1 d n 1 Cn 2 dn+3 d n+2 d n+1 C n+2 Cn+1 Cn 0 0 d n 2 at deree n by β n (C). Note that when C K tac P, then β n (C) K,b P. Lemma 2.1. Let P be an a additive cateory, and C, D two complexes in P with C totally acyclic. Furthermore, let n be an inteer, and : β n (C) β n (D) a chain map. (a) The map can be extended to a chain map : C (b) Let π : C D (with β n ( ) = ). β n (C) be the natural chain map, and consider the composite chain map π : C β n (D). I π is nullhomotopic throuh a homotopy h, then h can be extended to a homotopy ĥ makin nullhomotopic. Proo. (a) The chain map is iven by the solid part o the commutative diaram d C n+3 d C n+2 d C n+1 C n+2 C n+1 C n C n 1 C n 2 d C n d C n 1 d C n 2 d D n+3 n+2 n+1 n n 1 d D n+2 d D n+1 D n+2 D n+1 D n D n 1 D n 2 and it suices to ind a map n 1 as indicated, makin the square to its let commutative. The composition d D n n d C n+1 is zero, and by assumption the sequence d D n d D n 1 d D n 2 Hom P (C n 1, D n 1 ) (dc n ) Hom P (C n, D n 1 ) (dc n+1 ) Hom P (C n+1, D n 1 ) is exact. Thereore, there exists a map n 1 : C n 1 D n 1 such that n 1 d C n = d D n n. (b) The homotopy h is iven by maps h n 1, h n, h n+1,... as in the diaram d C n+3 d C n+2 d C n+1 C n+2 C n+1 C n C n 1 C n 2 d C n d C n 1 d C n 2 h n+2 n+2 h n+1 n+1 h n n h n 1 n 1 h n 2 n 2 h n 3 d D n+3 d D n+2 d D n+1 D n+2 D n+1 D n D n 1 D n 2 with i = d D i+1 h n + h i 1 d C i or all i n. We must ind maps h n 2, h n 3,... completin the homotopy. d D n d D n 1 d D n 2
4 4 PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN To ind the map h n 2, consider the map n 1 d D n h n 1 in Hom P (C n 1, D n 1 ), or which we obtain Since the sequence ( n 1 d D n h n 1 ) d C n = d D n n d D n ( n d D n+1 h n ) = 0. Hom P (C n 2, D n 1 ) (dc n 1 ) Hom P (C n 1, D n 1 ) (dc n ) Hom P (C n, D n 1 ) is exact, there exists a map h n 2 : C n 2 D n 1 such that n 1 d D n h n 1 = h n 2 d C n 1. Iteratin this procedure, we obtain the maps h n 3, h n 4,... ivin ĥ. We are now ready to prove Theorem 2.2. It establishes a ully aithul trianle unctor rom K tac P to the quotient K,b P/K b P, mappin a complex C to its brutal truncation β 0 (C) at deree zero. Note that brutal truncation does not deine a unctor between homotopy cateories. Theorem 2.2. For an additive cateory P, brutal truncation at deree zero induces a ully aithul trianle unctor β P : K tac P K,b P/K b P. Proo. To simpliy notation, we denote β P by just β. The irst issue to address is well-deinedness. Let : C D be a map o complexes in K tac P, as indicated in the ollowin diaram: d C 3 d C 2 d C 1 C 2 C 1 C 0 C 1 d C 0 d C 1 d D 3 h 2 2 d D 2 h 1 1 d D 1 h 0 D 2 D 1 D 0 D 1 It suices to show that i vanishes in K tac P, that is, i there is a homotopy h as indicated by the dashed arrows above, then β 0 () vanishes in K,b P/K b P. Usin this homotopy h, we see that the map d C 3 d C 2 d C 1 C 2 C 1 C d D 0 h 1 1 d D 1 h h 1 d C 0 d D 3 d D 2 d D 1 D 2 D 1 D 0 0 is nullhomotopic in K,b P. Consequently, the map β 0 () is homotopic to the map d C 3 d C 2 d C 1 C 2 C 1 C h 1 d C 0 d D 3 d D 2 d D 1 D 2 D 1 D 0 0 in K,b P. Clearly, this map actors throuh the stalk complex with C 1 in deree zero. Thereore β(), which equals the imae o β 0 () in the quotient K,b P/K b P, vanishes. This shows that the unctor β is well-deined.
5 THE GORENSTEIN DEFECT CATEGORY 5 Σ It is easy to check that β is a trianle unctor. The natural isomorphism β Σ β is iven by de 2 de 1 de 0 de 1 β(σc): C 1 C 0 C 1 0 Σ(β(C)): C 1 C This is indeed an isomorphism in K,b P/K b P, since its mappin cone in K,b P is isomorphic to the stalk complex with C 1 in deree one, which belons to K b P. Usin a similar isomorphism, one checks that β commutes with mappin cones. Next, we prove that β is aithul. Let : C D be a morphism in K tac P such that β() = 0. We may think o as a morphism o complexes. Then the condition β() = 0 means that, up to homotopy, the brutal truncation β 0 () actors throuh a bounded complex C K b P. Choose a positive inteer n such that C i = 0 or i n. By truncatin at deree n, we see that the induced map β n () π : C β n (D) o complexes is nullhomotopic. It then ollows rom Lemma 2.1(b) that itsel is nullhomotopic, and this shows that the unctor β is aithul. It remains to show that β is ull. Let ψ : β(c) β(d) be a morphism in K,b P/K b P between two complexes in the imae o β. Then ψ is represented by a diaram β 0 (C) C β 0 (D) o complexes and maps in K,b P, where the mappin cone C() o the map belons to K b P. Up to homotopy, in suiciently hih derees, the complex C then coincides with β 0 (C), and then also with C. Thereore, or some positive inteer n, there is an equality β n (C) = β n (C ), and the truncation β n () is the identity. Furthermore, the truncation β n () is a morphism β n (): β n (C) β n (D). By Lemma 2.1(a), it admits and extension : C shall prove that ψ = β( ). Consider the solid part o the diaram D o complexes in K tac P: we C θ β 0 (C) π β 1 (C) β 0 ( ) π β 0 (D) π 1 β 0 ( ) β 0 (C) o complexes and maps in K,b P, where π is the natural projection. The lower two trianles obviously commute. Furthermore, by Lemma 2.1(a), the identity chain map 1: β n (C) β n (C ) admits an extension θ : β 1 (C) C, and by
6 6 PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN construction the equalities β n (π) = β n ( θ) β n (β 0 ( ) ) π = β n ( θ) hold. The chain map π θ can be viewed as a chain map C β 0 (C), and its truncation β n (π θ) is trivially nullhomotopic. Thus, by Lemma 2.1(b), the map π θ itsel is nullhomotopic, and this shows that the top let trianle commutes. Similarly, the top riht trianle commutes, hence the diaram is commutative. Consequently, the map ψ equals β( ), and so the unctor β is ull. We shall apply Theorem 2.2 to the case when the additive cateory P is the cateory proj A o initely enerated projective modules over a let Noetherian rin A. The ollowin result shows that, in this situation, i the unctor is dense (i.e. an equivalence in view o Theorem 2.2), then all hiher extensions between any module and the rin vanish. Recall irst that the Verdier quotient K,b (proj A)/K b (proj A) is the classical stable derived cateory o A. Proposition 2.3. Let A be a let Noetherian rin and proj A the cateory o initely enerated projective let A-modules. I the unctor is dense, then Ext n A(M, A) = 0 or all n 0 and every initely enerated let A-module M. Proo. Let M be a initely enerated let A-module, and P : d4 d P 3 d 3 2 d P2 1 P1 P0 its projective resolution: this is a complex in K,b (proj A). Since the unctor β proj A is dense, the complex P is isomorphic in to β proj A (T ) or some totally acyclic complex T K tac (proj A). For some n 0, the two complexes β n (P ) and β n (T ) coincide up to homotopy, ivin Ext i A(M, A) H i (Hom A (P, A)) H i (Hom A (T, A)) or all i n + 1. Since the complex T is totally acyclic, the roup H j (Hom A (T, A)) vanishes or all j Z, and this proves the result. Specializin to the case when the rin is either let Artin or commutative Noetherian local, we obtain the ollowin two corollaries. Recall that a commutative local rin is Gorenstein i its injective dimension (as a module over itsel) is inite. Corollary 2.4. Let A be a let Artin rin, and proj A the cateory o initely enerated projective let A-modules. I the unctor is dense, then the injective dimension o A as a let module is inite. Proo. There are initely many simple let A-modules S 1,..., S t, and by Proposition 2.3 there exists an inteer n such that Ext i A( S j, A) = 0 or i n + 1. The injective dimension o A is thereore at most n. Corollary 2.5. Let A be a commutative Noetherian local rin, and proj A the cateory o initely enerated projective (i.e. ree) A-modules. I the unctor is dense, then A is Gorenstein.
7 THE GORENSTEIN DEFECT CATEGORY 7 Proo. Let k be the residue ield o A. By Proposition 2.3 there exists an inteer n such that Ext i A(k, A) = 0 or i n + 1. The injective dimension o A is thereore at most n. The ollowin result shows that, in the situation o Proposition 2.3, every injective module has inite projective dimension. Proposition 2.6. Let A be a let Noetherian rin and proj A the cateory o initely enerated projective let A-modules. I the unctor is dense, then the projective dimension o every initely enerated injective let A- module is inite. Proo. Let I be a initely enerated injective let A-module, and P I K,b (proj A) a projective resolution o I. For every n 1, denote by Ω n A (I) the imae o the nth dierential in P I. It suices to show that the identity on P I actors throuh an object in K b (proj A), or this would imply that Ω n A (I) is projective or hih n. Let T be a totally acyclic complex in K tac (proj A), and M the imae o its zeroth dierential. Then there is a monomorphism : M P or some P proj A (take or example P = T 1 ). Since I is injective, every map M I actors throuh. Now or every n 1, denote by Ω n A (M) the imae o the nth dierential in T. We claim that every map : Ω n A (M) Ωn A (I) actors throuh a projective module. To see this, note that every such map lits to a chain map β n (T ) β n (P I ), and by Lemma 2.1(a) this chain map can be extended to a chain map T P I. This ives a map : M I, which actors throuh a projective module by the above. Since = Ω n A ( ), the map also actors throuh a projective module, as claimed. We show next that Hom D b st (A)(β proj A (T ), P I ) = 0. Any morphism ψ in this roup is (represented by) a diaram C β 0 (T ) P I in K,b (proj A), with the cone o belonin to K b (proj A). As in the proo o Theorem 2.2, we can assume that (up to homotopy) the two complexes β 0 (T ) and C aree in hih derees. From the above, it then ollows that or hih n, every map B n (C) B n (P I ) actors throuh a projective module, where B n (D) denotes the imae o the nth dierential in a complex D. This shows that ψ = 0. We can now show that the identity on P I actors throuh an object in K b (proj A). Namely, since the unctor β proj A is dense, the complex P I is isomorphic in to β proj A (T ) or some acyclic complex T K tac (proj A). From what we showed above, we obtain and the result ollows. Hom D b st (A)(P I, P I ) Hom D b st (A)(β proj A (T ), P I ) = 0, Recall that a Noetherian rin (i.e. a rin that is both let and riht Noetherian) is Gorenstein i its injective dimensions both as a let and as a riht module are inite. By a classical result o Zaks (c. [Zak, Lemma A]), the two injective dimensions then coincide. However, it is an open question whether a Noetherian rin o inite selinjective dimension on one side is o inite selinjective dimension on both sides, and thereore Gorenstein.
8 8 PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN We have now come to the main result. It deals with Artin rins (i.e. rins that are both let and riht Artin) and commutative Noetherian local rins. Namely, or such a rin A, the unctor β proj A is dense i and only i A is Gorenstein. As mentioned in the introduction, the i part o this result is classical: it is part o [Buc, Theorem 4.4.1]. We include a proo or the convenience o the reader. Theorem 2.7. Let A be either an Artin rin or a commutative Noetherian local rin, and proj A the cateory o initely enerated projective let A-modules. Then the unctor is dense i and only i A is Gorenstein. Proo. Suppose the unctor β proj A is dense. I A is local, then it is Gorenstein by Corollary 2.5. I A is Artin, then the injective dimension o A as a let module is inite by Corollary 2.4. Moreover, by Proposition 2.6, every initely enerated injective let A-module has inite projective dimension. The duality between initely enerated let and riht modules then implies that every initely enerated projective riht A-module has inite injective dimension. Thereore A is Gorenstein. Conversely, suppose that A is Gorenstein, and let C be a complex in K,b (proj A). Usin the same notation as in the previous proo, there is an inteer n such that the A-module B n (C) is maximal Cohen-Macaulay, and such that β n (C) is a projective resolution o B n (C). Since B n (C) is maximal Cohen-Macaulay, it admits a projective co-resolution C, and splicin β n (C) and C at B n (C) ives a totally acyclic complex T K tac (proj A). Since β n (C) = β n (T ), the complexes C and β proj A (T ) are isomorphic in, hence the unctor β proj A is dense. Motivated by Theorem 2.2 and Theorem 2.7, we now introduce a new trianulated cateory or any let Noetherian rin A. Since the trianle unctor is ully aithul by Theorem 2.2, the cateory K tac (proj A) embeds in as the imae o β proj A. The isomorphism closure Im β proj A is a thick subcateory o, hence we may orm the correspondin Verdier quotient. Deinition. The Gorenstein deect cateory o a let Noetherian rin A is the Verdier quotient D b G(A) de = / Im β proj A, where proj A is the cateory o initely enerated projective let A-modules. In terms o the Gorenstein deect cateory, Theorem 2.7 takes the ollowin orm. Theorem 2.8. I A is either an Artin rin or a commutative Noetherian local rin, then D b G (A) = 0 i and only i A is Gorenstein. Theorem 2.8 suests that the size o the Gorenstein deect cateory (o an Artin rin or a commutative Noetherian local rin) measures in some sense how ar the rin is rom bein Gorenstein. It would thereore be interestin to ind criteria which characterize the rins whose Gorenstein deect cateories are n-dimensional, in the sense o Rouquier (c. [Rou]). An answer to the ollowin question would be a natural start. Question. What characterizes Artin rins and commutative Noetherian local rins with zero-dimensional Gorenstein deect cateories?
9 THE GORENSTEIN DEFECT CATEGORY 9 Reerences [Buc] R.-O. Buchweitz, Maximal Cohen-Macaulay modules and Tate-cohomoloy over Gorenstein rins, 1987, 155 pp; see [Nee] A. Neeman, Trianulated cateories, Annals o Mathematics Studies, 148, Princeton University Press, Princeton, NJ, 2001, viii+449 pp. [Rou] R. Rouquier, Dimensions o trianulated cateories, J. K-theory 1 (2008), no. 2, [Zak] A. Zaks, Injective dimension o semi-primary rins, J. Alebra 13 (1969), Petter Andreas Berh, Institutt or matematiske a, NTNU, N-7491 Trondheim, Norway address: berh@math.ntnu.no David A. Jorensen, Department o mathematics, University o Texas at Arlinton, Arlinton, TX 76019, USA address: djorens@uta.edu Steen Oppermann, Institutt or matematiske a, NTNU, N-7491 Trondheim, Norway address: steen.oppermann@math.ntnu.no
Categorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationDERIVED CATEGORIES AND THEIR APPLICATIONS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 48, Número 3, 2007, Páinas 1 26 DERIVED CATEGORIES AND THEIR APPLICATIONS Abstract In this notes we start with the basic deinitions o derived cateories,
More informationRELATIVE GOURSAT CATEGORIES
RELTIVE GOURST CTEGORIES JULI GOEDECKE ND TMR JNELIDZE bstract. We deine relative Goursat cateories and prove relative versions o the equivalent conditions deinin reular Goursat cateories. These include
More informationSTRONGLY GORENSTEIN PROJECTIVE MODULES OVER UPPER TRIANGULAR MATRIX ARTIN ALGEBRAS. Shanghai , P. R. China. Shanghai , P. R.
STRONGLY GORENSTEIN PROJETIVE MODULES OVER UPPER TRINGULR MTRIX RTIN LGERS NN GO PU ZHNG Department o Mathematics Shanhai University Shanhai 2444 P R hina Department o Mathematics Shanhai Jiao Ton University
More informationUMS 7/2/14. Nawaz John Sultani. July 12, Abstract
UMS 7/2/14 Nawaz John Sultani July 12, 2014 Notes or July, 2 2014 UMS lecture Abstract 1 Quick Review o Universals Deinition 1.1. I S : D C is a unctor and c an object o C, a universal arrow rom c to S
More informationCLASSIFICATION OF GROUP EXTENSIONS AND H 2
CLASSIFICATION OF GROUP EXTENSIONS AND H 2 RAPHAEL HO Abstract. In this paper we will outline the oundations o homoloical alebra, startin with the theory o chain complexes which arose in alebraic topoloy.
More informationA Peter May Picture Book, Part 1
A Peter May Picture Book, Part 1 Steve Balady Auust 17, 2007 This is the beinnin o a larer project, a notebook o sorts intended to clariy, elucidate, and/or illustrate the principal ideas in A Concise
More informationarxiv: v1 [math.rt] 12 Nov 2017
TRIANGULATED CATEGORIES WITH CLUSTER TILTING SUBCATEGORIES WUZHONG YANG, PANYUE ZHOU, AND BIN ZHU Dedicated to Proessor Idun Reiten on the occasion o her 75th birthday arxiv:7.0490v [math.rt] Nov 07 Abstract.
More informationThe excess intersection formula for Grothendieck-Witt groups
manuscripta mathematica manuscript No. (will be inserted by the editor) Jean Fasel The excess intersection ormula or Grothendieck-Witt roups Received: date / Revised version: date Abstract. We prove the
More informationSPLITTING OF SHORT EXACT SEQUENCES FOR MODULES. 1. Introduction Let R be a commutative ring. A sequence of R-modules and R-linear maps.
SPLITTING OF SHORT EXACT SEQUENCES FOR MODULES KEITH CONRAD 1. Introduction Let R be a commutative rin. A sequence o R-modules and R-linear maps N M P is called exact at M i im = ker. For example, to say
More informationTHE NEGATIVE SIDE OF COHOMOLOGY FOR CALABI-YAU CATEGORIES
THE NEGATIVE SIDE OF COHOMOLOGY FOR CALABI-YAU CATEGORIES PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Abstract. We study Z-graded cohomology rings defined over Calabi-Yau categories. We
More informationThe Depth Formula for Modules with Reducible Complexity
The Depth Formula for Modules with Reducible Complexity Petter Andreas Bergh David A Jorgensen Technical Report 2010-10 http://wwwutaedu/math/preprint/ THE DEPTH FORMULA FOR MODULES WITH REDUCIBLE COMPLEXITY
More informationTriangulated categories and localization
Trianulated cateories and localization Karin Marie Jacobsen Master o Science in Physics and Mathematics Submission date: Januar 212 Supervisor: Aslak Bakke Buan, MATH Norweian University o Science and
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationOn the Existence of Gorenstein Projective Precovers
Rend. Sem. Mat. Univ. Padova 1xx (201x) Rendiconti del Seminario Matematico della Università di Padova c European Mathematical Society On the Existence of Gorenstein Projective Precovers Javad Asadollahi
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationA NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space.
A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let P n be the projective n space over the complex numbers. In this note we show that an indecomposable
More informationBECK'S THEOREM CHARACTERIZING ALGEBRAS
BEK'S THEOREM HARATERIZING ALGEBRAS SOFI GJING JOVANOVSKA Abstract. In this paper, I will construct a proo o Beck's Theorem characterizin T -alebras. Suppose we have an adjoint pair o unctors F and G between
More informationApplications of balanced pairs
SCIENCE CHINA Mathematics. ARTICLES. May 2016 Vol.59 No.5: 861 874 doi: 10.1007/s11425-015-5094-1 Applications o balanced pairs LI HuanHuan, WANG JunFu & HUANG ZhaoYong Department o Mathematics, Nanjing
More informationVariations on a Casselman-Osborne theme
Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne
More informationHomotopy, Quasi-Isomorphism, and Coinvariants
LECTURE 10 Homotopy, Quasi-Isomorphism, an Coinvariants Please note that proos o many o the claims in this lecture are let to Problem Set 5. Recall that a sequence o abelian groups with ierential is a
More informationThe Category of Sets
The Cateory o Sets Hans Halvorson October 16, 2016 [[Note to students: this is a irst drat. Please report typos. A revised version will be posted within the next couple o weeks.]] 1 Introduction The aim
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
More informationCategories and Quantum Informatics: Monoidal categories
Cateories and Quantum Inormatics: Monoidal cateories Chris Heunen Sprin 2018 A monoidal cateory is a cateory equipped with extra data, describin how objects and morphisms can be combined in parallel. This
More information2 Coherent D-Modules. 2.1 Good filtrations
2 Coherent D-Modules As described in the introduction, any system o linear partial dierential equations can be considered as a coherent D-module. In this chapter we ocus our attention on coherent D-modules
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationJournal of Pure and Applied Algebra
Journal o Pure and Applied Algebra () 9 9 Contents lists available at ScienceDirect Journal o Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa When the heart o a aithul torsion pair
More informationCONVENIENT CATEGORIES OF SMOOTH SPACES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 11, November 2011, Paes 5789 5825 S 0002-9947(2011)05107-X Article electronically published on June 6, 2011 CONVENIENT CATEGORIES OF
More informationON THE VANISHING OF HOMOLOGY WITH MODULES OF FINITE LENGTH
ON THE VANISHING OF HOMOLOGY WITH MODULES OF FINITE LENGTH PETTER ANDREAS BERGH Abstract We study the vanishing of homology and cohomology of a module of finite complete intersection dimension over a local
More informationCentral Limit Theorems and Proofs
Math/Stat 394, Winter 0 F.W. Scholz Central Limit Theorems and Proos The ollowin ives a sel-contained treatment o the central limit theorem (CLT). It is based on Lindeber s (9) method. To state the CLT
More informationThe inner automorphism 3-group of a strict 2-group
The inner automorphism 3-roup o a strict 2-roup Dav Roberts and Urs Schreiber July 25, 2007 Abstract or any roup G, there is a 2-roup o inner automorphisms, INN(G). This plays the role o the universal
More informationPart 1. 1 Basic Theory of Categories. 1.1 Concrete Categories
Part 1 1 Basic Theory o Cateories 1.1 Concrete Cateories One reason or inventin the concept o cateory was to ormalize the notion o a set with additional structure, as it appears in several branches o mathematics.
More informationPROJECTIVE REPRESENTATIONS OF QUIVERS
IJMMS 31:2 22 97 11 II. S1611712218192 ttp://ijmms.indawi.com Hindawi ublisin Corp. ROJECTIVE RERESENTATIONS OF QUIVERS SANGWON ARK Received 3 Auust 21 We prove tat 2 is a projective representation o a
More informationTRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS. 0. Introduction
TRIANGULATED SUBCATEGORIES OF EXTENSIONS, STABLE T-STRUCTURES, AND TRIANGLES OF RECOLLEMENTS PETER JØRGENSEN AND KIRIKO KATO Abstract. In a triangulated category T with a pair of triangulated subcategories
More informationEpimorphisms and maximal covers in categories of compact spaces
@ Applied General Topoloy c Universidad Politécnica de Valencia Volume 14, no. 1, 2013 pp. 41-52 Epimorphisms and maximal covers in cateories o compact spaces B. Banaschewski and A. W. Haer Abstract The
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 informationA crash course in homological algebra
Chapter 2 A crash course in homoloical alebra By the 194 s techniques from alebraic topoloy bean to be applied to pure alebra, ivin rise to a new subject. To bein with, recall that a cateory C consists
More informationare well-formed, provided Φ ( X, x)
(October 27) 1 We deine an axiomatic system, called the First-Order Theory o Abstract Sets (FOTAS) Its syntax will be completely speciied Certain axioms will be iven; but these may be extended by additional
More informationON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS
ON TENSOR PRODUCTS OF COMPLETE RESOLUTIONS YOUSUF A. ALKHEZI & DAVID A. JORGENSEN Abstract. We construct tensor products of complete resolutions of finitely generated modules over Noetherian rings. As
More informationarxiv:math/ v2 [math.ra] 12 Jan 2001
INTRODUCTION TO A-INFINITY ALGEBRAS AND MODULES arxiv:math/9910179v2 [math.ra] 12 Jan 2001 BERNHARD KELLER Dedicated to H. Keller on the occasion o his seventy ith birthday Abstract. These are expanded
More informationMath 248B. Base change morphisms
Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationON THE DERIVED DIMENSION OF ABELIAN CATEGORIES
ON THE DERIVED DIMENSION OF ABELIAN CATEGORIES JAVAD ASADOLLAHI AND RASOOL HAFEZI Abstract. We give an upper bound on the dimension of the bounded derived category of an abelian category. We show that
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationMatrix factorisations
28.08.2013 Outline Main Theorem (Eisenbud) Let R = S/(f ) be a hypersurface. Then MCM(R) MF S (f ) Survey of the talk: 1 Define hypersurfaces. Explain, why they fit in our setting. 2 Define. Prove, that
More informationarxiv: v1 [math.ac] 13 Nov 2018
arxiv:1811.05508v1 [math.ac 13 Nov 2018 A CONVERSE TO A CONSTRUCTION OF EISENBUD-SHAMASH PETTER A. BERGH, DAVID A. JORGENSEN & W. FRANK MOORE Abstract. Let (Q,n,k) be a commutative local Noetherian ring,
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More informationThe Cohomology of Modules over a Complete Intersection Ring
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Papers in Mathematics Mathematics, Department of 12-2010 The Cohomology of Modules
More informationCOARSE-GRAINING OPEN MARKOV PROCESSES. John C. Baez. Kenny Courser
COARE-GRAINING OPEN MARKOV PROCEE John C. Baez Department o Mathematics University o Caliornia Riverside CA, UA 95 and Centre or Quantum echnoloies National University o inapore inapore 7543 Kenny Courser
More informationRelative singularity categories and Gorenstein-projective modules
Math. Nachr. 284, No. 2 3, 199 212 (2011) / DOI 10.1002/mana.200810017 Relative singularity categories and Gorenstein-projective modules Xiao-Wu Chen Department of Mathematics, University of Science and
More informationLIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset
5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,
More informationREPRESENTATION DIMENSION OF ARTIN ALGEBRAS
REPRESENTATION DIMENSION OF ARTIN ALGEBRAS STEFFEN OPPERMANN In 1971, Auslander [1] has introduced the notion of representation dimension of an artin algebra. His definition is as follows (see Section
More informationUniversity of Cape Town
The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial
More informationarxiv:math/ v1 [math.ct] 16 Jun 2006
arxiv:math/0606393v1 [math.ct] 16 Jun 2006 Strict 2-toposes Mark Weber bstract. 2-cateorical eneralisation o the notion o elementary topos is provided, and some o the properties o the yoneda structure
More informationCategory Theory 2. Eugenia Cheng Department of Mathematics, University of Sheffield Draft: 31st October 2007
Cateory Theory 2 Euenia Chen Department o Mathematics, niversity o Sheield E-mail: echen@sheieldacuk Drat: 31st October 2007 Contents 2 Some basic universal properties 1 21 Isomorphisms 2 22 Terminal objects
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationHow to glue perverse sheaves
How to glue perverse sheaves A.A. Beilinson The aim o this note [0] is to give a short, sel-contained account o the vanishing cycle constructions o perverse sheaves; e.g., or the needs o [1]. It diers
More informationTHE SNAIL LEMMA ENRICO M. VITALE
THE SNIL LEMM ENRICO M. VITLE STRCT. The classical snake lemma produces a six terms exact sequence starting rom a commutative square with one o the edge being a regular epimorphism. We establish a new
More informationLEVELS OF PERFECT COMPLEXES
LEVELS OF PERFECT COMPLEXES HANNAH ALTMANN, ELOÍSA GRIFO, JONATHAN MONTAÑO, WILLIAM SANDERS, AND THANH VU Abstract. A complex of R-modules F is perfect if it belongs to the smallest thick subcategory of
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 informationOriented Bivariant Theories, I
ESI The Erwin Schrödiner International Boltzmannasse 9 Institute or Mathematical Physics A-1090 Wien, Austria Oriented Bivariant Theories, I Shoji Yokura Vienna, Preprint ESI 1911 2007 April 27, 2007 Supported
More informationFrom Loop Groups To 2-Groups
From Loop Groups To 2-Groups John C. Baez Joint work with: Aaron Lauda Alissa Crans Danny Stevenson & Urs Schreiber 1 G f 1 f D 2 More details at: http://math.ucr.edu/home/baez/2roup/ 1 Hiher Gaue Theory
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationGood tilting modules and recollements of derived module categories, II.
Good tilting modules and recollements of derived module categories, II. Hongxing Chen and Changchang Xi Abstract Homological tilting modules of finite projective dimension are investigated. They generalize
More informationNotes on Beilinson s How to glue perverse sheaves
Notes on Beilinson s How to glue perverse sheaves Ryan Reich June 4, 2009 In this paper I provide something o a skeleton key to A.A. Beilinson s How to glue perverse sheaves [1], which I ound hard to understand
More informationWestern University. Imants Barušs King's University College, Robert Woodrow
Western University Scholarship@Western Psycholoy Psycholoy 2013 A reduction theorem or the Kripke-Joyal semantics: Forcin over an arbitrary cateory can always be replaced by orcin over a complete Heytin
More informationAlgebraic Geometry I Lectures 22 and 23
Algebraic Geometry I Lectures 22 and 23 Amod Agashe December 4, 2008 1 Fibered Products (contd..) Recall the deinition o ibered products g!θ X S Y X Y π 2 π 1 S By the universal mapping property o ibered
More informationON KAN EXTENSION OF HOMOLOGY AND ADAMS COCOMPLETION
Bulletin o the Institute o Mathematics Academia Sinica (New Series) Vol 4 (2009), No 1, pp 47-66 ON KAN ETENSION OF HOMOLOG AND ADAMS COCOMPLETION B AKRUR BEHERA AND RADHESHAM OTA Abstract Under a set
More informationTHE AXIOMS FOR TRIANGULATED CATEGORIES
THE AIOMS FOR TRIANGULATED CATEGORIES J. P. MA Contents 1. Trianulated cateories 1 2. Weak pusouts and weak pullbacks 4 3. How to prove Verdier s axiom 6 Reerences 9 Tis is an edited extract rom my paper
More informationBARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS
BARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS JASHA SOMMER-SIMPSON Abstract Given roupoids G and H as well as an isomorpism Ψ : Sd G = Sd H between subdivisions, we construct an isomorpism P :
More informationFinite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)
Electronic Notes in Theoretical Computer Science 270 (1) (2011) 113 119 www.elsevier.com/locate/entcs Finite Dimensional Hilbert Spaces are Complete or Dagger Compact Closed Categories (Extended bstract)
More informationRELATIVE HOMOLOGY. M. Auslander Ø. Solberg
RELATIVE HOMOLOGY M. Auslander Ø. Solberg Department of Mathematics Institutt for matematikk og statistikk Brandeis University Universitetet i Trondheim, AVH Waltham, Mass. 02254 9110 N 7055 Dragvoll USA
More informationDUALITY AND SMALL FUNCTORS
DUALITY AND SMALL FUNCTORS GEORG BIEDERMANN AND BORIS CHORNY Abstract. The homotopy theory o small unctors is a useul tool or studying various questions in homotopy theory. In this paper, we develop the
More informationAnnihilation of Cohomology over Curve Singularities
Annihilation of Cohomology over Curve Singularities Maurice Auslander International Conference Özgür Esentepe University of Toronto April 29, 2018 Özgür Esentepe (University of Toronto) Annihilation of
More informationHopf cyclic cohomology and transverse characteristic classes
Hopf cyclic cohomoloy and transverse characteristic classes Lecture 2: Hopf cyclic complexes Bahram Ranipour, UNB Based on joint works with Henri Moscovici and with Serkan Sütlü Vanderbilt University May
More informationGorenstein algebras and algebras with dominant dimension at least 2.
Gorenstein algebras and algebras with dominant dimension at least 2. M. Auslander Ø. Solberg Department of Mathematics Brandeis University Waltham, Mass. 02254 9110 USA Institutt for matematikk og statistikk
More informationMODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES
MODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES S. B. BRADLOW, O. GARCÍA-PRADA, V. MERCAT, V. MUÑOZ, AND P. E. NEWSTEAD Abstract. Let C be an alebraic curve of enus 2. A coherent system
More informationDIMENSIONS OF TRIANGULATED CATEGORIES VIA KOSZUL OBJECTS
DIMENSIONS OF TRIANGULATED CATEGORIES VIA KOSZUL OBJECTS PETTER ANDREAS BERGH, SRIKANTH B. IYENGAR, HENNING KRAUSE, AND STEFFEN OPPERMANN Dedicated to Karin Erdmann on the occasion of her 60th birthday.
More informationSTABLE EQUIVALENCES OF GRADED ALGEBRAS
STABLE EQUIVALENCES OF GRADED ALGEBRAS ALEX S. DUGAS AND ROBERTO MARTÍNEZ-VILLA Abstract. We extend the notion o stable equivalence to the class o locally noetherian graded algebras. For such an algebra
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More information(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationTHE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS
THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS FINNUR LÁRUSSON Abstract. We give a detailed exposition o the homotopy theory o equivalence relations, perhaps the simplest nontrivial example o a model structure.
More informationHOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS
HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN Abstract. We study the homological behavior of modules over local rings modulo exact zero-divisors.
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationLecture notes for a class on perfectoid spaces
Lecture notes for a class on perfectoid spaces Bharav Bhatt April 23, 2017 Contents Preface 3 1 Conventions on non-archimedean fields 4 2 Perfections and tiltin 6 3 Perfectoid fields 9 3.1 Definition and
More informationSingularity Categories, Schur Functors and Triangular Matrix Rings
Algebr Represent Theor (29 12:181 191 DOI 1.17/s1468-9-9149-2 Singularity Categories, Schur Functors and Triangular Matrix Rings Xiao-Wu Chen Received: 14 June 27 / Accepted: 12 April 28 / Published online:
More informationCONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING
CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING RYO TAKAHASHI Introduction The notion of a contravariantly finite subcategory (of the category of finitely generated modules)
More informationSTABLE HOMOLOGY OVER ASSOCIATIVE RINGS
STABLE HOMOLOGY OVER ASSOCIATIVE RINGS OLGUR CELIKBAS, LARS WINTHER CHRISTENSEN, LI LIANG, AND GREG PIEPMEYER Abstract. We analyze stable homology over associative rings and obtain results over Artin algebras
More informationMADE-TO-ORDER WEAK FACTORIZATION SYSTEMS
MADE-TO-ORDER WEAK FACTORIZATION SYSTEMS EMILY RIEHL The aim o this note is to briely summarize techniques or building weak actorization systems whose right class is characterized by a particular liting
More informationTangent Categories. David M. Roberts, Urs Schreiber and Todd Trimble. September 5, 2007
Tangent Categories David M Roberts, Urs Schreiber and Todd Trimble September 5, 2007 Abstract For any n-category C we consider the sub-n-category T C C 2 o squares in C with pinned let boundary This resolves
More informationarxiv: v7 [cs.db] 24 Jul 2015
Relational oundations or unctorial Data Miration David I. Spivak, Ryan Wisnesky Massachusetts Institute o Technoloy {dspivak, wisnesky}@math.mit.edu arxiv:1212.5303v7 [cs.db] 24 Jul 2015 July 28, 2015
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 information