※ [本文轉錄自 Math 看板]

作者: Linderman (要學會精確和正確的描述) 看板: Math
標題: [轉錄][歷史]代數幾何簡史
時間: Fri Jul 21 01:22:05 2006


以下文字轉錄自北京大學bbs
-----------------------------------------------------------------------------

Riemann是對現代數學影響最大的數學家之一（之一甚至可以去掉），其中就包括對

代數幾何的深刻影響，Dieudonne 甚至稱Riemann這個時期的函數論研究是整個代數幾

何歷史中最重要的一步，Riemann是通過研究Abel函數論涉足代數幾何的。他在研究複變

函數時，提出了Riemann Surface的概念 ，把Abel函數論和Riemann Surface的工作綜合

起來，Riemann把代數曲線作為Riemann Surface上的函數論來研究，並且引進第一個

birational maps 的不變量──Genus，只有在代數幾何裡才有 birational equivalence，

這就使得代數幾何比微分幾何或者拓撲更加的rigid,從而開辟了代數幾何的新篇章。

　　通過genus，Riemann有提出了Moduli的概念，現在這個東西可是大熱門，並且和他

的學生Roch得出了代數幾何學中的一條中心定理──Riemann-Roch定理，此定理是說：

設X為虧格g的曲線，D為X上的除子則有：L（D）─L（D─K）=degD+1─g，K是一典則除子，

以後對此定理的每一次推廣都是代數幾何中的一大進步，非常深刻的Atiyah-Singer指標

定理是推廣Riemann-Roch定理的顛峰，Atiyah-Singer指標定理橫跨代數幾何，拓撲，分

析，偏微分方程，多複變等好幾個核心數學領域，並且在物理學中Yang-Mills場論中得到

了重要的應用，但是，指標定理的根基還是在代數幾何裡面。

1866年，Riemann因病去世，此時他才40歲，以Riemann的成績來觀之，足可見

Riemann是何等的偉大！斯人已逝，數學上一個輝煌的時代也隨之結束了。Riemann的成就被

後來各種流派所繼承，而作出比較重要的工作的是克勒布什（Clebsch），而他的學生

M.Noether（就是那個偉大的E。Noether的父親）則用代數幾何的觀點來看待Riemann

Surface，幾何化的思想和強烈，而幾乎同時，Dedkind和Weber開辟了以理想為

基礎代數方向，Kronecker則開辟了以除子為基礎的算術方向。這三個方向最後在

Grothendieck那裡會聚在一起，構成一個大一統的氣勢恢弘的抽象代數幾何體系。

從19世紀80年代末起，意大利的代數幾何學派繼承了M。Noether的幾何思想，開始了

代數曲面的研究，學派的主要代表人物是Castelnuovo，Enriques和Severi，他們主要是

進行代數曲面的分類工作，與此同時法國數學家如Poincare和Picard卻在用超越的方法研

究代數曲面。承前可以看出，Riemann 以後的人都是在盡力繼承和推廣Riemann

的工作，可以說Riemann的主要思想是所有人的基礎，而Riemann關於曲面的最重要的思想都

與複分析有關，所以，古典代數幾何的一個大框架還是三維復射影空間CPn中的代數曲線和

曲面。

隨著數學的發展，人們對高維空間的需要越來越明顯，所以，代數幾何中對高維代數

簇的研究已不可避免，而且意大利幾何學派的代數幾何不夠嚴密，急需牢靠的理論基礎來

支撐其隻管的思想，意大利幾何學派在分類代數曲面上已經走到了盡頭，而在同時期，數

學的另外一個分之，代數數論卻湧現出了許多新的思想，出現迅猛發展的勢態。（經典）

代數數論是研究代數數域和它的代數整數環的代數和算術性質的，而高維代數簇是基本域

K上代數方程組的解，比如一維代數簇就是K上的代數曲線，考慮代數簇上的整數點，這就

成了數論問題，又根據德國F。Klein的Erlanger綱領，幾何學是研究某些數學對象在某

個群作用不變量的理論，如果要尋找代數幾何中的作用群的話，那麼就代數簇之間的雙有

理變化群，所以，代數幾何學的抽象化已經成了它繼續向前發展的巨大動力和迫切需要。

