3.2 截面曲率与里奇曲率

3.2 截面曲率与里奇曲率

摘要：四阶曲率张量信息量大到难以直接使用，实践中按问题需要压缩：截面曲率保留「每个二维切方向的弯曲读数」，里奇张量按方向做平均，数量曲率压缩为单值。本节推导三种压缩的定义与公式，给出球面与伪球面的标准读数，并从比安基恒等式导出爱因斯坦张量——第六章场方程的核心部件在此预装配。

四阶账本太重：先问要回答什么问题

上一节末尾清点过：曲率张量在 n 维有 \tfrac{n^2(n^2-1)}{12} 个独立分量，四维时空就有二十个。直接背这张四阶账本既不可能也不必要——正确的做法是先问「我要回答什么问题」，再决定压缩到哪一级。三类高频问题对应三级压缩：想知道「某个二维方向上三角形内角和偏多少」→ 截面曲率；想知道「某方向附近一小团体积如何收缩」→ 里奇张量；只想给空间一个总分 → 数量曲率。三级压缩构成一条单向信息漏斗，逐级丢失细节、逐级换取可操作性。

曲率信息压缩漏斗

截面曲率：二维切片的读数

给定点 p 处两个线性无关切向量 u, v，它们张成 T_pM 的一个二维子空间 \sigma。定义

分母恰是 u, v 张成平行四边形面积的平方，故 K 是「单位面积回路的偏转率」——与上一节二维坍缩公式同构。两件事值得核对。其一，K(\sigma) 只依赖子空间 \sigma 而不依赖其中基的选取（换基相当于分子分母同乘行列式平方）。其二，n 维空间每点的截面曲率是「过该点的所有二维方向」的函数，而曲率张量的全部信息恰可由全体截面曲率复原——截面曲率是无损压缩，只是把四阶账本改写成按方向索引的清单。

单位球面 S^n 的读数简单到理想：任何切方向对的截面曲率都是 1（把该二维切片看成大圆球面即得）。这种「处处、方向一律同曲率」的空间称常曲率空间，是第四章比较定理的标准参照物。

里奇张量与数量曲率：两级平均

里奇张量由曲率张量缩并而来：R_{kj} = R^l{}_{klj}（对哑标 l 求和）。几何读法：取单位向量 w，Ric(w, w) = R_{kj}w^k w^j 等于「所有包含 w 的方向截面的截面曲率之和」（差一个规范化因子），即 w 方向邻域内一小团体积的各向平均收缩率。它把四阶降为二阶，代价是丢掉「截面方向」细节——你不再知道哪个二维方向弯得最狠，只知道每个方向平均弯多少。

数量曲率再缩并一次：Scal = g^{kj} R_{kj}。它是每点一个数的「总分」，回答诸如「这团空间平均而言比欧氏空间胖还是瘦」。欧氏空间两级读数全为零；正读数意味测地球体积比欧氏同半径球小，负读数相反。

球面标准读数（单位 S^n，K \equiv 1）：Ric = (n-1)\, g，Scal = n(n-1)。二维时 Ric = K g = g、Scal = 2，与上一节手算完全衔接。伪球面（双曲面对应模型）标准读数：K \equiv -1，Ric = -(n-1)g，Scal = -n(n-1)。正负两套样板读数建议抄在卡片上——第四节实验与第四章比较定理都以它们为标尺。

三级压缩一览：

比安基恒等式与爱因斯坦张量的预装配

第 3.1 节列出的比安基微分恒等式 \nabla_m R_{lkij} + \nabla_i R_{lkjm} + \nabla_j R_{lkmi} = 0 看似账房内部规定，实则是广义相对论的守恒律之源。对它执行两次缩并（先并 l, i，再乘 g^{jm} 整理），得到一个二阶恒等式：

括号里的组合命名为爱因斯坦张量 G_{kj} = R_{kj} - \tfrac{1}{2} Scal\, g_{kj}，其协变散度恒为零。预装配的意义到第六章揭晓：若让 G_{kj} 与物质能量动量 T_{kj} 成比例，则物质方程自动满足能量守恒——爱因斯坦当年寻找场方程左端时，正是被这条「自动守恒」锁定在这个组合上的。本节只需记住：爱因斯坦张量不是新假设，而是比安基恒等式的缩并产物；它的无散性是纯几何事实，与物理无关。

顺带完成一个语言澄清：日常说「空间弯曲」在三套量具下有不同含义——截面曲率说「这个方向对弯多少」，里奇说「这个方向平均弯多少」，数量曲率说「这点总分多少」。文献里混称时，默认指里奇或数量层面。读广义相对论科普遇到「质量使空间弯曲，具体是里奇方向的收缩」，指的就是里奇张量的读数。

数值演练：三种压缩的机器对照

三级压缩不只听讲，还应亲手算一遍。以单位球面 S^3（三维球面，K \equiv 1）为例，标准读数应为：里奇 = 2g、数量曲率 = 6、任何截面 = 1。用第 3.1 节的代码框架即可核验——三维时曲率张量的独立分量有六个，全部由截面曲率 1 与度量的代数组合决定（R_{ijkl} = g_{ik}g_{jl} - g_{il}g_{jk} 型），缩并一次得 Ric_{jl} = 2 g_{jl}，再缩并得 Scal = 6，与公式 n(n-1) = 3 \times 2 对上。这个演练的价值在于看清「信息如何在压缩中流动」：六个独立分量 → 缩并后剩六个里奇分量（三维时里奇恰好也是六个独立分量，但已不足以复原全部截面配对信息——里奇相等的两个三维流形可以有不同曲率椭圆取向）→ 数量曲率只剩一个数。做研究选工具时，「里奇张量够不够用」的判断正来源于此：体积演化、爱因斯坦方程只用里奇就够；平行移动的细节、拓扑刚性的最强结论，必须回到完整张量或截面曲率。

顺带完成一次语义校准的实测：欧氏空间 \mathbb{R}^4 的三级读数全零；同样「全零」的还有三维平环面——但两者的拓扑不同。零读数回答「平均而言不弯」，不回答「空间是哪一种」；后者的裁判在第四章。

本节要点回顾

• 三级漏斗：截面曲率无损（按方向索引）、里奇有损（方向平均）、数量曲率全损（单值总分），按问题选级；
• 截面曲率定义：K = R(u,v,u,v) 除以面积平方，只依赖二维子空间本身；
• 标准读数卡：球面 K=1、Ric=(n-1)g、Scal=n(n-1)；伪球面全部取负；
• 爱因斯坦张量 G_{kj} = R_{kj} - \tfrac12 Scal\, g_{kj} 是比安基恒等式两次缩并的产物，协变散度恒为零；
• 语义分级：说「弯曲」先问说的是截面、里奇还是数量层面的读数。