Introduction to Homological Algebra in Schreiber https://ncatlab.org/schreiber/print/Introduction+to+Homological+Algebra
Schreiber Introduction to Homological Algebra
This page is a detailed introduction to homological algebra. Starting with motivation from basic homotopy theory, it introduces the basics of the category of chain complexes and then develops the concepts of derived categories and derived functors in homological algebra, with the main examples of Ext and Tor. The last chapter introduces and proves the fundamental theorems of the field.
For the application to spectral sequences see at Introduction to Spectral Sequences.
For background/outlook on abstract homotopy theory see at Introduction to Homotopy Theory.
For generalization to stable homotopy theory see at Introduction to Stable homotopy theory.
Contents
1. Motivation 1) Homotopy type of topological spaces 2) Simplicial and singular homology 2. Chain complexes 3) Categories of chain complexes 4) Homology exact sequences 5) Homotopy fiber sequences and mapping cones 6) Double complexes and the diagram chasing lemmas 3. Abelian homotopy theory 7) Chain homotopy and resolutions 8) The derived category 9) Derived functors 10) Fundamental examples of derived functors a) The derived Hom functor and group extensions b) The derived tensor product functor and torsion subgroups 4. The fundamental theorems 11) Universal coefficient theorem and Künneth theorem 12) Relative homology and Spectral sequences 13) Total complexes of double complexes 5. Outlook 6. Notation index 7. References 8. Thanks
This text is a first introduction to homological algebra, assuming only very basic prerequisites. For instance we do recall in some detail basic definitions and constructions in the theory of abelian groups and modules, though of course a prior familiarity with these ingredients will be helpful. Also we use very little category theory, if it all. Where universal constructions do appear we spell them out explicitly in components and just mention their category-theoretic names for those readers who want to dig deeper. We do however freely use the words functor and commuting diagram. The reader unfamiliar with these elementary notions should click on these keywords and follow the hyperlink to the explanation right now. 1. Motivation
The subject of homological algebra may be motivated by its archetypical application, which is the singular homology of a topological space . This example illustrates homological algebra as being concerned with the abelianization of what is called the homotopy theory of .
So we begin with some basic concepts in homotopy theory in section 1) Homotopy type of topological spaces. Then we consider the “abelianization” of this setup in 2) Simplicial and abelian homology.
Together this serves to motivate many constructions in homological algebra, such as centrally chain complexes, chain maps and homology, but also chain homotopies, mapping cones etc, which we discuss in detail in chapter II below. In the bulk we develop the general theory of homological algebra in chapter III and chapter IV. Finally we come back to a systematic discussion of the relation to homotopy theory at the
1 of 83 09.05.17, 17:03 Introduction to Homological Algebra in Schreiber https://ncatlab.org/schreiber/print/Introduction+to+Homological+Algebra
end in chapter V. A section Outlook is appended for readers interested in the grand scheme of things.
We do use some basic category theory language in the following, but no actual category theory. The reader should know what a category is, what a functor is and what a commuting diagram is. These concepts are more elementary than any genuine concept in homological algebra to appear below and of general use. Where we do encounter universal constructions below we call them by their category-theoretic name but always spell them out in components explicity.
1) Homotopy type of topological spaces
This section reviews some basic notions in topology and homotopy theory. These will all serve as blueprints for corresponding notions in homological algebra.
Definition 1.1. A topological space is a set equipped with a set of subsets ⊂ , called open sets, which are closed under
1. finite intersections 2. arbitrary unions.
Example 1.2. The Cartesian space ℝ with its standard notion of open subsets given by unions of open balls ⊂ ℝ .
Definition 1.3. For ↪ an injection of sets and { ⊂ } ∈ a topology on , the subspace topology on is
{ ∩ ⊂ } ∈ .
Definition 1.4. For ∈ ℕ, the topological n-simplex is, up to homeomorphism, the topological space whose underlying set is the subset