-
Notifications
You must be signed in to change notification settings - Fork 1
/
main.typ
76 lines (60 loc) · 5.65 KB
/
main.typ
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
#import "libs/template.typ": *
#show: thmrules
#show: project.with(
title: "Homological Algebra",
authors: (
"Notes by Yuhang Wei",
"Lectures by Kobi Kremnitzer",
"Partially Based on Previous Notes by Sebastian Monnet"
),
// date: "October 24, 2023",
date: datetime.today().display("[day padding:none] [month repr:long] [year]"),
)
#outline(indent: true)
#heading(numbering: none)[License]
#align(center)[#image("imgs/by-nc.svg", width: 60pt)]
This work is licensed under the Creative Commons Attribution-NonCommercial 4.0 International License.
You are free to share, remix, and adapt this content, as long as it is not for commercial purposes.
For more details, visit: https://creativecommons.org/licenses/by-nc/4.0/.
#pagebreak()
#heading(numbering: none)[Preface]
These notes are mostly based on the University of Oxford course 'C2.2 Homological Algebra' lectured by Prof Kobi Kremnitzer during the 2023-24 Michaelmas term. Portions of the previous notes @notes are reused, along with relevant parts of @weibel, upon which the course is largely based. Another important reference is @rotman, which provides detailed and, at times, meticulous proofs. I have labelled the source of many proofs (whether they are similar or different to the ones presented) for the reader's reference.
An overview of these notes follows. @module-recap states without proof some results from *module theory* which we will use later. @cat-theory is a crash course on *category theory*, based on which @ab-cat constructs *abelian categories* in a step-by-step manner. In general, abelian categories serve as the 'stage' for homological algebra, but as we will see, $RMod$, the category of $R$-modules, which is 'concrete' and thus easier to work with, is in fact a sufficient representative of abelian categories. Focusing on $RMod$, we then move on to establish the *module tensor product* (@tp-module), where the *tensor-hom adjunction* emerges as a significant result. We then prove that $RMod$ has *enough projectives and injectives* in @enough-proj-inj, a property crucial to constructing resolutions in $RMod$. @chain-complex then discusses *(co)chain complexes* and their *(co)homology*, which originally arise in algebraic topology but are viewed solely as algebraic entities here; they lead to the definition and several important properties of *resolutions*. With all the tools in hand, in @derived-functor we are able to define our main protagonist, *derived functors*, which are proven to be *homological $delta$-functors*, in some sense a generalisation of (co)homology functors. The two main *derived functors* we study are *$Ext$* and *$Tor$*, induced by $hom$ and tensor products respectively, as defined in @balancing-ext-tor. *$Ext$* and *$Tor$* possess a crucial property of being *balanced*, which requires the introduction of *mapping cones* and *double and total complexes* for proof. Further properties of *$Ext$*, including its *ring structure* and its connection with *module extensions*, are discussed in @ring-ext and @ext-extension, while further properties of *$Tor$*, demonstrated by *flat modules* and the *Universal Coefficient Theorem*, are the topic of @tor-flat. The machinery we build is also applied to construct *Koszul (co)homology* and *group (co)homology* in @koszul and @group-cohomology, respectively.
For most of the proofs, I have tried to improve them by filling in more detailed steps by using available references and adding cross-references to previous results in the notes. Two large deviations from the lectures are @ab-cat and @tp-module. A lot more details are supplemented in both sections so as to make them as self-contained as possible. I have also chosen to introduce module tensor products based on @rotman, starting from the universal mapping problem of $R$-biadditive maps, whereas the lectures used the tensor product of vector spaces as an initial motivation.
// A current drawback of these notes is the lack of computational examples in later sections, e.g., on *$Ext$* and *$Tor$*. The reader is directed to the aforementioned references for those. Also, I must clarify that I am uncertain about the examinable content while writing these notes.
Homological Algebra is admittedly a challenging yet rewarding course.
On a personal note, I chose to work on these notes to enhance my own learning. As a learner, I acknowledge that these notes must contain mistakes and improvable parts. Therefore, the reader is welcome to submit issues for any advice on GitHub (https://github.com/EricWay1024/Homological-Algebra-Notes), where these notes are open-sourced#footnote[Under the Creative Commons Attribution-NonCommercial 4.0 International License.] and updated#footnote[For anyone interested, I write these notes with Typst, a fairly new but much simpler alternative of LaTeX.]. One can also find a not-so-colourful version of these notes fit for printing by following that link.
Finally, I would like to thank Prof Kobi Kremnitzer for delivering the lectures and Sebastian Monnet for creating the previous version of these notes. Please see the GitHub repo for further acknowledgements.
#align(right)[
Yuhang Wei
]
#pagebreak()
#include "ha/0-module.typ"
#pagebreak()
#include "ha/1-cat.typ"
#pagebreak()
#include "ha/2-ab.typ"
#pagebreak()
#include "ha/3-tp.typ"
#pagebreak()
#include "ha/4-enough.typ"
#pagebreak()
#include "ha/5-cc.typ"
#pagebreak()
#include "ha/6-df.typ"
#pagebreak()
#include "ha/7-balance.typ"
#pagebreak()
#include "ha/8-ext.typ"
#pagebreak()
#include "ha/9-tor.typ"
#pagebreak()
#include "ha/a-kc.typ"
#pagebreak()
#include "ha/b-ext1.typ"
#pagebreak()
#include "ha/c-gc.typ"
#pagebreak()
#include "ha/d-app.typ"
#pagebreak()
#bibliography("bib.yml", style: "chicago-author-date")