跳转到内容
← 返回概念
几何约 21 分钟阅读

微分几何

Differential Geometry

关键人物

gaussriemanncartanchern
几何微分几何曲率流形张量

一个直觉：不出门、不抬头，你也能算出脚下的世界是弯的

一只生活在球面上的蚂蚁，从没见过它的世界"从外面看"长什么样。它能不能仅凭在表面上爬行、量量距离和角度，就发现自己住在一个弯曲的世界、而不是一张平坦的纸上？微分几何给出的回答惊人地肯定：能。 弯曲这件事，原来不必从外部俯瞰，它就刻在表面"内部"的度量里。

这正是高斯那条被他自己惊叹为"绝妙"的定理（Theorema Egregium）的精神。在平面上画三角形，内角和恰好 $180°$;可在球面上画一个大三角形，三个内角加起来会超过 $180°$——多出来的那部分，精确地暴露了曲率。蚂蚁不需要跳出球面、不需要第三维的视角，只要在表面上勤勤恳恳地测量，就能算出脚下每一点弯得有多厉害。曲率从一个"看上去弯不弯"的外在印象，变成了一个纯粹由内部测量决定的内蕴的量。

这个"内蕴"的观念，是微分几何最深的种子。黎曼把它从二维曲面推广到任意维度，造出了能描述弯曲高维空间的语言;半个多世纪后，爱因斯坦借走这套语言，写下了广义相对论——在那里，引力不再是一种力，而是时空本身的弯曲。我们这些住在时空里的"蚂蚁"，正是靠测量光线和星体的运动，反推出了宇宙脚下的形状。

定义

微分几何（Differential Geometry）用微积分的方法研究曲线、曲面和更一般的流形的几何性质。

高斯曲率：曲面在一点处的高斯曲率 $K$ 是两个主曲率的乘积 K=κ1κ2K = \kappa_1 \kappa_2。$K > 0$ 表示曲面局部像椭球（如球面），$K < 0$ 表示局部像马鞍面（如双曲面），$K = 0$ 表示局部像平面（如柱面）。

高斯绝妙定理（Theorema Egregium）：高斯曲率是内蕴的——只依赖于曲面上的度量（第一基本形式），而不依赖于曲面在三维空间中的嵌入方式。这意味着生活在曲面上的生物可以通过测量距离和角度来确定曲率。

测地线：曲面上两点之间的"最短路径"——在球面上是大圆弧，在平面上是直线。

历史演变

微分几何的起源可以追溯到欧拉对曲面曲率的研究。欧拉在1760年代引入了法曲率和主曲率的概念。高斯在1827年的《关于曲面的一般研究》中奠定了曲面论的基础——他证明了绝妙定理，将曲率从外在的嵌入性质转化为内蕴的度量性质。

黎曼在1854年的就职演讲中将微分几何从曲面推广到任意维数的流形。他引入了黎曼度量——在每个切空间上定义内积——从而将曲率、距离和角度的概念推广到高维流形。黎曼几何是广义相对论的数学语言。

20世纪，嘉当（Élie Cartan）发展了活动标架法和外微分形式，为微分几何提供了更灵活的工具。陈省身（Shiing-Shen Chern）将整体微分几何发展为一门独立的学科——他证明了高斯-博内定理的高维推广（陈-高斯-博内定理），将曲率与拓扑不变量（欧拉示性数）联系起来。

1982年，唐纳森（Simon Donaldson）利用杨-米尔斯方程（一个来自物理学的偏微分方程）发现了四维流形的微分拓扑不变量——这表明四维空间具有独特的奇异性质。瑟斯顿（William Thurston）在1970-80年代提出了三维流形的几何化纲领，将三维流形分解为具有八种标准几何结构之一的部分。佩雷尔曼在2003年用里奇流方程完成了这一纲领——证明了庞加莱猜想和几何化猜想。

关键人物

高斯（1777—1855）是"数学之王"，对数论、代数、分析、几何和概率论都有奠基性贡献。他的曲面论是微分几何的开端。高斯绝妙定理——曲率是内蕴的——是数学中最深刻的结果之一。高斯还测量了三座山峰之间的三角形——试图通过测量三角形内角和来确定空间的曲率（结果是零——在测量精度内空间是平坦的）。

