Matrix factorisations
|
|
- Prosper Norton
- 5 years ago
- Views:
Transcription
1
2 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 they form a Frobenius category. 3 Prove the equivalence.
3 Regular local rings Definition A Noetherian local ring S is called regular if Example k[x 1,..., X n ] (X1,...,X n) k[[x 1,..., X n ]] Kdim S = gldim S <. Lemma A regular local ring S is Gorenstein. Proof. gldim S < Ext i S (k, S) = 0 for i 0 indim S <
4 Quotients of Gorenstein rings Let S be regular local. Let 0 f S be a non-unit. Lemma A regular local ring is a domain. Proposition Let S be a Noetherian local ring. Let f S be a non-unit, non-zero divisor. Then indim S/(f ) S/(f ) = indim S S 1. Corollary S Gorenstein S/(f ) Gorenstein.
5 Hypersurfaces Definition Let S be a regular local ring and 0 f S be a non-unit. Then R := S/(f ) is called a hypersurface. Main Theorem (Eisenbud) Let R = S/(f ) be a hypersurface. Then MCM(R) MF S (f )
6 Definition Let S be a ring, f S. A matrix factorisation of f is a pair of maps of free S-modules such that ϕ ψ F G F ϕ f 1 F F G F G ψ f 1 G ϕ
7 Examples Example Let S = C[[x, y]], f = y 2 x 2. Then a matrix factorisation is given by y x x y y x x y S 2 S 2 S 2 Example 1 F F f 1 F F F
8 Morphisms of matrix factorisations Definition A morphism between two matrix factorisations of f is given by: F G F α ϕ ψ F G F β ϕ ψ Composition of two morphisms is given componentwise.denote the category of matrix factorisations by MF S (f ). α
9 Additive Categories Recall A category A is called additive if A has a zero object. Every Hom-Set is an abelian group and composition is bilinear. There exists a coproduct of every two objects.
10 Additive Categories Proposition The category MF S (f ) is additive: A has a zero object is a zero object. Every Hom-Set is an abelian group and composition is bilinear. (α, β) + (α, β ) = (α + α, β + β ). There exists a coproduct of every two objects. ϕ S ψ S ϕ T ψ T ( S 0 S 1 S 0 ) ( T0 T 1 T 0 ) ϕ S 0 0 ϕ T ψ S 0 0 ψ T := S 0 T 0 S 1 T 1 S 0 T 0
11 Important Lemmas Lemma Let (ϕ, ψ) MF S (f ). Then ϕ is a monomorphism. Proof. Let ϕ(z) = 0. Then 0 = ψϕ(z) = f z. Thus z = 0.
12 and exact sequences Lemma ϕ ψ Let F G F be a matrix factorisation. Then ϕ ϕ ψ ϕ F G F is exact, where F = F /(ff ). Proof. ϕψ = f 1 G ϕψ = 0 Let z ker ϕ.then ϕ(z) fg = ϕψg z Im(ψ).
13 Proposition Up to isomorphism one can assume F = G. Proof. ϕ ψ Let F G F be a matrix factorisation. Then ϕ ϕ ψ ϕ F G F is exact. Localize at a minimal prime p, you get artinian modules. Thus l(g p ) = l(im ψ p ) + l(ker ψ p ) = l(f p ). But here rank(g p ) = l(g p )/l(r p ).
14 Proof (continued). Thus F = G, say via A.Then the following provides an isomorphism between matrix factorisations: F G F 1 F ϕ Aϕ A ψ ψa 1 F F F 1 F
15 Exact categories Recall An additive category A with a class of short exact sequences { A B C } is called exact if 1 B B 1 B 0, 0 B B B Composition of admissible monomorphisms is admissible monomorphism Composition of admissible epimorphisms is addmisible epimorphism Pushout of an admissible monomorphism and an arbitrary map yields an admissible monomorphism. Pullback of an admissible epimorphism and an arbitrary map yields an admissible epimorphism.
16 Exact sequences Proposition The category MF S (f ) is an exact category with exact sequences given by: S 0 T 0 U 0 S 1 T 1 U 1. This means in particular: admissible epimorphism = all epimorphisms = split epimorphisms admissible monomorphism = split monomorphisms
17 MF S (f ) is exact Proof. 1 T0 0 T 0 T 0 is exact. 1 T1 0 T 1 T 1 Same for the dual situation. Composition of admissible monomorphisms is admissible monomorphism follows from Composition of split monomorphisms is split monomorphism Same for dual situation.
18 MF S (f ) is exact (continued) Proof (continued). 1 0 S 0 S 0 S 0 µ T 0 T 0 S µ is the pushout of the canonical split map and an arbitrary map µ. That this holds for MF S (f ) as well follows componentwise.
19 Exact subcategories of abelian categories Remark (added after the talk, after remarks from R. Buchweitz, M. Kalck and M. Severitt) Any exact category can be embedded into an abelian category by an abstract abelian hull -construction. In the case of MF S (f ) there are several possibilities to embed it into: The abelian category of chain complexes, by mapping (ϕ, ψ) to (..., 0, ϕ, 0, ψ, 0,... ). The category of modules over S( 1 2 ). The category of graded modules over the Z 2 -graded algebra S[y]/(y 2 = f ), where y = 1.
20 Projective objects in MF S (f ) Lemma With respect to the defined exact structure (1, f ) is projective. Proof. We can assume that S 0 = S 1 =: S. Have to show every admissible epimorphism to (1, f ) splits. S ϕ ψ S α µ 1 S α ϕµ S S f
21 Injective objects in MF S (f ) Lemma With respect to the defined exact structure (1, f ) is injective. Proof. Have to show every admissible monomorphism from (1, f ) splits. β S S νϕ 1 S f ϕ β S S Note: Every admissible monomorphism splits. ν ψ
22 Frobenius categories Recall An exact category is called Frobenius category if projective and injective objects coincide and the category has enough projectives and injectives. Proposition MF S (f ) is a Frobenius category with prinjective objects add(1, f ) (f, 1).
23 MF S (f ) is a Frobenius category Proof. We have already seen that (1, f ) (f, 1) is prinjective. The following diagram shows enough prinjectives: ϕ ψ ϕ 1 ( 1, ϕ) S 0 S 0 S 0 S 0 1 ψ f (ψ,1) S 0 S 0 S 0 S 0 ϕ 1 f ( 1, ϕ) S 0 S 0 S 0 S 0 ψ ϕ
24 The Main Theorem again Theorem Let R = S/(f ) be a hypersurface. Then we have: MF S (f )/ add(1, f ) CM(R) and MF S (f ) CM(R).
25 The proof Proof I: MF S (f )/ add(1, f ) CM(R) Let X : MF S (f )/ add(1, f ) (ϕ, ψ) CM(R) Coker ϕ This is well-defined: ϕ 0 F G Coker ϕ 0 ff = ϕψf ϕg, hence f Coker(1, f ) = 0. Coker ϕ = 0. }{{} an R-module The key lemma before shows: Coker ϕ has a periodic free R-resolution.
26 The proof (continued) Recall R Cohen-Macaulay of dimension d. Then for any n d: Proof I (continued). Ω n (M) = 0 or Ω n (M) is Cohen-Macaulay. Coker ϕ = Ω 2n Coker ϕ is Cohen-Macaulay. ϕ F G Coker ϕ 0 α β ϕ F G Coker ϕ 0 defines the functor on morphisms.
27 A small amount of commutative algebra Proposition Let R = S/(f ) be a hypersurface. M CM(R) prdim S M = 1. Proof. prdim S M = Kdim(S) depth(m) Auslander-Buchsbaum formula = Kdim(S) Kdim(R) M CM(R) = 1 Krull s principal ideal theorem
28 The other direction of the proof Proof II: CM(R) MF S (f )/ add(1, f ) Let M CM(R), then prdim S M = 1: fm = 0 fs 1 ϕs 0. x S 1!y S 0 : fx = ϕy Set ψ : S 1 S 0 : x y. 0 F ϕ G M 0. (ϕ, ψ) gives a matrix factorisation. Define Y(M) := (ϕ, ψ). fx = ϕy, fx = ϕy f (x + x ) = ϕ(y + y ) ψ(x + x ) = y + y s S fxs = ϕ(ys) ψ(xs) = ys.
29 Proof II (continued). M, M CM(R). 0 F G M 0 ϕ ϕ 0 F G M 0 Minimal projective resolutions are unique up to isomorphism. Gives a functor CM(R) MF S (f )/ add(1, f ). Equivalence is now obvious. X (f, 1) = Coker(f ) = R, hence MF S (f ) CM(R).
30 Interchanging ϕ and ψ Corollary M = X (ϕ, ψ) ΩM = X (ψ, ϕ). Proof. ψ ϕ R 1 R 0 R 0 0 X (ψ, ϕ) R X (ϕ, ψ) 0
31 Frobenius categories and homotopy Proposition The equivalence before can also be written as: H 0 (MF S (f )) CM(R). Proof. null-homotopic factors through prinjective ϕ ψ S 0 S 0 S 0 α h β k α T 0 T 0 T 0 ϕ ψ with β = ϕ h + kψ and α = ψ k + hϕ.
32 Proof of homotopy factoring Proof (continued) β = ϕ h + kψ and α = ψ k + hϕ. ϕ S 0 S 0 S 0 1 ϕ f S 0 S 0 S 0 S 0 S 0 S 0 ψ ψ f 1 ϕ (ψ k,h) (k,ϕ h) (ψ k,h) ϕ ψ T 0 T 0 T 0
33 Proof of factoring homotopy Proof (continued) α = α 2 α 1 + α 2 α 1 and β = β 2β 1 + β 2 β 1 α 1 α 1 ϕ S 0 S 0 S 0 β 1 f 0 β U 0 U 0 U 0 U 0 U 0 U 0 ψ α α 1 0 f (α 2,α 2 ) (β 2,β 2 ) (α 2,α 2 ) ϕ ψ T 0 T 0 T 0
34 The end Proof. α = α 2 α 1 + α 2α 1 β = β 2 β 1 + β 2β 1 ( ) ( ) ( ) ( ) f α1 β1 ϕ β1 α1 ψ = β 1 ϕ β 1 f = α 1 ψ α 1 (ϕ α 2, ϕ α 2) = (β 2 f, β 2) (ψ β 2, ψ β 2) = (α 2, α 2f ) ϕ S 0 S 0 S 0 ψ α α 2 β 1 β β 2 α 1 α T 0 T 0 T 0 ϕ ψ
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
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 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 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 informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More informationGorenstein Homological Algebra of Artin Algebras. Xiao-Wu Chen
Gorenstein Homological Algebra of Artin Algebras Xiao-Wu Chen Department of Mathematics University of Science and Technology of China Hefei, 230026, People s Republic of China March 2010 Acknowledgements
More informationThe Segre Embedding. Daniel Murfet May 16, 2006
The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded A-algebras then the tensor product S A T becomes a graded A-algebra
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationThe Proj Construction
The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of
More informationWIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES
WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
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 informationFLAT RING EPIMORPHISMS AND UNIVERSAL LOCALISATIONS OF COMMUTATIVE RINGS
FLAT RING EPIMORPHISMS AND UNIVERSAL LOCALISATIONS OF COMMUTATIVE RINGS LIDIA ANGELERI HÜGEL, FREDERIK MARKS, JAN ŠŤOVÍČEK, RYO TAKAHASHI, JORGE VITÓRIA Abstract. We study different types of localisations
More informationGraded maximal Cohen-Macaulay modules over. Noncommutative graded Gorenstein isolated singularities. Kenta Ueyama. ICRA XV, Bielefeld, August 2012
Graded maximal Cohen-Macaulay modules over noncommutative graded Gorenstein isolated singularities Shizuoka University, Japan ICRA XV, Bielefeld, August 2012 Notations Throughout this talk, k : an algebraically
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationTHE RADIUS OF A SUBCATEGORY OF MODULES
THE RADIUS OF A SUBCATEGORY OF MODULES HAILONG DAO AND RYO TAKAHASHI Dedicated to Professor Craig Huneke on the occasion of his sixtieth birthday Abstract. We introduce a new invariant for subcategories
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 informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationREFLEXIVE MODULES OVER GORENSTEIN RINGS
REFLEXIVE MODULES OVER GORENSTEIN RINGS WOLMER V. VASCONCELOS1 Introduction. The aim of this paper is to show the relevance of a class of commutative noetherian rings to the study of reflexive modules.
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationApplications of exact structures in abelian categories
Publ. Math. Debrecen 88/3-4 (216), 269 286 DOI: 1.5486/PMD.216.722 Applications of exact structures in abelian categories By JUNFU WANG (Nanjing), HUANHUAN LI (Xi an) and ZHAOYONG HUANG (Nanjing) Abstract.
More informationTHE FROBENIUS FUNCTOR AND INJECTIVE MODULES
THE FOBENIUS FUNCTO AND INJECTIVE MODULES THOMAS MALEY Abstract. We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again
More informationPure-Injectivity in the Category of Gorenstein Projective Modules
Pure-Injectivity in the Category of Gorenstein Projective Modules Peng Yu and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 2193, Jiangsu Province, China Abstract In this paper,
More informationLECTURE NOTES DAVID WHITE
LECTURE NOTES DAVID WHITE 1. Motivation for Spectra 1 It is VERY hard to compute homotopy groups. We want to put as much algebraic structure as possible in order to make computation easier. You can t add
More informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationProperties of Triangular Matrix and Gorenstein Differential Graded Algebras
Properties of Triangular Matrix and Gorenstein Differential Graded Algebras Daniel Maycock Thesis submitted for the degree of Doctor of Philosophy chool of Mathematics & tatistics Newcastle University
More informationA functorial approach to modules of G-dimension zero
A functorial approach to modules of G-dimension zero Yuji Yoshino Math. Department, Faculty of Science Okayama University, Okayama 700-8530, Japan yoshino@math.okayama-u.ac.jp Abstract Let R be a commutative
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 informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationDerived Categories. Mistuo Hoshino
Derived Categories Mistuo Hoshino Contents 01. Cochain complexes 02. Mapping cones 03. Homotopy categories 04. Quasi-isomorphisms 05. Mapping cylinders 06. Triangulated categories 07. Épaisse subcategories
More informationTRIANGULATED CATEGORIES OF MATRIX FACTORIZATIONS FOR REGULAR SYSTEMS OF WEIGHTS WITH ε = 1. Contents
RIMS-1600 TRIANGULATED CATEGORIES OF MATRIX FACTORIZATIONS FOR REGULAR SYSTEMS OF WEIGHTS WITH ε = 1 HIROSHIGE KAJIURA KYOJI SAITO AND ATSUSHI TAKAHASHI Abstract. We construct a full strongly exceptional
More informationHorrocks correspondence
Horrocks correspondence Department of Mathematics and Computer Science University of Missouri-St.Louis May, 2016 (Department of Mathematics and Computer Horrocks Science correspondence University of Missouri-St.Louis)
More informationIn the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion.
Definition 1 A map f : Y X between connected spaces is called a homotopy monomorphism at p if its homotopy fibre F is BZ/p-local for every choice of basepoint. In the special case where Y = BP is the classifying
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
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 informationFrobenius maps on injective hulls and their applications Moty Katzman, The University of Sheffield.
Frobenius maps on injective hulls and their applications Moty Katzman, The University of Sheffield. Consider a complete local ring (S, m) of characteristic p > 0 and its injective hull E S = E S (S/m).
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 informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationRecollement of Grothendieck categories. Applications to schemes
ull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 109 116 Recollement of Grothendieck categories. Applications to schemes by D. Joiţa, C. Năstăsescu and L. Năstăsescu Dedicated to the memory
More information1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
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 informationA COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)
A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A category C is skeletally small if there exists a set of objects in C such that every object
More informationLectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality.
Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality. Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu February 16, 2009 Joseph Lipman (Purdue
More informationModules over a Scheme
Modules over a Scheme Daniel Murfet October 5, 2006 In these notes we collect various facts about quasi-coherent sheaves on a scheme. Nearly all of the material is trivial or can be found in [Gro60]. These
More informationarxiv: v2 [math.ct] 27 Dec 2014
ON DIRECT SUMMANDS OF HOMOLOGICAL FUNCTORS ON LENGTH CATEGORIES arxiv:1305.1914v2 [math.ct] 27 Dec 2014 ALEX MARTSINKOVSKY Abstract. We show that direct summands of certain additive functors arising as
More informationMINIMAL FREE RESOLUTIONS over COMPLETE INTERSECTIONS. David Eisenbud and Irena Peeva
MINIMAL FREE RESOLUTIONS over COMPLETE INTERSECTIONS David Eisenbud and Irena Peeva Contents 1 Introduction and Survey... 1 1.1 How we got here... 1 1.2 What is a Higher Matrix Factorization?... 7 1.3
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 informationLectures on Homological Algebra. Weizhe Zheng
Lectures on Homological Algebra Weizhe Zheng Morningside Center of Mathematics Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 100190, China University of the Chinese Academy
More informationDedicated to Helmut Lenzing for his 60th birthday
C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,
More informationRelative Left Derived Functors of Tensor Product Functors. Junfu Wang and Zhaoyong Huang
Relative Left Derived Functors of Tensor Product Functors Junfu Wang and Zhaoyong Huang Department of Mathematics, Nanjing University, Nanjing 210093, Jiangsu Province, China Abstract We introduce and
More informationOn Extensions of Modules
On Extensions of Modules Janet Striuli Department of Mathematics, University of Kansas, Lawrence, KS 66045, USA Abstract In this paper we study closely Yoneda s correspondence between short exact sequences
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 informationEXTENSIONS OF GR O U P S AND M O D U L E S
M A T -3 9 M A S T E R S T H E S I S I N M A T H E M A T I C S EXTENSIONS OF GR O U P S AND M O D U L E S CatalinaNicole Vintilescu Nermo May, 21 FACULTY OF SCIENCE AND T ECH N OL O G Y Department of Mathematics
More informationGorenstein homological dimensions
Journal of Pure and Applied Algebra 189 (24) 167 193 www.elsevier.com/locate/jpaa Gorenstein homological dimensions Henrik Holm Matematisk Afdeling, Universitetsparken 5, Copenhagen DK-21, Denmark Received
More informationDerived Algebraic Geometry I: Stable -Categories
Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5
More informationThe torsion free part of the Ziegler spectrum of orders over Dedekind domains
The torsion free part of the Ziegler spectrum of orders over Dedekind domains Carlo Toffalori (Camerino) Manchester, April 6-9, 2018 Work in progress with Lorna Gregory and Sonia L Innocente Dedicated
More information7 Rings with Semisimple Generators.
7 Rings with Semisimple Generators. It is now quite easy to use Morita to obtain the classical Wedderburn and Artin-Wedderburn characterizations of simple Artinian and semisimple rings. We begin by reminding
More informationVANISHING THEOREMS FOR COMPLETE INTERSECTIONS. Craig Huneke, David A. Jorgensen and Roger Wiegand. August 15, 2000
VANISHING THEOREMS FOR COMPLETE INTERSECTIONS Craig Huneke, David A. Jorgensen and Roger Wiegand August 15, 2000 The starting point for this work is Auslander s seminal paper [A]. The main focus of his
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 informationINJECTIVE MODULES AND THE INJECTIVE HULL OF A MODULE, November 27, 2009
INJECTIVE ODULES AND THE INJECTIVE HULL OF A ODULE, November 27, 2009 ICHIEL KOSTERS Abstract. In the first section we will define injective modules and we will prove some theorems. In the second section,
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationQuantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians.
Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians. T.H. Lenagan and L. Rigal Abstract We study quantum analogues
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationDerived categories, perverse sheaves and intermediate extension functor
Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1
More informationThe Diamond Category of a Locally Discrete Ordered Set.
The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a
More informationFLAT RING EPIMORPHISMS AND UNIVERSAL LOCALISATIONS OF COMMUTATIVE RINGS
FLAT RING EPIMORPHISMS AND UNIVERSAL LOCALISATIONS OF COMMUTATIVE RINGS LIDIA ANGELERI HÜGEL, FREDERIK MARKS, JAN ŠŤOVÍČEK, RYO TAKAHASHI, JORGE VITÓRIA Abstract. We study different types of localisations
More informationProjective and Injective Modules
Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
More information38 Irreducibility criteria in rings of polynomials
38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m
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 informationarxiv:math/ v2 [math.ac] 25 Sep 2006
arxiv:math/0607315v2 [math.ac] 25 Sep 2006 ON THE NUMBER OF INDECOMPOSABLE TOTALLY REFLEXIVE MODULES RYO TAKAHASHI Abstract. In this note, it is proved that over a commutative noetherian henselian non-gorenstein
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 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 informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationHOMOLOGICAL PROPERTIES OF QUANTIZED COORDINATE RINGS OF SEMISIMPLE GROUPS
HOMOLOGICAL PROPERTIES OF QUANTIZED COORDINATE RINGS OF SEMISIMPLE GROUPS K.R. GOODEARL AND J.J. ZHANG Abstract. We prove that the generic quantized coordinate ring O q(g) is Auslander-regular, Cohen-Macaulay,
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More informationInduced maps on Grothendieck groups
Niels uit de Bos Induced maps on Grothendieck groups Master s thesis, August, 2014 Supervisor: Lenny Taelman Mathematisch Instituut, Universiteit Leiden CONTENTS 2 Contents 1 Introduction 4 1.1 Motivation
More informationAn Axiomatic Description of a Duality for Modules
advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany
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 informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in
More informationTHE DIMENSION OF A SUBCATEGORY OF MODULES
THE DIMENSION OF A SUBCATEGORY OF MODULES HAILONG DAO AND RYO TAKAHASHI Abstract. Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationNotes for Boot Camp II
Notes for Boot Camp II Mengyuan Zhang Last updated on September 7, 2016 1 The following are notes for Boot Camp II of the Commutative Algebra Student Seminar. No originality is claimed anywhere. The main
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationare additive in each variable. Explicitly, the condition on composition means that given a diagram
1. Abelian categories Most of homological algebra can be carried out in the setting of abelian categories, a class of categories which includes on the one hand all categories of modules and on the other
More informationSTRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 46, Number 6, 2016 STRONGLY COPURE PROJECTIVE, INJECTIVE AND FLAT COMPLEXES XIN MA AND ZHONGKUI LIU ABSTRACT. In this paper, we extend the notions of strongly
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 informationHomological Aspects of the Dual Auslander Transpose II
Homological Aspects of the Dual Auslander Transpose II Xi Tang College of Science, Guilin University of Technology, Guilin 541004, Guangxi Province, P.R. China E-mail: tx5259@sina.com.cn Zhaoyong Huang
More informationBUILDING MODULES FROM THE SINGULAR LOCUS
BUILDING MODULES FROM THE SINGULAR LOCUS JESSE BURKE, LARS WINTHER CHRISTENSEN, AND RYO TAKAHASHI Abstract. A finitely generated module over a commutative noetherian ring of finite Krull dimension can
More informationA Homological Study of Bornological Spaces
Prépublications Mathématiques de l Université Paris 13 A Homological Study of Bornological Spaces by Fabienne Prosmans Jean-Pierre Schneiders 00-21 December 2000 Laboratoire Analyse, Géométrie et Applications,
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
More information