【相対論】Petrov分類1

Petrov分類の記事一覧

　Petrov分類とはWeylテンソルの分類で、歴史的にはPetrov分類はCartanによる4次元Lorentz多様体のWeylテンソルの分類が始まりのようです。その後、Petrov、Penroseら（他にもたくさん）により相対論における有用なツールとなりました。Petrov分類は相対論を本格的に勉強すると必ず出会う概念の一つなので相対論を学ぶ者にとっての一つの試金石です。現在では4次元Lorentzに限らず4次元Riemannや4次元Neutoral metricや高次元にもPetrov分類の類似が考えられています。この記事では4次元Lorentz多様体のPetrov分類について解説します。

　Petrov分類の論じ方は数種類あります。Petrov分類が論じられている教科書は多くありますが、概念的に何をやっているのかよく分からなかったりします。おそらく最も概念的にすっきりするのはWeylテンソルのJordan標準形を使った議論です。Jordan標準形は線形写像の分類論なので、これを使うとWeylテンソルが"分類された感"を得られます。ただこの方法は代数的なので幾何学的な理解を得にくいというデメリットもあります（私が頭悪いだけで賢い人は自明につながりを見出せるのかもしれないが）。

　Jordan標準形での議論はまた別の記事にまとめる予定ですが、この記事では代数的な明瞭さを少々犠牲にする代わりに"null断面曲率"を使う幾何学寄りの方法を解説します。またこの方法はnull tetradを使う方法であり実際に4次元時空の分析をするときにPetrov分類を使いやすい定式化であると思います。

Weylテンソル

　Weylテンソルは$n(>2)$次元擬リーマン多様体の共形不変なテンソルで、
$$\begin{array}{r}{W}_{abcd}=R_{abcd}-\frac{1}{n-2}(g_{ac}{R}_{bd}-g_{ad}{R}_{bc}+R_{ac}{g}_{bd}-R_{ad}{g}_{bc})+\frac{S}{(n-1)(n-2)}(g_{ac}{g}_{bd}-g_{ad}{g}_{bc})\end{array}$$
と与えられます。特徴は1番目$a$と3番目$c$のindexを縮約すると$W_{bad}^a=0$となることです。このためリーマンテンソルのtracefree partとも呼ばれます。indexの入れ替えに関してリーマンテンソルと同じ対称性を持ちます。
$$\begin{array}{rl}& W_{abcd}=-W_{abdc}=-W_{bacd}\\ & W_{abcd}=W_{cdab}\\ & W_{abcd}+W_{acdb}+W_{adbc}=0\end{array}$$

なぜPetrov分類を考えるのか

　Weylテンソルの定義式を見れば分かるように、時空の幾何学を決めるリーマンテンソルはRicciテンソルとWeylテンソルに分解されます。相対論だとEinstein方程式からRicciテンソルが決まりますし、相対論でない文脈でもRicciテンソルに関する条件を課すことが多いです。しかし4次元以上ではRicciテンソルだけではリーマンテンソルが決まらないのでRicciテンソルに対する条件だけでは時空の幾何学的性質を考察することが困難です。そこで時空がWeylテンソルが０、すなわちconformally flatの幾何とWeylテンソルが最も一般的な状態の幾何の間のどの状態にあるのかを指定できれば非常に便利です。conformally flatな状態とWeylテンソルが一番汚い状態の中間状態を4種類に分けて定義したのがPetrov分類です。

Weylテンソルのself-dual, anti self-dual分解

　WeylテンソルをHodge dual$\ast$の固有空間で分解することを考えます。Hodge dual$\ast :{\mathrm{\Lambda }}^2{T}_{p}M\to {\mathrm{\Lambda }}^2{T}_{p}M$は${\ast }^2=-1$を満たすので${\mathrm{\Lambda }}^2{T}_{p}M$の複素構造を定め、$\ast$の固有値$\pm i$に対応した固有空間を$U_{\pm }$とすると、${\mathrm{\Lambda }}^2{T}_p{M}^{\mathbb{C}}=U_{+}\oplus U_{-}$と分解できます。$U_{+}$の元をself-dual、$U_{-}$の元をanti self-dualと呼びます。

