微分几何

历史说明： 下文部分轶事及归于历史人物的话语用于叙事说明。其确切措辞与出处尚未经历史一手文献核实，不应视为已认证的引文。

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_{μ}$ ，连接相互作用。

它们共同构成关于存在的叙事。

最终，微分几何不只是数学，也是倾听宇宙的艺术。而它通过符号与曲线告诉我们：现实本身，或许就是获得了具体形态的几何。