微分幾何

歷史說明： 下文部分軼事及歸於歷史人物的話語用於敘事說明。其確切措辭與出處尚未經歷史一手文獻核實，不應視為已認證的引文。

1. 引言：物理背後的幾何

幾何也許是科學最古老的語言。自早期文明開始觀測天空、為農業測量土地之時起，幾何就一直是連接數字與世界的橋梁。然而，今天我們所說的微分幾何具有深刻得多的內涵：它是一套數學框架，不僅能夠描述彎曲曲面或抽象空間，還能描述時空本身的結構以及基本交互作用的動力學。

在繼承自古希臘的歐幾里得幾何中，空間被視為平直而永恆的。畫在羊皮紙上的三角形，或矗立在沙漠地平線上的石砌金字塔，都遵循簡單而不變的規則。三角形的內角和是 $18 0^{\circ}$ ；平行線永不相交。幾個世紀以來，這些公理似乎都是絕對的。然而，隨著探索的拓展和數學的成熟，這種確信出現了裂縫。能否設想一個三角形內角和不等於 $18 0^{\circ}$ 的空間？幾何本身能否彎曲、扭轉，並對力作出響應？

這些問題並非無謂的猜想。它們源於土地測量、天象研究，以及人們對歐幾里得幾何侷限的追問。十九世紀見證了非歐幾何的誕生，並由此實現了通向微分幾何的觀念飛躍。

1.1 曲率：認識自然的一扇窗口

被譽為「數學王子」的卡爾·弗里德里希·高斯提出了一個極其非凡的見解：曲率可以從內蘊的角度來理解。在他的絕妙定理中，他證明了曲面的曲率並不取決於它如何嵌入空間，而是曲面自身的內在性質。生活在彎曲曲面上的二維生物，即使從未見過「外部世界」，也能夠探測到曲率。

這是革命性的轉變。幾何不再只是研究外在嵌入，也不再只是從上方俯視曲面；它成為一門研究內在結構的科學。

為了將這一思想形式化，高斯定義了曲面上一點處的高斯曲率 $K$ 。若 $r (u, v)$ 是曲面的參數表示，則第一基本形式和第二基本形式分別給出距離與曲率的度量資訊。例如，對於半徑為 $R$ 的球面，可得

K = \frac{1}{R ^{2}} .

這個數值就能告訴我們空間本身如何彎曲，無須藉助更高維度。我們知道地球是圓的，並不一定要從外部「看見」它；它的測地線，也就是船舶和飛機沿循的大圓，能夠從內部揭示其曲率。

1.2 從曲面到流形

伯恩哈德·黎曼繼承了高斯的構想，並將其擴展為宏大而令人驚歎的框架。1854 年，在哥廷根為取得大學任教資格而作的演講中，黎曼提出，幾何可以超越曲面，推廣到任意維數的空間，只需為這些空間賦予測量距離的規則。他引入了今天所說的黎曼度量：

d s^{2} = i, j \sum g_{ij} (x) d x^{i} d x^{j} .

彎曲流形上的一塊區域映射至平面上的座標。座標描述這塊區域，但不要求其內在幾何為平坦。

這裡， $g_{ij} (x)$ 是度量張量，它編碼了流形上每一點附近的無窮小距離如何變化。黎曼思想的精妙之處在於：幾何不再侷限於嵌入 $R^{3}$ 的平面或彎曲曲面。任意維數的整個空間都可以完全從內部定義，曲率也由度量本身導出。

黎曼的演講不只是一場數學演講，更富有前瞻性。他暗示，物理空間本身或許並不平直，而是彎曲的，幾何將能夠揭示物理定律。這些思想沉寂了數十年，直到愛因斯坦的到來。

1.3 幾何作為物理的語言

二十世紀初，阿爾伯特·愛因斯坦以廣義相對論徹底改變了我們對重力的理解。他用一種新觀點取代了牛頓式的、不可見的超距作用力：物質和能量告訴時空如何彎曲，而彎曲的時空告訴物質如何運動。這一原理體現於愛因斯坦場方程：

G_{μν} + Λ g_{μν} = \frac{8 π G}{c ^{4}} T_{μν},

其中， $G_{μν}$ 是由時空曲率導出的愛因斯坦張量， $T_{μν}$ 是物質與場的能量動量張量， $G$ 是牛頓重力常數， $c$ 是光速， $Λ$ 是宇宙學常數。

這個方程不只是物理的表達，也是幾何的具體呈現。左側描述曲率，即時空本身如何彎曲；右側描述時空中的內容，即物質、能量和輻射。幾何與物理由此密不可分。

愛因斯坦曾坦言，要掌握黎曼幾何所依賴的張量分析，他需要數學家朋友馬塞爾·格羅斯曼的幫助。據相關軼事，他曾感嘆這些數學對自己太難，直到格羅斯曼引導他學習里奇與列維-奇維塔的張量分析。幾何與物理的結合由此得以實現。

1.4 微分幾何的廣泛影響