　$T_{p}M$のo.n.b.を$\{e_0,e_1,e_2,e_3\}$とし、
$$\begin{array}{rl}& k:=(e_0+e_3)/\sqrt{2}\\ & l:=(-e_0+e_3)/\sqrt{2}\\ & m:=(e_1-i{e}_2)/\sqrt{2}\end{array}$$
と置くと、
$$\begin{array}{r}{U}_{+}:={\text{Span}}_{\mathbb{C}}\{m\wedge k,\overline{m}\wedge l,l\wedge k-m\wedge \overline{m}\}\\ U_{-}:={\text{Span}}_{\mathbb{C}}\{\overline{m}\wedge k,m\wedge l,l\wedge k+m\wedge \overline{m}\}\end{array}$$
となることが計算すれば分かります。また分解$U_{+}\oplus U_{-}$が直交直和分解であることも分かります。

　${\mathrm{\Lambda }}^2{T}_{p}M$を$\ast$で複素化した空間を$V=({\mathrm{\Lambda }}^2{T}_{p}M,\ast )$とすると、$P_{\pm }:=(1\mp i\ast )/2:V\to U_{\pm }$ は複素ベクトル空間としての全単射写像であり、さらに$P_{\pm }\ast =i{P}_{\pm }$が成り立つので、複素同型写像となります。また$U_{+}$と$U_{-}$は複素共役同型であることも分かります。さらに基底の対応としては、
$$\begin{array}{rl}& P_{+}(\sqrt{2}{e}_1\wedge k)=m\wedge k\\ & P_{+}(\sqrt{2}{e}_1\wedge l)=\overline{m}\wedge l\\ & P_{+}(2e_3\wedge e_0)=l\wedge k-m\wedge \overline{m}\end{array}$$
となることも単純な計算で分かります。基底$\{\sqrt{2}{e}_1\wedge k,\sqrt{2}{e}_1\wedge l,2e_3\wedge e_0\}$と基底$\{m\wedge k,\overline{m}\wedge l,l\wedge k-m\wedge \overline{m}\}$に関する計量はそれぞれ
$$\begin{array}{r}\left(\begin{array}{ccc}0& 2& 0\\ 2& 0& 0\\ 0& 0& -4\end{array}\right),\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& -2\end{array}\right)\end{array}$$
となることから、$P_{+}$がscale factor=2の相似写像であることも分かります。

　Weylテンソルのindexの対称性を考えると、$W_{cd}^{ab}$は${\mathrm{\Lambda }}^2{T}_{p}M\to {\mathrm{\Lambda }}^2{T}_{p}M$という線形写像と見なせます。この写像を$\mathbb{W}$と書くことにします。そして、このとき$\mathbb{W}\ast =\ast \mathbb{W}$が成り立つことが分かるので(appendix)、$\mathbb{W}:V\to V$は複素線形写像と見なせます。

　また$\mathbb{W}$を複素線形に拡張して${\mathrm{\Lambda }}^2{T}_p{M}^{\mathbb{C}}$上の写像と見なせば、$U_{\pm }$はそれぞれ$\mathbb{W}$の不変空間となるので、$\mathbb{W}={\mathbb{W}}_{+}\oplus {\mathbb{W}}_{-}$と分解されます。${\mathbb{W}}_{\pm }$をWeylテンソルのself-dual/anti self-dual partと呼びます。

$\mathbb{W}:V\to V,P_{+}:V\to U_{+},{\mathbb{W}}_{+}:U_{+}\to U_{+}$は$P_{+}\circ \mathbb{W}=\frac{1}{2}(1-i\ast )\mathbb{W}={\mathbb{W}}_{+}\circ P_{+}$となるので、テンソル表現空間として$(\mathbb{W},V)$と$({\mathbb{W}}_{+},U_{+})$は$\mathbb{C}$同型となります（同様に$(\mathbb{W},V)$と$({\mathbb{W}}_{-},U_{-})$は共役$\mathbb{C}$同型）。従って本質的にはself-dual partの情報のみでWeylテンソルは理解できることになります。

Weylスカラー

