流形几何 IV · 曲率
对标：Lee Riemannian Manifolds §7、§11–12 ｜ 前置：mfld-03、微分几何 II（Gauss 曲率） 曲率 = "平行移动绕圈回来转了多少"的精确账本。本页从黎曼曲率张量出发，走到三个凝练（截面/Ricci/数量曲率），验收两张支票：绝妙定理的内在化身（Gauss 曲率 = 截面曲率）与曲率控制拓扑的第一批定理。流形几何四页至此收官。
1. 黎曼曲率张量
定义（"二阶导数不交换的账本"）：
读法三则：平直空间 \(R \equiv 0\)（偏导可换，\(\Gamma = 0\) 坐标存在 ⟺ \(R = 0\)【引用】——曲率是"能否摊平"的完全障碍）；\(R\) 是张量（换坐标齐次变换——对比 \(\Gamma\) 的"假力"身份：曲率是真力）；几何语义 = 和乐的无穷小版：绕边长 \(\varepsilon\) 的小平行四边形平移一圈，向量转动 \(\approx \varepsilon^2 R(X,Y)\)（mfld-03 和乐征兆的定量化）。
对称性套装【引用验证】：\(R_{ijkl} = -R_{jikl} = -R_{ijlk} = R_{klij}\) + 第一 Bianchi 恒等式——独立分量从 \(n^4\) 压到 \(\frac{n^2(n^2-1)}{12}\)（\(n=2\) 时恰 1 个：曲面只有一个曲率——微分几何 II 的世界为何简单）。
2. 三个凝练
| 凝练 | 定义 | 语义 |
|---|---|---|
| 截面曲率 \(K(\sigma)\) | 二维截面 \(\sigma\) 上 \(\frac{\langle R(X,Y)Y, X\rangle}{\lvert X\wedge Y\rvert^2}\) | 该截面方向的"弯曲程度"——完整信息 |
| Ricci 曲率 \(\mathrm{Ric}(X)\) | 截面曲率对含 \(X\) 的截面取迹/平均 | "沿 \(X\) 的测地线束的体积收缩率" |
| 数量曲率 \(S\) | Ricci 再取迹 | 一点处小球体积 vs 欧氏的偏差系数 |
绝妙定理的支票兑付：曲面（\(n = 2\)）的截面曲率 恰等于 Gauss 曲率 \(K\)（微分几何 II 用第一二基本形式定义的那个）——而本页的 \(K\) 由度量与联络（纯内在量，mfld-03）构造："\(K\) 内在"不再需要 Gauss 的奇迹计算，它在正确的语言里是显然的——好定义让定理变自明的教科书案例。
三大常曲率模型：球面（\(K \equiv +1\)）、欧氏（\(0\)）、双曲（\(-1\)）——单连通完备常曲率流形仅此三家【引用】：几何的"三种气候"；测地三角形内角和 \(\gtrless \pi\) 按 \(K\) 的符号分派（Gauss–Bonnet 局部版）。
3. 曲率控制拓扑（本线的思想高峰）
定理（Bonnet–Myers） 完备 + \(\mathrm{Ric} \geq (n-1)k > 0\) ⇒ 直径 \(\leq \frac{\pi}{\sqrt k}\)（从而紧致、基本群有限）。 【骨架】 若有过长测地线，第二变分公式（能量的"二阶导"）配正 Ricci 造出让能量下降的变分 ⇒ 与最短性矛盾——正曲率把空间"箍拢"。\(\blacksquare\)
定理（Cartan–Hadamard）【引用】 完备单连通 + \(K \leq 0\) ⇒ 微分同胚于 \(\mathbb{R}^n\)（\(\exp_p\) 是全局微分同胚）——非正曲率的世界没有洞、测地线唯一（凸优化在其上照常工作——Hadamard 流形上的优化是 cvx 线的几何推广【引用】）。
Gauss–Bonnet 的高维遗产：\(\int_M K\,dA = 2\pi\chi\)（微分几何 II）推广为 Chern–Gauss–Bonnet（曲率多项式的积分 = 示性数【引用】）——"局部几何的总账 = 全局拓扑"纲领的正式版本；进一步的儿孙（示性类、指标定理）是研究生二年级的风景。曲率流一嘴：让度量沿 \(\partial_t g = -2\mathrm{Ric}\) 演化（Ricci 流——热方程的几何版，pde 线的直觉平移），Perelman 借此证庞加莱猜想——本线遥望的最高峰，此处立牌即可。
4. 流形几何四页收官盘点
| 页 | 资产 | 一句话 |
|---|---|---|
| I | 图册、切空间、正则值 | 无坐标世界的微积分地基 |
| II | 形式、\(d\)、Stokes | 三大积分公式统一；\(d^2 = 0\) 通向上同调 |
| III | 度量、联络、测地线 | 长度定运动；"直线"重新定义 |
| IV | 曲率张量与三凝练 | 弯曲的完全账本；曲率箍拓扑 |
🔗 AI 出口备忘：数据流形（mfld-01）、自然梯度/信息几何（mfld-03）、\(W_2\) 空间的 Otto 几何（ot-02）、等变网络的群作用（抽代线）——现代 ML 理论的几何方言表在此配齐。
5. 练习与要点
例 1（球面全套对账） 半径 \(r\) 球面：截面曲率 \(\frac{1}{r^2}\)、\(\mathrm{Ric} = \frac{n-1}{r^2}g\)、Bonnet–Myers 直径界 \(\pi r\)——恰是对径距离：定理在球面上取等（模型空间的职责就是让不等式绷紧）。
例 2（和乐亲手算） 球面上沿"赤道 90° → 经线到北极 → 另一经线回赤道"的三角形平移向量：回来转了 \(90°\) = 三角形的球面角盈余 = \(\int K\,dA\)——Gauss–Bonnet 在一个三角形上的手工验证（曲率、和乐、角盈余三位一体的最好体感）。
例 3（负曲率的体感） 双曲平面测地三角形内角和 \(< \pi\)、圆周长 \(> 2\pi r\)（指数增长）——"负曲率空间比想象的大得多"：嵌入 embedding 到双曲空间对树状/层级数据更省维度（hyperbolic embedding 的几何依据【引用】）。\(\blacksquare\)
下一门：代数拓扑——把"洞"做成代数：基本群、覆盖空间与同调，mfld-02 的 de Rham 预告在此接洽。