如今，微分幾何已遍及現代物理。描述基本交互作用的規範理論依賴於纖維叢和聯絡，這些幾何結構推廣了黎曼的思想。量子場論運用拓撲不變量和指標定理。弦論則設想，六維卡拉比—丘流形以看不見的方式蜷縮在我們周圍。

即使在物理之外，微分幾何也重塑了數學本身：拓撲學、整體分析和複幾何都受到其方法的深刻影響。曲面的曲率演變為宇宙的曲率，而黎曼的度量成為宇宙的語法。

1.5 哲學與詩意的思考

自然為何以幾何為語言？宇宙最深層的定律為何要用度量與曲率來書寫？抽象與現實在這裡產生了深刻的共鳴。

沿著地球表面局部最直的路徑行走，就是沿測地線前進，而我們未必察覺腳下所遵循的方程。仰望星空，就是見證光在時空中沿彎曲路徑傳播。研究亞原子粒子，就是面對場與聯絡——黎曼度量在現代物理中的後繼者。

微分幾何不僅是數學，也是宇宙的文學。它是宇宙無聲的詩歌， $g_{ij}$ 和 $R_{μν}$ 這樣的符號，便是一種比人類更古老的語言中的字母。

1.6 引言小結

本引言為後文奠定了基礎：微分幾何既有技術性，也有人文性；既抽象，也關乎物理。它生長於高斯在漢諾威田野中的勞作，黎曼孱弱身體中的深邃想像，以及愛因斯坦在蘇黎世與柏林的探索和突破。

接下來，我們將從這些起源深入展開：研究曲率的嚴格結構，認識傳遞思想火炬的人物，以及如今塑造現代科學的各種應用。幾何曾經只是形狀的研究，如今卻成為現實本身的骨架。

2. 早期起源：曲線與曲面

微分幾何的故事真正始於古老觀念與現代思想之間的張力。歐幾里得公理統治了兩千多年，十九世紀卻動搖了幾何的根基。卡爾·弗里德里希·高斯與伯恩哈德·黎曼這兩位人物，推動幾何從研究外在形狀轉向研究內蘊結構。他們的洞見既來自實際需求，也來自前瞻性的想像，為後來支撐廣義相對論與規範理論的幾何奠定了基礎。

2.1 高斯與絕妙定理

卡爾·弗里德里希·高斯（1777—1855）常被譽為「數學王子」。他革新了數論、天文學、大地測量學，以及至關重要的幾何學。在漢諾威從事土地測量時，高斯面對的是作為實在物體的地球。他測量地表上的大三角形，發現微小的偏差：內角和並不恰好等於 $18 0^{\circ}$ 。

球面、平面與馬鞍面分別示範正、零與負的高斯曲率。

這些實際觀察孕育了深刻的見解。在 1827 年的曲面的一般研究中，高斯引入了高斯曲率的概念，並證明了絕妙定理：曲面的曲率是一種內蘊性質。

對於以 $r (u, v)$ 參數化的曲面，第一基本形式定義為

I = E d u^{2} + 2 F d u d v + G d v^{2},

其中

E = ⟨ r_{u}, r_{u} ⟩, F = ⟨ r_{u}, r_{v} ⟩, G = ⟨ r_{v}, r_{v} ⟩ .

這一形式編碼了曲面上測量距離的方式。類似地，第二基本形式透過係數 $e, f, g$ 刻畫曲率。高斯證明，高斯曲率 $K$ 可寫成

K = \frac{e g - f ^{2}}{EG - F ^{2}} .

奇妙的是， $K$ 完全可以由 $E, F, G$ ，即內在幾何來計算，無須藉助曲面在 $R^{3}$ 中的嵌入。

例如，半徑為 $R$ 的球面，其曲率就是

K = \frac{1}{R ^{2}} .

這一洞見意味著，二維生物無須離開自己所在的曲面，就能探測到曲率。因此，地圖繪製者的工作不僅有實用價值，也能揭示關於空間本性的深刻事實。

2.2 軼事：測量員高斯

高斯並非沉溺於抽象世界的數學家。他主持過漢諾威的大規模大地測量，用鐵桿測量基線，對山峰作三角測量，並修正折射效應。一則故事講述他站在布羅肯山頂，手持望遠鏡，測量遠處山丘傳來的訊號。對他而言，曲率不只是理論，它就銘刻在地球本身之中。

關於絕妙定理的命名，有軼事稱，高斯認為在自己的眾多成果中，這一定理的非凡程度超出了預期。它的影響確實將深遠地延伸到物理學。

2.3 黎曼向高維的飛躍

伯恩哈德·黎曼（1826—1866）是高斯的學生，身體卻很虛弱，在學術界也幾乎被忽視。1854 年，他發表任教資格演講論作為幾何學基礎的假設。僅憑這一次演講，他便將高斯的曲面理論擴展到流形的廣闊領域。

黎曼提出，空間不一定平直，幾何應由度量張量來定義：

d s^{2} = i, j = 1 \sum n g_{ij} (x) d x^{i} d x^{j} .

這裡， $g_{ij} (x)$ 是光滑變化的對稱張量，規定了 $n$ 維流形上每一點處無窮小距離的測量方式。從這一度量可以導出曲率、測地線及相應的幾何結構。

