MATH 602. Homological Algebra (Spring 2007)

Meeting times: MWF, 9:00am-9:50am (MTH 1311)

Instructor: Professor Jonathan Rosenberg. His office is room 2114 of the Math Building, phone extension 55166, or you can contact him by email. His office hours are M and F 1-2, or by appointment.

Text: Charles Weibel, An Introduction to Homological Algebra (Cambridge), Paperback (ISBN-13: 9780521559874 | ISBN-10: 0521559871). The text has a reasonable list price, $43. Errata for the text may be found here or here. Weibel also has an article about the history of homological algebra .

Prerequisite: MATH 600 (graduate algebra). MATH 734 (algebraic topology) or MATH 606 (algebraic geometry) helps in terms of motivation, but won't be assumed.

Catalog description:

Projective and injective modules, homological dimensions, derived functors, spectral sequence of a composite functor. Applications.


Course Description:

This course will introduce the basic methods of homological algebra, and discuss such topics as chain complexes and spectral sequences. This material is essential for algebraic geometry and algebraic topology, and plays a major role in many other subjects as well. We will do applications to subjects such as cohomology of groups and Hochschild cohomology of algebras. If we have time, we may get to some more "modern" topics such as derived and triangulated categories. But at a minimum, I hope you will come out of the course knowing how to compute with spectral sequences.

In terms of Weibel's book, I hope at a minimum to cover chapters 1 (chain complexes), 2 (derived functors), 3 (Ext and Tor), 5 (spectral sequences), 6 (group homology and cohomology), and 9 (Hochschild and cyclic homology), plus the appendix on category theory (as this is quite important and is often not covered in other courses). If time permits we may cover parts of the other chapters also.

Other Recommended Books:

  1. H. Cartan and S. Eilenberg, Homological Algebra, Princeton Univ. Press. The first book on the subject, and still the definitive reference.
  2. S. Mac Lane, Categories for the Working Mathematician, Springer. Still probably the best basic book on category theory.
  3. J. McCleary, A User's Guide to Spectral Sequences, 2nd ed., Cambridge. The best guide to computing with spectral sequences.
  4. R. Godement, Topologie Algébrique et Théorie des Faisceaux, Hermann. 40 years old, but still the standard reference on sheaves.

Course Requirements and Grading Policy:

Homework will be assigned, collected, and graded, usually once a week. I will probably give a take-home final exam. Grades will have the following meaning:

It is your responsibility to turn the homework in on time.

Tentative Schedule

(Some details to be filled in later if necessary)


Week Material Covered (Reading Assignment) Homework and Special Notes
1/24, 1/26 (no class 1/22)1.1-1.3 Easy homework to get started, due Wed., 1/31: exercises 1.1.3, 1.1.4, 1.1.5, and 1.2.1 in Weibel, pp. 2-5.
1/29-2/21.3-1.6 due Wed., 2/7: Exercises 1.2.5 (p. 9), 1.4.2-1.4.3 (pp. 16-17), 1.4.4-1.4.5 (p. 18).
2/5-2/92.1-2.5: injective and projectives due Fri., 2/16:
  1. Do Exercises 2.3.2-2.3.3, pp. 39-40, and thereby show that the category Ab has enough injectives.
  2. Let X be a topological space, Shv(X) the category of sheaves of abelian groups over X. Do Exercise 2.5.3, p. 51. What are the projective objects in Shv(X)? Does Shv(X) have enough projectives? (The answer may depend on X.)
2/12-2/16
Snow day on 2/14
Ch. 2 (cont'd): derived functors due Monday, 2/26: Homework #4 on derived functors
2/19-2/23Ch. 2 (cont'd): delta functors, adjoint functors,
behavior under limits and colimits
 
2/26-3/2Ext and Tor (2.7 and Ch. 3)due Friday, 3/9: Homework #5 on derived functors, Ext, and Tor
3/5-3/9Extensions, lim1, and the UCT (3.4-3.6)homework for this week combined with homework on spectral sequences
3/12-3/16Spectral sequences (Ch. 5) 
3/19-3/23Spring Break
3/26-3/30Ch. 5 (cont'd): Leray-Serre and
Grothendieck spectral sequences, etc.
due Wednesday, 4/11: Homework #6 on lim1 and Tor
4/2-4/66.1-6.3 
4/9-4/136.4-6.7due Friday, 4/20: Homework #7 on cohomology of groups
4/16-4/20Tate cohomology, Galois cohomology, and extensions of groupsdue Monday, 4/30: Homework #8 on cohomology and extension theory of groups
4/23-4/27The Hochschild-Serre spectral sequence, intro to Hochschild homology (6.8, 9.1) 
4/30-5/4Hochschild and cyclic homology and cohomology 
5/7-5/9Derived categories (Ch. 10)due on or before Wednesday, 5/16 (counts double compared to regular assignments): final assignment (in lieu of a final exam)
 Solutions to the final assignment are available here.