9.3 同調群#

本章導言#

正合序列（9.1）教我們：偏差是信息。同調群把這句話變成計算機器：給定一列「複合為零」的同態，測量它離正合有多遠，把偏差登記成一列群 \(H_0, H_1, H_2, \dots\) 。這個想法誕生於拓撲學（Poincaré 1895 的 analysis situs），被 Noether 1925 年左右點破（「同調是群，不是數」），最後由 Eilenberg–Mac Lane 與 Cartan–Eilenberg 抽象為同調代數。本節以鏈複形為骨架，介紹同調群的定義、計算與意義，並把它接回本書的代數主線。

歷史前因後果#

人物	年代	事件
Poincaré	1895	《Analysis Situs》：Betti 數、撓係數
Emmy Noether	1925–26	指出同調應以群（而非數）處理——「同調群」誕生
Mayer, Vietoris	1920s	拼接技術（Mayer–Vietoris 序列）
Eilenberg & Mac Lane	1942–45	群上同調與範疇語言
Cartan & Eilenberg	1956	《Homological Algebra》：Ext、Tor、導函子
Grothendieck	1957	Tohoku：同調代數的一般框架

驅動關係的關鍵一環是 Noether：她強調拓撲學家的「閉鏈、邊界鏈」應組織成群，商 \(Z/B\) 才是正確的對象——這一步讓拓撲問題可以用第 7 章的模論工具處理。抽象代數（模論）與拓撲的這次對接，是二十世紀數學最重要的技術轉移之一：沒有它，就沒有 9.2 的範疇論，也沒有現代的幾何表示論。

定義：鏈複形與同調#

定義 9.3.1：鏈複形是一列模與同態

\[ \cdots \xrightarrow{d_{n+2}} C_{n+1} \xrightarrow{d_{n+1}} C_n \xrightarrow{d_n} C_{n-1} \xrightarrow{d_{n-1}} \cdots, \qquad d_{n} \circ d_{n+1} = 0. \]

條件 \(d^2 = 0\) 保證 \(\mathrm{im}\, d_{n+1} \subseteq \ker d_n\) ：邊界必為閉鏈。

定義 9.3.2： \(n\) 階同調群：

\[ H_n(C) = \frac{\ker d_n}{\mathrm{im}\, d_{n+1}} = \frac{\text{閉鏈}}{\text{邊界鏈}}. \]

讀法： \(H_n = 0 \iff\) 複形在 \(n\) 處正合（9.1 的語言）。同調是正合性的偏差測量。直覺（拓撲）：閉鏈是「閉合的迴路/面」，邊界是「真是某個高維物體的邊緣」的閉鏈；兩者之差是「閉合但不填充任何東西」的洞。

三個詞彙的換算表#

拓撲	鏈複形	代數
頂點/邊/面	\(C_2 \to C_1 \to C_0\)	模
邊界算子 \(\partial\)	\(d\)	同態
閉鏈（無洞的迴路）	\(\ker d\)	核
已被填充的迴路	\(\mathrm{im}\, d\)	像
真正的洞	\(H_n\)	商模

具體例題：圓周與平環的同調#

例題 9.3.1：計算由一個三角形（2-單形、三條 1-單形、三個頂點）組成的複形的同調，說明它同倫於一點；再計算圓周 \(S^1\) 的同調。

解：

三角形（實心）：取 \(C_2 = \mathbb{Z}\langle F \rangle\) （一個面）、 \(C_1 = \mathbb{Z}\langle a, b, c \rangle\) （三條邊）、 \(C_0 = \mathbb{Z}\langle v_1, v_2, v_3 \rangle\) ，邊界

\[ \partial F = a + b + c, \qquad \partial a = v_2 - v_1,\ \partial b = v_3 - v_2,\ \partial c = v_1 - v_3. \]

** \(H_0\) **： \(\ker(d_0) = C_0\) （ \(d_0: C_0 \to 0\) ）， \(\mathrm{im}\,d_1 = \mathbb{Z}\langle v_2 - v_1,\ v_3 - v_1\rangle\) ，故

\[ H_0 \cong \mathbb{Z}\langle v_1, v_2, v_3\rangle / \langle v_2 - v_1, v_3 - v_1\rangle \cong \mathbb{Z} \quad \text{（一切頂點同調等價）}. \]

\(H_0 = \mathbb{Z}\) 對應「一個連通分支」。

** \(H_1\) **：閉鏈 \(\ker d_1\) ： \(x = m a + n b + p c\) 的邊界為

\[ (m - p)v_1 + (p - n)v_2 + (n - m)v_3 = 0 \iff m = n = p, \]