這是一種激進的抽象。幾何不再受限於能夠直觀想像的曲面，而是成為內蘊關係的研究，擺脫了歐幾里得直覺中的外部空間。

2.4 黎曼幾何中的曲率

黎曼的思想催生了一整套數學工具。給定度量 $g_{ij}$ ，便可以定義克里斯托費爾符號，即聯絡係數：

Γ_{ij}^{k} = \frac{1}{2} g^{k l} (\partial_{i} g_{j l} + \partial_{j} g_{i l} - \partial_{l} g_{ij}) .

它們編碼了向量在輸運過程中如何變化。由此可構造黎曼曲率張量：

R^{l}_{ijk} = \partial_{j} Γ_{ik}^{l} - \partial_{i} Γ_{jk}^{l} + Γ_{jm}^{l} Γ_{ik}^{m} - Γ_{im}^{l} Γ_{jk}^{m} .

這個張量衡量作用於向量場的協變導數不對易的程度，刻畫了任意維數中曲率的本質。

這些定義或許顯得抽象，卻為行星繞恆星運動所沿循的測地線，以及黑洞周圍時空的扭曲提供了基礎。

2.5 軼事：富有遠見的黎曼

黎曼的一生深受體弱多病的困擾。他患有肺結核，39 歲便離開人世。然而，他的任教資格演講如此具有革命性，以至於連一向吝於讚美的高斯也深受震撼。

據同時代人的回憶，黎曼用輕柔而略顯遲疑的聲音，講述了宏大到鮮有人能夠領會的概念。他提出，空間本身或許是彎曲的，其幾何並非由公理決定，而是由物理規律決定。數十年後，愛因斯坦將抓住這些思想，建立廣義相對論。

2.6 從曲面到空間的轉變

透過高斯，幾何獲得了內蘊性；透過黎曼，它獲得了普遍性。將幾何視為固定背景的舊圖景，逐漸讓位於把幾何看作動態場的新圖景。研究的對象不再只是物體的形狀，而是空間本身的形狀。

這一轉變既是數學上的，也是哲學上的。歐幾里得帶來了確定性，高斯與黎曼則帶來了可能性。幾何不再只是外在支架，而成為自然的內在語言。

2.7 本章小結

因此，微分幾何的早期起源不僅存在於定義與定理中，也存在於這兩個人的生命歷程中。高斯帶著測量儀器站在山頂，把地球的曲率轉化為數學。黎曼雖身體孱弱，卻目光遠大，提出整個空間與物理世界都可以用度量和曲率的語言書寫。

這些開端為二十世紀的革命搭建了舞臺，愛因斯坦、嘉當等人將把幾何直接織入物理的結構之中。

3. 二十世紀的革命：幾何與物理相遇

二十世紀，幾何從一門抽象的數學學科轉變為物理的根基。這場革命的核心有兩位人物：阿爾伯特·愛因斯坦重新將重力理解為時空的曲率，埃利·嘉當則發展了外微分運算與聯絡的強大形式體系。他們共同塑造了新的世界觀，使微分幾何成為自然本身的語法。

3.1 愛因斯坦與廣義相對論的誕生

阿爾伯特·愛因斯坦（1879—1955）為人銘記，不僅因為他的天才，也因為他對簡潔與自洽的不懈追求。到 1905 年，他已用狹義相對論震動世界，摒棄以太，並將空間與時間統一在四維連續體之中。然而，狹義相對論尚未處理重力，重力仍由牛頓的超距作用力來描述。

1907 至 1915 年間，愛因斯坦努力將相對論推廣到重力。關鍵洞見來自等效原理：在局部，加速與重力的效應無法區分。這暗示，重力並非普通的力，而是彎曲時空的表現。

將這一思想形式化所需的數學，遠超愛因斯坦當時所受的訓練。他向老朋友馬塞爾·格羅斯曼求助；後者是一位精通里奇與列維-奇維塔張量分析的數學家。在格羅斯曼的幫助下，愛因斯坦發現，黎曼流形的幾何提供了關鍵。

1915 年，他提出了愛因斯坦場方程：

R_{μν} - \frac{1}{2} R g_{μν} + Λ g_{μν} = \frac{8 π G}{c ^{4}} T_{μν} .

這裡， $R_{μν}$ 是里奇曲率張量， $R$ 是純量曲率， $g_{μν}$ 是度量張量， $T_{μν}$ 是物質的能量動量張量。左側描述時空曲率，右側描述能量與動量的分佈。

這是令人震撼的統一：重力成為了幾何。

3.2 軼事：愛因斯坦與數學的較量

據相關記述，愛因斯坦曾坦言：他一生中從未被任何事情如此折磨過。他花了多年時間，在所謂的「數學叢林」中摸索。如果沒有格羅斯曼引導他掌握里奇的張量分析，愛因斯坦或許難以取得成功。

愛因斯坦與大衛·希爾伯特都在1915年11月研究重力場方程。愛因斯坦於11月25日報告了最終的一般協變方程。兩人的交流以及希爾伯特論文的修訂使優先權問題在歷史上頗為複雜，簡單聲稱愛因斯坦「比希爾伯特早幾天提出最終方程」會造成誤導。愛因斯坦在物理上構建這一理論的貢獻仍然居於核心（歷史分析）。

