【同调代数】
同调代数是数学的一个分支，它研究同调与上同调技术的一般框架。
==简述==
同调代数是一门相对年轻的学科，其源头可追溯到代数拓扑（单纯形同调）与抽象代数（合冲模）在十九世纪末的发展，这两门理论各自由庞加莱与希尔伯特开创。
同调代数的发展与范畴论的出现密不可分。大致说来，同调代数是（上）同调函子及其代数结构的研究。「同调」与「上同调」是一对对偶的概念，它们满足的范畴论性质相反（即：箭头反向）。数学很大一部分的内在构造可藉链复形理解，其性质则以同调与上同调的面貌展现，同调代数能萃取这些链复形蕴含的资讯，并表之为拓扑空间、层、群、环、李代数与C*-代数等等「具体」对象的（上）同调不变量。谱序列是计算这些量的有力工具。
同调代数肇始即在代数拓扑中扮演要角。其影响日渐扩大，目前已遍及交换代数、代数几何、代数数论、表示理论、算子代数、偏微分方程与非交换几何。K-理论是一门独立的学科，它也采用同调代数的办法。
==主要对象：链复形==
同调代数领域的基本对象是一个链复形。这是一个由交换群、模或更广义地说是由一个阿贝尔范畴的对象组成的序列A0, A1, A2……。它们通过一系列同态dn : An→An-1相连，使得每两个连接的映射的合成
为零：对所有n有dn o dn+1 = 0（有时迳写作）
:。
链复形的同调群定义为：
* 同调群皆为零的链复形称作正合的。
* 两个链复形、之间的链映射是一族同态，使之满足：；全体链复形依此构成一范畴。链映射诱导出同调群的映射。
* 对链映射可以定义同伦的概念，这是拓扑学的同伦在代数框架下的翻译。同伦的链映射在同调群上诱导出相同的映射。
* 在同调群上诱导出同构的链映射称作拟同构。
链复形概念的一个对偶版本是上链复形。一个上链复形是个序列A0, A1, A2……。它们由一系列同态dn : An→An+1相连，使得任何两个接连的映射的合成为零：对所有n有dn+1 o dn = 0：
:。
关于链复形的种种定义可以照搬至上链复形；实质上，我们仅须将原定义中的所有箭头反转。例如上链复形的上同调群定义为：
形式地说，同调代数可定义为链复形与上链复形的抽象研究。以下我们将看到它的具体根源。
==溯源==
===代数拓扑学的黎明===
环面上的两种闭曲线，它们都无法表成区域的边界。
同调代数的根源之一在代数拓扑，而后者的历史则可上溯至十九世纪中。早在黎曼关于阿贝尔簇的工作中，就已考虑过黎曼曲面上的闭曲线是否为一块区域的边界的问题；根据斯托克斯定理，闭形式在这类闭曲线上的积分恒为零，而这类曲线的多寡显然牵涉到曲面的拓扑性状。黎曼依此定义了「连通数」——用现代的语言表述即是，此量关系到黎曼曲面的亏格，直观地理解便是曲面上有几个「洞」。
庞加莱在1895年的经典论文Analysis Situs及其后续工作真正奠定了代数拓扑学的基础。他考虑的对象是后来所谓的单纯复形，这类空间在同胚的意义下可剖分为多面体，它包含了微分拓扑中处理的大多数有限维空间。庞加莱考虑一个单纯复形中各种维度的单纯形（零维的点、一维的线、二维的三角形、三维的四面体等等）的整系数线性组合，称之为链，它们构成一系列的阿贝尔群，其中下标代表维度。庞加莱还定义了一个边界映射，它在单纯形上的作用是将维单纯形的维边界取适当正负号后作线性组合；彼此差个边界的链在拓扑上称作同调的，这也是同调代数的词源。庞加莱证明，于是我们有以下链复形
定义的贝蒂数与欧拉示性数：
单纯复形的例子：八面体，它有6个顶点、12个边和8个面
这两个量都与空间的剖分方式无关，仅决定于空间的伦型。起初庞加莱只考虑数值不变量；在1925年，埃米·诺特于一份只有14行的报告中指出：根本的不变量是阿贝尔群，而不仅仅是它派生的非负整数；群结构能给出更细的拓扑资讯，而空间的连续映射能导出同调群的同态。代数拓扑的风貌从此遂澈底改变。
循此脉络，L. Mayer在1929年定义了抽象的链复形及其同调群。同调理论自此有了纯代数的框架。
随后十年间，数学家们为各种空间定义了形形色色的同调与上同调，例如在德拉姆上同调中，我们设为光滑流形上的次微分形式，同态定义为外微分。无论哪种理论，对同一空间总是给出相同的同调群；塞缪尔·艾伦伯格与诺曼·斯廷罗德在1945年以公理化方法梳理拓扑空间的（上）同调理论，从而证明先前种种理论只是同一个对象的不同面貌。此时同调代数俨然已自成一格了。
此后拓扑学仍不断为同调代数注入动力，例子包括了：
* 万有系数定理：关系到函子与。这个定理告诉我们如何从系数为的（上）同调群决定任意系数的情形。
* 非球空间的上同调群：它们可由基本群的群上同调算出，这也是一种Ext函子。
* 李群的上同调群：由其李代数决定，由此催生了李代数上同调理论。
===希尔伯特与合冲模===
同调代数的另一条线索可以追溯到十九世纪的显学不变量理论与大卫·希尔伯特。希尔伯特为了研究不变量本身、不变量间的关系、以及关系间的关系……，而考虑自由分解的问题：设为诺特环，为有限生成的-模，
希尔伯特基底定理（1888年）。存在正整数及满态射。
设，则是的一个有限展示；称作第一个合冲模（syzygy）。
另一方面，也是有限生成的，于是存在另一个有限展示
称作第二个合冲模。反复操作遂得到一个-模的链复形：
其中每个同态的核都是前一个同态的像；用现代语言来说，这乃是的一个自由分解，长度最短的自由分解称作极小分解。自由分解的好处在于：自由模的不变量很容易计算，而透过自由分解又能适当地拼合各个上的资讯，从而推出的代数性质。这是同调代数的基本技术之一。
希尔伯特合冲定理（1890年）。上述分解在有限步之内停止；换言之，存在够大的使得第个合冲模是自由模。当是域而时，极小分解的长度不大于。
希尔伯特藉著一个分次版的合冲定理证明了：在同样条件下，一个有限生成分次模的希尔伯特函数是个多项式；他借此阐明了不变量的个数对次数的关系。希尔伯特考虑的自由分解是投射分解的特例；在现代的同调代数理论中，投射分解及内射分解是定义导函子的基础。
当是局部环时，极小分解的长度称作的投射维度，它相当于使下式成立的最小整数：
对所有-模的投射维度取极大值，得到的数称为同调维度；同调维度等于若且唯若是正则局部环；在这个意义下，可以说极小分解反映了几何性质。合冲模也是计算代数几何中的重要方法。
===嘉当-艾伦伯格革命===
昂利·嘉当与塞缪尔·艾伦伯格在1956年出版的著作Homological Algebra标示了同调代数的成熟。书中的概念与工具影响之深广，成为各领域数学家们不可须臾离的生活资料。以下举出数点例子：
* 投射模与内射模
* 左正合函子与右正合函子
* 投射分解与内射分解，并由此定义一个函子的导函子。
* 将Tor函子与Ext函子分别定义为与的右导函子与左导函子，并探讨了同调维度。
* 介绍了谱序列，并用以计算Tor与Ext。
* 链复形的嘉当-艾伦伯格分解与超上同调，可视为导范畴的滥觞。
一直到1970年代，嘉当与艾伦伯格的著作都是同调代数的圣经，同时期受欢迎的教本还有麦克兰恩的Homology，格罗滕迪克的《代数几何基础》与东北论文。
嘉当在1980年接受牛津大学荣誉博士时，曾用拉丁文写下这么一段话：
……utinam intelligere possim rationacinationes pulcherrimas quae e propositione concisa DE QUADRATUM NIHILO EXAEQUARI fluunt……
但愿吾能领会此简洁公式之美妙推论
===格罗滕迪克的东北论文===
亚历山大·格罗滕迪克在1955年左右对韦伊猜想发生兴趣，而真正勾动他的是此猜想的上同调表述；格罗滕迪克为此开始研习同调代数，当时嘉当-艾伦伯格的书尚未出版。嘉当与艾伦伯格仅考虑模构成的范畴。格罗滕迪克在1956年一封给塞尔的信中写道：
我了解到，如果能在比模更广的范畴上制定导函子理论，则可轻易获得空间的上同调。存在性来自一个一般的判准，而细层将扮演内射模的角色。基本谱序列将成为一些有用且可爱的一般谱序列的特例。但我不确定这在不可分空间上管不管用，而且我也想起你怀疑维度时是否存在上同调正合序列。也许这在嘉当-艾伦伯格的书里多少都有明确表述，但我还无缘一读。（1955年2月26日）
这封信铺陈了后来所谓东北论文的梗概。空间的上同调系指层上同调，当时是以Čech上同调或细层分解定义的；而所谓细层是一类带有单位分解的层，因此只在仿紧空间（当时称作可分空间）上有细层分解；这对微分几何与复几何不成问题，但对一般的代数簇则是致命缺陷。塞尔回复道：
“嘉当-艾伦伯格的书中并未以导函子演绎层上同调（至少在仿紧的情形）。嘉当意识到这个问题，并吩咐Buchsbaum去做，但看来他还没做出来。主要的兴趣应在于找出我们需要的细层性质，依此可以判断不可分空间上是否有够多细层（我想答案是否定的，但我一点也不确定！）。”（1955年3月12日）
格罗滕迪克遂著手重写同调代数的基础。
这条思路在他于1957年发表于《东北数学杂志》的论文Sur quelques points d'algèbre homologique中开花结果。原本区区数页的简单定义变为102页的范畴论论证，谣传他因此花了两年才找到地方刊登；但后续发展证明他的努力与收获是相称的。论文提出的重要观念如下：
* 阿贝尔范畴的公理
* δ-函子与泛δ-函子
* 相对于一个函子的非循环对象：例如仿紧空间上的细层之于截面函子。
* 格罗滕迪克谱序列：涉及如何计算合成函子的导函子，可从此导出嘉当-艾伦伯格书中的许多谱序列与拓扑学中的Leray谱序列。
格罗滕迪克借此将层上同调化为导函子的特例，阿贝尔范畴也成为同调代数的标准语言。
===导范畴===
八角形公理图解，它是三角范畴最难理解的公理之一。
格罗滕迪克在1961年左右面临一个技术瓶颈：为了为任意概形上的凝聚层建立对偶定理，必须为同调代数发展新工具。这个任务由他的学生让-路易·韦迪耶（Jean-Louis Verdier）完成了。
Verdier在1967年的博士论文Des Catégories Dérivées des Catégories Abéliennes中引入了三角范畴与导范畴的观念。约略地说，三角范畴是一种能制造长正合序列与上同调函子的范畴；一个阿贝尔范畴上的链复形范畴便是一例。其次，我们等同中同伦等价的态射，从而得到商范畴，它仍然具备三角范畴的结构；最后，建构对拟同构的局部化以获得导范畴，换言之即是为所有拟同构添加逆态射。
假设有够多内射元，则在导范畴里同样可以定义左正合函子的右导函子，它与古典定义的关系由下式给出：
假设左正合函子将内射对象映至的非循环对象，此时格罗滕迪克谱序列化作格外简明的形式：
对右正合函子也有相应的结果。尽管谱序列在导范畴的进路中不是那么根本，但在具体计算时仍占一席之地。
Verdier藉这套语言证明了Verdier对偶定理，这是庞加莱对偶定理的深远推广，适用于任何局部紧有限维拓扑空间。导范畴的应用仍在不断扩大中；在代数几何之外，导范畴理论的最大成功之一是证明了任意维度的黎曼-希尔伯特对应。
Verdier的博士论文直到1996年才出版，此前导范畴的第一手资料是由他执笔的SGA 4½末章：Catégories dérivées (état 0)。
==单纯形法==
庞加莱研究拓扑的方法是将空间剖分为多面体，这时空间的拓扑性质完全决定于这些点、线、面……等等「单纯形」及其间的相交关系。将这套方法抽象化，便可对任何范畴定义单纯形对象（及其对偶上单纯形对象）。在为集合范畴的情形特别有用，此时的单纯形对象称为单纯形集合（及其对偶上单纯形集合）。对单纯形集合可定义其几何实现，这是一个CW-复形。对于来自一个源自拓扑空间的单纯形集合，几何实现不外是将空间「拼回去」；而对源于代数构造的单纯形集，几何实现则能用以构造分类空间。在单纯形集合上可以抽象地开展同伦论的研究。
另一方面，若取为一阿贝尔范畴，对任一单纯形对象皆可定义一个链复形。此时单纯形对象与链复形的关系由以下定理阐明：
Dold-Kan对应定理（1957年）。函子给出范畴间的等价
{中的单纯形对象}  { 上的链复形，并满足 }
透过这个对应，单纯形集合理论可助同调代数一臂之力，例如我们可借此定义更广义的导函子，或得到某类对象的典范分解。
==非交换理论==
源于同调论的古典同调代数只给出「可交换」的资讯。对于空间上的非交换群层，古典方法只能定义第一个上同调；这个集合分类了上的扭子。数学家们尝试定义高阶的非交换上同调，这方面的理论常牵涉到同伦理论、单纯形集合，或者高阶的范畴论（如叠论）。
==同调代数与同伦代数==
就模型范畴的观点，同调代数可被视为同伦理论的一支。这是Daniel Quillen将模型范畴理论称作同伦代数的原因
。