黎曼（1826—1866）是高斯的学生，将微分几何推广到任意维度。他的1854年就职演讲"论作为几何学基础的假设"是数学史上最伟大的演讲之一——它不仅奠定了黎曼几何的基础，还预言了广义相对论的基本思想。黎曼在39岁时死于肺结核——如果他活得更长，数学的发展可能会快几十年。

陈省身（1911—2004）是20世纪最伟大的几何学家之一。他的陈类（Chern class）是代数拓扑和微分几何的核心工具——用于分类复向量丛的拓扑类型。陈-高斯-博内定理将曲率与拓扑不变量（欧拉示性数）联系起来——这是整体微分几何的基石。陈省身晚年回到中国，在南开大学建立了数学研究所。

嘉当（Élie Cartan，1869—1951）发展了活动标架法和外微分形式——为微分几何提供了更灵活的工具。他还分类了所有单李群——这一分类是粒子物理学标准模型的数学基础。嘉当的儿子亨利·嘉当也是著名的数学家——父子二人对20世纪数学的影响难以估量。

数学意义

微分几何的核心定理：

  1. 高斯-博内定理：∫MKdA=2πχ(M)\int_M K dA = 2\pi \chi(M)——曲率的积分等于欧拉示性数
  2. 测地线方程：x¨k+Γijkx˙ix˙j=0\ddot{x}^k + \Gamma^k_{ij} \dot{x}^i \dot{x}^j = 0——联络系数决定测地线
  3. 黎曼曲率张量：RijklR^l_{ijk}——描述流形的内蕴曲率
  4. 陈-西蒙斯理论：规范场论中的拓扑不变量
  5. 里奇流：∂gij∂t=−2Rij\frac{\partial g_{ij}}{\partial t} = -2R_{ij}——度量随时间"变平滑"

核心概念辨析

  • 内蕴几何 vs 外在几何：内蕴几何只用度量（曲面上的距离和角度），外在几何用嵌入（曲面在三维空间中的形状）。高斯绝妙定理表明曲率是内蕴的——生活在曲面上的生物可以通过测量来确定曲率，而不需要跳出曲面。
  • 曲率 vs 挠率：曲率描述弯曲程度（曲线偏离直线的程度），挠率描述扭转程度（曲线偏离平面曲线的程度）。在高维流形上，曲率推广为黎曼曲率张量，挠率推广为挠率张量。
  • 黎曼几何 vs 伪黎曼几何：黎曼度量正定（距离总是正的），伪黎曼度量允许不定（广义相对论中的时空度量有符号 $(-,+,+,+)$）。伪黎曼几何中存在"类时"、"类空"和"类光"方向——这对应于相对论中的因果结构。
  • 局部性质 vs 整体性质：局部性质在每点附近成立（如曲率），整体性质涉及整个流形（如欧拉示性数）。局部-全局原理是微分几何的核心问题——例如，高斯-博内定理将局部的曲率积分与整体的拓扑不变量联系起来。

当代应用

微分几何是现代物理学和工程学的数学语言。

广义相对论。引力是时空曲率的效应——质量告诉时空如何弯曲，弯曲的时空告诉物质如何运动。GPS卫星必须考虑广义相对论效应（时间在引力场中变慢），否则定位误差每天会累积约10公里。LIGO在2015年首次直接探测到引力波——时空曲率的微小波动。

规范场论。基本粒子的相互作用由纤维丛上的联络描述——杨-米尔斯理论用微分几何的语言表达了电磁力、弱力和强力。标准模型的 SU(3)×SU(2)×U(1)SU(3) \times SU(2) \times U(1) 规范群对应于特殊的纤维丛结构。陈省身的陈-西蒙斯理论是规范场论中拓扑项的数学基础。

计算机视觉。曲面的曲率用于三维重建和形状分析。形状分析使用曲率流（如平均曲率流）来平滑和去噪三维模型。人脸识别中的测地线距离用于度量面部曲面上两点之间的相似性。