　4次元ではWeylテンソルは実10次元(複素5次元)の自由度があります。これを確認するために5つの複素数としてWeylスカラー${\mathrm{\Psi }}_i(i=0,1,2,3,4)$を
$$\begin{array}{rl}& {\mathrm{\Psi }}_0=W(k,m,k,m),{\mathrm{\Psi }}_1=W(k,l,k,m),{\mathrm{\Psi }}_2=W(k,m,\overline{m},l)\\ & {\mathrm{\Psi }}_3=W(l,k,l,\overline{m}),{\mathrm{\Psi }}_4=W(l,\overline{m},l,\overline{m})\end{array}$$
で定義します。Weylスカラーを使って他の成分は表せることを見るには以下のようにします。まずWeylテンソルがtracefreeなので
$$\begin{array}{r}W(k,x,l,y)+W(l,x,k,y)+W(m,x,\overline{m},y)+W(\overline{m},x,m,y)=0\end{array}$$
が成り立ち、$x,y$を適当に選ぶと
$$\begin{array}{rl}& W(k,m,k,\overline{m})=W(l,m,l,\overline{m})=W(k,m,l,m)=0\\ & W(l,k,l,k)=-{\mathrm{\Psi }}_2-{\overline{\mathrm{\Psi }}}_2\\ & W(m,\overline{m},m,\overline{m})=-{\mathrm{\Psi }}_2-{\overline{\mathrm{\Psi }}}_2\\ & W(k,m,\overline{m},m)=-{\mathrm{\Psi }}_1\\ & W(l,\overline{m},m,\overline{m})=-{\mathrm{\Psi }}_3\end{array}$$
が分かり、またBianchi恒等式$W(k,l,m,\overline{m})+W(k,m,\overline{m},l)+W(k,\overline{m},l,m)=0$より、
$$\begin{array}{r}W(k,l,m,\overline{m})=-{\mathrm{\Psi }}_2+{\overline{\mathrm{\Psi }}}_2\end{array}$$
が分かります。これより$\{k\wedge l,k\wedge m,k\wedge \overline{m},l\wedge m,l\wedge \overline{m},m\wedge \overline{m}\}$に関する成分を行列表示すると
$$\begin{array}{r}W=\left(\begin{array}{ccccccc}& k\wedge l& k\wedge m& k\wedge \overline{m}& l\wedge m& l\wedge \overline{m}& m\wedge \overline{m}\\ k\wedge l& -{\mathrm{\Psi }}_2-{\overline{\mathrm{\Psi }}}_2& {\mathrm{\Psi }}_1& {\overline{\mathrm{\Psi }}}_1& -{\overline{\mathrm{\Psi }}}_3& -{\mathrm{\Psi }}_3& -{\mathrm{\Psi }}_2+{\overline{\mathrm{\Psi }}}_2\\ k\wedge m& & {\mathrm{\Psi }}_0& 0& 0& -{\mathrm{\Psi }}_2& {\mathrm{\Psi }}_1\\ k\wedge \overline{m}& & & {\overline{\mathrm{\Psi }}}_0& -{\overline{\mathrm{\Psi }}}_2& 0& -{\overline{\mathrm{\Psi }}}_1\\ l\wedge m& & & & {\overline{\mathrm{\Psi }}}_4& 0& {\overline{\mathrm{\Psi }}}_3\\ l\wedge \overline{m}& & & & & {\mathrm{\Psi }}_4& -{\mathrm{\Psi }}_3\\ m\wedge \overline{m}& & & & & & -{\mathrm{\Psi }}_2-{\overline{\mathrm{\Psi }}}_2\end{array}\right)\end{array}$$
となります。

