Homework and Syllabus
Homological Algebra
MATH 6290 Spring 2018
Homework is due in class and must be stapled,
with your name and homework number on it, to
receive credit.
Please read the suggested texts before class, and
then after class make sure to attempt the homework for the
sections we covered that day.
An asterix * indicates that a homework assignment has not been finalized.
| Date | Topics | Reading | Homework |
| Wednesday
January 17 |
Introduction to the
course |
Review the theory of rings and modules,
such as in: D. Dummit and R. Foote, Abstract Algebra (3rd Edition), Wiley, 2004, Chapter 10, or, S. Lang, Algebra, Springer, 2002, Chapter 3, or, P. Aluffi, Algebra: Chapter 0, Graduate Series in Mathematics, AMS, 2009, Chapter 3, or any comparable text on the subject. |
|
| Friday
January 19 |
Simplicial sets Triangulated spaces. Definition, examples, skeleton, triangulation of a product of simplices. |
S. Gelfand and Y. Manin, Methods of Homological Algebra (2nd Edition), Monographs in Mathematics, Springer, 2003. Section I.1 | HW 1 Write a paragraph or two telling me about your mathematical background, and your goals for this class. Review the theory of rings and modules. Do a few exercises; these are not to be turned in. |
| Monday January 22 |
Simplicial
sets continued Triangulated spaces continued. |
Gelfand and Manin
Section I.1 |
|
| Wednesday January 24 |
Simplicial
sets continued Simplicial sets. Definition, nerve, singular simplices, triangulated spaces, examples, skeleton, dimension. |
Gelfand and Manin
Section I.2 |
|
| Friday January 26 |
Simplicial
sets continued Simplicial sets continued. |
Gelfand and Manin Section I.2 | HW 2 Gelfand and Manin Exercises I.1-2. |
| Monday
January 29 |
Simplicial sets
continued Simplicial topological spaces and the Eilenberg--Zilber Theorem. Three descriptions of the product of simplices, geometric realization of a bisimplicial set. |
Gelfand and Manin Section I.3 | |
| Wednesday
January 31 |
Simplicial sets
continued Homology and cohomology. Chains and cochains, complexes, geometry of chains, coefficients. |
Gelfand and Manin Section I.4 | |
| Friday
February 2 |
Simplicial sets
continued Sheaves. Examples, definition, presheaves and sheaves of structured sets, germs and fibers, main classes of sheaves, sheaves of functions. |
Gelfand and Manin Section I.5 | HW 3 Gelfand and Manin Exercises I.3-4. |
| Monday February 5 |
Simplicial
sets continued Sheaves continued. |
Gelfand and Manin
Section I.5 R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer, 1977. Chapter 2 Section 1. |
|
| Wednesday February 7 |
Simplicial
sets continued Sheaves continued. |
Gelfand and Manin
Section I.5 |
|
| Friday February 9 |
Simplicial
sets continued Sheaves continued. |
Gelfand and Manin Section I.5 | HW 4 Gelfand and Manin Exercises I.5 Hartshorne Exercises II.1 |
| Monday
February 12 |
Simplicial sets
continued Exact sequences. Exact sequences, morphisms of complexes, the boundary homomorphism, coefficient systems. |
Gelfand and Manin Section I.6 | |
| Wednesday
February 14 |
Simplicial sets
continued Complexes. Simplicial abelian groups, Cech complex, singular chains, examples, homotopies of complexes. |
Gelfand and Manin Section I.7 | |
| Friday February 16 |
Simplicial
sets continued Complexes. Simplicial abelian groups, Cech complex, singular chains, examples, homotopies of complexes, continued. |
Gelfand and Manin Section I.7 | |
| Monday February 19 |
Review |
||
| Wednesday February 21 |
Category
theory Introduction to categories. |
|
|
| Friday February 23 |
Category
theory continued Introduction to categories continued, the language of categories and functors. Definitions, examples. |
Gelfand and Manin
Section II.1 |
HW 5 Gelfand and Manin Section Exercises I.6-7 |
| Monday
February 26 |
Category theory
continued Equivalence of categories. Isomorphism, definition of equivalence, examples. |
Gelfand and Manin Section II.2 |
|
| Wednesday
February 28 |
Category theory
continued Representable functors. Definitions, examples, group objects, examples, limits, colimits, adjoints. |
Gelfand and Manin Section II.3 | |
| Friday
March 2 |
Category theory
continued Representable functors continued. |
Gelfand and Manin Section II.3 | HW 6 Gelfand and Manin Section II.1-2 |
| Monday March 5 |
Category
theory continued Categories in geometry and topology. Examples, locally ringed spaces, supercommutativity, Grothendieck topologies, sites, sheaves, nerves, Hom. |
Gelfand and Manin Section II.4 | |
| Wednesday March 7 |
Category
theory continued Categories in geometry and topology continued. |
Gelfand and Manin Section II.4 | |
| Friday March 9 |
Category
theory continued Categories in geometry and topology continued. |
Gelfand and Manin Section II.4 | HW 7 Gelfand and Manin Section II.3-4 |
| Monday
March 12 |
Category theory
continued Additive and abelian categories. Definitions, kernels, cokernels, sheaves and presheaves, filtered abelian groups, topological abelian groups. |
Gelfand and Manin Section II.5 |
|
| Wednesday
March 14 |
Category theory
continued Additive and abelian categories continued. |
Gelfand and Manin Section II.5 | |
| Friday March 16 | Category theory
continued Functors in abelian categories. Definitions, injectivity, projectivity, divisibility, flatness, acyclic objects, inverse and direct images, adjunction. |
Gelfand and Manin Section II.6 | HW 8 Gelfand and Manin Section II.5 |
| Monday March 19 |
Category
theory continued Functors in abelian categories continued. |
Gelfand and Manin Section II.6 | |
| Wednesday March 21 |
Category
theory continued Limits and colimits in categories. Definitions and examples. |
C. Weibel, An Introduction to Homological Algebra,
Cambridge University Press, 1994, Appendix A |
|
| Friday March 23 |
Review |
||
| March 26--30 | SPRING BREAK |
SPRING BREAK |
SPRING BREAK |
| Monday
April 2 |
Introduction to
derived functors |
||
| Wednesday
April 4 |
Category theory
continued Adjoint functors. Definitions and examples. |
Weibel Appendix A, Section 1.6,
and Theorem 2.6.10. |
|
| Friday
April 6 |
Category theory
continued Adjoint functors continued. |
Weibel Appendix Z, Section 1.6, and
Theorem 2.6.10. |
HW 9 Gelfand and Manin Section II.6 |
| Monday April 9 |
Derived
categories and derived functors Complexes. Generators and relations, homotopies, quasi-isomorphism. |
Gelfand and Manin Section III.1 | |
| Wednesday April 11 |
Derived
categories continued Derived categories and localization. Definitions, splittings, localization, variants. |
Gelfand and Manin Section III.2 | |
| Friday April 13 | Derived
categories continued Triangles as genearlized exact triples. Translation, cylinder, cone, definitions, long exact sequence. |
Gelfand and Manin Section III.3 | HW 10 Gelfand and Manin Section III.1 |
| Monday
April 16 |
Derived categories
continued Derived category as the localization of the homotopy category. Definitions, basic results, additivity of the derived category. |
Gelfand and Manin Section III.4 | |
| Wednesday
April 18 |
Derived categories
continued The structure of the derived category. Objects as complexes, Hom, Homological dimension, examples, adjoining a variable, complexes of injectives and the derived category. |
Gelfand and Manin Section III.5 | |
| Friday
April 20 |
Derived categories
continued Derived functors. Motivation, adapted classes of objects, construction of the derived functor, uniqueness, naturality, examples. |
AGelfand and Manin Section III.6 | HW 11 Gelfand and Manin Section III.2-3 |
| Monday April 23 |
Derived
categories continued. Derived functor of the composition, Grothendieck spectral sequence. Main result, introduction to spectral sequences, filtered complexes, double complexes, hypercohomology. |
Gelfand and Manin Section III.7 | |
| Wednesday April 25 |
Derived
categories continued. Sheaf cohomology. Direct images and cohomology, tensor products and flat sheaves, inverse images and tensor products, higher direct images with compact support, dimension, upper shriek, dualizing complex. |
||
| Friday April 27 |
Further topics | HW 12 Gelfand and Manin Section III.5-6 |
|
| Monday
April 30 |
Review |
||
| Wednesday
May 2 |
Review | ||
| Friday May 4 | NO CLASS |
NO CLASS |
NO CLASS |
| Sunday
May 6 |
FINAL EXAM 1:30 PM - 4:00 PM HUMN 125 (Lecture Room) | FINAL EXAM |
FINAL EXAM |
I strongly encourage
everyone to use LaTeX for typing homework. If you have
a mac,
one possible easy way to get started is with texshop.
If you are using linux,
there are a number of other possible ways to go, using
emacs, ghostview, etc. If you are using windows,
you're on your own, but I'm sure there's something online.
Here is a sample homework file to use: (the .tex
file, the .bib
file, and the .pdf
file). This site can help you find LaTeX symbols
by drawing: http://detexify.kirelabs.org/classify.html.
You may also want to try https://cocalc.com
(formerly https://cloud.sagemath.com/)
or https://www.sharelatex.com/
for a cloud version.