数据科学。流形学习假设数据分布在一个低维流形上——流形学习算法（如t-SNE、UMAP）利用这一假设进行降维。黎曼优化方法（在流形上做梯度下降）用于训练正交RNN和处理对称正定矩阵。自然语言处理中的词嵌入空间具有黎曼流形结构。

为什么这很重要

微分几何是爱因斯坦广义相对论的数学语言——没有黎曼几何，就没有广义相对论。爱因斯坦在数学家格罗斯曼的帮助下，用黎曼曲率张量将引力描述为时空的弯曲。质量告诉时空如何弯曲，弯曲的时空告诉物质如何运动。这是人类对引力最深刻的描述。

从曲面到宇宙。高斯的绝妙定理——曲率是内蕴的——看似是一个纯数学结果，却有深远的物理含义：它意味着生活在曲面上的生物可以测量曲率，而不需要"跳出"曲面。同样，我们生活在四维时空中，可以通过测量三角形内角和来确定时空的曲率——这正是引力波探测的基本原理。

数据在流形上。现代机器学习的一个核心假设是：高维数据（如图像、语音）实际上分布在一个低维流形上。流形学习算法（如t-SNE、UMAP）试图发现这个低维结构。理解流形的几何性质——曲率、测地线、切空间——对于设计更好的机器学习算法至关重要。

关键洞察

微分几何最深刻的洞见是：几何性质可以完全由内蕴的度量决定——不需要参考任何"外部空间"。 高斯的绝妙定理表明，曲面的曲率可以从曲面上的距离测量中计算出来，而不需要知道曲面如何嵌入三维空间。黎曼将这一思想推广到任意维度：给定一个流形上的度量张量 gijg_{ij}，就可以定义距离、角度、曲率和测地线——所有几何性质都从度量中"生长"出来。这个洞见的物理意义是：时空的几何是独立存在的，不需要嵌入更高维的空间。

跨域连接

  • 广义相对论：引力被改写成度量的曲率，物质分布决定度量，自由粒子沿测地线走，"力"这一项被彻底消掉。推论是：所有物体的下落轨迹必须与其成分无关；任何依赖材质的偏折都会直接证伪几何化方案，而光线偏折与引力红移只能由同一个度量一起算出。
  • 标准模型：规范场是纤维丛上的联络，场强就是它的曲率——把一个内部方向沿闭合回路平移一圈，回来后转了多少，就是场强。推论：传递相互作用的自由度个数被规范群的维数锁死，不能随意增删，于是"有几种规范玻色子"成为可数的预言而非假设。
  • 计算机视觉：高斯曲率只依赖曲面内部的距离，把纸卷起来而不拉伸时它不变，平均曲率却会变。推论：以高斯曲率为特征的三维匹配对弯折姿态稳健，以平均曲率为特征的不稳健——这是拿同一张纸卷成不同形状就能直接验证的区别。
  • 机器学习：参数空间一旦配上度量就成了流形，而梯度方向依赖度量：欧氏梯度随参数化改变，按信息度量取的自然梯度不变。推论：把同一模型换个等价参数化重训，若结果大变，问题出在度量选择而不在优化器。
  • 流形：曲率不是空间自带的属性，而是"流形加度量"这对组合的属性，同一底空间换度量就换曲率。推论：追问"这个空间弯不弯"必须先交代用哪把尺子量距离，否则问题没有确定答案。

具体例子与直觉

球面的几何。单位球面 S2S^2 的高斯曲率处处为 $K = 1$。球面上的测地线是大圆弧——飞机沿大圆航线飞行就是沿测地线运动。球面上三角形的内角和大于 $180°$——超出的部分等于三角形的面积（高斯-博内定理的特例）。在地球表面，一个由赤道和两条经线围成的三角形，如果两条经线相差 $90°$，则三个角都是 $90°$——内角和为 $270°$，超出 $180°$ 的 $90°$ 恰好等于三角形面积（地球表面积的 $1/8$，以弧度表示为 π/2\pi/2）。

双曲面的几何。双曲面的高斯曲率 $K = -1$。庞加莱圆盘模型将双曲几何实现为欧氏圆盘内部的几何——"直线"是与圆盘边界正交的圆弧。在双曲几何中，三角形的内角和小于 $180°$——亏缺的部分等于三角形的面积。双曲空间的面积随半径指数增长——Area(r)=2π(cosh⁡r−1)\text{Area}(r) = 2\pi(\cosh r - 1)。这个指数增长特性使得双曲空间成为复杂网络的自然嵌入空间。

