跳转到内容
← 返回概念
代数拓扑约 15 分钟阅读

同调与上同调

Homology and Cohomology

关键人物

poincarenoetherderhamcartan
代数拓扑同调上同调Betti数Euler示性数

一个直觉：用"数洞"来分辨形状

把一个甜甜圈和一个球放在面前，凭肉眼你就知道它们不一样——甜甜圈中间有个洞，球没有。但"有个洞"这句话，怎么变成数学能计算的东西？同调（homology）做的就是这件事：它给一个空间的每一种维度的"洞"派一个代数对象，去数有多少个、什么样的洞。 零维的洞是"连通块"（空间分成几片），一维的洞是"绕得过去的圈"（甜甜圈的洞），二维的洞是"包得住的空腔"（球面内部那个空腔），以此类推。

关键的精妙之处在于如何定义"洞"。直观上，一个圈如果能在空间里连续收缩成一个点，它就没圈住任何东西；如果收不回去（比如套在甜甜圈孔上的橡皮筋），它就圈住了一个洞。同调把这句话翻译成代数："边界"一定不圈洞，"圈住洞的东西本身没有边界"。于是洞 = 没有边界的东西 ÷ 是别人边界的东西。 这个"商"正是同调群。

上同调（cohomology）则是把这套构造"反过来"——不再问"哪些东西圈住了洞"，而是问"哪些函数能在洞上积分出非零的值"。它和同调互为对偶，却额外带了一个乘法结构（杯积），让它比同调"信息更丰富"。微积分里的格林公式、斯托克斯公式，本质上就是上同调在低维的影子。

定义

设有一列阿贝尔群和群同态构成的序列，称为链复形（chain complex）：

⋯→∂n+1Cn→∂nCn−1→∂n−1⋯\cdots \xrightarrow{\partial_{n+1}} C_n \xrightarrow{\partial_n} C_{n-1} \xrightarrow{\partial_{n-1}} \cdots

其中边界算子 ∂n\partial_n 满足核心关系 ∂n∘∂n+1=0\partial_n \circ \partial_{n+1} = 0——"边界的边界为零"（一个曲面的边界是闭合曲线，闭合曲线没有端点）。由 ∂n∘∂n+1=0\partial_n \circ \partial_{n+1} = 0 可知 im⁡ ∂n+1⊆ker⁡∂n\operatorname{im}\,\partial_{n+1} \subseteq \ker \partial_n。定义 $n$ 维同调群为商群：

Hn=ker⁡∂n / im⁡ ∂n+1H_n = \ker \partial_n \,/\, \operatorname{im}\,\partial_{n+1}

其中 ker⁡∂n\ker \partial_n 的元素称为 $n$ 维闭链（cycle，"没有边界的链"，对应"圈住洞的候选者"），im⁡ ∂n+1\operatorname{im}\,\partial_{n+1} 的元素称为 $n$ 维边缘（boundary，"是某高维链的边界"，对应"没真正圈住洞"）。同调群度量的正是"闭链中真正圈住了洞的那部分"。

上同调则取链复形的对偶：把链群 CnC_n 换成它的对偶 Cn=Hom⁡(Cn,R)C^n = \operatorname{Hom}(C_n, R)（系数取自环 $R$），边界算子 ∂\partial 换成方向相反的上边界算子 $d$，得到

Hn=ker⁡dn / im⁡ dn−1.H^n = \ker d^n \,/\, \operatorname{im}\, d^{n-1}.

核心内容

单纯同调与奇异同调。 最早的同调由单纯复形（simplicial complex）定义：把空间剖分成点、线段、三角形、四面体等"单纯形"，链就是这些单纯形的形式线性组合。它直观可算，但依赖剖分方式。奇异同调（singular homology）则把"从标准单纯形到空间的连续映射"当作链，无须剖分，对任意拓扑空间都有定义，且可证明与单纯同调在能剖分时一致。这是现代代数拓扑的标准框架。

Betti 数。 第 $n$ 个 Betti 数 bnb_n 定义为同调群 HnH_n 自由部分的秩（直观地说，bnb_n = 第 $n$ 维"独立的洞"的个数）：b0b_0 是连通分支数，b1b_1 是独立"圈"的个数，b2b_2 是独立"空腔"的个数。环面 T2T^2 的 Betti 数是 b0=1, b1=2, b2=1b_0=1,\ b_1=2,\ b_2=1——一个连通块、两个独立方向的圈、一个内部空腔。

Euler 示性数。 各维 Betti 数的交错和给出一个极其稳健的拓扑不变量：

