Penroseが考案したTwistor理論というものがあります。簡単に言うとある時空に対応したTwistor空間というものを用意して、色々な場や方程式などをTwistor空間の言葉に焼き直すという理論です。結果として物理の問題が複素多様体や代数多様体の問題として解釈されます。また可積分系とも非常に深い関係にあります。Twistor理論は結構難しく私には到底解説することはできません。この記事ではTwistor理論の入門の入門として、4次元Minkowski時空のnull直線とTwistor空間の関係を説明します。この関係は4次元twistor理論全般において重要な役割を果たします。
この記事では
Weylスピノルとnullベクトル
のconventionや事実を使います。またWeylスピノルを適宜に埋め込んで使います。すなわち、に対して、Diracスピノルをなどと表します。に対して、Dirac-fromを
とします。
Twistor空間とnull直線の関係
を4次元Minkowski時空とします。このとき、を複素化したをtwistor空間、さらにその射影空間を射影的twistor空間と呼びます。またをDiracスピノルとみなして、の部分集合
を定義します。の元をnull twistorと呼びます。
この記事の目的は次の命題を示すことです。
4次元Minkowski時空のnull直線の全体とnull twistorの全体は1対1に対応する。
つまりPNはのnull直線のモジュライ空間になっているということです。まずはnull直線からnull twistorを構成します。
のnull直線に対して、スピノルを
として定めると、がの取り方に依らずにのみによって定まる。またこのときを満たす。
null直線をとする。適当なWeylスピノルを用いて、
と表される。スピノルに対して、をとして作用させるとすると、であることに注意すると、に対して、
が成り立つので、
はの取り方に依らずに定まる。よってnull直線からDiracスピノル
が定まる。の変換では不変であり、このときとなるから、は
を定める。またこのとき、
が満たされる
また逆にnull twistorからnull lineを構成できます。
null twistorはのnull nullをただ一つ定める。
null twistorをでとする。とするとき、集合
を考える。もしならば、は線形部分多様体であり、の接ベクトルは上の議論と同様にの元であることが分かる。は全NullでMの部分空間であるからnullベクトルにより張られる。よってはNull 直線である。
以下、を示す。であるから、以下の2つの場合分けを考える。
(i) のとき、
とする。は実ベクトルであるし、であるから、である。よってである。またこのとき
となるから、は方程式の解である。よってがである。
(ii) のとき、であるから、となる。ここでを満たすが存在するから、
と置くと、となる。またでありであるからである。