　また$\mathbb{W}$がself-dual/anti self-dual分解されることは一般論から分かりますが、基底$\{m\wedge k,\overline{m}\wedge l,l\wedge k-m\wedge \overline{m},\overline{m}\wedge k,m\wedge l,l\wedge k+m\wedge \overline{m}\}$に関して成分を計算すると
$$\begin{array}{r}\mathbb{W}=\left(\begin{array}{cccccc}-{\mathrm{\Psi }}_2& {\mathrm{\Psi }}_4& -2{\mathrm{\Psi }}_3& 0& 0& 0\\ {\mathrm{\Psi }}_0& -{\mathrm{\Psi }}_2& 2{\mathrm{\Psi }}_1& 0& 0& 0\\ -{\mathrm{\Psi }}_1& {\mathrm{\Psi }}_3& 2{\mathrm{\Psi }}_2& 0& 0& 0\\ 0& 0& 0& -\overline{{\mathrm{\Psi }}_2}& \overline{{\mathrm{\Psi }}_4}& -2\overline{{\mathrm{\Psi }}_3}\\ 0& 0& 0& \overline{{\mathrm{\Psi }}_0}& -\overline{{\mathrm{\Psi }}_2}& 2\overline{{\mathrm{\Psi }}_1}\\ 0& 0& 0& -\overline{{\mathrm{\Psi }}_1}& \overline{{\mathrm{\Psi }}_3}& 2\overline{{\mathrm{\Psi }}_2}\end{array}\right)\end{array}$$
となることが分かります。

self-dual null plane

　Weylテンソルは$U_{+}$上の振る舞いが分かれば完全に理解できることが分かりました。$U_{+}$の元$m\wedge k,\overline{m}\wedge l$などは$||m\wedge k|{|}^2=||\overline{m}\wedge l|{|}^2=0$を満たします。このように2形式$\beta$が$||\beta |{|}^2=0$を満たすとき、$\beta$はnull planeと呼ばれます。今$\beta$は複素2形式なので$T_p{M}^{\mathbb{C}}$の2次元の断面を指定していると理解できます。このPetrov分類の幾何学的なアイデアはこのself-dual null planeに関する"Weyl断面曲率"を考えることです。

　通常の断面曲率は
$$\begin{array}{r}K(X,Y)=\frac{R(X,Y,X,Y)}{||X\wedge Y|{|}^2}\end{array}$$
なので、null plane $X\wedge Y$に対して、この式の$R$を単に$W$に置き換えたものをWeylテンソルの特徴量的なものとして使うことはできません。ちなみに、この事情により定曲率でないLorentz多様体の断面曲率は非有界となります。そこでnull planeに対しては単に$W(X,Y,X,Y)$を断面曲率の代替物として考えます。しかし同じnull planeを指定する$X,Y$は2次一般線形群で変換する自由度があり、$X^{\prime }=aX+bY,Y^{\prime }=cX+dY$とするとき、$W(X^{\prime },Y^{\prime },X^{\prime },Y^{\prime })=(ad-bc{)}^{2}W(X,Y,X,Y)$となります。よってnull planeの"Weyl断面曲率"は０かどうかだけが意味を持ちます。

　Petrov分類を幾何学っぽく一言で言うと、「self-dual null planeで"Weyl断面曲率"が０になるものがどれぐらいあるか」をWeylテンソルの特徴量として分類するというものです。

　$U_{+}\ni \beta =m\wedge k+A\overline{m}\wedge l+B(l\wedge k-m\wedge \overline{m})$と表せるとしてよいので、これがnull planeになるためには、$||\beta |{|}^2=-2B^2+2A=0$なので、$B=z\in \mathbb{C}$と置くと、
$$\begin{array}{r}{\beta }_z=m\wedge k+z^2\overline{m}\wedge l+z(l\wedge k-m\wedge \overline{m})=(m+zl)\wedge (k-z\overline{m})\end{array}$$
となります。$z=\mathrm{\infty }$のとき、$\beta =\overline{m}\wedge l$と見なせば、self-dual null planeは$z\in \mathbb{C}\cup \{\mathrm{\infty }\}=S^2$をパラメータとする族${\beta }_z$で表されることが分かりました。

　self-dual null planeの重要な性質として以下の命題があります。

Petrov分類