曲率张量的物理意义。黎曼曲率张量 RijklR^l_{ijk} 描述了流形的内蕴曲率——它告诉你平行移动一个向量绕闭合路径一圈后，向量会改变多少。在广义相对论中，曲率张量描述了时空的弯曲程度——引力场就是时空曲率的效应。潮汐力是黎曼曲率张量的直接体现——地球上的潮汐是因为月球引力场在地球不同位置的差异，这种差异正是时空曲率的表现。

里奇流与庞加莱猜想。里奇流方程 ∂gij∂t=−2Rij\frac{\partial g_{ij}}{\partial t} = -2R_{ij} 描述了度量随时间"变平滑"的过程——曲率高的地方收缩快，曲率低的地方收缩慢。佩雷尔曼在2003年用里奇流证明了庞加莱猜想——任何单连通的闭三维流形都同胚于三维球面。证明的关键是分析里奇流中奇点的形成——佩雷尔曼引入了"熵泛函"来控制奇点的行为。这是偏微分方程、几何和拓扑最深刻的统一。

陈-西蒙斯理论与拓扑量子场论。陈-西蒙斯理论是一个三维拓扑量子场论——它的作用量只依赖于流形的拓扑，不依赖于度量。这个理论由物理学家Witten在1989年引入——他用陈-西蒙斯理论计算了琼斯多项式（一个纽结不变量）。陈-西蒙斯理论在凝聚态物理中有重要应用——分数量子霍尔效应的低能有效理论就是陈-西蒙斯理论。拓扑量子计算试图利用任意子（满足非阿贝尔统计的准粒子）来进行容错量子计算——任意子的编织操作由陈-西蒙斯理论描述。

复几何与卡拉比-丘流形。复流形是局部像 Cn\mathbb{C}^n 的流形——具有复结构（允许定义全纯函数）。凯勒流形同时具有复结构、辛结构和黎曼度量——三者相容。卡拉比-丘流形是第一陈类为零的紧凯勒流形——里奇曲率为零。弦理论中额外的6个空间维度紧化为卡拉比-丘流形——不同的卡拉比-丘流形对应不同的低能物理定律。卡拉比-丘流形的模空间结构是弦理论"景观"问题的核心。

信息几何与Fisher度量。信息几何将统计模型族视为黎曼流形——Fisher信息矩阵定义了这个流形上的度量。两个概率分布之间的"距离"由KL散度（相对熵）度量——在Fisher度量下，KL散度近似等于测地线距离的平方。信息几何在自然梯度下降（用Fisher矩阵预处理梯度）、贝叶斯推断（后验分布的几何）和神经网络损失景观分析中有广泛应用。

常见误区

  • "曲率只在三维空间中定义"：曲率是内蕴的——可以在任意维流形上定义，不需要嵌入更高维空间。黎曼曲率张量在任意维度上都有定义。
  • "测地线是最短路径"：测地线是"局部最短"路径——在球面上，大圆弧是测地线，但不是所有大圆弧段都是两点之间的最短路径（需要考虑是劣弧还是优弧）。
  • "广义相对论中引力是力"：在广义相对论中，引力不是力——而是时空曲率的效应。自由落体的物体沿测地线运动——不受"力"的作用。

极小曲面与几何测度论。极小曲面是平均曲率为零的曲面——肥皂膜就是极小曲面。普拉托问题（给定边界，找面积最小的曲面）是变分法的经典问题。几何测度论（De Giorgi、Federer、Fleming）用"电流"的概念推广了曲面——允许曲面有奇点。威尔猜想（Willmore，1965）说：嵌入环面的总绝对曲率 ∫K2dA≥2π2\int K^2 dA \geq 2\pi^2——由Marques和Neves在2012年用极小曲面理论证明。

