数量曲率

Template:NoteTA 在黎曼几何中，数量曲率（Template:Lang）或里奇数量（Template:Lang）是一个黎曼流形最简单的曲率不变量。对黎曼流形的每一点，数量曲率是由该点附近的内蕴几何确定的一个实数。

在 2 维数量曲率完全确定了黎曼流形的曲率；当维数 ≥ 3，曲率比数量曲率含有更多的信息。参见黎曼流形的曲率中完整的讨论。

数量曲率一般记为 S（其它记法有 Sc, R），定义为关于度量的里奇曲率张量的迹：

$S={\text{tr}}_g\mathrm{Ric}.$

这个迹和度量相关，因为里奇张量是一个 (0,2) 型张量；必须将指标上升得到一个 (1,1) 型张量才能取迹。在局部坐标中我们可以写成

$S=g^{ij}{R}_{ij},$

这里

$\mathrm{Ric}=R_{ij}d{x}^i\otimes d{x}^j.$

给了一个坐标系与一个度量张量，数量曲率可以表示为：

$S=g^{ab}({\mathrm{\Gamma }}_{ab,c}^c-{\mathrm{\Gamma }}_{ac,b}^c+{\mathrm{\Gamma }}_{ab}^c{\mathrm{\Gamma }}_{cd}^d-{\mathrm{\Gamma }}_{ac}^d{\mathrm{\Gamma }}_{bd}^c)$

这里 ${\mathrm{\Gamma }}_{bc}^a$ 是度量的克里斯托费尔符号。

不像黎曼曲率张量或里奇张量可以对任何仿射联络自然地定义，数量曲率只在黎曼几何存在；其定义与度量密不可分。

直接几何解释

当数量曲率在一点为正，位于这一点的一个小球的体积比欧几里得空间中同样测地半径的球要小；另一方面，当数量曲率在一点为负，小球的体积要大于欧几里德空间中小球的面积。

为了刻画一个 n 维黎曼流形 $(M,g)$ 点 p 的数量曲率的准确值，上面的比较可以更加量化。即：对足够小的 ε，流形上半径 ε 小球的 n 维体积与相应的欧几里得空间中小球体积之比为

$\frac{\mathrm{Vol}(B_{\epsilon }(p)\subset M)}{\mathrm{Vol}(B_{\epsilon }(0)\subset {ℝ}^n)}=1-\frac{S}{6(n+2)}{\epsilon }^2+O({\epsilon }^4).$

从而，这个比的二阶导数在 ε = 0 的取值，恰好是数量曲率的负数除以 3(n + 2)。

这些球的半径是半径 $ϵ$ 的 n-1 维球面，它们的面积满足下面等式：

$\frac{\mathrm{Area}(\partial B_{\epsilon }(p)\subset M)}{\mathrm{Area}(\partial B_{\epsilon }(0)\subset {ℝ}^n)}=1-\frac{S}{6n}{\epsilon }^2+O({\epsilon }^4).$

二维

在 2 维，数量曲率恰好是高斯曲率的 2 倍：

$S=\frac{2}{{\rho }_1{\rho }_2},$

这里 ${\rho }_1,{\rho }_2$ 是曲面的主曲率半径。譬如，半径为 r 球面的数量曲率等于 $2/r^2$。更一般的，半径 r 的 n 维球面的数量曲率为$n(n-1)/r^2$。

2 维黎曼张量只有一个独立分量，可以简单地用数量曲率和度量面积形式表示出来。在任何坐标系下，我们有

$2R_{1212}=S\det (g_{ij})=S[g_{11}{g}_{22}-(g_{12}{)}^2].$

传统记法

在使用张量指标记法的作者中，字母 R 通常表示三种不同的东西：

1. 黎曼曲率张量：$R_{ijk}^l$ 或 $R_{abcd}$；
2. 里奇张量： $R_{ij}$；
3. 数量曲率 R。

这三个由它们的指标数目区分开：黎曼张量有四个指标，里奇张量有两个指标，里奇数量曲率没有指标。不使用指标记法的一般将 R 保留为全黎曼曲率张量的记号。

另见

• Basic introduction to the mathematics of curved spacetime

参考文献

• Template:Citation