General
The task of this course is to give an introduction to the main tools of homological algebra. This is a 6 credits course of 42 hour lectures. For the exams some homework & seminars on a specific topic will be assigned during the lectures. See also the Algant local page for schedules, etc.
Course (6 credits)
Description
Homological Algebra studies chain complexes and derived functors with applications to several mathematical subjects: from algebraic topology to commutative algebra and algebraic geometry, from number theory to representation theory, from operator algebras to complex and non-commutative geometry.
See the following keywords Wiki Homological Algebra, Wiki Derived Category & Wiki Local Cohomology for a sample. See also Chuck Weibel's History of Homological Algebra
Prerequisites
We assume known the basic notions from undergraduate algebra & topology. The students should be familiar with the language of categories & functors.
Notes Course notes are not available as yet. You can get homework here or you can get it using the Ariel Portal
Program (keywords & outline)
homotopy & homology
chain complexes & chain homotopy
projective & injective resolutions
derived functors
Tor & Ext
sheaf cohomology
homotopy/derived categories
total derived functors
Exams
Homework will be assigned during the lectures. Preferably send the solutions to me as a pdf file by email. Next a seminar on your favorite subject will be assigned according to the following themes here listed below. Please check here the dates for the current academic year. You need to fill the SIFA form online here to get your name listed for the exam (but the page is in Italian so you might need help). Those who for some reason wish to postpone the examination procedure can make a motivated agreement (by email) with me for a later date if there are good reasons for that.
Themes for the Homological Algebra seminars.
Homological dimension For example, Auslander-Buchsbaum formula and/or Serre's homological characterization of regular local rings.
Local cohomology For example, Koszul complexes and/or Cohen-Macaulay rings & Grothendieck local duality.
Group cohomology For example, group extensions and universal central extensions, also in connection with the algebraic K-theory of a ring.
Lie algebra cohomology For example, Chevalley-Eilenberg complex and Whitehead's vanishing lemmas.
Spectral sequences For example, Hochschild-Serre spectral sequence or Künneth spectral sequence.
Galois cohomology For example, Kummer theory and/or Hilbert's Theorem 90.
Sheaf cohomology For example, Grothendieck vanishing theorem or Serre vanishing theorem or étale cohomology of the sheaf of n-th roots of unity.
Derived categories For example, RHom and Grothendieck duality.
Simplicial categories For example, Eilenberg-Mac Lane spaces and/or Dold-Kan correspondence.