對其抽象化的工具也正在夜以繼日的被鍛造，抽象代數學之母E。Noether及其學派發

展了一整套強大的抽象工具，E。Noether的學生Van Der Waerden首先把抽象代數學引

進代數幾何裡，接下來的一位重要人物是Zariski，他先是從師於意大利代數幾何學派的

Castelnuovo，但是對此學派工作的不嚴密性耿耿於懷，從而促使他立意改造古典的代數

幾何，先是在Lefchetz的影響下用拓撲工具處理代數幾何問題，但成效不大，後來了解到

E。Noether及其學派的工作，大為振奮，遂集中精力運用代數方法重新改寫古典的代數幾

何，《代數曲面》一書的完成標志著代數幾何的抽象化真正開始了，也標志著代數幾何研

究進入了Zariski時代，從這時起，代數幾何裡開始人才輩出，並且法國的Bourbaki學派

在以後代數幾何學發展的光輝歲月裡扮演了一個主要角色，Bourbaki學派的主要代表人物

之一Weil用更加抽象的觀點寫了一部《代數幾何基礎》，Weil的本意是想用有限域上的代

數幾何學來解決代數數論的問題，卻不料搞出了個Weil猜想

（不是Deligne証明的那個Weil conjecture），

為了証明這個猜想就特意寫了這部抽象的書，從此，代數幾何又進入了Bourbaki時代。

後來Serre評價那部書時說：這本三百頁的巨著很難懂，而在20年後又被Grothendieck的

更加難懂的《代數幾何原理》所代替“這個《代數幾何原理》就是江湖上傳說的EGA。

Weil在書中充分使用了E。Noether及其學派發展的交換代數理論和語言，

提出了代數幾何裡的一些重要概念，是代數幾何學發展中的一個裡程碑。所幸的是，書寫

出來後，先前那個猜想也被Weil証明了，這個事件意義重大預示了以後的Bourbaki精神為

了抽象而抽象，而是有著具體的問題背景的，以此為出發點的抽象才是有意義的抽象，才

有成效性，才能用來解決更加困難的問題。

代數幾何沿著Weil的道路進行著它的抽象化征程，其間，Kodaira用調和積分理論將

Riemann-Roch定理由曲線推廣到曲面，德國數學家Hirzebruch不久又用sheaf的語言和拓

撲成果把它推廣到高維復流形上，J-P.Serre在sheaf的基礎上定義了一般的代數簇，使得

代數簇成為具有Zariski拓撲的拓撲空間，從而在代數幾何裡引入了日後起重要作用的上

同調理論，不過，Serre在代數幾何裡最重要的貢獻，我覺得是吸引Grothendick到代數幾

何裡來。

自從Grothendick介入代數幾何後，代數幾何的面貌完全改觀，盡管在代數幾何裡王

者輩出，但是，大家心目中的教皇只有一個，那就是偉大的Grothendick。Grothendick是

法國數學家，Bourbaki成員，1928年生於德國柏林，由於第二次世界大戰，致使他沒有受

到正規的大學階段的數學訓練。1953年以前主要致力於泛函分析，創造了核空間，拓撲張

量積等概念，這些概念現在在泛函分析裡十分基本和重要，一系列深刻的泛函分析工作就

足以使他躋身於數學界的巨人行列，但是，他的影響更為深遠的工作是後來在代數幾何上

劃時代的貢獻，代數幾何學經過Van Der Waerden，Zariski，Weil和Serre等人的推廣

，代數簇已經完全抽象化了，但是，代數簇最徹底的推廣則是Grothendick在20世紀50年

代末做出的，這就是他的抽象概型理論和強有力的上同調理論。

仿射概型（Affine Schemes）是一個局部戴環空間（X，Ox），而且它同構於（作為

局部戴環空間）某個環的譜。概型是局部戴環空間，在它中每點有一個開鄰域U使得拓撲

空間U和限制層Ox|U是一個Affine Schemes，X叫做概型（X，Ox）的承載拓撲空間，Ox叫

做它的結構層。例如，若K是域，Spec K則是一個Affine Schemes，它的拓撲空間由一點

組成，它的結構層由域K組成。Grothendick為了給它的這座大廈打下堅實的基礎，和他的

老師Dieudonne合作寫了一部四卷本的巨著，總共有7本書，這就是前面Serre提到過的”

更加難懂的《代數幾何原理》“，(《Elements de Geometrie Algebrique》簡稱EGA

，道上的朋友隻要聽到EGA，就知道你要說什麼了)，這是世界上概型和上同調最權威的參

考文獻，Dieudonne評價說：

”Clearly, the theory of schemes includes,by definition, all of

commutative algebra as well as all of the theory of the varieties of Serre。“


Scheme把代數幾何和代數數域的算術統一到一個共同的語言之下，使得在代數數論的

研究中可以應用代數幾何中的大量概念和思想以及技巧。開始的時候，人們對Grothendick

這套龐大的抽象體系究竟有什麼用感到非常的茫然，但是，在Deligne使用Grothendick的

理論証明了高維Weil猜想後（這是Weil的另外一個猜想，是有限域上高維代數簇的Riemann

猜想的模擬），情形就發生了劇烈的變化，到了70年代末，這套概型語言和上同調機制已

經被許多同行所熟悉和掌握，並已成為研究現代代數幾何學與數論（主要是指算術幾何）

的通用語言和基本工具。1983年Faltings証明Mordell猜想也使用了這套機制，由此可見

Grothendick所建立的這套概型理論是多麼的重要。1973年Deligne証明的高維Weil猜想是

特征P（有限域上）的算術幾何的巨大進步，10年後Faltings所証明的Modell猜想則是特

征0（整體域上）的算術幾何的巨大突破，這裡又一次說明了能解決具體問題的抽象才是

好的抽象，才是有意義的，為抽象而抽象的工作最終將被人們遺棄。Grothendick的另一

個目標是致力於發展各種上同調理論，如L─adic上同調和etale上同調，以致最後他走向

了”終極上同調不變量“，即動機理論（motive theory），使得所有其他的上同調理論

都是它的一種表示或者化身（即它的具體化）， 這個理論隨著1970年

Grothendick的”金盆洗手“，也成了一個美麗的Grothendick之夢。

不過，已經由它產生了大量好的數學，如1970年Deligne和R.Langlands猜想motives

和自守表示之間的精確關系，A.Wiles的FLT的証明，本質上就是証明了這個猜想在橢圓曲

線所產生的2維motievs的特殊情況，這個猜想使得motives和現在著名的Langlands綱領聯

系起來了，而且2002年菲獎得主Voevodsky的工作也與motives有關，Grothendick的夢想

或許有一天又會成為一個偉大的理論。

Grothendick在代數幾何學方面的貢獻大致可分為10個部分：

1連續與離散的對偶性；

2，Riemann-Roch-Grothendick理論（主要是K理論與相交理論的關系）；

3，Scheme theory；

4，拓撲斯（Topis theory）；

5，L─adic上同調和etale上同調；

6，motives與motives的Galois Group（包括Grothendick的圈范疇），

7，晶體與晶狀上同調，de Rahm系數，Hodge系數理論；

8 新的同倫代數，Topis的上同調；

9，穩和拓撲；

10，非交換的代數幾何學，加羅瓦─泰什繆勒理論。

這些思想被總結在EGA，SGA和FGA以及其他大量的手稿中，EGA和SGA現在已經成為代數幾

何中的聖經了，EGA，SGA和FGA加起來大約有一萬餘頁。Grothendick的博大精深的理論還

遠遠沒有弄清楚，但是卻已經產生了非常深刻的數學成果。

代數幾何學與其他許多學科都有著密切的聯系，如拓撲學，微分幾何，複幾何，分析

，代數，數論等，並且在現代理論物理中也有重要的應用，被Atiyah稱為21世紀的三大數

學理論的算術幾何更是與代數幾何息息相關，抽象代數幾何學必將在21世紀得到更進一步

的發展，繼續成為21世紀的主流數學領域。我國研究代數幾何的人比較少，水平也比較低

。代數幾何學的震撼人心的魅力將會吸引一批有天才的人，去投身21世紀的數學輝煌時代

的締造工作！



--

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.141.124.159

--

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.141.124.159