　Weylテンソルが０でないとき、2形式$\beta$で表されるplaneがprincipalであるとは、$W(\beta ,\beta )=0$となることを言います。self-dual principal null planeを見つけるには、$z$に関する方程式
$$\begin{array}{r}W(m+zl,k-z\overline{m},m+zl,k-z\overline{m})=0\end{array}$$
を解けばよいことになります。
$$\begin{array}{rl}& W(m+zl,k-z\overline{m},m+zl,k-z\overline{m})\\ & =W(m,k,m,k)+2z(-W(m,k,m,\overline{m})+W(m,k,l,k))\\ & +z^2(-2W(m,k,l,\overline{m})+W(m,\overline{m},m,\overline{m})-2W(m,\overline{m},l,k)+W(l,k,l,k))\\ & +2z^3(W(m,\overline{m},l,\overline{m})-W(l,k,l,\overline{m}))\\ & +z^{4}W(l,\overline{m},l,\overline{m})\\ & ={\mathrm{\Psi }}_0+4{\mathrm{\Psi }}_{1}z-6{\mathrm{\Psi }}_2{z}^2-4{\mathrm{\Psi }}_3{z}^3+{\mathrm{\Psi }}_4{z}^4\cdots (1)\end{array}$$
となり、この方程式の解$z$に関する場合分けを考えることで以下のPetrov分類を定義します。

Petrov分類は(1)の根たちの重複度が変化して、異なる根同士が合流して一致することで退化してtypeが推移していきます。可能な推移の仕方は以下の図に示されています（これをPenrose図と呼ぶことがある）。
Petrov分類の退化推移図

　(1)を計算するときに、$({\mathbb{W}}_{+},U_{+})$を使うと簡単に計算することができます。self-dual null planeは基底$\{m\wedge k,\overline{m}\wedge l,l\wedge k-m\wedge \overline{m}\}$に関して、$\beta ={}^T(1,z^2,z)$と表されるので
$$\begin{array}{rl}& W(m+zl,k-z\overline{m},m+zl,k-z\overline{m})=g(\beta ,{\mathbb{W}}_{+}\beta )\\ & =(1,z^2,z)\left(\begin{array}{ccc}0& 1& 0\\ 1& 0& 0\\ 0& 0& -2\end{array}\right)\left(\begin{array}{ccc}-{\mathrm{\Psi }}_2& {\mathrm{\Psi }}_4& -2{\mathrm{\Psi }}_3\\ {\mathrm{\Psi }}_0& -{\mathrm{\Psi }}_2& 2{\mathrm{\Psi }}_1\\ -{\mathrm{\Psi }}_1& {\mathrm{\Psi }}_3& 2{\mathrm{\Psi }}_2\end{array}\right)\left(\begin{array}{c}1\\ z^2\\ z\end{array}\right)\\ & ={\mathrm{\Psi }}_0+4{\mathrm{\Psi }}_{1}z-6{\mathrm{\Psi }}_2{z}^2-4{\mathrm{\Psi }}_3{z}^3+{\mathrm{\Psi }}_4{z}^4\end{array}$$
となります。

Petrov分類に関する基本的な命題

　基本的な命題を示します。

　上の命題よりprincipal self-dual null planeは少なくとも1つは存在し、適当なnull tetradを取れば${\mathrm{\Psi }}_0=0$にできることが分かったので、同様の議論を繰り返すことで重複度に関する${\mathrm{\Psi }}_i$の条件が得られます。

　以上の考察から自明に以下の命題を得ます。

　命題２の$q=2$の条件ではtype IIとtype Dを区別することが出来ません。type Dは以下のようになります。

　以上よりPetrov分類の同値な以下の定義が得られました。

appendix

WeylテンソルとHodge starの可換性

　$[\mathbb{W},\ast ]=0$を示します。

$F_{abcd}$をリーマンテンソルと同じindexの対称性を持つテンソルとし、$g^{ac}{F}_{abcd}=k{g}_{bd}$を満たすとします。$k=0$のときは、$F$はWeylテンソル$W$と見なせ、$k\ne 0$のときはEinstein空間のリーマンテンソルと見なせますので、$[\mathbb{F},\ast ]=0$を証明すればよいです。