當愛因斯坦的方程解釋了牛頓重力無法解釋的水星軌道反常進動時，他感到自己的努力得到了印證。隨後，1919 年的愛丁頓日食考察觀測到星光在太陽附近發生偏折；這次觀測上的成功使愛因斯坦享譽全球。

3.3 嘉當與微分形式的語言

當愛因斯坦改寫重力理論時，另一位數學家埃利·嘉當（1869—1951）正在構建將同時豐富數學與物理的工具。嘉當發展了微分形式的運算體系，推廣了流形上積分與微分的概念。

若 $M$ 是流形， $ω$ 是微分 $k$ -形式，則外微分 $d ω$ 給出一個 $(k + 1)$ -形式，並滿足關鍵恆等式：

d^{2} = 0.

嘉當引入了聯絡以及相關的撓率概念。他的結構方程用緊湊的語言統一表達了曲率與撓率：

第一結構方程（撓率）：

T^{i} = d θ^{i} + ω^{i}_{j} \land θ^{j}

第二結構方程（曲率）：

Ω^{i}_{j} = d ω^{i}_{j} + ω^{i}_{k} \land ω^{k}_{j}

這裡， $θ^{i}$ 是基 1-形式， $ω^{i}_{j}$ 是聯絡 1-形式， $T^{i}$ 是撓率， $Ω^{i}_{j}$ 是曲率。

這一形式體系遠遠走在時代前面。後來，它在廣義相對論、規範理論和現代場論中成為不可或缺的工具。

3.4 軼事：嘉當安靜的才華

嘉當不像愛因斯坦那樣是名人。他在巴黎過著安靜的學術生活，常常被希爾伯特、克萊因等人的光芒遮掩。然而，他起初被忽視的方法，在數十年後成為了核心工具。

關於嘉當謙遜性格的軼事還提到：二十世紀中葉，物理學家重新發現他的技巧時，許多人驚訝地得知，他早在數十年前就已奠定了基礎。如今，嘉當的微分形式已成為物理教科書中的標準語言，儘管他的名字常常沒有出現。

3.5 幾何成為現代物理的結構

愛因斯坦和嘉當共同賦予幾何以生命。愛因斯坦表明，時空曲率就是重力本身；嘉當則提供了微分形式和聯絡的工具，後來這些工具被重新理解為規範理論的數學基礎。

由此發生了一場範式轉變：物理不再只是存在於空間之中，它還涉及空間本身，更準確地說，是時空本身。幾何不再只是物理過程展開的舞臺，它也成為參與其中的演員。

這一認識為粒子物理標準模型、弦論以及現代宇宙學奠定了基礎。

3.6 本章小結

二十世紀徹底改變了幾何。藉助愛因斯坦，曲率成為行星、恆星與星系的故事；藉助嘉當，微分形式和聯絡的語言成為量子場與基本交互作用的支架。

他們共同推動幾何從研究抽象形狀轉向研究宇宙本身。他們開闢的道路將直接通向下一階段：規範理論、楊—米爾斯場，以及各種交互作用的幾何化。

4. 現代發展：從規範理論到弦論

二十世紀中葉，微分幾何從純數學的領域走進粒子物理與宇宙學的核心。愛因斯坦以幾何解釋一切交互作用的夢想，似乎觸手可及，卻以全新而出人意料的方式展開。規範理論、纖維叢以及弦論的興起，將幾何帶入了量子世界。

4.1 楊—米爾斯理論與交互作用的幾何化

1954 年，楊振寧與羅伯特·米爾斯提出了一種新的場論，用來描述電磁交互作用之外的交互作用。他們的思想是：物理定律應在局域規範變換下保持不變。

在電磁理論中，規範對稱性是 $U (1)$ ：波函數 $ψ (x)$ 可以乘以相位因子 $e^{i α (x)}$ ，只要引入規範場 $A_{μ}$ ，理論就能保持自洽。在幾何上，這等價於在纖維為 $U (1)$ 的纖維叢上引入聯絡。

楊振寧和米爾斯將這一思想推廣到 $S U (2)$ 等非阿貝爾群。規範場成為聯絡 $A_{μ} = A_{μ}^{a} T^{a}$ ，其曲率，也就是場強，為

F_{μν} = \partial_{μ} A_{ν} - \partial_{ν} A_{μ} + [A_{μ}, A_{ν}] .

這正是主纖維叢上聯絡的曲率。幾何再次成為物理。

起初，楊—米爾斯理論似乎在數學上優雅，卻在物理上沒有用處。然而，到了二十世紀七十年代，它成為粒子物理標準模型的基礎，其中 $S U (3)$ 描述強交互作用， $S U (2) \times U (1)$ 描述電弱交互作用。

4.2 軼事：楊—米爾斯理論的接受過程

起初，一些物理學家認為楊—米爾斯理論過於漂亮，以至於不像真實的物理。非阿貝爾規範場似乎會導致無質量玻色子，與當時已知的粒子不符。直到後來，隨著希格斯機制與重整化的發展，這一理論才找到了自己的位置。