χ=∑n(−1)nbn=b0−b1+b2−⋯\chi = \sum_{n} (-1)^n b_n = b_0 - b_1 + b_2 - \cdots

对多面体，它等于"顶点数减棱数加面数"$V - E + F$（欧拉公式），凸多面体一律得 χ=2\chi = 2。这个数完全由拓扑决定，与几何形变无关——这正是 Gauss-Bonnet 定理把曲率积分等同于 2πχ2\pi\chi 时所依赖的不变量。

上同调环与 de Rham 上同调。 上同调的额外结构是杯积（cup product）：两个上同调类可以"相乘"，使 H∗(X)=⨁nHn(X)H^*(X) = \bigoplus_n H^n(X) 成为一个分次环。这个环结构能区分一些同调群相同、却本质不同的空间。在光滑流形上，de Rham 上同调用微分形式实现上同调：闭形式（dω=0d\omega = 0）模去恰当形式（ω=dη\omega = d\eta），杯积就是微分形式的外积。德拉姆定理断言它与系数取实数的奇异上同调同构——这把"微积分里的积分"与"拓扑里的洞"严丝合缝地对接起来。斯托克斯公式 ∫Mdω=∫∂Mω\int_M d\omega = \int_{\partial M} \omega 正是同调与上同调对偶配对的解析表达。

破除两个常见误解

误解一：同调相同就等于空间相同。 不对，方向反了。同调是不变量，逻辑只能单向用：两个空间若同调不同，它们必然不同胚；但同调相同，绝不保证它们一样。最经典的反例是同伦球与某些透镜空间——它们的同调群可以完全一致，却是本质不同的空间。这正是为什么需要更精细的工具（基本群、杯积环结构、同伦群）来补刀。同调是一张分辨率有限的"指纹"：能证明两件东西不同，却很难证明它们相同。

误解二："洞"的个数是整数，所以同调就是一串数。 这正是庞加莱当年停留的层次，也是诺特要纠正的地方。同调不止有"自由部分"（贡献 Betti 数那样的整数），还有挠率部分（torsion）——一种"绕几圈才闭合"的扭曲信息。比如克莱因瓶、实射影平面的一维同调里就带有 Z/2Z\mathbb{Z}/2\mathbb{Z} 的挠率，它根本不是一个普通整数能表达的。把同调当成"数洞个数"会丢掉这层结构；把它看成群，才抓住了全部信息。这也正是诺特那一步抽象的全部意义。

现代发展与开放问题

同调远不是一段尘封的历史，它至今仍在最前沿不断生长。

范畴化（categorification）。 一个反复出现的现代主题是"升维"：把一个数升级成一个向量空间，把一个多项式升级成一串同调群，让原本看不见的结构显形。霍瓦诺夫（Khovanov）在 2000 年前后构造的同调，正是把纽结理论里的 Jones 多项式"加厚"成了一套同调理论，所含信息严格更多——这开辟了当代代数拓扑最活跃的方向之一。

计算的可行性与持续同调。 抽象的同调群如何真正"算出来"，本身是门学问。21 世纪兴起的拓扑数据分析把同调变成了能在计算机上跑的算法（持续同调），用来在高维数据点云里"数洞"，已应用于神经科学、材料科学乃至宇宙学。一门最抽象的拓扑理论，意外地成了数据科学的工具。

仍然开放的难题。 同调与几何的关系深处仍埋着重大未解之谜。霍奇猜想（Hodge conjecture，七大千禧年难题之一）追问：在复代数簇上，哪些上同调类能由代数子簇实现？这把上同调、复几何与代数几何拧在一起，至今悬而未决。可见同调既是已经成熟的语言，又通向数学最深的未解之问。

历史

同调思想的源头是亨利·庞加莱（Henri Poincaré）。他在 1895 年的论文《位置分析》（Analysis Situs）及随后的五篇补遗中，为研究流形引入了"同调"的概念，并定义了 Betti 数（以意大利数学家 Enrico Betti 命名，后者在 1870 年代研究过类似不变量）。庞加莱起初用直观的几何语言，后来引入了"挠率"（torsion）来修正 Betti 数无法捕捉的现象。但庞加莱的同调还不是"群"。把同调真正代数化的，是埃米·诺特（Emmy Noether）。1920 年代她在哥廷根指出：Betti 数和挠率系数其实是阿贝尔群（同调群）的数值阴影，真正的不变量应当是群本身，而边界算子是群同态。这一观点彻底重塑了拓扑学——从"数洞"变成"研究同调群之间的代数结构与映射"。

