同调代数

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

Summary: 同调代数是数学的一个分支,它研究同调与上同调技术的一般框架。

Homological algebra: Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of modules and syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. The development of homological algebra was closely intertwined with the emergence of category theory. By and large, homological algebra is the study of homological functors and the intricate algebraic structures that they entail. One quite useful and ubiquitous concept in mathematics is that of chain complexes, which can be studied through both their homology and cohomology. Homological algebra affords the means to extract information contained in these complexes and present it in the form of homological invariants of rings, modules, topological spaces, and other 'tangible' mathematical objects. A powerful tool for doing this is provided by spectral sequences.