$\{e_0,e_1,e_2,e_3\}$をo.n.b.とします。$g^{ac}{F}_{abcd}=k{g}_{bd}$を成分ごとに書き下すと
$$\begin{array}{rl}(00)& F_{1010}+F_{2020}+F_{3030}=-k\\ (11)& -F_{0101}+F_{2121}+F_{3131}=k\\ (22)& -F_{0202}+F_{1212}+F_{3232}=k\\ (33)& -F_{0303}+F_{1313}+F_{2323}=k\\ \\ (01)& F_{2021}+F_{3031}=0\\ (02)& F_{1012}+F_{3032}=0\\ (03)& F_{1013}+F_{2023}=0\\ \\ (23)& -F_{0203}+F_{1213}=0\\ (31)& -F_{0301}+F_{2321}=0\\ (12)& -F_{0102}+F_{3132}=0\end{array}$$
となります。
(00),(11),(22),(33)は
$$k=-F_{0101}-F_{0202}-F_{0303}=F_{2323}+F_{3131}+F_{1212}$$
$$\begin{array}{r}\alpha \{\begin{array}{l}{F}_{0101}+F_{2323}=0\\ F_{0202}+F_{3131}=0\\ F_{0303}+F_{1212}=0\end{array}\end{array}$$
と同値です。実際、(00),(11),(22),(33)を全て足せば最初の式の2つ目の等号が得られ、これと(11),(22),(33)とをそれぞれ引き算すれば$\alpha$が得られます。

また残りの式を整理すると
$$\begin{array}{r}\beta \{\begin{array}{l}{F}_{0212}=F_{3103}\\ F_{0112}=F_{2303}\\ F_{0131}=F_{2302}\end{array}\gamma \{\begin{array}{l}{F}_{0203}+F_{3112}=0\\ F_{0103}+F_{2312}=0\\ F_{0102}+F_{2331}=0\end{array}\end{array}$$
となります。

$F:{\mathrm{\Lambda }}^2{T}_{p}M\times {\mathrm{\Lambda }}^2{T}_{p}M\to \mathbb{R}$と見なして、基底$\{e_0\wedge e_1,e_0\wedge e_2,e_0\wedge e_3,e_2\wedge e_3,e_3\wedge e_1,e_1\wedge e_2\}$に関して$F$の成分を行列で書くと
$$\begin{array}{r}F=\left(\begin{array}{ccccccc}& 01& 02& 03& 23& 31& 12\\ 01& F_{0101}& F_{0102}& F_{0103}& F_{0123}& F_{0131}& F_{0112}\\ 02& & F_{0202}& F_{0203}& F_{0223}& F_{0231}& F_{0212}\\ 03& & & F_{0303}& F_{0323}& F_{0331}& F_{0312}\\ 23& & & & F_{2323}& F_{2331}& F_{2312}\\ 31& & & & & F_{3131}& F_{3112}\\ 12& & & & & & F_{1212}\end{array}\right)=:\left(\begin{array}{cc}A& B\\ C& D\end{array}\right)\end{array}$$
ここで、$A,B,C,D$は3x3の対称行列で${}^{t}B=C$を満たします。

$\alpha ,\gamma$より$A=-D$が分かり、$\beta$より${}^{t}B=B$が分かります。よって
$$\begin{array}{r}F=\left(\begin{array}{cc}A& B\\ B& -A\end{array}\right)\end{array}$$
が分かります。よって
$$\begin{array}{r}\mathbb{F}=\left(\begin{array}{cc}-I_3& 0\\ 0& I_3\end{array}\right)\left(\begin{array}{cc}A& B\\ B& -A\end{array}\right)=\left(\begin{array}{cc}-A& -B\\ B& -A\end{array}\right)=-A\otimes I_2+B\otimes J\\ J=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\end{array}$$
となります。またHodge starはこの基底に関して
$$\begin{array}{r}\ast =-I_2\otimes J\end{array}$$
と表されるので、$[\mathbb{F},\ast ]=0$が分かります。

2形式の分解性

　2形式$\beta \in {\mathrm{\Lambda }}^{2}V$が$x,y\in V$を使って$\beta =x\wedge y$と書けるとき、$\beta$は分解可能であると言います。$\beta$が分解可能なら$\beta \wedge \beta =0$となりますが、実は逆も成り立ちます。この記事で必要なのは$\dim V\le 4$のときなので、以下の命題を示します。