比较定理与曲率约束。比较定理将流形的几何性质与曲率联系起来。邦内-迈尔斯定理说：里奇曲率 Ric≥(n−1)k>0\text{Ric} \geq (n-1)k > 0 的紧流形的直径不超过 π/k\pi/\sqrt{k}——正曲率使流形"缩小"。拉普拉斯比较定理说：正曲率流形上的距离函数的Hessian不大于常曲率空间中的对应值。这些定理在广义相对论（奇点定理）和几何分析（流形的收敛理论）中有核心应用。

几何分析的现代发展。几何分析用偏微分方程的方法研究几何问题——反之亦然。丘成桐的卡拉比猜想证明（1976）用复蒙日-安培方程的先验估计构造了卡拉比-丘流形。哈密顿的里奇流程序（1982）试图用抛物方程将流形变为常曲率空间——佩雷尔曼的突破（2003）完成了这一计划。几何分析是当代数学最活跃的领域之一——它将偏微分方程、微分几何和拓扑学统一在一个框架下。

历史注记

微分几何的发展历程是数学统一性最美丽的展示。高斯的绝妙定理（1827）将曲率从外在的嵌入性质转化为内蕴的度量性质——这是"内蕴几何"的诞生。黎曼的就职演讲（1854）将这一思想推广到任意维度——奠定了广义相对论的数学基础。陈省身的陈-高斯-博内定理（1944）将曲率与拓扑不变量联系起来——开创了整体微分几何。佩雷尔曼的里奇流证明（2003）将偏微分方程、几何和拓扑统一在了一个证明中——这是21世纪数学最辉煌的成就之一。微分几何的历史展示了数学与物理学最深刻的联系：高斯的内蕴几何启发了黎曼，黎曼的流形理论预言了爱因斯坦的广义相对论，爱因斯坦的场方程又推动了微分几何的进一步发展。

开放问题

微分几何中的核心开放问题包括：里奇流是否能在所有维度上产生奇点分类？佩雷尔曼在三维中解决了这个问题，但高维情况仍然开放。另一个重要问题是：爱因斯坦场方程的解是否在一般初始条件下全局存在？——这涉及偏微分方程的正则性理论。雅尤猜想（Yau conject论）关于凯勒-爱因斯坦度量的存在性也是活跃的研究方向。

几何流的奇点分类。除了里奇流，还有其他重要的几何流：平均曲率流（曲面随时间向内收缩）、里奇-玻尔兹曼流（广义相对论中的简化模型）和Yamabe流（保持共形类中数量曲率为常数）。这些流的奇点形成和分类是几何分析的核心问题——每个流都可能产生不同类型的奇点。

正质量定理与几何不等式。正质量定理（Schoen-Yau，1979；Witten，1981）说：在广义相对论中，渐近平坦时空的总质量非负——等号成立当且仅当时空是平坦的。Penrose不等式说：黑洞的质量不小于其视界面积的平方根——这被Huisken和Ilmanen在2001年用逆平均曲率流部分证明。这些几何不等式将物理直觉转化为严格的数学定理——展示了微分几何与物理学最深刻的联系。

几何分析的现代工具。几何分析用偏微分方程的方法研究几何问题。丘成桐的卡拉比猜想证明（1976）用复蒙日-安培方程的先验估计构造了卡拉比-丘流形。Perelman的里奇流证明（2003）将偏微分方程、几何和拓扑统一在了一个证明中。Cheeger-Colding理论研究了里奇曲率有下界的流形的极限——这是广义相对论中时空奇点分析的数学基础。

参考文献

  1. Carl Friedrich Gauss, Disquisitiones generales circa superficies curvas (1827).
  2. Bernhard Riemann, "Über die Hypothesen, welche der Geometrie zu Grunde liegen" (1854).
  3. Shiing-Shen Chern, "A Simple Intrinsic Proof of the Gauss-Bonnet Formula" (1944).
  4. 陈省身, 陈维桓, 《微分几何讲义》, 北京大学出版社, 2001.
  5. do Carmo, Riemannian Geometry (1992).

微分几何用微积分研究曲线、曲面与流形的弯曲。曲率、测地线、联络是其核心概念；它为广义相对论提供数学语言（时空是弯曲流形，引力即曲率），也支撑现代规范场论与计算机图形学中的曲面建模。