我們的位置：零件終於組裝完成
本級一路走來，你建起了一台完整的機器。第一篇給了奇異同調 H_k(X)；第二、三篇以正合序列、Mayer-Vietoris 與胞腔同調使它可算，讀出貝蒂數與歐拉示性數；第四篇把一切對偶成上同調 H^k(X)，講解了泛係數定理，並引入了那把空間的上同調化為一個環的杯積。如今我們有了同調、上同調，以及一個乘法。這最後一篇所談的，是當空間是一個流形時，立刻把它們綁在一起的那道深層對稱——以及這道對稱所開啟的兩大定理。
重點如下。對一般的拓撲空間而言，H_k 與 H^k 只是有點對偶，僅由泛係數定理相連，此外彼此獨立。但在一個好的流形上，一件強得多的事成立：兩者根本就是同一份資料的鏡像讀法。龐加萊對偶就是那面鏡子。它不是計算技巧，而是一句斷言：流形本質上是一個自對偶的物件，而流形幾乎每一個特殊事實——貝蒂數的對稱、相交配對的存在、奇維歐拉示性數的消失——都是它的影子。
龐加萊對偶：陳述假設，而非口號
乾淨的陳述。設 M 是一個 n 維的閉（緊緻、無邊界）且可定向的流形。則對每個 k 都有同構 H_k(M) 同構於 H^{n-k}(M)。k 次同調等於 (n-k) 次上同調；維度 n 充當一道鉸鏈，把一者反射成另一者。取係數於一個域時，這立刻給出貝蒂數的對稱 b_k(M) = b_{n-k}(M)——在一個閉的可定向流形上，第 k 與第 n-k 個洞的數目總是相等。
真正的映射是什麼？這正是第四篇最後那個構造發揮作用之處。定向挑出 H_n(M) 中一個基本類 [M]——那條作為整個流形、已定向的 n 循環。龐加萊對偶於是就是對它作帽積：同構 H^k(M) -> H_{n-k}(M) 把一個上同調類 alpha 送到帽積 alpha cap [M]。那個帽積是你在第四篇末尾遇見的、上鏈與鏈之間的配對；在這裡它被升格為對偶本身的引擎。所以「流形是自對偶的」具體拆解為「與基本類作帽積是一個同構」，而整條定理憑藉的，是 M 擁有一個良定義的頂層類，這恰恰是可定向性所提供的。
相交形式：藏在杯積裡的幾何
現在把對偶與杯積結合，一樣幾何的東西便掉了出來。在一個 n 維閉的可定向 M 上，於上同調定義一個配對：取 H^k 中的 alpha 與 H^{n-k} 中的 beta，以杯積相乘落入頂層群 H^n(M)（它同構於 ℤ），再對基本類求值讀出那個整數。這個配對 alpha cup beta 在 [M] 上求值，就是相交形式，而龐加萊對偶恰恰斷言它是一個完美配對——非退化，故每個類都由它與其餘一切如何配對所決定。
為何稱它「相交」？因為杯積是橫截幾何相遇的代數影子。若一個類對偶於一個子流形 A、另一個對偶於子流形 B，則它們的杯積對偶於交集 A cap B，而相交形式吐出的整數，是 A 與 B 交越之點的有號計數——定向給每個交越一個正號或負號。在一個虧格 g 的曲面上，標準環圈 a_i 與 b_i 配對為 1（它們交越一次），而 a_i 與 a_j 配對為 0（它們可被滑開）；相交形式就是標準的辛矩陣 [0, I; -I, 0]。你字面上是在清點曲線如何彼此撞上，而杯積一直都在偷偷做幾何。
alpha cup beta : H^k(M) x H^{n-k}(M) -> H^n(M) = Z, (alpha, beta) |-> < alpha cup beta, [M] >
middle dimension n = 2m: Q(alpha, beta) = < alpha cup beta, [M] > on H^m(M)
n = 4m: Q is symmetric -> signature(M) = (#positive) - (#negative) eigenvalues
n = 4m+2: Q is skew-symmetric -> standard symplectic form [0, I; -I, 0]中間維度正是這變得壯觀之處。當 n = 4m 時，H^{2m}(M) 上的相交形式是對稱的，故它有一個符號數——正特徵值的數目減去負特徵值的數目。對一個閉的可定向四維流形，這個符號數連同相交形式在 ℤ 上完整的合同類，是一個強得驚人的不變量：由深刻的定理（Whitehead、Milnor，及稍後的 Freedman），相交形式本質上分類了單連通的閉拓撲四維流形。但要誠實面對邊界：光滑的分類仍大為敞開——不同的光滑流形可以共享同一個相交形式，光滑的四維龐加萊猜想未解，而 R^4 上存在奇異的光滑結構。代數是乾淨的；四維中的光滑幾何，是數學中最艱難的開放疆域之一。
萊夫謝茨不動點定理：以跡數清點不動點
第二項大回報，把同調化為一台不動點計數器。取一個好的緊緻空間上的連續自映射 f: X -> X。它在每個同調群 H_k(X; ℚ) 上誘導出線性映射 f_*。把萊夫謝茨數 L(f) 定義為這些映射之跡數的交錯和：H_0 上的跡，減 H_1 上的跡，加 H_2 上的跡，如此繼續。萊夫謝茨不動點定理於是斷言：若 L(f) 不為零，則 f 有一個不動點。一個由同調上的作用算出的有理數，便逼出一個滿足 f(p) = p 之點的存在。
為何這可信，對偶又從何進入？幾何上，f 的不動點恰恰是 f 的圖形與 X x X 中對角線的交點。龐加萊對偶與杯積把那個幾何相交數轉換成代數的交錯跡——帽積與 H_*(X x X) 的 Künneth 描述負責記帳。所以萊夫謝茨數，骨子裡是一個由上一節那道對偶算出的相交數。這定理是對偶換戴了一頂帽子：清點圖形與對角線何處相遇，但以跡數而非圖像為之。
- 特例：若 f 同倫於恆等映射，則 f_* 在每個 H_k 上都是恆等，故每個跡恰是維度 b_k。維度的交錯和正是歐拉示性數：L(恆等) = chi(X)。所以萊夫謝茨在其最簡單的情形下，就包含了這一斷言：當 chi(X) 不為零時，同倫於恆等的自映射有一個不動點。
- 把這用到球面 S^2，其 chi = 2，不為零。則任何同倫於恆等的映射——尤其是任何連續向量場的單位時間流——都有一個不動點。這就是 Poincaré-Hopf／「毛球」定理：你無法把一顆毛球梳平，因為一個處處非零的切向量場會生成一個無不動點的流，與 chi(S^2) = 2 矛盾。
- 再看一個計數本身就是重點的情形：環面 T^2 的 chi = 0，故恆等映射的萊夫謝茨數為零——而事實上環面的一個旋轉同倫於恆等，卻無不動點。這定理是誠實的：L(f) = 0 給不出結論。但取一個雙曲環面自同構，由形如 [2, 1; 1, 1] 的矩陣誘導的映射；它在 H_1 上的跡就是矩陣的跡 3，故 L(f) = 1 - 3 + 1 = -1，不為零，於是該映射必有一個不動點（原點），儘管它不同倫於恆等。
退一步看：本級真正講的是什麼
看看對偶做了什麼。同調清點洞；上同調連同其杯積，清點洞並且把它們相乘；而在流形上，龐加萊對偶說這些是同一份資訊，由與基本類作帽積相連。從這一道對稱，生出了相交形式（幾何、符號數、四維流形的戲劇）與萊夫謝茨定理（不動點、毛球、作為特例的歐拉示性數）。流形許多「顯然」的事實其實一點也不顯然——它們就是這道對偶，從不同角度觀看而已。
本著整座塔的精神，要誠實面對適用範圍與前方的道路。其一，龐加萊對偶遠不只此處的版本——有一個艱深的精煉，硬萊夫謝茨定理，它在凱勒流形上成立，並遠更緊地約束貝蒂數；而在代數幾何裡，它的類比是塞爾對偶，那是你將在代數幾何軌道上遇見的一位手足，而非競爭者。這些是同一觀念的不同化身，各有自己的假設（凱勒、射影、凝聚），而你在切除與 Bonnet-Myers 上練就的「無口號」習慣在此同樣適用：絕不脫離條件而引用對偶。
其二，要抗拒過度推銷的衝動。這些定理是計算與結構上的勝利，但它們本身並不分類流形——光滑的四維龐加萊猜想仍未解，高維中存在奇異球面，而同調與上同調合起來，仍比完整的同倫型來得粗。你如今真正擁有的，是一套連貫的代數拓撲工具箱：鏈與循環、正合序列、胞腔計算、上同調環、映射度理論、對偶，以及不動點計數。這套工具箱，正是你如今可以攀登的微分拓撲、黎曼、複幾何與代數幾何諸塔的工作語言——同調從來不是終點，它是其餘幾何據以書寫的字母表。