楊振寧回憶，他和米爾斯當時在相對孤立的環境中工作，並未意識到自己正在為物理學的整個新時代播下種子。1957 年，他因早先與李政道關於宇稱不守恆的工作獲得諾貝爾獎時，楊—米爾斯理論的全部影響尚未被理解。

4.3 纖維叢與聯絡：嘉當思想的實現

在數學上，規範理論用主纖維叢來描述。如果時空是底流形 $M$ ，李群 $G$ 表示規範對稱性，那麼纖維叢 $P (M, G)$ 就編碼了規範自由度。

這個叢上的聯絡正對應於規範勢 $A$ ，其曲率就是場強 $F$ 。嘉當結構方程以現代形式再次出現：

嘉當撓率（針對切叢聯絡與餘標架；無撓意味著令這一表達式為零）：

T = d θ + ω \land θ

曲率（場強）：

F = d A + A \land A

這一幾何視角使物理學家能夠將基本交互作用理解為曲率的表現，與愛因斯坦的重力理論形成直接類比。

4.4 唐納森、烏倫貝克與規範幾何的力量

二十世紀八十年代，幾何與規範理論以出人意料的方式相遇。西蒙·唐納森利用楊—米爾斯理論，徹底改變了四維流形的研究。他的工作表明，四維空間中的光滑結構遠比數學家先前預想的奇異，而規範場能夠幫助區分和研究這些結構。

與此同時，凱倫·烏倫貝克在規範理論所產生的非線性偏微分方程方面取得了奠基性成果，成為幾何分析的先驅之一。她對楊—米爾斯場緊緻性與冒泡現象的洞見，揭示了幾何與分析之間微妙的聯繫。

這些進展表明，受物理啟發的數學能夠反過來重塑純幾何本身。

4.5 弦論與卡拉比—丘流形

如果說規範理論把幾何與交互作用聯繫起來，那麼弦論則更大膽地將幾何與物質本身的存在聯繫起來。在弦論中，基本粒子不是點，而是振動的弦。理論的自洽性要求額外維度，在這裡討論的緊緻化方案中，這些維度捲曲成稱為卡拉比—丘流形的精巧形狀。

卡拉比—丘流形是一類第一陳類為零的緊緻凱勒流形，這意味著它容許里奇平坦的度量。這一條件可由下式表達：

R_{i \overset{ˉ}{j}} = 0,

其中， $R_{i \overset{ˉ}{j}}$ 是凱勒度量的里奇曲率張量。

這些空間使超對稱性能夠在四維中保留下來，因此在弦緊緻化中具有重要作用。卡拉比—丘流形的形狀決定了所得宇宙模型中粒子與交互作用的類型；這是一個令人驚歎的認識：幾何可能真正支配最微小尺度上的物理。

YouTube 影片：卡拉比—丘流形

4.6 愛德華·威滕與幾何學家的夢想

討論現代幾何在物理中的作用，離不開愛德華·威滕。作為一位精通數學的理論物理學家，威滕運用幾何與拓撲思想，為弦論、規範理論和量子場論帶來了新的認識。

1990 年，他因包括將量子場論應用於低維拓撲研究在內的工作，獲得了數學領域的最高榮譽之一——菲爾茲獎。他的洞見如此自然地連接物理與幾何，促使數學家和物理學家以新的方式開展合作。

據相關記述，威滕曾指出，物理與數學的語言已緊密交織，要取得進展就需要同時熟悉兩者。他本人正體現了這種融合。

4.7 本章小結

從楊—米爾斯規範場到唐納森的四維流形，從卡拉比—丘緊緻化到威滕的綜合性工作，二十世紀後期將微分幾何推向舞臺中央。它不再侷限於抽象世界，而成為標準模型的支架、隱藏維度的形狀，以及理解拓撲本身的關鍵。

始於高斯與黎曼的夢想——以幾何作為現實的語言——已擴展到他們幾乎無法想像的領域。接下來的問題既是科學問題，也是哲學問題：宇宙的核心是否恰恰就是一種幾何結構？

5. 應用與哲學

微分幾何曾是看似遙遠的純數學分支，如今卻成為現代物理不可或缺的語言。它的影響從行星軌道延伸到物質的微觀結構，從黑洞延伸到宇宙膨脹。然而，在技術應用之外，它還激起一種哲學共鳴：幾何不僅描述自然，它或許就是自然。

5.1 廣義相對論與宇宙學

微分幾何最著名的應用仍是廣義相對論。愛因斯坦方程

R_{μν} - \frac{1}{2} R g_{μν} + Λ g_{μν} = \frac{8 π G}{c ^{4}} T_{μν}

展示了時空曲率如何編碼重力場。

黑洞

史瓦西度量等解，

d s^{2} = - (1 - \frac{2 GM}{c ^{2} r}) c^{2} d t^{2} + (1 - \frac{2 GM}{c ^{2} r})^{- 1} d r^{2} + r^{2} d Ω^{2},

