數(shù)學(xué),常常在局部與整體之間搭建奇妙的橋梁。微分幾何研究的是空間局部彎曲的性質(zhì)(比如曲率),而拓?fù)鋵W(xué)則關(guān)心空間整體的、不隨連續(xù)變形改變的性質(zhì)(比如“有多少個(gè)洞”)。將這兩者聯(lián)系起來的偉大定理,其中最著名的一個(gè)無疑是高斯-博內(nèi)定理。而將這個(gè)定理從二維推廣到任意偶數(shù)維度,并在此過程中催生出影響深遠(yuǎn)的數(shù)學(xué)概念——陳類和陳數(shù),正是我們敬愛的數(shù)學(xué)大師陳省身先生。

打開網(wǎng)易新聞 查看精彩圖片

二維的優(yōu)雅:經(jīng)典高斯-博內(nèi)定理

想象一下你在一個(gè)曲面上行走,比如一個(gè)球面上。無論走到哪里,這個(gè)曲面總是彎曲的,而且是“正向”彎曲的。數(shù)學(xué)上,我們用“高斯曲率”來衡量這種局部的彎曲程度。將球面上所有點(diǎn)的高斯曲率積分起來,你會(huì)得到一個(gè)固定的值,這個(gè)值只取決于球面的“形狀”——無論球是大是小,是光滑還是有點(diǎn)凹凸,只要它還是個(gè)球(在拓?fù)?/a>上等價(jià)于一個(gè)球面),這個(gè)積分值永遠(yuǎn)是4π。

再想象一個(gè)甜甜圈表面(一個(gè)環(huán)面)。這個(gè)表面有些地方是正曲率,有些地方是負(fù)曲率,有些地方是零曲率。如果你把環(huán)面上所有點(diǎn)的高斯曲率積分起來,你會(huì)發(fā)現(xiàn)結(jié)果總是 0。

這個(gè)積分結(jié)果,4π 或 0,似乎與曲面的局部彎曲方式無關(guān),而只與曲面的整體形態(tài)有關(guān)。沒錯(cuò),這就是二維的高斯-博內(nèi)定理所揭示的:對(duì)于一個(gè)閉合的曲面,其高斯曲率在整個(gè)曲面上的積分等于 2π 乘以一個(gè)稱為“歐拉示性數(shù)”的拓?fù)洳蛔兞?。歐拉示性數(shù)是曲面拓?fù)浣Y(jié)構(gòu)的固有屬性,比如球面的歐拉示性數(shù)是 2,環(huán)面是 0。定理用一個(gè)局部的幾何量(曲率積分)給出了一個(gè)整體的拓?fù)淞浚W拉示性數(shù))。

用數(shù)學(xué)公式來說,對(duì)于一個(gè)閉合的二維黎曼流形 M,有: ∫KdA=2πχ(M) 其中 K 是高斯曲率,dA 是面積元,χ(M) 是流形 M 的歐拉示性數(shù)。

高維的挑戰(zhàn)與內(nèi)蘊(yùn)的追求

經(jīng)典的高斯-博內(nèi)定理是如此簡(jiǎn)潔而深刻,數(shù)學(xué)家們自然希望能將其推廣到更高維度的空間,也就是高維流形上。這個(gè)方向的研究在陳省身之前已經(jīng)有一些進(jìn)展,比如Allendoerfer和Weil的工作。但他們的證明通常是“外蘊(yùn)”的,也就是說,證明過程依賴于將高維流形看作是嵌入在更高維歐幾里得空間中的一個(gè)“子集”,利用外部空間的性質(zhì)來分析流形。

陳省身先生認(rèn)識(shí)到,一個(gè)更深刻、更本質(zhì)的證明應(yīng)該只依賴于流形本身的內(nèi)在幾何結(jié)構(gòu),即其黎曼度量所賦予的性質(zhì)。這就是所謂的“內(nèi)蘊(yùn)證明”。他認(rèn)為,如果一個(gè)定理是關(guān)于流形本身的性質(zhì),它的證明就不應(yīng)該依賴于流形是如何被“擺放”在外部空間中的。