上同调与对偶随后由多人发展。乔治·德拉姆（Georges de Rham）在 1931 年的博士论文中证明了微分形式的上同调与拓扑不变量的对应（德拉姆定理）。埃利·嘉当（Élie Cartan）发展的微分形式外微分演算，为 de Rham 理论提供了运算工具。1940 年代，层论（sheaf）与谱序列的引入，使上同调成为现代几何与数论的通用语言。

关键人物

亨利·庞加莱（1854—1912）是代数拓扑的奠基者。他在《位置分析》中开创性地用代数手段研究空间的整体形状，提出 Betti 数、挠率、基本群等概念，并留下了困扰数学界近百年的庞加莱猜想（2003 年由佩雷尔曼证明）。他坚信"拓扑学研究的是连续变形下不变的性质"——这正是同调论的灵魂。

埃米·诺特（1882—1935）以抽象代数闻名，但她对拓扑的关键贡献是看穿了同调的代数本质：不变量应是群而非数。这一洞见经亚历山德罗夫、霍普夫等人传播，确立了"用代数对象（群、环、模）研究拓扑空间"的范式。诺特同时是物理学中诺特定理的提出者，将对称性与守恒律联系起来。

乔治·德拉姆（1903—1990）证明了同名定理：光滑流形上由微分形式定义的上同调，与纯拓扑定义的（实系数）上同调同构。这一结果是连接分析、几何与拓扑的桥梁，让物理学家能用微分形式直接"读出"空间的拓扑信息。

埃利·嘉当（1869—1951）发展了微分形式的外微分演算与活动标架法，既为 de Rham 上同调提供工具，也直接催生了陈省身对 Gauss-Bonnet 定理的内蕴证明。

跨域连接

  • 拓扑学：把"有没有洞"翻译成"闭链模去边缘"的商群之后，连续形变下的不变性就变成了可以按部就班算的线性代数问题。推论是：这个方向不可逆——两个空间的同调群不同就一定不同胚，而群相同却什么也推不出来，这条不对称贯穿全部不变量方法。
  • 点云的形状：给点云一族逐渐增大的邻域半径，记录每个洞出现与消失的尺度，只有活得久的洞才算结构。推论是：数据的微小扰动只能产生短命的洞，因此"长条"是稳健的；与聚类不同，这里不必事先指定要找几个簇。
  • 拓扑不变量：这里的整数不是从数据里估出来的，而是被定律强制的：能带的上同调类积分必须取整数值，所以电导平台精确到极高位数。这正是它与数据分析中"稳健特征"的根本差别——一个是定理，一个是统计判断。
  • 链的连环数：闭合双链的连环数是一个拓扑量，等于扭转数与超螺旋数之和，任何不切断骨架的形变都改不了它。推论是：细胞若要改变超螺旋程度，就必须动用能切开并重接骨架的酶——这是拓扑而非化学逼出来的必需环节。
  • 证伪的不对称：不变量只能作否定判决，取值不同则对象必不同，取值相同却推不出相同。推论是：一个不变量的价值取决于它区分得多细，而不是算起来多方便；同调之所以被不断加细成环结构与示性类，正是因为单靠数洞分不开的空间太多。

参考文献

  1. Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002.
  2. Henri Poincaré, "Analysis Situs", Journal de l'École Polytechnique, 1895.
  3. Raoul Bott, Loring W. Tu, Differential Forms in Algebraic Topology, Graduate Texts in Mathematics 82, Springer, 1982.
  4. Shiing-Shen Chern, "A Simple Intrinsic Proof of the Gauss-Bonnet Formula for Closed Riemannian Manifolds", Annals of Mathematics, 45 (4): 747–752, 1944.
  5. Georges de Rham, Variétés différentiables: formes, courants, formes harmoniques, Hermann, 1955.
  6. Mikhail Khovanov, "A categorification of the Jones polynomial", Duke Mathematical Journal, 101 (3): 359–426, 2000. DOI: 10.1215/S0012-7094-00-10131-7

延伸阅读

  1. John M. Lee, Introduction to Smooth Manifolds, Springer, 2012.
  2. 陈省身, 《微分几何讲义》, 北京大学出版社.

同调论用代数群刻画拓扑空间中"洞"的结构：H0H_0 计连通分支，H1H_1 计一维环路，HnH_n 计更高维的空洞。贝蒂数与欧拉示性数由此而来，它使"两个空间是否本质不同"成为可计算的代数问题，是代数拓扑的核心工具。