|
陳省身所做的第一項基本重要性的工作就是給出了高斯-博內公式的內蘊證明。這個公式的簡約歷史可以敘述如下:
高斯在其開創性論文《關於曲面的一般研究》(Disquistiones Circa Superficies Curvas,1827)中,首先求出了關於測地三角形的公式:他考慮的是中的曲面,並且用了高斯映射。
博內(O. Bonnet)在1848年的一篇論文(Mémoire sur la théorie générale des surfaces, J. De l』Ecole Poly. Tome 19, Cahier 32 (1848) 1-146.)中,把高斯的公式推廣到以一條任意曲線為邊界的單連通區域。
戴克(W. Dyck)在1888年(Beiträgezur analysis situs, Math Annalen32(1888) 457-512.),把高斯-博內公式推廣到任意虧格的曲面。
1925年,霍普夫把公式推廣到 中的余維數為 1 的超曲面。1940年,艾倫多弗(C.B. Allendoerfer)和費恩雪爾(W. Fenchel)研究了可以嵌入到歐氏空間中的可定向閉黎曼流形。1943年,艾倫多弗和韋伊把公式推廣到閉黎曼多面體,也即一般的閉黎曼流形。但證明仍然要用到流形到歐氏空間的等距嵌入。
韋伊把他們的工作和陳省身的工作做了比較:基於外爾和其他一些人的工作,我們的依賴於「管子」的證明雖然的確要用到(當時還不明了)球叢的構造,也就是一個給定浸入的橫截叢,但不是內蘊的。陳的證明第一次清楚地引入了內蘊叢,也就是單位長度的切向量叢上的運算,讓整個領域的面貌煥然一新。
一個世紀前,高斯建立了內蘊幾何的概念。陳的關於高斯-博內定理的證明開創了全新的領域。整體拓撲通過纖維叢以及切球叢上的超渡,與內蘊幾何建立了聯繫。我們看到了整體內蘊幾何揭開了嶄新的一頁。
以下我們來看,陳省身的證明甚至在二維情形都是全新的。
利用活動標架,曲面的結構方程可以寫為
這裡 ω12 是聯絡形式,K是高斯曲率。如果單位向量 e1 由一個整體定義的向量場V 按如下給出:
其中在 V≠ 0 處有定義。應用斯托克斯公式可以得到
其中B(xi) 是一個以 xi 為圓心的小圓盤,並且 可以用向量場 V 在 xi 處的指標來計算。根據霍普夫的一個定理,向量場的指標之和等於空間的歐拉數。這樣曲面上曲率的積分就給出了歐拉數。
在高維的情況下,陳省身的證明中用到的是單位切球叢。曲率形式 Ωij 是反對稱的,其 Pfaffian 形式是
相應的高斯-博內公式是
為了證明高斯-博內公式,必須找到單位球叢上的形式 Ⅱ,使得 Ⅱ 是 Pf 的提升。雖說陳省身的證明受到霍普夫向量場定理的啟發,但充分反映了陳省身過人的洞察力與精湛的運算技巧。霍普夫曾說過,陳的證明把微分幾何學帶入了一個嶄新的時代。特別是誕生了「超渡」的概念。這是現代數學史上最了不起的工作之一。
陳類
陳省身說:「我最早接觸示性類,是由於高斯-博內公式,這是每個學過曲面論的人熟知的公式。早在1943年,當我給出維高斯-博內公式的內蘊證明以後,我認識到,應用曲面論中的正交標架,那麼經典的高斯-博內公式不過是高斯絕妙定理的一個整體性的結果。這個證明的代數方面是後來被稱為『超渡』的構造的第一個實例,超渡註定了會在纖維叢同調論和其他一些問題中扮演基本重要的角色。」
嘉當關於標架叢的工作,德·拉姆定理,它們始終隱藏在陳省身思想的背後。纖維叢是現代數學的核心概念,它把許多重要的數學和物理對象統一起來。以下我簡單描述一下纖維叢的歷史。
斯蒂弗爾(1936)和惠特尼(1937)引入了斯蒂弗爾-惠特尼示性類,但它只在模 2 的情形下有定義。
費爾德保(J. Feldbau)(1939)、艾瑞斯曼(C. Ehresmann)(1941,1942,1943)、陳省身(1944,1945)和斯廷羅德(N. Steenrod)(1944)系統研究了纖維叢的拓撲。
龐特里亞金(1942)引入了龐特里亞金示性類。他還在1944年把黎曼流形的曲率與拓撲不變數建立聯繫(發表在 Doklady 雜誌上)。這依賴於流形的嵌入,他開始並沒有意識到這些不變數就是龐特里亞金類。
在高斯-博內公式的證明中,我們可以找到k個一般位置的向量場 s1, …, sk。它們線性無關的點構成了一個與 si 的選取無關的(k-1)維閉鏈。這是斯蒂弗爾的工作(1936)。惠特尼(1937)考慮了更一般的球叢的截面,從阻礙理論的角度對它們加以理解。
惠特尼注意到 中 q平面組成的格拉斯曼流形 G( q, N) 上的萬有叢的重要性。他在1937年證明,流形上的任意秩為 q 的叢都可以由 G( q, N) 上的萬有叢經過映射f: M → G( q, N)來誘導。
當N 很大時,龐特里亞金(1942)和斯廷羅德(1944)注意到映射只相差一個同倫。叢的示性類按如下給出:
上同調H*(Gr(q, N)) 由艾瑞斯曼(1936)做了研究,它們可以由舒伯特胞腔生成。
陳省身當時大概想證明龐氏的曲率不變數就是龐氏類,但在實的情形下,舒伯特的胞腔比較複雜。
陳省身說:「也許略帶幸運,我在1944年注意到了一個平凡的事實,復向量叢的情形要比實的情形簡單許多。因為大多數經典的復空間,如經典的復的格拉斯曼流形,復的斯蒂弗爾流形等都是無扭的。」
對復向量叢 E,陳省身因此引進了陳類 。陳省身用三種不同的方法加以定義:阻礙理論、舒伯特胞腔以及叢上聯絡的曲率形式。他證明了這些方法的等價性。陳氏類成為近代數學最重要的不變數。
陳省身的基本論文(1946)
在文章《埃爾米特流形上的示性類》(Characteristicclasses of Hermitian manifolds)中,陳為複流形的埃爾米特幾何奠定了基礎。比如,他引入了埃爾米特聯絡的概念。如果 Ω 是向量叢的曲率形式,我們定義
。
用微分形式定義陳類,對幾何學與現代物理都有極為重要的意義。一個例子就是陳省身創造的超渡的概念。
超渡(Transgression) 令φ是在與向量叢相配的標價叢上定義的聯絡形式,那麼曲率形式為
所以
類似的
其中 CS(φ) 稱為陳-西蒙斯形式,在三維流形、反常消除問題、弦理論、固態物理中起著基本重要的作用。
在微分形式的層次上做超渡引出了同調群上的二級運算。比如,梅西乘積,這出現在陳國才關於迭代積分的工作中。
當流形是復的,我們記
。
在一篇重要的文章中,博特(R. Bott)-陳(1965)發現,存在一個典則構造的(i-1,i-1)形式 , 使得 。
陳省身應用這個定理推廣了高維複流形間全純映照值分佈的奈旺林納(R.H. Nevanlinna)理論。
微分形式 後來在阿萊克勒夫(S.J. Arakelov)理論中起了基本的作用。
唐納森(S.K. Donaldson)用的情形證明了關於代數曲面上埃爾米特-楊-米爾斯聯絡存在性的唐納森-烏倫貝克(K. Uhlenbeck)-丘定理。
當i= 1 時,
,
其中 是埃爾米特度量,等式右邊是度量的里奇張量。第一陳類是如此簡潔,這促使卡拉比(E. Calabi)提出了他的著名猜想。
陳類的曲率表示意味著陳數可以通過曲率的積分得到。這使得Hirzebruch可以用局部對稱空間來推導比例性原理,即覆蓋空間與底空間的陳數之比正比於與體積之比。類似的,這也啟發我用凱勒-愛因斯坦度量給出了米姚卡-丘不等式的證明。所有這些定理都是以陳類的曲率表示為前提的。
正如陳省身所說的那樣,複數域上幾何的簡潔與美妙無論如何也不會被誇大。
陳省身(戰後回國)
陳省身在普林斯頓完成了兩項傑出的工作后,於1946年4月回到中國。國民政府聘請他到中央研究院數學研究所,協助他以前在南開的老師姜立夫。姜立夫擔任所長,但主要由陳省身負責數學研究所的日常事務。陳省身講授當時拓撲學研究的前沿課題。有許多學生和博士后參加他的討論班,包括陳國才、王憲忠、吳文俊、楊忠道、,嚴志達等。許多人後來成為中國數學的領軍人物。
陳省身(芝加哥的歲月)
1948年12月31日,在維布倫和外爾的邀請下,陳省身離開上海,前往普林斯頓高等研究院,並在那裡停留了一個冬天。我的印度朋友告訴我,塔塔研究所曾想聘請陳省身,但是沒有成功。陳到普林斯頓后,芝加哥大學的斯通(M. Stone)教授向陳省身提供了一個教授職位。陳的朋友韋伊在其中起了重要的作用。他很快在芝加哥安頓下來,並與韋伊一起開設討論班,參加者中有辛格(Singer)、斯特博格(Sternberg)、卡迪森(Kadison)。陳對美國幾何學影響深遠。辛格一直尊稱陳是他的老師。在這段時期,他培養了幾個傑出的學生,如廖山濤、沃爾夫(J. Wolf)和野水(Nomizu)。
在1946年發表了關於陳類的重要文章后,陳省身詳細研究了示性類的乘積結構。
1951年,他與斯帕尼爾(E. Spanier)合作了一篇關於纖維叢上吉森(W. Gysin)序列的文章。他們獨立於托姆(R. Thom)證明了托姆同構。
分裂原理
陳省身在1953年的文章《關於復球叢和代數簇的示性類》(On the characteristic classes of complex spherebundle and algebraic varieties)中,通過考慮以旗流形作為纖維的相配叢,證明了示性類可以用線叢來定義。作為一個推論,代數流形的示性類的對偶同調類包含一個代數閉鏈的表示。這篇文章提供了理論中的分裂原理,將其與托姆同構結合,就可以給出相配叢上陳類的定義,如同格羅登迪克(A. Grothendieck)後來所做的那樣。
霍奇曾經研究過用代數閉鏈表示同調類的問題。他考慮過上述陳省身的定理,但只能證明當流形是射影空間中非奇異超曲面的完全交時的情況。
陳省身的上述定理是最早的,而且是關於「霍奇猜想」的唯一已知的一般陳述。它還提供了全純K-理論和代數閉鏈之間的直接聯繫。
陳與拉蕭夫(R. Lashof)合作研究了歐氏空間超曲面緊貼嵌入(tight embedding)的概念。這項工作後來由柯伊伯(N. H. Kuiper)和班考夫(T. F. Banchoff)做了推廣和延拓。
伯克利的歲月和回歸祖國
1961年,陳省身前往伯克利,直到1979年退休。他退休后還繼續留在數學系任教三年。陳省身和 Smale 來到伯克利的時候,正是伯克利大學數學系崛起成為世界數學中心的時期,在 Evens、Tarski、 Morrey、Kelly 等人的努力下,伯克利聘請了許多著名數學家。此後,陳省身聘請了許多傑出的幾何拓撲學家,使得伯克利迅速成為幾何與拓撲學的中心。
陳省身在伯克利期間培養了許多傑出的學生,包括 Garland、Do Carmo、Shiffman、Weinstein、Banchoff、Millson、鄭紹遠、李偉光、Webster、Donnelly 和 Wolfson 等。陳的學生們也受益於陳的朋友和他早期的學生。比如,Garland 得到王憲宗的指導,Millson 得到西蒙斯的指導。陳的個人魅力深刻影響著在伯克利 Campbell 大樓和 Evans 大樓工作的這些傑出幾何學家群體。伯克利的幾何討論班和研討會總是擠滿了學生、教員和訪問學者。眾所周知的是,每個伯克利的訪問學者都會被陳邀請到中餐館享用一頓難忘的晚宴,或者在他家中受到熱情款待。陳太太總是用中式美食歡迎每一個客人。伯克利的這段時光讓整整兩代幾何學家銘記。
在伯克利,陳省身與卡拉比和奧瑟曼(R. Osserman)合作研究極小曲面理論。他也嘗試推廣奈旺林納理論,從而發現了博特-陳形式與陳-萊維-尼倫伯格內蘊范數,這些工作在復幾何中發揮了意想不到的作用。他與西蒙斯的工作深刻影響了幾何學與物理,包括扭結理論。他與莫澤(Moser)關於復歐氏空間中實超曲面局部不變數的理論在多複變函數論中具有基本的重要性。陳與格里菲思推廣了陳早期在網幾何上的工作。網幾何是陳的老師布拉施克,以及Thomsen創立的,他們注意到平面上的三族曲線纖維化具有局部不變數。陳省身對網幾何鍾愛有加,這從他在1982年為美國數學會通報撰寫的文章就可以看出。
在20世紀80年代初期,陳省身與辛格(I.M. Singer)、莫爾(E.H. Moore)共同創建了伯克利數學研究所。他退休后返回中國,在南開大學創辦了陳省身數學研究所,對中國數學發展產生了深遠影響。
結束語
陳省身有著驚人的為重要幾何結構創造不變數的才能,在我所認識的數學家中,無人能出其右。他在射影微分幾何、仿射幾何與擬凸域的陳-莫澤不變數的工作展示了他的能力。他與萊維、尼倫伯格定義的複流形上同調的內蘊范數還有待發掘。在他去世前,他的一個主要工作設想就是把嘉當-凱勒系統推廣到更一般的幾何情形。
陳省身曾經說:「幾何中複數的重要性對我而言充滿神秘。它是如此優美簡潔而又渾然一體。」他總是對古代的中國數學家從未發現複數抱憾不已。令人欣慰的是,陳省身在復幾何上影響深遠的工作足以彌補過去兩千年中國數學的缺憾。
天文學家將一顆小行星命名為「陳省身星」。希望他的光輝能夠一直照耀未來的中國數學家。
|
|