描述了黑洞的幾何。黑洞不只是空間中的物體，它們本身就是彎曲時空的區域。

史瓦西解

在愛因斯坦廣義相對論中，在球對稱條件下求解真空愛因斯坦方程，可以得到最簡單的黑洞時空。這便導出史瓦西度量，它描述靜態、球對稱質量分佈外部的重力場。

從愛因斯坦方程推導

從宇宙學常數為零的真空愛因斯坦場方程出發。在本段推導中，始終採用光速 c = 1 的單位制：

R_{μν} - \frac{1}{2} R g_{μν} = 0 \Rightarrow R_{μν} = 0.

1. 對稱性假設

要求時空具有靜態、球對稱性，其線元可寫為

d s^{2} = - e^{2 ϕ (r)} d t^{2} + e^{2 λ (r)} d r^{2} + r^{2} (d θ^{2} + sin^{2} θ d φ^{2}),

其中， $ϕ (r)$ 和 $λ (r)$ 是待求函數。

2. 愛因斯坦方程

由 $R_{μν} = 0$ 得到的獨立方程為：

由組合 $e^{- 2 ϕ} R_{tt} + e^{- 2 λ} R_{rr} = 0$ 得：

ϕ^{'} (r) + λ^{'} (r) = 0.

由真空方程所蘊含的 $G_{tt} = 0$ 得：

\frac{d}{d r} (r (1 - e^{- 2 λ (r)})) = 0.

3. 求解

對第二個方程積分，得到

e^{- 2 λ (r)} = 1 - \frac{C}{r} .

再由第一個方程得

ϕ (r) = - λ (r) + const .

透過重新縮放 $t$ ，可以吸收這一常數，從而得到

e^{2 ϕ (r)} = 1 - \frac{C}{r} .

4. 確定常數

在牛頓極限下， $g_{tt} \approx - (1 + 2Φ)$ ，其中 $Φ = - GM / r$ 。
因此， $C = 2 GM$ 。

5. 最終的史瓦西度量

d s^{2} = - (1 - \frac{2 GM}{r}) d t^{2} + (1 - \frac{2 GM}{r})^{- 1} d r^{2} + r^{2} (d θ^{2} + sin^{2} θ d φ^{2}) .

這就是史瓦西度量，它是廣義相對論中最基本的黑洞解。

宇宙學

弗里德曼—勒梅特—羅伯遜—沃克（FLRW）度量，

d s^{2} = - c^{2} d t^{2} + a^{2} (t) (\frac{d r ^{2}}{1 - k r ^{2}} + r^{2} d Ω^{2}),

描述膨脹或收縮的宇宙。這裡， $a (t)$ 是尺度因子， $k$ 表示空間曲率。現代宇宙學對大爆炸、宇宙微波背景以及加速膨脹的描述，都建立在這樣的幾何結構之上。

5.2 規範理論與標準模型

在量子層面，粒子物理的標準模型建立在纖維叢上的楊—米爾斯規範理論之上。電磁、弱和強交互作用由規範聯絡的曲率編碼。

規範群為

S U (3) \times S U (2) \times U (1),

其中，第一個因子描述強交互作用，後兩個因子共同描述電弱交互作用。夸克場、輕子場和希格斯場是相伴向量叢的截面，而規範勢是聯絡。希格斯場提供了對稱性破缺的機制。

因此，基本交互作用不再是牛頓意義上的「力」，而是幾何的表現：這裡的曲率不是時空的曲率，而是抽象內部空間中的曲率。

5.3 拓撲、不變量與量子場論

微分幾何也與拓撲學相互交織。量子場論中拓撲不變量的發現，揭示了數學的深層結構。例如，阿蒂亞—辛格指標定理將微分算子的分析性質與流形的拓撲不變量聯繫起來。

在規範理論中，瞬子是楊—米爾斯方程的有限作用量解，編碼了非微擾現象。它們的分類依賴於底層流形的拓撲，顯示出幾何與量子物理不可分割的聯繫。

5.4 超越標準模型：弦與全息

弦論將幾何推向新的極致。額外維度捲曲成卡拉比—丘流形，對偶性則連接看似不同的空間。甚至時空本身也可能是湧現的，是更深層幾何或拓撲結構的產物。

胡安·馬爾達西納於 1997 年提出的 AdS/CFT 對應，揭示反德西特（AdS）空間中的重力理論與其邊界上的共形場論（CFT）之間可能存在的對偶。這一非凡思想意味著，體時空的幾何可以從一個不含重力的場論中重建。「重力是全息的」這一說法，體現了幾何持續居於核心地位。

5.5 哲學思考：現實就是幾何嗎？

微分幾何的應用使我們不得不面對一個哲學問題：宇宙在根本上是幾何性的嗎？

愛因斯坦的觀點：時空曲率就是重力。
規範理論：交互作用來自內部空間中的聯絡與曲率。
弦論：粒子譜取決於額外維度的形狀。

幾何的成功提示了一種可能：物理世界的核心是一種數學結構。這與尤金·維格納談及的數學在自然科學中「不可思議的有效性」產生了共鳴。