故 \(\ker d_1 = \mathbb{Z}\langle a+b+c \rangle\) 。像 \(\mathrm{im}\, d_2 = \mathbb{Z}\langle a+b+c\rangle\) 。所以

\[ H_1 = \mathbb{Z}\langle a+b+c \rangle / \mathbb{Z}\langle a+b+c \rangle = 0 \quad \text{（三角形的迴路是面填充的邊界，無洞）}. \]

** \(H_2\) **： \(\ker d_2 = \{kF \mid k(a+b+c) = 0\} = 0\) （ \(d_2\) 單射）， \(H_2 = 0\) 。結論：實心三角形 \(H_0 = \mathbb{Z}\) 、 \(H_1 = H_2 = 0\) ，與一點相同（可縮）。

**圓周 \(S^1\) **：去掉面，只留 \(C_1 = \mathbb{Z}\langle a,b,c\rangle \to C_0 = \mathbb{Z}\langle v_1,v_2,v_3\rangle\) 。 \(\ker d_1\) 同上 \(= \mathbb{Z}\langle a+b+c\rangle\) ，而 \(\mathrm{im}\,d_2 = 0\) ：

\[ H_1(S^1) = \mathbb{Z}\langle a+b+c \rangle \cong \mathbb{Z}. \]

那一個生成元就是「一個洞」。同樣的三條邊，有面與無面之差，在 \(H_1\) 上讀出 \(0\) 與 \(\mathbb{Z}\) ——同調對「洞」極端敏感。 \(\blacksquare\)

技術注：這種代碼型計算靠拓撲的「細分與同倫不變性」保證合理；同調是同倫不變量，計算結果與剖分選擇無關。

同調作為函子#

9.2 節的語言現在派上用場：鏈映射 \(f: C \to C'\) 誘導同態 \(H_n(f): H_n(C) \to H_n(C')\) ，且

\[ H_n(\mathrm{id}) = \mathrm{id}, \qquad H_n(g \circ f) = H_n(g) \circ H_n(f), \]

即 \(H_n\) 是函子。不變量的函子性 = 「誘導同態」的自動性：拓撲映射換成代數映射，證明一次、處處有效。Eilenberg–Steenrod 公理中，「同倫的映射誘導相同同態」是關鍵公理，它把拓撲的柔性（連續形變）轉為代數的剛性（相等同態）。

擴張的度量：EXT 與 TOR#

同調代數把「偏差」制度化：對 \(R\) -模，定義導函子

\[ \mathrm{Ext}^n_R(A, B), \qquad \mathrm{Tor}^R_n(A, B), \]

其中 \(\mathrm{Ext}^1\) 度量短正合序列的不分裂性（9.1 例題的 \(\mathbb{Z}/n\) 擴張）， \(\mathrm{Tor}\) 度量張量積的正合性破壞。兩個收穫：

代數內部： \(\mathrm{Ext}^1_{\mathbb{Z}}(\mathbb{Z}/n, \mathbb{Z}) \cong \mathbb{Z}/n\) ——「扭」的度量。整個群擴張理論（6.2 節可解群的塔、3.2 的群擴張）獲得計算引擎。
代數 → 幾何：Sheaf 上同調（Grothendieck）用同樣機器研究代數簇，Weil 猜想的解決、Fermat 大定理（10.1 節回顧）都是這條線的果實。

與其他領域的關聯#

往 9.1：同調群為零 = 正合；蛇引理給出長正合序列——同調群的「會計規則」。
往 9.2： \(H_n\) 是函子；同倫公理、切除公理都是範疇性質。
往 7.1：鏈複形的項是模；Noether 的洞見（同調是模論）使兩章互通。
往 8.3：奇點的 Milnor 格、D-brane 範疇都靠同調語言陳述——ADE 現象的現代化表述。
往 10.1：橢圓曲線的 \(\ell\) -進上同調是 Fermat 大定理的技術骨架。
物理：規範場論的瞬子計數 = 拓撲同調類；弦論的 D-brane 電荷 = K 理論（同調的推廣）。

結語#

同調群的哲學可以壓縮成一句話：「洞」是可以做代數的。Poincaré 憑幾何直覺發現了它，Noether 把它從數字升級為群，Eilenberg–Mac Lane 把它升級為函子，Grothendieck 把它升級為範疇上的一般機器。四代人、一百年，把一個「數洞的辦法」鍛造成貫穿數學與物理的通用引擎。第十章，我們看這台引擎（與前九章的全部機器）在密碼學與物理中的合流，並以一次總回顧收束全書。