Homological Algebra
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Injective 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 a small extent, what one can do with them. Let R be a commutative Noetherian ring with an identity element. An R- module E is injective if HomR( ;E) is an exact functor. The main messages of these notes are − Every R-module M has an injective hull or injective envelope, de- • noted by ER(M), which is an injective module containing M, and has the property that any injective module containing M contains an isomorphic copy of ER(M). A nonzero injective module is indecomposable if it is not the direct • sum of nonzero injective modules. Every injective R-module is a direct sum of indecomposable injective R-modules. Indecomposable injective R-modules are in bijective correspondence • with the prime ideals of R; in fact every indecomposable injective R-module is isomorphic to an injective hull ER(R=p), for some prime ideal p of R. The number of isomorphic copies of ER(R=p) occurring in any direct • sum decomposition of a given injective module into indecomposable injectives is independent of the decomposition. Let (R; m) be a complete local ring and E = ER(R=m) be the injec- • tive hull of the residue field of R. The functor ( )_ = HomR( ;E) has the following properties, known as Matlis duality− : − (1) If M is an R-module which is Noetherian or Artinian, then M __ ∼= M. -
Modules and Vector Spaces
Modules and Vector Spaces R. C. Daileda October 16, 2017 1 Modules Definition 1. A (left) R-module is a triple (R; M; ·) consisting of a ring R, an (additive) abelian group M and a binary operation · : R × M ! M (simply written as r · m = rm) that for all r; s 2 R and m; n 2 M satisfies • r(m + n) = rm + rn ; • (r + s)m = rm + sm ; • r(sm) = (rs)m. If R has unity we also require that 1m = m for all m 2 M. If R = F , a field, we call M a vector space (over F ). N Remark 1. One can show that as a consequence of this definition, the zeros of R and M both \act like zero" relative to the binary operation between R and M, i.e. 0Rm = 0M and r0M = 0M for all r 2 R and m 2 M. H Example 1. Let R be a ring. • R is an R-module using multiplication in R as the binary operation. • Every (additive) abelian group G is a Z-module via n · g = ng for n 2 Z and g 2 G. In fact, this is the only way to make G into a Z-module. Since we must have 1 · g = g for all g 2 G, one can show that n · g = ng for all n 2 Z. Thus there is only one possible Z-module structure on any abelian group. • Rn = R ⊕ R ⊕ · · · ⊕ R is an R-module via | {z } n times r(a1; a2; : : : ; an) = (ra1; ra2; : : : ; ran): • Mn(R) is an R-module via r(aij) = (raij): • R[x] is an R-module via X i X i r aix = raix : i i • Every ideal in R is an R-module. -
Homological Algebra
Homological Algebra Donu Arapura April 1, 2020 Contents 1 Some module theory3 1.1 Modules................................3 1.6 Projective modules..........................5 1.12 Projective modules versus free modules..............7 1.15 Injective modules...........................8 1.21 Tensor products............................9 2 Homology 13 2.1 Simplicial complexes......................... 13 2.8 Complexes............................... 15 2.15 Homotopy............................... 18 2.23 Mapping cones............................ 19 3 Ext groups 21 3.1 Extensions............................... 21 3.11 Projective resolutions........................ 24 3.16 Higher Ext groups.......................... 26 3.22 Characterization of projectives and injectives........... 28 4 Cohomology of groups 32 4.1 Group cohomology.......................... 32 4.6 Bar resolution............................. 33 4.11 Low degree cohomology....................... 34 4.16 Applications to finite groups..................... 36 4.20 Topological interpretation...................... 38 5 Derived Functors and Tor 39 5.1 Abelian categories.......................... 39 5.13 Derived functors........................... 41 5.23 Tor functors.............................. 44 5.28 Homology of a group......................... 45 1 6 Further techniques 47 6.1 Double complexes........................... 47 6.7 Koszul complexes........................... 49 7 Applications to commutative algebra 52 7.1 Global dimensions.......................... 52 7.9 Global dimension of -
A NOTE on COMPLETE RESOLUTIONS 1. Introduction Let
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 11, November 2010, Pages 3815–3820 S 0002-9939(2010)10422-7 Article electronically published on May 20, 2010 A NOTE ON COMPLETE RESOLUTIONS FOTINI DEMBEGIOTI AND OLYMPIA TALELLI (Communicated by Birge Huisgen-Zimmermann) Abstract. It is shown that the Eckmann-Shapiro Lemma holds for complete cohomology if and only if complete cohomology can be calculated using com- plete resolutions. It is also shown that for an LHF-group G the kernels in a complete resolution of a ZG-module coincide with Benson’s class of cofibrant modules. 1. Introduction Let G be a group and ZG its integral group ring. A ZG-module M is said to admit a complete resolution (F, P,n) of coincidence index n if there is an acyclic complex F = {(Fi,ϑi)| i ∈ Z} of projective modules and a projective resolution P = {(Pi,di)| i ∈ Z,i≥ 0} of M such that F and P coincide in dimensions greater than n;thatis, ϑn F : ···→Fn+1 → Fn −→ Fn−1 → ··· →F0 → F−1 → F−2 →··· dn P : ···→Pn+1 → Pn −→ Pn−1 → ··· →P0 → M → 0 A ZG-module M is said to admit a complete resolution in the strong sense if there is a complete resolution (F, P,n)withHomZG(F,Q) acyclic for every ZG-projective module Q. It was shown by Cornick and Kropholler in [7] that if M admits a complete resolution (F, P,n) in the strong sense, then ∗ ∗ F ExtZG(M,B) H (HomZG( ,B)) ∗ ∗ where ExtZG(M, ) is the P-completion of ExtZG(M, ), defined by Mislin for any group G [13] as k k−r r ExtZG(M,B) = lim S ExtZG(M,B) r>k where S−mT is the m-th left satellite of a functor T . -
The Geometry of Syzygies
The Geometry of Syzygies A second course in Commutative Algebra and Algebraic Geometry David Eisenbud University of California, Berkeley with the collaboration of Freddy Bonnin, Clement´ Caubel and Hel´ ene` Maugendre For a current version of this manuscript-in-progress, see www.msri.org/people/staff/de/ready.pdf Copyright David Eisenbud, 2002 ii Contents 0 Preface: Algebra and Geometry xi 0A What are syzygies? . xii 0B The Geometric Content of Syzygies . xiii 0C What does it mean to solve linear equations? . xiv 0D Experiment and Computation . xvi 0E What’s In This Book? . xvii 0F Prerequisites . xix 0G How did this book come about? . xix 0H Other Books . 1 0I Thanks . 1 0J Notation . 1 1 Free resolutions and Hilbert functions 3 1A Hilbert’s contributions . 3 1A.1 The generation of invariants . 3 1A.2 The study of syzygies . 5 1A.3 The Hilbert function becomes polynomial . 7 iii iv CONTENTS 1B Minimal free resolutions . 8 1B.1 Describing resolutions: Betti diagrams . 11 1B.2 Properties of the graded Betti numbers . 12 1B.3 The information in the Hilbert function . 13 1C Exercises . 14 2 First Examples of Free Resolutions 19 2A Monomial ideals and simplicial complexes . 19 2A.1 Syzygies of monomial ideals . 23 2A.2 Examples . 25 2A.3 Bounds on Betti numbers and proof of Hilbert’s Syzygy Theorem . 26 2B Geometry from syzygies: seven points in P3 .......... 29 2B.1 The Hilbert polynomial and function. 29 2B.2 . and other information in the resolution . 31 2C Exercises . 34 3 Points in P2 39 3A The ideal of a finite set of points . -
On Fusion Categories
Annals of Mathematics, 162 (2005), 581–642 On fusion categories By Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik Abstract Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any (not nec- essarily hermitian) modular category is unitary. We also show that the cate- gory of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion cat- egory. At the end of the paper we generalize some of these results to positive characteristic. 1. Introduction Throughout this paper (except for §9), k denotes an algebraically closed field of characteristic zero. By a fusion category C over k we mean a k-linear semisimple rigid tensor (=monoidal) category with finitely many simple ob- jects and finite dimensional spaces of morphisms, such that the endomorphism algebra of the neutral object is k (see [BaKi]). Fusion categories arise in several areas of mathematics and physics – conformal field theory, operator algebras, representation theory of quantum groups, and others. This paper is devoted to the study of general properties of fusion cate- gories. This has been an area of intensive research for a number of years, and many remarkable results have been obtained. -
How to Make Free Resolutions with Macaulay2
How to make free resolutions with Macaulay2 Chris Peterson and Hirotachi Abo 1. What are syzygies? Let k be a field, let R = k[x0, . , xn] be the homogeneous coordinate ring of Pn and let X be a projective variety in Pn. Consider the ideal I(X) of X. Assume that {f0, . , ft} is a generating set of I(X) and that each polynomial fi has degree di. We can express this by saying that we have a surjective homogenous map of graded S-modules: t M R(−di) → I(X), i=0 where R(−di) is a graded R-module with grading shifted by −di, that is, R(−di)k = Rk−di . In other words, we have an exact sequence of graded R-modules: Lt F i=0 R(−di) / R / Γ(X) / 0, M |> MM || MMM || MMM || M& || I(X) 7 D ppp DD pp DD ppp DD ppp DD 0 pp " 0 where F = (f0, . , ft). Example 1. Let R = k[x0, x1, x2]. Consider the union P of three points [0 : 0 : 1], [1 : 0 : 0] and [0 : 1 : 0]. The corresponding ideals are (x0, x1), (x1, x2) and (x2, x0). The intersection of these ideals are (x1x2, x0x2, x0x1). Let I(P ) be the ideal of P . In Macaulay2, the generating set {x1x2, x0x2, x0x1} for I(P ) is described as a 1 × 3 matrix with gens: i1 : KK=QQ o1 = QQ o1 : Ring 1 -- the class of all rational numbers i2 : ringP2=KK[x_0,x_1,x_2] o2 = ringP2 o2 : PolynomialRing i3 : P1=ideal(x_0,x_1); P2=ideal(x_1,x_2); P3=ideal(x_2,x_0); o3 : Ideal of ringP2 o4 : Ideal of ringP2 o5 : Ideal of ringP2 i6 : P=intersect(P1,P2,P3) o6 = ideal (x x , x x , x x ) 1 2 0 2 0 1 o6 : Ideal of ringP2 i7 : gens P o7 = | x_1x_2 x_0x_2 x_0x_1 | 1 3 o7 : Matrix ringP2 <--- ringP2 Definition. -
A 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 Pn be the projective n−space over the complex numbers. In this note we show that an indecomposable rigid coherent sheaf on Pn has a trivial endomorphism algebra. This generalizes a result of Drezet for n = 2: Let Pn be the projective n-space over the complex numbers. Recall that an exceptional sheaf is a coherent sheaf E such that Exti(E; E) = 0 for all i > 0 and End E =∼ C. Dr´ezetproved in [4] that if E is an indecomposable sheaf over P2 such that Ext1(E; E) = 0 then its endomorphism ring is trivial, and also that Ext2(E; E) = 0. Moreover, the sheaf is locally free. Partly motivated by this result, we prove in this short note that if E is an indecomposable coherent sheaf over the projective n-space such that Ext1(E; E) = 0, then we automatically get that End E =∼ C. The proof involves reducing the problem to indecomposable linear modules without self extensions over the polynomial algebra. In the second part of this article, we look at the Auslander-Reiten quiver of the derived category of coherent sheaves over the projective n-space. It is known ([10]) that if n > 1, then all the components are of type ZA1. Then, using the Bernstein-Gelfand-Gelfand correspondence ([3]) we prove that each connected component contains at most one sheaf. We also show that in this case the sheaf lies on the boundary of the component. -
Homotopy Equivalences and Free Modules Steven
Topology, Vol. 21, No. 1, pp. 91-99, 1982 0040-93831821010091-09502.00/0 Printed in Great Britain. Pergamon Press Ltd. HOMOTOPY EQUIVALENCES AND FREE MODULES STEVEN PLOTNICKt:~ (Received 15 December 1980) INTRODUCTION IN THIS PAPER, we are concerned with the problem of determining the group of self-homotopy equivalences of some familiar spaces. We have in mind the following spaces: Let ~- be a finite group acting freely and cellulary on a CW-complex with the homotopy type of S 2m+1. Removing a point from S2m+1/Tr yields a 2m-complex X. We will (theoretically) describe the self-homotopy equivalences of X. (I use the word theoretically since the results is given in terms of units in the integral group ring Z Tr and certain projective modules over ZTr, and these are far from being completely understood.) Once this has been done, it will be fairly straightforward to describe the self-homotopy equivalences of $2~+1/7r and of the 2m-complex which results from removing more than one point from s2m+l/Tr (i.e. X v v $2~). As one might expect, the more points one removes, the easier it is to realize automorphisms of ~r by homotopy equivalences. It seems quite nice that this can be phrased as a question in Ko(Z~). The results can be summarised as follows. First, some standard facts, definitions, and notation: If ~r has order n and acts freely on S :m+~, then H:m+1(~r; Z)m Zn. Thus, a E Aut ~r acts on H2m+l(~r) via multiplication by an integer r~, where (r~, n) = 1. -
Projective Dimensions and Almost Split Sequences
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Algebra 271 (2004) 652–672 www.elsevier.com/locate/jalgebra Projective dimensions and almost split sequences Dag Madsen 1 Department of Mathematical Sciences, NTNU, NO-7491 Trondheim, Norway Received 11 September 2002 Communicated by Kent R. Fuller Abstract Let Λ be an Artin algebra and let 0 → A → B → C → 0 be an almost split sequence. In this paper we discuss under which conditions the inequality pd B max{pd A,pd C} is strict. 2004 Elsevier Inc. All rights reserved. Keywords: Almost split sequences; Homological dimensions Let R be a ring. If we have an exact sequence ε :0→ A → B → C → 0ofR-modules, then pd B max{pdA,pd C}. In some cases, for instance if the sequence is split exact, equality holds, but in general the inequality may be strict. In this paper we will discuss a problem first considered by Auslander (see [5]): Let Λ be an Artin algebra (for example a finite dimensional algebra over a field) and let ε :0→ A → B → C → 0 be an almost split sequence. To which extent does the equality pdB = max{pdA,pd C} hold? Given an exact sequence 0 → A → B → C → 0, we investigate in Section 1 what can be said in complete generality about when pd B<max{pdA,pd C}.Inthissectionwedo not make any assumptions on the rings or the exact sequences involved. In all sections except Section 1 the rings we consider are Artin algebras. -
Lecture 3. Resolutions and Derived Functors (GL)
Lecture 3. Resolutions and derived functors (GL) This lecture is intended to be a whirlwind introduction to, or review of, reso- lutions and derived functors { with tunnel vision. That is, we'll give unabashed preference to topics relevant to local cohomology, and do our best to draw a straight line between the topics we cover and our ¯nal goals. At a few points along the way, we'll be able to point generally in the direction of other topics of interest, but other than that we will do our best to be single-minded. Appendix A contains some preparatory material on injective modules and Matlis theory. In this lecture, we will cover roughly the same ground on the projective/flat side of the fence, followed by basics on projective and injective resolutions, and de¯nitions and basic properties of derived functors. Throughout this lecture, let us work over an unspeci¯ed commutative ring R with identity. Nearly everything said will apply equally well to noncommutative rings (and some statements need even less!). In terms of module theory, ¯elds are the simple objects in commutative algebra, for all their modules are free. The point of resolving a module is to measure its complexity against this standard. De¯nition 3.1. A module F over a ring R is free if it has a basis, that is, a subset B ⊆ F such that B generates F as an R-module and is linearly independent over R. It is easy to prove that a module is free if and only if it is isomorphic to a direct sum of copies of the ring. -
Depth, Dimension and Resolutions in Commutative Algebra
Depth, Dimension and Resolutions in Commutative Algebra Claire Tête PhD student in Poitiers MAP, May 2014 Claire Tête Commutative Algebra This morning: the Koszul complex, regular sequence, depth Tomorrow: the Buchsbaum & Eisenbud criterion and the equality of Aulsander & Buchsbaum through examples. Wednesday: some elementary results about the homology of a bicomplex Claire Tête Commutative Algebra I will begin with a little example. Let us consider the ideal a = hX1, X2, X3i of A = k[X1, X2, X3]. What is "the" resolution of A/a as A-module? (the question is deliberatly not very precise) Claire Tête Commutative Algebra I will begin with a little example. Let us consider the ideal a = hX1, X2, X3i of A = k[X1, X2, X3]. What is "the" resolution of A/a as A-module? (the question is deliberatly not very precise) We would like to find something like this dm dm−1 d1 · · · Fm Fm−1 · · · F1 F0 A/a with A-modules Fi as simple as possible and s.t. Im di = Ker di−1. Claire Tête Commutative Algebra I will begin with a little example. Let us consider the ideal a = hX1, X2, X3i of A = k[X1, X2, X3]. What is "the" resolution of A/a as A-module? (the question is deliberatly not very precise) We would like to find something like this dm dm−1 d1 · · · Fm Fm−1 · · · F1 F0 A/a with A-modules Fi as simple as possible and s.t. Im di = Ker di−1. We say that F· is a resolution of the A-module A/a Claire Tête Commutative Algebra I will begin with a little example.