【相対論】Newman-Penrose formalism 2
Newman-Penrose formalism 1 ではWeylスピノルのスピン接続の係数を$\alpha,\beta,...$などで置いて、それらを元にnull tetradのリーマン接続の係数を導きました。しかし論理が逆の順序の方、すなわちnull tetradのリーマン接続からWeylスピノルのスピン接続を計算する方が素朴だと思います。またこちらの方がWeylスピノルから作られるnullベクトルを計算するために必要ないくらかの公式などを準備しなくても議論できるので論理としても経済的です。
null tetradのリーマン接続
4次元時空$(M,g)$のo.n.f.を$\{\bar{e}_0,\bar{e}_1,\bar{e}_2,\bar{e}_3\}$としするとき、null tetrad $\{e_1,e_2,e_3,e_4\}$ を
\begin{align}
&e_1=\frac{1}{\sqrt{2}}(\bar{e}_1-i\bar{e}_2)\\
&e_2=\frac{1}{\sqrt{2}}(\bar{e}_1+i\bar{e}_2)\\
&e_3=-\frac{1}{\sqrt{2}}(\bar{e}_0+\bar{e}_3)\\
&e_4=\frac{1}{\sqrt{2}}(\bar{e}_0-\bar{e}_3)
\end{align}
として定義します。行列表示すると以下のようになります。
\begin{align}
(e_1,e_2,e_3,e_4)&=(\bar{e}_0,\bar{e}_1,\bar{e}_2,\bar{e}_3)P\\
P&=\begin{pmatrix}
0 & 0 & -\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}}\\
\frac{1}{\sqrt{2}} & \frac{1}{\sqrt{2}} & 0 & 0\\
- \frac{i}{\sqrt{2}} & \frac{i}{\sqrt{2}} & 0 & 0\\
- 0 & 0 & - \frac{1}{\sqrt{2}} & - \frac{1}{\sqrt{2}}
\end{pmatrix}
\end{align}
また$\{e_1,e_2,e_3,e_4\}$のco-frameを$\{\theta^1,\theta^2,\theta^3,\theta^4\}$とすると、計量は
\begin{align}
g=2(\theta^1\theta^2+\theta^3\theta^4)
\end{align}
と表されます。$\{e_1,e_2,e_3,e_4\}$に関するリーマン接続を
\begin{align}
&\Gamma_{ij}:=g(\nabla e_i,e_j)=-\Gamma_{ji}\\
&\Gamma_{ijk}:=g(\nabla_{e_k} e_i,e_j)\\
&\Gamma_{ij}=\Gamma_{ijk}\theta^k
\end{align}
で定義すると、
\begin{align}
&\overline{\Gamma_{12}}=\Gamma_{21}=-\Gamma_{12}\\
&\overline{\Gamma_{13}}=\Gamma_{23}\\
&\overline{\Gamma_{14}}=\Gamma_{24}\\
&\overline{\Gamma_{34}}=\Gamma_{34}
\end{align}
が成り立つことに注意すると、接続形式は
\begin{align}
\Gamma=\begin{pmatrix}0 & \Gamma_{12} & \Gamma_{13} & \Gamma_{14}\\- \Gamma_{12} & 0 & \overline{\Gamma_{13}} & \overline{\Gamma_{14}}\\- \Gamma_{13} & - \overline{\Gamma_{13}} & 0 & \Gamma_{34}\\- \Gamma_{14} & - \overline{\Gamma_{14}} & - \Gamma_{34} & 0\end{pmatrix}
\end{align}
で与えられます。
スピン接続
スピン接続を計算するためには、o.n.f.でのリーマン接続が必要なので、null tetradでの接続形式$\Gamma$を行列$P$で変換して、o.n.f. $\{\bar{e}_0,\bar{e}_1,\bar{e}_2,\bar{e}_3\}$ での接続形式$\bar{\Gamma}$を計算します。
\begin{align}
\bar{\Gamma}_{\mu\nu}=g(\bar\nabla e_\mu,\bar e_\nu)=g(\nabla e_i,e_j)(P^{-1})^i_\mu(P^{-1})^j_\nu=\Gamma_{ij}(P^{-1})^i_\mu(P^{-1})^j_\nu
\end{align}
となるので、
\begin{align}
\bar{\Gamma}=\begin{pmatrix}0 & \frac{\Gamma_{13}}{2} - \frac{\Gamma_{14}}{2} + \frac{\overline{\Gamma_{13}}}{2} - \frac{\overline{\Gamma_{14}}}{2} & \frac{i \left(\Gamma_{13} - \Gamma_{14} - \overline{\Gamma_{13}} + \overline{\Gamma_{14}}\right)}{2} & \Gamma_{34}\\- \frac{\Gamma_{13}}{2} + \frac{\Gamma_{14}}{2} - \frac{\overline{\Gamma_{13}}}{2} + \frac{\overline{\Gamma_{14}}}{2} & 0 & - i \Gamma_{12} & - \frac{\Gamma_{13}}{2} - \frac{\Gamma_{14}}{2} - \frac{\overline{\Gamma_{13}}}{2} - \frac{\overline{\Gamma_{14}}}{2}\\\frac{i \left(- \Gamma_{13} + \Gamma_{14} + \overline{\Gamma_{13}} - \overline{\Gamma_{14}}\right)}{2} & i \Gamma_{12} & 0 & \frac{i \left(- \Gamma_{13} - \Gamma_{14} + \overline{\Gamma_{13}} + \overline{\Gamma_{14}}\right)}{2}\\- \Gamma_{34} & \frac{\Gamma_{13}}{2} + \frac{\Gamma_{14}}{2} + \frac{\overline{\Gamma_{13}}}{2} + \frac{\overline{\Gamma_{14}}}{2} & \frac{i \left(\Gamma_{13} + \Gamma_{14} - \overline{\Gamma_{13}} - \overline{\Gamma_{14}}\right)}{2} & 0\end{pmatrix}
\end{align}
となります。Weylスピノルのスピン接続が知りたいので、Clifford代数の表現としてはchiral表現を取ります。すなわち
\begin{align}
&\gamma_0=\begin{pmatrix}
0 & I \\
I & 0
\end{pmatrix},\
\gamma_1=\begin{pmatrix}
0 & \sigma_1 \\
-\sigma_1 & 0
\end{pmatrix}\\
&\gamma_2=\begin{pmatrix}
0 & \sigma_2 \\
-\sigma_2 & 0
\end{pmatrix},\
\gamma_3=\begin{pmatrix}
0 & \sigma_3 \\
-\sigma_3 & 0
\end{pmatrix}\\
&\sigma_1=\begin{pmatrix}
0 & 1\\
1 & 0
\end{pmatrix},
\sigma_2=\begin{pmatrix}
0 & -i\\
i & 0
\end{pmatrix},
\sigma_3=\begin{pmatrix}
1 & 0\\
0 & -1
\end{pmatrix}
\end{align}
です。よってスピン接続の接続形式は
\begin{align}
\Gamma^S=\frac{1}{4}g(\bar\nabla e_\mu,\bar e_\nu)\gamma^\mu\gamma^\nu
=\begin{pmatrix}- \frac{\Gamma_{12}}{2} + \frac{\Gamma_{34}}{2} & - \Gamma_{14} & 0 & 0\\\overline{\Gamma_{13}} & \frac{\Gamma_{12}}{2} - \frac{\Gamma_{34}}{2} & 0 & 0\\0 & 0 & - \frac{\Gamma_{12}}{2} - \frac{\Gamma_{34}}{2} & - \Gamma_{13}\\0 & 0 & \overline{\Gamma_{14}} & \frac{\Gamma_{12}}{2} + \frac{\Gamma_{34}}{2}\end{pmatrix}
\end{align}
となります。
(right-handed)Weylスピノルを
\begin{align}
v=\begin{pmatrix}
1\\0
\end{pmatrix},\
u=\begin{pmatrix}
0\\1
\end{pmatrix}
\end{align}
と置くと、
\begin{align}
\nabla v = \frac{1}{2}(-\Gamma_{12}+\Gamma_{34})v+\Gamma_{23}u\\
\nabla u = -\Gamma_{14}v+\frac{1}{2}(\Gamma_{12}-\Gamma_{34})u
\end{align}
となります。
Newman-Penrose formalism 1
の定義１のように$\alpha,\beta,...$を設定したければ、conventionを合わせるために$e_1=m,e_2=\bar m,e_3=l,e_4=k$と置いて、
\begin{align}
\frac{1}{2}(-\Gamma_{12}+\Gamma_{34})&=\beta\theta^1+\alpha\theta^2+\gamma\theta^3+\epsilon\theta^4\\
\Gamma_{23}&=-\mu\theta^1-\lambda\theta^2-\nu\theta^3-\pi\theta^4\\
-\Gamma_{14}&=\sigma\theta^1+\rho\theta^2+\tau\theta^3+\kappa\theta^4
\end{align}
と置けばよいことが分かります。$\alpha,\beta,...$やその符号をどのように配置するかは本質的ではないので、上記の３つの1-formの係数をどのように設定してもよいですが、上記のように置く流儀がよく見られます（符号は文脈や著者によって違うことがあります）。
まとめ
４次元時空のWeylスピノルは$Spin(1,3)=SL(2,\mathbb{C})$の定義表現の同伴バンドルになっているわけですが、そのスピン接続とnull tetradのリーマン接続の明示的な関係式を与えました。