陳省身的突破:內(nèi)蘊(yùn)證明與新概念的誕生

上世紀(jì)40年代初,陳省身在美國普林斯頓高等研究院工作期間,接受了著名數(shù)學(xué)家Weyl的建議,開始尋找高維高斯-博內(nèi)公式的內(nèi)蘊(yùn)證明。他在1944年發(fā)表的論文《閉黎曼流形高斯-博內(nèi)公式的一個(gè)簡(jiǎn)單的內(nèi)蘊(yùn)證明》中, 出色地解決了這個(gè)問題。

陳省身的證明不僅是一個(gè)技術(shù)上的杰作,更重要的是,它在證明過程中引入了全新的數(shù)學(xué)工具和思想。他巧妙地運(yùn)用了纖維叢(特別是標(biāo)架叢)和嘉當(dāng)?shù)耐馕⒎中问椒椒?,將高?博內(nèi)定理推廣到了任意偶數(shù)維的閉黎曼流形上。這個(gè)推廣后的定理通常被稱為陳-高斯-博內(nèi)定理。

更具里程碑意義的是,在探索這一高維推廣及其內(nèi)蘊(yùn)證明的過程中,陳省身發(fā)現(xiàn)需要更精細(xì)的工具來描述高維流形上某種“扭曲”或“彎曲”的整體性質(zhì),特別是對(duì)于帶有復(fù)結(jié)構(gòu)的流形或其上的復(fù)向量叢。這些工具不再僅僅是一個(gè)歐拉示性數(shù)所能概括的了。

這便引出了陳類(Chern classes)這一系列全新的拓?fù)洳蛔兞?。陳類是一組與復(fù)向量叢相關(guān)的示性類,它們用外微分形式表示時(shí),可以由向量叢上的曲率形式構(gòu)造出來。陳類提供了比歐拉示性數(shù)更豐富的拓?fù)湫畔?,能夠區(qū)分那些具有相同歐拉示性數(shù)但拓?fù)浣Y(jié)構(gòu)不同的復(fù)流形或復(fù)向量叢。

進(jìn)一步地,通過在閉流形上積分這些陳類的特定組合,陳省身定義了陳數(shù)(Chern numbers)。陳數(shù)是一組數(shù)值不變量,它們是流形的拓?fù)洳蛔兞?,?dú)立于流形上的具體黎曼度量或復(fù)結(jié)構(gòu)的選擇(在允許的范圍內(nèi))。

意義與影響

陳省身對(duì)高斯-博內(nèi)定理的內(nèi)蘊(yùn)推廣以及陳類和陳數(shù)的引入,是20世紀(jì)微分幾何和拓?fù)鋵W(xué)的重大突破。

  1. 連接幾何與拓?fù)洌核墓ぷ饕郧八从械纳疃冉沂玖藥缀危ㄇ剩┡c拓?fù)洌ㄊ拘灶悾┲g的內(nèi)在聯(lián)系,為整體微分幾何奠定了基石。
  2. 開創(chuàng)全新領(lǐng)域:陳類成為研究復(fù)流形、復(fù)向量叢及其相關(guān)結(jié)構(gòu)的強(qiáng)大工具,深刻影響了代數(shù)幾何、復(fù)幾何等領(lǐng)域。
  3. 深刻影響物理學(xué): 陳類和相關(guān)的示性類在理論物理中,特別是規(guī)范場(chǎng)論、弦理論等領(lǐng)域扮演著核心角色,它們與物理中的反常(anomaly)等概念緊密相關(guān)。陳-西蒙斯理論(Chern-Simons theory)便是直接基于陳類構(gòu)造的。

陳省身先生的這項(xiàng)工作,不僅僅是解決了一個(gè)數(shù)學(xué)難題,更是開辟了一個(gè)全新的數(shù)學(xué)疆域。陳類和陳數(shù)作為他留給數(shù)學(xué)世界的寶貴遺產(chǎn),至今仍在源源不斷地產(chǎn)生新的研究和應(yīng)用,繼續(xù)連接著曲率的奧秘與宇宙的形狀。