不過，仍需保持審慎。物理學史表明，新的見解可能使幾何模型發生改變，甚至失效。幾何也許只是暫時的支架，也可能是最終的基石。

5.6 軼事：哲學家與物理學家

從康德到胡塞爾，哲學家一直爭論空間究竟是先驗的直觀形式，還是經驗的構造。愛因斯坦帶來了顛覆性的認識：空間的幾何具有經驗性，受到物質與能量的決定。

據一則歸於埃利·嘉當晚年的軼事，他認為幾何已成為「物理的自然語言」，儘管他也很難預見這一進程將走多遠。愛德華·威滕獲得菲爾茲獎則表明，物理學家能夠沿著幾何直覺，給純數學帶來革命。

5.7 本章小結

微分幾何的應用延伸到廣闊的科學領域。從黑洞到規範玻色子，從宇宙學到拓撲學，宇宙似乎是用幾何符號書寫的。

其哲學意蘊同樣深遠：也許幾何不只是描述自然的工具，自然本身就是幾何。接下來的章節將探索其人文層面，講述推動這一願景的數學家與物理學家的故事，並思考：生活在一個數學與現實的邊界逐漸模糊的宇宙中，究竟意味著什麼。

6. 軼事與人情

微分幾何常被視為一門冷峻的學科，充滿抽象的張量、曲率與流形。然而，這些概念背後站著一個個真實的人，各有自己的掙扎、成功與獨特性格。理解這一領域的故事，不僅要追隨方程，也要瞥見創造這些方程的人生。

6.1 黎曼：體弱而富有遠見的人

伯恩哈德·黎曼靦腆而輕聲細語，長期受到健康問題的困擾。他於 1826 年出生，是一位貧窮的路德宗牧師之子，在清貧環境中長大。少年時代，他同樣如飢似渴地閱讀數學與神學書籍。

黎曼 1854 年的任教資格演講是數學史上的轉折點。然而，同時代人形容他的講述斷斷續續，近乎遲疑。他說話很輕，彷彿不確定自己激進的思想能否被人相信。據說，坐在聽眾席中的高斯全神貫注地聆聽，後來稱黎曼開啟了「一個新世界」。

令人惋惜的是，黎曼在 39 歲時因肺結核去世。他的筆記中留有關於拓撲學、複分析和幾何的未竟思想。儘管生命短暫，他的眼光仍重塑了數學，並為一個世紀後的物理奠定了基礎。

6.2 高斯：謹慎的革命者

卡爾·弗里德里希·高斯自幼就是神童，不到十歲便能糾正父親計算工資時的算術錯誤。他的天賦橫跨數論、天文學與大地測量學。然而，高斯天性謹慎，往往在成果完善之前不願發表。

他藉助測量儀器測量地球，對山峰進行三角測量，親身探索空間的曲率。同事們形容他才華橫溢卻有些疏離，有時甚至頗為神秘。當他終於公佈絕妙定理時，就像不情願地打開了一個隱藏已久的寶箱。

一則著名軼事稱，高斯起初排斥非歐幾何，將其稱為「想像中的怪物」，卻又私下保存著寫滿相關探索的筆記。他謹慎的完美主義，與黎曼等學生的大膽形成了對照。

6.3 愛因斯坦：從局外人到時代象徵

阿爾伯特·愛因斯坦的道路遠非一帆風順。學生時代，他被視為叛逆、不專心，甚至懶惰。1905 年發表「奇蹟年」論文時，他還在瑞士專利局工作。後來，在探索廣義相對論的過程中，他承認所需數學超出了自己的能力。如果沒有馬塞爾·格羅斯曼的幫助，以及里奇與列維-奇維塔的張量分析，他或許無法成功。

然而，愛因斯坦堅韌的物理直覺指引他走了出來。1919 年對星光偏折的確認使他成為世界名人。據一則軼事，有記者打趣說，只有十來個人理解愛因斯坦的理論，每個孩子卻都認得他的面孔。

即便如此，愛因斯坦仍是普通的人：他會自我懷疑，擔心希爾伯特搶先，還不斷在紙片上寫寫畫畫。他的天才並非毫不費力的聰明，而是不懈的堅持。

6.4 嘉當：被忽視的大師

埃利·嘉當在巴黎過著較為平靜的生活。他對微分形式與聯絡的發展後來被證明具有奠基意義，但在他生前，許多工作並未得到充分重視。

人們形容嘉當溫和而謙遜，是一位比起名聲更看重清晰表達的數學家。他的論文密集而深刻，充滿領先時代數十年的概念。後來，物理學家重新發現他的方法時，驚訝地發現嘉當早已建立了他們需要的工具。

如今，嘉當的名字在數學界備受尊敬，但他的謙遜也使個人經歷較少為人所知。他代表了一種安靜的才華，有時直到創造者離世之後，才顯現出改變世界的力量。

6.5 烏倫貝克：打破壁壘

凱倫·烏倫貝克生於 1942 年，為幾何與分析的交叉領域注入了新的活力。她關於楊—米爾斯方程和非線性偏微分方程的研究，重塑了四維拓撲與規範理論。

