この記事では、一般相対論において用いられる接続に課せられる条件(捩率条件)と、その条件を満たす接続について解説する。
目次
接続の変換則
時空上に共変微分を定義するために、接続 $\Gamma_{\mu\nu}^{\rho}(x)$ が必要である。
座標変換に対する接続の変換則は、次のように与えられる。
接続の変換則
\begin{align}
\Gamma_{\mu\nu}’^{\rho}(x’)
=\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\sigma\tau}^{\lambda}(x)-\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial^2 x’^{\rho}}{\partial x^{\tau}\partial x^{\sigma}}
\label{transgamma}
\end{align}
この変換則の導出は、こちらで詳しく説明されている。
反対称化された接続がテンソルになること
\eqref{transgamma} より、接続は明らかにテンソルではない。
しかし、接続の下付き添字を反対称化したものはテンソルとして振る舞う。
\begin{align}
\Gamma_{[\mu\nu]}’^{\rho}(x’)=\frac{\partial x^{\sigma}}{\partial x’^{[\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu]}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\sigma\tau}^{\lambda}(x).
\label{antigamma}
\end{align}
ここで、反対称化の記号を次のように定義した。
\begin{align}
\Gamma_{[\mu\nu]}’^{\rho}(x)=\frac{1}{2}(\Gamma_{\mu\nu}’^{\rho}(x)-\Gamma_{\nu\mu}’^{\rho}(x)).
\end{align}
文献によっては、係数の $1/2$ が付いていない定義を使っていることもあるので注意が必要です
反対称化された接続がテンソルとして変換することの導出
\eqref{antigamma} の導出を行う。
\begin{align}
&\Gamma_{[\mu\nu]}’^{\rho}(x)\notag\\
=&\frac{1}{2}(\Gamma_{\mu\nu}’^{\rho}(x)-\Gamma_{\nu\mu}’^{\rho}(x))\notag\\
=&\frac{1}{2}\left(\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\sigma\tau}^{\lambda}(x)-\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial^2 x’^{\rho}}{\partial x^{\tau}\partial x^{\sigma}}-\frac{\partial x^{\sigma}}{\partial x’^{\nu}}\frac{\partial x^{\tau}}{\partial x’^{\mu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\sigma\tau}^{\lambda}(x)+\frac{\partial x^{\sigma}}{\partial x’^{\nu}}\frac{\partial x^{\tau}}{\partial x’^{\mu}}\frac{\partial^2 x’^{\rho}}{\partial x^{\tau}\partial x^{\sigma}}\right)\notag\\
=&\frac{1}{2}\left(\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\sigma\tau}^{\lambda}(x)-\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial^2 x’^{\rho}}{\partial x^{\tau}\partial x^{\sigma}}-\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\tau\sigma}^{\lambda}(x)+\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial^2 x’^{\rho}}{\partial x^{\sigma}\partial x^{\tau}}\right)\notag\\
=&\frac{1}{2}\left(\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\sigma\tau}^{\lambda}(x)-\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial^2 x’^{\rho}}{\partial x^{\tau}\partial x^{\sigma}}-\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\tau\sigma}^{\lambda}(x)+\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial^2 x’^{\rho}}{\partial x^{\tau}\partial x^{\sigma}}\right)\notag\\
=&\frac{1}{2}\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}(\Gamma_{\sigma\tau}^{\lambda}(x)-\Gamma_{\tau\sigma}^{\lambda}(x))\notag\\
=&\frac{\partial x^{\sigma}}{\partial x’^{\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{[\sigma\tau]}^{\lambda}(x)\notag\\
=&\frac{\partial x^{\sigma}}{\partial x’^{[\mu}}\frac{\partial x^{\tau}}{\partial x’^{\nu]}}\frac{\partial x’^{\rho}}{\partial x^{\lambda}}\Gamma_{\sigma\tau}^{\lambda}(x)
\end{align}
1つ目の等号では、反対称化の定義を用いた。
2つ目の等号では、\eqref{transgamma} を用いた。
3つ目の等号では、第3項と第4項のダミー添字を付け替えた。
4つ目の等号では、偏微分が可換なことを用いて第4項を書き換えた。
これにより、第2項と第4項が互いにキャンセルすることがわかる。
あとは残った項を整理して反対称化の記号で表せば、\eqref{antigamma} を導出できる。
捩率条件
接続の下付き添字を反対称化したものはテンソルとして振る舞うことがわかった。
等価原理により、我々が興味のある時空は、局所的には平坦な時空とみなせるような時空である。
つまり、任意の時空点において、局所的には接続をゼロとおくことができるはずである。
そして、$\Gamma_{[\mu\nu]}^{\rho}(x)$ はテンソルなので、ある座標系でゼロならば、座標変換で任意の座標系に移ったとしても常にゼロとなる。
したがって、$\Gamma_{[\mu\nu]}^{\rho}(x)=0$ とする。
これを捩率条件という。
捩率条件
\begin{align}
\Gamma_{[\mu\nu]}^{\rho}(x)=0
\end{align}
接続の反対称部分がゼロということは、言い換えれば、下付き添字の入れ替えに関して対称な接続を考えるということである。
\begin{align}
\Gamma_{\mu\nu}^{\rho}(x)
&=\Gamma_{(\mu\nu)}^{\rho}(x)\notag\\
&=\frac{1}{2}(\Gamma_{\mu\nu}^{\rho}(x)+\Gamma_{\nu\mu}^{\rho}(x)).
\end{align}
このような接続を対称な接続や捩率のない接続という。