拓撲學中主要依賴代數工具來解決問題的一個分支。同調與同倫的理論是代數拓撲學的兩大支柱(見同調論,同倫論)。

  在同調理論研究領域裏,自(J.-)H.龐加萊首先建立可剖分空間的同調之後,人們試圖對於不一定可剖分為複形的一般拓撲空間建立同調理論。後來出現瞭好幾種關於一般空間的同調論。為瞭達到統一與簡化的目的,S.艾倫伯格與N.E.斯廷羅德在40年代中期宣導用公理法來引進同調群。有瞭這種觀點,不僅僅使人們對古典的同調論看得更清楚楚,同時也為廣義同調論的興起創造瞭條件。

  廣義同調論滿足除開維數公理之外的所有艾倫伯格-斯廷羅德同調論公理。具有各自幾何背景的各種廣義同調論的出現大大開拓瞭代數拓撲的領域,提高瞭用代數方法解決幾何問題的能力。廣義同調的表示定理表明可以在同倫概念的基礎上來建立同調論。目前,重要的廣義同調論有K上同調,協邊上同調,MU上同調,BP上同調,等等。

  不論同倫或同調,從幾何向代數的過渡總是由函子來實現的。范疇與函子的理論,首先由代數拓撲的需要而產生,現在已在許多數學分支有廣泛的應用。無論同倫或同調,都是對每個拓撲空間X對應瞭一個群F(X),對每一個連續映射fXY對應瞭一個同態F(f):F(X)→F(Y),且滿足:①當X=Yf=恒等自映射時,F(f)=恒等自同構。②若gY→Z,則F(gf)=F(g)F(f)。作為用這種函子性質解決拓撲問題的一個例子,考慮fXY為同胚的情形,這時F(f-1)與F(f)互為逆同態,從而F(f):F(X)→F(Y)為同構。證明兩個空間XY不同胚的一個常用的辦法就是找出一個適當的函子F,使得F(X)不同構於F(Y)。拓撲不變量往往也就是這種函子。

  同調與同倫是實質上不同的概念,這從簡單的例子就可以看出來。在圖

中,設 F是將環面挖一個圓洞所得的曲面。則邊界圓周C 在曲面 F上是同調於0的一維閉鏈。但C 看作 F上的環道則不同倫於0。人們很早就知道,不一定可交換的基本群交換化之後就同構於一維同調群。對於同調與同倫之間關系進行深入探討的結果促使同調代數迅速地向前發展起來。這一整套強有力的工具不僅對代數拓撲本身產生巨大影響,也深深地滲入到其他數學分支,如代數、代數幾何、泛函分析、微分方程、復分析等等。

  與同調對偶的上同調在許多場合用起來比同調更為得力,這是H.惠特尼在30年代的發現。S.萊夫謝茨對流形上的同調交截理論所作的深入研究啟發人們想到上同調乘積的存在。N.E.斯廷羅德在繼H.霍普夫之後研究有限復形K到球面Sn的連續映射同倫分類問題時發現瞭一類上同調運算。上同調群配以上同調運算使得對應於幾何對象的代數對象有更為豐富的結構,從而解決問題的能力也更強。

  代數拓撲學者從來註重計算具體空間的同調群、上同調群、上同調運算等等。李群以及與之有關的空間是首先被考慮的對象。這種計算在很大程度上依賴於纖維叢或纖維空間的底空間,纖維與全空間的同調關系。1946年,J.勒雷用譜序列對纖維空間的同調計算得到深刻的結果。

  緊接著有J.P.塞爾應用纖維空間的同調譜序列在同倫論上的突破,得到當時幾乎難以想象的結果:πq(Sn)除開q=n以及q=2n-1,n為偶數的情形,都是有限群。塞爾的另一個重要貢獻是將代數裡一個行之有效的原理移植到拓撲學中來,即通過對一個問題的各個p局部化(p為素數)問題的解決來求得原問題的整體解決。經過D.P.沙利文的進一步系統的研究,目前這種局部化以及完備化的思想在代數拓撲裡已經成為一個帶根本性的原理。

  拓撲空間如果具有連續的乘法以及關於這個乘法的單位元素就叫作H空間。李群是H空間的特例。對於H空間的同調與同倫性質的研究取得瞭許多有意義的結果,豐富瞭代數拓撲的內容。

  歐氏空間Rn,當n=2,4,8時可以定義乘法·,滿足關系‖x·y‖=‖x‖‖y‖,這裡‖‖表示Rn的范數;

Rn(n=2,4,8) 的點分別看作復數、四元數、凱萊數就得到這種乘法。是否還有其他的n值使Rn能成為這種賦范代數呢?若Rn具有賦范代數結構,則球面Sn-1H空間。這後一結論又等價於存在霍普夫不變量等於1的球面映射S2n-1Sn。這個問題在同倫論發展的初期就被提出來,當時是個很難下手的問題。與這個問題鄰近的還有球面Sn上至多能有多少個線性獨立的切向量場的問題。1960年前後,J.F.亞當斯徹底解決瞭這兩個問題。於是知道除開n=2,4,8這幾種已知情形,不可能在Rn上引進保持范數的乘法。一個古老的代數難題用拓撲的方法得到瞭解答。亞當斯還充分利用瞭同調代數(包括譜序列),上同調運算理論,廣義同調論等方面當時所能提供的工具,使它們充分發揮瞭威力。這些成就足以說明代數拓撲那時正處於發展的高潮。

  70年代以後,雖然不象前些年那樣接連出現令人驚嘆的結果,代數拓撲仍然取得瞭多方面的進展。例如,在廣義同調論、變換群作用下的共變同調與同倫論、無窮環道空間、有理同倫論、同倫群指數估計、來自微分拓撲的代數拓撲問題等方面都獲得瞭豐碩的成果。目前,一方面在其他數學分支,其他科學與技術領域裡代數拓撲的應用日見廣泛與深入,另一方面,其本身有許多重要問題尚未解決,或尚未徹底解決,代數拓撲另一個發展高潮時期的到來是可以期待的。

  

參考書目

 江澤涵著:《拓撲學引論》,上海科學技術出版社,上海,1978。

 M.J.Greenberg,Lectures on Algebraic Topology,W.A.Benjamin,New York,1967.

 E.H.Spanier,Algebraic Topology,McGraw-Hill,New York,1966.