Skip to content

Riemann 曲率张量

Riemann curvature tensor · Curvature tensor

以协变微分不交换刻画 Riemann 流形内蕴曲率的四阶张量。

形式陈述

本页固定符号约定

R(X,Y)Z=XYZYXZ[X,Y]Z,

其中 Levi–Civita 联络。在此约定下,标准球面的截面曲率为正。张量性的证明骨架是逐个检查函数系数产生的一阶项相消。最后一项修正向量场本身的不对易,使 R(X,Y)ZX,Y,Z 都在 C(M) 上线性;例如把 X 换成 fX 时,前两项产生的 Y(f)XZ 与 Lie 括号

[fX,Y]=f[X,Y]Y(f)X

中的对应项抵消。因此 Rp(X,Y)Z 只依赖三个向量在 p 的值,确实定义一个 (1,3) 型张量。

用度量降指标,定义

R(X,Y,Z,W)=g(R(X,Y)Z,W).

它满足

R(X,Y,Z,W)=R(Y,X,Z,W),R(X,Y,Z,W)=R(X,Y,W,Z),R(X,Y,Z,W)=R(Z,W,X,Y),

以及第一 Bianchi 恒等式

R(X,Y)Z+R(Y,Z)X+R(Z,X)Y=0.

这些对称性依赖 Levi–Civita 联络的无挠与度量相容条件。

对由线性无关向量 u,vTpM 张成的二维平面 σ,截面曲率定义为

K(σ)=g(R(u,v)v,u)g(u,u)g(v,v)g(u,v)2.

分母是 Gram 行列式,使结果不依赖 σ 的所选基。

直觉

曲率衡量两次协变微分交换次序后的残差。若沿两个方向围成一个无穷小闭环作平行移动,向量回到起点时通常不会完全复原;首个非平凡偏差由 R 控制。它也控制邻近测地线如何会聚或发散。

联络系数可通过坐标选择在一点消去,但它们的一阶导数与二次组合仍可能留下曲率。曲率因此不是“某组坐标中 Christoffel 符号是否非零”,而是坐标无关的张量

例子与边界

Euclidean 空间的标准联络在直角坐标中系数恒为零,所以 R=0。半径为 a 的圆球具有常截面曲率

K=1a2.

二维时每点只有一个切平面,全部曲率信息压缩为高斯曲率;高维时不同二维切平面可以有不同截面曲率,不能用单一标量替代整个张量。

符号约定是实际边界。若把 R(X,Y)Z 定义为本页公式的负数,所有分量和截面曲率符号都整体翻转;引用其他资料时必须先核对约定,不能拼接两个版本的公式。

正常坐标只能令 Γijk(p)=0,不能同时令所有一阶导数消失;球面在每点都可选正常坐标,但曲率仍为正。曲率也不是纯拓扑不变量:同一光滑流形可配许多不同度量,得到不同曲率。

推论与应用

曲率张量通过取迹产生 Ricci 曲率与标量曲率,通过限制二维平面产生截面曲率。Jacobi 方程用 R 描述测地线变分,解释正负曲率对测地线聚散的影响;平行移动的 holonomy 也由曲率控制。

本页固定一般 Riemann 曲率的定义、符号和对称性。二维页面只需说明它如何压缩为高斯曲率,不应再次定义整套 R;未来的 Ricci 或标量曲率也应作为从本张量取得的压缩量,而不是并列的无关对象。

参考资料
  • John M. Lee, Riemannian Manifolds: An Introduction to Curvature, Springer, 1997, Chs. 7–8, curvature tensor and sectional curvature.
  • Manfredo P. do Carmo, Riemannian Geometry, Birkhäuser, 1992, Chs. 3–4, curvature identities and examples.