作為男性佔主導的領域中的女性，她曾面臨質疑與孤立。但她堅持了下來，並於 2019 年成為首位獲得阿貝爾獎的女性。在採訪中，她回顧過職業生涯早期的孤獨，也談及把數學當作創造性活動來追求的喜悅。

她的故事不僅關乎幾何，也關乎韌性，表明這一領域始終在新聲音的推動下不斷發展。

6.6 威滕：連接兩個世界的橋梁

愛德華·威滕生於 1951 年，模糊了物理學家與數學家之間的界限。他在弦論、量子場論與拓撲學中的工作，使他於 1990 年獲得菲爾茲獎，成為首位獲此殊榮的物理學家。

同事們形容他輕聲細語，卻具有近乎超凡的直覺。當數學家帶著難題來找他時，威滕常常用物理語言重新表述問題，由此取得改變兩個領域的突破。

他的故事展示了二十世紀如何縮小幾何與物理之間的距離。它們不再只是彼此分離的學科，也成為同一種語言的不同方言。

6.7 幾何畫卷中的人生線索

黎曼、高斯、愛因斯坦、嘉當、烏倫貝克、威滕，這些人物不是抽象世界中的半神，而是有血有肉的人：孱弱、執著、謙遜、聰慧。他們獨特的性格塑造了今天我們習以為常的數學。

黎曼在講課時咳嗽，高斯保守秘密，愛因斯坦在信封上寫字，嘉當默默創新，烏倫貝克打破壁壘，威滕跨越學科邊界。

微分幾何不僅是方程與張量的故事，也是人們敢於以不同方式看待宇宙的故事。

6.8 本章小結

每一個曲率張量背後，都有一隻最初寫下它的顫抖的手。每一個流形背後，都有一個想像著不可見維度的頭腦。微分幾何的人文一面提醒我們：科學並不冰冷，它充滿生命，由脆弱卻堅定的人們推動，而他們的掙扎與我們自己的經歷彼此映照。

歸根結底，幾何是用數學符號書寫的人類故事。

7. 結語：幾何作為自然的語言

微分幾何從曲線與曲面的研究起步，成長為流形的分析，並發展為現代物理的框架。在這一過程中，它揭示了更深層的東西：幾何不只是描述自然的工具，也是自然訴說自身的語言。

7.1 從地球到宇宙

這段旅程始於高斯。他測量漢諾威的山丘，認識到地球本身具有內蘊曲率。隨後，黎曼將這一概念提升到抽象層面，提出空間本身也可能彎曲。愛因斯坦實現了這一預見，表明曲率就是重力，時空不只是舞臺，也是演員。

今天，微分幾何塑造著我們對宇宙的認識：

用 FLRW 度量描述宇宙膨脹。
用史瓦西解與克爾解描述黑洞幾何。
用曲率刻畫星系周圍的光線偏折，描繪宇宙學的結構。

7.2 從力到場

幾何也成為理解微觀世界的關鍵。楊—米爾斯理論將交互作用重新表述為纖維叢上的聯絡，以曲率表示場強：

F = d A + A \land A .

這一個表達式便能編碼強、弱和電磁交互作用。因此，標準模型是一部幾何機器，其運作依賴於叢和聯絡的性質，而非神秘莫測的力。

即使是弦論、M 理論、全息等統一理論的探索，也都使用幾何的語言。卡拉比—丘流形低聲訴說粒子譜，而 AdS/CFT 對應則提示，時空本身或許能夠由量子場重建。

7.3 哲學：現實具有幾何本性嗎？

微分幾何的成功提出了深刻的哲學問題。如果重力和量子交互作用都具有幾何性質，現實本身是否就是幾何？

有人認為是：宇宙是一種數學結構，而我們是其中的模式。也有人認為不是：幾何只是模型，或許終將被尚未發現的更深層原理取代。

然而，從高斯的三角形到威滕的弦對偶，幾何始終存在，這表明數學並非任意的構造。曲率方程之所以既能描述山丘和黑洞，又能描述規範場和膠子，必有其原因。幾何似乎已織入現實的本質。

7.4 人的視角

我們也必須記住這些人：

黎曼，體弱卻富有遠見，想像著視野之外的維度。
愛因斯坦，與張量搏鬥，將堅持轉化為發現。
嘉當，安靜而常被忽視，卻構建了物理學家日後需要的工具。
烏倫貝克，打破壁壘，表明數學也隨著社會而發展。

他們的故事提醒我們，幾何不只是抽象的，也是人的創造，由充滿掙扎與想像的人生塑造。

7.5 最後的話

今天，微分幾何見證著抽象思維的力量。從腳下的大地到宇宙最深奧的問題，它為自然提供了語法。它的方程不只是符號，也是宇宙詩篇中的詩行：

度量 $g_{μν}$ ，衡量距離。
曲率 $R_{μν ρ σ}$ ，標記彎曲。
聯絡 $A_{μ}$ ，連接交互作用。

它們共同構成關於存在的敘事。

最終，微分幾何不只是數學，也是傾聽宇宙的藝術。而它透過符號與曲線告訴我們：現實本身，或許就是獲得了具體形態的幾何。