黎曼曲率张量漫谈(续)

黎曼曲率张量

计算黎曼曲率张量

用Newman-Penrose形式计算

本节我们使用$(+,-,-,-)$号差。设$p$是4维时空$(M,g_{ab})$的一点， { ( e μ ) a } \{(e_\mu)^a\} { (eμ​)a}是$p$点的一个正交归一标架，定义$p$点的4个特殊矢量如下：
$$\begin{gathered} l^a=\frac{1}{\sqrt{2}}[(e_0{)}^a+(e_1{)}^a],n^a=\frac{1}{\sqrt{2}}[(e_0{)}^a-(e_1{)}^a] \\ {m}^a=\frac{1}{\sqrt{2}}[(e_2{)}^a+i(e_3{)}^a],{\bar{m}}^a=\frac{1}{\sqrt{2}}[(e_2{)}^a-i(e_3{)}^a] \end{gathered}$$
容易验证$l_a{l}^a=n_a{n}^a=m_a{m}^a={\bar{m}}_a{\bar{m}}^a=0$，即它们都是类光矢量。这4个矢量构成$p$点的一个基底，称为$p$点的一个类光标架。以下以 { ( ε μ ) a } \{(\varepsilon_\mu)^a\} { (εμ​)a}代表类光标架，并规定其编号为
$$({\epsilon }_1{)}^a=l^a,({\epsilon }_2{)}^a=n^a,({\epsilon }_3{)}^a=m^a,({\epsilon }_4{)}^a={\bar{m}}^a$$
相应的对偶基矢为
$$({\epsilon }^1{)}_a=n_a,({\epsilon }^2{)}_a=l_a,({\epsilon }^3{)}_a=-{\bar{m}}_a,({\epsilon }^4{)}_a=-m^a$$
不难看出类光标架中任意两个基矢的内积只有以下两对非零：
$$l^a{n}_a=1,m^a{\bar{m}}_a=-1$$
因此度规$g_{ab}$及其逆$g^{ab}$在该标架的分量$g_{\mu \nu }$和$g^{\mu \nu }$组成的矩阵为
$$(g_{\mu \nu })=\left[\begin{array}{cccc}0& 1& 0& 0\\ 1& 0& 0& 0\\ 0& 0& 0& -1\\ 0& 0& -1& 0\end{array}\right]=(g^{\mu \nu })$$
这表明类光标架是刚性标架。与上节类似，联络1形式可以表示为
$$({\omega }_{\mu }{}^{\nu }{)}_a=({\epsilon }_{\mu }{)}^c{\nabla }_a({\epsilon }^{\nu }{)}_c$$
同样地
$$({\omega }_{\mu \nu }{)}_a=({\epsilon }_{\mu }{)}^b{\nabla }_a({\epsilon }_{\nu }{)}_b=-({\omega }_{\nu \mu }{)}_a$$
相应的里奇旋转系数为${\omega }_{\mu \nu \rho }=({\omega }_{\mu \nu }{)}_a({\epsilon }_{\rho }{)}^a$. 黎曼曲率张量的计算过程与上节一样，只是其中的$(e_{\mu }{)}^a$现在应理解为$({\epsilon }_{\mu }{)}^a$.

由于${\epsilon }_3$和${\epsilon }_4$的共轭性，容易证明交换3、4下标就得到对应量的共轭，例如${\omega }_{421}={\bar{\omega }}_{321},{\omega }_{14}={\bar{\omega }}_{13},R_{24}={\bar{R}}_{23}$等。这导致24个复${\omega }_{\mu \nu \rho }$中只有12个是独立的，以12个不带指标的希腊字母表示它们为
$$\begin{array}{rl}& \kappa =-{\omega }_{311}\\ & \\ & \\ & \end{array}$$