MATH 131B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 27 9. Derived functors AfunctorF : between abelian categories , is called left exact if it is an A!B A B j p additive functor which takes every exact sequence 0 X Y Z 0in to a left exact sequence ! ! ! ! A Fj Fp 0 FX FY FZ ! ! ! in .Forexample,F (X) = Hom (A, X)isaleftexactfunctor B A Hom (A0, ): Mod-Z. A A! We would like a formula for the cokernel of Fp : FY FZ. The “right derived functors” R1F, R2F, are the! answer to this problem. This sequence of functors complete the left exact sequence··· to a canonical long exact sequence: 0 FX FY FZ R1FX R1FY R1FZ R2FX R2FY ! ! ! ! ! ! ! ! !··· The formula for RiF also gives R0F = F . Contravariant left exact functors also give right derived functors. For example F = Hom ( ,B0)issuchafunctor.Thesearefunctorswhichtakeeachshortexactsequence 0 AX Y Z 0toleftexactsequences ! ! ! ! 0 FZ FY FX ! ! ! and there right derived functors RiF extend this to a long exact sequence 0 FZ FY FX R1FZ R1FY R1FX R2FZ ! ! ! ! ! ! ! !··· Analogously, covariant and contravariant right exact functors (such as R B)give left derived functors (extending the sequence to the left): ⌦ L FZ L FX L FY L FZ FX FY FZ 0 ···! 2 ! 1 ! 1 ! 1 ! ! ! ! In this section we construct right derived functors and verify their properties. 9.1. Construction of RiF . Assume the category is abelian with enough injectives. Then each object X of has an injective coresolutionA X Q unique up to chain homotopy equivalence. A ! ⇤ Definition 9.1. The right derived functors RiF of F are defined to be the ith cohomology of the cochain complex F (Q ): ⇤ 0 F (Q ) F (Q ) F (Q ) ! 0 ! 1 ! 2 !··· In the case F = Hom (A, ), the right derived functors are the Ext functors: R i i i ExtR(A, X):=R F (X)=H (HomR(A, Q )) ⇤ Note that the derived functors are only well-defined up to isomorphism. If there is another choice of injective coresolutions Q0 then Q Q0 which implies that F (Q ) ⇤ ⇤ ' ⇤ ⇤ ' F (Q0 )whichimpliesthat ⇤ i i H (F (Q )) = H (F (Q0 )) ⇤ ⇠ ⇤ By definition of F (Q )wetakeonlytheinjectiveobjects.ThetermF (X)isdeliber- ately excluded. But F is⇤ left exact by assumption. So we have an exact sequence 0 F (X) F (Q ) F (Q ) ! ! 0 ! 1 28 MATH 131B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA Thus Theorem 9.2. The zero-th derived functor R0F is canonically isomorphic to F .In particular, 0 ExtR(A, X) ⇠= HomR(A, X) 1 Example 9.3. Compute ExtZ(Z3, Z2). Take an injective coresolution of Z2: j 0 Z2 Q/2Z Q/Z 0 ! ! ! ! This gives a left exact sequence
j] 0 Hom(Z3, Z2) Hom(Z3, Q/2Z) Hom(Z3, Q/Z) ! ! ! 1 Then, by definition, ExtZ(Z3, Z2)isthecokernelofj] (which is a monomorphism since Hom(Z3, Z2)=0). 1 Claim: This map is an isomorphism and, therefore, Ext (Z3, Z2)=0. Proof: A homomorphism Z/3 Q/Z is given by its value on the generator 1 + 3Z ! of Z/3Z. This must be a coset a/b + Z so that 3a/b Z.Inotherwordsb =3and 2 a =0, 1or2.Similarly,ahomomorphismZ/3 Q/2Z sends the generator of Z/3toa ! coset a/b +2Z so that 3a/b 2Z.So,b =3anda =0, 2or4.So,bothoftheregroups 2 have exactly three elements. We know j] is a monomorphism. So, it is a bijection. 9.2. connecting morphisms. One of the basic properties of the derived functors is that they fit into a long exact sequence where some maps are induced from the given maps ↵, in the short exact sequence and every third map is a mysterious morphism called the “connecting map”. The main technical detail is to construct this map. There are several ways to do this. We can “chase the diagram” (the traditional method) or we can “rotate” the exact sequence (a conceptual method which is more di cult but makes some sense) Theorem 9.4. Given any short exact sequence 0 A ↵ B C 0 ! ! ! ! there is a sequence of morphisms (the connecting morphisms) : RnF (C) Rn+1F (A) n ! making the following sequence exact: 0 F (A) F (B) F (C) 0 R1F (A) R1F (B) ! ! ! ! ! ! R1F (C) 1 R2F (A) R2F (B) R2F (C) 2 R3F (A) ! ! ! ! !··· Furthermore, n is natural in the sense that, given any commuting diagram with exact rows: ↵ 0 / A / B / C / 0
f g h ✏ ✏ ✏ ↵0 0 0 / A0 / B0 / C0 / 0 MATH 131B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 29 we get a commuting square: