[轉錄][歷史]代數幾何簡史

看板Math作者Linderman (要學會精確和正確的描述)時間18年前 (2006/07/21 01:16)推噓13(13推 0噓 2→)

留言15則, 7人參與討論串1/1

以下文字轉錄自北京大學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

推

Sarnux

07/21 01:40, , 1^F

07/21 01:40, 1^F

推

hips

07/21 01:59, , 2^F

07/21 01:59, 2^F

推

Linderman

07/21 02:05, , 3^F

07/21 02:05, 3^F